Mind 116 (461):23-53 (2007)
|Abstract||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)|
|Through your library||Configure|
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 downloads13 ( #95,504 of 722,837 )
Recent downloads (6 months)2 ( #36,645 of 722,837 )
How can I increase my downloads?