本記事では拙著『反証図とカウンターモデル』をご紹介させていただきます。

『記号論理精選問題集』の名の下、著者（管理人）は既に２冊の問題集を出版しています。

記号論理入門【命題論理】前編

本記事は拙著『記号論理入門【命題論理】前編』の紹介になります。記号論理は、主に哲学の専攻者と、数学の専攻者にかかわりのある分野です。次のような表現をみたことがあるでしょうか？p∧¬q⋁(r→¬p)こういった表現で、論理学を扱うのが記号論理に...

cogefra.work

記号論理精選問題集【述語論理】編

本記事では拙著『記号論理精選問題集【述語論理】編』についてご紹介させていただきます。記号論理の『問題集』というのは、あるようで実はありません。それもそのはず、記号論理を資格勉強などに集中して行う人はいないからです。つまり、記号論理自体がマイ...

cogefra.work

本書は３冊め、そして『記号論理精選問題集』の最終巻となります。

反証図とは？

反証図とは上掲図のような枝分かれして行くタイプの図です。この図により、機械的に論理的推論の成否が確認できるようになります。

本書で追究されているのは、この手法です。位置づけは微妙ですが、意味論の方に分類されます。そそして、反証図で「否（成立しない）」と判定された論理的推論に、実際にカウンターモデルを作って、その不成立を明示する作業がされます。これが、本書の概要です。

電子書籍

電子書籍になります。

https://amzn.to/4icyM5p

楽天での販売の予定はありません。

電子書籍は現在、AmazonKindle電子書籍アプリか、楽天Kobo電子書籍アプリを使って読むのが主流になっています。

この辺りの電子書籍の事情については下記記事もご参照ください。

【要注意】楽天Koboで買った電子書籍をAmazonKindleで読むことはできません！

当たり前のことなのですが、しかし、これから電子書籍の世界に足を踏み入れようとしている読者の方に基礎中の基礎として知っておいてもらいたいのが件名、つまり次のことです。楽天Koboで買った電子書籍をAmazonKindleで読むことはできません...

cogefra.work

反証図の問題集でもよい

反証図は上掲図のように、手を動かくして書くものですが、充足条件は非常に読みこなすのが難しいものです。

なので本書著者は、本問題集を反証図の練習問題として使ってもよい、といっています。

反証図を使った記号論理の問題を合計50題と豊富に用意しました。

【中略】反証図（refutation tree）については通常教えられるものに準拠しており、本書の初めにルールのみ、説明されています。

【中略】カウンターモデルについてはモデル論的意味論の知識が必要です。

【中略】カウンターモデルや充足条件に沿って論理を理解するのが苦手な方は、本書を単純に、反証図の問題集として活用することもできます。

出典：著者紹介文（アマゾン，楽天における）

本記事はここまでになります。

もし本書『反証図とカウンターモデル』について、ご意見ありましたらコメント欄に書き込んで頂けると幸いです。