Linked bibliography for the SEP article "Classical Logic" by Stewart Shapiro and Teresa Kouri Kissel
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.
- Anderson, A. and N. Belnap [1975], Entailment: The logic of relevance and necessity I, Princeton: Princeton University Press. (Scholar)
- Anderson, A. and N. Belnap, and M. Dunn [1992], Entailment: The logic of relevance and necessity II, Princeton: Princeton University Press. (Scholar)
- Beall, Jc and G. Restall [2006], Logical Pluralism, Oxford: Oxford University Press. (Scholar)
- Brouwer, L.E.J. [1949], “Consciousness, Philosophy and Mathematics”, Journal of Symbolic Logic, 14(2): 132–133. (Scholar)
- Cook, R. [2002], “Vagueness and mathematical precision”, Mind, 111: 227–247. (Scholar)
- Corcoran, J. [1973], “Gaps between logical theory and mathematical practice”, The methodological unity of science, ed. by M. Bunge, Dordrecht: D. Reidel, 23–50. (Scholar)
- Davidson, D. [1984], Inquiries into truth and interpretation, Oxford: Clarendon Press. (Scholar)
- Dummett, M. [2000], Elements of intuitionism, second edition, Oxford: Oxford University Press. (Scholar)
- Gödel, K. [1930], “Die Vollständigkeit der Axiome des logischen Funktionenkalkuls”, Montatshefte für Mathematik und Physik 37, 349–360; translated as “The completeness of the axioms of the functional calculus of logic”, in van Heijenoort [1967], 582–591. (Scholar)
- Heyting, A. [1956], Intuitionism, Amsterdam: North-Holland Publishing. (Scholar)
- Lycan, W. [1984], Logical form in natural language, Cambridge, MA: The MIT Press. (Scholar)
- Montague, R. [1974], Formal philosophy, ed. by R. Thomason, New Haven: Yale University Press. (Scholar)
- Priest, G. [2006], In contradiction, a study of the transconsistent, second, revised edition, Oxford: Clarendon Press. (Scholar)
- ––– [2006a], Doubt truth to be a liar, Oxford: Clarendon Press. (Scholar)
- Quine, W. V. O. [1960], Word and object, Cambridge, MA: The MIT Press. (Scholar)
- ––– [1986], Philosophy of logic, second edition, Englewood Cliffs: Prentice-Hall. (Scholar)
- Resnik, M. [1996], “Ought there to be but one true logic”, in Logic and Reality: Essays on the Legacy of Arthur Prior, J. Copeland (ed.), Oxford: Oxford University Press, 489-517. (Scholar)
- Rumfitt, I. [2015], The Boundary Stones of Thought: An Essay in the Philosophy of Logic, Oxford: Oxford University Press. (Scholar)
- Shapiro, S. [1991], Foundations without Foundationalism, Oxford: Clarendon Press. (Scholar)
- ––– [1996], The limits of logic: Second-order logic and the Skolem paradox, The international research library of philosophy, Dartmouth Publishing Company, 1996. (An anthology containing many of the significant later papers on the Skolem paradox.) (Scholar)
- ––– [1998], “Logical consequence: models and modality”, in The philosophy of mathematics today, edited by M. Schirn, Oxford: Oxford University Press, 131-156. (Scholar)
- ––– [2014], Varieties of Logic, Oxford: Oxford University Press. (Scholar)
- Tennant, N. [1997], The taming of the true, Oxford: Clarendon Press. (Scholar)
- Van Heijenoort, J [1967], From Frege to Gödel, Cambridge, Massachusetts: Harvard University Press. An anthology containing many of the major historical papers on mathematical logic in the early decades of the twentieth century. (Scholar)
Further Reading
There are many fine textbooks on mathematical logic. A sample follows.- Boolos, G., J. P. Burgess, and R. Jeffrey [2007], Computability and logic, fifth edition, Cambridge, England: Cambridge University Press. Elementary and intermediate level. (Scholar)
- Bergmann, M., J. Moor and J. Nelson [2013], The logic book, sixth edition, New York: McGraw-Hill. Elementary and intermediate level. (Scholar)
- Church, A. [1956], Introduction to mathematical logic, Princeton: Princeton University Press. Classic textbook. (Scholar)
- Enderton, H. [1972], A mathematical introduction to logic, New York: Academic Press. Textbook in mathematical logic, aimed at a mathematical audience.
- Forbes, G. [1994], Modern Logic, Oxford: Oxford University Press. Elementary textbook. (Scholar)
- Mendelson, E. [1987], Introduction to mathematical logic, third edition, Princeton: van Nostrand. Intermediate. (Scholar)
