Werk · Analytische Philosophie
Ein 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.
Einführung
Ruth C. Barcan veröffentlichte diesen kurzen technischen Aufsatz 1946 im Journal of Symbolic Logic, im Jahr ihrer Promotion in Yale. Er ergänzt C. I. Lewis’ System S2 der strikten Implikation – einer Logik, in der eine Aussage eine andere nur dann strikt impliziert, wenn es unmöglich ist, dass die erste wahr und die zweite falsch ist – um Quantoren („für alle x“, „es gibt ein x“) und legt damit das erste veröffentlichte formale System der quantifizierten Modallogik vor (Carnaps „Modalities and Quantification“ erschien einige Monate später im selben Jahrgang der Zeitschrift). Zu seinen Theoremen gehört die später so genannte Barcan-Formel: Wenn es möglich ist, dass etwas F ist, dann gibt es etwas, das möglicherweise F ist (◇∃xFx → ∃x◇Fx). Was daraus für die Existenz bloß möglicher Dinge folgt, ist bis heute umstritten.
Weitere Werke von Ruth Barcan Marcus
Quellen: Wikidata
Stand November 2026 · Seite verbessern · So entsteht Agora