Linked bibliography for the SEP article "Logical Consequence" by Jc Beall, Greg Restall and Gil Sagi

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.

History of Logical Consequence


  • Coffa, J. Alberto, 1993, The Semantic Tradition from Kant to Carnap, Linda Wessels (ed.), Cambridge: Cambridge University Press.
    An historical account of the Kantian origins of the rise of analytic philosophy and its development from Bolzano to Carnap. (Scholar)
  • Kneale, W. and Kneale, M., 1962, The Development of Logic, Oxford: Oxford University Press; reprinted, 1984.
    The classic text on the history of logic until the middle 20th Century. (Scholar)

Source Material

20th Century Developments

  • Anderson, A.R., and Belnap, N.D., 1975, Entailment: The Logic of Relevance and Necessity (Volume I), Princeton: Princeton University Press. (Scholar)
  • Anderson, A.R., Belnap, N.D. Jr., and Dunn, J.M., 1992, Entailment (Volume II), Princeton: Princeton University Press.
    This book and the previous one summarise the work in relevant logic in the Anderson–Belnap tradition. Some chapters in these books have other authors, such as Robert K. Meyer and Alasdair Urquhart. (Scholar)
  • Dummett, Michael, 1991 The Logical Basis of Metaphysics, Cambridge, MA: Harvard University Press.
    Groundbreaking use of natural deduction proof to provide an anti-realist account of logical consequence as the central plank of a theory of meaning. (Scholar)
  • Gentzen, Gerhard, 1969, The Collected Papers of Gerhard Gentzen, M. E. Szabo (ed.), Amsterdam: North Holland. (Scholar)
  • Mancosu, Paolo, 1998, From Brouwer to Hilbert, Oxford: Oxford University Press.
    Reprints and translations of source material concerning the constructivist debates in the foundations of mathematics in the 1920s. (Scholar)
  • Negri, Sara and von Plato, Jan, 2001, Structural Proof Theory, Cambridge: Cambridge University Press.
    A very accessible exposition of so-called Structural Proof Theory (which involves a rejection of some of the standard structural rules at the heart of proof theory for classical logic). (Scholar)
  • Shoesmith D. J. and Smiley, T. J., 1978, Multiple-Conclusion Logic, Cambridge: Cambridge University Press.
    The first full-scale exposition and defence of the notion that logical consequence relates multiple premises and multiple conclusions. (Scholar)
  • Restall, Greg, 2000, An Introduction to Substructural Logics, Lond: Routledge. (Précis available online)
    An introduction to the field of substructural logics. (Scholar)
  • Tarski, Alfred, 1935, “The Concept of Truth in Formalized Languages,“ J.H. Woodger (trans.), in Tarski 1983, pp. 152–278. (Scholar)
  • –––, 1936, “On The Concept of Logical Consequence,“ J.H. Woodger (trans.), in Tarski 1983, pp. 409–420. (Scholar)
  • –––, 1983, Logic, Semantics, Metamathematics: papers from 1923 to 1938, second edition, J. H. Woodger (trans.), J. Corcoran (ed.), Indianapolis, IN: Hacket. (Scholar)

Philosophy of Logical Consequence

There are many (many) other works on this topic, but the bibliographies of the following will serve as a suitable resource for exploring the field.

Generated Sun Jul 3 18:56:10 2022