Montague, Richard

Den aktuella versionen av sidan har ännu inte granskats av erfarna bidragsgivare och kan skilja sig väsentligt från versionen som granskades den 9 september 2018; kontroller kräver 7 redigeringar .
Richard Montagu
Födelsedatum 20 september 1930( 1930-09-20 ) [1]
Födelseort
Dödsdatum 7 mars 1971( 1971-03-07 ) [1] (40 år)
En plats för döden
Land
Arbetsplats
Alma mater
vetenskaplig rådgivare Alfred Tarski

Richard Merett Montague ( eng.  Richard Merett Montague , 20 september 1930 , Stockton ( Kalifornien ) - 7 mars 1971 , Los Angeles ) - amerikansk matematiker , filosof . Hans mest kända forskning fokuserar på semantik och pragmatik för naturligt språk , matematisk logik och mängdteori . Montague är grundaren av det modellteoretiska förhållningssättet till det naturliga språkets semantik , ofta kallad Montague-grammatik (Montague 1970a, 1970b, 1973).

Biografi

Född 20 september 1930 i Stockton , Kalifornien , USA . Tog examen från St. Mary's High School. 1947 gick han in på Stockton College som student i journalistik . Efter att ha studerat i ett år, 1948 gick han in på University of California i Berkeley , var förtjust i matematik, filosofi och semitiska språk. 1950 tog han en kandidatexamen i filosofi. Vid universitetet fortsätter han sina studier, studerar matematik under ledning av Alfred Tarski , filosofi - under ledning av P. Marenke och B. Mates, och arabiska  - under ledning av J. Fischel. 1953 tog han examen från universitetet och tog magisterexamen i matematik, och 1957 disputerade han i filosofi på ämnet "Problems of axiomatization of set theory" ( engelska  Contributions to the axiomatic foundations of set theory ), arbete på vilket han ledde under ledning av samma Tarski , såväl som  Rudolf Carnap . Från 1955 till slutet av sitt liv undervisade Montagu vid den filosofiska avdelningen vid University of California. Var homosexuell . Rasist, anhängare av det burgundiska systemet [2] .

Mord

7 mars 1971 i Los Angeles ströps med en handduk i badrummet i sitt eget hem. Mordet på Montagu löstes aldrig [3] .

Bidrag till språklig semantik och språkfilosofi

Under sin livstid blev Montagu en viktig figur i samhället av matematiker och lingvister, och gjorde betydande bidrag till bevisteorin , modellteorin , den axiomatiska metoden och rekursionsteorin . Han tillämpade framgångsrikt metoderna för matematisk logik för att lösa ett antal problem inom filosofin , inklusive språkfilosofin . Vid University of California handlede han tre avhandlingar: Cocchiarella 1966, Grewe 1965, Kamp 1968. Den fjärde avhandlingen, Gallin 1972/1975, försvarades och publicerades efter Montagus död.

Montagus mest kända verk relaterar till semantiken i naturliga och formella språk . Han utvecklade avsevärt teorin om möjliga världar inom ramen för modellteoretisk semantik , skrev ett antal verk om formell pragmatik och erbjöd en analys av egenskaperna hos pronomen och verbtid (Montague 1968, 1970c). I slutet av 1960-talet blev Montagu involverad i den massiva forskningen om universell grammatik som tog över den språkliga gemenskapen vid tiden efter Chomsky-revolutionen . För honom innebar att engagera sig i universell grammatik att söka en filosofiskt grundad formell analys av syntax , semantik och pragmatik inom en enhetlig teori som omfattar både naturliga och formella språk. Montagus viktigaste och mest radikala hypotes för sin tid var att det engelska språket (och möjligen vilket naturligt språk som helst) kan beskrivas formellt med hjälp av standardmetoder för matematisk logik. Det bör noteras att vid den tiden tvivlade de flesta logiker på att naturligt språk kunde formaliseras fullständigt, och de flesta lingvister tvivlade på att metoderna för matematisk logik var allmänt tillämpliga på det naturliga språkets semantik.

