ご意見、ご連絡スレ

66：横山信幸：2015/04/26(日) 23:54:31: 否定記号が表示されませんでした。代わりに～をつかぃます。

前提１．～(「xがある」に真理条件がある) ⇔ ～(「xがある」に真理値がある)
前提２．Ｐに真理値がある ⇔ ((Ｐは真)∨(Ｐは偽))
前提３．～(Ｐ∨Ｑ) ⇔ ～Ｐ∧～Ｑ
推論４．2･3より、～(Ｐに真理値がある) ⇔ ～(Ｐは真)∧～(Ｐは偽)
推論５．1･4より、～(「xがある」に真理条件がある) ⇔ ～(「xがある」は真)∧～(「xがある」は偽)
前提６．「xがある」は真 ⇔ xはある
前提７．「xがある」は偽 ⇔ xは無い
推論８．5･6･7より、～(「xがある」の真理条件がある) ⇔ ～(xはある)∧～(xは無い)
前提９．物理的に一切の機能を持たない非機能的クオリアを考えるときに、任意のyについて、「yの非機能的クオリアがある」の真偽は原理的に検証不可能
前提１０．Ｒの真偽が原理的に検証不可能 ⇔ ～(Ｒは真理条件がある)
推論１１．9・10より、任意のyについて、～(「yの非機能的クオリアがある」は真理条件がある)
結論１２．8･11より、任意のyについて、～(yの非機能的クオリアがある)∧～(yの非機能的クオリアが無い)

以上です。正しい推論でしょうか。

新着レスの表示

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

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

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

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