Ruth Barcan Marcus

Ruth Barcan Marcus

Ruth Barcan Marcus (geb. 2. August 1921 in der Bronx, New York; gest. 19. Februar 2012)war eine US-amerikanische Philosophin und Logikerin. Sie war eine der Begründerinnen der quantifizierten Modallogik (modale Prädikatenlogik) und der Theorie der starren Desigantion ('direct reference') und hat zahlreiche einschlägige Aufsätze über Identität, logischen Essentialismus, possibilia, Überzeugungen, zur Logik von Pflichtenkollisionen und einige historische Studien verfasst. Nach ihr ist die Barcan-Formel benannt, die sie selbst zuerst formulierte.

Leben

Akademischer Werdegang

• B.A., New York University (1941)
• M.A., Yale University (1942)
• Ph.D., Yale University (1946)
• Professor of philosophy and founding department chair, University of Illinois at Chicago (1962–1970)
• Professor of philosophy, Northwestern University (1970–1973)
• Halleck professor of philosophy, Yale University (1973–1991)
• Professor emerita and senior research scholar, Yale University 1992-); Visiting distinguished professor, University of California, Irvine (je ein Viertel der Jahre, 1992–97)
• Chair of the Board of Officers, American Philosophical Association (1976–83)
• Vorsitz der Association for Symbolic Logic (1983–86)
• Vorsitz des Institut International de Philosophie (1989–92) und Ehrenvorsitz

Stipendien, Auszeichnungen und Gastprofessuren

• Guggenheim Fellow (1952)
• National Science Foundation Fellow (1963)
• Rockefeller Foundation Residency (Bellagio, 1973 and 1990)
• Center for Advanced Study in the Behavioral Sciences (1979)
• University of Edinburgh Fellow, Humanities Institute (1983)
• Wolfson College of Oxford University, Visiting Fellow (1985 and 1986)
• Clare Hall of Cambridge University, Visiting Fellow (1988)
• National Humanities Center, Mellon Fellow (1992–93)
• Fellow, American Academy of Arts and Sciences (seit 1977)
• Medal of the Collège de France (1986)
• Doctor of Humane Letters, honoris causa, University of Illinois at Chicago (1995)
• Wilbur Cross Medal, Yale University (2000)
• Lauener Prize in Analytic Philosophy, Lauener Foundation, 2007–08.
• Permanent Member of the Common Room, Clare Hall (seit 1986)
• Quinn Prize, American Philosophical Association 2007, for service to the profession
• Dewey Lecture, APA, Dec 2009

Positionen

Formale Logik

Ruth Barcan Marcus früheste Veröffentlichungen stellen die erste axiomatische Formulierung einer modalen Prädikatenlogik dar. Diese frühen Arbeiten stellten eine Erweiterung der modalen aussagenlogischen Systeme von Clarence Irving Lewis dar und markieren einen Meilenstein in der Entwicklung der formalen Logik im 20. Jahrhundert.

