ALL libraries (COBIB.SI union bibliographic/catalogue database)
  • Analiza Montaguejevega PTQ : magistrsko delo
    Prijatelj, Andreja
    Osnovna naloga tega dela je proučevanje jezika. Obravnavan je tako naravni kot tudi formalni jezik. Pokazano je, da sta teoriji obeh sorodni in da more biti naravni jezik interpretiran posredno preko ... formalnega - intenzionalne logike (IL). V drugem poglavju sta natančno opredeljena sintaktični in semantični formalni sestav IL-e. Prvi je zasnovan na Churchevi preprosti teoriji tipov, drugi pa na Fregejevem načelu sestavljivosti. Slednje je v okviru IL-e povsem splošno veljavno. V drugem poglavju je podana še primerjava Montaguejevega modela IL-e s Hintikkinim. Osredjega pomena je zadnje poglavje, v njem je pokazano, da je indeksna, modelsko teoretična semantika, ki temelji na Fregejevem načelu sestavljivosti, adekvatna tudi za skromnejši del angleškega jezika. Podan je sintaktični sestav, ki generira Montaguejev jezikovni fragment. Razviden je homomorfizem med sintaktičnima strukturama naravnega in formalnega jezika. Konstruirana je enolična korespondenca med sintaktičnimi kategorijami in logičnimi tipi in sicer tako, da omogoča adekvatno obravnavo intenzionalnih izrazov jezika. Posledica pa je zelo zapleten semantičen opis ekstenzionalnih izrazov. Interpretacijo teh je zato potrebno omejiti s pomenskimi postulati, ki ustrezno skrčijo ekstenzionalno modelsko bazo IL-e. Zadnje poglavje je sklenjeno s celovito obravnavo izbranih zgledov Montaguejevega fragmenta.
    Type of material - master's thesis
    Publication and manufacture - Beograd : [A. Prijatelj], 1984
    Language - slovenian
    COBISS.SI-ID - 9175385

Library/institution City Acronym For loan Other holdings
FMF and IMFM, Mathematical Library, Ljubljana Ljubljana MAKLJ reading room 1 cop.
loading ...
loading ...
loading ...