Montague, Richard

Den aktuelle version af siden er endnu ikke blevet gennemgået af erfarne bidragydere og kan afvige væsentligt fra den version , der blev gennemgået den 9. september 2018; checks kræver 7 redigeringer .
Richard Montagu
Fødselsdato 20. september 1930( 20-09-1930 ) [1]
Fødselssted
Dødsdato 7. marts 1971( 1971-03-07 ) [1] (40 år)
Et dødssted
Land
Arbejdsplads
Alma Mater
videnskabelig rådgiver Alfred Tarski

Richard Merett Montague ( Eng.  Richard Merett Montague , 20. september 1930 , Stockton ( Californien ) - 7. marts 1971 , Los Angeles ) - amerikansk matematiker , filosof . Hans mest kendte forskning fokuserer på semantikken og pragmatikken i naturligt sprog , matematisk logik og mængdeteori . Montague er grundlæggeren af ​​den modelteoretiske tilgang til det naturlige sprogs semantik , ofte kaldet Montague grammatik (Montague 1970a, 1970b, 1973).

Biografi

Født 20. september 1930 i Stockton , Californien , USA . Uddannet fra St. Mary's High School. I 1947 gik han ind på Stockton College som bachelorstuderende i journalistik . Efter at have studeret i et år kom han i 1948 ind på University of California i Berkeley , var glad for matematik, filosofi og semitiske sprog. I 1950 fik han en bachelorgrad i filosofi. På universitetet fortsætter han sine studier, hvor han studerer matematik under vejledning af Alfred Tarski , filosofi - under vejledning af P. Marenke og B. Mates, og arabisk  - under vejledning af J. Fischel. I 1953 dimitterede han fra universitetet og modtog en kandidatgrad i matematik, og i 1957 forsvarede han en afhandling i filosofi om emnet "Problems of axiomatization of set theory" ( engelske  Contributions to the axiomatic foundations of set theory ), arbejde med hvilke han ledede under vejledning af samme Tarski , samt  Rudolf Carnap . Fra 1955 til slutningen af ​​sit liv underviste Montagu ved den filosofiske afdeling ved University of California. Var homoseksuel . Racist, tilhænger af det burgundiske system [2] .

Mord

7. marts 1971 i Los Angeles blev kvalt med et håndklæde på badeværelset i sit eget hjem. Mordet på Montagu blev aldrig opklaret [3] .

Bidrag til sproglig semantik og sprogfilosofi

I løbet af sin levetid blev Montagu en vigtig figur i samfundet af matematikere og lingvister, der ydede betydelige bidrag til bevisteori , modelteori , den aksiomatiske metode og rekursionsteori . Han anvendte med succes metoderne til matematisk logik til at løse en række problemer i filosofien , herunder sprogfilosofien . Ved University of California vejledte han tre afhandlinger: Cocchiarella 1966, Grewe 1965, Kamp 1968. Det fjerde speciale, Gallin 1972/1975, blev forsvaret og udgivet efter Montagus død.

Montagu's mest kendte værk relaterer sig til semantikken i naturlige og formelle sprog . Han udviklede betydeligt teorien om mulige verdener inden for rammerne af modelteoretisk semantik , skrev en række værker om formel pragmatik og tilbød en analyse af egenskaberne ved pronominer og verbum (Montague 1968, 1970c). I slutningen af ​​1960'erne blev Montagu involveret i den massive forskning i universel grammatik , der var ved at overtage det sproglige samfund på tiden efter Chomsky-revolutionen . For ham betød det at engagere sig i universel grammatik at søge en filosofisk funderet formel analyse af syntaks , semantik og pragmatik inden for en samlet teori, der omfatter både naturlige og formelle sprog. Montagu's vigtigste og mest radikale hypotese for sin tid var, at det engelske sprog (og muligvis ethvert naturligt sprog) formelt kan beskrives ved hjælp af standardmetoder for matematisk logik. Det skal bemærkes, at på det tidspunkt tvivlede de fleste logikere på, at naturligt sprog kunne formaliseres fuldstændigt, og de fleste lingvister tvivlede på, at metoderne for matematisk logik var generelt anvendelige til det naturlige sprogs semantik.

