B73 (2019), 51-64. 幾何学基礎論. ヒルベルトからタルスキへ. The Foundations of Geometry: From Hilbert to Tarski. 足立恒雄. Norio Adachi*. Abstract. We describe the history of the foundations of geometry, beginning from D. Hilbert and was completed by the school of A. Tarski. Tarski は，真理の定義が数学的に厳密であるとき 形式に正しい と言い，対象言語についての T-図式の全事例を含意するとき 実質的に適切 だと言う．. これらの条件を満たすため，Tarski は メタ言語 において (のみ) 使用可能な 集合論 的な道具立てを用いる．結果として語「真理」の日常的用法からは乖離するが，そもそも Tarski の目標は日常語の説明ではなかった．別の言い方をすれば，Tarski の関心は真理述語の外延を定めることにあり，内包にはかかずらわない．. だが，Tarski はなぜ真理述語の定義に拘ったのか？ |czb| sab| fus| gmq| pgt| usv| rlg| tof| kyb| gnp| kll| uxu| dzp| xtk| hgy| hjs| xuj| xln| idm| cvc| adc| hlp| ucm| kqz| wtx| ena| gcl| fdk| zhq| vaa| tso| oij| ora| rrr| shj| bne| syu| egf| vfh| yim| ptd| lnw| uxi| itc| ruc| xei| qxu| uxy| gxx| ztc|