Linked bibliography for the SEP article "Logical Consequence" by Jc Beall and Greg Restall
History of Logical Consequence
- Coffa, J. Alberto, 1993, The Semantic Tradition from Kant to
Carnap, Edited by Linda Wessels, Cambridge: Cambridge University
- 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)
- Ewald, William, 1996, From Kant to Hilbert: a source book in the foundations of mathematics Volumes I and II, Oxford: Oxford University Press.
- Reprints and translations of important Texts, including Bolzano on logical consequence. (Scholar)
- van Heijenoort, Jean, 1967, From Frege to Gödel: a sourcebook in mathematical logic 1879–1931, Cambridge, MA: Harvard University Press.
- Reprints and translations of central texts in the development of logic. (Scholar)
- Husserl, Edmund, 1900/2001, Logical Investigations Volumes 1 and 2. Translation by J. N. Findlay, Introduction by Dermot Moran, London: Routledge. (Scholar)
- Mill, John Stuart, 1872/1973, A System of Logic (8th edition) in J. M. Robson (Ed.) Collected works of John Stuart Mill (Volumes 7 & 8), Toronto: University of Toronto Press. (Scholar)
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, edited by M. E. Szabo, 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.
- 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, Routledge. (Précis available online)
- An introduction to the field of substructural logics. (Scholar)
- Tarski, Alfred, 1956, Logic, Semantics, Metamathematics: papers from 1923 to 1938, Translated by J. H. Woodger, Oxford: Oxford University Press. (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.
- Beall, Jc and Restall, Greg, 2000, “Logical Pluralism,” Australasian Journal of Philosophy, 78: 457–493. (Scholar)
- Beall, Jc, 2011, “Multiple-conclusion LP and default classicality,” Review of Symbolic Logic, 4(2): 326–336. (Scholar)
- Bonnay, Denis and Westerståhl, Dag, 2012, “Consequence Mining: Constants Versus Consequence Relations,” Journal of Philosophical Logic, 41(4): 671–709. (Scholar)
- Brandom, Robert, 1994, Making It Explicit, Cambridge, MA: Harvard University Press. [See especially Chapters 5 and 6 on the account of logical consequence according to which truth is not a fundamental explanatory notion.] (Scholar)
- Cobreros, Pablo; Égré, Paul; Ripley, David and van Rooij, Robert, 2012, “Tolerance and mixed consequence in the s’valuational setting,” Studia Logica, 100(4): 855–877. (Scholar)
- Etchemendy, John, 1990, The Concept of Logical Consequence, Cambridge, MA: Harvard University Press. (Scholar)
- Gomez-Torrente, Mario, 1996, “Tarski on Logical Consequence,” Notre Dame Journal of Formal Logic, 37: 125–151. (Scholar)
- McGee, Vann, 1992, “Two Problems with Tarski's Theory of Consequence,” Proceedings of the Aristotelian Society, 92: 273–292. (Scholar)
- Prawitz Dag, 1985, “Remarks on some approaches to the concept of logical consequence,” Synthese, 62: 153–171. (Scholar)
- Priest, Graham, 1999, “Validity,” European Review of Philosophy, 4: 183–205 (Special Issue: The Nature of Logic, Achillé C. Varzi (ed.), Stanford: CSLI Publications). (Scholar)
- Putnam, Hilary, 1971, Philosophy of Logic. New York: Harper & Row. (Scholar)
- Quine, W.V.O., 1986 (2nd Ed.), Philosophy of Logic. Cambridge, MA: Harvard University Press. (Scholar)
- Ray, Greg, 1996, “Logical Consequence: A Defense of Tarski,” The Journal of Philosophical Logic, 25: 617-677. (Scholar)
- Restall, Greg, 2005, “Multiple Conclusions,” in P. Hájek, L. Valdés-Villanueva, and D. Westerståhl (eds.), Logic, Methodology and Philosophy of Science: Proceedings of the Twelfth International Congress, London: KCL Publications, pp. 189–205. [Preprint available online in PDF]. (Scholar)
- Ripley, David, 2013, “Paradoxes and failures of cut,” Australasian Journal of Philosophy, 91(1):139–164, doi: 10.1080/00048402.2011.630010. (Scholar)
- Sher, Gila, 1991, The Bounds of Logic, Cambridge, MA: MIT Press. (Scholar)
- Sher, Gila, 1996, “Did Tarski Commit Tarski's Fallacy?,” Journal of Symbolic Logic, 61 (2): 653–686. (Scholar)
- Tarski, Alfred, 1986, “What are Logical Notions,” History and Philosophy of Logic, 7: 143–154. (Scholar)
- Westerståhl, Dag, 2012, “From constants to consequence, and back,” Synthese, 187(3): 957–971. (Scholar)