「論理的帰結」の版間の差分

m
ページ改名に伴うリンク変更
m (これは何ですか?一般的に広く知られている物ではなさそうですが。フィクションから引用ですか?)
m (ページ改名に伴うリンク変更)
タグ: 2017年版ソースエディター
 
 
=== 根拠に基づく記述 ===
これまでの記述は「真理保持的; truth-preservational」であり、よい演繹の特性として、真の前提から真でない結論は導かれないと見なしている。これとは別に「根拠保持的; warrant-preservational」な記述もあり、よい演繹の特性は、正当に断言可能な前提から正当に断言できない結論は導かれないとする。これは大まかに言えば[[直観主義 (数学の哲学)|直観主義]]に相当する。
 
== 非単調論理 ==