シェア
どろぼう猫
2019年1月25日 05:15
まずは，外的矛盾と内的矛盾を定義する。
2019年1月5日 19:29
喧嘩ないし論争を考察することと，論理を考えることは親和性が高い。そして，論理を考える上で，“矛盾”という概念は避けて通れない。 本項ではこの“矛盾”をつぎのように定義しよう。すなわち，任意の命題Aが矛盾しているとは，Aを真にする解釈が──その解釈の関数空間上に──存在し得ないようなAの論理構造を指す。 （本項では，解釈 I によって，命題 P に ⊤ が対応付けられることを I(P)=⊤
