Hostname: page-component-7c8c6479df-r7xzm Total loading time: 0 Render date: 2024-03-28T10:26:40.675Z Has data issue: false hasContentIssue false

CUT FOR CORE LOGIC

Published online by Cambridge University Press:  02 April 2012

NEIL TENNANT*
Affiliation:
Department of Philosophy, The Ohio State University
*
*DEPARTMENT OF PHILOSOPHY, THE OHIO STATE UNIVERSITY, COLUMBUS, OH 43210 E-mail:tennant.9@osu.edu

Abstract

The motivation for Core Logic is explained. Its system of proof is set out. It is then shown that, although the system has no Cut rule, its relation of deducibility obeys Cut with epistemic gain.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2012

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

BIBLIOGRAPHY

Almukdad, A., & Nelson, D. (1984). Constructible falsity and inexact predicates. Journal of Symbolic Logic, 49(1), 231233.CrossRefGoogle Scholar
Gentzen, G. (1934). Untersuchungen über das logische Schliessen. Mathematische Zeitschrift, I, II, 176–210, 405–431, 1934, 1935. Translated as ‘Investigations into Logical Deduction’, in The Collected Papers of Gerhard Gentzen, edited by Szabo, M. E.. Amsterdam: North-Holland, 1969, pp. 68131.Google Scholar
Miller, D. (2005). Out of Error: Further Essays on Critical Rationalism. Aldershot, UK: Ashgate.Google Scholar
Nelson, D. (1949). Constructible falsity. Journal of Symbolic Logic, 14(1), 1626.CrossRefGoogle Scholar
Prawitz, D. (1965). Natural Deduction: A Proof-Theoretical Study. Stockholm, Sweden: Almqvist & Wiksell.Google Scholar
Shramko, Y. (2005). Dual intuitionistic logic and a variety of negations: The logic of scientific research. Studia Logica, 80, 347367.CrossRefGoogle Scholar
Tennant, N. (1985). Minimal logic is adequate for Popperian science. British Journal for Philosophy of Science, 36, 325329.CrossRefGoogle Scholar
Tennant, N. (1987a). Anti-Realism and Logic: Truth as Eternal. Clarendon Library of Logic and Philosophy, Oxford, UK: Oxford University Press.Google Scholar
Tennant, N. (1987b). Natural deduction and sequent calculus for intuitionistic relevant logic. Journal of Symbolic Logic, 52, 665680.CrossRefGoogle Scholar
Tennant, N. (1992). Autologic. Edinburgh, UK: Edinburgh University Press.Google Scholar
Tennant, N. (1994). Intuitionistic mathematics does not need ex falso quodlibet. Topoi, pp. 127133.CrossRefGoogle Scholar
Tennant, N. (1997). The Taming of The True. Oxford, UK: Oxford University Press.Google Scholar
Tennant, N. (2012). Changes of Mind: An Essay on Rational Belief Revision. Oxford, UK: Oxford University Press.CrossRefGoogle Scholar