In der Philosophie der Logik vertritt sie eine Lesart, nach der der Gegenstandsbereich einer Interpretationsfunktion die Gegenstände der wirklichen Welt umfasst. Sie hat auch eine Alternative zur üblichen modelltheoreischen Semantik (Alfred Tarski für bestimmte Anwendungen der Logik vorgeschlagen, falls "die Wahrheitsbedingungen der quantifizierten Terme ausschließlich in Form von Wahrheitsbedingungen ohne Inanspruchnahme einer Belegung [der Logischen Terme] angegeben werden können." Barcan Marcus ist der Nachweis gelungen, dass eine solche, auch als Wahrheitswert-Semantik (truth value semantics) oder Substitutionssemantik (substitutional semantics) bezeichnete Theorie nicht zu Widersprüchen führt. Während eine solche Semantik insbesondere für eine formalistische Theorie der Mathematik relevant ist, setzt nach Barcan Marcus ein korrektes Verständnis von ontologischen Begriffen wie (numerischer) Identität notwendig eine objektbezogene Semantik und eine Belegungsfunktion voraus. Barcan Marcus vertritt zugleich einen modalen Aktualismus, nach dem bloß mögliche Objekte (sogenannte possibilia, mögliche, aber nicht wirkliche Gegenstände) keine logisch sinnvollen Entitäten sind – eine direkte Folge davon, dass sie die Belegungsfuktionen auf Individuen aus der aktuellen Welt einschränkt.

In formalen Systemen, die Barcan Marcus vorschlägt, gilt daher die Notwendigkeit der Identität. Ihre Interpretation der Identität, die in Zusammenhang mit ihrer Theorie der Eigennamen und der Barcan-Formel beruht, löste eine unabgeschlossene Debatte aus. Siehe zur Barcan-Formel auch Modallogik#Quantoren.

Darüber hinaus hat Barcan Marcus Argumente gegen die Ansicht von Willard Van Orman Quine argumentiert, das modale Systeme notwendig einen aristotelischen Essentialismus implizieren. Ihr gelang eine Definition essentialistischer Eigenschaften im Rahmen formaler Systeme, von der sie zeigen konnte, dass sie in bestimmten Interpretationen der Moralischen Systeme die Ansprüche einer essentialistischen Theorie nicht erfüllen. Dieser Beweis wurde späte von Terence Parsons formalisiert.

Bedeutungstheorie

In der Sprachphilosophie vertrat Barcan Marcus eine Theorie der starren Designation, derzufolge Eigennamen lediglich Etiketten (tags) sind, die sich unmittelbar auf ihren Träger beziehen (direct reference). Die Bedeutung von Eigennamen soll sich in dieser referentiellen Funktion völlig erschöpfen, und nicht etwa von einer Intension des Namens abhängig sein. Damit widersprach Barcan Marcus den herrschenden Theorien, der Kennzeichnungstheorie von Bertrand Russell und der Bündeltheorie von John Searle. Diese Position, die Barcan Marcus schon 1962 in Rahmen eines Quine-Kolloquiums vorstellte, weist deutliche Ähnlichkeiten zur Bedeutungstheorie von Saul Kripke auf, die dieser wenige Jahre später in Name und Notwendigkeit vorstellte. Es ist jedoch keineswegs auszuschließen, dass Kripke, der im selben Problemfeld arbeitete, unabhängig von Barcan Marcus zu seiner Ansicht kam.

Deontologische Logik

Barcan Marcus entwickelte eine modale Theorie zur Erklärung der Pflichtenkollision. Ihrzufolge ist eine Menge moralisch präskriptiver Sätze als konsistent anzusehen, wenn es eine mögliche Welt gibt, in der sie alle zugleich befolgt werden können. Damit ist verträglich, dass es in der aktualen Welt einen Konflikt zwischen Geboten aus diese Menge gibt – eine Pflichtenkollision. Somit wären Systeme moralischer Regeln nicht notwendigerweise inkonsistent, nur weil konkret eine Pflichtenkollision vorliegt. Dieser Ansicht wurden große Widerstände entgegengebracht.

Erkenntnistheorie

Barcan weist den spachzentrierten Ansatz zur Erklärung von Überzeugungen, wie er sich etwa bei Donald Davidson findet, zurück. Nach der klassischen Definition von Wissen ist dies gerechtfertigte wahre Meinung (justified true belief). Barcan Marcus zu Folge ist es falsch, einem Erkenntnissubjekt eine gerechtfertigte Meinung zuzuschreiben, deren Inhalt etwas unmögliches (z.B. eine widersprüchliche Aussage) darstellt. Ein epistemisches Subjekt, dass eine Überzeugung besessen hat, deren Gehalt sich in Nachhinein als falsch herausstellt, kann nicht sinnvoll sagen, dass es diese Überzeugung als gerechtfertigte Meinung besessen habe, sondern dass es sich diese selbst fälschlich als gerechtfertigte Überzeugung zugeschrieben habe.

Sammelbände und Herausgeberschaften

• The Logical Enterprise, ed. with A. Anderson, R. Martin, Yale, 1995
• Logic, Methodology and Philosophy of Science, VII, eds. R. Barcan Marcus et al., North Holland, 1986
• Modalities: Philosophical Essays, Oxford University Press, 1993. Paperback; 1995 (Sammlung ihrer wichtigsten Aufsatzveröffentlichungen)

Literatur

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

Weblinks

• Yale University philosophy department biography: Ruth Barcan Marcus