Ruth Barcan Marcus - Ruth Barcan Marcus
Ruth Barcan Marcus | |
---|---|
Født |
|
2. august 1921
Døde | 19. februar 2012 |
(90 år gammel)
Nasjonalitet | amerikansk |
utdanning |
New York University (BA 1941) Yale University (MA 1942) Yale University (Ph.D. 1946) |
Era | Samtidsfilosofi |
Region | Vestlig filosofi |
Skole | Analytisk |
Institusjoner |
Northwestern University Yale University |
Avhandling | Strict Functional Calculus (1946) |
Doktorgradsrådgiver | Frederic Fitch |
Hovedinteresser |
Formell logikk |
Bemerkelsesverdige ideer |
Kvantifisert modal logikk , Barcan formel , nødvendigheten av identitet , tag teori om navn |
påvirkninger | |
Påvirket |
Ruth Barcan Marcus ( / b ɑːr k ən m ɑːr k ə s / ; født Ruth Charlotte Barcan , 2 august 1921 - 19 februar 2012) var en amerikansk akademisk filosof og logician best kjent for sitt arbeid i modal og filosofisk logikk . Hun utviklet de første formelle systemene for kvantifisert modal logikk og introduserte dermed skjemaet eller prinsippet kjent som Barcan -formelen . (Hun ville også introdusere den nå standard "boks" -operatøren for nødvendighet i prosessen.) Marcus, som opprinnelig publiserte som Ruth C. Barcan , var, som Don Garrett bemerker "en av det tjuende århundrets viktigste og innflytelsesrike filosof-logikere" . Timothy Williamson , i en feiring av Marcus lange karriere i 2008, uttaler at mange av hennes "hovedideer ikke bare er originale og smarte og vakre og fascinerende og innflytelsesrike og langt foran sin tid, men faktisk - tror jeg - sant ".
Akademisk karriere og service
Ruth Barcan (som hun ble kjent før hun giftet seg med fysikeren Jules Alexander Marcus i 1942) tok magna cum laude fra New York University i 1941, med hovedfag i matematikk og filosofi . Deretter gikk hun på forskerskolen ved Yale , og tok sin MA i 1942 og doktorgraden i 1946.
Marcus var gjesteprofessor ved Northwestern University fra 1950 til 1953 og igjen, i 1959. Hun fungerte som assistent, og deretter som førsteamanuensis, professor ved det nystiftede Roosevelt University , Chicago, mellom 1956 og 1963. Fra 1964 til 1970 var hun var professor i filosofi ved University of Illinois i Chicago (opprinnelig fungerte som instituttleder). Hun var professor i filosofi ved Northwestern University fra 1970 til 1973, da hun ble utnevnt til Reuben Post Halleck -professor i filosofi ved Yale University til hun ble pensjonist, som professor emerita , i 1992. Hun ville fortsette å undervise i vintersemester, kl. den University of California, Irvine frem til 1997.
Blant andre profesjonelle verv i løpet av sin karriere fungerte Marcus som styreleder i styret for offiserer for American Philosophical Association (1976–83) og som president for både Association for Symbolic Logic (1983–86) og deretter for Institut International de Filosofi (1989–92).
Filosofi
Kvantifisert modal logikk
Den mye diskuterte Barcan -formelen blir introdusert som et aksiom i QML . I sitt tidligste publiserte verk, publiseringen av den første aksiomatiske studien av modal logikk med kvantifiseringer, publiserte Marcus under hennes pikenavn Ruth C. Barcan. Den inneholder disse tre artiklene: "A Functional Calculus of First Order Based on Strict Implication", Journal of Symbolic Logic (JSL, 1946), "The Deduction Theorem in a Functional Calculus of First Order Based on Strict Implication" , Journal of Symbolic Logic (JSL, 1946), "The Deduction Theorem in a Functional Calculus of First Order Based on Strict Implication" (JSL, 1946) , og "Identiteten til enkeltpersoner i en streng funksjonell beregning av andre orden", (JSL, 1947).
De første systemene for kvantifisert modal logikk, som utvidet noen proposisjonelle modalsystemer til Clarence Irving Lewis til første og andre orden; papirene fra 1946 og 1947, var en stor prestasjon i utviklingen av 1900 -tallets logikk.
Lewis gir Marcus spesiell anerkjennelse i sine "Notes on the Logic of Intension", opprinnelig trykt i Structure, Method, and Meaning: Essays in Honor of Henry M. Sheffer (New York, 1951). Her anerkjenner Lewis Barcan Marcus som den første logikeren som utvidet proposisjonell logikk som en intensjonell logikk av høyere orden.
Direkte referanse
Marcus foreslo synet i språkfilosofien der egnede navn er det Marcus kalte bare "tagger" ("Modalities and Intensional Languages" ( Synthese , 1961) og andre steder). I følge hennes merkelære om navn (en direkte referanse teori ), brukes disse "merkene" for å referere til et objekt, som er bæreren av navnet. Betydningen av navnet anses å være oppbrukt av denne referansefunksjonen. Denne visningen kontraster for eksempel med Bertrand Russell 's beskrivelse teori om egennavn , samt John Searle ' s klynge beskrivelse teori om navn som gjaldt da. Dette synet av egennavn (presentert i 1962 med Willard Van Orman Quine som kommentator) har blitt identifisert av Quentin Smith med teorien referanse gitt i Saul Kripke 's Naming og nødvendighet . Men i en nylig ros til Ruth Barcan Marcus sier professor Timothy Williamson :
En av ideene i dem som gir størst gjenklang med dagens språkfilosofi er egennavn som bare tagger, uten beskrivende innhold. Dette er ikke Kripkes idé om navn som stive betegnelser , som angir det samme objektet med hensyn til alle relevante verdener, for 'rigiderte' bestemte beskrivelser er stive betegnere, men har fortsatt beskrivende innhold. Det er snarere ideen, senere utviklet av David Kaplan og andre, at egennavn er direkte refererende, i den forstand at de bare bidrar med bæreren til forslagene uttrykt i setninger der de forekommer.
Filosofen av språk Stephen Neale har også argumentert mot Professor Smiths krav i Times Literary Supplement .
Behov for identitet
Marcus formelt beviste nødvendigheten av identitet i 1946 og argumenterte uformelt for det i 1961, og avviste deretter muligheten for betinget identitet. Se Journal of Symbolic Logic , (1947) 12: s. 12–15
Semantikk i QML
Marcus foretrekker en tolkning der tolkningens domene omfatter individuelle enheter i den faktiske verden. Hun antyder også at for noen bruksområder er en alternativ substitusjonell semantikk berettiget. Hun kommer med argumenter mot muligheter. Se "Dispensing with Possibilia" (Proceedings of the American Philosophical Association, 1975–76); "Possibilia and Possible Worlds" ( Grazer Philosophische Studien , 1985–86).
Moralsk konflikt
Marcus definerer et konsekvent sett med moralske prinsipper som et der det er en "mulig verden" der de alle er lydige. At de kan komme i konflikt i den virkelige verden, er ikke et tegn på inkonsekvens. Som i tilfellet med nødvendigheten av identitet, var det en motstand mot denne tolkningen av moralsk konflikt. Hennes argument teller mot et allment mottatt syn på at systemer med moralske regler uunngåelig er inkonsekvente.
Tro
Det foreslås at tro er et forhold mellom en agent og en mulig situasjon under spesifikke interne og ytre omstendigheter. Å gå med på en sitert setning (disquotation -kontoen om tro) er bare en atferdsmarkør for å tro. Satsingsatferd er en annen. Den helt språksentrerte oppfatningen av tro (f.eks. Davidson ) blir avvist. Der en agent tradisjonelt vil bli beskrevet som å tro på en umulighet inntil dens umulighet ble avslørt, foreslår Marcus at under disse omstendighetene skal agenten si at hun bare hevdet å tro på en umulighet. På omtrent samme måte, når en matematiker oppdager at en av hans formodninger er usanne, og siden det er umulig matematisk, ville han si at han bare hevdet at formodningen var sann. Uvanlig som dette forslaget er, det er analogt med det allment aksepterte prinsippet om å vite: hvis vi hevder å kjenne P, og P viser seg å være feil, sier vi ikke at vi pleide å vite det, vi sier at vi tok feil når vi hevdet det.
Essensialisme
Aristotelisk essensialisme er opptatt av egenskaper som Marcus definerer i sammenheng med et modalt rammeverk. Ett forslag er at en eiendom er avgjørende hvis noe har det, ikke alt har det, hvis noe har det, så har det det nødvendigvis, og det er ikke helt individuelt f.eks. En eiendom av naturlig art. Det påstås ellers av Quine og andre at modal logikk eller semantikk er forpliktet til essensialistiske sannheter. Marcus argumenterer uformelt for at det er tolkninger av noen modalsystemer der alle essensialistiske påstander er falske. Terence Parsons beviste senere formelt dette resultatet.
Substitusjonell kvantifisering
Et alternativ til Tarskian (modellteoretisk) semantikk er foreslått for noen bruksområder der "sannhetsbetingelsene for kvantifiserte formler er gitt rent sannhetsmessig uten appell til tolkningsområder". Dette har blitt kalt " sannhetsverdi-semantikk ". Marcus viser at påstanden om at en slik semantikk fører til motsetninger er falsk. En slik semantikk kan være av interesse for matematikk, for eksempel Hartry Field, eller for skjønnlitterær diskurs. Objektiv kvantifisering er nødvendig for tolkning av identitet og andre metafysiske kategorier.
Virker
Bøker (skrevet eller redigert)
- The Logical Enterprise , red. med A. Anderson , R. Martin, Yale, 1995
- Logic, Methodology and Philosophy of Science , VII, red. R. Barcan Marcus et al., Nord -Holland, 1986
- Modalities: Philosophical Essays , Oxford University Press , 1993. Paperback; 1995 (inneholder mange av Marcus viktige artikler)
Akademiske artikler
- Utgitt som Ruth C. Barcan - liste etter PhilPapers
- Publisert som Ruth Barcan Marcus - liste etter PhilPapers.
Utmerkelser og anerkjennelser
- Phi Beta Kappa (1941)
- Guggenheim stipendiat (1953)
- National Science Foundation Fellow (1963–1964)
- Center for Advanced Study Beckman Fellow, University of Illinois at Urbana - Champaign (1968–1969)
- Rockefeller Foundation Residency ( Bellagio , 1973 og 1990)
- Stipendiat ved American Academy of Arts and Sciences (1977)
- Center for Advanced Study in the Behavioral Sciences Fellow, Stanford (1979)
- University of Edinburgh Fellow, Humanities Institute (1983)
- Wolfson College ved Oxford University , Visiting Fellow (1985 og 1986)
- Medalje fra Collège de France (1986)
- Permanent medlem av Common Room, Clare Hall ved Cambridge University (1986–)
- Clare Hall, Cambridge University, Visiting Fellow (1988)
- Membre, Institut International de Philosophie , Presidente 1989–92, President Honoraire 1992–
- National Humanities Center , Mellon Fellow (1992–93)
- Doctor of Humane Letters , honoris causa , University of Illinois Chicago (1995)
- Wilbur Cross Medal , Yale University (2000)
- Lauener -prisen i analytisk filosofi, Lauener Foundation, 2007–08.
- Quinn -prisen, American Philosophical Association 2007, for service til yrket
- Dewey Lecture, APA, des 2009.
Referanser og notater
Eksterne linker
- Sinnott-Armstrong, W. , et al., Red., Modality, Morality and Belief: Essays in Honor of Ruth Barcan Marcus ( Cambridge : Cambridge University Press , 1995).
- Gendler, TS, Entry on Marcus , Jewish Women's Archive: A Comprehensive Historical Encyclopedia , 27. februar 2009.
- Fox, M., "Ruth Barcan Marcus, filosof-logiker, dør på 90" , The New York Times , 13. mars 2012.
- Raffman, D., "Woman, Fighter, Philosopher" , The Stone , The New York Times , 26. april 2012.
- "In memoriam: Ruth Barcan Marcus" , ' Yale News , 21. februar 2012.
- Ruth Barcan Marcus ved Mathematics Genealogy Project .
- Marcus, RB, "en filosof som ringer" en filosofisk selvbiografi "(tilgjengelig for nedlasting som en doc. ) Leveres ved Yale som en 2010 APA John Dewey Foredrag og senere publisert i de årlige forhandlingene og adresser i American Philosophical Association .
- Williamson, T., "In Memoriam: Ruth Barcan Marcus, 1921–2012" , The Bulletin of Symbolic Logic , Vol. 19, Nr. 1, mars 2013.
- Oppføring om Marcus , Encyclopedia of Philosophy , 2006.
- Innlegg om Marcus , Women in World History: A Biographical Encyclopedia , 2002.
- Fotoportrett av Marcus , deretter Ruth Barcan, ca. 1940 ( kilde, tillatelser ).
- Publikasjoner av og om Ruth Barcan Marcus i katalogen Helveticat fra det sveitsiske nasjonalbiblioteket .
- Ruth Barcan Marcus Papers (MS 1993) , Manuskripter og arkiver, Yale universitetsbibliotek.