Ruth Barcan Marcus

Agora

Ruth Barcan Marcus

1921–2012

Erster Zugangbewusst vereinfacht – das Porträt erzählt mehr

Die Logik kann über das Mögliche und Notwendige schließen, und ein Eigenname ist nur ein Etikett für ein Ding, keine versteckte Beschreibung davon.

Einordnung

Analytische Philosophie · Nordamerika · Logik, Sprache, Metaphysik

Logikerin, die 1946, zeitgleich mit Carnap, eines der ersten Systeme veröffentlichte, die Quantoren mit Modaloperatoren verbinden: Die „Barcan-Formel“ und ihre Auffassung von Eigennamen als bloßen „Etiketten“ ohne beschreibenden Gehalt nahmen spätere Theorien der Referenz vorweg.

Kernideen

Quantifizierte Modallogik
Barcan-Formel
Namen als Etiketten

Auf der Sternkarte öffnen

Einfluss

Beeinflusste 1

Saul Kripke

beeinflusste umstritten
Kripkes Modelle für die quantifizierte Modallogik (1959, 1963) griffen Barcans Systeme und Formel (1946) auf; ob die starre Bezeichnung auf ihre „Etiketten“ (tags, 1961) zurückgeht, ist umstritten. R. C. Barcan, “A Functional Calculus of First Order Based on Strict Implication”, Journal of Symbolic Logic 11 (1946); R. Barcan Marcus, “Modalities and Intensional Languages”, Synthese 13 (1961); S. A. Kripke, “Semantical Considerations on Modal Logic” (1963); Naming and Necessity (lectures 1970; publ. 1972, 1980); Q. Smith and S. Soames, Synthese 104 (1995); SEP “Ruth Barcan Marcus”
Beleg: KI-Entwurf
Saul Kripke › 1940–2022

Kritik

Gegenseitige Kritik 1

W. V. O. Quine ⇄ gegenseitig

kritisierte
Gegen Quine argumentierte Barcan Marcus, die quantifizierte Modallogik sei kohärent: Eigennamen seien bloße „Etiketten“, und Identitäten zwischen ihnen gälten notwendig („Modalities and Intensional Languages“, 1961). R. Barcan Marcus, “Modalities and Intensional Languages”, Synthese 13 (1961), 303–322, with Quine’s comments (Boston Colloquium)
Beleg: KI-Entwurf
kritisiert von
Quine wandte ein, die quantifizierte Modallogik, die Barcan Marcus als Erste formalisierte (1946), scheitere an referentieller Opazität und verpflichte auf einen „aristotelischen Essentialismus“ („Reference and Modality“, 1953). W. V. O. Quine, “Reference and Modality”, in From a Logical Point of View (1953); “Three Grades of Modal Involvement” (1953); R. C. Barcan, Journal of Symbolic Logic 11 (1946)
Beleg: KI-Entwurf
W. V. O. Quine › 1908–2000

Werke

1946Ein Funktionenkalkül erster Stufe auf der Grundlage strikter Implikation
Das erste veröffentlichte System der quantifizierten Modallogik – mit der später nach ihr benannten Formel.
1961Modalitäten und intensionale Sprachen
Eigennamen sind bloße Etiketten; Identität ist notwendig – eine Verteidigung der Modallogik gegen Quines Einwände.

Position

Ihre Aufsätze von 1946 lieferten die ersten Systeme der quantifizierten Modallogik, die Notwendigkeit und Möglichkeit mit Quantoren verbinden; die „Barcan-Formel“ – wenn es möglich ist, dass etwas eine Eigenschaft hat, dann hat etwas sie möglicherweise – wurde zum Standardthema. Quine hielt das Quantifizieren in modale Kontexte hinein für inkohärent; Marcus verteidigte es. In „Modalitäten und intensionale Sprachen“ schlug sie vor, Eigennamen seien bloße „Etiketten“ ohne beschreibende Bedeutung, sodass Identitätsaussagen zwischen Namen, wenn wahr, notwendig wahr sind – eine Auffassung nahe dem, was Kripke später unter dem Begriff des starren Designators berühmt machte; die Frage der Priorität ist umstritten.

Leben & Kontext

Ruth Barcan Marcus (1921–2012) wurde in New York geboren, studierte Mathematik und Philosophie an der New York University und promovierte 1946 in Yale bei Frederic Fitch. Sie lehrte an der Roosevelt University, der University of Illinois in Chicago und in Northwestern, bevor sie 1973 nach Yale zurückkehrte. Sie war Gründungsmitglied und Vorsitzende des National Board der American Philosophical Association und in internationalen Logikorganisationen aktiv.