Five Observations Concerning the Intended Meaning of the Intuitionistic Logical Constants |
| |
Authors: | Díez Gustavo Fernández |
| |
Institution: | (1) Facultad de Filosofía, University of Murcia, Apartado 4021 E–, 30071 Murcia (, Spain |
| |
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: | intuitionistic semantics logical constant construction proof intended meaning |
本文献已被 SpringerLink 等数据库收录! |