Five observations concerning the intended meaning of the intuitionistic logical constants
Journal of Philosophical Logic 29 (4):409-424 (2000)
| Abstract | This paper contains five observations concerning the intended meaning of the intuitionistic logical constants: (1) if the explanations of this meaning are to be based on a non-decidable concept, that concept should not be that of `proof"; (2) Kreisel"s explanations using extra clauses can be significantly simplified; (3) the impredicativity of the definition of can be easily and safely ameliorated; (4) the definition of in terms of `proofs from premises" results in a loss of the inductive character of the definitions of and and (5) the same occurs with the definition of in terms of `proofs with free variables". | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesKathrin Glüer (2003). Analyticity and Implicit Definition. Grazer Philosophische Studien 66 (1):37-60.
Ken Warmbrōd (1999). Logical Constants. Mind 108 (431):503 - 538.
Ole T. Hjortland (2009). The Structure of Logical Consequence : Proof-Theoretic Conceptions. Dissertation, University of St Andrews
Peter Pagin (1994). Knowledge of Proofs. Topoi 13 (2):93-100.
Corine Besson, Understanding the Logical Constants and Dispositions. The Baltic International Yearbook of Cognition, Logic and Communication (2010).
Francesco Paoli (2007). Implicational Paradoxes and the Meaning of Logical Constants. Australasian Journal of Philosophy 85 (4):553 – 579.
Enrico Martino & Gabriele Usberti (1994). Temporal and Atemporal Truth in Intuitionistic Mathematics. Topoi 13 (2):83-92.
Gustavo Fernández Díez (2000). Kolmogorov, Heyting and Gentzen on the Intuitionistic Logical Constants. Crítica 32 (96):43 - 57.
Alexander Yashin (1999). New Intuitionistic Logical Constants and Novikov Completeness. Studia Logica 63 (2):151-180.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads15 ( #78,648 of 549,087 )Recent downloads (6 months)1 ( #63,317 of 549,087 )How can I increase my downloads? |
My notes
Discussion
