Ruth Barcan Marcus - Ruth Barcan Marcus

Ruth Barcan Marcus
Marcus 2005 -ben
Marcus 2005 -ben
Született ( 1921-08-02 )1921. augusztus 2
New York City
Meghalt 2012. február 19 (2012-02-19)(90 éves)
New Haven, Connecticut
Állampolgárság Amerikai
Oktatás New York Egyetem (BA 1941)
Yale Egyetem (MA 1942)
Yale Egyetem (Ph.D. 1946)
Korszak Kortárs filozófia
Vidék Nyugati filozófia
Iskola Analitikus
Intézmények Northwestern University
Yale Egyetem
Tézis Szigorú funkcionális számítás  (1946)
Doktori tanácsadó Frederic Fitch
Fő érdekek
 Formális logika
Figyelemre méltó ötletek
 Számszerűsített modális logika , Barcan formula , szükségességét identitás , címke elmélete nevek
Befolyások
Befolyásolt

Ruth Barcan Marcus ( / b ɑːr k ən m ɑːr k ə s / ; született Ruth Charlotte Barcan ; augusztus 2, 1921 - február 19, 2012) volt, egy amerikai egyetemi filozófus és logikus Legismertebb munkája a modális és filozófiai logikával . Kidolgozta a számszerűsített modális logika első formális rendszereit, és ezzel bevezette a sémát vagy elvet, amelyet Barcan -képletnek neveznek . (A folyamatban szükségszerűen bevezetné a ma már szokásos „box” operátort is.) Marcus, aki eredetileg Ruth C. Barcan néven publikált , Don Garrett megjegyzése szerint „a huszadik század egyik legfontosabb és legbefolyásosabb filozófus-logikusa”. . Timothy Williamson , Marcus hosszú karrierjének 2008 -as ünnepségén, kijelenti, hogy sok "fő ötlete nem csak eredeti, okos, szép, lenyűgöző és befolyásos, és jóval megelőzi korukat, de valójában - azt hiszem - igaz ".

Akadémiai karrier és szolgálat

Ruth Barcan (mint 1942 -ben ismerték, mielőtt férjhez ment Jules Alexander Marcus fizikushoz ) 1941 -ben végzett magna cum laude -on a New York -i Egyetemen, matematika és filozófia szakon . Ezt követően a Yale -ben érettségizett , 1942 -ben szerezte meg a MA -t, majd 1946 -ban doktorált.

Marcus 1950 és 1953 között, majd ismét 1959 -ben vendégprofesszor volt az északnyugati egyetemen . 1956 és 1963 között asszisztens, majd egyetemi docens volt az újonnan alapított chicagói Roosevelt Egyetemen . 1964 és 1970 között a chicagói Illinois Egyetem filozófiaprofesszora volt (eredetileg tanszékvezető). 1970 -től 1973 -ig a Northwestern Egyetem filozófiaprofesszora volt, majd a Yale Egyetem Reuben Post Halleck filozófiaprofesszorává nevezték ki, amíg 1992 -ben emeritus professzorként nyugdíjba nem ment. A téli félévekben is a Kaliforniai Egyetemen, Irvine -ben 1997 -ig.

Pályafutása során betöltött egyéb szakmai tisztségei mellett Marcus az Amerikai Filozófiai Szövetség (1976–1983) tisztségviselő -testületének elnöke, valamint a Szimbolikus Logika Szövetségének (1983–1986 ), majd az Institut International de elnöke is volt. Filozófia (1989–92).

Filozófia

Számszerűsített modális logika

A széles körben tárgyalt Barcan -képletet axiómaként vezetik be a QML -ben . A legkorábbi publikált munkájában, a modális logika első axiomatikus tanulmányában, a kvantorokkal, Marcus a leánykori nevén Ruth C. Barcan publikálta. Ez a három cikk tartalmazza: "Az elsőrendű funkcionális számítás szigorú implikáció alapján", Journal of Symbolic Logic (JSL, 1946), "The Deduction Theorem in a Functional Calculus of First Order, szigorú implikáció alapján" (JSL, 1946) , és "Az egyének identitása a második rend szigorú funkcionális számításában", (JSL, 1947).

A számszerűsített modális logika első rendszerei, amelyek Clarence Irving Lewis néhány propozíciós modális rendszerét kiterjesztették az első és a második rendre; Az 1946 -os és 1947 -es dokumentumok jelentős eredményt jelentettek a 20. századi logika fejlődésében.

Lewis különleges elismerést ad Marcusnak a "Notes on the Logic of Intension" című könyvében, amelyet eredetileg a Structure, Method and Meaning: Essays in Honor of Henry M. Sheffer (New York, 1951) c. Itt Lewis felismeri Barcan Marcust, mint első logikust, aki kiterjesztette a propozíciós logikát magasabb rendű intenzív logikának.

Közvetlen hivatkozás

Marcus azt a nézetet javasolta a nyelvfilozófiában , amely szerint a tulajdonnevek azok, amelyeket Marcus puszta "címkéknek" nevezett ("Modalities and Intensional Languages" ( Synthese , 1961) és másutt). A nevek címkeelmélete ( közvetlen hivatkozáselmélet ) szerint ezek a "címkék" egy objektumra utalnak, amely a név viselője. A név jelentését ez a hivatkozási funkció kimerítette. Ez a nézet kontrasztok például Bertrand Russell „s leírás elmélete tulajdonnevek , valamint John Searle ” s klaszter leírás elmélete nevű uralkodó idején. Ezt a tulajdonnevekről alkotott nézetet (1962 -ben Willard Van Orman Quine, mint kommentátor) Quentin Smith azonosította a Saul Kripke -féle Naming and Necessity című hivatkozás elméletével . Timothy Williamson professzor azonban a Ruth Barcan Marcus -hoz adott legutóbbi dicséretben ezt mondja:

