Home Philosophy Advances in Proof-Theoretic Semantics

## An Intuitionistic SolutionThe first step towards an intuitionistic solution is the remark that the formalizations of (K) and (RAR) by (1) and (2), respectively, acquire a meaning very different from the intuitive one if the logical constants occurring in them are understood according to the BHK-explanation, i.e. the explanation of their intuitionistic meaning given by Brouwer, Heyting and Kolmogorov, and that the intuitionistic formulas corresponding to (1) and (2), namely (1t) (2t) 6As it will become evident below, the argument stated in this paper in no way relies on Dummett's opinion (for which see for instance [4], p. XXII) that also an anti-realist should explain meaning in terms of truth-conditions. are valid, independently from there being a Church-Fitch argument (whose last step is not intuitionistically valid). ## (21) is intuitionistically validIntuitionists do not agree with Dummett and other neo-verificationists that meaning is to be explained in any case in terms of truth-conditions. According to them, "The notion of truth makes no sense […] in intuitionistic mathematics"7; the key notion of the theory of meaning is the notion of Summing up, the revised version of the BHK-explanation I will make reference to is the following: |

< Prev | CONTENTS | Next > |
---|

Related topics |

Academic library - free online college e textbooks - info{at}ebrary.net - © 2014 - 2020