科学と疑似科学とを判別する - 1524257541

941：Ken：2021/03/28(日) 20:53:35 ID:l3c2r2bk: それでは、ωは用いず、(ωa, ωb)や(ω₁, ω₂)だけにしましょう。それと、ベクトルも数学上の定義がはっきりしており、複数の成分から１つの状態を定量的に特定するものですから、この言葉も使わないのがよいと思います。

さて、また１つ行き違いが見えました。

＞「太陽が昇る」が正しくない(間違いである)のはどの場合ですか？

この表現では、私たちがこれまで論じてきたことと、切り口が異なります。私たちは、

太陽が昇る　∧　太陽が昇らない

が基準05違反になるかを論じてきました。>>884で、

＞Ｎｏ。徹底的にＮｏ。この２つの並立は「Ｐ∧￢Ｐ」です。

と言われた命題は

太陽が東に昇る　∧　太陽が東に昇らない

でしたが、同じことでしょう。しかしながら、

太陽が昇る　∧　太陽が昇らない
「太陽が昇る」が正しい　∧　「太陽が昇る」は正しくない

この２つが論理構造上、同じであるとは思えません。もっとも、

太陽が昇る
「太陽が昇る」が正しい

の２つは同じもので、>>940の例では、

ｐ1　∨　ｐ2　∨　ｐ3

になります。問題は、

太陽が昇らない
「太陽が昇る」は正しくない

の２つです。法則ａが破れず、１つの物体が１つの速度しかもてないなら、この２つは同じですが、法則ａが破れるなら、異なるものになります。なぜなら、太陽が昇らない、は、ω₁≤0かω₂≤0のどちらかを含めばよいのに、「太陽が昇る」は正しくない、となると、ω₁>0が入るのを排除せねばならないからです。>>940の例でいえば、

太陽が昇らない　→　ｐ2　∨　ｐ3　∨　ｐ4
「太陽が昇る」は正しくない　→　ｐ4

ゆえに、

（太陽が昇る　∧　太陽が昇らない）　＝　ｐ2　∨　ｐ3
（「太陽が昇る」が正しい　∧　「太陽が昇る」は正しくない）　＝　∅

になるはずです。
942：diamonds8888x：2021/03/29(月) 05:35:05 ID:Qix9q/lA: >>941
　いやあ、よかったよかった。[>>941]は内容としては正しいですよ。たったひとつの言葉(論理記号)の解釈間違いだけを除いてね。

＞太陽が昇らない　→　ｐ2　∨　ｐ3　∨　ｐ4
＞「太陽が昇る」は正しくない　→　ｐ4

　「〇〇ではない」という言葉をそういう意味に解釈するなら、その通りです。そしてその場合は、論理記号による￢Ｐ、基準05で使っている記号は「Ｐではない」という意味ではなく、「命題Ｐは正しくない」という意味になります。

【再掲】[>>353]
　　基準05: Ｐ∧￢Ｐは間違いである。言い換えれば、￢(Ｐ∧￢Ｐ)
　　基準06: Ｐ∨￢Ｐ

　もちろん通常は、「Ｐではない」「Ｐは正しくない」「Ｐは成立しない」「￢Ｐ」などは同じ意味で使われます。いきなり[>>941]で使うような意味に切り替えられたら、普通の人にはわかりませんよ。

　紛らわしい表現はやめてください。そもそも論理記号"￢"の意味をちゃんと正しく使ってくたざい。

【参照】[>>924]
＞　￢Ｐに当てはまる命題の定義は、Ｐに当てはまらない命題のすべてです。
＞　否定するといのは、そういうことです。￢、∧、∨などの意味はベン図でわかりやすく教えられているのは御存知でしょう？世界共通の定義ですよ？
943：Ken：2021/03/29(月) 22:43:05 ID:l3c2r2bk: 結局、言われているのは、こういうことですか？

今の私たちが認識する世界では、法則ａが成立し、１つの物体は同時に１つの速度しかもてない。

その場合、「昇る」の定義は物体の速度が正（ω>0）、「昇らない」の定義は速度がゼロ以下（ω≤0）。

もし、法則ａが破れ、１つの物体が同時に２つの速度をもてるのなら、「昇る」「昇らない」の定義が変わる。

その場合は、２つの速度の一方が正、他方がゼロ以下という状況（ω₁>0, ω₂≤0）は、「昇る」か「昇らない」のどちらかに含める。

ゆえに、「昇る　∧　昇らない」という状態は、生じ得ない。
944：diamonds8888x：2021/03/30(火) 05:32:54 ID:Qix9q/lA: >>943
＞結局、言われているのは、こういうことですか？

