imported>Mukeber: /* Ämter und Ehrungen */ Querverweis

2024-10-22T22:25:45Z

Ämter und Ehrungen: Querverweis

Neue Seite

[[Datei:Ruth Barcan Marcus.jpg|mini|hochkant|Ruth Barcan Marcus (2005)]]
'''Ruth Barcan Marcus''' (* [[2. August]] [[1921]], [[New York City|New York]]<ref name="gendler">{{Internetquelle| autor= Tamar S. Gendler| titel= ''Ruth Barcan Marcus'' in: ''Jewish Women. A Comprehensive Historical Encyclopedia''|url= https://jwa.org/encyclopedia/article/marcus-ruth-barcan| zugriff =2012-02-21}}</ref>; † [[19. Februar]] [[2012]], [[New Haven (Connecticut)|New Haven]]<ref>{{Internetquelle| autor= Brian Leiter| titel= In Memoriam: Ruth Barcan Marcus (1921–2012)| url=https://leiterreports.typepad.com/blog/2012/02/in-memoriam-ruth-barcan-marcus-1921-2012.html|zugriff=2012-02-21| titelerg= Eintrag im Blog ''Leiter Reports''}}</ref>) war eine [[Vereinigte Staaten|US-amerikanische]] [[Philosoph]]in und [[Logik]]erin.

Sie gilt als eine der Begründerinnen der quantifizierten [[Modallogik]] (oder modalen [[Prädikatenlogik]]) und der Theorie der starren Designation (‘direct reference’). Nach ihr ist die [[Barcan-Formel]] benannt, die sie selbst zuerst formulierte. Darüber hinaus stammen von ihr einschlägige Veröffentlichungen zur [[Philosophie der Logik]], speziell zum [[Essentialismus]], zur Notwendigkeit der Identitätsrelation und zum Status von möglichen, aber nicht wirklich existierenden Objekten ''(possibilia)''; des Weiteren zur Theorie [[Erkenntnistheorie|epistemischer]] [[Meinung|Überzeugungen]] und zu [[Pflichtenkollision]]en vom Standpunkt der [[deontische Logik|deontischen Logik]].

== Leben ==
Ruth Barcan wuchs als jüngste von drei Schwestern in einem sozialistisch geprägten<ref>Nach einer Bemerkung von Barcan Marcus verehrte die Familie insbesondere [[Eugene Victor Debs]].</ref> Haushalt in der New Yorker [[Bronx]] auf.<ref name="gendler" />

Nach der Highschool entschied sich Ruth Barcan für das Washington Square College der [[New York University]], wo sie Mathematik, Physik, Klassische Literatur, Geschichte und Philosophie belegte. Zu ihren Einflüssen dort zählte insbesondere der [[Pragmatismus|Pragmatist]] [[Sidney Hook]]. Entgegen dem Gewicht, das dieser auf die Wissenschaftstheorie der Naturwissenschaften legte, beschäftigte sich Ruth Barcan vor allem mit ideengeschichtlichen Aspekten der Philosophie. Förderung erfuhr Ruth Barcan durch den Mathematiker und Pionier der Spieltheorie [[John Charles Chenoweth McKinsey]], der ihr Interesse auf die logischen Grundlagen der Mathematik und die Modallogik lenkte.<ref name="dewey lecture">{{Internetquelle| autor=Ruth Barcan Marcus| titel=A Philosopher’s Calling. 2010 John Dewey Lecture der American Philosophical Association| url=https://leiterreports.typepad.com/blog/2010/09/ruth-barcan-marcuss-philosophical-autobiography.html |titelerg= Download bei Leiter Reports | zugriff=2012-02-21}}</ref>

Nach dem Erwerb des B.A. in Mathematik und Philosophie im Jahr 1941 wechselte Ruth Barcan zur [[Yale University]], um sich weiter mit Modallogik zu beschäftigen. Dort studierte sie unter anderem bei [[Ernst Cassirer]] und [[Frederic Brenton Fitch]]. Hier begann Ruth Barcan sich ausführlich mit der Philosophie von [[Bertrand Russell]] auseinanderzusetzen, insbesondere mit dem logischen System der ''Principia Mathematica'' und seiner Bedeutungstheorie. Rückblickend bezeichnete sie Russells Arbeiten als bedeutendsten philosophischen Einfluss auf ihr Werk.<ref name="dewey lecture" />

Nach dem Erwerb des Master-Abschlusses im Jahr 1942 wurde Barcan Promotionsstudentin bei Fitch, ausgehend von den modallogischen Kalkülen von [[Clarence Irving Lewis]] entwickelte sie eine modale [[Prädikatenlogik]]. Teile ihrer unveröffentlichten Dissertation erschienen vorab im ''[[Journal of Symbolic Logic]]''<ref>Es handelt sich um drei Artikel, die unter ihrem Geburtsnamen Ruth C. Barcan im [[Journal of Symbolic Logic]] erschienen: ''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), ''The Identity of Individuals in a Strict Functional Calculus of Second Order'' (1947).</ref> und wurden dort von [[Willard Van Orman Quine]] besprochen.<ref>W. V. Quine: ''Review of “A Functional Calculus of First Order Based on Strict Implication,” by Ruth C. Barcan'', in: The Journal of Symbolic Logic 11, no. 3 (September 1946): 96-97.</ref> Insbesondere ihr Beweis der Notwendigkeit der Identitätsrelation in modalen Kalkülen brach dabei mit der herrschenden Lehrmeinung. Ihre Dissertation wurde 1946 an der Yale angenommen.<ref name="dewey lecture" />

Ebenfalls im Jahr 1942 heiratete Ruth Barcan den Physiker [[Jules Alexander Marcus]], den sie an der Yale kennengelernt hatte.<ref name="gendler" /> Ein Stipendium der ''[[American Association of University Women]]'' erlaubte ihr, ihre Studien gemeinsam mit ihrem Mann an der [[University of Chicago]] fortzusetzen, wo sie bei [[Rudolf Carnap]] studierte. 1948 erhielt ihr Ehemann einen Ruf an die [[Northwestern University]], sie konnte ihn nur als ‘visiting professor’ begleiten. 1952 erhielt sie eine Guggenheim Fellowship.<ref name="dewey lecture" /> In den folgenden Jahren brachte Ruth Barcan Marcus vier Kinder zur Welt: James 1948, Peter 1949, Katherine 1952 und Elizabeth 1957. Seit 1959 war sie als Lehrbeauftragte an der [[Roosevelt University]] tätig.<ref name="gendler" />

In den frühen 60ern entwickelte sich eine intensive Zusammenarbeit mit [[David Kaplan (Philosoph)|David Kaplan]], 1962 besuchte sie ein Seminar bei [[Arthur Norman Prior]] an der University of Chicago.<ref name="dewey lecture" />

Ein Diskussionsband<ref>Marx Warthofsky, ed., Proceedings of the Boston Colloquium for the Philosophy of Science, 1961–1962, vol. 1 of Boston Studies in the Philosophy of Science, (Dordrecht: D. Reidel, 1963), 77-112.</ref> und die Teilnahme an einem daran anschließenden Kolloquium an der Harvard University in Boston erlaubten es Barcan Marcus, ihre Standpunkte gegen Quine zu verteidigen, dessen negative Kritiken bis dahin eine weitere Entwicklung der modalen Prädikatenlogik gebremst hatten. Der eigentliche Gründungsakt der modalen Prädikatenlogik erfolgte durch das ''Colloquium on Modal Theories and Many Valued Logic'' im August 1962, an dem Barcan Marcus ebenfalls teilnahm.<ref>Die auf dem Kolloquium diskutierten Arbeiten wurden in den ''Acta Philosophica Fennica'', vol. 16, 1963, veröffentlicht.</ref> Im Jahr 1963 wurde Ruth Barcan Marcus Fellow der National Science Foundation.<ref name="dewey lecture" />

Mit der Gründung der [[University of Illinois at Chicago]] wurde Barcan Marcus 1964 zum ''Professor of philosophy and founding department chair'' ernannt.<ref name="dewey lecture" /> Sie war maßgeblich am Aufbau des Instituts beteiligt.<ref name="gendler" /> 1970 wechselte Ruth Barcan Marcus an die Northwestern, sie folgte allerdings schon 1973 einem Ruf auf die ''Reuben-Post-Halleck''-Professur an der Yale University, die sie bis zu ihrer Emeritierung 1992 innehatte. Die Ehe mit Jules Marcus wurde 1976 geschieden.<ref name="gendler" /> Während ihrer Zeit als aktives Fakultätsmitglied an der Yale nahm sie auch zahlreiche Gastprofessuren wahr:<br />
1978–1979 am Stanford Center for Advanced Study in the Behavioral Sciences (1979), als Fellow am Humanities Institute der [[University of Edinburgh]] Fellow 1983, zwei Trimester 1985 und 1968 am [[Wolfson College (Oxford)|Wolfson College]] der [[University of Oxford|Oxford University]] und als Visiting Fallow am Clare Hall Colledge der [[University of Cambridge|Cambridge University]] 1988.<ref name="dewey lecture" /> Nach ihrer Emeritierung verblieb sie als Senior Research Scholar an der Yale, sie verbrachte jedoch regelmäßig den Winter als Gastprofessorin an der [[University of California, Irvine]].<ref name="gendler" />

== Ämter und Ehrungen ==
1961 bis 1976 hatte Ruth Barcan Marcus diverse Ämter und Funktionen in Gebietsabteilungen der [[American Philosophical Association]] (APA) inne, deren Vorsitzende sie auch zeitweise war, 1976–1983 gehörte sie dem Board of Officers der nationalen Dachorganisation an. 1980–1983 war sie Vizepräsidentin, 1983–1986 Präsidentin der [[Association for Symbolic Logic]].<ref name="dewey lecture" />

Barcan Marcus war seit 1986 Permanent Member of the Common Room, Clare Hall, Cambridge. 1973 und 1990 war sie Gaststipendiatin der [[Rockefeller Foundation]] in Bellagio am Comer See.<ref name="gendler" /> Im Jahr 1973 wurde sie in das [[Institut International de Philosophie]] kooptiert, dessen Vorsitzende sie 1989–1992 war, anschließend verlieh man ihr einen Ehrenvorsitz. 1977 wurde sie zum Mitglied der [[American Academy of Arts and Sciences]] ernannt. 1986 hielt sie einen Gastvortrag am [[Collège de France]].<ref name="dewey lecture" />

Der Doctor of Humane Letters, honoris causa der [[University of Illinois at Chicago]] wurde ihr 1995 verliehen, im Jahr 2000 die [[Wilbur Cross Medal]] der Yale University. Im Mai 2008 richtete die Lauener Foundation ein Internationales Symposion zur Analytischen Philosophie zu ihren Ehren in Bern aus und verlieh ihr den [[Lauener Preis]] in analytischer Philosophie, benannt nach [[Henri Lauener]].<ref name="dewey lecture" />

2007 erhielt Barcan Marcus den Quinn Prize der American Philosophical Association für ihre Verdienste um den Berufsverband.

== Philosophische Positionen ==
=== Modale Prädikatenlogik ===
Ruth Barcan Marcus früheste Veröffentlichungen liefern die erste axiomatische Formulierung einer modalen Prädikatenlogik.<ref>Es handelt sich um drei Artikel, die unter ihrem Geburtsnamen Ruth C. Barcan im [[Journal of Symbolic Logic]] erschienen: „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), „The Identity of Individuals in a Strict Functional Calculus of Second Order“, (1947).</ref> 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 [[Modelltheorie|modelltheoretischen 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.“<ref>“… [if] the truth conditions for quantified formuli are given purely in terms of truth with no appeal to domains of interpretation”, Ruth Barcan Marcus, ''Modalities and Intensional Language'' in: Synthese Vol. 13, No. 4 (1961), S. 303–322</ref> 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 [[Ontologie|ontologischen]] Begriffen wie (numerischer) [[Identität]] notwendig eine objektbezogene Semantik und eine Belegungsfunktion voraus.
Barcan Marcus vertritt zugleich einen modalen [[Aktualismus (Philosophie)|Aktualismus]], nach dem bloß [[Wirklichkeit|mögliche]] Objekte (sogenannte ''possibilia'', mögliche, aber nicht wirkliche Gegenstände) keine logisch sinnvollen [[Entität]]en sind – eine direkte Folge davon, dass sie die Belegungsfunktionen auf Individuen aus der aktuellen Welt einschränkt.<ref>„Dispensing with Possibilia“ (Proceedings of the American Philosophical Association, 1975–1976); „Possibilia and Possible Worlds“ (Grazer Philosophische Studien, 1985–1986).</ref>

In formalen Systemen, die Barcan Marcus vorschlägt, gilt daher die Notwendigkeit der Identität.<ref>Journal of Symbolic Logic, (1947) 12: S. 12–15</ref> Ihre Interpretation der Identität, die in Zusammenhang mit ihrer Theorie der Eigennamen und der [[Barcan-Formel]] steht, löste eine unabgeschlossene Debatte aus.

Darüber hinaus hat Barcan Marcus gegen die Ansicht von [[Willard Van Orman Quine]] argumentiert, dass modale Systeme notwendig einen aristotelischen [[Essentialismus]] implizieren. Ihr gelang eine Definition essentialistischer Eigenschaften im Rahmen formaler modallogischer Systeme, von der sie zeigen konnte, dass sie in bestimmten Interpretationen die Ansprüche einer essentialistischen Theorie nicht erfüllen. Dieser Beweis wurde später von [[Terence Parsons]] formalisiert.<ref>Terence Parsons, ''Essentialism and Quantified Modal Logic'' in: ''The Philosophical Review'', Vol. 78, No. 1 (1969), S. 35–52.</ref>

=== Bedeutungstheorie ===
In der [[Sprachphilosophie]] vertrat Barcan Marcus eine Theorie der [[starrer Designator|starren Designation]], der zufolge [[Eigenname]]n lediglich Etiketten ''(tags)'' sind, die sich unmittelbar auf ihren Träger beziehen ''(direct reference)''.<ref>„Modalities and Intentional Languages“ ([[Synthese (Zeitschrift)|Synthese]], 1961) (und anderswo)</ref> Die [[Bedeutung (Sprachphilosophie)|Bedeutung]] von Eigennamen soll sich in dieser [[Referenz (Linguistik)|referentiellen Funktion]] völlig erschöpfen, und nicht etwa von einer [[Extension und Intension|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 im Rahmen eines von Van Orman Quine abgehaltenen Kolloquiums vorstellte, weist deutliche Ähnlichkeiten zur Bedeutungstheorie von [[Saul Kripke]] auf, die dieser wenige Jahre später in ''Name und Notwendigkeit'' vorstellte.<ref>Vgl. Quentin Smith ''Marcus, Kripke, and the Origin of The New Theory of Reference'', in: Synthese 104/2, August 1995, S. 179–189.</ref> Es ist jedoch keineswegs auszuschließen, dass Kripke, der im selben Problemfeld arbeitete, unabhängig von Barcan Marcus zu seiner Ansicht kam.<ref>So auch [[Timothy Williamson]]: „One of the ideas in them that resonates most with current philosophy of language is that of proper names as mere tags, without descriptive content. This is not Kripke's idea of names as rigid designators, designating the same object with respect to all relevant worlds, for ‘rigidified’ definite descriptions are rigid designators but still have descriptive content. Rather, it is the idea, later developed by David Kaplan and others, that proper names are directly referential, in the sense that they contribute only their bearer to the propositions expressed by sentences in which they occur.“
[https://leiterreports.typepad.com/blog/2008/10/timothy-william.html Timothy Williamson's Tribute to Ruth Barcan Marcus on the Occasion of Her Receipt of the Lauener Prize], Leiter Reports: A Philosophical Blog, October 14, 2008.</ref>

=== Deontische Logik ===
Barcan Marcus entwickelte eine modale Theorie zur Erklärung der Pflichtenkollision. Ihr zufolge 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 dieser Menge gibt – eine Pflichtenkollision.<ref>Vgl. „Moral Dilemmas and Consistency“ (Journal of Philosophy, 1980)</ref> Somit wären Systeme moralischer Regeln nicht notwendigerweise inkonsistent, nur weil konkret eine Pflichtenkollision vorliegt. Dieser Ansicht wurden große Widerstände entgegengebracht.<ref name="dewey lecture" />

=== Theorie epistemischer Überzeugungen ===
Barcan Marcus wies den sprachzentrierten 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 zufolge ist es falsch, einem Erkenntnissubjekt eine gerechtfertigte Meinung zuzuschreiben, deren Inhalt etwas Unmögliches (z. B. eine widersprüchliche Aussage) darstellt. Ein epistemisches Subjekt, das eine Überzeugung besessen hat, deren Gehalt sich im 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.<ref name="dewey lecture" /><ref>Vgl. „A Proposed Solution to The Puzzle About Belief“ (Foundations of Analytic Philosophy in Midwest Studies, 1981) and „Rationality and Believing the Impossible“ (The Journal of Philosophy, 1983 and elsewhere).</ref>

== 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 ==
* [[Max Cresswell]]: ''Ruth Barcan Marcus'', in: Aloysius P. Martinich, David Sosa (Hrsg.): ''A Companion to Analytic Philosophy'', Blackwell Publisher, Malden-Oxford 2001, S. 357–360.
* Henri Lauener (Hrsg.): ''Dialectica'' (1999), 53 (3–4). „Festschrift zu Ehren von Ruth Barcan Marcus“.
* Walter Sinnott-Armstrong, Diana Raffman, Nicholas Asher (Hrsg.): ''Modality, Morality, and Belief: Essays in Honor of Ruth Barcan Marcus.'' Cambridge University Press, Cambridge & New York 1995.
* 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 ==
* [https://www.yale.edu/philos/people/marcus_ruth.html Yale University philosophy department biography: Ruth Barcan Marcus]
* [http://www.lib.uci.edu/about/publications/philosophy/marcus.html Vollständiges Publikationsverzeichnis bis 2003 auf den Seiten der University of California, Irvine]

== Einzelnachweise ==
<references />

{{Normdaten|TYP=p|GND=11928443X|LCCN=n81050604|VIAF=73879373}}

{{SORTIERUNG:Barcan Marcus, Ruth}}
[[Kategorie:Philosoph (20. Jahrhundert)]]
[[Kategorie:Logiker]]
[[Kategorie:Sprachphilosoph]]
[[Kategorie:Hochschullehrer (University of Illinois at Chicago)]]
[[Kategorie:Hochschullehrer (Northwestern University)]]
[[Kategorie:Hochschullehrer (Yale University)]]
[[Kategorie:Mitglied der American Academy of Arts and Sciences]]
[[Kategorie:US-Amerikaner]]
[[Kategorie:Geboren 1921]]
[[Kategorie:Gestorben 2012]]
[[Kategorie:Frau]]

{{Personendaten
|NAME=Barcan Marcus, Ruth
|ALTERNATIVNAMEN=Barcan, Ruth C.; Marcus, Ruth Barcan; Barcan Marcus, Ruth C.
|KURZBESCHREIBUNG=US-amerikanische Logikerin und Philosophin
|GEBURTSDATUM=2. August 1921
|GEBURTSORT=[[Bronx]], [[New York City]]
|STERBEDATUM=19. Februar 2012
|STERBEORT=
}}

Ruth Barcan Marcus - Versionsgeschichte

imported>Mukeber: /* Ämter und Ehrungen */ Querverweis