Nonstandard Semantics for Modal Logic and the Concept of a Logically Possible World
The aim of this paper is to examine the idea of metamathematical deduction in Hilbert’s program showing its dependence of epistemological notions, specially the notion of intuitive knowledge. It will be argued that two levels of foundations of deduction can be found in the last stages (in the 1920s)...
Shranjeno v:
| Glavni avtor: | |
|---|---|
| Format: | Article ou chapitre numérique |
| Jezik: | Français |
| Izdano: |
2005
|
| Online dostop: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |