By founda tions, we generally mean the underlying assumptions, the underpinnings. The original predicate logic developed by aristotle in his prior analytics contained the quantifiers for some and for all e. Authors letter to lc, 020493 request to have name changed from barcan marcus, ruth to marcus, ruth barcan found. Modalities and intensional languages the subject of this. Ruth barcan marcus, moral dilemmas and consistency, this journal, lxxvii, 3 march 1980. Quines decadeslong attack upon the meaningfulness of quantification into alethic modal contexts. You can publish your own pdf file online for free in a few minutes. This paper explores the claim that a substitutional semantics for quantification theory lends itself to nominalistic aims. Strategies to get out of debt and stay that waystruggling with debt. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks. A logician and philosopher who made pioneering contributions to modal logic and metaphysics, ruth barcan marcus has for almost fifty years been a key figure in philosophical debates. She is said to have created quantified modal logic.
Professor marcus did not only produce work that advanced the development of modal logic and influenced decisively cen tral discussions in the philosophy of. Ruth barcan marcus wikipedia, the free encyclopedia. Ruth barcan marcus, 1921 2012 jewish womens archive. Introduction the barcan formula is a schema introduced by ruth barcan marcus as an axiom schema in her pioneering work on quantified modal logic qml. There is a normative sense in which it has been claimed modal logic is foundation. The thesis is best known for its association with saul kripke, who published it in 1971, although it was first derived by the logician ruth barcan marcus in 1947, and later, in simplified form, by w. On a derivation of the necessity of identity princeton university.
She was the third daughter of firstgeneration immigrants of easterneuropean origin. The notion of an individual object or thing is an indispensab primitive for theories of meaning grounded in standard model th. She had celebrated her 90th birthday the previous august 2nd at the marcus family home in connecticut with her children and with messages from her many friends and admirers around the world. Logic, methodology and philosophy of science, vii, toim. Eightieth annual meeting of the american philosophic. In modal logic, the necessity of identity is the thesis that for every object x and object y, if x and y are the same object, it is necessary that x and y are the same object. Ruth barcan marcus, philosopher, logician the boston globe. Professor marcus was esteemed for her advances in the traditionally male dominated field of logic, long one of philosophys most swaggering. The attached letter, which lewis sent me in 1960, draws on his paper. Moral realisms and moral dilemmas 267 favor either alternative in a moral dilemma, but different agents can still personally favor different alternatives, and then their personal.
Professor ruth barcan marcus has suggested on several occa sions a substitution interpretation of the quantifiers 1,2. Ruth barcan marcus died on february 19, 2012, at her home in new haven after a long and typically gritty battle with cancer. A version of this essay was delivered at a memorial session for ruth barcan marcus at the eastern division meetings of the american philosophical society in december 2012. You can read modality morality and belief essays in honor of ruth barcan marcus pdf direct on your mobile phones or pc. Marcus on belief and belief in the impossible theoria 78 20. Ruth barcan marcus is famous for her influential work in modal logic, the logic of necessity and possibility. Ruth barcan marcus project gutenberg selfpublishing. Ruth barcan as she was known before marrying the physicist jules alexander marcus in 1942 graduated magna cum laude from new york university in 1941, majoring in mathematics and philosophy. Find all the books, read about the author, and more. Ruth barcan marcus, chairman department of philosophy university of illinois at chicago circle chicago, illinois 60680 elmer d. Essential attribution ruth barcan marcus the journal of philosophy, vol. As per our directory, this ebook is listed as mmabeihorbmpdf226, actually introduced on 4 feb, 2021 and.
University of houston, finally coming to university of illinoischicago in 1965 persuaded by ruth barcan marcus where he taught for 30 years. Staff associates former members of the chicago project staff were also invited to attend the board meeting. This article is within the scope of wikiproject womens history, a collaborative effort to improve the coverage of womens history and related articles on wikipedia. The substitution interpretation of the quantifiers authors citeseerx. She developed the first formal systems of quantified modal logic, introducing the principle now. O ne of the most common ways to argue against the objec. Vol 28, no 3 20 ruth barcan marcus 19212012 table of contents. Hanen mukaansa on nimetty modaalilogiikan barcanin kaava. Her later work includes influential papers in the philosophy of logic and language, epistemology, and. Ruth barcan marcus was born in new york city in 1921 and graduated magna cum laude from new york university in 1941. Ruth barcan marcus, yale university donald reber, lyons township high school, illinois hugo w. Chapter ruth barcan marcus on believing without a language.
Ruth barcan marcus was a philosopher and a professor in the yale university philosophy department, noted for her advances in the field of logic, as well as her outspoken advocacy for women in philosophy. Thompson, professor emeritus, macalester college robert r. Early in her career, she proposed the widely discussed barcan formula, a postulate in quantified modal logic. Informed by her earlier groundbreaking axiomatizations of quantified modal logic, the papers collected here by the distinguished philosopher ruth barcan marcus. Ruth barcan marcus on believing without a language. Ruth barcan marcus 19212012 table of contents monographic section. After a distinguished career, he became emeritus in 1995 and retired to florida. Barcan marcus, a functional calculus of first order based on strict. Ruth barcan marcus august 2, 1921 february 19, 2012 was an american philosopher and logician who developed the barcan formula. Yale professor emeritus of philosophy ruth barcan marcus, a pioneer in the field of logic and metaphysics who gave her name to a groundbreaking formula of symbolic logic and was a key figure in philosophical debates, has died at the age of 90.
On modality and reference ruth barcan marcus 19212012 dialnet. Ruth barcan marcus was born in new york city on august 2, 1921, and grew up in the bronx. In this paper, quantified modal logic is defended against criticisms concerning identity and substitution, the interpretation of the existential quantifier, and the commitment to essentialism. She was a pioneering figure in the quantification of modal logic and the theory of direct reference. Themes from barcan marcus, lauener library of analytic philosophy, vol. In 1946 she initiated the first systematic treatment of quantified modal logic see barcan, 1946, therein provoking w. He died peacefully on march 24, 2020, survived by his wife, suzanne cunningham, his sons garrick and blake, and two. Hmmmi often wonder whether sexism has something to do with the fact that marcus extraordinary work is so throughougly minimized and she is largely undiscussed in the the halls of academic analytic philosophy. Marcus, ruth barcan ruth barcan marcus, though she has published in a number of areas, is best known for her groundbreaking papers in modal and philosophical logic. Ruth barcan marcus the mathematics genealogy project. As per our directory, this ebook is listed as mmabeihorbmpdf226, actually introduced on 4 jan, 2021 and. Prior to this, womens opportunities for careers in that branch of academia. Modalities ruth barcan marcus oxford university press. Im indebted to interventions from yablo, bob stalnaker, and kate elgin.
Backward look at quines animadversions on modalities. Ruth marcus is the author of the earliest published work in modal predicate logic, that is, modal propositional logic extended with quantifiers and predicates. Ruth barcan marcus died on february 19, 2012, in new haven. Ruth barcan marcus author visit amazons ruth barcan marcus page.
Use the link below to share a fulltext version of this article with your friends and colleagues. Mar 16, 2012 ruth barcan marcus, a philosopher esteemed for her advances in logic, a traditionally maledominated subset of a traditionally maledominated field, died feb. In our daily meds, journalist melody petersen connects the dots to show how subtle, farreaching, and dangerous big pharmas powers have become. An individual user may print out a pdf of a single chapter of a monograph in oso for personal use. To submit students of this mathematician, please use the new data form, noting this mathematicians mgp id of 82835 for the advisor id. Introduction ruth barcan marcus is famous for her influential work in modal logic, the logic of. Marcus was one of the few women who began to make forays into academic philosophy in the 20th century. Nominalism and the substitutional quantifier oxford scholarship.
Based on her earlier groundbreaking axiomatization of quantified modal logic, the papers collected here by the distinguished philosopher ruth barcan marcus cover much ground in the development of her thought, spanning from 1961 to 1990. Modality morality and belief essays in honor of ruth. A major thread that runs through ruth barcan marcus s collection of papers modalities. Qml extended some propositional modal systems of clarence irving lewis to higher order, a major accomplishment in the development of 20th century logic. The subject of this paper is the foundations of modal logic.
Professor quine, in word and object, suggests that. Ruth barcan marcus languages the subject of this paper is the foundations of modal logic. Ruth barcan marcus was a philosopher of logic who restored the modal concepts of necessity and possibility to the quantified logic that analyzes truths in terms of set membership. She wrote seminal papers on identity, essentialism, possibilia, belief, moral conflict as well as some critical historical studies. She then went to graduate school at yale, obtaining her m. Ruth barcan marcus read modality morality and belief essays in honor of ruth barcan marcus pdf on our digital library.
The three articles are published under marcus maiden name. Modalities and intensional languages oxford scholarship. According to our current online database, ruth barcan marcus has 1 student and 34 descendants. It is clear that marcus thinks this a false step on russells part, but it is not altogether clear why. Quine s decadeslong attack upon the meaningfulness of. These papers of of 1946 and 1947, were the the first systems of quantified modal logic, which marcus abbreviated qml. If you have additional information or corrections regarding this mathematician, please use the update form. Marcus was born ruth charlotte barcan on august 2, 1921, and was raised in the bronx, ny.
514 1740 795 442 1568 785 698 1483 670 1325 1465 1356 1224 632 1357 593 917 472 1221 981 1840 861 296 1577 248 1805 1156 1035 1734 1843 1130 1817