ご意見、ご連絡スレ

67：横山信幸：2015/04/27(月) 00:06:46: すみません。また表示されませんでした。notを否定記号として使わせてもらいます。

前提１．not(「xがある」に真理条件がある) ⇔ not(「xがある」に真理値がある)

前提２．Ｐに真理値がある ⇔ ((Ｐは真)∨(Ｐは偽))

前提３．not(Ｐ∨Ｑ) ⇔ notＰ∧notＱ

推論４．2･3より、not(Ｐに真理値がある) ⇔ not(Ｐは真)∧not(Ｐは偽)

推論５．1･4より、not(「xがある」に真理条件がある) ⇔ not(「xがある」は真)∧not(「xがある」は偽)

前提６．「xがある」は真 ⇔ xはある

前提７．「xがある」は偽 ⇔ xは無い

推論８．5･6･7より、not(「xがある」の真理条件がある) ⇔ not(xはある)∧not(xは無い)

前提９．物理的に一切の機能を持たない非機能的クオリアを考えるときに、任意のyについて、「yの非機能的クオリアがある」の真偽は原理的に検証不可能

前提１０．Ｒの真偽が原理的に検証不可能 ⇔ not(Ｒは真理条件がある)

推論１１．9・10より、任意のyについて、not(「yの非機能的クオリアがある」は真理条件がある)

結論１２．8･11より、任意のyについて、not(yの非機能的クオリアがある)∧not(yの非機能的クオリアが無い)

以上です。これで表示できたでしょうか。正しい推論でしょうか。

新着レスの表示

※書き込む際の注意事項はこちら

※画像アップローダーはこちら

（画像を表示できるのは「画像リンクのサムネイル表示」がオンの掲示板に限ります）

掲示板管理者へ連絡無料レンタル掲示板