David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Mind 116 (461):23-53 (2007)
From the point of view of proof-theoretic semantics, we examine the logical background invoked by Neil Tennant's abstractionist realist account of mathematical existence. To prepare the way, we must first look closely at the rule of existential elimination familiar from classical and intuitionist logics and at rules governing identity. We then examine how well free logics meet the harmony and uniqueness constraints familiar from the proof-theoretic semantics project. Tennant assigns a special role to atomic formulas containing singular terms. This, we find, secures harmony and uniqueness but militates against the putative realism.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
William R. Stirton (2008). Some Problems for Proof-Theoretic Semantics. Philosophical Quarterly 58 (231):278–298.
Neil Tennant (1987). Anti-Realism and Logic: Truth as Eternal. Oxford University Press.
Ole T. Hjortland (2009). The Structure of Logical Consequence : Proof-Theoretic Conceptions. Dissertation, University of St Andrews
Robert Goldblatt (2011). Quantifiers, Propositions, and Identity: Admissible Semantics for Quantified Modal and Substructural Logics. Cambridge University Press.
Jon Cogburn (2003). Manifest Invalidity: Neil Tennant's New Argument for Intuitionism. Synthese 134 (3):353 - 362.
Neil Tennant (2007). Existence and Identity in Free Logic: A Problem for Inferentialism? Mind 116 (464):1055-1078.
Peter Milne (1994). Classical Harmony: Rules of Inference and the Meaning of the Logical Constants. Synthese 100 (1):49 - 94.
Peter Milne (2007). Existence and Identity in Free Logic: Two Comments. Mind 116 (464):1079-1082.
Added to index2009-01-28
Total downloads18 ( #94,242 of 1,102,698 )
Recent downloads (6 months)4 ( #84,424 of 1,102,698 )
How can I increase my downloads?