| 词条 | Ruth Barcan Marcus |
| 释义 |
| region = Western philosophy | era = Contemporary philosophy | name = Ruth Barcan Marcus | image = Ruth Barcan Marcus.jpg | alt = | caption = | birth_date = {{birth date|1921|08|02}} | birth_place = New York City | death_date = {{death date and age|2012|02|19|1921|08|02}} | death_place = New Haven, Connecticut | nationality = American | education = New York University (B.A. 1941) Yale University (M.A. 1942) Yale University (Ph.D. 1946) | school_tradition = Analytic | institutions = | main_interests = Formal logic | notable_ideas = Quantified modal logic,[1] Barcan formula, tag theory of names | influences = Willard Van Orman Quine, Arthur Prior[2] | influenced = Saul Kripke |Awards=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 (2007–08) Permanent Member of the Common Room, Clare Hall (1986-) Phi Beta Kappa (1941) Membre, Institut International de Philosophie, Presidente 1989–92, President Honoraire 1992- Quinn Prize (2007)}}Ruth Barcan Marcus ({{IPAc-en|ˈ|b|ɑr|k|ən|_|ˈ|m|ɑr|k|ə|s}}; born Ruth Charlotte Barcan; 2 August 1921[3][4] – 19 February 2012[4]) was an American academic philosopher and logician best known for her work in modal and philosophical logic.[5] She developed the first formal systems of quantified modal logic[6] and in so doing introduced the schema or principle known as the Barcan formula[3][4][6]. (She would also introduce the now standard "box" operator for necessity in the process[5]). Marcus, who originally published as Ruth C. Barcan[6], was, as Don Garrett notes[3] "one of the twentieth century’s most important and influential philosopher-logicians". Timothy Williamson, in a 2008 celebration of Marcus' long career, states that many of her "main ideas are not just original, and clever, and beautiful, and fascinating, and influential, and way ahead of their time, but actually — I believe — true."[7] Academic career and serviceRuth Barcan (as she was known before marriage) graduated magna cum laude from New York University in 1941, majoring in mathematics and philosophy. She then went to graduate school at Yale, obtaining her M.A. in 1942. and her PHd in 1946.[8] She was a visiting professor at Northwestern University from 1950 until 1953 and, again, in 1959. She served as assistant, and then as associate, professor at the newly founded Roosevelt University, Chicago, between 1956 and 1963. From 1964 to 1970, Marcus was a professor of philosophy at the University of Illinois at Chicago (originally serving as a head of department). She was professor of philosophy at Northwestern University from 1970 until 1973 when she was appointed as the Reuben Post Halleck Professor of Philosophy at Yale University until retiring, as a professor emerita, in 1992. She would continue to teach, during winter semesters, at the University of California, Irvine until 1997.[5][9] Amongst other professional offices held during her career, she served as Chair of the Board of Officers for the American Philosophical Association (1976–83) and as President of both the Association for Symbolic Logic (1983–86) and then of the International Institut de Philosophie (1989–92).[5][8] PhilosophyQuantified modal logicThe widely discussed Barcan formula is introduced as an axiom in QML. In her earliest published work, the publication of the first axiomatic study of modal logic with quantifiers, Marcus published under her maiden name Ruth C. Barcan. It features these three articles: "A Functional Calculus of First Order Based on Strict Implication", Journal of Symbolic Logic (JSL, 1946), "The Deduction Theorem in a Functional Calculus of First Order Based on Strict Implication" (JSL, 1946), and "The Identity of Individuals in a Strict Functional Calculus of Second Order", (JSL, 1947). The first systems of quantified modal logic, which extended some propositional modal systems of Clarence Irving Lewis to first and second order; the papers of 1946 and 1947, were a major accomplishment in the development of 20th century logic. Lewis gives Marcus special recognition in his "Notes on the Logic of Intension", originally printed in Structure, Method, and Meaning: Essays in Honor of Henry M. Sheffer (New York, 1951). Here Lewis recognizes Barcan Marcus as the first logician to extend propositional logic as a higher order intensional logic. Direct referenceMarcus proposed the view in the philosophy of language according to which proper names are what Marcus termed mere "tags" ("Modalities and Intensional Languages" (Synthese, 1961) and elsewhere). According to her tag theory of names (a direct reference theory), these "tags" are used to refer to an object, which is the bearer of the name. The meaning of the name is regarded as exhausted by this referential function. This view contrasts for example with Bertrand Russell's description theory of proper names as well as John Searle's cluster description theory of names[10] which prevailed at the time. This view of proper names (presented in 1962 with Willard Van Orman Quine as commentator) has been identified by Quentin Smith with the theory of reference given in Saul Kripke's Naming and Necessity. However, in a recent laudatio to Ruth Barcan Marcus, Professor Timothy Williamson says: {{quote|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.[11]}}The philosopher of language Stephen Neale has also argued against Professor Smith's claim in the Times Literary Supplement.[12] Necessity of identityMarcus formally proved the necessity of identity in 1946 and informally argued for it in 1961, thereafter thus rejecting the possibility of contingent identity. See Journal of Symbolic Logic, (1947) 12: pp 12–15 Semantics of QMLMarcus prefers an interpretation where the domain of the interpretation comprises individual entities in the actual world. She also suggests that for some uses an alternative substitutional semantics is warranted. She provides arguments against possibilia. See "Dispensing with Possibilia" (Proceedings of the American Philosophical Association, 1975–76); "Possibilia and Possible Worlds" (Grazer Philosophische Studien, 1985–86). Moral conflictMarcus defines a consistent set of moral principles as one in which there is some "possible world " in which they are all obeyable. That they may conflict in the actual world is not a mark of inconsistency. As in the case of necessity of identity, there was a resistance to this interpretation of moral conflict. Her argument counts against a widely received view that systems of moral rules are inevitably inconsistent.[13] BeliefIt is proposed that believing is a relationship of an agent to a possible state of affairs under specified internal and external circumstances. Assenting to a quoted sentence (the disquotation account of belief) is only one behavioral marker of believing. Betting behavior is another. The wholly language-centered account of belief (e.g. Davidson) is rejected. Where an agent would traditionally be described as believing an impossibility until its impossibility was disclosed, Marcus proposes that under those circumstances the agent should say that she only claimed to believe an impossibility. In much the same way, when a mathematician discovers that one of his conjectures is false, and since if it is mathematically false it is impossible, he would say he only claimed that the conjecture was true. Odd as this proposal is, it is analogous to the widely accepted principle about knowing: if we claim to know P, and P turns out false, we do not say we used to know it, we say we were mistaken in so claiming.[14] EssentialismAristotelian essentialism is concerned with properties which Marcus defines in the context of a modal framework. One proposal is that a property is essential if something has it, not everything has it, if something has it then it has it necessarily, and it is not wholly individuating e.g. a natural kind property. It is otherwise claimed by Quine and others that modal logic or semantics is committed to essentialist truths. Marcus argues informally that there are interpretations of some modal systems in which all essentialist claims are false. Terence Parsons later formally proved this result.[15] Substitutional quantificationAn alternative to Tarskian (model theoretic) semantics is proposed for some uses where "the truth conditions for quantified formuli are given purely in terms of truth with no appeal to domains of interpretation". (Later called by others "truth value semantics".) She shows that the claim that such a semantics leads to contradictions is false. Such a semantics may be of interest for mathematics e.g. Hartry Field, or for fictional discourse. Objectual quantification is required for interpretation of identity and other metaphysical categories. WorksBooks (written or edited)
Awards and recognitions
References and notes1. ^Dagfinn Føllesdal, Referential Opacity and Modal Logic, Routledge, 2014, p. 19. 2. ^Ruth Barcan Marcus, Modalities: Philosophical Essays, Oxford University Press, 1993, p. x. 3. ^1 2 {{Cite book|title=The Dictionary of Modern American Philosophers|date=2005|publisher=Thoemmes|isbn=9781350052444|doi=10.5040/9781350052444-0636}} 4. ^1 2 {{Cite news|url=https://www.nytimes.com/2012/03/14/us/ruth-barcan-marcus-philosopher-logician-dies-at-90.html|title=Ruth Barcan Marcus, Philosopher and Logician, Dies at 90|last=Fox|first=Margalit|date=2012-03-13|work=The New York Times|access-date=2019-03-13|language=en-US|issn=0362-4331}} 5. ^1 2 3 {{Cite web|url=https://www.encyclopedia.com/humanities/encyclopedias-almanacs-transcripts-and-maps/marcus-ruth-barcan|title=Marcus, Ruth Barcan {{!}} Encyclopedia.com|website=www.encyclopedia.com|access-date=2019-03-13}} 6. ^1 2 {{Cite journal|last=Williamson|first=Timothy|date=2013|title=In Memoriam: Ruth Barcan Marcus 1921–2012|url=https://www.cambridge.org/core/services/aop-cambridge-core/content/view/693A9113EDD606534A3A1D6F844B64E7/S1079898600009148a.pdf/div-class-title-in-memoriam-ruth-barcan-marcus-1921-2012-div.pdf|journal=Bulletin of Symbolic Logic|language=en|volume=19|issue=01|pages=123–126|doi=10.2178/bsl.1901070|issn=1079-8986|via=}} 7. ^{{cite web|url=http://leiterreports.typepad.com/blog/2008/10/timothy-william.html|title=Leiter Reports: A Philosophy Blog: Timothy Williamson's Tribute to Ruth Barcan Marcus on the Occasion of Her Receipt of the Lauener Prize|publisher=leiterreports.typepad.com|accessdate=August 19, 2016}} 8. ^1 {{Cite web|url=https://jwa.org/encyclopedia/article/marcus-ruth-barcan|title=Ruth Barcan Marcus {{!}} Jewish Women's Archive|website=jwa.org|access-date=2019-03-22}} 9. ^{{Cite web|url=https://www.encyclopedia.com/women/encyclopedias-almanacs-transcripts-and-maps/marcus-ruth-barcan-1921|title=Marcus, Ruth Barcan (1921—) {{!}} Encyclopedia.com|website=www.encyclopedia.com|access-date=2019-03-22}} 10. ^Craig, E. (ed.), Routledge Encyclopedia of Philosophy, vol. 8 (Abingdon-on-Thames: Routledge, 1998), p. 164. 11. ^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. 12. ^{{cite web|url=https://www.academia.edu/6546412/Neale_Kripke|title=Neale Kripke | Stephen Neale - Academia.edu|publisher=academia.edu|accessdate=August 19, 2016}} 13. ^See "Moral Dilemmas and Consistency" (Journal of Philosophy, 1980). 14. ^See "A Proposed Solution to a Puzzle About Belief" (Foundations of Analytic Philosophy in Midwest Studies, 1981) and "Rationality and Believing the Impossible" (The Journal of Philosophy, 1983 and elsewhere). 15. ^Philosophical Review, 78 (1969). External links
20 : 1921 births|2012 deaths|20th-century American philosophers|21st-century American philosophers|American philosophy academics|American women philosophers|Philosophers of language|Jewish philosophers|Analytic philosophers|American logicians|New York University alumni|Northwestern University faculty|Yale University alumni|Yale University faculty|University of Illinois at Chicago faculty|Fellows of the American Academy of Arts and Sciences|Fellows of Clare Hall, Cambridge|Fellows of Wolfson College, Oxford|Guggenheim Fellows|Jewish American academics |
| 随便看 |
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。