Mental Models, Model-theoretic Semantics, and the Psychosemantic Conception of Truth
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)...
保存先:
| 第一著者: | |
|---|---|
| フォーマット: | Article ou chapitre numérique |
| 言語: | Français |
| 出版事項: |
2005
|
| オンライン･アクセス: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |