Ruth Barcan Marcus

Ruth Barcan Marcus (2005)

Ruth Barcan Marcus (född 2 augusti 1921 , New York ; † 19 februari 2012 , New Haven ) var en amerikansk filosof och logiker .

Hon anses vara en av grundarna till kvantifierad modal logik (eller modal predikatlogik ) och teorin om styv beteckning ("direktreferens"). Den Barcan formel , som hon själv först formulerade, är uppkallad efter henne. Dessutom har hon publicerat relevanta publikationer om logikfilosofin, särskilt om essentialism , identitetsrelationens nödvändighet och status för möjliga men inte riktigt existerande objekt (possibilia) ; också om teorin om epistemiska övertygelser och om pliktkonflikter ur deontisk logik .

Liv

Ruth Barcan växte upp som den yngsta av tre systrar i ett socialistiskt hushåll i New York Bronx .

Efter gymnasiet flyttade Ruth Barcan till Washington Square College vid New York University , där hon studerade matte, fysik, klassisk litteratur, historia och filosofi. Pragmatisten Sidney Hook var en av hennes influenser där . I motsats till den tyngd han lade på naturvetenskapens filosofi, var Ruth Barcan främst bekymrad över idéhistoria inom filosofin. Ruth Barcan fick stöd av matematikern och pionjären inom spelteorin John Charles Chenoweth McKinsey , som riktade sitt intresse till matematikens logiska grunder och modal logik.

Efter att ha tagit en BA i matematik och filosofi 1941 flyttade Ruth Barcan till Yale University för att fortsätta studera modal logik. Där studerade hon bland annat med Ernst Cassirer och Frederic Brenton Fitch . Här började Ruth Barcan i stor utsträckning hantera Bertrand Russells filosofi , i synnerhet det logiska systemet Principia Mathematica och dess teori om mening. I efterhand beskrev hon Russells arbete som det mest betydelsefulla filosofiska inflytandet på hennes arbete.

Efter att ha tagit en magisterexamen 1942 blev Barcan doktorand vid Fitch, och baserat på Clarence Irving Lewis modal logic calculi utvecklade hon en modal predikatlogik . Delar av hennes opublicerade avhandling publicerades tidigare i Journal of Symbolic Logic och granskades av Willard Van Orman Quine . I synnerhet bröt deras bevis på nödvändigheten av identitetsförhållandet i modalkalkyler mot den rådande doktrinen. Hennes avhandling godkändes på Yale 1946.

Även 1942 gifte Ruth Barcan sig med fysikern Jules Alexander Marcus , som hon hade träffat på Yale. Ett stipendium från American Association of University Women tillät henne att fortsätta sina studier med sin man vid University of Chicago , där hon studerade med Rudolf Carnap . 1948 erbjöds hennes man en tjänst vid Northwestern University , hon kunde bara följa med honom som en "gästprofessor". År 1952 fick hon ett Guggenheim -stipendium. Under åren som följde födde Ruth Barcan Marcus fyra barn: James 1948, Peter 1949, Katherine 1952 och Elizabeth 1957. Sedan 1959 har hon varit gästföreläsare vid Roosevelt University .

I början av 1960 -talet arbetade hon nära David Kaplan och 1962 deltog hon i ett seminarium med Arthur Norman Prior vid University of Chicago.

En diskussionsvolym och deltagandet i ett efterföljande kollokvium vid Harvard University i Boston gjorde det möjligt för Barcan Marcus att försvara sin åsikt mot Quine, vars negativa recensioner hade bromsat vidare utveckling av modal predikatlogik. Själva grunden för modal predikatlogik ägde rum genom Colloquium on Modal Theories and Many Valued Logic i augusti 1962, där Barcan Marcus också deltog. 1963 blev Ruth Barcan Marcus -stipendiat vid National Science Foundation.

När University of Illinois i Chicago grundades utsågs Barcan Marcus till professor i filosofi och grundande avdelningsordförande 1964 . Hon spelade en nyckelroll i upprättandet av institutet. År 1970 flyttade Ruth Barcan Marcus till Northwestern, men 1973 tog hon emot en uppmaning till Reuben-Post-Halleck- professuren vid Yale University, som hon innehade fram till sin pensionering 1992. Äktenskapet med Jules Marcus skilde sig 1976. Under sin tid som aktiv fakultetsmedlem vid Yale hade hon också många gästprofessurer:
1978–79 vid Stanford Center for Advanced Study in the Behavioral Sciences (1979), som stipendiat vid Humanities Institute vid University of Edinburgh Fellow i 1983, två trimestrar 1985 och 1968 vid Wolfson College vid Oxford University och en Visiting Fallow vid Clare Hall Colledge vid Cambridge University 1988. Efter sin pensionering stannade hon kvar som Senior Research Scholar på Yale, men hon tillbringade regelbundet vintern som gäst professor vid University of California, Irvine .

Kontor och utmärkelser

Från 1961 till 1976 hade Ruth Barcan Marcus olika kontor och funktioner i områdeavdelningar i American Philosophical Association (APA), som hon också var tillfälligt ordförande i. Från 1976 till 1983 var hon medlem i styrelsen för tjänstemän i den nationella paraplyorganisationen . Hon var vice ordförande 1980–83 och ordförande i föreningen för symbolisk logik 1983–86 .

Barcan Marcus hade varit en permanent medlem i Common Room, Clare Hall, Cambridge sedan 1986. 1973 och 1990 var hon en besökande kollega vid Rockefeller Foundation i Bellagio vid Comosjön. År 1973 valdes hon in på Institut International de Philosophie , som hon var ordförande för 1989-92, varefter hon fick ett hedersordförandeskap. 1977 blev hon medlem i American Academy of Arts and Sciences . 1986 höll hon en gästföreläsning på Collège de France .

Hon fick doktorn i humana bokstäver, honoris causa från University of Illinois i Chicago 1995 och Wilbur Cross -medaljen från Yale University 2000. I maj 2008 anordnade Lauener -stiftelsen ett internationellt symposium om analytisk filosofi till hennes ära i Bern och delade ut henne Lauener -priset i analytisk filosofi, uppkallat efter Henri Lauener .

År 2007 mottog Barcan Marcus American Philosophical Associations Quinn -pris för service till yrkesföreningen.

Filosofiska positioner

Modal predikatlogik

Ruth Barcan Marcus tidigaste publikationer ger den första axiomatiska formuleringen av modal predikatlogik. Detta tidiga arbete representerade en förlängning av Clarence Irving Lewis modala propositionella logiksystem och markerade en milstolpe i utvecklingen av formell logik under 1900 -talet.

I logikens filosofi representerar den en läsning enligt vilken ämnesområdet för en tolkningsfunktion inkluderar objekt i den verkliga världen. Hon har också föreslagit ett alternativ till den vanliga modellteoretiska semantiken ( Alfred Tarski ) för vissa tillämpningar av logik, om ”de kvantifierade termernas sanningstillstånd endast kan ges i form av sanningstillstånd utan att använda en uppgift [den logiska termer]. ”Barcan Marcus är det framgångsrika beviset på att en sådan teori, även känd som sanningvärdesemantik eller substitutionssemantik , inte leder till motsättningar. Medan sådan semantik är särskilt relevant för en formalistisk teori om matematik, kräver Barcan Marcus, enligt Barcan Marcus, en korrekt förståelse av ontologiska termer som (numerisk) identitet nödvändigtvis objektrelaterad semantik och en tilldelningsfunktion. Samtidigt representerar Barcan Marcus en modal aktualism , enligt vilken endast möjliga objekt (så kallade possibilia , möjliga men inte verkliga objekt) inte är logiskt meningsfulla enheter - en direkt följd av att det begränsar beläggningsfunktionerna till individer från den nuvarande världen.

I de formella system som föreslås av Barcan Marcus gäller därför nödvändigheten av identitet. Hennes tolkning av identitet, baserad på hennes teori om egennamn och Barcan -formeln , väckte en oavslutad debatt. För Barcan -formeln , se även modal logic # Quantifiers, Barcan -formler .

