31:
591:) 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
577:
Marcus 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
595:
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
586:
It 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
562:
Marcus 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"
423:
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",
610:
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
1543:
1499:
1026:
311:, 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 –
430:(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).
1276:
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).
468:), 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
1533:
635:
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". This has come to be called "
506:
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
1477:
1654:
518:
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.
619:
is committed to essentialist truths. Marcus argues informally that there are interpretations of some modal systems in which all essentialist claims are false.
1439:
771:
1537:
1302:
1609:
1584:
1684:
1714:
751:
444:(New York, 1951). Here Lewis recognizes Barcan Marcus as the first logician to extend propositional logic as a higher order intensional logic.
1699:
1604:
639:". Marcus shows that the claim that such a semantics leads to contradictions is false. Such a semantics may be of interest for mathematics,
1614:
1589:
1078:"Leiter Reports: A Philosophy Blog: Timothy Williamson's Tribute to Ruth Barcan Marcus on the Occasion of Her Receipt of the Lauener Prize"
1165:
716:
1729:
1659:
1619:
1594:
1523:
1511:
1126:
996:
898:
1689:
1704:
1649:
1679:
1624:
1599:
819:
397:
299:. She developed the first formal systems of quantified modal logic and in so doing introduced the schema or principle known as the
1694:
1426:
957:
1629:
303:. (She would also introduce the now standard "box" operator for necessity in the process.) Marcus, who originally published as
437:
to first and second order; the papers of 1946 and 1947, were a major accomplishment in the development of 20th century logic.
765:
392:
1639:
1182:
1734:
1674:
1377:
354:
from 1950 until 1953 and, again, in 1959. She served as assistant, and then as associate, professor at the newly founded
1664:
1487:
861:
473:
384:
578:
conflict. Her argument counts against a widely received view that systems of moral rules are inevitably inconsistent.
480:'s cluster description theory of names which prevailed at the time. This view of proper names (presented in 1962 with
1744:
1634:
932:
550:
in 1946 and informally argued for it in 1961, thereafter thus rejecting the possibility of contingent identity. See
1724:
383:
Amongst other professional offices held during her career, Marcus served as chair of the board of officers for the
377:
307:, was, as Don Garrett notes "one of the twentieth century's most important and influential philosopher-logicians".
1719:
1644:
1574:
1504:
841:
747:
388:
359:
1469:
588:
565:
133:
646:, or for fictional discourse. Objectual quantification is required for interpretation of identity and other
456:
according to which proper names are what Marcus termed mere "tags" ("Modalities and
Intensional Languages" (
1669:
1709:
741:
1516:
1400:
1177:
825:
515:
440:
Lewis gives Marcus special recognition in his "Notes on the Logic of
Intension", originally printed in
1223:
Timothy
Williamson's Tribute to Ruth Barcan Marcus on the Occasion of Her Receipt of the Lauener Prize
1414:
1263:
1222:
1111:
1077:
758:
528:
514:
are rigid designators but still have descriptive content. Rather, it is the idea, later developed by
426:
563:(Proceedings of the American Philosophical Association, 1975–76); "Possibilia and Possible Worlds" (
1739:
1386:
1286:
1210:
1206:
831:
366:
from 1970 until 1973, when she was appointed as the Reuben Post
Halleck Professor of Philosophy at
888:
783:
777:
692:
481:
465:
363:
351:
148:
116:
433:
The first systems of quantified modal logic, which extended some propositional modal systems of
1547:
1453:
1350:
1200:
632:
453:
358:, Chicago, between 1956 and 1963. From 1964 to 1970, she was a professor of philosophy at the
72:
805:
735:
672:
636:
547:
541:
434:
210:
1579:
1569:
809:
511:
494:
355:
328:
1410:
1107:
884:
798:
8:
1368:
615:
a natural kind property. It is otherwise claimed by Quine and others that modal logic or
332:
296:
214:
138:
91:
1431:
1187:
1059:
847:
668:
499:
308:
126:
1319:
1153:
1063:
1051:
965:
928:
787:
507:
510:, designating the same object with respect to all relevant worlds, for 'rigidified'
1443:
1311:
1041:
920:
469:
232:
172:
1390:
1372:
851:
835:
791:
686:
678:
620:
604:
367:
362:(originally serving as a head of department). She was professor of philosophy at
152:
101:
96:
924:
729:
416:
300:
206:
177:
1553:
1315:
706:
1563:
1406:
1323:
1103:
1055:
969:
523:
485:
54:
1465:
1422:
953:
647:
643:
607:
189:
592:
489:
477:
336:
292:
284:
202:
1046:
1149:
710:
340:
1457:
1396:
1161:
894:
857:
Lauener Prize, Lauener
Foundation for Analytical Philosophy, 2007–08.
616:
324:
280:
30:
1392:
Modality, Morality and Belief: Essays in Honor of Ruth Barcan Marcus
695:, 1993. Paperback; 1995 (contains many of Marcus's important papers)
1493:
Proceedings and
Addresses of the American Philosophical Association
1236:
442:
Structure, Method, and
Meaning: Essays in Honor of Henry M. Sheffer
376:, in 1992. She continued to teach, during winter semesters, at the
372:
498:. However, in a recent laudatio to Ruth Barcan Marcus, Professor
1416:
Jewish Women's Archive: A Comprehensive Historical Encyclopedia
1113:
Jewish Women's Archive: A Comprehensive Historical Encyclopedia
159:
247:
420:
288:
1481:
a 'philosophical autobiography' (available to download as a
258:
241:
1300:
Marcus, Ruth Barcan (1962). "Interpreting quantification".
344:
264:
958:"Ruth Barcan Marcus, Philosopher and Logician, Dies at 90"
1225:, Leiter Reports: A Philosophical Blog, October 14, 2008.
815:
Clare Hall, Cambridge University, visiting fellow (1988)
683:, VII, eds. R. Barcan Marcus et al., North Holland, 1986
526:
has also argued against Professor Smith's claim in the
1427:"Ruth Barcan Marcus, Philosopher-Logician, Dies at 90"
1491:
John Dewey Lecture and later published in the annual
1340:(Oxford: Oxford University Press, 1993), pp. 190–196.
267:
261:
244:
1655:
Fellows of the American Academy of Arts and Sciences
1556:, Manuscripts and Archives, Yale University Library.
1237:"No plagiarism here: The originality of Saul Kripke"
772:
Center for Advanced Study in the Behavioral Sciences
238:
1528:
Women in World History: A Biographical Encyclopedia
255:
252:
235:
347:, obtaining her M.A. in 1942 and her PhD in 1946.
323:Ruth Barcan (as she was known before marrying the
279:; 2 August 1921 – 19 February 2012) was an
1561:
1127:"Marcus, Ruth Barcan (1921—) | Encyclopedia.com"
626:
822:, Presidente 1989–92, President Honoraire 1992–
917:The Dictionary of Modern American Philosophers
318:
1544:Publications by and about Ruth Barcan Marcus
1500:"In Memoriam: Ruth Barcan Marcus, 1921–2012"
1366:
680:Logic, Methodology and Philosophy of Science
1027:"In Memoriam: Ruth Barcan Marcus 1921–2012"
1293:
1024:
752:University of Illinois at Urbana–Champaign
723:
587:language-centered account of belief (e.g.
327:Jules Alexander Marcus in 1942) graduated
29:
1610:21st-century American non-fiction writers
1585:20th-century American non-fiction writers
1045:
460:, 1961) and elsewhere). According to her
410:
1685:Academics of the University of Edinburgh
1228:
997:"Marcus, Ruth Barcan | Encyclopedia.com"
535:
1353:, University of Illinois Chicago, 1995.
871:
484:as commentator) has been identified by
387:(1976–83) and as president of both the
1715:University of Illinois Chicago faculty
1562:
1299:
1261:See "Moral Dilemmas and Consistency",
1070:
488:with the theory of reference given in
343:. She then went to graduate school at
1099:
1097:
1095:
820:Institut International de Philosophie
804:Permanent Member of the Common Room,
766:American Academy of Arts and Sciences
596:say we were mistaken in so claiming.
393:Institut International de Philosophie
1700:American philosophers of mathematics
1605:20th-century American mathematicians
1183:Routledge Encyclopedia of Philosophy
1158:American Philosophy: An Encyclopedia
1020:
1018:
1016:
991:
989:
987:
985:
948:
946:
944:
911:
909:
907:
633:Tarskian (model theoretic) semantics
1615:21st-century American women writers
1590:20th-century American women writers
1554:Ruth Barcan Marcus Papers (MS 1993)
1546:in the catalogue Helveticat of the
1378:Stanford Encyclopedia of Philosophy
952:
890:Referential Opacity and Modal Logic
864:2007, for service to the profession
780:Fellow, Humanities Institute (1983)
623:later formally proved this result.
557:
447:
350:Marcus was a visiting professor at
13:
1730:Philosophers from New York (state)
1660:Fellows of Wolfson College, Oxford
1620:21st-century American philosophers
1595:20th-century American philosophers
1092:
862:American Philosophical Association
757:Rockefeller Foundation Residency (
715:Published as Ruth Barcan Marcus -
474:description theory of proper names
385:American Philosophical Association
14:
1756:
1690:American philosophers of language
1454:"In memoriam: Ruth Barcan Marcus"
1360:
1234:
1013:
982:
941:
904:
572:
1705:American philosophers of science
1650:Fellows of Clare Hall, Cambridge
1338:Modalities: Philosophical Essays
688:Modalities: Philosophical Essays
452:Marcus proposed the view in the
378:University of California, Irvine
231:
1680:Northwestern University faculty
1625:21st-century American essayists
1600:20th-century American essayists
1343:
1330:
1279:
1270:
1255:
1216:
1193:
1171:
599:
370:until retiring, as a professor
1695:American philosophers of logic
1505:The Bulletin of Symbolic Logic
1485:) delivered at Yale as a 2010
1143:
1119:
878:
842:University of Illinois Chicago
705:Published as Ruth C. Barcan -
389:Association for Symbolic Logic
360:University of Illinois Chicago
1:
1630:American philosophy academics
1536:, then Ruth Barcan, c. 1940 (
1508:, Vol. 19, Nr. 1, March 2013.
1470:Mathematics Genealogy Project
1440:"Woman, Fighter, Philosopher"
867:Dewey Lecture, APA, Dec 2009.
627:Substitutional quantification
566:Grazer Philosophische Studien
405:
1025:Williamson, Timothy (2013).
522:The philosopher of language
7:
1640:American women philosophers
1190:: Routledge, 1998), p. 164.
1080:. leiterreports.typepad.com
742:National Science Foundation
546:Marcus formally proved the
319:Academic career and service
291:best known for her work in
10:
1761:
1735:21st-century American Jews
1675:New York University alumni
1517:Encyclopedia of Philosophy
1401:Cambridge University Press
1034:Bulletin of Symbolic Logic
925:10.5040/9781350052444-0636
826:National Humanities Center
539:
391:(1983–86) and then of the
165:Strict Functional Calculus
1665:Jewish American academics
1478:"A Philosopher's Calling"
1316:10.1080/00201746208601353
1264:The Journal of Philosophy
828:, Mellon Fellow (1992–93)
748:Center for Advanced Study
659:Books (written or edited)
581:
552:Journal of Symbolic Logic
529:Times Literary Supplement
427:Journal of Symbolic Logic
220:
195:
183:
171:
158:
144:
132:
122:
112:
108:
87:
79:
61:
40:
28:
21:
1745:American women logicians
1635:American women essayists
1534:Photo portrait of Marcus
1287:The Philosophical Review
1211:Harvard University Press
832:Doctor of Humane Letters
653:
1725:Yale University faculty
778:University of Edinburgh
774:Fellow, Stanford (1979)
724:Awards and recognitions
693:Oxford University Press
482:Willard Van Orman Quine
466:direct reference theory
364:Northwestern University
352:Northwestern University
149:Northwestern University
117:Contemporary philosophy
1720:Yale University alumni
1548:Swiss National Library
665:The Logical Enterprise
554:, (1947) 12: pp 12–15
520:
454:philosophy of language
411:Quantified modal logic
73:New Haven, Connecticut
1645:Analytic philosophers
1575:People from the Bronx
1387:Sinnott-Armstrong, W.
637:truth-value semantics
548:necessity of identity
542:Necessity of identity
536:Necessity of identity
512:definite descriptions
504:
435:Clarence Irving Lewis
415:The widely discussed
335:in 1941, majoring in
277:Ruth Charlotte Barcan
211:necessity of identity
1461:, February 21, 2012.
1419:, February 27, 2009.
1369:"Ruth Barcan Marcus"
1202:Naming and Necessity
1131:www.encyclopedia.com
1116:, February 27, 2009.
1108:"Ruth Barcan Marcus"
1001:www.encyclopedia.com
872:References and notes
810:Cambridge University
495:Naming and Necessity
419:is introduced as an
356:Roosevelt University
16:American philosopher
1670:Jewish philosophers
1538:source, permissions
1047:10.2178/bsl.1901070
462:tag theory of names
333:New York University
297:philosophical logic
215:tag theory of names
92:New York University
1710:Philosophy writers
1466:Ruth Barcan Marcus
1448:The New York Times
1432:The New York Times
1367:Roberta Ballarin.
1351:"Honorary Degrees"
1188:Abingdon-on-Thames
962:The New York Times
919:. Thoemmes. 2005.
848:Wilbur Cross Medal
744:Fellow (1963–1964)
631:An alternative to
500:Timothy Williamson
309:Timothy Williamson
227:Ruth Barcan Marcus
127:Western philosophy
23:Ruth Barcan Marcus
1450:, April 26, 2012.
1435:, March 13, 2012.
885:Dagfinn Føllesdal
799:Collège de France
788:Oxford University
736:Guggenheim Fellow
508:rigid designators
224:
223:
65:February 19, 2012
1752:
1498:Williamson, T.,
1389:, et al., eds.,
1382:
1373:Zalta, Edward N.
1354:
1347:
1341:
1334:
1328:
1327:
1310:(1–4): 252–259.
1297:
1291:
1283:
1277:
1274:
1268:
1259:
1253:
1252:
1250:
1248:
1232:
1226:
1220:
1214:
1197:
1191:
1175:
1169:
1147:
1141:
1140:
1138:
1137:
1123:
1117:
1101:
1090:
1089:
1087:
1085:
1074:
1068:
1067:
1049:
1031:
1022:
1011:
1010:
1008:
1007:
993:
980:
979:
977:
976:
950:
939:
938:
913:
902:
882:
761:, 1973 and 1990)
750:Beckman Fellow,
558:Semantics of QML
470:Bertrand Russell
448:Direct reference
401:
274:
273:
270:
269:
266:
263:
260:
257:
254:
250:
249:
246:
243:
240:
237:
173:Doctoral advisor
68:
50:
48:
33:
19:
18:
1760:
1759:
1755:
1754:
1753:
1751:
1750:
1749:
1740:Modal logicians
1560:
1559:
1524:Entry on Marcus
1512:Entry on Marcus
1475:Marcus, R. B.,
1411:Entry on Marcus
1363:
1358:
1357:
1348:
1344:
1336:Marcus, R. B.,
1335:
1331:
1298:
1294:
1284:
1280:
1275:
1271:
1260:
1256:
1246:
1244:
1233:
1229:
1221:
1217:
1199:Kripke, S. A.,
1198:
1194:
1176:
1172:
1148:
1144:
1135:
1133:
1125:
1124:
1120:
1102:
1093:
1083:
1081:
1076:
1075:
1071:
1029:
1023:
1014:
1005:
1003:
995:
994:
983:
974:
972:
951:
942:
935:
915:
914:
905:
883:
879:
874:
852:Yale University
794:(1985 and 1986)
792:Visiting Fellow
784:Wolfson College
726:
700:Academic Papers
656:
629:
621:Terence Parsons
602:
584:
575:
560:
544:
538:
450:
413:
408:
395:
368:Yale University
329:magna cum laude
321:
251:
234:
230:
198:
186:
153:Yale University
151:
102:Yale University
100:
97:Yale University
95:
75:
70:
66:
57:
52:
46:
44:
36:
24:
17:
12:
11:
5:
1758:
1748:
1747:
1742:
1737:
1732:
1727:
1722:
1717:
1712:
1707:
1702:
1697:
1692:
1687:
1682:
1677:
1672:
1667:
1662:
1657:
1652:
1647:
1642:
1637:
1632:
1627:
1622:
1617:
1612:
1607:
1602:
1597:
1592:
1587:
1582:
1577:
1572:
1558:
1557:
1551:
1541:
1531:
1521:
1509:
1496:
1473:
1463:
1451:
1436:
1420:
1407:Gendler, T. S.
1404:
1384:
1362:
1361:External links
1359:
1356:
1355:
1342:
1329:
1292:
1278:
1269:
1254:
1227:
1215:
1192:
1170:
1154:Talisse, R. B.
1142:
1118:
1104:Gendler, T. S.
1091:
1069:
1040:(1): 123–126.
1012:
981:
956:(2012-03-13).
940:
933:
903:
876:
875:
873:
870:
869:
868:
865:
858:
855:
845:
829:
823:
816:
813:
802:
795:
781:
775:
769:
764:Fellow of the
762:
755:
745:
739:
733:
730:Phi Beta Kappa
725:
722:
721:
720:
719:by PhilPapers.
713:
697:
696:
684:
676:
669:A. R. Anderson
655:
652:
628:
625:
601:
598:
583:
580:
574:
573:Moral conflict
571:
559:
556:
540:Main article:
537:
534:
449:
446:
417:Barcan formula
412:
409:
407:
404:
320:
317:
305:Ruth C. Barcan
301:Barcan formula
222:
221:
218:
217:
207:Barcan formula
199:
196:
193:
192:
187:
185:Main interests
184:
181:
180:
178:Frederic Fitch
175:
169:
168:
162:
156:
155:
146:
142:
141:
136:
130:
129:
124:
120:
119:
114:
110:
109:
106:
105:
89:
85:
84:
81:
77:
76:
71:
69:(aged 90)
63:
59:
58:
53:
51:August 2, 1921
42:
38:
37:
35:Marcus in 2005
34:
26:
25:
22:
15:
9:
6:
4:
3:
2:
1757:
1746:
1743:
1741:
1738:
1736:
1733:
1731:
1728:
1726:
1723:
1721:
1718:
1716:
1713:
1711:
1708:
1706:
1703:
1701:
1698:
1696:
1693:
1691:
1688:
1686:
1683:
1681:
1678:
1676:
1673:
1671:
1668:
1666:
1663:
1661:
1658:
1656:
1653:
1651:
1648:
1646:
1643:
1641:
1638:
1636:
1633:
1631:
1628:
1626:
1623:
1621:
1618:
1616:
1613:
1611:
1608:
1606:
1603:
1601:
1598:
1596:
1593:
1591:
1588:
1586:
1583:
1581:
1578:
1576:
1573:
1571:
1568:
1567:
1565:
1555:
1552:
1549:
1545:
1542:
1539:
1535:
1532:
1529:
1525:
1522:
1519:
1518:
1513:
1510:
1507:
1506:
1501:
1497:
1494:
1490:
1489:
1484:
1480:
1479:
1474:
1471:
1467:
1464:
1462:
1459:
1455:
1452:
1449:
1445:
1441:
1438:Raffman, D.,
1437:
1434:
1433:
1428:
1424:
1421:
1418:
1417:
1412:
1408:
1405:
1402:
1398:
1394:
1393:
1388:
1385:
1380:
1379:
1374:
1370:
1365:
1364:
1352:
1346:
1339:
1333:
1325:
1321:
1317:
1313:
1309:
1305:
1304:
1296:
1289:
1288:
1282:
1273:
1266:
1265:
1258:
1242:
1238:
1231:
1224:
1219:
1212:
1208:
1207:Cambridge, MA
1204:
1203:
1196:
1189:
1185:
1184:
1179:
1174:
1167:
1163:
1159:
1155:
1151:
1146:
1132:
1128:
1122:
1115:
1114:
1109:
1105:
1100:
1098:
1096:
1079:
1073:
1065:
1061:
1057:
1053:
1048:
1043:
1039:
1035:
1028:
1021:
1019:
1017:
1002:
998:
992:
990:
988:
986:
971:
967:
963:
959:
955:
954:Fox, Margalit
949:
947:
945:
936:
934:9781350052444
930:
926:
922:
918:
912:
910:
908:
900:
896:
892:
891:
886:
881:
877:
866:
863:
860:Quinn Prize,
859:
856:
853:
849:
846:
843:
839:
838:
837:honoris causa
833:
830:
827:
824:
821:
817:
814:
811:
807:
803:
800:
797:Medal of the
796:
793:
789:
785:
782:
779:
776:
773:
770:
767:
763:
760:
756:
753:
749:
746:
743:
740:
737:
734:
731:
728:
727:
718:
714:
712:
708:
704:
703:
702:
701:
694:
690:
689:
685:
682:
681:
677:
674:
670:
666:
663:
662:
661:
660:
651:
649:
645:
642:
638:
634:
624:
622:
618:
614:
609:
606:
597:
594:
590:
579:
570:
568:
567:
555:
553:
549:
543:
533:
531:
530:
525:
524:Stephen Neale
519:
517:
513:
509:
503:
501:
497:
496:
491:
487:
486:Quentin Smith
483:
479:
475:
471:
467:
463:
459:
455:
445:
443:
438:
436:
431:
429:
428:
422:
418:
403:
399:
394:
390:
386:
381:
379:
375:
374:
369:
365:
361:
357:
353:
348:
346:
342:
338:
334:
330:
326:
316:
314:
310:
306:
302:
298:
294:
290:
286:
282:
278:
272:
228:
219:
216:
212:
208:
204:
200:
197:Notable ideas
194:
191:
188:
182:
179:
176:
174:
170:
166:
163:
161:
157:
154:
150:
147:
143:
140:
137:
135:
131:
128:
125:
121:
118:
115:
111:
107:
103:
98:
93:
90:
86:
82:
78:
74:
64:
60:
56:
55:New York City
43:
39:
32:
27:
20:
1527:
1515:
1503:
1492:
1486:
1482:
1476:
1460:
1447:
1430:
1415:
1391:
1376:
1345:
1337:
1332:
1307:
1301:
1295:
1290:, 78 (1969).
1285:
1281:
1272:
1262:
1257:
1245:. Retrieved
1241:academia.edu
1240:
1230:
1218:
1201:
1195:
1181:
1173:
1157:
1145:
1134:. Retrieved
1130:
1121:
1112:
1082:. Retrieved
1072:
1037:
1033:
1004:. Retrieved
1000:
973:. Retrieved
961:
916:
889:
880:
836:
699:
698:
687:
679:
675:, Yale, 1995
673:R. M. Martin
664:
658:
657:
650:categories.
648:metaphysical
644:Hartry Field
640:
630:
612:
608:essentialism
605:Aristotelian
603:
600:Essentialism
585:
576:
569:, 1985–86).
564:
561:
551:
545:
527:
521:
516:David Kaplan
505:
493:
461:
457:
451:
441:
439:
432:
425:
414:
382:
380:until 1997.
371:
349:
322:
312:
304:
276:
226:
225:
190:Formal logic
167: (1946)
164:
145:Institutions
104:(Ph.D. 1946)
67:(2012-02-19)
1580:2012 deaths
1570:1921 births
1160:(New York:
754:(1968–1969)
667:, ed. with
593:conjectures
490:Saul Kripke
478:John Searle
476:as well as
402:(1989–92).
396: [
337:mathematics
285:philosopher
203:modal logic
201:Quantified
99:(M.A. 1942)
94:(B.A. 1941)
80:Nationality
1564:Categories
1247:August 19,
1235:Neale, S.
1186:, vol. 8 (
1136:2019-03-22
1084:August 19,
1006:2019-03-13
975:2019-03-13
806:Clare Hall
711:PhilPapers
406:Philosophy
341:philosophy
47:1921-08-02
1458:Yale News
1444:The Stone
1397:Cambridge
1324:0020-174X
1178:Craig, E.
1164:, 2008),
1162:Routledge
1150:Lachs, J.
1064:124592216
1056:1079-8986
970:0362-4331
895:Routledge
617:semantics
325:physicist
283:academic
88:Education
1403:, 1995).
1213:, 1972).
1156:, eds.,
1152:, &
897:, 2014,
818:Membre,
812:(1986– )
759:Bellagio
589:Davidson
458:Synthese
289:logician
281:American
139:Analytic
83:American
1530:, 2002.
1520:, 2006.
1468:at the
1423:Fox, M.
1375:(ed.).
1349:Staff,
1303:Inquiry
1267:, 1980.
1180:(ed.),
373:emerita
275:; born
1322:
1166:p. 481
1062:
1054:
968:
931:
854:(2000)
844:(1995)
801:(1986)
768:(1977)
738:(1953)
732:(1941)
582:Belief
502:says:
160:Thesis
134:School
123:Region
1371:. In
1243:. TLS
1060:S2CID
1030:(PDF)
899:p. 19
654:Works
421:axiom
400:]
331:from
293:modal
1483:doc.
1320:ISSN
1249:2016
1086:2016
1052:ISSN
966:ISSN
929:ISBN
717:list
707:list
641:e.g.
613:e.g.
345:Yale
339:and
313:true
295:and
287:and
62:Died
41:Born
1488:APA
1456:, '
1312:doi
1042:doi
921:doi
808:of
786:of
709:by
492:'s
472:'s
464:(a
315:".
259:ɑːr
242:ɑːr
113:Era
1566::
1540:).
1526:,
1514:,
1502:,
1446:,
1442:,
1429:,
1425:,
1413:,
1409:,
1399::
1318:.
1306:.
1239:.
1209::
1129:.
1110:,
1106:,
1094:^
1058:.
1050:.
1038:19
1036:.
1032:.
1015:^
999:.
984:^
964:.
960:.
943:^
927:.
906:^
893:,
887:,
850:,
840:,
834:,
790:,
691:,
671:,
532:.
398:de
248:ən
213:,
209:,
205:,
1550:.
1495:.
1472:.
1395:(
1383:.
1381:.
1326:.
1314::
1308:5
1251:.
1205:(
1168:.
1139:.
1088:.
1066:.
1044::
1009:.
978:.
937:.
923::
901:.
271:/
268:s
265:ə
262:k
256:m
253:ˈ
245:k
239:b
236:ˈ
233:/
229:(
49:)
45:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.