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)
- 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)
- 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., “A Logic of Actual and Possible Objects” (abstract), Journal of Symbolic Logic, 31: 688–689. (Scholar)
- –––, 1991, “Quantification, Time and Necessity,” in Lambert 1991, pp. 242–256. (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)
- 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, Meinogian 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)
- 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)
- –––, 1963, “Existential Import Revisited,” Notre Dame Journal of Formal Logic, 4: 288–292. (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)
- 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)
- 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)
- 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)
- 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)
Acknowledgement
The author thanks Ian Orr for help in researching this article.
Generated Sat May 11 14:16:58 2013
