マガジンのカバー画像

“白い”ねこのーと

26
喧嘩と論理の深淵。その冒険記。
運営しているクリエイター

2019年1月の記事一覧

page.14 外的恒真は内的恒真を包摂する

トートロジー(恒真式)にも,次のように,内的なものと外的なものとが区別され得るのではないか。

もっとみる

page.12 錯誤類型

トピックの実態は,アバター間のコミュニティの画一化運動であり,それには何らかの命題の真理値に対する不一致が在るのだと言ったが,このような不一致はその形態に従って,次のような3つの類別をすることができる。

『公理の錯誤』トピックに演繹的に関わる公理系に対応する真理値について,錯誤が認められる。 『推論の錯誤』トピックを演繹する推論規則について,錯誤が認められる。 『表現の錯誤』トピックを表現

もっとみる

page.11 矛盾

喧嘩ないし論争を考察することと,論理を考えることは親和性が高い。そして,論理を考える上で,“矛盾”という概念は避けて通れない。

本項ではこの“矛盾”をつぎのように定義しよう。すなわち,任意の命題Aが矛盾しているとは,Aを真にする解釈が──その解釈の関数空間上に──存在し得ないようなAの論理構造を指す。

(本項では,解釈 I によって,命題 P に ⊤ が対応付けられることを I(P)=⊤

もっとみる