intruder https://blog.hatena.ne.jp/intruder/ Another divergence to an intruder https://intruder.hatenadiary.org/ 完読本 クワインによる論理学の入門書。伝統論理学や日常言語とのつながりが自然に意識されていたり、さすがによく書けていると思うところが多い。量化をベン図から始めて、一項述語、多重量化、二項述語と順々に拡大していくところなど。ただどこまでも真理関数的な説明。なので演繹のところはやはりポイントがよく分からない。こんなコメントが。 EIの存在により、本書の体系は、規則に課する制限の点で、ゲンツェンやヤスコーフスキーの体系とかなりことなっている。[...]また、ゲンツェンとヤスコーフスキーはTFのかわりに、より基本的な規則の組を使っていることもいっておいてよかろう。しかし、この相違はべつになんでもない。(p.1… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fintruder.hatenadiary.org%2Fentry%2F20060321%2Fp3" title=" Ｗ．ｖ．Ｏ．クワイン、『論理学の方法』、岩波書店、1961. - Another divergence to an intruder" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2006-03-21 00:00:02 rich https://intruder.hatenadiary.org/entry/20060321/p3 1.0 100%