出版社内容情報
現代論理学という知の風景へ誘う,文科のための入門書.初心者の素朴な疑問と驚きに満ちた,不思議の国への旅だち.豊富な問題・論題を設け,説き明かすことよりも,読者への問いかけを意図した.
目次
序論 論理と言語
第1章 命題論理
第2章 述語論理
第3章 パラドクス・形式主義・メタ論理
第4章 直観主義論理
第5章 不完全性定理
付録 命題論理の公理系LPの定理の証明
1 ~ 1件/全1件
現代論理学という知の風景へ誘う,文科のための入門書.初心者の素朴な疑問と驚きに満ちた,不思議の国への旅だち.豊富な問題・論題を設け,説き明かすことよりも,読者への問いかけを意図した.
序論 論理と言語
第1章 命題論理
第2章 述語論理
第3章 パラドクス・形式主義・メタ論理
第4章 直観主義論理
第5章 不完全性定理
付録 命題論理の公理系LPの定理の証明