Ruth Marcus | |
---|---|
Ruth Barcan Marcus | |
Születési dátum | 1921. augusztus 2 |
Születési hely | |
Halál dátuma | 2012. február 19. [1] [2] (90 évesen) |
A halál helye | |
Ország | |
Foglalkozása | filozófus , író |
Díjak és díjak | Guggenheim-ösztöndíj ( 1953 ) Wilbur Cross [d] érem ( 2000 ) az Amerikai Művészeti és Tudományos Akadémia tagja |
Médiafájlok a Wikimedia Commons oldalon |
Ruth Barcan Marcus, Ruth Barcan Marcus [ˈbɑːrkən ˈmɑːrkəs], született: Ruth Charlotte Barcan ( 1921. augusztus 2. [2] , Bronx , New York - 2012. február 19. [1] [2] , New Haven , [3] [ Connecticut [3] ] ] [5] ) amerikai akadémiai filozófus és logikus, aki leginkább a modális és filozófiai logikával kapcsolatos munkáiról ismert [6] . Ő fejlesztette ki a kvantitatív modális logika első formális rendszereit [7] , amelyek a Barkan-formulaként ismert sémához vagy elvhez vezettek [5] [4] . Ahogy Don Garrett megjegyezte, Marcus, akinek munkája Ruth S. Barkan [7] néven jelent meg , „korának egyik legfontosabb és legbefolyásosabb logikai filozófusa volt”. Timothy Williamson 2008-ban azt mondta, hogy "sok fő ötlete nemcsak eredeti, okos, gyönyörű, lenyűgöző, hatásos és messze megelőzi korát, ami kétségtelenül igaz" [8] .
Ruth Barkan 1942-ben feleségül vette Jules Alexander Marcus fizikust, aki egy évvel korábban kitüntetéssel diplomázott a New York-i Egyetemen matematika és filozófia szakon. Ezt követően a Yale Egyetemen végzett , ahol 1942-ben szerzett mesterfokozatot, majd 1946-ban doktorált [9] . Marcus vendégprofesszor volt a Northwestern Egyetemen 1950 és 1953 között, majd 1959-ben is. 1956 és 1963 között az újonnan alapított chicagói Roosevelt Egyetemen adjunktusként, majd docensként dolgozott. 1964 és 1970 között a chicagói Illinoisi Egyetem filozófiaprofesszora (eredetileg tanszékvezető), később a Northwestern Egyetem filozófiaprofesszora lett (1970-1973). Mielőtt 1992-ben emeritus professzorként nyugdíjba vonult , Ruth a Yale Egyetemen tanított Reuben Post Halleck filozófiaprofesszori kinevezésével. 1997-ig a Kaliforniai Egyetemen (Irvine) tanított [10] [6] .
A széles körben tárgyalt Barkan-formula axiómaként jelenik meg a QML-ben [11] . Legkorábbi munkáját, az első axiomatikus tanulmányt a modális logikáról kvantorokkal , Marcus adta ki leánykori nevén Ruth K. Barkan. Három cikket tartalmaz: "Elsőrendű funkcionális számítások szigorú következmény alapján", "Journal of szimbolikus logika" (JSL, 1946), "Dukciós tétel az elsőrendű funkcionális kalkulusban szigorú implikáció alapján " (JSL, 1946). , és "Az emberek identitása szigorú másodrendű funkcionális kalkulusban" (JSL, 1947). A kvantitatív 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, 1946-ban és 1947-ben jelentek meg, és jelentős eredményt jelentettek a 20. század logikájának fejlődésében. Lewis kiemelte Ruth Marcus munkáját a Notes on the Logic of Intention című művében, amely eredetileg a Structure, Method and Meaning: An Essay in Honor of Henry M. Schaeffer (New York, 1951) című kiadványban jelent meg. Itt felismeri őt, mint az első logikust, aki a propozíciós logikát magasabb rendű intenzionális logikaként terjesztette ki.
Ruth Marcus azt javasolta a nyelvfilozófiában, hogy a tulajdonneveket egyszerű "címkékként" határozzák meg ("Modalities and Intensional Languages" (Synthese, 1961) és mások). A "címkék" elnevezésének elmélete szerint (további hivatkozási elmélet) ezeket a "címkéket" arra az objektumra használják, amely a név hordozója. A név jelentését kimeríti ez a hivatkozási funkció. Ez a nézet ellentétben áll Bertrand Russell tulajdonnevek leírására vonatkozó elméletével, valamint John Searle akkoriban uralkodó klaszteres névleírási elméletével [12] . Quentin Smith ezt a nézetet, amelyet 1962-ben Willard Van Orman Quine kommentátorként mutatott be, a Saul Kripke által a Naming and Necessity című művében adott hivatkozási elmélettel azonosította . Timothy Williamson professzor Ruth Barkan Marcus munkájával kapcsolatban a következőket mondta:
„A modern nyelvfilozófiával leginkább összefonódó gondolatok egyike a tulajdonnevek, mint egyszerű, leíró tartalom nélküli címkék ötlete. Ez nem Kripke ötlete, hogy a nevek kemény mutatók, amelyek ugyanazt az objektumot jelölik az összes releváns világgal kapcsolatban, mivel a „kemény” definiált leírások kemény mutatók, de mégis leíró tartalommal bírnak. Sokkal inkább az az elképzelés, amelyet később David Kaplan és mások fejlesztettek ki, hogy a tulajdonnevek közvetlenül hivatkoznak abban az értelemben, hogy csak hozzájárulnak a hordozójukhoz azokban a mondatokban, amelyekben előfordulnak .
Stephen Neal nyelvfilozófus nem ért egyet Smith professzor kijelentésével a Times Literary Supplementben [15] .
Az identitás szükségességét Ruth Marcus 1946-ban formálisan bebizonyította, 1961-ben megvédte álláspontját, később azonban cáfolta a véletlenszerű azonosság lehetőségét. Lásd Journal of Symbolic Logic, (1947) 12: 12-15.
Egyik írásában Ruth Marcus meghatározza az erkölcsi elvek koherens halmazát, amelyekről úgy gondolja, hogy lehetővé teszik egy „lehetséges világ” létezését, amelyben mindezen elvek megfigyelhetők. Ezen elvek ütközése a való világban nem az inkonzisztencia jele. Akárcsak az identitás igénye, az erkölcsi konfliktus ezen elmélete is ellenállásba ütközött. Ennek az elméletnek az érvelése ellentétes azzal a széles körben elterjedt véleménnyel, amely az erkölcsi szabályrendszerek elkerülhetetlen következetlenségéről szól [16] .
Filozófiai szempontból a hit egy ügynök hozzáállása egy lehetséges állapothoz bizonyos belső és külső körülmények között. Egy-egy idézett mondat elfogadása (a hit diszquotációja) csak az egyik viselkedési jelzője a hitnek. A viselkedési forgatókönyvben a dolgok némileg eltérőek. A hit teljesen nyelvi magyarázatát elutasítják (Davidson elmélete szerint). Olyan esetekben, amikor az ügynök valaminek a lehetetlenségében hisz, amíg ez a lehetetlenség fel nem derül. Marcus feltételezte, hogy ilyen esetben az ügynök azt mondaná, hogy csak a lehetetlenségben hisz. Hasonlóképpen, amikor egy matematikus felfedezi, hogy az egyik hipotézise hamis, és ha matematikailag hamis, akkor ez lehetetlen, akkor azt fogja mondani, hogy csak azt állítja, hogy a hipotézis igaz. Bármilyen furcsa is ez a feltételezés, hasonló a tudás egy széles körben elfogadott elvéhez: ha azt állítjuk, hogy ismerjük P és P hamisnak bizonyul, akkor nem azt mondjuk, hogy tudtuk, hanem azt, hogy tévedtünk. mondván, hogy ez így van [17] .
Arisztotelész esszencializmusa azokra a tulajdonságokra vonatkozik, amelyeket Ruth Marcus a modális szerkezet összefüggésében definiált. Az egyik feltevés, hogy egy tulajdonság akkor lényeges, ha valaminek megvan, nem mindennek, ha valaminek megvan, akkor kötelező, és nincs teljesen individualizálva, például természetes tulajdonságként. Egyébként Quine és társai azt állítják, hogy a modális logika vagy szemantika hű az esszencialista igazságokhoz. Ruth Marcus egyik elmélete szerint egyes modális rendszereknek vannak olyan értelmezései, amelyekben az esszencialisták minden állítása hamis. Terence Parsons hivatalosan is bebizonyította ezt az eredményt [18] .
Egyes alkalmazásokhoz a modellelméleti szemantika alternatíváját javasolják, ahol "a mennyiségileg definiált formulák igazságfeltételei kizárólag az igazság szempontjából vannak megadva, értelmezési területek igénybevétele nélkül". Ezt „igazságszemantikának” nevezték. Marcus megmutatja, hogy hamis az az állítás, hogy az ilyen szemantika ellentmondásokhoz vezet. Ez az elmélet érdekes lehet a matematikusok vagy a művészeti 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.
https://philpapers.org/s/Ruth%20C.%20Barcan
https://philpapers.org/asearch.pl?strict=1&searchStr=Marcus,%20Ruth%20Barcan&filterMode=authors
Tematikus oldalak | ||||
---|---|---|---|---|
Szótárak és enciklopédiák | ||||
|