David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Philosophical Logic 29 (4):409-424 (2000)
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||intuitionistic semantics logical constant construction proof intended meaning|
|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
Kathrin 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. Critica 32 (96):43 - 57.
Alexander Yashin (1999). New Intuitionistic Logical Constants and Novikov Completeness. Studia Logica 63 (2):151-180.
Added to index2009-01-28
Total downloads21 ( #86,416 of 1,101,879 )
Recent downloads (6 months)5 ( #68,243 of 1,101,879 )
How can I increase my downloads?