Dessutom har Barcan Marcus argumenterat mot Willard Van Orman Quines uppfattning att modalsystem nödvändigtvis innebär en aristotelisk essentialism . Hon lyckades definiera essentialistiska egenskaper inom ramen för formella modala logiksystem, av vilka hon kunde visa att de i vissa tolkningar inte uppfyller kraven i en essentialistisk teori. Detta bevis formaliserades senare av Terence Parsons .

Betydelse teori

I språkfilosofin förespråkade Barcan Marcus en teori om stel benämning , enligt vilken egennamn endast är etiketter (taggar) som hänvisar direkt till deras bärare (direktreferens) . Den innebörden av egennamn bör helt slut i denna referensfunktion och inte vara beroende av en avsikt att namnet. Genom att göra detta motsäger Barcan Marcus de rådande teorierna, märkningsteorin för Bertrand Russell och buntteorin om John Searle . Denna ståndpunkt, som Barcan Marcus presenterade redan 1962 i samband med ett kollokvium som innehas av Van Orman Quine, visar tydliga likheter med teorin om betydelse av Saul Kripke , som den senare presenterade några år senare i namn och nödvändighet . Det kan dock inte uteslutas att Kripke, som arbetade inom samma problemområde, kom till hans uppfattning oberoende av Barcan Marcus.

Deontisk logik

Barcan Marcus utvecklade en modal teori för att förklara pliktkonflikten. Enligt henne ska många moraliskt föreskrivande meningar anses vara konsekventa om det finns en möjlig värld där de alla kan lydas samtidigt. Det är förenligt med det faktum att det finns en konflikt mellan bud från denna uppsättning i den verkliga världen - en pliktkonflikt. Således skulle system med moraliska regler inte nödvändigtvis vara inkonsekventa bara för att det finns en specifik pliktkonflikt. Det var stort motstånd mot denna uppfattning.

Epistemisk trosteori

Barcan Marcus avvisade det språkcentrerade tillvägagångssättet för att förklara övertygelser, som finns i Donald Davidson . Enligt den klassiska definitionen av kunskap är detta motiverat sant är åsikt (motiverat sant totalt) . Enligt Barcan Marcus är det fel att tillskriva ett medveten ämne en motiverad åsikt, vars innehåll är något omöjligt (t.ex. ett motsägelsefullt uttalande). Ett epistemiskt ämne som hade en tro vars innehåll visar sig vara falskt i efterhand kan inte meningsfullt säga att den hade denna tro som en berättigad åsikt, utan att den felaktigt tillskrev den sig själv som en motiverad tro.

Redigerade volymer och redaktörskap

  • The Logical Enterprise , red. Med A. Anderson, R. Martin, Yale, 1995
  • Logic, Methodology and Philosophy of Science , VII, red. R. Barcan Marcus et al., Nordholland, 1986
  • Modalities: Philosophical Essays , Oxford University Press , 1993. Pocketbok; 1995 (samling av hennes viktigaste artiklar)

litteratur

  • Max Cresswell : Ruth Barcan Marcus , i: Aloysius P. Martinich, David Sosa (red.): A Companion to Analytic Philosophy , Blackwell Publisher, Malden-Oxford 2001, s. 357-360.
  • Henri Lauener (red.): Dialectica (1999), 53 (3-4). "Festschrift till ära av Ruth Barcan Marcus".
  • Walter Sinnott-Armstrong, Diana Raffman, Nicholas Asher (red.): Modality, Morality and Belief: Essays in Honor of Ruth Barcan Marcus. Cambridge University Press, Cambridge & New York 1995.
  • Paul W. Humphreys, Jame H. Fetzer (red.): The New Theory of Reference. Kripke, Marcus, and its Origins Kluwer Academic Publishers, Dordrecht - Boston - London 1999.

webb-länkar