Az egyik elképzelés bennük, amely leginkább a jelenlegi nyelvfilozófiával rezonál, a tulajdonnevek puszta címkék, leíró tartalom nélkül. Ez nem Kripke elképzelése a nevekről, mint merev jelölőkről , amelyek ugyanazt az objektumot jelölik az összes releváns világ vonatkozásában, mivel a „ merevített ” határozott leírások merevek, de mégis leíró tartalommal rendelkeznek. Inkább az a gondolat, amelyet később David Kaplan és mások fejlesztettek ki , hogy a tulajdonnevek közvetlenül utalóak, abban az értelemben, hogy csak a viselőjükkel járulnak hozzá azokhoz a mondatokhoz, amelyekben előfordulnak.

Stephen Neale nyelvfilozófus a Times irodalmi mellékletében Smith professzor állítása ellen is érvelt .

Az identitás szükségessége

Fő cikk: Az identitás szükségessége

Marcus 1946 -ban hivatalosan bebizonyította az identitás szükségességét, és 1961 -ben informálisan érvelt mellette, ezt követően elutasítva ezzel az esetleges identitás lehetőségét. Lásd Journal of Symbolic Logic , (1947) 12: 12–15

A QML szemantikája

Marcus olyan értelmezést részesít előnyben, ahol az értelmezés tartománya a tényleges világ egyes entitásaiból áll. Azt is javasolja, hogy bizonyos felhasználások esetén alternatív helyettesítő szemantika indokolt. Érveket hoz fel a lehetőségek ellen. Lásd "Dispensing with Possibilia" (Proceedings of the American Philosophical Association, 1975–76); "Possibilia és lehetséges világok" ( Grazer Philosophische Studien , 1985–86).

Erkölcsi konfliktus

Marcus az erkölcsi elvek következetes halmazát úgy határozza meg, hogy létezik olyan „lehetséges világ”, amelyben mindannyian engedelmeskedünk. Az, hogy konfliktusba kerülhetnek a való világban, nem a következetlenség jele. Akárcsak az identitás szükségességének esetében, az erkölcsi konfliktus ezen értelmezése ellenállásba ütközött. Érvelése ellentmond annak a széles körben elfogadott nézetnek, miszerint az erkölcsi szabályok rendszere elkerülhetetlenül következetlen.

Hit

Azt javasolják, hogy a hit egy ügynök viszonya a lehetséges belső állapotokhoz meghatározott belső és külső körülmények között. Az idézett mondathoz való hozzájárulás (a hit kizáró beszámolója) csak egy magatartási jelzője a hitnek. A fogadási magatartás más. A teljesen nyelvközpontú hitvallást (pl. Davidson ) elutasítják. Ha egy ügynököt hagyományosan úgy írnak le, hogy egy lehetetlenségben hisznek, amíg lehetetlenségét nem hozták nyilvánosságra, Marcus azt javasolja, hogy ilyen körülmények között az ügynök azt mondja, hogy csak azt állította, hogy hisz egy lehetetlenségben. Nagyjából ugyanígy, amikor egy matematikus felfedezi, hogy egyik sejtése hamis, és mivel ha matematikailag hamis, akkor lehetetlen, azt mondaná, hogy csak azt állította, hogy a sejtés igaz. Bármilyen furcsa is ez a javaslat, analóg a tudás általánosan elfogadott elvével: ha azt állítjuk, hogy ismerjük P -t, és P hamisnak bizonyul, akkor nem azt mondjuk, hogy régebben tudtuk, hanem azt mondjuk, hogy tévedtünk.

Essentializmus

Az arisztotelészi esszencializmus olyan tulajdonságokkal foglalkozik, amelyeket Marcus egy modális keretben határoz meg. Az egyik javaslat szerint a tulajdonság elengedhetetlen, ha valaminek megvan, nem mindennek van, ha valaminek megvan, akkor szükségszerűen megvan, és nem teljesen individualizáló, pl . Quine és mások egyébként azt állítják, hogy a modális logika vagy szemantika elkötelezett az esszencialista igazságok mellett. Marcus informálisan azzal érvel, hogy vannak olyan modális rendszerek értelmezései, amelyekben minden esszencialista állítás hamis. Terence Parsons később hivatalosan is bizonyította ezt az eredményt.

Helyettesítő számszerűsítés

A tarszk (modellelméleti) szemantika alternatíváját javasolják néhány felhasználásra, ahol "a számszerűsített formulák igazságfeltételei tisztán az igazság szempontjából vannak megadva, és nem vonzzák az értelmezési területeket". Ezt " igazság-érték szemantikának " nevezték . Marcus azt mutatja, hogy az az állítás, hogy az ilyen szemantika ellentmondásokhoz vezet, hamis. Az ilyen szemantika érdekes lehet a matematika számára, pl. Hartry Field vagy a fiktív diskurzus számára. Az identitás és más metafizikai kategóriák értelmezéséhez objektív számszerűsítésre van szükség .

Művek

Könyvek (írásban vagy szerkesztve)

Akadémiai dolgozatok

  • Megjelent a Ruth C. Barcan - lista szerint PhilPapers
  • Ruth Barcan Marcus néven jelent meg - a PhilPapers listája .

Díjak és elismerések

Hivatkozások és jegyzetek

Külső linkek