数学基礎論・数理論理学 その13
■ このスレッドは過去ログ倉庫に格納されています
0441STS446
2012/08/19(日) 12:01:37.88メレオロジーや形式の法則についてははったりですね。
恐らくそれらについて書かれた書物は存在しない。
なぜならばはったり研究ですから。
もちろん晩年のパースが入れ込んでいた存在グラフについてもそうですね。
それらはブラウンの形式の法則と同じ平面的幾何に論理を落とし込む作業ですね。
フレーゲにしても同様な作業を概念記法や算術の基本性質において行った。
しかしながら量化演算子については現代にも残ったのです。
■ このスレッドは過去ログ倉庫に格納されています