　まったく違います。[>>942]をどう読めばそうなるんですか？
　あっ、もしかして[>>942]を読まずに投稿したのでしょうか？

＞今の私たちが認識する世界では、法則ａが成立し、１つの物体は同時に１つの速度しかもてない

　１つの物体が同時に２つの速度を持つという理論が正しいとしての話をしています。つまり、１つの物体が同時に２つの速度を持っている世界の話をしています。今更なにを？

　【重点項目】Kenさんは言葉の使い方を間違えてますよ、と言っているのです。
　
＞論理記号による￢Ｐ、基準05で使っている記号は「Ｐではない」という意味ではなく、「命題Ｐは正しくない」という意味になります。

　そもそもKenさんの使ってきた意味で「〇〇ではない」を使うならば、１つの物体が同時に２つの速度なり位置なりを持つという現実の科学とは相反する理論など持ち出さずとも、現実の科学とは相反しない惑星の色問題[>>935,>>940]で考えればわかりやすいでしょうに。

　[>>940]ではq2とq3とが
　（恒星Xの惑星は赤い）∧（恒星Xの惑星は赤くない）
　となりますよね？ Kenさんの使い方に従えば、ね。

　もちろんこれは、【私が意図している】基準05が意味することとは違います。
945：Ken：2021/03/30(火) 23:14:26 ID:l3c2r2bk: >>944
＞１つの物体が同時に２つの速度を持つという理論が正しいとしての話をしています。つまり、１つの物体が同時に２つの速度を持っている世界の話をしています。今更なにを？

>>943で言ったのは、法則ａが破れず、１つの物体は同時に１つの速度しかもてない、と想定することから始めようということです。まず、この条件で整理をし、次に法則ａが破れる条件に勧めます。

法則ａが破れない条件では、

「昇る」の定義は物体の速度が正（ω>0）、「昇らない」の定義は速度がゼロ以下（ω≤0）。

ゆえに、「昇る　∧　昇らない」という状態は、生じ得ない。

ここまではよろしいですか？
946：Ken：2021/03/30(火) 23:21:21 ID:l3c2r2bk: すみません。また変換ミスがありました。

>>945
誤：次に法則ａが破れる条件に勧めます
正：次に法則ａが破れる条件に進めます
947：diamonds8888x：2021/04/02(金) 06:05:30 ID:Qix9q/lA: >>945,>>943
　失礼しました。私も読みが粗くて、特に[>>943]後半部を誤読していました。[>>944]の「【重点項目】」よりも前の部分は撤回します。

　[>>943]は全文その通りです。それが、[>>939,>>937,>>928,>>926,>>918]特に[>>918]で書いたことです。そして[>>942]で書いた通り、そのことをKenさんが誤解していた原因、逆に言えば私がKenさんの発想がさっぱり理解できなかった原因は「〇〇ではない」という表現の解釈の違いのせいだったのです。

　私は一貫して「Ｐではない」という表現を「命題Ｐは正しくない」という意味で使って来ました。なので、次のことは当然のことになります。

[>>943]
＞その場合は、２つの速度の一方が正、他方がゼロ以下という状況（ω₁>0, ω₂≤0）は、「昇る」か「昇らない」のどちらかに含める。

　お互いに、「相手の考えがこうではないか？」というコメントが錯綜してややこしくなったかも知れませんが、[>>942]と[>>944]の「【重点項目】」以降の文章についても、合わせてのレスをいただけますか？複数にわたっていいですから。
948：ミケ：2021/07/11(日) 20:40:48 ID:???: もうこのスレッドは使っておられないので議論の邪魔にはならないでしょうからメモ代わりに一つ。
見やすい位置に必要だと思ったので。
※このスレッドの議論の続きは「科学と疑似科学とを判別する(2)」をご覧ください。

このスレッドでは
Kenさんに対して、diamonds8888xさんが、化学的に正しいと考えるルールを挙げていくことになった。
（>>54、>>55より）

※疑似科学の基準ではなく「正しい科学の基準」

基準01. へそ理論(オムファロス)や世界五分前仮説のような形の理論は、科学的ではない。
基準02. 理論Ａと対立する理論Ｂを否定しても理論Ａの検証にはあまりならない。
（>>56参照）

基準03. 理論Ａの論理学的意味での対偶を検証して理論Ａの検証とすることは、科学的に正しい。
基準04. 理論Ａの論理学的意味での逆を検証しても、理論Ａの検証にはならない。
（>>59参照）

基準05: Ｐ∧￢Ｐは間違いである。言い換えれば、￢(Ｐ∧￢Ｐ)
基準06: Ｐ∨￢Ｐ
（>>352参照）
※基準05は無矛盾律、基準06は排中律のこと。