Montague deltog inte i de så kallade " språkliga krigen " - en period av konfrontation mellan anhängare av generativ semantik ( J. Lakoff , J. Ross , J. McCauley , P. Postal ) och tolkningssemantik ( R. Jackendoff och många andra med stöd av Chomsky ). Efter Montagues död noterade ett antal forskare att hans teori absorberade prestationerna från båda teoretiska riktningarna.

Sanningsförhållanden, kompositionalitet i semantik

Den centrala idén i Montagus teori och, vidare, av all formell semantik är att meningen med en mening är villkoren för dess sanning . Eftersom uppsättningen av grammatiska meningar på vilket språk som helst är oändlig, behövs en teori som gör att man kan beräkna betydelsen av vilken mening som helst i ett begränsat antal steg. Den kognitiva motiveringen för denna hypotes är enkel: den mänskliga hjärnan är finit, så det finns en finit mekanism i det kognitiva systemet som tolkar alla element från en oändlig uppsättning grammatiska meningar. I syntax görs ett liknande argument för att motivera användningen av generativ grammatik som en finit mekanism för att generera ett oändligt antal meningar.

Att utveckla en sådan mekanism inom semantik tillåter principen om meningssammansättning som föreslagits av Frege : betydelsen av alla uttryck är en funktion av värdena för dess syntaktiska delar. Montagu's Universal Grammar formaliserar denna princip som en homomorfism mellan syntaxens algebra och semantikens algebra . Beståndsdelarna i dessa algebror kan variera från teori till teori. Principen om kompositionalitet sätter dock en betydande begränsning på dessa teorier - den begränsar semantikens möjliga förhållande till syntax.

Före Montagu var semantiker huvudsakligen oroade över förklaringen av polysemi , semantisk anomali och "semantisk korrelation". Ofta var bedömningar om materialet subjektiva, data och analyser motsade varandra. Införandet av begreppen "sanningsvillkor" och "semantisk konsekvensrelation" i semantiken gjorde det möjligt att formulera strikta kriterier för den semantiska teorins adekvans och ledde till en boom i forskningen inom semantikområdet, främst i Europa och USA .

PTQ och generaliserade kvantifierare

Riken i Montagus logik möjliggör en kompositionell tolkning av en självständigt motiverad syntaktisk struktur. Detta illustreras i Montague 1973 ( Proper Treatment of Quantification på vanlig engelska  - PTQ förkortas). I synnerhet när man analyserar kvantifierade substantivfraser som varje pojke , mannen , ett äpple , föreslås det att man använder ett maskinskrivet logiskt språk med en lambdaabstraktion. Till exempel, meningen Every boy runs tolkas så här:


Substantivfrasen varje pojke tolkas alltså som en generaliserad kvantifierare  - ett uttryck som << e , t >, t >, det vill säga en funktion från enära predikat till sanningsvärden. Således analyseras alla substantivfraser som generaliserade kvantifierare (därav termens namn), och exakt en semantisk typ motsvarar den syntaktiska kategorin NP. PTQ innehåller också en analys av intensiva verbala predikat, omfattningen av kvantifierare, pronomenbindningar och ett antal andra semantiska fenomen.

Många detaljer i Montagus teori som presenteras i PTQ reviderades senare, en del förkastades, men i allmänhet är PTQ:s inflytande på teoretisk lingvistik jämförbar med Chomskys "Syntactic Structures" . Emmon Bach anmärkte [4] :

Chomskys tes var att engelska kan representeras som ett formellt system; Montagus tes var att det engelska språket kunde representeras som ett tolkat formellt system.

Bibliografi

Återtryckt i Montague (1974), 119-147.

Anteckningar

  1. ↑ 1 2 Richard Montague // Internet Philosophy Ontology  Project
  2. ↑ Richard Montage. (1974). Formell filosofi: utvalda artiklar av Richard Montague. Yale University Press. s. 320-340.
  3. ↑ Feferman, Anita och Feferman, Solomon. (2004). Alfred Tarski Cambridge Uni. Tryck. s. 332-333.
  4. ↑ Bach, Emmon (1989). Informella föreläsningar om formell semantik. New York: State University of New York Press.

Länkar

  Gå till Wikidata-objektet  Tematiska platser
Ordböcker och uppslagsverk