ページ

▼
ラベル ロジック の投稿を表示しています。 すべての投稿を表示
ラベル ロジック の投稿を表示しています。 すべての投稿を表示
2014年4月6日日曜日

エルンスト・カッシーラー『実体概念と関数概念』第一章

›
以下の文章は、エルンスト・カッシーラー『実体概念と関数概念』の読書会のために私が用意したレジュメです。範囲は第一章のみ、頁番号は全て山本義隆訳（みすず書房，1979年）のもの。 思想史的背景 　本書の内容に入る前に、本書が執筆された思想史的背景を簡単に概観したい。エル...
2014年2月2日日曜日

【メモ】 Stewart Shapiro / Thinking About Mathematics: The Philosophy of Mathematics

›
【論理主義】  一つ前の記事 参照。 【直観主義】 ・直観主義は排中律の拒否に尽きるわけではない。直観主義の根本にあるのは「数学は心的に構成される」という哲学であって、排中律の拒否はその一つの帰結に過ぎない。その他にも例えば、被定義項を含む集合への言及を含む非可述的定...
2014年1月20日月曜日

分岐階型理論と還元公理についてのメモ

›
べ、別に論理学に興味があるわけじゃないんだからねっ！Stewart Shapiroの本で気になった箇所をまとめてみただけなんだから！ まずはフレーゲによる自然数の構成： もしnが、0に対して成立しかつ後続の関係に関して閉じているすべての概念Fに対して成立するならば、nは自...