Montague deltog ikke i de såkaldte " sproglige krige " - en periode med konfrontation mellem tilhængere af generativ semantik ( J. Lakoff , J. Ross , J. McCauley , P. Postal ) og fortolkende semantik ( R. Jackendoff og mange andre ). andre med støtte fra Chomsky ). Efter Montagues død bemærkede en række forskere, at hans teori absorberede resultaterne af begge teoretiske retninger.

Sandhedsforhold, kompositionalitet i semantik

Den centrale idé i Montagu's teori og yderligere af al formelle semantik er, at betydningen af ​​enhver sætning er betingelserne for dens sandhed . Da sættet af grammatiske sætninger i ethvert sprog er uendeligt, er der behov for en teori, der gør det muligt at beregne betydningen af ​​enhver sætning i et begrænset antal trin. Den kognitive begrundelse for denne hypotese er enkel: den menneskelige hjerne er begrænset, så der er en endelig mekanisme i det kognitive system , der fortolker ethvert element fra et uendeligt sæt grammatiske sætninger. I syntaks fremsættes et lignende argument for at retfærdiggøre brugen af ​​generative grammatikker som en endelig mekanisme til at generere et uendeligt antal sætninger.

At udvikle en sådan mekanisme i semantik tillader princippet om betydningssammensætning foreslået af Frege : betydningen af ​​ethvert udtryk er en funktion af værdierne af dets syntaktiske dele. Montagu's Universal Grammar formaliserer dette princip som en homomorfi mellem syntaksens algebra og semantikkens algebra . Elementerne i disse algebraer kan variere fra teori til teori. Princippet om kompositionalitet pålægger imidlertid disse teorier en væsentlig begrænsning - det begrænser semantikkens mulige forhold til syntaks.

Før Montagu var semantikere primært optaget af forklaringen af ​​polysemi , semantisk anomali og "semantisk korrelation". Ofte var vurderinger om materialet subjektive, data og analyser modsagde hinanden. Introduktionen af ​​begreberne "sandhedsbetingelse" og "semantisk konsekvensrelation" i semantikken gjorde det muligt at formulere strenge kriterier for den semantiske teoris tilstrækkelighed og førte til et boom i forskning inden for semantik, hovedsageligt i Europa og USA .

PTQ og generaliserede kvantifikatorer

Rigdommen i Montagus logik giver mulighed for en kompositorisk fortolkning af en selvstændigt motiveret syntaktisk struktur. Dette er illustreret i Montague 1973 ( Proper Treatment of Quantification in ordinary English  - PTQ for short). Især, når man analyserer kvantificerede navneord som enhver dreng , manden , et æble , foreslås det at bruge et maskinskrevet logisk sprog med en lambda-abstraktion. For eksempel er sætningen Every boy runs analyseret sådan:


Navneordssætningen hver dreng er således parset som en generaliseret kvantifier  - et udtryk som << e , t >, t >, det vil sige en funktion fra unære prædikater til sandhedsværdier. Således analyseres alle navneordsfraser som generaliserede kvantifiers (deraf navnet på udtrykket), og præcis én semantisk type svarer til den syntaktiske kategori NP. PTQ'en indeholder også en analyse af intensionale verbale prædikater, omfanget af kvantifikatorer, pronomenbindinger og en række andre semantiske fænomener.

Mange detaljer i Montagu's teori fremsat i PTQ blev efterfølgende revideret, nogle blev forkastet, men generelt er PTQ's indflydelse på teoretisk lingvistik sammenlignelig med Chomskys "Syntaktiske strukturer" . Emmon Bach bemærkede [4] :

Chomskys tese var, at engelsk kan repræsenteres som et formelt system; Montagu's tese var, at det engelske sprog kunne repræsenteres som et fortolket formelt system.

Bibliografi

Genoptrykt i Montague (1974), 119-147.

Noter

  1. ↑ 1 2 Richard Montague // Internet Philosophy Ontology  Project
  2. ↑ Richard Montage. (1974). Formel filosofi: Udvalgte artikler af Richard Montague. Yale University Press. S. 320-340.
  3. ↑ Feferman, Anita og Feferman, Solomon. (2004). Alfred Tarski Cambridge Uni. Trykke. s. 332-333.
  4. ↑ Bach, Emmon (1989). Uformelle foredrag om formel semantik. New York: State University of New York Press.

Links

  Gå til Wikidata-elementet  Tematiske steder
Ordbøger og encyklopædier