-
10On having bad contractions, or: no room for recoveryJournal of Applied Non-Classical Logics 7 (1-2): 241-266. 1997.ABSTRACT The well-known AGM-theory-contraction and theory-revision, due to Alchourrón, Gärdenfors and Makinson, relies heavily on the so-called postulate of recovery. This postulate is supposed to capture the requirement of “minimum mutilation”; but it does not. Recovery can be satisfied even when there is more mutilation than is necessary. Recovery also ensures that very often too little is given up in a contraction, in this paper I bring out clearly the deficiencies of the AGM-theory in these …Read more
-
8Frege’s Class Theory and the Logic of SetsIn Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics, Springer. pp. 85-134. 2024.We compare Fregean theorizing about sets with the theorizing of an ontologically non-committal, natural-deduction based, inferentialist. The latter uses free Core logic, and confers meanings on logico-mathematical expressions by means of rules for introducing them in conclusions and eliminating them from major premises. Those expressions (such as the set-abstraction operator) that form singular terms have their rules framed so as to deal with canonical identity statements as their conclusions or…Read more
-
8XI*—Entailment and ProofsProceedings of the Aristotelian Society 79 (1): 167-190. 1979.N. Tennant; XI*—Entailment and Proofs, Proceedings of the Aristotelian Society, Volume 79, Issue 1, 1 June 1979, Pages 167–190, https://doi.org/10.1093/aristote.
-
8Review: From Logic to Philosophies (review)British Journal for the Philosophy of Science 32 (3). 1981.
-
7Game theory and conventiontNordic Journal of Philosophical Logic 6 (1): 3-19. 2010.This paper rebuts criticisms by Hintikka of the author's account of game-theoretic semantics for classical logic. At issue are (i) the role of the axiom of choice in proving the equivalence of the game-theoretic account with the standard truth-theoretic account; (ii) the alleged need for quantification over strategies when providing a game-theoretic semantics; and (iii) the role of Tarski's Convention T. As a result of the ideas marshalled in response to Hintikka, the author puts forward a new c…Read more
-
4Entailment and ProofsProceedings of the Aristotelian Society 79. 1979.N. Tennant; XI*—Entailment and Proofs, Proceedings of the Aristotelian Society, Volume 79, Issue 1, 1 June 1979, Pages 167–190, https://doi.org/10.1093/aristote.
-
4Written for any readers interested in better harnessing philosophy's real value, this book covers a broad range of fundamental philosophical problems and certain intellectual techniques for addressing those problems. In Introducing Philosophy: God, Mind, World, and Logic, Neil Tennant helps any student in pursuit of a 'big picture' to think independently, question received dogma, and analyse problems incisively. It also connects philosophy to other areas of study at the university, enabling all …Read more
-
2Intentionality, syntactic structure and the evolution of languageIn Christopher Hookway (ed.), Minds, Machines, and Evolution: Philosophical Studies, Cambridge University Press. 1984.
-
1Delicate proof theoryIn B. Jack Copeland (ed.), Logic and Reality: Essays on the Legacy of Arthur Prior, Oxford University Press. pp. 351--385. 1996.
-
1Jaakko Hintikka, The Principles of Mathematics RevisitedPhilosophia Mathematica 6 (1): 90-115. 1998.
-
1An Anti-Realist Critique of DialetheismIn Graham Priest, J. C. Beall & Bradley Armour-Garb (eds.), The Law of Non-Contradiction, Clarendon Press. 2004.
-
BOSTOCK, D. "Logic and Arithmetic, Vol. II-Rational and Irrational Numbers" (review)Mind 90 (n/a): 473. 1981.
Columbus, Ohio, United States of America