偏邏輯

偏邏輯亦譯“部分邏輯”。處理不真不假命題（即真值空白）和無指稱的單稱詞項的一種非經典邏輯。尋根溯源，弗雷格即已發現，包含無指稱的單稱詞項的表達式本身就缺乏真值，因而包含無真值的組成部分的複合句就沒有真值。

基本介紹

• 中文名：偏邏輯
• 別名：部分邏輯

如果允許沒有指稱的詞項出現，必然導致非經典邏輯。在他看來，這是萬萬使不得的。斯邁爾把該問題倒轉過來，他在1960年指出，只要敢於構想出現非經典邏輯的可能性，就應當允許無指稱詞項，例如鮑契瓦爾的第三值（悖）應當解釋為真值空白。