Linked bibliography for the SEP article "Classical Logic" by Stewart Shapiro |
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.
Cited Works
- 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)
- Corcoran, J. [1973], “Gaps between logical theory and mathematical practice”, The methodological unity of science, ed. by M. Bunge, Dordrecht: Holland, D. Reidel, 23-50. (Scholar)
- Church, A. [1956], Introduction to mathematical logic, Princeton: Princeton University Press. Classic textbook. (Scholar)
- Davidson, D. [1984], Inquiries into truth and interpretation, Oxford: Clarendon Press. (Scholar)
- Dummett, M. [1977], Elements of intuitionism, 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)
- Lycan, W. [1984], Logical form in natural language, Cambridge, Massachusetts: The MIT Press. (Scholar)
- Montague, R. [1974], Formal philosophy, ed. by R. Thomason, New Haven: Yale University Press. (Scholar)
- Quine, W. V. O. [1960], Word and object, Cambridge, Massachusetts: The MIT Press. (Scholar)
- Quine, W. V. O. [1986], Philosophy of logic, second edition, Englewood Cliffs, New Jersey: Prentice-Hall. (Scholar)
- Shapiro, S. [1998], “Logical consequence: models and modality”, in The philosophy of mathematics today, edited by M. Schirn, Oxford: Oxford University Press, 131-156. (Scholar)
- Tennant, N. [1987], “Conventional necessity and the contingency of deduction”, Dialectica 41, 79-95. (Scholar)
Further Reading
- Boolos, G., and R. Jeffrey [1989], Computability and logic, third edition, Cambridge, England: Cambridge University Press. Textbook on mathematical logic. (Scholar)
- Enderton, H. [1972], A mathematical introduction to logic, New York: Academic Press. Textbook in mathematical logic.
- Forbes, G. [1994], Modern Logic, Oxford: Oxford University Press. Elementary textbook. (Scholar)
- Mendelson, E. [1987], Introduction to mathematical logic, third edition, Princeton: van Nostrand. Textbook in mathematical logic. (Scholar)
- Shapiro, S. [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)
- 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)
Generated Thu Apr 25 08:18:26 2013