Individuella bevis

  1. ↑ a b c d e f g h Tamar S. Gendler: Ruth Barcan Marcus i: judiska kvinnor. En omfattande historisk encyklopedi . Hämtad 21 februari 2012 .
  2. ^ Brian Leiter: In Memoriam: Ruth Barcan Marcus (1921-2012). Post i blogghuvudet för rapporter . Hämtad 21 februari 2012 .
  3. ↑ Enligt en kommentar från Barcan Marcus, vördade familjen särskilt Eugene Victor Debs .
  4. ↑ a b c d e f g h i j k l m Ruth Barcan Marcus: A Philosopher's Calling. 2010 John Dewey Föreläsning från American Philosophical Association. Ladda ner från rapportchef. Hämtad 21 februari 2012 .
  5. ↑ Det finns tre artiklar som publicerades i Journal of Symbolic Logic under hennes flicknamn Ruth C. Barcan : A Functional Calculus of First Order Based on Strict Implication (1946), The Deduction Theorem in a Functional Calculus of First Order Based on Strict Implication (1946), Individers Identity in a Strict Functional Calculus of Second Order (1947).
  6. ^ WV Quine: Review of “A Functional Calculus of First Order Based on Strict Implication”, av Ruth C. Barcan , i: Journal of Symbolic Logic 11, nr 3 (september 1946): 96-97.
  7. ↑ Marx Warthofsky, red., Proceedings of the Boston Colloquium for the Philosophy of Science, 1961-62, vol. 1 av Boston Studies in the Philosophy of Science, (Dordrecht: D. Reidel, 1963), 77-112.
  8. ↑ Arbetet som diskuterades vid kollokviet publicerades i Acta Philosophica Fennica , vol. 16, 1963.
  9. ↑ Det finns tre artiklar som dök upp under hennes flicknamn Ruth C. Barcan i Journal of Symbolic Logic : "A Functional Calculus of First Order Based on Strict Implication", (1946), "The Deduction Theorem in a Functional Calculus of First Order Baserat på strikt implikation "(1946)," Individers identitet i en strikt funktionell kalkyl av andra ordningen ", (1947).
  10. ↑ “… [om] sanningsvillkoren för kvantifierade formuleringar ges enbart i termer av sanning utan att vädja till tolkningsområden”, Ruth Barcan Marcus, Modalities and Intensional Language in: Synthesis Vol. 13, No. 4, s. 303-322 (1961)
  11. ^ "Dispensing with Possibilia" (Proceedings of the American Philosophical Association, 1975-76); "Possibilia and Possible Worlds" (Graz Philosophical Studies, 1985–86).
  12. ↑ Journal of Symbolic Logic, (1947) 12: s. 12-15
  13. ^ Terence Parsons, Essentialism and Quantified Modal Logic in: The Philosophical Review , vol. 78, nr. 1 (1969), s. 35-52.
  14. ^ "Modaliteter och avsiktliga språk" ( Syntes , 1961) (och på andra ställen)
  15. ↑ Se Quentin Smith Marcus, Kripke, och Origin of the New Theory of Reference , i: Synthesis 104/2, augusti 1995, s. 179-189.
  16. ↑ Så även Timothy Williamson : "En av de idéer i dem som resonerar mest med nuvarande språkfilosofi är egennamn som bara taggar, utan beskrivande innehåll. Detta är inte Kripkes idé om namn som stela betecknar, som betecknar samma motsätter sig alla relevanta världar, för 'stelnade' bestämda beskrivningar är stela betecknar men har fortfarande beskrivande innehåll. Det är snarare tanken, senare utvecklad av David Kaplan och andra, att egennamn är direkt referensiella, i den meningen att de bidrar endast sin bärare till förslagen uttryckta i meningar där de förekommer. " Timothy Williamsons hyllning till Ruth Barcan Marcus vid tillfället för mottagandet av Lauener -priset , Head of Reports: A Philosophical Blog, 14 oktober 2008.
  17. ↑ Se "Morala dilemman och konsekvens" (Journal of Philosophy, 1980)
  18. ↑ Se "En föreslagen lösning på pusslet om tro" (Foundations of Analytic Philosophy in Midwest Studies, 1981) och "Rationalitet och tro det omöjliga" (The Journal of Philosophy, 1983 och på andra håll).
personlig information
EFTERNAMN Barcan Marcus, Ruth
ALTERNATIVA NAMN Barcan, Ruth C. Marcus, Ruth Barcan; Barcan Marcus, Ruth C.
KORT BESKRIVNING Amerikansk logiker och filosof
FÖDELSEDATUM 2 augusti 1921
FÖDELSEORT Bronx , New York City
DÖDSDATUM 19 februari 2012