Das als Barcan-Formel bekannte formale Prinzip ging aus den frühen Arbeiten von Ruth Barcan Marcus hervor, die die ersten axiomatischen Systeme der quantifizierten Modallogik einführte. Im Kontext der analytischen Philosophie des 20. Jahrhunderts etablierte sie fundamentale Konzepte der Modallogik und Philosophie, die den heutigen akademischen Diskurs über Referenz und Notwendigkeit weiterhin prägen.
Akademische Grundlagen und Karriere
Ruth Charlotte Barcan wurde 1921 in der Bronx geboren und schloss ihr Grundstudium 1941 an der New York University ab, wo sie sich auf Mathematik und Philosophie konzentrierte. Ihr weiterführendes Studium absolvierte sie an der Yale University, wo sie 1942 ihren M.A. und 1946 ihren Doktortitel erwarb. Ihre berufliche Laufbahn umfasste Stationen an der Northwestern University, der Roosevelt University in Chicago und der University of Illinois Chicago. 1973 wurde sie an die Yale University berufen und übernahm den Lehrstuhl für Philosophie als Reuben Post Halleck Professorin, eine Position, die sie bis zu ihrer Emeritierung 1992 innehatte.
Beiträge zur Modallogik
Marcus entwickelte die ursprünglichen Systeme der quantifizierten Modallogik und erweiterte aussagenlogische Systeme auf die Logik erster und zweiter Stufe. Ihre Publikationen aus den Jahren 1946 und 1947 im Journal of Symbolic Logic, darunter 'A Functional Calculus of First Order Based on Strict Implication', führten die Barcan-Formel ein und begründeten die Notwendigkeit der Identität. Zudem führte sie den Standard-Box-Operator ein, der in diesen formalen Systemen zur Kennzeichnung von Notwendigkeit verwendet wird.
Theorien der Referenz und des Glaubens
In der Sprachphilosophie schlug Marcus eine Theorie der direkten Referenz vor, in der sie argumentierte, dass Eigennamen als bloße 'Tags' für Objekte fungieren und nicht als Mengen von Beschreibungen. Diese Auffassung stand im Gegensatz zu den damals vorherrschenden Theorien über Eigennamen. Darüber hinaus legten ihre Arbeiten zum Thema Glauben nahe, dass dieser eine Beziehung zwischen einem Akteur und einem Sachverhalt darstellt, wobei sie rein sprachzentrierte Sichtweisen auf Kognition zugunsten verhaltensbezogener Marker wie dem Wetten ablehnte.
Professionelle Anerkennung und Mitgliedschaften
Im Laufe ihrer Karriere hatte Marcus verschiedene Führungspositionen inne und fungierte von 1976 bis 1983 als Vorsitzende des Vorstands der American Philosophical Association. Sie war Präsidentin der Association for Symbolic Logic und des Institut International de Philosophie. 1953 erhielt sie ein Guggenheim-Stipendium und war Mitglied der American Academy of Arts and Sciences. Zu ihren Auszeichnungen zählen die Wilbur Cross Medal und die Carus Lectures im Jahr 2000, der Philip L. Quinn Prize im Jahr 2007 und der Lauener Prize im Jahr 2008.
Zwanzig Fragen, acht Minuten auf der Uhr und ein Perzentil, gemessen an allen bisherigen Teilnehmern. Ohne Anmeldung.
IQ-Test starten →Fakten auf einen Blick
- Geboren: 1921, The Bronx - Gestorben: 2012, New Haven - Ausbildung: Yale University; New York University - Bedeutendes Werk: Barcan-Formel - Bedeutendes Werk: Notwendigkeit der Identität - Auszeichnung: Guggenheim-Stipendium (1953) - Auszeichnung: Wilbur Cross Medal (2000) - Berufsrolle: Präsidentin, Association for Symbolic Logic
Fragen, die Leser stellen
### Was ist die Barcan-Formel?
Es ist ein Prinzip, das Marcus in ihren frühen Arbeiten zur quantifizierten Modallogik einführte und das erstmals in ihren Veröffentlichungen von 1946 erschien.
### Wie definierte Marcus Eigennamen?
Sie argumentierte, dass Eigennamen als direkte 'Tags' für Objekte fungieren, und wies die Theorie zurück, dass sie aus beschreibendem Inhalt bestehen.
### Wo hat Ruth Barcan Marcus gelehrt?
Sie hatte Lehraufträge an der Northwestern University, der Roosevelt University, der University of Illinois Chicago und der Yale University inne.
