2014-05-11から1日間の記事一覧

 On an Example Which Shows the Crucial Difference Between ∀-∃ Formula and ∃-∀ Formula

(本日の日記の文章は、ちょっと長いです。時間のない方は、読まないほうがよいかもしれません。) かつての伝統的論理学と現代の論理学を分かつのは、前者では多重量化文、とりわけ all と some という異なる量化子を複数含んだ異種混合多重量化文 (mixed mul…

書籍 丹治信春 『論理学入門』、ちくま学芸文庫、筑摩書房、2014年 八木沢敬 『神から可能世界へ 分析哲学入門・上級編』、講談社選書メチエ、講談社、2014年 前者の丹治先生の本は、かつて出ていた次の本を文庫化したものです。 丹治信春 『タブローの方法…