2015-01-04から1日間の記事一覧

 Why Does Leśniewski Use the Equivalence Sign Instead of the Definitional Equality Sign for Definitions? Part 2

(昨日の日記の続きです。)5. Leśniewski の方法への批判 (Church, Prior 先生)さて、section の 4. において、Leśniewski の定義の方法とその根拠が簡潔に示されていましたが、当然、その方法に対する批判もあります。次にその批判を見てみます。まず以下を…