のぶあき)テストエンジニアが身につけておきたいスキルの一つ「論理のスキル」。「論理の言葉」の意味や働きに注意が向くようになったら、文や文章の読み書きで実践していきましょう。記事一覧>※クリックで開きます論理のかたち。呼ばれる推論形式の基本事項を紹介しました。定言三段論法的な推論を自分から意識して組み立てることは少ないかも知れませんが、考えを整理してみたら定言三段論法的に考えると具合がよさそう、ということはあるでしょう。文章を読んでいて、「これは定言三段論法で表してみると理解しやすいのでは?」と思えるような論理展開に出会うこともあるでしょう。そんな時「この理屈は、形の上で正しいのかな?」とチェックできるように、今回は定言三段論法が「よい形」であるための規則を見ていきます。その前に、前回クイズの解答です。問題(再掲)下図の「ソクラテスと電気羊」その1~3について考えてみてください。小名辞S、大名辞P、媒介項Mに当たるのは何か各文は全称/特称、肯定/否定どれに当たるか解答その1。小名辞Sは「ソクラテス」、大名辞Pは「電気羊の夢を見る」、媒介項Mは「哲学者」です。大前提1は「すべてのMはPである(全称肯定)」の形、小前提2は「すべてのSはMである(全称肯定)」の形、結論3は「すべてのSはPである(全称肯定)」の形です。3S-Pですから第1格、式はAAAです)その2。小名辞S、大名辞P、媒介項Mはその1と同じです。大前提1は「あるMはPである(特称肯定)」の形、小前提2は「すべてのSはMである(全称肯定)」の形、結論3は「すべてのSはPである(全称肯定)」の形です。3S-Pの第1格、式はIAAです)その3。Mは「電気羊の夢を見る」です。大前提1は「すべてのPはMである(全称肯定)」の形、小前提2は「すべてのSはMである(全称肯定)」の形、結論3は「すべてのSはPである(全称肯定)」の形です。3S-Pの第2格、式はAAAです)ソクラテスが電気羊の夢を見られるために押さえておきたい定言三段論法の「よい形」の規則ソクラテスと電気羊・その1は、内容(意味)から「これは前提から無理なく結論が導けるな」と思った人は多いのではないでしょうか。その2、その3では、やはり内容(意味)を見て「この前提からこの結論は、ちょっと無理があるのでは?」「何かおかしくないか?」と、感じた人も多いのではないでしょうか。内容や意味の面で「?」と感じる主張は、形を調べてもおかしいものです(内容面で正しそうに見えても、形としてはよくない(妥当でない)ものもあります)。定言三段論法的な推論の“よしあし”が、内容や意味の吟味以前に、形から読み取れることを見ていきましょう。組)に登場する名辞(概念)は、小名辞S、大名辞P、媒介項Mの3個に限られます。3個より多いと、意味上の混乱が生じたり、媒介する概念がなくなって論が成り立たなくなります(図7-1)。明らかに異なる名辞(概念)が4つ以上あるのがいけないのはもちろん、言葉の意味や解釈、表現などから名辞が多過ぎる状態になってしまってもいけません。登場する名辞(概念)は三つ逆に登場する名辞(概念)が3個より少なく見える場合は、名辞が前提の中で省略されている可能性もあります(周知である、議論の背景として共有されている、などから省略されている事柄を補うと、正しい定言三段論法の形になる場合もある)。そのような場合は実際の論理展開で見かけることも多いものです。主張を注意深く読み込んで「前提が隠れているのでは?」と考えてみるのがよいでしょう(ただし、本当に名辞が足りていない場合もあります)。周延とは、「その概念が当てはまるすべての対象について言われている」状態でした(「ソクラテスは電気羊の夢を見るか?(前編)」)。媒介項は必ず周延されること媒介項Mは、前提の中で一度は周延されている必要があります。媒介項が周延されることで、「Mに関係しているS」と「Mに関係しているP」が結びつき、結論が成り立ちます。「ソクラテスと電気羊・その1」で「なるほど、ソクラテスは電気羊の夢を見るね」と判断できるのは、「哲学者」という媒介項が(「すべての」という全称により)周延され、「ソクラテス」という概念と「電気羊の夢を見る」という概念が「哲学者」を介して結びつくからです(それだけではありませんが)。(その2)、「電気羊の夢を見る」(その3)が周延されていません(後述「周延に関する誤謬」参照)。前提で周延されていないものは結論でも周延されないこと小名辞、大名辞は、前提で周延されていない(不周延)なら結論でも不周延である必要があります(結論で周延されるなら、前提で周延されている必要がある)。一部についての主張が、無条件で全体に当てはまるとは言えないからです。周延されている名辞を結論で周延しないことはできます。前提がふたつとも否定なら、結論は出せない前提がふたつとも否定の場合、結論は出せません。前提のひとつが否定の場合、結論は否定になります。前提がふたつとも肯定の場合、結論は肯定になります。否定の規則23は、それぞれ逆も成り立ちます。周延の規則、肯定と否定の規則から導出できる派生的な規則ですが、知っておくと便利な規則です。前提がどちらも特称なら、結論は出せない前提がふたつとも特称の場合、結論は出せません。続きを読むにはログインが必要です。ご利用は無料ですので、ぜひご登録ください。前世紀は主にソフトウェアエンジニア/プログラマーとして活動。今世紀はソフトウェアテストのコンサルティング、実務の支援、テスト関連技術トレーニングの企画・開発・講師/ファシリテーターといった領域で活動。近年は若年層ソフトウェアテスト技術者の育成に関わることが多い。ISTQB-FL、テスト技法、論理スキルなど、ワーク盛りだくさんのトレーニングやワークショップを提供中。ID規約(C)AGEST,Inc.。