tennant.9@osu.edu
NEIL W. TENNANT
If you email me, please use the header PHIL 873: YOURNAME.
Professor
Department of Philosophy
Winter Term 2008
PHIL 873: Inferentialism
Research Seminar
University Hall, Room 353
Wednesdays 12:30-3:18 pmCanonical Reading List, in Historical Order
Other relevant works by the instructor (in reverse chronological order)
- Gentzen, G. 'Investigations into Logical Deduction', [original published in German in 1934-5] in The Collected Papers of Gerhard Gentzen, edited by M.E.Szabo, North-Holland, Amsterdam, 1969, pp.68-131
- Sellars, W. 'Inference and Meaning', Mind 62, 1953, 313-338
- Sellars, W. 'Some Reflections on Language Games', Philosophy of Science 21, 1954, 204-228
- Prior, A. 'The Runabout Inference Ticket', Analysis 21, 1960, 38-39
- Belnap, N. 'Tonk, Plonk and Plink', Analysis 22, 1962, 130-134
- Smiley, T. 'The independence of connectives', The Journal of Symbolic Logic 27, 1962, 426-436
- Prior, A. 'Conjunction and Contonktion Revisited', Analysis 24, 1964, 191-195
- Prawitz, D. 'On the Idea of a General Proof Theory', Synthese 27, 1974, 63-77.
- Quine, W. 'Five Milestones of Empiricism', [original published in 1975] in Theories and Things, Harvard University Press, 1981, pp. 67-72
- Dummett, M. 'The Philosophical Basis of Intuitionistic Logic', [original published in 1975] in Truth and Other Enigmas, Duckworth Press, 1978
- Brandom, R. 'Truth and Assertibility', Journal of Philosophy 73, 1976, 137-149
- Prawitz, D. 'Meaning and proofs: On the conflict between classical and intuitionistic logic', Theoria 43, 1977, 2-40
- Dummett, M. 'The Justification of Deduction', in Truth and Other Enigmas, Duckworth Press, 1978
- Schroeder-Heister, P. 'A natural extension of natural deduction', Journal of Symbolic Logic 49, 1984, 1284-1300
- Brandom, R. 'Varieties of Understanding', in N. Rescher, ed., Reason and Rationality in Natural Science, University Press of America, 1985, pp. 27-51
- Tennant, N. Chapter titled 'Transitional Atomic Logic', in Anti-Realism and Logic, Oxford University Press, 1987
- Tennant, N. Chapter titled 'Constructive Logicism', in Anti-Realism and Logic, Oxford University Press, 1987
- Tennant, N. 'Negation, Absurdity and Contrariety', in D. Gabbay and H. Wansing (eds.), Negation, Kluwer, Dordrecht, 1999, pp. 199-222.
- Boghossian, P. 'How are objective epistemic reasons possible?', Philosophical Studies 106, 2001, 1-40
- Wright, C. 'On basic logical knowledge: Reflections on Paul Boghossian's 'How are objective epistemic reasons possible?"', Philosophical Studies 10, 2001, 41-85
- Tennant, N. 'Rule-Circularity and the Justification of Deduction', The Philosophical Quarterly, vol. 55, no. 221, 2005, pp. 625-648. This is an electronic version of an article published in The Philosophical Quarterly. Complete citation information for the final version of the paper, as published in the print edition of The Philosophical Quarterly, is available on the Blackwell Synergy online delivery service, accessible via the journal's website at http://www.blackwellpublishing.com/phiq or http://www.blackwell-synergy.com.
- Tennant, N. 'Inferentialism, Logicism, Harmony, and a Counterpoint', in Alex Miller, ed., Essays for Crispin Wright: Logic, Language and Mathematics (Oxford University Press: Volume 2 of a two-volume Festschrift for Crispin Wright, co-edited with Annalisa Coliva), forthcoming
- 'Parts, Classes and Parts of Classes: An Anti-Realist Reading of Lewisian Mereology', Synthese, forthcoming
- 'Existence and Identity in Free Logic: A Problem for Inferentialism?', Mind, vol. 116, 2007, pp. 1055-1078
- 'Natural Logicism via the Logic of Orderly Pairing', in Sten Lindström, Erik Palmgren, Krister Segerberg and Viggo Stoltenberg-Hansen, eds., Logicism, Intuitionism, Formalism: What Has become of them?, Synthese Library, Springer Verlag, forthcoming
- 'Logic, Mathematics and the Natural Sciences' , in Dale Jacquette, ed., Handbook of the Philosophy of Science. Volume 5: Philosophy of Logic, Elsevier BV, 2006, pp. 1149-1166
- 'A General Theory of Abstraction Operators', The Philosophical Quarterly, vol. 54, no. 214, 2004, pp. 105-133.
- 'Frege's Content-Principle and Relevant Deducibility', Journal of Philosophical Logic, vol. 32, 2003, pp. 245-258.
- 'Ultimate Normal Forms for Parallelized Natural Deductions, with Applications to Relevance and the Deep Isomorphism between Natural Deductions and Sequent Proofs', Logic Journal of the IGPL, vol. 10, no. 3, May 2002, pp. 299-337.
- 'Game Theory and Convention T', Nordic Journal of Philosophical Logic 6 no. 1, 2001, pp. 3-20.
- Tennant, N. Chapter 10, 'Finding the Right Logic' in The Taming of The True, Oxford University Press, 1997
- Tennant, N. Chapter 12, 'Defeasibility and Constructive Falsifiability', in The Taming of The True, Oxford University Press, 1997
- 'The Law of Excluded Middle is Synthetic A Priori, if Valid', Philosophical Topics, 24, 1996, pp. 205-229.
- 'Delicate Proof Theory', in J. Copeland (ed.), Logic and Reality: Essays on the Legacy of Arthur Prior, Oxford University Press, 1996, pp. 351-385.
- 'Transmission of Truth and Transitivity of Proof', in D. Gabbay (ed.), What is a Logical System?, Oxford University Press, 1994, pp. 161-177.
- 'Intuitionistic Mathematics Does Not Need Ex Falso Quodlibet', Topoi 13, 1994, pp. 127-133.
- 'Truth Table Logic, with a Survey of Embeddability Results', Notre Dame Journal of Formal Logic , 30, 1989, pp. 459-484.
- 'Conventional Necessity and the Contingency of Convention', Dialectica 41, 1987, pp. 79-95.
- 'The Withering Away of Formal Semantics?', Mind and Language 1, 1986, pp. 302-318.
- 'Minimal logic is adequate for Popperian science', in British Journal for Philosophy of Science 36, 1985, pp. 325-329.
- 'Intentionality, syntactic structure and the evolution of language', in C. Hookway (ed), Minds, Machines and Evolution , Cambridge University Press, 1984, pp. 73-103.
- 'On Paradox without Self-Reference', Analysis 55, 1995, pp. 199-207.
- 'Proof and paradox', Dialectica 36, 1982, pp. 265-296.
