「タイプとトークンの区別」を解説文に含む見出し語の検索結果(61~70/494件中)
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
ナビゲーションに移動検索に移動ポール・チャーチランド(Paul Churchland、1942年10月21日 - )は、カナダ出身の哲学者。専門は心の哲学、神経哲学。2007年現在、カリフォルニア大学...
ナビゲーションに移動検索に移動ポール・チャーチランド(Paul Churchland、1942年10月21日 - )は、カナダ出身の哲学者。専門は心の哲学、神経哲学。2007年現在、カリフォルニア大学...
否定標準形(ひていひょうじゅんけい、英: negation normal form, NNF)とは、否定記号 ¬ {\displaystyle \lnot } が原子論理式のみにかかり、...
否定標準形(ひていひょうじゅんけい、英: negation normal form, NNF)とは、否定記号 ¬ {\displaystyle \lnot } が原子論理式のみにかかり、...
性質二元論の概念図。ひとつの実体(Physical substance)が、二つの性質(Physical property, Mental property)を持つという考え性質二元論(せいしつにげん...
性質二元論の概念図。ひとつの実体(Physical substance)が、二つの性質(Physical property, Mental property)を持つという考え性質二元論(せいしつにげん...
非古典論理(ひこてんろんり、non-classical logic(s))は、古典論理におけるいくつかの仮定を否定、もしくは置き換えることによって構築された論理、あるいは、古典論理における仮定をすべて...
非古典論理(ひこてんろんり、non-classical logic(s))は、古典論理におけるいくつかの仮定を否定、もしくは置き換えることによって構築された論理、あるいは、古典論理における仮定をすべて...
非古典論理(ひこてんろんり、non-classical logic(s))は、古典論理におけるいくつかの仮定を否定、もしくは置き換えることによって構築された論理、あるいは、古典論理における仮定をすべて...