「直観主義_(数学の哲学)」を解説文に含む見出し語の検索結果(11～20/247件中)
直観主義論理（ちょっかんしゅぎろんり、英: intuitionistic logic）または直観論理（ちょっかんろんり）、あるいは構成的論理（こうせいてきろんり、英: construc...
直観主義論理（ちょっかんしゅぎろんり、英: intuitionistic logic）または直観論理（ちょっかんろんり）、あるいは構成的論理（こうせいてきろんり、英: construc...
直観主義論理（ちょっかんしゅぎろんり、英: intuitionistic logic）または直観論理（ちょっかんろんり）、あるいは構成的論理（こうせいてきろんり、英: construc...
非古典論理（ひこてんろんり、non-classical logic(s)）は、古典論理におけるいくつかの仮定を否定、もしくは置き換えることによって構築された論理、あるいは、古典論理における仮定をすべて...
非古典論理（ひこてんろんり、non-classical logic(s)）は、古典論理におけるいくつかの仮定を否定、もしくは置き換えることによって構築された論理、あるいは、古典論理における仮定をすべて...
非古典論理（ひこてんろんり、non-classical logic(s)）は、古典論理におけるいくつかの仮定を否定、もしくは置き換えることによって構築された論理、あるいは、古典論理における仮定をすべて...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/18 18:30 UTC 版)「マイケル・ダメット」の記事における「哲学作品」の解説ドイツ人哲学者フレーゲの研究によっ...
分析哲学において反実在論（英: anti-realism）とは、言明の意味論として二値原理を採用しない場合における実在論の様な立場を言う[1]。イギリスの分析哲学者マイケル・ダ...
分析哲学において反実在論（英: anti-realism）とは、言明の意味論として二値原理を採用しない場合における実在論の様な立場を言う[1]。イギリスの分析哲学者マイケル・ダ...
否定標準形（ひていひょうじゅんけい、英: negation normal form, NNF）とは、否定記号 ¬ {\displaystyle \lnot } が原子論理式のみにかかり、...