A justification of intuitionistic logic by the principle of reflection
- Onde: sala 510 do RDC
- Quando: 22/03/2013 11:30h
Quem: Giovanni Sambin, Università di Padova
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.