Ruth Barcan Marcus - Ruth Barcan Marcus

Ruth Barcan Marcus
Marcus i 2005
Marcus i 2005
Født (1921-08-02)2. august 1921
Døde 19. februar 2012 (2012-02-19)(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

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)

Akademiske artikler

  • Utgitt som Ruth C. Barcan - liste etter PhilPapers
  • Publisert som Ruth Barcan Marcus - liste etter PhilPapers.

Utmerkelser og anerkjennelser

Referanser og notater

Eksterne linker