論理的真理と論理定項
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/04/01 10:45 UTC 版)
詳細は「論理定項」を参照 論理連結語や量化子などの論理定項は、全て概念的に論理的真理に還元することができる。例えば、2つ以上の言明が論理的に両立しないのは、それらの論理連結語が論理的に偽である場合かつその場合に限る(if and only if)。ある言明が他の言明の否定と論理的に両立しない場合、その言明はその他の言明を論理的に暗示する。ある言明が論理的に真であるのは、その否定が論理的に偽である場合のみである。ある言明とその否定の言明は互いに矛盾していなければならない。このようにして、全ての論理連結語は、論理的真理を保持するという観点から表現することができる。言明の論理的な形式は、その意味的または統語的構造と論理定項の配置によって決定される。論理定項は、言明の意味を制限する言語と組み合わせたときに、その言明が論理的真理であるかどうかを決定する。従って、言語に関係なく全ての論理定項数を区別する方法が決まらない限り、言明や論証の完全な真理を知ることは不可能である。
※この「論理的真理と論理定項」の解説は、「論理的真理」の解説の一部です。
「論理的真理と論理定項」を含む「論理的真理」の記事については、「論理的真理」の概要を参照ください。
- 論理的真理と論理定項のページへのリンク