Linked bibliography for the SEP article "Free Logic" by John Nolt
This is an automatically generated and experimental page
If everything goes well, this page should display the bibliography of the aforementioned article as it appears in the Stanford Encyclopedia of Philosophy, but with links added to PhilPapers records and Google Scholar for your convenience. Some bibliographies are not going to be represented correctly or fully up to date. In general, bibliographies of recent works are going to be much better linked than bibliographies of primary literature and older works. Entries with PhilPapers records have links on their titles. A green link indicates that the item is available online at least partially.
This experiment has been authorized by the editors of the Stanford Encyclopedia of Philosophy. The original article and bibliography can be found here.
- Antonelli, Gian Aldo, 2000, “Proto-Semantics for Positive Free Logic,” Journal of Philosophical Logic, 29 (3): 277–294. (Scholar)
- –––, 2007, “Free Quantification and Logical Invariance,” Rivista de Estetica (New Series), 33 (1): 61–73. (Scholar)
- Bacon, Andrew, Hawthorne, John, and Uzquiano, Gabriel, 2016, ”Higher-order free logic and the Prior-Kaplan paradox,“ Canadian Journal of Philosophy 46(4–5): 493–541. (Scholar)
- Bencivenga, Ermanno, 1981, “Free Semantics” in Boston Studies in the Philosophy of Science, 47: 38–41; revised version reprinted in Lambert 1991, pp. 98–110. (Scholar)
- –––, 1986, “Free Logics,” in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, vol. III: Alternatives to Classical Logic, Dordrecht: D. Reidel, pp. 373–426 (Scholar)
- –––, 2002, “Free Logics,” in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, 2nd edition, vol. 5, Dordrecht: Kluwer, pp. 147–196. (This is a republication of Bencivenga 1986.) (Scholar)
- –––, 2014, “Jaśkowski’s
Universally Free Logic,” Studia Logica 102:
1095–1102. (Scholar)
- Besson, Corine, 2009, “Externalism, Internalism, and Logical Truth,” Review of Symbolic Logic, 2 (1): 1–29. (Scholar)
- Burge, Tyler, 1974, “Truth and Singular Terms,” Noûs, 8: 309–25; reprinted in Lambert 1991, pp. 189–204. (Scholar)
- Church, Alonzo, 1965, review of Lambert 1963 in Journal of
Symbolic Logic, 30: 103–104. (Scholar)
- Cocchiarella, Nino B., 1966, “A Logic of Actual and Possible
Objects” (abstract), Journal of Symbolic Logic, 31:
688–689. (Scholar)
- –––, 1986, Logical Investigations of Predication Theory and the Problem of Universals, Napoli, Italy: Bibliopolis. (Scholar)
- –––, 1991, “Quantification, Time and Necessity,” in Lambert 1991, pp. 242–256. (Scholar)
- Dumitru, Mircea, 2015, “A Free Logic for Fictionalism“ in Iulian D. Toader, Gabriel Sandu & Ilie Pȃrvu, eds., Romanian Studies in Philosophy of Science, Springer Verlag, pp. 149–163. (Scholar)
- Dumitru, Mircea and Frederick Kroon, 2008, “What to Say When There Is Nothing to Talk about (Qué decir cuando no hay nada de quehablar),” Crítica: Revista Hispanoamericana de Filosofía, 40 (120): 97–109. (Scholar)
- Feferman, Solomon, 1995, “Definedness,” Erkenntnis, 43 (3): 295–320. (Scholar)
- Fine, Kit, 1983, “The Permutation Principle in Quantificational Logic,” Journal of Philosophical Logic, 12: 33–7. (Scholar)
- Fodor, Jerry A., and Ernest Lepore, 1996, “What Cannot be Evaluated Cannot be Evaluated and it Cannot be Supervalued Either,” Journal of Philosophy, 93 (10): 516–535. (Scholar)
- Garson, James W., 1991, “Applications of Free Logic to
Quantified Intensional Logic,” in Lambert 1991, pp.
111–142. (Scholar)
- Grandy, Richard E., 1972, “A Definition of Truth for Theories with Intensional Definite Description Operators,” Journal of Philosophical Logic, 1: 137–55; reprinted in Lambert 1991, pp. 171–188. (Scholar)
- Gumb, Raymond D., 2001, “Free Logic in Program Specification
and Verification,” in Morscher and Hieke 2001, pp.
157–93. (Scholar)
- Gumb, Raymond D., and Karel Lambert, 1991, “Definitions in
Nonstrict Positive Free Logic,” Modern Logic, 7:
25–55 and 435–440 (errata). (Scholar)
- Hailperin, Theodore, 1953, “Quantification Theory and Empty Individual Domains,” Journal of Symbolic Logic, 18: 197–200. (Scholar)
- Hintikka, Jaakko, 1959, “Towards a Theory of Definite
Descriptions,” Analysis, 19: 79–85. (Scholar)
- Jacquette, Dale, 1996, Meinongian Logic: The Semantics of Existence and Nonexistence, Berlin: Walter de Gruyter. (Scholar)
- –––, (ed.), 2006, Philosophy of Logic (Series: Volume 5 of the Handbook of the Philosophy of Science), Amsterdam: Elsevier. (Scholar)
- Jaśkowski, Stanisław, 1934, “On the Rules of Supposition in Formal Logic,” Studia Logica 1: 5–32. Reprinted in Polish Logic 1920–1939, Storrs McCall (ed.), Oxford, Clarendon Press, 1967, pp. 232–258. (Scholar)
- Jeffrey, Richard, 1991, Formal Logic: Its Scope and Limits, 3rd edition, New York: McGraw-Hill. (Scholar)
- Kripke, Saul 1963, “Semantical Considerations on Modal Logic,” Acta Philosophical Fennica, 16: 83–94. (Scholar)
- Lambert, Karel, 1958, “Notes on E!,” Philosophical Studies, 9: 60–63. (Scholar)
- –––, 1960, “The Definition of E! in Free
Logic,” in Abstracts: The International Congress for Logic,
Methodology and Philosophy of Science, Stanford: Stanford
University Press. (Scholar)
- –––, 1962, “Notes on E! III: A Theory of Descriptions,” Philosophical Studies, 13(4): 51–59. (Scholar)
- –––, 1963, “Existential Import Revisited,” Notre Dame Journal of Formal Logic, 4: 288–292. (Scholar)
- –––, 1974, “Predication and Extensionality,” Journal of Philosophical Logic, 3: 255–264. (Scholar)
- –––, (ed.), 1991, Philosophical Applications of Free Logic, New York: Oxford University Press. (Scholar)
- –––, 2001a, “Free Logic and Definite
Descriptions,” in Morscher and Hieke 2001, pp. 37–47. (Scholar)
- –––, 2001b, “Free Logics,” in Lou Goble (ed.), The Blackwell Guide to Philosophical Logic, Oxford: Blackwell Publishing, pp. 258–279. (Scholar)
- –––, 2003a, Free Logic: Selected Essays, Cambridge: Cambridge University Press. (Scholar)
- –––, 2003b, “Existential Import, E! and
‘The’” in Lambert 2003a, pp. 16–32. (Scholar)
- –––, 2003c, “Foundations of the Hierarchy
of Positive Free Definite Description Theories” in Lambert
2003a, pp. 69–91. (Scholar)
- –––, 2003d, “The Hilbert-Bernays Theory of
Definite Descriptions” in Lambert 2003a, pp. 44–68. (Scholar)
- –––, 2003e, “Nonextensionality” in
Lambert 2003a, pp. 107–121. (Scholar)
- –––, 2003f, “The Philosophical Foundations of Free Logic” in Lambert 2003a, pp. 122–175. (Scholar)
- –––, 2003g, “Predication and Extensionality” in Lambert 2003a, pp. 92–106. (Scholar)
- –––, 2003h, “Russell’s Version of
the Theory of Definite Descriptions” in Lambert 2003a, pp.
1–15. (Scholar)
- Leblanc, Hughes, 1971, “Truth Value Semantics for a Logic of Existence,” Notre Dame Journal of Formal Logic, 12: 153–68. (Scholar)
- Leblanc, Hughes and Richmond H. Thomason, 1968, “Completeness Theorems for Some Presupposition-Free Logics,” Fundamenta Mathematicae, 62: 125–64; reprinted in Leblanc’s Existence, Truth and Provability, Albany: State University of New York Press, 1982, pp. 22–57. (Scholar)
- Leeb, Hans-Peter, 2006, “State-of-Affairs Semantics for Positive Free Logic,” Journal of Philosophical Logic, 35 (2): 183–208. (Scholar)
- Lehman, Scott, 1994, “Strict Fregean Free Logic,” Journal of Philosophical Logic, 23 (3): 307–336. (Scholar)
- –––, 2001, “No Input, No Output Logic,” in Morscher and Hieke 2001, pp. 147–54. (Scholar)
- –––, 2002, “More Free Logic,” in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, 2nd edition, vol. 5, Dordrecht: Kluwer, pp. 197–259. (Scholar)
- Lejewski, Czeslaw, 1954, “Logic and Existence,” British Journal for the Philosophy of Science, 5 (18): 104–19; reprinted in Dale Jacquette (ed.), Philosophy of Logic: An Anthology, Oxford: Blackwell, 2002, pp. 147–55. (Scholar)
- Leonard, H. S., 1956, “The Logic of Existence,” Philosophical Studies, 7: 49–64. (Scholar)
- Mehlberg, Henryk, 1958, The Reach of Science, Toronto: University of Toronto Press. (Scholar)
- Meyer, Robert K., Ermanno Bencivenga and Karel Lambert, 1982, “The Ineliminability of E! in Free Quantification Theory without Identity,” Journal of Philosophical Logic, 11: 229–231. (Scholar)
- Meyer, Robert K. and Karel Lambert, 1968, “Universally Free Logic and Standard Quantification Theory,” Journal of Symbolic Logic, 33: 8–26. (Scholar)
- Morscher, Edgar and Alexander Hieke (eds.), 2001, New Essays in Free Logic: In Honour of Karel Lambert (Applied Logic Series, vol., 23), Dordrecht: Kluwer. (Scholar)
- Morscher, Edgar and Peter Simons, 2001, “Free Logic: A
Fifty-Year Past and an Open Future,” in Morscher and Hieke 2001,
pp. 1–34. (Scholar)
- Mostowski, Andrezej, 1951, “On the Rules of Proof in the Pure Functional Calculus of the First Order,” Journal of Symbolic Logic, 16: 107–111. (Scholar)
- Nolt, John, 2006, “Free Logics,” in Jacquette 2006,
pp. 1023–1060. (Scholar)
- –––, 2007, “Reference and Perspective in Intuitionistic Logic,” Journal of Logic, Language and Information, 16 (1): 91–115. (Scholar)
- Orenstein, Alex, 1990, “Is Existence What Existential Quantification Expresses?” in Robert B. Barrett and Roger F. Gibson (eds.), Perspectives on Quine, Cambridge: Blackwell, 1990, pp. 245–270. (Scholar)
- Orlando, Eleonora, 2008, “Names without Fictional Objects
(Ficción sin metafísica),” Crítica:
Revista Hispanoamericana de Filosofía, 40 (120):
111–127. (Scholar)
- Parsons, Terence, 1980, Nonexistent Objects, New Haven: Yale University Press. (Scholar)
- Paśniczek, Jacek, 1998, The Logic of Intentional Objects: A Meinongian Version of Classical Logic, Dordrecht: Kluwer. (Scholar)
- –––, 2001, “Can Meinongian Logic Be
Free?” in Morscher and Hieke 2001, pp. 227–36. (Scholar)
- Posy, Carl J., 1982, “A Free IPC is a Natural Logic: Strong Completeness for Some Intuitionistic Free Logics,” Topoi, 1: 30–43; reprinted in Lambert 1991, pp. 49–81. (Scholar)
- Priest, Graham, 2005, Towards Non-Being, Oxford: Oxford
University Press. (Scholar)
- –––, 2008, An Introduction to Non-Classical Logic: From If to Is, 2nd edition, Cambridge: Cambridge University Press. (Scholar)
- Quine, W. V. O., 1948, “On What There Is,” Review of Metaphysics, 48: 21–38; reprinted as Chapter 1 of Quine 1963). (Scholar)
- –––, 1954, “Quantification and the Empty Domain,” Journal of Symbolic Logic, 19: 177–179. (Scholar)
- –––, 1963, From a Logical Point of View, 2nd edition, New York: Harper & Row. (Scholar)
- Routley, Richard, 1966, “Some Things Do Not Exist,” Notre Dame Journal of Formal Logic, 7: 251–276. (Scholar)
- –––, 1980, Exploring Meinong’s Jungle
and Beyond, Canberra: Australian National Unversity. (Scholar)
- Russell, Bertrand, 1919, Introduction to Mathematical Philosophy, New York: Simon & Schuster. (Scholar)
- Sainsbury, R. M., 2005, Reference without Referents, Oxford: Clarendon Press. (Scholar)
- Schock, Rolf, 1968, Logics without Existence Assumptions, Stockholm: Almqvist & Wiskell. (Scholar)
- Schweitzer, Paul, 2001, “Free Logic and Quantification in
Syntactic Modal Contexts,” in Morscher and Hieke 2001, pp.
69–85. (Scholar)
- Shapiro, Stewart, and Alan Weir, 2000,
“‘Neo-Logicist’ Logic is Not Epistemically
Innocent,” Philosophia Mathematica, 3 (8):
160–189. (Scholar)
- Simons, Peter, 2001, “Calculi of Names: Free and
Modal,” in Morscher, Edgar and Alexander Hieke 2001, pp.
49–65. (Scholar)
- Smiley, Timothy, 1960, “Sense without Denotation,” Analysis, 20: 125–135. (Scholar)
- van Fraassen, Bas C., 1966, “Singular Terms, Truth Value Gaps and Free Logic,” Journal of Philosophy, 63: 481–95; reprinted in Lambert 1991, pp. 82–97. (Scholar)
- –––, 1991, “On (the X)(X =
Lambert),”, in W. Spohn, et al. (eds.), Existence and
Explanation: Essays Presented in Honor of Karel Lambert,
Dordrecht: Kluwer, pp. 1–18. (Scholar)
- Williamson, Timothy, 1999, “A Note on Truth, Satisfaction and the Empty Domain,” Analysis, 59(1): 3–8. (Scholar)
- –––, 2016, “Reply to Bacon, Hawthorne, and Uzquiano,” Canadian Journal of Philosophy 46(4–5): 542–547. (Scholar)
- Woods, John, 2006, “Fictions and their Logic,” in Jacquette 2006, pp. 1061–1126. (Scholar)
- Woodruff, Peter W., 1984, “On Supervaluations in Free Logic,” Journal of Symbolic Logic, 49: 943–950. (Scholar)
- Yeakel, Daniel, 2016, “Existence Hedges and Neutral Free Logic,” Proceedings of the Aristotelian Society, cxvi (3): 379–386. (Scholar)