A justification of intuitionistic logic by the principle of reflection


In a dynamic perspective, every abstract concept can be seen as the interaction between two different levels: the word which labels the concept itself and the concrete instances to which it applies. This process is particularly well visible in the case of logical constants. In fact, one can see the inference rules for any logical constant as the result of a dynamic interaction between language and metalanguage which I call the principle of reflection. I will give details for intuitionistic logic, obtaining inference rules for each logical constant as "solution" of its "definitional equation". I will briefly recall other justifications of intuitionistic logic, with the aim of starting discussion.

* Presentation


TecMF: TalkSambin2013 (last edited 2013-03-22 16:05:14 by JeffersonSantos)