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)...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Article ou chapitre numérique |
| Langue: | Français |
| Publié: |
2005
|
| Accès en ligne: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |