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

232：Ken：2018/12/14(金) 21:43:22 ID:MwC7Hw/E: この補足説明は不要かもしれませんが、念のため

russell-j.com/cool/16T-0901.HTM
より抜粋。

＞nothing that is happening now or will happen in the future can disprove the hypothesis that the world began five minutes ago.

まさにこの点に、私は疑義をはさんでいます。

私たちの世界が５分よりも前から存在していたという情報が外の世界から得られたなら、それが「will happen in the future」な事実であり、「the world began five minutes ago」という理論を「disprove」するはずです。

もちろん現在（2018年12月）そのような観測事実はありません。光波動説が登場した17世紀に媒質（エーテル）の存在を示す観測事実がなかったように。それでもそのような観測が将来なされる可能性を指摘すれば、理論は原理的に検証／反証可能であるという合意がなされています。

また

＞it is logically tenable

世界５分前仮説が「logically tenable」であるためには因果律を否定する必要があるが、文章のどこにもその記述はありません。したがって「logically tenable」ではありません。

たしかに因果律を肯定する記述もありません。

ですが、科学の仕事が観測事実を説明すること、つまり観測事実が起こる原因を示すことであるなら、原因が必ずあるという前提があるはずです。ですから因果律に関する記述がなければ因果律を前提とするべきで、因果律を否定する場合にはそのことを明記する必要があるでしょう。
233：fnorder：2018/12/15(土) 14:19:34 ID:tlwvHx.k: A「人間のできることには限りがあるよ。たとえば、ヒトは空を飛べないよね」
B「そうでしょうか？　飛行機で飛んでますよ」
A「いやいや、飛行機はエンジンついてるし」
B「人力飛行機ならエンジンはありません。人間の力だけです」
A「あれは機械なんだから、話が違うよ」
B「ハンググライダーは？　エンジンもないし機械でもないですよ」
A「それにしたって人間の器官ではないんだし、自力で飛んでるとは言えないな」
B「分かりました。では、仮に遺伝子操作で人間に翼をつけて飛べるようにしたらどうでしょう」

Bさんは『機械を作るのも遺伝子操作も人間の能力と言える。つまり人間が飛べないとは言えない』と思ってそうですね。
そして多分Aさんは『そういうこっちゃねえよ！』と思っているでしょう。

私はAさんの方がマトモだと思うんですが、Bさんを説得するのは難しいでしょうね。
234：diamonds8888x：2018/12/16(日) 06:27:44 ID:8LD5Iq7Y: >>231, >>232
【理論と公理の基本から】

　真か偽かを判定しうる事柄を述べた文である「命題」と、一連の命題を集めた体系である理論(公理系)とを区別しないと混乱しますから、命題を小文字で示すことにします。ある理論において観測結果を見る前に前提とした命題が公理です。

　むろん理論を考えた人の心の中には、その公理を思いつく原因となった観測結果が何かあるのでしょうが、理論の内容をまず検討する段階では、観測結果を考慮に入れてはいけません。観測結果が必要になるのは、その理論が正しいか否かを検証ないし反証しようとする段階でのことです。

　ではＡとＡ１とＡ２との関係を正確に書き直します。

理論Ａ：世界５分前仮説(一群の公理および古典論理法則のみからなる)
命題ａ１：外の世界がある
命題ａ２：外の世界はない

理論Ａ１：理論Ａ＋公理ａ１
理論Ａ２：理論Ａ＋公理ａ２

　　では理論Ａでは外の世界については何が言えるかというと、Kenさんの指摘通り排他律が成立します。これは論理法則ですから、論理的に矛盾のないあらゆる理論で成立します。

理論Ａで成立する命題のひとつ：　外の世界がある、または、外の世界はない
　　　　ａ１∨ａ２　　(∨は "or" を表す論理記号)
　　　　なぜなら、ａ２＝￢ａ１　(￢は "not" を表す論理記号)

＞もし私がＡ２はないものと決めてかかりＡ１だけを追求したら、それは「モディファイ」かもしれません。

　上に述べたように「追求する」というのは理論Ａが正しいか否か(観測と一致するか否か)を検証ないし反証しようとすることです。しかもそれは実は、「ａ１とａ２のどちらが正しいか？」ということを追求していることであり、理論Ａの正しさの追求になってはいません。理論Ａは「どちらもありうるよ」と言っているのですから、ａ１とａ２のどちらが正しくても理論Ａ自体は間違ってはいません。

　つまり、外の世界の存在が検証されようが反証されようが、理論Ａは間違いにはなりません。

＞Ａ１とＡ２のどちらが事実を反映するかは結論が出るではありませんか。

　公理ａ１と公理ａ２のどちらが観測に一致するかは判定できるでしょう。しかし理論Ａはどちらでもよいという理論ですから反証されません。Kenさんが挙げた観測結果はすべて理論Ａと一致します。

　既に述べましたが、理論Ａによれば「観測により存在が確認できた外の世界も５分前に突然し始めた」ことになります。

　例えば「外の世界を確認した観測者」がいたとします。その人がまさに外の世界を確認した瞬間、その時点からちょうど５分前に、「外の世界を示唆する事実が観測されるような形で、内も外も含めた世界が突然し始めた、ということになるわけです。
235：diamonds8888x：2018/12/16(日) 06:28:38 ID:8LD5Iq7Y: >>231, >>232
【因果律と論理法則】
＞世界５分前仮説が「logically tenable」であるためには因果律を否定する必要があるが、文章のどこにもその記述はありません。したがって「logically tenable」ではありません。

　この文章の意味がはっきりとは理解できませんが、古典論理法則の中には因果律というものは含まれていませんよ。因果律を否定したから「logically tenable」でなくなることはありません。
　「文章のどこにもその記述はありません」ということに力点があるのなら、次の御発言と同じことを言いたいのですよね？

＞ラッセルが提唱した世界５分前仮説に、因果律の否定を求める条件は含まれますか？

＞因果律を否定する場合にはそのことを明記する必要があるでしょう。

　【５分前以前の因果律の否定】は公理ではなく定理です。その論証はすでに述べました[>>217]。

　まさか５分前以降の因果律も否定しているという誤解はしていませんよね？大事な点なので繰り返し強調していますが、Kenさんはいつでも５分前以前という条件を外しているので心配になります。
236：diamonds8888x：2018/12/16(日) 06:31:50 ID:8LD5Iq7Y: >>231, >>232
【因果律のない理論】
＞科学の仕事が観測事実を説明すること、つまり観測事実が起こる原因を示すことであるなら、原因が必ずあるという前提があるはずです。

　ビッグバンが始まった時点から宇宙が始まった、という理論には宇宙開闢以前の時間はないことになりますので、【宇宙開闢以前には】因果律はありません。これは「世界５分間仮説」の場合と同じく、「宇宙開闢以前の時間はない」という公理から導かれる定理です。

　特異点は気持ち悪いという理由からそれ以前の世界の痕跡を探る研究も行われていますが、「宇宙開闢以前の時間はない」という命題が非科学的だという理由で頭から否定されたことはありません。

　まさかビッグバン理論が宇宙開闢以降の因果律も否定しているという誤解はしませんよね？
237：diamonds8888x：2018/12/16(日) 06:44:36 ID:8LD5Iq7Y: 【それがモデファイです】
>>231, >>232

＞それでもそのような観測が将来なされる可能性を指摘すれば、理論は原理的に検証／反証可能であるという合意がなされています。

　Kenさんも御承知の通り、「可能性の指摘」が妥当ならばです。具体的には、「Ｘが存在する」という理論が検証／反証可能であるためには、具体的な観測方法が得られるだけの「Ｘの特性、性質」をも述べておく必要があります。

　なのでKenさんは、観測可能であるための色々な性質を持つ「検証／反証可能な外の世界」がどんなものかを御提案してきました。

　そしてまさに、「検証／反証可能な外の世界」の性質を規定して示すこと自体が、理論Ａにはない新たな公理を理論Ａに付け加えていることになるのです。
238：Ken：2018/12/16(日) 09:57:52 ID:MwC7Hw/E: >>234

＞例えば「外の世界を確認した観測者」がいたとします。その人がまさに外の世界を確認した瞬間、その時点からちょうど５分前に、「外の世界を示唆する事実が観測されるような形で、内も外も含めた世界が突然し始めた、ということになるわけです。

お待ちください！

外の世界を確認するのは、検証の第１歩にすぎません。>>186で書いたように、肝心なのは外の世界から情報を受け取ることです。

＞もう１つ重要なことは、エネルギーが入ってくるなら情報もまた伝達可能ということです。
＞それなら、私たちの世界が５分以上前には存在しなかったという情報を、外の世界から受け取るのは原理的に可能ではないでしょうか？

つまり外部の観察者から「あなたの世界は10分前には存在していましたよ」という証言を得ることです。

10分前の世界を撮影した映像があればなおよいでしょう。

それも「フェイクだ」と強弁されるかな？？

それなら、５分のあいだには絶対に撮影不可能な映像を見せることです。例えば２つの動画に同じ人物が写っており、１つは背景が北海道でもう１つは沖縄、というような。
239：Ken：2018/12/16(日) 13:15:42 ID:MwC7Hw/E: >>235

＞【５分前以前の因果律の否定】は公理ではなく定理です。その論証はすでに述べました[>>217]。

>>217で述べられたのはこの部分ですね。

＞【５分前以前には因果律は適用できません】。原因の存在するはずの【過去】という時間がないからです

結局、diamonds8888xさんは【過去】（t<0）がないから因果律もないと言われ、私は因果律はあるはずだから【過去】（t<0）もあるはず、と主張しているわけですね。

純粋な論理だけで自説の正しさを証明することはできなさそうですが、ただ、これも繰り返していますが、私の主張にはすでに実例があると思うのです。コンピュータがシミュレートする仮想世界がそうです。

プログラムとデータがメモリに搭載されＣＰＵの処理が始まった瞬間がt=0です。その事象が起こるにはコンピュータのハードウェアとソフトウェアを作成するという原因事象があり、原因事象が経過したのは、仮想世界の住人にとってはt<0の時間になります。

>>236
＞「宇宙開闢以前の時間はない」という命題が非科学的だという理由で頭から否定されたことはありません。

このような主張をされる人は、シミュレーション世界をどのように解釈するのでしょうか？
240：Ken：2018/12/16(日) 13:35:57 ID:MwC7Hw/E: >>237

＞「検証／反証可能な外の世界」の性質を規定して示すこと自体が、理論Ａにはない新たな公理を理論Ａに付け加えていることになるのです。

この文章では、私がやったことを正確に表現していないのではないでしょうか？

理論Ａ（世界５分前仮説）の段階では、外の世界があるともないともいっていません。そして私が提案したのは、宇宙のエネルギー総量の変化を調べてみようという、それだけですよ。

ただ、その調査の結果によっては、外の世界を考えねばならないといったのです。

もう一度エーテルのケースを考えてみましょう。理論Ａは「光波動の媒質が存在する」というもので、この段階では光速度の観測値について何も論じていません。

それなら、光速とエーテルの関係は、理論Ａにはない新たな公理にはならないのでしょうか？
241：diamonds8888x：2018/12/18(火) 06:24:29 ID:8LD5Iq7Y: >>238
簡単に１点だけ。

＞つまり外部の観察者から「あなたの世界は10分前には存在していましたよ」という証言を得ることです。
＞
＞10分前の世界を撮影した映像があればなおよいでしょう。

　外部の観察者は「あなたの世界は10分前には存在していましたよ」という記憶と共に５分前に突如として出現した、というのが世界５分前仮説の結論です。映像も同様です。

－－－－－－－－
以下はコメントではなく疑問です。

＞それも「フェイクだ」と強弁されるかな？？

　フェイクと何のことですか？？

＞それなら、５分のあいだには絶対に撮影不可能な映像を見せることです。例えば２つの動画に同じ人物が写っており、１つは背景が北海道でもう１つは沖縄、というような。

　設定状況がさっぱりわかりません。もう少し詳しくお願いします。何がなぜ「絶対に撮影不可能」なのですか？世界５分前仮説の検証には「５分のあいだには絶対に撮影不可能な映像を」が必要だとおっしゃりたいのですか？
242：ゲジゲジ：2018/12/18(火) 07:31:58 ID:OJhq6ZPM: ヨコからですが、お2人に提案です。

ちょっと論点が、スレッドの主旨からずれてきているように感じます。
取り敢えずいちど論点を整理して、どこまでお2人で合意ができているのか確認されては如何でしょう？
具体的には、以下の点にKenさまは同意されますか？
私からの質問には答えられないでしょうからdiamonds8888xさまから質問して頂けると幸いです。

尤も、これまでのご発言を読み限り、以下の点まではKenさまも同意されていると読み取れます。
ただ以下の点は、このスレッドの根幹をなす論点ですから、ここは念を入れて確認された方が良いかと思います。

１）
反証可能性のない理論（反証できない理論）は科学的ではない。・・・基準01

２）
反証可能性のない理論とは、【具体的な仮説を導く事のできない理論】であり、この様な理論は【検証可能な形で説明できない】ので、【原理的に反証できない】。よって、この様な理論は基準01を満たさないので科学的ではない。

３）
少なくとも【因果律と外の世界を含まない（想定しない）世界5分前仮説】は【検証可能な形で説明できない】ので、【原理的に反証できない】。
よって、【因果律と外の世界を含まない（想定しない）世界5分前仮説】は基準01を満たさず科学的ではない。
また、【因果律と外の世界を含まない（想定しない）世界5分前仮説のような理論】は基準01を満たさず科学的ではない。

４）
逆に【因果律と外の世界を含む（想定した）世界5分前仮説】は【検証可能な形で説明できる】ので【原理的に反証可能】である。
よって【因果律と外の世界を含む（想定した）世界5分前仮説】は基準01を満たし、少なくとも基準01においては科学的と言える。

少なくともKenさまが上記4点に同意できるのであれば、まず「基準01」がどういうものであって、そして「基準01」を満たさない理論は科学的ではない、という点にはお2人の合意ができた事になるかと思います。

で、今直近の論点になっているのは【（本来の）世界5分前仮説】は、因果律と外の世界を含むのか否か（想定するのか否か）ですよね。
diamonds8888xさまは（そしてもちろん私やミケさまたちも）【（本来の）世界5分前仮説】はその理論に因果律や外の世界を内包しておらず、【因果律や外の世界を付け加えた世界5分前仮説】は【（本来の）世界5分前仮説】とは別の理論だと考えています。
しかしKenさまはこの点が納得いかない、ということですよね。

以上、取り敢えず論点を整理してみました。
まずは一度ご確認を頂ければ幸いです。
243：Ken：2018/12/18(火) 07:51:46 ID:KLVxY4.k: >>241
＞世界５分前仮説の検証には「５分のあいだには絶対に撮影不可能な映像を」が必要だとおっしゃりたいのですか？

そうです。５分で北海道から沖縄まで移動はできませんから。

その２つの動画が、世界創世時の偽装工作の影響を受けない外の世界からもたらされたら、撮影対象である内の世界が５分以上続いている証拠になる、というつもりでした。

ただ、どうやらdiamonds8888xさんは、外の世界も偽装工作の影響を受けていると言われているようですね。

今は時間がないので、あらためてコメントします。
またのちほど。
244：ゲジゲジ：2018/12/20(木) 19:50:34 ID:DpYdYy4Q: まだKenさまからもdiamonds8888xさまからも>>242についてお返事を頂いておりませんが、私としても書き込みできる時間が限られています。
今、少し時間ができたので、先走る事にはなりますが、いくつかコメントさせて頂きます。

少しでもKenさまが理解をされるお手伝いができればと思っております。
diamonds8888xさまには必要に応じて活用して頂ければ幸いです。

というわけで、２つほど思考実験をしてみたいと思います。
245：ゲジゲジ：2018/12/20(木) 19:51:08 ID:DpYdYy4Q: まず因果律について。

因果律に関連して、一般的には以下の理論があらゆる科学理論において「公理」として内包されているでしょう。
公理１．結果には原因がある（因果律）。
公理２．原因は結果よりも前にある。
公理３．時間は過去から未来に向かって流れる。
公理４．公理２と公理３から、原因は結果よりも過去にある。

さて、ある現象には必ず原因となった現象があります。
そして原因となった現象にも、そのまた原因となった現象があります。
仮にこの世界の始まりの原因が「外の世界」にあるとすれば、「外の世界」の始まりの原因は「外の外の世界」にあるでしょう。
そして「外の外の世界」の始まりの原因は、「外の外のそのまた外の世界」に・・・

こうして「原因の原因のそのまた原因の・・・」とずっと辿って行ったら、あるいは「外の世界の外の世界の外の世界の・・・」とずっと辿って行ったら、最終的にどこに行き着くでしょうか？

便宜上、行き着いた先を「究極の原因」と呼ぶ事にします。「究極の原因」はすべての原因です。
と、いう事は、時間が始まった原因でもあるはずなので、「究極の原因」の時点は「究極のt＝0」の時点です。
では「究極の原因」はどうなっているのでしょうか？

＜考察１＞「究極の原因」は原因がなく起こった
「究極の原因」に原因はありません。それ以上は原因を辿れない時点を「究極の原因」としているのだから。
そしてその時点は「究極のt＝0」ですから、それ以上の過去（究極のt<0）はありません。
しかし「究極の原因」となる現象は起こりました。その現象が起きなければ、結果として起きるはずのそれ以降の現象は起こり得ないのですから。「究極の原因」となる現象が起きなければ、世界は「外の世界」や「外の外の世界」なども含めて存在できないはずですから。
従って「究極の原因」は特異点で、その時点では因果律は崩壊します。

＜考察２＞「究極の原因」は存在しない
因果律に特異点は存在しないと考えます。
ですから「原因の原因のそのまた原因の・・・」と、どこまでもひたすら、無限に辿れます。
時間は無限に過去に遡れます。
この考えでは世界に始まりはありません。なぜなら過去は無限に辿れるのだから。
世界は始まる事なく始まりました（言葉で表現するのは難しいですが）。

＜考察３＞「究極の原因」では原因が未来にある
「究極の原因」は因果律（上の公理１）の特異点ではなく、公理２もしくは公理３の特異点と考えます。結果、公理４の特異点にもなります。
「究極の原因」はそれ以上過去に原因を辿れませんから、過去ではなく未来の現象を原因として起こりました。
あるいは「究極の原因」近辺では、時間は未来から過去に向かって流れています。

さて、＜考察２＞と＜考察３＞については、「なぜそうなっているのか？」という疑問が生じます。
つまり＜考察２＞では、なぜ世界は始まる事もなく始まったのか？
そして＜考察３＞では、なぜ「究極の原因」の時点では時間軸が逆転するのか？
そこには時間軸を越えた「原因」があったはずで、結局はそれこそが「究極の原因」となってしまうでしょう。

というわけで、この思考実験の結果、因果律は「すべての始まり」、「究極の原因」、「究極のt＝0」の時点では崩壊し、原因がなく「究極の原因」という結果が生じたと考えざるを得ません。Kenさまは以下のように仰いますが・・・

　>>220
　>世界の始まりは、ビッグバンのような特異点を示唆するものとは限らない
　>たとえビッグバンを想定しても、特異点を想定することはできないのでは
　>>232
　>世界５分前仮説が「logically tenable」であるためには因果律を否定する必要があるが
　>>239
　>diamonds8888xさんは【過去】（t<0）がないから因果律もないと言われ、私は因果律はあるはずだから【過去】（t<0）もあるはず
　>私の主張にはすでに実例があると思うのです。コンピュータがシミュレートする仮想世界がそうです。

そもそも因果律という理論自体が、「すべての始まり」の時点では因果律が崩壊するという特異点を内包しているのです。
246：ゲジゲジ：2018/12/20(木) 19:52:22 ID:DpYdYy4Q: 次に世界5分前仮説について。

>>245を読まれるとお気付きになると思いますが、世界5分前仮説には少なくとも2通りの解釈が成り立ちます。

＜解釈１＞
世界5分前仮説が主張する世界の始まりとは「究極の原因」、「究極のt＝0」の時点である。
つまり「究極のt＝0」が実は5分前であり、5分前に何の原因もなく世界のすべてができあがった。
当然、この解釈では「外の世界」はあり得ません。

＜解釈２＞
世界5分前仮説が主張する世界の始まりは飽くまでも「この世界」の始まりであって、「究極の原因」の時点ではない。
従って「t＝0」が5分前だとしても、それに先行する過去が「外の世界」に存在した。

世界5分前仮説がどちらの解釈なのかは原文を読んでも書かれていません。
Kenさまは当然の事として＜解釈２＞の方を採用されたのですよね。

さて、ではKenさまに従って、＜解釈２＞に基づいて世界5分前仮説を思考実験で検証してみましょう。
折角なので>>221の続きを考えてみます。

　>ここに１人の人物がいます。
　>彼は、この世は実は５分前に始まったのであり、彼を含む全員が偽の記憶を植え付けられているのではないかと疑っています。
　>どうすれば真相を明らかにできるかと考えた彼は、もしかしたらこの世の外に別の世界があり、
　>彼自身の世界を観測しているかもしれないと発想しました。

********* 物語のはじまり、はじまり～ ********
彼は、外の世界の存在を示す証拠を探し始めました。
具体的には、宇宙のエネルギー総量を調べたり、気流のような自然現象が有限な大きさの要素から作られている事例を探すことです。

そのためには資金が必要です。
彼はあちこちの国家や企業に資金提供を呼びかけました。
幸いにして、いくつかの国や企業が彼の研究に出資を約束してくれました。
やがて彼の研究に共感する研究者たちも現れ、世界5分前仮説を検証する国際的なプロジェクトチームが立ち上がります。

宇宙のエネルギー総量を調べたり気流の要素を解析するための大規模な実験装置が開発され、様々な観察や実験が行われました。
そして遂に、彼らは外の世界が存在する事を突き止めたのです。

しかしまだ道半ばです。
次は外の世界から、この世界が5分前にできた証拠となる情報を得なければなりません。
外の世界の住人から真実を聞き出そうと思えば、外の世界と言葉を交わすための翻訳機械の開発も必要です。

具体的にどうやったかは置いておいて、ともかく彼らプロジェクトチームは外の世界から、この世界が5分前にできた事を証明する情報を得る事に成功します。
彼らは世界5分前仮説を検証するという、各々の人生をかけた一大プロジェクトを成功させたのです。

彼は論文を書きました。そして遂に論文も完成しました。
彼はとてもお腹が空いている事に気が付いて、カップラーメンにお湯を注ぎます。
しかしふと考えます。論文が完成したのだから、まずは1人ささやかな祝杯を挙げようと。
彼はワインとワイングラスを用意します。
冷蔵庫の中から、つまみのチーズを探します。
その時、彼は冷蔵庫にチキンがある事に気が付きます。
彼はチキンをレンジでチンします。

気が付いたら、カップラーメンにお湯を注いでから7分が経過していました。
彼はちょっと舌打ちしましたが、カップラーメンがのびてしまった事など、論文が完成した喜びの前ではどうでも良い事です。
彼はワインで1人乾杯し、のびたカップラーメンに箸をつけました。
********* おしまい ********
247：ゲジゲジ：2018/12/20(木) 19:53:08 ID:DpYdYy4Q: さて、彼や彼のプロジェクトチームは世界5分前仮説を検証したでしょうか？
実は残念ながら検証していないのです。

Kenさまが>>221の書き込みをされたのが2018年12月7日の20：00ですね。
彼がやった事は「世界は2018年12月7日19：55にできた」という仮説の検証です。世界5分前仮説の検証ではありません。

世界5分前仮説ではどう考えるでしょうか？
そう。彼が実施した全ての研究の記憶と記録、書きあがった論文、それらのすべてが【* おしまい *】の時点から5分前に、それ以前から世界があったかのように偽装してつくられたのです。
いくつかの国家や企業が彼らの研究に出資した記録も帳簿として残っているでしょう。でもそれも偽装です。
カップラーメンは、お湯を入れてからちょうど2分が経過した状態で、5分前につくられたのです。

この様に考えると、世界5分前仮説を検証するためには、【* 物語のはじまり、はじまり～ *】から【* おしまい *】までを5分以内に実施しなければなりません。5分以上かかってしまったら、たとえ外の世界からどんな情報を得たとしても、5分前以前に得たものについてはフェイクだという事になってしまうのです。

次に＜解釈１＞に基づいて、外の世界が存在しない場合を考えてみましょう。
しかし結論は同じです。
彼が実施した全ての研究の記憶と記録、書きあがった論文、それらのすべてが【* おしまい *】の時点から5分前に、何の原因もなくその状態でできたのです。
「そんなバカな！」と思われるでしょうが、私もそう思います。きっとラッセル自身もそう思ったでしょう。
ただ、その様に考えたとしても【* おしまい *】の時点の事実と何ら矛盾は生じません。世界5分前仮説が理論の拠り所とする根拠は、現在（0分0秒時点）の観察事実と矛盾がない事ただそれだけです。
ラッセルの真意は、「たとえそんなバカな事を言われても反証できませんよね」という事です。

diamonds8888xさまがこう仰っていますよね。
　>>234
　>つまり、外の世界の存在が検証されようが反証されようが、理論Ａは間違いにはなりません。

diamonds8888xさまのご発言の真意とは少し違うかもしれませんが、たとえ外の世界の存在を明らかにしたとしても、世界5分前仮説の検証ないしは反証にならない事がご理解頂けるでしょうか？
248：Ken：2018/12/21(金) 21:09:05 ID:owm0WxE2: この投稿は、これまでに私が主張してきたこととは断絶している可能性があるので、注意してください。そうなった原因は、ラッセルの原文に触れたからです。

diamonds8888xさんは>>230で、

＞[>>227]には全文に賛同

といわれました。ということは、>>227で紹介されている文章（russell-j.com/cool/16T-0901.HTM）にも賛同されると理解してよろしいでしょうか？

私なりにこの文章を注意深く読んでみましたが、この世界５分前仮説の説明はウィキペディアの記事とは異なるし、diamonds8888xさんが述べてこられたこととも一致しないのではないかと思われるのです。

ここで述べられたラッセルの主張を一言でいえば「記憶は当てにならない」ということでしょう。過去の事象をどれだけ覚えていても、その事象が実際に起こったことの証明にはならない。そして肝心なことは「５分前」はそのような過去の時間の１例に挙げているだけで、５分前がなにか特別な時間、いわゆる特異点、とされているわけではないということです。

これまで私たちは、５分以上前に因果律が存在したかを論じましたが、５分以内の過去では因果律の成立を当然視してきました。でもラッセルの文章のとおりなら、過去の記憶があてにならないのは文字通りすべての過去で、５分以上か以内かは問題になりません。１分前だろうが、１秒前だろうが、記憶を信用できないのは同じです。

例えば５分前の時間をt=0に設定すると、現在はt=5になるわけですが、ここで宇宙のエネルギー総量をＸと見積もったとします。その１時間後（t=65）に同じ観測を繰り返すとエネルギーはＹ（≠Ｘ）という結果が出ました。ではこれをもって宇宙のエネルギー量が変化したといえるでしょうか？

いえません。なぜならt=5の観測値がＸであったという記憶が信用できないのですから。

この例に限らず、どんな観測結果も事実として採用できないとなれば、すべての科学理論は崩壊するでしょう。「世界５分前仮説」が科学理論たりえないというのは、そのような文脈の中で、分かり易い極端な例として挙げられたのではありませんか？

でもそれは一般にいうところの反証可能性とは別の問題でしょう。なによりラッセルの論法に従えば、ニュートン力学も、量子論も、化合物の化学式も、むろん進化論も、検証も反証もできないことになってしまいます。
249：diamonds8888x：2018/12/30(日) 05:35:04 ID:GqaTAEe2: >>248
【最初に些細な注意点】
＞ということは、>>227で紹介されている文章（russell-j.com/cool/16T-0901.HTM）にも賛同されると理解してよろしいでしょうか？

　なんでそうなるの？ゲジゲジさんの文章ではないのに？
　ラツセルの文章に異は唱えませんけど、Kenさんのこの推測自体はおかしいですよ。

【まずは普通のコメントから】
＞でもラッセルの文章のとおりなら、過去の記憶があてにならないのは文字通りすべての過去で、５分以上か以内かは問題になりません。１分前だろうが、１秒前だろうが、記憶を信用できないのは同じです。

　おお、その点に御自分でたどり着かれたのは素晴らしい。別に０秒前、つまりこの瞬間に世界が生じたという理論でも本質は同じです。ただそれでは時間の流れと因果律の呪縛にとらわれた人間の思考には感覚的にわかりにくい面があることも確かでしょう。なので５分前とされているのでしょうし、些細な問題なので私も特に指摘はしてきませんでした。

　またゲジゲジさんが[>>247]で指摘されたことに関するのですが、「常に現在から５分前」であっても「固定された時点から５分前」であっても、実は事態はあまり変わりません。「世界は2018年12月7日19：55にできた」という仮説の方がわかりやすくて反証不可能な理論の例としてはいいかも知れませんね。

＞でもそれは一般にいうところの反証可能性とは別の問題でしょう。なによりラッセルの論法に従えば、ニュートン力学も、量子論も、化合物の化学式も、むろん進化論も、検証も反証もできないことになってしまいます。

　当然です。それが世界５分間仮説を認めた場合の論理的結果ですから。だから反証不可能な理論の例だと言ってるでしょう？ようやく理解のとっかかりができたようですね。これが「一般にいうところの反証可能性のない理論の例」ですよ。

　あーっと、誤解しないでください。ニュートン力学も、量子論も、むろん進化論も、【世界５分前仮説を公理に含みませんからね】。この文章の指す「ニュートン力学・量子論・進化論」とKenさんの上記発言中の「ニュートン力学・量子論・進化論」とでは具体的対象が多少異なることはわかりますよね？

【記憶ならどうした？】
　Kenさんがラツセルの意図をどう読み取ったのかいまいち不明なので、上記の普通のコメントはKenさんの意図とはずれている可能性がありそうです。

　「そのような文脈の中で」とおっしゃる文脈なるものを、もっと詳しくご説明下さい。

【記憶と現実と？】
　もしかしてKenさんは、「記憶とは別に、(記憶とは異なるけれども)過去の事実が存在していた」という想定で考えていませんか？原文にある通り、「かりに過去が存在しなかったとしても(even if no past had existed)」ですからね。
　全人類の記憶が間違っている可能性は受け入れることができても、過去が存在しない(言い換えると世界は０秒前に始まった)という可能性は考えることすらできない、という呪縛にとらわれているのでなければよいのですが。

【ここでもっと基本的な話を[>>251]】
　だんだんKenさんの思考が見えてきたように思いますので、もっと話を通じさせるために別コメントにて。
250：diamonds8888x：2018/12/30(日) 05:36:06 ID:GqaTAEe2: >>243
＞ただ、どうやらdiamonds8888xさんは、外の世界も偽装工作の影響を受けていると言われているようですね。

　世界５分前仮説には「偽装工作」の存在は必要ありませんよ。「フェイク」とやらの存在も必要ありません。必要があると思い込んでいるのはKenさんです。５分前に誕生したのは本物のこの世界です。

　ゆえにKenさんがたびたび例に出している世界シミュレーション仮説は、世界５分前仮説とは別物であり、世界５分前仮説を議論するときに例示しても無駄です(>>239への解答になります)。
251：diamonds8888x：2018/12/30(日) 05:37:18 ID:GqaTAEe2: >>249【抽象とは】
　Kenさんにはいささか失礼なことを書くかも知れませんが、御自分でも自覚していらっしゃることですから敢えて述べます。

　抽象的議論は苦手とのことですが、そこは努力して学んでいただく必要があります。抽象とは、具体的な個々の事例の共通点を抽出して、その共通する像を認識することです。

　小学低学年くらいまでの子供の中には、例えば「りんご５個とみかん５個とをたして果物１０個」という計算が理解できない子もいるとかいないとかいう話を聞きます。具体的な物に引きずられて、個数という抽象概念がよく理解できないのでしょう。ほとんどの大人なら、むしろ「りんご５個もみかん５個も皿５枚もおなじ５」という方が第１感として浮かぶので、この子のような発想をされると逆に驚くのだと思います。

　論理学が対象とする「論理」、もっとわかりやすくは「論理的推論手順」とは、例えば数学的証明手順や科学的推論手順、日常の様々な場面で使う推論手順などに共通するものを抽象化したものです。抽象化したときには、個々の推論手順で使われていた手順のいくつかは捨てられています。ちょうど個数という概念を抽象するときにはりんごの色などの特性を捨てるようにです。例えば科学的推論では妥当とされている帰納法や因果律などは、論理学における論理では捨てされられています。

　それゆえ、世界５分前仮説は論理的には矛盾を生じませんが科学的理論としては【使えない】のです。

　科学的推論とは何かという問いに興味を持ち反証可能性のことを知ったような人ならば、多くは抽象的である世界５分前仮説の要点を自然に理解します。ちょうど多くの大人が個数概念を自然に理解するようにです。それがあまりに自然なことに思えるので、Kenさんのようにそれを理解できない人の話を聞くと困惑したり混乱したりしてしまうのです。ちょうど「りんご５個とみかん５個とは違うから足し算できないじゃないか」と強硬に主張する子の話を聞いたときのように、です。

　さて、抽象的である世界５分前仮説の要点をKenさんに理解してもらうには何をどう説明すればよいかは難しい問題なので、しばらく考えてみます。一応、いくつかの試論は書き込んでおきますが、それも抽象的すぎるかも知れません。かといって、Kenさんが例示してくる具体例だけでは、いつまでも抽象的レベルに入れないでしょうし。

【ちょっと以下の点は教えてください】

　数学における公理の何たるかは、どの程度知っていますか？
　ユークリッドに代表される古代ギリシャ人たちが公理を必要と考えた経緯はどの程度知っていますか？
　ヒルベルトら近代の数学基礎論学者たちが切り開いた、近代数学における公理や、論理学については、どの程度知っていますか？

　あまり御存知なければ、勉強すべきところを御紹介します。
252：diamonds8888x：2018/12/30(日) 05:59:35 ID:GqaTAEe2: >>248
　[>>252]で予告した試論のひとつです。年末年始の間にでも、ごゆっくり考えてください。

【抽象的論理の話：試論１】

　考えうる全ての理論は以下の４つのどれかに分類できることは科学以前に論理的必然です。
　１.反証可能かつ検証可能
　２.反証可能かつ検証不可能
　３.反証不可能かつ検証可能
　４.反証不可能かつ検証不可能

　１の例は次のようなものです。
　　・私の職場の同僚にはどんな道具も使わずに空を飛べる人はいない
　　・現在の日本人の中にはどんな道具も使わずに空を飛べる人はいない
　　・現在の地球上にはどんな道具も使わずに空を飛べる人はいない
　　・現在の地球上のカラスは全て黒い
　　だんだん困難さは増していますが、どれも原理的には反証可能かつ検証可能です。

　２の例は次のようなものです。
　　・過去から未来に渡る全ての人類の中にはどんな道具も使わずに空を飛べる人はいない
　　・過去から未来に渡る全てのカラスは黒い
　　・この宇宙のどこでも小石が忽然と消えることはない
　　　　(エネルギー保存則が破れることはない)
　　最後はまさにエネルギー保存則という理論そのもののことです。

　３の例は次のようなものです。
　　・過去から未来に渡る全ての人類の中にはどんな道具も使わずに空を飛べる人がいる
　　　(過去の人類の少なくとも一人はどんな道具も使わずに空を飛べた、
　　　　または、どんな道具も使わずに空を飛べる人が将来現れる　)
　　・過去から未来に渡るカラスの少なくとも１羽は黒くない
　　・この宇宙のどこかで小石が忽然と消えることがある
　　さてさて、２の例との違いの本質がわかりますか？

　４の例は次のようなものです。
　　・世界５分前仮説
　　・とある架空の理論の例(後述)

　　実のところ、この４の例として広く知られた明確なものが世界５分間仮説くらいで、「アドホックな仮説は反証不可能」などということは言われていますが、実例を組み立てるのが結構むずかしい。油断すると反証可能になってしまいそうですから。ひとまず次のような架空の理論を例示してみます。

【架空の理論】「完全な予言者の理論」
　とある人物が未来への時間旅行を行い、見聞した未来の出来事をひとつの書に著した。実際にその書に書かれたことのいくつかは、その通りに起こった。つまり部分的には検証された。ところがここに、その人物を貶めようとたくらんだ悪者がいて、その未来見聞録のところどころに間違った記載を挿入した。(てことはワープロ等で作っていたのでしょう(^_^))。どの記載が悪者が挿入した箇所なのかはどうしてわかるかというと、実際に起きたことが記載と異なっていたことでわかる。記載されたことが実際に起きるか否かが確認されるまでは、その記載が真の著者によるものか悪者による挿入なのかを判定する方法はない。

　　　理論：「この未来見聞録の著者の記載には間違いはない」

　白状するとこれは私のオリジナルではありません。とあるＳＦ作品に登場する架空の理論です。
253：diamonds8888x：2018/12/30(日) 06:36:49 ID:GqaTAEe2: >>242
ゲジゲジさん、ご苦労様でした

　この表現で納得してもらえるのかどうか考えてみますので、今のところ保留です。

　私もまさか「世界５分前仮説」の解釈でこれほど紛糾するとは予想外でしたが、ここでつまづいたままで「クリエイター理論」の議論に入っても、まともな議論にならないと思います。歯がゆいでしょうが、そう考えてください。

　Kenさんが「世界５分前仮説」を反証可能だと論証しようとする過程が、「クリエイター理論」を反証可能だと論証しようとする過程とそっくりなことには気づいたでしょうか？

　Kenさんにも早くこの点に気付いていただかないとね。

【後はコメント】
　２つの思考実験については、多くの人は納得するでしょうが、ちょっと注意したい点もあると思いますので書いておきます。

>>245

　因果律のまとめは、公理４が定理なのかな、という以外はその通りだと思います。
　(全部が独立じゃなくても却ってわかりやすくて使いやすいということもありますし)

　＜考察１～３＞は理論的には対等でしょう。＜考察３＞だけはタイムパラドックスが生じる可能性があるので、タイムパラドックスを避けるような公理を何か付け加える必要があるかも知れませんけど。

＞＜考察２＞と＜考察３＞については、「なぜそうなっているのか？」という疑問が生じます。

　＜考察１＞だって「なぜそこに特異点が存在するのか？」という疑問は生じると思います。「なぜ重力が存在するのか？」という問いと同様に、観測で得られる答えがあるかも知れないし、ないかも知れません。

　＜考察１～３＞のどれが正しいかの検証は、３つの考察で結果が違うような観測を考えて、それを実行することになりますね。

>>246, >>247
　[>>]で触れましたが、「世界は2018年12月7日19：55にできた」という理論も反証不可能です。時間軸だけ見ると「ビックバン以前の過去はない理論」と同じに見えそうですが、後者はあくまでも「ビックバン状態の原因となるものが観測されない」という観測事実に基づいています。ゆえにビックバン状態の原因となるものが観測されれば反証されます。過去のことなので正確には、ビックバン状態の原因となるものの痕跡、ですけど。

　結局、「各瞬間からの５分前にできた」理論でも「世界は2018年12月7日19：55にできた」理論でも、本質は[>>252]で紹介した「完全な予言者の理論」とおなじもののようですね。時間軸とか外の世界とかが本質なのではなさそうです。アドホックということでしょうか？
254：Ken：2018/12/30(日) 11:41:11 ID:rjNSeWJw: diamonds8888xさんの投稿を深く読む前に、１点だけ確認させてください。
diamonds8888xさんは、たとえば>>235にて、

＞まさか５分前以降の因果律も否定しているという誤解はしていませんよね？

と言われました。私もその当時は、５分前をt=0とすれば、因果律の有無が問題になるのはt<0の時間領域で、t>0は私たちに馴染みの因果律が成立すると理解をしていました。

でもラッセルの文章では、まさにこの点を否定していると読めるのです。

因果律が成立するとは、原因と結果が矛盾なく関連付けられるということであり、当然の前提として、原因や結果と見なす事象が記憶されているわけでしょう？

でもラッセルがいうように、記憶されている過去の事象が一切信用できないのなら、因果律も成立のしようがないのではありませんか？
この場合の「過去」とはt>0の領域をいうわけですが。
255：diamonds8888x：2019/01/02(水) 06:27:39 ID:GqaTAEe2: ＞この場合の「過去」とはt>0の領域をいうわけですが。

　どう読めばそうなりますか？もっと論理的に読んでください。
　この結論に至る論証過程をちゃんと組み立ていられますか？

＞記憶されている過去の事象が一切信用できないのなら

　どこからそう読めるのですか？【一切】ということが？
256：diamonds8888x：2019/01/02(水) 08:57:42 ID:GqaTAEe2: >>255
　あまりに単純な文章読解の話なので御自分で考えてもらおうと思いましたが、こんな簡単なところでつまづかれても後が大変なので、１日待ってから答えをｕｐします。
257：Ken：2019/01/02(水) 10:02:15 ID:sR.c9LQM: >>255

まずはこちらから

＞どこからそう読めるのですか？【一切】ということが？

ラッセルが、

"everything constituting a memory-belief is happening now, not in that past time to which the belief is said to refer. "

という「everything」を「一切」と訳しました。

「everything」である以上は、t>0の時間領域も含むはず、と理解しています。
258：Ken：2019/01/02(水) 16:49:26 ID:sR.c9LQM: >>256

どうやら、私がラッセルの文章を正しく読解できていないと思われているようなので、今の時点で私がどのように理解しているかをまとめておきます。

私は、ラッセルの論点は、

everything constituting a memory-belief is happening now, not in that past time to which the belief is said to refer

という１節に集約されていると考えます。これ以外の文章はこの１節の説明であり、世界５分前仮説は読者の理解を助けるために挿入された具体例でしょう。

私たちが世界を認識するときは、これまでに得た記憶に基づいて認識します。自分で実体験したという記憶もあれば、過去の記録を見た記憶もあるでしょう。しかしながら、過去の記憶があることが、その事象が本当にあったことの証明にはなりません。実際の事象に基づかない記憶／記録が生じる可能性はつねにあるのですから。記憶／記録には絶対の信頼はおけないのです。

このような基本認識から出発して、世界５分前仮説にいたる論理ステップは以下のようなものだと思います。

１．記憶／記録は信用できない
↓
２．ゆえに５分以上前の記憶／記録も信用できない
↓
３．ゆえに５分以上前に世界が存在したという証拠もない

たしかにこれなら、世界５分前仮説が反証不可能である理由が理解できます。

ただし私の問題提議は、この論法に拠るなら、世界５分前仮説以外のあらゆる理論が反証不可能になるではないか、というものです。なぜなら、２は１から導かれる唯一の結論ではないからです。

１．記憶／記録は信用できない
↓
２´．ゆえに５分前より後の記憶／記録も信用できない

ラッセルのいう「everything」が言葉通りの意味なら、２と２´はどちらも可能ではありませんか。

これはつまり、いかなる観察／観測をやっても、何も証明できないことになります。

例えば、私たちが教わる歴史では、1887年のマイケルソンとモーリーの実験で、エーテルの存在は反証されたことになっています。しかしラッセルの論法では、そのような実験が行なわれ、そのような結果が得られたことも、ただ、そういう記憶／記録があるだけで、実際にあったことだという証明はできないのです。だれが、いつ、どんな実験や観測をやろうとも、話は同じです。

よって、エーテルの存在も反証不可能になります。ニュートン力学も、量子論も、進化論も、事情は同じでしょう。
259：Ken：2019/01/02(水) 17:04:14 ID:sR.c9LQM: >>258の説明は正確さを欠いたようです。第１掲示板と違って、投稿した文章の編集はできないようなので、以下の文章に修正させてください。

*********************************
>>256

どうやら、私がラッセルの文章を正しく読解できていないと思われているようなので、今の時点で私がどのように理解しているかをまとめておきます。

私は、ラッセルの論点は、

everything constituting a memory-belief is happening now, not in that past time to which the belief is said to refer

という１節に集約されていると考えます。これ以外の文章はこの１節の説明であり、世界５分前仮説は読者の理解を助けるために挿入された具体例でしょう。

私たちが世界を認識するときは、これまでに得た記憶に基づいて認識します。自分で実体験したという記憶もあれば、過去の記録を見た記憶もあるでしょう。しかしながら、過去の記憶があることが、その事象が本当にあったことの証明にはなりません。実際の事象に基づかない記憶／記録が生じる可能性はつねにあるのですから。記憶／記録には絶対の信頼はおけないのです。

このような基本認識から出発して、世界５分前仮説にいたる論理ステップは以下のようなものだと思います。

１．記憶／記録は信用できない
　　　　↓
２．ゆえに５分以上前の記憶／記録も信用できない
　　　　↓
３．ゆえに５分以上前に世界が存在したという証拠もない

たしかにこれなら、世界５分前仮説が反証不可能である理由が理解できます。

ただし私の問題提議は、この論法に拠るなら、世界５分前仮説以外のあらゆる理論が反証不可能になるではないか、というものです。なぜなら、２は１から導かれる唯一の結論ではないからです。

１．記憶／記録は信用できない
　　　　↓
２´．ゆえに５分前より後の記憶／記録も信用できない

ラッセルのいう「everything」が言葉通りの意味なら、２と２´はどちらも可能ではありませんか。

これはつまり、いかなる観察／観測をやっても、何も証明できないことになります。

例えば、上記の２から、つぎのようなことがいえます。

私たちが教わる歴史では、1887年のマイケルソンとモーリーの実験で、エーテルの存在は反証されたことになっています。しかしラッセルの論法では、そのような実験が行なわれ、そのような結果が得られたことも、ただ、そういう記憶／記録があるだけで、実際にあったことだという証明はできないのです。

それなら、マイケルソンと同じ実験を、今やり直せばよいのでしょうか？

いいえだめです。なぜなら２´の理由で、だれが、いつ、どんな実験や観測をやろうとも、次の瞬間には信用できない記憶／記録になりますから。

よって、エーテルの存在も反証不可能になります。ニュートン力学も、量子論も、進化論も、事情は同じでしょう。
260：diamonds8888x：2019/01/03(木) 06:14:57 ID:GqaTAEe2: >>257
　こんな簡単なところでつまづかれても後が大変なので、答を書いておきましょう。

　ラツセルの該当文章には世界５分前仮説は述べてありますが、１分前仮説、１秒前仮説、０秒前仮説については一言も述べていません(^_^)。とはいえ、５分というのが任意の時間長の代表として述べてられただけということは誰の目にも明らかです。と、この裏読みまでは私もKenさんも一致しています。

　ということで、おっしゃる通り該当文章に限ればその内容は御指摘の一文に要約されるでしょう。でも例示された個々の理論に関しては違いますよ。

　　５分前仮説なら、５分前以前は因果律は不在、５分前以後は存在
　　１分前仮説なら、１分前以前は因果律は不在、１分前以後は存在
　　１秒前仮説なら、１秒前以前は因果律は不在、１秒前以後は存在
　　０秒前仮説なら、０秒前以前は因果律は不在、０秒前以後は存在、つまり全時間で不在

　全体としては０秒前仮説も無矛盾なので、因果律が不在の仮説も無矛盾。

　【ただし】５分前仮説についていえば、５分前以後は存在。

【Kenさんの誤読のポイント】全文章内の異なる理論を区別せず(できず？)一緒くたにする。
　上記の例はわかりましたね？

　似たような誤りの例が次のものです。
　　・発言者の見解とそこで引用なり紹介なりした文献の見解とを一緒くたにする[>>248]。
　　・世界５分前仮説とそれに外世界存在公理を付け加えた理論とを一緒くたにする。
　　・クリエイターの使った手段に言及しないＩＤ理論と、手段のひとつを公理として付け加えたKen流ＩＤ理論とを一緒くたにする。

　これらの誤りは科学以前の論理的推論ないし文章理解の問題です。

【補足】　さらにKenさんのおっしゃる「真意」ですが、該当文章だけ取り出したときの内容、となりますよね？ラッセルが該当著作中で言いたかったことは該当文章の前後を読まないと不明でしょう。ただ我々に必要なことは「世界５分前仮説」とはどんな理論なのかという共通理解です。該当文章はそのために使っていることは忘れないでください。

　ここでも、「発言者が全体として述べたい真意」と「そのための事例とした個別理論の内容」とを混同しているみたいですね。我々が今必要なことは「世界５分前仮説」とはどんな理論なのかという共通理解ですよ。
261：diamonds8888x：2019/01/03(木) 06:24:49 ID:GqaTAEe2: >>259
　[>>260]でも述べましたが、「該当文章だけ取り出したときの内容」だけでは「前後の文章が入った場合の真意」や「著作全体で述べたい真意」とは異なる可能性があります。私見ですが、著作の題名から考えると「記憶－信念」というものの分析が著作の真意なのかも知れません。しかし、
　　・それはたぶん、Kenさんの言うような「記憶は信頼できない」という単純な話ではないでしょう。
　　　この点を知りたければ、著作全体、もしくはラッセル思想の解説等が必要でしょう。
　　・著作全体の真意は、現在の我々の議論には無関係です。
　　　必要なのは世界５分前仮説とはどんな理論かということであり、その資料として、
　　　我々はラッセルの文章を使っています。それ以上の彼の真意は議論には無関係です。

　さりながら、世界５分前仮説の理解に関連する部分についてはコメントしておきます。

＞たしかにこれなら、世界５分前仮説が反証不可能である理由が理解できます。

　つまり「記憶／記録は信用できない」という話を持ってこないと、世界５分前仮説が具体的にイメージできないのですね？そこが問題です。そもそも「信用できない」と言い換えていることが問題です。「フェィク」などともさかんに言ってましたよね。

　これらの表現は、観測事実(記憶事実)以外に真実があるという信念を示していますが、それは必要ないのです。「観測されないものは存在しない」という経験論の原則を知っていますか？

　いやー、とりあえずはこの理解でもいいのかなあ？これだとどこかでつまづきそうだけど、わからん。

＞ただし私の問題提議は、この論法に拠るなら、世界５分前仮説以外のあらゆる理論が反証不可能になるではないか

　世界５分前仮説を認めれば、それは当然の帰結だと述べましたよ[>>249]。
　えっ「世界５分前仮説以外の」？？

＞よって、エーテルの存在も反証不可能になります。ニュートン力学も、量子論も、進化論も、事情は同じでしょう。

　「よって」ですと？？あっ、そういう推論ですか！？
　それって、「１．記憶／記録は信用できない」を公理にした理論における定理じゃないですか。
　それは「記憶全面不信理論」とでもいうべきひとつの理論であって、世界５分前仮説とは別物ですよ。また混同の悪い癖がでてますね。

　何が起きたかと言えば、Kenさんは「世界５分前仮説」がうまくイメージできないので、似た理論である「記憶全面不信理論」のことを知り、その類推で理解しようとしました。けれどそれは類推ですから、２つの理論には違いもあります。その違いがわからずに混同してしまった。

　違うなあ。むしろ、理論を作る(仮定する)という操作の意味がわかっていない？世界５分前仮説を公理とする理論の話をしているのに、どうしてそれが定理として登場するのか？やっぱり数学的証明の御経験がないのではありませんか？
262：Ken：2019/01/03(木) 08:45:10 ID:sR.c9LQM: こんな簡単なところでつまづき、お手数をおかけして申し訳ありません。

>>260

＞【ただし】５分前仮説についていえば、５分前以後は存在。

「５分前以後は（因果律が）存在」することを示す記述はどこにあるのでしょうか？

私には発見できないので、指摘をいただけると助かります。
263：ゲジゲジ：2019/01/03(木) 19:35:17 ID:u32djkAI: diamonds8888xさま
　>>253
お返事、またご指摘ありがとうございます。

Kenさまに少しでもヒントになればと思ってヨコからコメントしましたが、Kenさまも>>248で漸く「本質」に気付かれたようで何よりです。
というわけで、Kenさまから>>248のコメントがなされた今となっては、242～247にある私の投稿は無視して頂いて差し支えないかと思います（ですから投稿番号に敢えてリンクを貼りません。）。

ただせっかくご指摘も頂いているので、お返事と弁解を・・・

【因果律について】
Kenさまが>>239で、因果律が常に必ず成立する絶対的な公理であると、何の疑いもなく考えていらっしゃるようだったので・・・
そもそも因果律が理論上、すべての始まりの時点では特異点を内包せざるを得ないのではないか、という事をお伝えしようとしました。

ただ私自身が「物事には始まりがある」という公理を、無意識のうちに「物事には原因がある＝因果律」よりも上位の公理として考えてしまっていたようです。

どちらもこの世界で起こる現象については当然のように成立すると考えてよいのでしょうが、世界そのものの始まりを考えると原理的に両立できないですよね。
そういう極めて特異な状況を議論として扱っているのだという事に気付いて頂ければ、それが何かのヒントになるのではないかと思ったのですが、そもそも本質的な論点ではありません。
従ってKenさまが>>248に気付かれた以上、この件に深入りする必要はないかと思います。

【世界5分前仮説の思考実験について】
因果律や外の世界を想定しようがしまいが、世界5分前仮説が反証不可能な事には変わりない、という事をお伝えしようとしました。
正直なところ、「常に今から5分前」なのか「ある特定の時点から5分前」なのかはあまり意識していませんでした。確かに論点がそちらにずれて行くと余計な混乱になりかねない所でしたね。

ついでに・・・

　>ここでつまづいたままで「クリエイター理論」の議論に入っても、まともな議論にならないと思います。
同感です。ここは敢えてじっくり考察を進めて頂いた方が良いでしょう。

　>Kenさんが「世界５分前仮説」を反証可能だと論証しようとする過程が、
　>「クリエイター理論」を反証可能だと論証しようとする過程とそっくり
そうなんですよね。
特に>>239で
　>私の主張にはすでに実例があると思うのです。
　>コンピュータがシミュレートする仮想世界がそうです。
と仰っているあたり。

第一掲示板でID論を主張される際に、「すでに人間という実例がある」と何度も仰っていたかと思います。
264：diamonds8888x：2019/01/05(土) 06:27:39 ID:OwaqJFhE: >>262
＞「５分前以後は（因果律が）存在」することを示す記述はどこにあるのでしょうか？

　Kenさんは５分前以前でも以後でも因果律が存在するという前提で議論を進めていましたよね？「５分前以前でも以後でも因果律が存在する」という記述がどこにあるのか教えてください。もしなかったとしたら、なぜそのように前提したのかを教えてください。

　ところで「こんな簡単なところ[>>260]」のつまづきには因果律のことは無関係なんですけど？
265：diamonds8888x：2019/01/05(土) 06:30:02 ID:OwaqJFhE: >>261
　補足しておきますが、「記憶全面不信理論」も反証不可能であり基準01で弾かれる事例のひとつです。以下に示すのは、誰かさんの真意云々とは無関係に論理的に考えれば結論できることです。

　世界ｘ分前理論に対応してｘ分以前記憶不信理論を作ることができます。

　ｘ分以前記憶不信理論：
　　　ｘ分前より以前の記憶は信頼できない。ｘ分前以降の記憶は信頼できる。

　ここで例えばｘ＝５分程度の短い時間の場合、Kenさんも気づいたように我々の知るほとんどの科学理論は成立しなくなります。これらほとんどの科学理論は５分前より以前の記憶が正しいという前提で成立するものだからです。そしてｘ分以前記憶不信理論そのものは論理的には矛盾を持ちません。

　すなわちｘ分以前記憶不信理論も世界ｘ分前理論もほとんどの反証可能な科学理論とは両立しません。前者を採用するなら後者は採用できません。でも我々は前者ではなく後者を採用します。そして前者のような「馬鹿々々しい理論」「使えない理論」「興味のない理論」は科学的な理論の枠からは外しておこうというのが、【基準01】[>>56]なのです。

　さらに、ｘ分以前記憶不信理論も世界ｘ分前理論も、現在または現時点の世界の観測事実や記憶は実在するとしていますから、そこは間違えないでください。なぜなら、どちらの理論もその目的は、現在または現時点の世界の観測事実や記憶を説明することだからです。[>>106]参照、ただし末尾は無視(過去の事実の話はややこしくなるので)。これも実在しないのなら説明の必要はないのですから。そして論理的には、どちらの理論による説明にも何の矛盾もないのです。
266：diamonds8888x：2019/01/05(土) 11:49:29 ID:OwaqJFhE: >>264 まあ因果律の成立範囲で各理論を区別していますから無関係は言い過ぎだったでしょうが、重要なポイントではないということです。[>>254]の勘違いは、全体の真意なるものと事例である個別理論とを混同したことですから。
　まあKenさんの推論過程が想像できた気もしますが、ここで書くとややこしくなりそうなのでKenさん自身の言葉を待ちます。
267：Ken：2019/01/06(日) 13:40:56 ID:w9YYHqW6: >>264

＞Kenさんは５分前以前でも以後でも因果律が存在するという前提で議論を進めていましたよね？「５分前以前でも以後でも因果律が存在する」という記述がどこにあるのか教えてください。もしなかったとしたら、なぜそのように前提したのかを教えてください。

尋ねられたことには回答をしますが、私の質問に質問で応じられた意味を測りかねています。
もしかしてdiamonds8888xさんの質問に答えることで、私の質問への答えが見えるという意味なのでしょうか？

ただ、１点明らかにしておきたいのは、因果律が必ず存在すると私が主張したのは、diamonds8888xさんが「記憶全面不信論」と呼ぶラッセルの論点に気が付く前です。「記憶全面不信論」から出発すれば、因果律が成立するはずがありません。これまでの私の投稿を見直すと、記憶全面不信論を前提にした最初の発言は>>248であろうと思われます。

一方で、私が今お尋ねしているのは、記憶全面不信論から出発したら、「５分前以後」の因果律もありえないのではというもので、そもそもの立脚点が異なります。つまり、ラッセルがいう世界５分前仮説とは、

～世界が誕生したときに初期状態を与える形で偽の記憶が与えられ、以後は事実を反映した記憶／記録が作られる

というものではなく、

～記憶／記録が信用できない状態は現在進行形で続いており、信用できない記憶／記録は日々刻々生産されている

という前提から出発しているということです。

このことを明らかにした上で、記憶全面不信論を前提にしない場合の、私の因果律考察を述べます。論点は２つあります。

１つは、「特異点」とは、原因がなくても結果を生じさせる時空点ではなく、原因がないから何の結果も生じない時空点ではないのか、というものです。>>220で述べたように、ブラックホールの重力が作る特異点（曲率半径無限大）では万物が停止し、宇宙創生どころか何も起こらない状態が永遠に続くと理解していますが、私たちが具体的に知る特異点の実例はこれしかないのではありませんか？

いいかえれば、宇宙創世という事象にも必ず原因があるはず、つまり宇宙創世より前の時間（t<0）にも因果律はあったはずで、宇宙創世が特異点というのは、それへの反論にはならないのでは、ということです。

２つめはさらに根源的な問いかけになります。そもそも宇宙創世は特別な事象でもなんでもなく、日常茶飯のできごとではないでしょうか？　コンピュータがシミュレートする仮想世界という実例が大量にあります。日常茶飯の事象であり、当然因果律の支配を受けます。仮想世界誕生の瞬間をt=0とすれば、ハードやソフトを作成する事象が進行したのがt<0であり、そのときからずっと、途切れることのない因果律が続いているではありませんか。
268：diamonds8888x：2019/01/07(月) 06:14:15 ID:OwaqJFhE: >>267　私の言ってきたポイントに全然気づいていないのですか？？？

　５分前～現在の期間の因果律が問題となるのは「記憶全面不信論」ではなくて「５分以前記憶不信理論」でしょう？なんでも一緒くたに論じるなと、口を酸っぱくして言ってるのに！！

　Kenさん御自身の因果律考察は、Kenさんの思考を知る上では参考にはなりますが、ｘ分以前記憶不信理論や世界ｘ分前理論には何の関係もありませんよ。

＞「特異点」とは、原因がなくても結果を生じさせる時空点ではなく、原因がないから何の結果も生じない時空点ではないのか
＞そもそも宇宙創世は特別な事象でもなんでもなく、日常茶飯のできごとではないでしょうか？

　今は現実の世界がどうなっているかを論じているのではなくて、馬鹿々々しい理論である理論、現実には使えない理論についての議論をしているのですよ。

　もしかしてこの因果律考察は、私の「なぜそのように前提したのか？」という問いへの答えのつもりですか？ちょっと意図がわかりにくいですし、これだけでは推論過程がわかりません。
269：Ken：2019/01/07(月) 22:37:19 ID:w9YYHqW6: >>268

＞現在の期間の因果律が問題となるのは「記憶全面不信論」ではなくて「５分以前記憶不信理論」

その「５分以前記憶不信理論」が記述された文章を発見できないので、どこにあるのかお尋ねしたのが>>262なのですが。

もう一度ラッセルの原文を引用します。

everything constituting a memory-belief is happening now, not in that past time to which the belief is said to refer

ここではただ「記憶（memory）」といい、どのような記憶かという条件は設定されていません。ゆえにあらゆる記憶、ある時点よりも前とか後とかいう制約のないすべての記憶が信用できない「記憶全面不信論」と解釈しています。

では、具体例に挙げられた世界５分前仮説はどうでしょうか？

the world sprang into being five minutes ago, exactly as it then was, with a population that "remembered" a wholly unreal past

ここは世界が誕生したときの初期状態を述べていますが、その後の動作を支配する法則については何も語っていません。新しい記憶は信用できるのか、できないのか。

それゆえ、記憶の信用に関する法則は最初の文章で語られていること、すなわち「記憶全面不信論」が継承されるというのが、ラッセルの文章のストレートな読み方と考えます。

ただし、私の情報源は（russell-j.com/cool/16T-0901.HTM）しかありません。ですから、これ以外のところで「５分以前記憶不信理論」が語られているのなら、教えていただけませんかと言っているのですが。
270：Ken：2019/01/14(月) 10:04:29 ID:cfwb7eGc: >>268

＞もしかしてこの因果律考察は、私の「なぜそのように前提したのか？」という問いへの答えのつもりですか？

そのとおりです。この因果律考察はラッセルの記憶全面不信論とは両立しないので、現時点では主張していません。そのことを明らかにした上で、ラッセルの原文に触れる前に私が考えたことを記述しました。

そんなに私の文意は分かりにくかったろうかと>>267を読み返してみましたが、次の１節を読めば誤解のしようがないと私には思えるのですが。

＞ただ、１点明らかにしておきたいのは、因果律が必ず存在すると私が主張したのは、diamonds8888xさんが「記憶全面不信論」と呼ぶラッセルの論点に気が付く前です。「記憶全面不信論」から出発すれば、因果律が成立するはずがありません。
271：diamonds8888x：2019/01/22(火) 06:24:33 ID:OwaqJFhE: >>269
＞その「５分以前記憶不信理論」が記述された文章を発見できないので、どこにあるのかお尋ねしたのが>>262なのですが。

　例示されているでしょう？「世界は５分前に～」と。
　むしろ「０分前でも信頼できない」という理論の方が、記述されてはいないけれども、「５分前は単なる例だから、０分前でも同じだよね」という極めて妥当な読み方による推測です。[>>265]

　そもそも歴史や文学研究ではないのですからね。数学の問題を議論する時にユークリツド原論にどう書いてあったかなんて細かいことは必要ありません。ラッセルの提起した仮説(むろんラッセルも興味のない仮説として例示したのだが)が正確にどうだったかは、今の議論の本筋には関係ありません。

　この点の説明を考えてますので、御自分でも考え直していてください。
　議論の本筋は、>>260,>>252,>>251 です。

　それから[>>267]で読み逃した点がありました。失礼しました。

＞　一方で、私が今お尋ねしているのは、記憶全面不信論から出発したら
＞　(中略)
＞つまり、ラッセルがいう世界５分前仮説とは、
＞　(中略)
＞～記憶／記録が信用できない状態は現在進行形で続いており、信用できない記憶／記録は日々刻々生産されている

　ラッセルがそのつもりだったかどうかは不明だとは思いますが、その理論も可能です。そして、その理論では過去どころか未来に渡っても因果律が使えないのもその通りです。
　これで近々の疑問が解消なら、それでよろしいのですが。

　【重要】でも、今の議論の本筋では、他の形の世界５分前仮説などもテーマに入っていることをお忘れなく。
272：Ken：2019/01/23(水) 22:25:48 ID:jKLBkdIw: >>271

＞例示されているでしょう？「世界は５分前に～」と。

５分以前記憶不信理論の「例示」という意味なら、ラッセルの文章（russell-j.com/cool/16T-0901.HTM）にそんなものはないと思います。ここで語られているのは記憶全面不信論であって、時間軸に定点を設定しその前後で記憶を支配する法則が変わる──そこより新しい記憶は信用できる──という記述はありません。

世界５分前仮説は信用できない過去の記憶の１例に挙げられているだけで、５分前以降の記憶が信用できるという文面は見られません。

＞ラッセルの提起した仮説(むろんラッセルも興味のない仮説として例示したのだが)が正確にどうだったかは、今の議論の本筋には関係ありません。

これはどういう意味でしょうか？

もともとdiamonds8888xさんが>>56で

＞基準01. へそ理論(オムファロス)や世界五分前仮説のような形の理論は、科学的ではない。

と述べられたことから出発しています。つまり基準01の検証には世界５分前仮説がどういうものかを詳細に検証する必要があるから、ここまでの議論を続けてきたのはずです。なぜそれが本筋と関係ないのですか？

＞＞～記憶／記録が信用できない状態は現在進行形で続いており、信用できない記憶／記録は日々刻々生産されている
＞ラッセルがそのつもりだったかどうかは不明だとは思いますが、その理論も可能です。そして、その理論では過去どころか未来に渡っても因果律が使えないのもその通りです。
＞これで近々の疑問が解消なら、それでよろしいのですが。

これは、ラッセルの主張を記憶全面不信論と解釈してもよいという意味でしょうか？

でも記憶全面不信論から出発したら、検証／反証できる科学理論はなくなってしまします。

そもそもdiamonds8888xさんの論点は、量子論や進化論のような反証可能な理論と、天地創造論や世界５分前仮説のような反証不可能な理論があり、それを区別するのが基準01ではなかったのですか？　それなのに、ありとあらゆる理論を反証不可能にするような前提を置いたら、基準01自体が無意味になるではありませんか。
273：diamonds8888x：2019/01/27(日) 11:46:44 ID:8tZVaLVk: >>272
＞でも記憶全面不信論から出発したら、検証／反証できる科学理論はなくなってしまします。
＞
＞そもそもdiamonds8888xさんの論点は、量子論や進化論のような反証可能な理論と、天地創造論や世界５分前仮説のような反証不可能な理論があり、それを区別するのが基準01ではなかったのですか？　それなのに、ありとあらゆる理論を反証不可能にするような前提を置いたら、基準01自体が無意味になるではありませんか。

　理論Ｍ：記憶全面不信論を前提とした「ありとあらゆる理論」、誤解なきように正確に言えば、記憶全面不信仮説を公理としたうえでの「ありとあらゆる理論」
　理論Ｎ：記憶全面不信論を否定した「ありとあらゆる理論」、誤解なきように正確に言えば、記憶全面不信仮説を公理としない「ありとあらゆる理論」

　基準01は理論Ｍと理論Ｎとを区別します。むろん、理論Ｎは我々が良く知る科学的理論を含むものであり、反証可能です。
274：diamonds8888x：2019/01/27(日) 11:52:44 ID:8tZVaLVk: >>272
　「世界５分前仮説のような」理論の例として、互いに似ているけれど少しずつ異なる複数の理論が登場しました、分類すると以下のようになります。まずここを理解してください。
　本当はさらに未来に関する仮説も付け加えるべきですが、ひとまず省略します。未来に関しては、世界も因果律も存在するという仮説を採用すると想定しておきます。

【世界ａ分前出現仮説(現時点基準版)】
　　世界は現時点よりａ分前に、そのままの姿で出現した
　ａ＝０版
　　[定理]現時点より過去には何も存在しない。物も現象も法則も・・。
　ａ＞０版
　　[定理]ａ分前より過去には何も存在しない。物も現象も法則も・・。
　　[定理]ａ分前以降には通常の法則が存在しうる。
　　　　(どんな法則が存在するかという仮定により種々の理論ができる)

【ａ分前以前記憶不信仮説(現時点基準版)】
　　現時点よりａ分前以前に関する記憶は信頼できない
　　[注意]世界が存在していた可能性はある。
　　　　(この仮説は世界の存在については述べていない。すなわち、)
　　　　(ａ分前以前に世界が存在する／しない、のどちらを採用するかで別の理論になる)
　ａ＝０版
　　過去の記憶はすべて信頼できない。
　　[定理]過去の記憶に基づいて法則を導くことはできない
　　　　(法則の存在自体は否定していない！)
　ａ＞０版
　　[定理]ａ分前より過去の記憶に基づいて法則を導くことはできない。
　　[定理]ａ分前以降の記憶なら法則を導くために採用できる
　　　　(ａ分前以降でも信頼しにくい記憶もあるのは通常の科学的理論と同様)

【世界ａ分前出現仮説(固定時点基準版)】、すなわち
【世界Ｔ時刻出現仮説】(Ｔは固定時点つまり絶対時刻)
　　世界は過去のＴ時刻に、そのままの姿で出現した。
　　[定理]Ｔ時刻より過去には何も存在しない。物も現象も法則も・・。
　　[定理]Ｔ時刻以降には通常の法則が存在しうる。
　　　　(どんな法則が存在するかという仮定により種々の理論ができる)

【ａ分前以前記憶不信仮説(固定時点基準版)】、すなわち
【Ｔ時刻以前記憶不信仮説】(Ｔは固定時点つまり絶対時刻)
　　過去のＴ時刻以前に関する記憶は信頼できない

　Kenさんに理解してほしいのは、これらの各理論がそれぞれ別理論だということ、各理論ではどんな定理が成立するかしないかということ、です。
275：diamonds8888x：2019/01/27(日) 11:55:08 ID:8tZVaLVk: >>274【補足】
　さらに、もともとのID論関連で言えば、Kenさんの「自分のID論[>>112]」と米国等におけるID論とは別理論だと理解してください。Kenさんの「自分のID論[>>112]」はデザイナーの介入手段を提案(仮説として採用)しているので反証可能です。
　ただ掲示板で議論するなら、従来のID論とは異なるという点と、その違いは何かを明確にしてから始めないと、従来のID論と混同した的外れな反論が飛んできます。
276：diamonds8888x：2019/01/27(日) 11:57:11 ID:8tZVaLVk: >>274
　今我々は基準01[>>56,>>71]について議論しています。基準01は反証可能性のない理論を意識していますが、具体性を増すために「世界５分前仮説のような」理論としました。ここで私が述べたのはむろん【世界ａ分前出現仮説(現時点基準版)】のａ＞０版です。【ａ分前以前記憶不信仮説(現時点基準版)】や【Ｔ時刻以前記憶不信仮説】ではありません。むろん【ａ分前以前記憶不信仮説(現時点基準版)】もラッセルの原文からKenさんが読み取った形のものなら反証不可能だし、「世界５分前仮説のような」という基準01に当てはまります。

　けれど各理論では[>>274]に分類した違いがあります。因果律が成り立つかどうかは各理論により異なる。それが結論です。そして[>>272]の以下への答えです。ラッセルの意図した理論がどの理論かはどうでもよいことです。

＞と述べられたことから出発しています。つまり基準01の検証には世界５分前仮説がどういうものかを詳細に検証する必要があるから、ここまでの議論を続けてきたのはずです。なぜそれが本筋と関係ないのですか？

　あとは事実と理論の違いについて改めてのべましょう。

【備忘的に】
　Kenさんの主張する「自説の根拠を示せなくても、対立仮説の難点を示すだけでも提唱価値はある」という考えに関しては、基準01ではなく基準02がポイントです[>>56,>>116,>>117,>>154,>>166]。これは実は単純な論理問題です[>>169]。
277：diamonds8888x：2019/01/27(日) 12:05:37 ID:8tZVaLVk: >>276
　ラッセルの意図した理論がどうでもよい、というのは正確ではなくて、ラッセルの意図した理論だけにこだわるのが本筋から外れている、ということです。

　[>>274]に分類した全ての理論を反証不可能な理論の例として考察すべきだという意味です。
278：Ken：2019/01/28(月) 00:21:02 ID:0NQ6PVEI: うーん、なかなか話が噛み合わないようです。

>>276

＞ここで私が述べたのはむろん【世界ａ分前出現仮説(現時点基準版)】のａ＞０版です。

diamonds8888xさんがそういう主張をされていることが分かっていないのではありません。

私が問題にしているのは、世界５分前仮説がどういうものかを説明した文章を起点にすると、diamonds8888xさんのそのような解釈には到達できないのではないか、ということなのですが。

私の主張は、（russell-j.com/cool/16T-0901.HTM）から出発したら、「記憶全面不信論」という解釈に必ず到達するというものです。「そういう解釈も可能」と言っているのではありません。「そういう解釈以外は不可能」と言っています。

ですから、もしdiamonds8888xさんが正しく、私が間違っているのなら、考えうる原因は２つです。

１つは、世界５分前仮説を説明した文章を、私が正しく読解できていないことです。
もう１つは、世界５分前仮説を説明した文章を、私がすべては読んでいないということです。

ですから、diamonds8888xさんにお願いしたいのは、

１．私が誤読をしているのなら、正しい読解の道すじを示してください。

私が「記憶全面不信論」が唯一の解釈と考えるのは、ソース文章（ラッセルの文章）がただ「記憶（memory）は信用できない」といい、どのような記憶かという条件を何もつけないからです。これが記憶全面不信論に到達する私の論理の道すじであります。

もしも同じソース文章から【世界ａ分前出現仮説(現時点基準版)】のａ＞０版に到達できるのであれば、その道すじを示していただけませんでしょうか？

２．私がまだ知らないソース文章があるなら、その文章を示してください。

これは>>262から繰り返しお願いしていることなのですが。

私の問題提議をご理解いただけるでしょうか？

私の質問に対して、diamonds8888xはこれまでのところ、>>274で列挙されたような複数の解釈を示したり、ご自身がその中でどの解釈を採用するかの結論を述べられましたが、そもそもそのような解釈がなぜ可能であるのかという説明を（私の理解では）されたことがありません。

いかがでしょうか？
279：diamonds8888x：2019/01/28(月) 05:38:30 ID:8tZVaLVk: >>278
＞diamonds8888xさんがそういう主張をされていることが分かっていないのではありません。

　なら、私の主張に向き合ってください。そもそも主張なんておこがましいものではありません。いまはまだ単に「科学的に妥当な理論の性質(当面は反証可能性)」について説明を試みているだけです。

＞私が問題にしているのは、世界５分前仮説がどういうものかを説明した文章を起点にすると、diamonds8888xさんのそのような解釈には到達できないのではないか、ということなのですが。
＞
＞私の主張は、（russell-j.com/cool/16T-0901.HTM）から出発したら、「記憶全面不信論」という解釈に必ず到達するというものです。「そういう解釈も可能」と言っているのではありません。「そういう解釈以外は不可能」と言っています。

　それがどうしましたか？我々は科学史を議論しようとしているのではありません。例えば[>>275,>>276]の理解にラッセルその他の文献解釈が必要なんですか？

　私の[>>275,>>276,>>252]などの主張は論理から出てくるものであり、どこかの権威の文章など必要ありません。Kenさんの要求はまるで３×３＝９の根拠を文献や権威に求めるみたいなものです。

＞もしも同じソース文章から【世界ａ分前出現仮説(現時点基準版)】のａ＞０版に到達できるのであれば、その道すじを示していただけませんでしょうか？

　私はラッセルの文章にたよってなどいません。それにラッセルの文章から「そういう解釈以外は不可能」との御意見にも賛同しません。ただ、ラッセルの文章の解釈は本筋には無関係なので踏み込むつもりはありません。

＞そもそもそのような解釈がなぜ可能であるのかという説明を（私の理解では）されたことがありません。

　考えうる可能性を網羅したのです。まずは可能な場合を網羅してから、各場合を検討する。これは数学のみならず、あらゆる問題解決の常套手段でしょう？
　「そのような解釈」？？あれは、何かを解釈した文章ではありませんよ？

【再度、大事な事を問います】
　[>>275,>>276]での各理論の具体的イメージや、それぞれの間の違いは理解できませんか？
280：diamonds8888x：2019/01/29(火) 06:15:47 ID:8tZVaLVk: >>278
　少々くどくなりますが、同じ趣旨を繰り返します。

　科学や数学の納得というものは権威にたよるべきものではなく、自分で考えて理解すべきものですし、理解できるはずのものです。今回の議論の主題の反証不可能性の具体的イメージとか「世界ａ分前出現仮説」や「ａ分前以前記憶不信仮説」がどんなものか、その理論からどんな定理が導かれるのか、といった等々の問題は、それほど難しいものではなく、いちいち権威をひもとかなくては理解不可能なものではありません。だからこそ、「反証不可能な理論は科学的ではない」という基準は広く使われているわけです[*1]。

　まずは「世界ａ分前出現仮説」だけを例として基準01を示した段階では、Kenさんは「世界ａ分前出現仮説」の理解が不十分に思えましたし、その理解のためにソースを望まれました。私はソースの必要性はないと思って探しませんでしたがゲジゲジさんが見つけてくれました。それでKenさんの理解が進むならよいと思いましたが、ソースの文章がやや難解でラッセルの主張の一部分であるせいもあり、かえって混迷に入ったようです。

　ソースのことなど忘れて、私の整理した可能な理論群を虚心坦懐に理解しようと試みてください。

　ソースのことなど忘れて、私の主張に向き合ってください。というよりも、私の説明を理解しようと試みてください。そして理解できたなら、はっきり書いてください[*2]。
　さもなければ、どこがどう理解できないのか御自分の言葉で述べてください。

【再度、大事な事を問います】
　[>>275,>>276]での各理論の具体的イメージや、それぞれの間の違いは理解できませんか？
281：diamonds8888x：2019/01/29(火) 06:18:13 ID:8tZVaLVk: >>280　注釈をつけ忘れました。以下です。

[*1]使われている、というと語弊があるかも。認められている、かな？

[*2]例えばブラックホールの内部に関して、「[>>111]ああ、なるほど。その理解は間違いです。～」について理解してくれたのかどうかわかりませんでしたが、[>>267]を読むと、結局まだわかってないようです。

　＞>>220で述べたように、ブラックホールの重力が作る特異点（曲率半径無限大）では万物が停止し～

　当面の本筋と関係が薄いとはいえ、せめて「まだよくわからないけど、一旦おいといて」くらいは述べておいてほしいです。相手が何を理解していて何を理解していないかはコミュニケーションに大事ですから。
　相対性理論では、どの観測者の視点からの話かが重要ですが、世界シミュレーション仮説だってそうですからね。内部の観測者の視点と外部の観測者の視点は違うので、内部の観測者には反証不可能でも外部の観測者には反証可能なことも出てきますから。
282：Ken：2019/01/29(火) 22:43:50 ID:0NQ6PVEI: 「権威」は関係ないでしょう。

世界５分前仮説とはバートランド・ラッセルが提唱したものです。いわばラッセルの著作物なのだから、第三者が内容に変更を加えたものを、同じ「世界５分前仮説」という名称で呼ぶことはできないはずです。思考実験のアイディアが商標登録できるのかは存じませんが、法的にどうであれ、ラッセルの提唱内容に固有名詞としての名称が与えられたのだから、その時点でこの名称はラッセルの提唱の占有物になったはずです。

ゆえにラッセルの提唱内容と異なるものを「世界５分前仮説」と呼ぶことはできません。言い換えれば「世界５分前仮説」の名称で呼ばれるものはラッセルの提唱内容に限定するべきであり、その検証もラッセル自身の記述に基づいて行なうべきです。

今回は、ラッセル自身の文章（russell-j.com/cool/16T-0901.HTM）が記憶全面不信論に相当することを述べるのだから、それとは両立できない「【世界ａ分前出現仮説(現時点基準版)】のａ＞０版」は、世界５分前仮説ではないだろう、という問題提議を行ないました。

もっとも、私たちの本題は基準01の検証ですから、こうなると問題は簡単でしょう。基準01の表現を変更すればよいだけです。

基準01：○○○のような理論は科学的ではない

この○○○にdiamonds8888xさんが適当と思われる名称を入れ、あわせてその具体内容を記述されればよいと思います。それを受けて、その検証／反証可能性を考察することができるでしょう。
283：ゲジゲジ：2019/01/30(水) 23:19:34 ID:uDBslgY2: ヨコからですが議論の成り行きを見守っている者として言わせてください。

>>282
>今回は、ラッセル自身の文章（russell-j.com/cool/16T-0901.HTM）が（略）、という問題提議を行ないました。

議論の本題と関係のない、論点を拡散させるだけの問題提議など辞めて頂きたい！！！

そもそもKenさまが議論の相手をdiamonds8888xさまに限定されて、私や他の人のコメントには一切答えないばかりかdiamonds8888xさまが他の人のコメントを読むよう勧める事にも反発したのは、論点が拡散するのを防ぐためだったのではないのですか？
>>198
>複数の方を相手にすると、衆知のメリットよりも、論点の拡散が混乱を生じるリスクが大きいと考え、１対１をお願いしました。
>他の人の発言を読むことを、diamonds8888xさんご自身が私に求められるのは、当初の合意から逸脱していませんでしょうか？

それなのに、Kenさまご自身が論点を拡散させてどうするのですか？！

>基準01：○○○のような理論は科学的ではない
>この○○○にdiamonds8888xさんが適当と思われる名称を入れ、あわせてその具体内容を記述されればよいと思います。

基準01. へそ理論(オムファロス)や「世界ａ分前出現仮説(現時点基準版)のａ＝０版」や「世界ａ分前出現仮説(現時点基準版)のａ＞０版」や「ａ分前以前記憶不信仮説(現時点基準版)のａ＝０版」や「ａ分前以前記憶不信仮説(現時点基準版)のａ＞０版」や「世界ａ分前出現仮説(固定時点基準版)すなわち世界Ｔ時刻出現仮説(Ｔは固定時点つまり絶対時刻)」や「ａ分前以前記憶不信仮説(固定時点基準版)すなわちＴ時刻以前記憶不信仮説(Ｔは固定時点つまり絶対時刻)」のような形の理論は、科学的ではない。

具体内容は、オムファロスについては一旦保留して、それ以外は>>274の通り。

これで満足ですか？？？
で、あればdiamonds8888xさまの本質的な質問に向き合いましょうよ。
>【再度、大事な事を問います】
>[>>275,>>276]での各理論の具体的イメージや、それぞれの間の違いは理解できませんか？

よく分からないなら、そう答えればいいじゃないですか！
「〇〇と△△の違いが分からない」とか「〇〇と△△の違いは××だと思うけれど自信がない」とか答えれば。
そうすればdiamonds8888xさまの方も、更に説明の仕方を工夫してくださると思いますよ。
こんな調子で続けていたら（本質的な質問に答えずに論点をずらしてばかりいたら）、一生かかっても議論は終わりませんよ。
284：ゲジゲジ：2019/01/30(水) 23:20:20 ID:uDBslgY2: 【以下、余談】（本当に余談です。）

>russell-j.com/cool/16T-0901.HTM
>There is no logical impossibility in the hypothesis that the world sprang into being five minutes ago, exactly as it then was, with a population that "remembered" a wholly unreal past.

この部分だけ抜き出すと【世界ａ分前出現仮説(現時点基準版)】のａ＞０版になります。

Kenさまはラッセルの原文を以下の様に解釈しました。
・記憶も記録も信用できない。
　【ゆえに】
・世界が5分前に5分前の状態で出現したとしても、論理的に矛盾はない。

しかし以下の様にも読めるのです。
・記憶も記録も信用できない。
　【なぜならば】
・（例えば）世界が5分前に5分前の状態で出現したとしても、論理的に矛盾はないからである。

私がラッセルの原文を紹介したばかりに混乱させてしまったとしたら申し訳ありません。
しかし「世界5分前仮説　ラッセル」で検索したら割と簡単にヒットしましたから、私が紹介しなくてもいずれKenさまご自身が原文に辿り着いたでしょう。

確かにラッセルの文章は難解で、私も最初はKenさまと同じように読み取ってしまって、「自分が理解していた世界5分前仮説と違うぞ」と少し戸惑いました。
しかしよくよく考えながらじっくり読み直してみると、Kenさまや私の最初の解釈では主張としておかしいのですよ。
なぜなら記憶も記録も信用できない【根拠】が何も述べられていない事になってしまうので。
よって、世界5分前仮説を根拠に記憶も記録も信用できないと主張している、と読み取るべきなのではないでしょうか？

もちろん、根拠なく結論だけ主張している記憶全面不信論も科学的ではないですが。
285：diamonds8888x：2019/02/03(日) 08:55:14 ID:Wom9a46w: >>282
＞世界５分前仮説とはバートランド・ラッセルが提唱したものです。いわばラッセルの著作物なのだから、第三者が内容に変更を加えたものを、同じ「世界５分前仮説」という名称で呼ぶことはできないはずです。

　違います。科学の議論に人為的産物である法律論など入れないでください。それに知的財産法から見ても、なんらかの理論の名称に知的所有権が適用されるという考えはたぶん間違いです。まあそれは脇道だから置いといて。

　名称などどうでもよろしいし「世界５分前仮説のような」と書いています。[>>275,>>276]での各理論はすべて「世界５分前仮説のような」理論です。くだらない形式論にとらわれずに、中身の議論に集中してください。
286：diamonds8888x：2019/02/03(日) 09:11:34 ID:Wom9a46w: >>282
　読まないとまずいので書いておきます。
　ゲジゲジさん提案の基準01を参照のほどを。

　まあ、これでは逆に書いてある以外は含まないなどと形式論を振りかざされて困ることもありますけど、「○○のような」で○○以外を全て排除するような解釈をするのがそもそ困るのです。法文ではこういう気の使い方はよくありますけどね。
287：Ken：2019/02/03(日) 10:47:35 ID:0NQ6PVEI: >>285, >>286

言われることは分かりましたが（分かったと思いますが）、それならはじめから基準01に「世界５分前仮説」ではなく「【世界ａ分前出現仮説(現時点基準版)】のａ＞０版」と書いてほしかったです。

そもそも【世界ａ分前出現仮説(現時点基準版)】のａ＞０版は、「世界５分前仮説のような」という表現ができるほどラッセルの提唱との共通点があるとも思えません。なによりも根幹というべき「なぜ反証不可能なのか」の理由が異なります。

【世界ａ分前出現仮説(現時点基準版)】のａ＞０版
→世界が誕生したときの偽装が完璧で「真実」にいたる手がかりが皆無だから

ラッセルの世界５分前仮説
→過去・現在・未来を通して、記憶が現実を反映するという保証がないから

とにかく私としては、>>274で挙げられたどの仮説にも「世界５分前仮説」の名称が入っていないので、私の要望が容れられたと解釈します。

では確認しますが、>>276で

＞ここで私が述べたのはむろん【世界ａ分前出現仮説(現時点基準版)】のａ＞０版です。【ａ分前以前記憶不信仮説(現時点基準版)】や【Ｔ時刻以前記憶不信仮説】ではありません。

と言われましたので、これより基準01の検証は、

【世界ａ分前出現仮説(現時点基準版)】
　　世界は現時点よりａ分前に、そのままの姿で出現した
　ａ＞０版
　　[定理]ａ分前より過去には何も存在しない。物も現象も法則も・・。
　　[定理]ａ分前以降には通常の法則が存在しうる。
　　　　(どんな法則が存在するかという仮定により種々の理論ができる)

を検証すればよいわけですね？
288：ゲジゲジ：2019/02/05(火) 22:02:08 ID:jqrwkFfI: ヨコからですが目に余ると言いますか・・・

>そもそも（略）共通点があるとも思えません。
>なによりも根幹というべき「なぜ反証不可能なのか」の理由が異なります。

違います。
ズバリ、共通点はあります。
根幹というべき「なぜ反証不可能なのか」の理由は【本質的に】同じです。それが共通点です。
更に言うと、その共通点は「ID論」にも共通しています。

そして、その共通点を明らかにする事、その共通点をKenさまに理解して頂く事こそが、今の議論の本質的なテーマです。
それこそが「どの様な理論が反証不能なのか？」という問いの答えなのですから。

>【世界ａ分前出現仮説(現時点基準版)】のａ＞０版
>→世界が誕生したときの偽装が完璧で「真実」にいたる手がかりが皆無だから

違います。
私が答えを書いてもどうせKenさまは無視するだろうし、diamonds8888xさまもKenさまにご自身で気付いてほしいでしょうから敢えて書きませんが。というより、実は既に答えは既出なのですけれどね。

>ラッセルの世界５分前仮説
>→過去・現在・未来を通して、記憶が現実を反映するという保証がないから

「『記憶全面不信論』を公理とした『世界が5分前仮説』」であれば、その通りです。
しかし『記憶全面不信論』そのものが反証不可能な理由は違いますよ。

尚、「『記憶全面不信論』を公理とした『世界が5分前仮説』」にも「現時点基準版」や「固定時点基準版」など色々あり得ます。

結局、Kenさまは「【世界ａ分前出現仮説(現時点基準版)】のａ＞０版」が反証不可能な理由も、「記憶全面不信論」が反証不可能な理由も、まだ理解されていないのですね。

>では確認しますが、（略）これより基準01の検証は、（略）を検証すればよいわけですね？

違うでしょう？！
よく読みましょうよ。
diamonds8888xさまの質問にきちんと向き合いましょうよ。

>>274
>Kenさんに理解してほしいのは、これらの各理論がそれぞれ別理論だということ、各理論ではどんな定理が成立するかしないかということ、です。
>>277
>[>274]に分類した全ての理論を反証不可能な理論の例として考察すべきだという意味です。
>>279、>>280
>【再度、大事な事を問います】
>[>>275,>>276]での各理論の具体的イメージや、それぞれの間の違いは理解できませんか？
>>286
>「○○のような」で○○以外を全て排除するような解釈をするのがそもそも困るのです。
289：diamonds8888x：2019/02/10(日) 06:17:10 ID:QpOHxR9Q: >>287
　ひとつ提案があります。基準01はなかなか難しそうなので一旦保留して、基準03、基準02の順で話を進めるのはいかがでしょうか？理由は以下の通りです。

　 1) 基準01～03の順番は、単に私が思いついた順番というだけであり、何かの優先順番というわけではない。
　 2) 思うに、同意の得やすさや理解のしやすさは、基準03、基準02、基準01の順である。

　主要な理由は以上ですが、他にも、

　 3) まず、基準03、基準02の理解をしておくことが、基準01の理解の基礎にもなるかも知れない。
　 4) 基準01(特に狭く解釈した場合)に当てはまる理論は少なそうで、実際に使うことがあまりなさそうにも思える。

＞そもそも～「なぜ反証不可能なのか」の理由が異なります。

　「みかん５個とお皿５枚には共通点がない」と言われた気分で途方にくれます。
　ここも含めた基準01の説明方法については、ぼちぼち考えてみます。

＞これより基準01の検証は、～を検証すればよいわけですね？

　違います。理由の説明を始めてもまた混迷しそうなので、ぼちぼち考えてみます。ゲジケジさん[>>288]も参考になるとだけ言っておきます。
290：Ken：2019/02/10(日) 19:31:18 ID:OE1nlM1E: >>289

説明をされるのはdiamonds8888xさんですから、基準01を後に回すのがよいと判断されるのでしたら、それで結構です。ただし、１点だけ指摘させてください。

＞4) 基準01(特に狭く解釈した場合)に当てはまる理論は少なそうで、実際に使うことがあまりなさそうにも思える。

私の理解では、基準01で検証されるべき現実の課題がこれまでに２つ出ており、どちらも最終結論は出ていないはずです。

１つはブラックホール内部の問題です。そこでなにが起こるのかについての私の理解は正しくないのかもしれませんが、とにかく今の理論物理はブラックホール内部で起こる事象を予測しているのはたしかなのではありませんか？　これは検証／反証不可能な理論ではないのでしょうか。

もう１つは素粒子の存在問題です。「モノポール（磁気単極子）が存在する」という理論の反証が、それが存在しないことを示すことなら、それは不可能です。

これに対しては一度「磁気は必ず双極子として存在する」という表現に変更することを提案しましたが、>>78にてdiamonds8888xさんから

＞素粒子の件は[>>76]で難しいからお待ちくださいと言いました。今回は「反証可能性は必要がない」という簡単なことではないとだけ言っておきます。

と言われたのが最後であるというのが私の理解です。

もしもその後、これらの問題を基準01がどう判断するのかの話が進んでいるのでしたら、私の記憶には残っていないので、ご指摘をお願いします。
291：diamonds8888x：2019/02/11(月) 13:11:13 ID:JweCEwa6: >>290
＞私の理解では、基準01で検証されるべき現実の課題がこれまでに２つ出ており、どちらも最終結論は出ていないはずです。

　その２つは「世界５分前仮説のような」理論ではありません。
　まあ、そもそも私がなじ限定したのが拙いアプローチだったかも知れませんね。

【そもそもの目的から始めましょう】
　Kenさんの目的は「世間一般で言われるところの正しいアプローチなるものの正体を明らかにしよう[>>112]」ということですよね？

　そして「反証可能性のない理論は科学的理論ではない」というのは、まさに世間一般で言われるところの正しいアプローチとされています。だから本来は基準01に持ってきたかったのです。が、そもそも反証可能性についてのKenさんの理解が危うかったので、わかりやすい例として「世界５分前仮説のような理論」に限定してみたのです[>>93 ～ >>95]。期待したのは次のような流れでした。

　世界５分前仮説なんてどうみても科学的ではない。でもなぜだろう？
　なるほど世界５分前仮説は反証不可能だ。反証不可能とはこんなことをいうのか。
　なるほど、そうすると〇〇理論は反証可能だよね。
　　(〇〇はKenさんが反証不可能ではないかと疑問を呈した諸々の理論)

　でも今のところ、世界５分前仮そのものの理解で足踏みしています。そこで基準01、というよりも反証可能性の説明についてはアプローチを変えます。基準03と基準02の話しの合間に、質問ではなく、一通りの説明をします。

　それで地動説や光の粒子説の反証可能性が正しく納得できたなら、ブラックホール内部や素粒子存在の問題にも進めるでしょう。

　「私の記憶には残っていないので」？？　何を指すのか知りませんが過去ログに残っているでしょう？過去ログにないものは私の記憶にもあるはずがないですよ。意味不明な発言で混乱させないでください。

－－－－－－－
　ではまず基準03と基準04[>>59]については、いかがですか？
　この２つは同じようなものなので、まとめていいですよね?
292：Ken：2019/02/15(金) 18:11:50 ID:Zy6NZQFA: >>291

＞過去ログにないものは私の記憶にもあるはずがないですよ。意味不明な発言で混乱させないでください。

混乱をさせるつもりはありませんが、私は「念押し」の確認を入れることがあります。今回のことでいえば、ブラックホールや素粒子の問題でdiamonds8888xからなんらかの説明があったのに、同じログを見ても私の方が説明とは受け取らなかったかもしれないと思っただけです。事情は異なりますが、以前にdiamonds8888xさんが「need not」と言われたのを「must not」の意味ですかと尋ねたのも、念押しの確認でした。

あまり気にされず、diamonds8888xさんご自身の記憶にもないのであれば「ない」と簡潔に言われたらよいと思います。

＞その２つは「世界５分前仮説のような」理論ではありません。

ということは、この２つは反証可能であるか、もしくは反証不可能ではあるが、それでけでは基準01に照らして疑似科学になるわけではない、ということでしょうか。

今後の論理展開に注目します。

＞ではまず基準03と基準04[>>59]については、いかがですか？　この２つは同じようなものなので、まとめていいですよね?

そこはお任せします。
293：diamonds8888x：2019/02/17(日) 20:45:23 ID:1ic0Fhro: ＞ということは、この２つは反証可能であるか、もしくは反証不可能ではあるが、それでけでは基準01に照らして疑似科学になるわけではない、ということでしょうか。

　既に述べたように基準01の話は一旦保留で後回しです。

＞＞ではまず基準03と基準04[>>59]については、いかがですか？　この２つは同じようなものなので、まとめていいですよね?
＞
＞そこはお任せします。

　では基準03と基準04に関して、何か不明な点はありますか？
　何もなくて、科学的理論の基準として妥当だと納得されるならば、基準02に進みますが？
294：diamonds8888x：2019/02/18(月) 05:21:45 ID:1ic0Fhro: >>292
＞混乱をさせるつもりはありませんが、私は「念押し」の確認を入れることがあります。

　なるほど了解しました。では可能ならで結構ですし、ゆっくりでいいのですが、過去の議論で特に疑問の点とかあればまとめておいていただけますか？基準01の話に入る時に参考になりますから。Kenさんからみて類似問題と考えられるものも各発言に散らばっていることもあるでしょうし。

　なお私が[>>292]の意図を若干誤解した原因ですが、

＞あまり気にされず、diamonds8888xさんご自身の記憶にもないのであれば「ない」と簡潔に言われたらよいと思います。

　そのような問いに答えるのに記憶だけには頼りませんよ。一応ざっと過去ログを確認します。[>>290]の「私の記憶には残っていないので」という表現が、あたかも過去ログを確認せずに発言されたかのように見えただけです。

　この発言には特に御返事は不要です。
295：Ken：2019/02/19(火) 23:27:23 ID:bsWznzUQ: >>293

＞では基準03と基準04に関して、何か不明な点はありますか？

これらの基準に照らして疑似科学と判定される仮説の実例を示していただけますでしょうか？
296：diamonds8888x：2019/02/24(日) 16:43:52 ID:1SurWRfI: そんなとんでもない仮説など知りません。基準03と基準04に反すると判明した時点で棄却されるのが普通ですからね。まさか、それも理解できないことはないでしょう？
297：Ken：2019/02/24(日) 18:07:24 ID:eMrKU.J6: >>296

まともな理論として受け入れられている仮説はないかと尋ねたのではありません。

基準01における世界５分前仮説のような例はありませんか、ということなのですが。
298：ゲジゲジ：2019/02/24(日) 22:38:04 ID:OxUiuPVM: ヨコからですが、こんなのはどうでしょう？

基準03
東から昇らない天体は太陽ではない

これを検証しようとすると、まず「東から昇らない天体」を全て挙げて、その中に太陽が含まれない事を証明しなければなりません。
しかし「ない」事を証明するのは悪魔の証明なので不可能です。
一方で反証するには、やはりまず「東から昇らない天体」を全て挙げて、その中に太陽がある事を示す必要があるわけですが・・・
そもそも「東から昇らない天体」なんてあるでしょうか？
地球が西から東に向かって回っている以上、地球上から観察すれば全ての天体が東から昇るはずです。
よって「東から昇らない天体」を挙げる事ができないので反証も不可能。

しかし対偶「太陽は東から昇る」は反証可能です。
よって「東から昇らない天体は太陽ではない」は、その理論自体は検証も反証もできないけれど、対偶が反証可能なので反証可能な理論と見做せます。

基準04
記憶全面不信論 → 記憶は信用できない

逆は、「信用できないものは記憶である」ですね。
これを反証しようと思えば、記憶以外に信用できないものを挙げれば良いわけですが・・・
虚偽、錯覚、妄想、等々
というわけで原理的に反証可能。というより簡単に反証できてしまいました。

でも記憶全面不信論「記憶は信用できない」が検証されたわけでも反証されたわけでもありません。
299：diamonds8888x：2019/02/26(火) 05:32:51 ID:JswSGYAE: >>298
　ゲジゲジさんありがとうございます。
　教科書的な科学の理論のイメージで考えすぎて、このような例が浮かびませんでした。助かります。

>>297 Kenさん
　ということで[>>298]の例を見てください。

　なお、確認したいのですが。
　まさか論理法則における逆と対偶のことを知らないということはありませんよね？
　私は基本的論理法則くらいは知っている前提で書いていますが、万が一なじみがないのであれば、おっしゃってください。
300：名無しさん：2019/02/26(火) 07:03:05 ID:vZujc.R2: >>299

＞ということで[>>298]の例を見てください。

・・・・・・・

これだけ「１対多の議論はやらない」と繰り返しているのに。

どうしても、第三者の割り込みをさせようとされるのですね。

なんだか根負けしそうです。

では>>298は文頭から末尾まで、細部の表現にいたるまで、diamonds8888xさんの文章と見なしてもよいわけですね。
301：Ken：2019/02/26(火) 07:04:48 ID:vZujc.R2: 申し訳ありません。
>>300は私の投稿です。
302：fnorder：2019/02/26(火) 14:47:08 ID:???: 「基準03」「基準04」ってどんなのかと思ったら、これ単なる論理の話じゃないですか……

何故に例を求めるのか。
303：ゲジゲジ：2019/02/27(水) 23:57:44 ID:9b0V7UV.: >>300

・・・・・・・

これだけ「１対多の議論にならない」ように配慮して書き込んでいるのに。

どうしても、第三者の割り込みと区別がつかないのですね。

なんだか根負けしそうです。

以上、感想でした。

diamonds8888xさまへ。
恥ずかしながら議論を拝見していて、「逆ってなんだっけ？」、「対偶ってなんだっけ？」と思って調べながら上記>>298をコメントしました。
勿論、言葉は知っているし習った記憶もあるのだけれど、日常的に関わっていないと忘れてしまいます。
Kenさまがどうなのか知りませんが、以下のサイトが参考になるかも・・・

ｈｔｔｐ：／／ｒｏｎｒｉ２．ｗｅｂ．ｆｃ２．ｃｏｍ／ｈａｎｒｏｎ０４．ｈｔｍｌ

なぜか「NGワードが含まれている」そうで、なかなか書き込みできず、色々ためしています。
半角文字にしてください。
304：diamonds8888x：2019/03/05(火) 05:41:00 ID:wIopL3PY: >>300
＞どうしても、第三者の割り込みをさせようとされるのですね。

　Kenさんの目標は「世間一般で言われるところの正しいアプローチなるものの正体を明らかにしよう[>>112]」ということですよね？そのために必要な情報の提供が、なぜ困るのか理解に苦しみます。

　ついでにfnorderさん[>>302]の発言も参照してください。私の本音にすごく近いです。だからもう一度問います。この問いにはしっかり答えていただかないと、この後の私の説明がKenさんにとっては的外れになりかねませんからね。

　まさか論理法則における逆と対偶のことを知らないということはありませんよね？
　私は基本的論理法則くらいは知っている前提で書いていますが、万が一なじみがないのであれば、おっしゃってください。
305：diamonds8888x：2019/03/05(火) 05:54:27 ID:wIopL3PY: >>303
＞勿論、言葉は知っているし習った記憶もあるのだけれど、日常的に関わっていないと忘れてしまいます。

　あれっ、ゲジゲジさんでもそんなものですか？

　でも見直せば当たり前のことと納得できますよね？いつもやってることだし、ってわかりますよね？そうであってほしいなあ・・・。こんなの常識だと思う私の方が非常識なのかなあ・・。いやまあ確かに、論理の基礎関係の初心者向け本が結構たくさん出ているのを見れば、人々の大半は言葉はよく知らないのだろうとは思いますが。

　だって背理法が使えるのは、まさに対偶が元の言明と同値だからなんだもの。

　小学生のときなら、なんだか取り違えそうで楽しかったんですけど、大人なら常識・・・、ではないのかなあ？
306：Ken：2019/03/05(火) 23:41:11 ID:7mC43uAA: >>304

私が言っているのは、１対１の議論のために起こされたこのスレッドで私に向けて発言をするのはdiamonds8888xさんお一人にしてください、ということです。第三者からの情報を利用されるのはご自由ですが、それをdiamonds8888xさんご自身の言葉で語っていただけませんか？　何度か提案しましたが、ご自身の言葉としてそのまま利用できる第三者の文章があるなら貼り付けでもかまいません。私はそれを読みますし、回答します。

diamonds8888xさんの目的が私に情報を伝えることであるなら、それで目的は達せられるではありませんか。

一方で、私にとっては、私に向けられる投稿の記名がつねに「diamonds8888x」となっていることで、最初に合意した１対１の形が守られていることが確認できます。オリジナルの発想や文章がだれのものであれ、最終的な文責がdiamonds8888xさんに属することが明白になりますし、これまでの議論で培ってきた文章の読み方が通用することも想定できます。

私が求めていることは実行困難ですか？
307：diamonds8888x：2019/03/09(土) 08:35:32 ID:wvNBLFz2: >>306
　３つの点について発言を分けて書き込みます。
　【まずは本論：基準01と基準02-04との違い】[>>307]
　【もひとつ本論：Kenさんの訊きたいのは？】[>>308]
　【議論形式のこと】[>>309]

【まずは本論：基準01と基準02-04との違い】

　私もうっかりしていて、基準01と基準02-04とには大きな違いがあることに気づきませんでした。ぼーっとしてなければKenさんの提案[>>295]の時点で指摘できたはずなのに、ミスでした。チコちゃん、叱らないでーー。

　基準01[>>56]はどんな理論なら科学的かという基準です。
　基準02-04[>>56,>>59]は、むしろ、理論の検証過程が科学的か否かを判定するための基準です。

　なので、基準02-04の実例を挙げようとすれば、理論そのものを示すのではなくて、理論の検証過程を示すべきなのです。

　むろん理論の中で論理的推論を使っていれば、その推論は基準02-04に合格していなければなりませんが、例えば「世界5分前仮説」や「太陽は毎日東から昇る理論」の中には、別に論理的推論は入っていません。単に、ひとつの御託宣を述べているだけです。

［例１］では理論の検証過程の例を述べてみましょう。あまりわかりやすそうでもないのですが、適当に思いついたもので。

　「ペスト病の原因はＰ菌である」という理論を考えましょう。これは、
　　理論Ａ「Ｐ菌に感染すればペスト病になる」
　ということです。もちろん生物の話なので物理学のように確率100%ではありませんが、そこは誤差としましょう。

　そして別の理論も提案されました。
　　理論Ｂ「沼の瘴気に当たればペスト病になる」

　検証してみると、確かにペスト病の人の多くは沼の瘴気に当っていました。つまり次の理論は検証できたようでした。
　　理論Ｃ「ペスト病の人は沼の瘴気に当っていた」

　しかし、ここで理論Ｂが検証できた、とするのは早とちりです。理論Ｂは理論Ｃの逆でしかないからです。

　統計の方では、相関があるからといって因果関係があるとは限らない、という戒めが有名ですが、これも似たようなものですね。

［例２］抽象的だけど単純な例で
　　理論「クレタ人は嘘つきだ」を検証したい。

　何人かの嘘つきを調べたらみなクレタ人だった。やっぱりクレタ人は嘘つきだ。
　むろん、これは間違い。単に理論の逆が確からしくなったに過ぎません。

　何人かの正直者を調べたら、クレタ人はいなかった。やっぱりクレタ人は嘘つきだ。
　この場合は基準03,04に反してはいません。
　でも何か変？ていうか、クレタ人を調べる方が確かじゃないの？
　というのが、カラスの逆説と呼ばれるパラドックスです。まあ、この逆説はひとまず余談です。
　　　[ttps://blog.goo.ne.jp/diamonds8888x/e/c0d38611f394a9cc7bc90dfc81201c6f]

　別に基準03,04が間違っているのではありませんが、「何人かの嘘つきを調べた」「何人かの正直者を調べた」では不十分だということですね。

［例３］ゲジゲジさん[>>298]の例をアレンジ
　　理論「東から昇らない天体は太陽ではない」を検証したい。

　対偶である「太陽である天体は東から昇る」を検証したら正しかった。ゆえにこの理論は正しい。

　まあ「東から昇らない天体は太陽ではない」と似た形の理論はあまり立てないものだろうと思います。なぜかという考察もおもしろいのですが本論ではないので。

　論理の形式的にはわかるのですが、具体的には戸惑うという理論なので、抽象的な数の話しなのに具体的なミカンの個数しか思い浮かばずに困惑する子供みたいに戸惑う人も多いかも知れないというのが、ひとつの懸念ではあります。
308：diamonds8888x：2019/03/09(土) 08:36:12 ID:wvNBLFz2: >>306
【もひとつ本論：Kenさんの訊きたいのは？】

　そもそも[>>295](仮説の実例を求めること)の理由は何ですか？
　Kenさんには基準03と基準04に関して不明点があって、その解決のためには仮説の実例が役立つと考えているのだと思いますが、まず不明点を明らかにしてください。そうすれば、適切な実例を思いつくかも知れませんし、実例を出す以外の方法で不明点が解消できるかもしれません。

　そもそも[>> ]で説明したように、基準03と基準04は検証方法についての基準なので、理論モデルで説明するようなものではありません。
309：diamonds8888x：2019/03/09(土) 08:37:13 ID:wvNBLFz2: >>306
【議論形式のこと】
　Kenさんが「Kenさんに向けた発言」「割り込み発言」と判断する基準がわかりません。教えてください。

　例えば[>>298]の出だしは、次のものですが。
＞ヨコからですが、こんなのはどうでしょう？

　これが例えば、こんなのならＯＫなんですか？
＞ diamonds8888xさん、
＞ヨコからですが、こんなのはどうでしょう？

　私の感覚は何度か示唆しましたが、少し詳しく説明してみましょう。

　私にとってはどこに書かれていようが参考文献という意味では同じです。他の場所のものならその場所を紹介しますし、大抵は使うのは一部ですから該当箇所を示します。でもこの掲示板に書かれたものでは、そんな必要はあまりありません。「diamonds8888xさんご自身の言葉で語っていただけませんか？」という要求に応えるのは時間と手間の無駄です。

　参考文献が本来は誰に向けて書かれたものであろうと、使うのは内容であって、そこから得られる情報でしょう？
　なので私は有用な情報を与えてくれる第３者発言は大歓迎です。目に余る無駄発言は迷惑ですが。

　ともかく「世間一般で言われるところの正しいアプローチなるものの正体を明らかに[>>112]」するために参考になることなら、どこで誰が書いたものだろうと貪欲に学べばいいではありませんか？以前に紹介した科学哲学関係の内井惣七、戸田山、伊勢田などの本も読めば参考になりますけど、どれか読み始めましたか？ありもしない王道を探して無駄足踏んで損するのは御勝手ですけどね。
　

　第３者と議論がしたくなければKenさんからは直接語り掛けなければ済むことです。
　わかりにくいとかの理由で無視したければ無視すれば済むことです。

　気にかかる内容であれば、Kenさんとしては例えば、「ゲジケジさん発言の〇〇には、こんな不明点がある」とか書いて私向けに書けば済むことでしょう？

　以上が私の感覚です。

＞diamonds8888xさんの目的が私に情報を伝えることであるなら

　目的は情報を得たいというKenさんの手助けです。受け取るのがいやなら、手間暇かけてまで無理に伝えるつもりはありません。得たければ勉強すれば？と突き放すだけです。はっきり言って第３者からの有用な情報を拒否する姿勢は、教師が気に食わないから勉強しないという学生の姿にダブって見えます。
310：Ken：2019/03/09(土) 19:45:21 ID:jpSlFXN.: >>307、>>308
詳細な説明をいただきありがとうございます。じっくりと読ませていただきますが、その前に>>309の件を決着させておくほうがよいでしょう。

＞私にとってはどこに書かれていようが参考文献という意味では同じです。

私にとっては同じではありません。

参考文献というなら、私だってアジモフの著書やティレル理論の動画を紹介しました。しかしそれらの「外部」情報と、私たちの議論を見て書き込まれる投稿ではまったく異なります。

diamonds8888xさんの言われるとおりにしたらどういう事態になるでしょうか？

＊ＡとＢが「１対１」の議論をしている
＊その議論を見たＣが投稿する
＊ＡはＣの投稿を読むことをＢに求める
＊ＢはＣの投稿を読み回答する
＊Ｂの回答を見たＣが新たに投稿する
＊ＡはＣの新しい投稿を読むことをＢに求める
＊ＢはＣの新しい投稿を読み回答する
＊Ｃがさらに投稿する
・・・・・・・・・・・・・・・・

この状態が「１対１」といえますか？
どうみてもＢとＣの間で議論が生じているとしか私には思えません。

もっとも私（Ｂ）は、Ｃの考えを排除することをＡに求めているのではありません。役立つ情報があるなら利用されたらよいでしょう。ただし投稿番号だけを指定して読むことを求めるのはやめていただきたいと言っています。その理由はおもに>>213で説明しました。

第三者の投稿だけを見せられても、その中のどの部分がＡの考えを反映したものかが問題なのです。これは当のＡには自明ですがＢには自明ではありません。また、表現の個人差もあります。今回１年以上も議論を重ねてきて、diamonds8888xさんの文章の読み方が分かってきたつもりでいますが、第三者の文章の読み方は異なるでしょう。第三者の考えであっても、diamonds8888xさんの言葉で語っていただきたい理由がこれです。

ただし、

＞「diamonds8888xさんご自身の言葉で語っていただけませんか？」という要求に応えるのは時間と手間の無駄です。

たしかに時間と手間がかかることでしょう。でも私はその解決策も提案しています。Ｃの投稿の中でご自身の文章として採用できる部分を抜き出し、ご自身の投稿に貼り付けたらよいではありませんか。これなら時間も手間もかからないはずです。また>>300ではこういう発言も行ないました。

＞では>>298は文頭から末尾まで、細部の表現にいたるまで、diamonds8888xさんの文章と見なしてもよいわけですね。

これは、第三者の投稿でも最初から最後までdiamonds8888xさんの文章とみなしてよいものがあれば、言い換えれば投稿者名に「diamonds8888x」と記入されていると考えてもよいものであれば、それなら投稿番号だけの指定でもかまいません、と言っています。

ちなみに私自身はティレル理論の紹介でも「動画を見てください」と言って済ませていません。自分の言葉でこの理論を説明し、ただ、そういう理論が世に実在することの証拠として動画を紹介しただけです。そうでなければ誤解を生じたかもしれませんから。たとえば私はティレル理論を、

～世界が突然、現在の形で、住民が過去の記憶をもっている状態で、出現した

ということが荒唐無稽でもなんでもなく、日常茶飯の事象であることを示すために紹介しました。これが私の論点です。だからといってティレルが主張するような、

～世界が量子で構成されていることがその証拠

という部分にはまったく同意していません。つまり紹介した動画には、私の論点とそうでない部分があるわけですが、ただ動画を見ただけではその区別は難しいと思います。
311：diamonds8888x：2019/03/13(水) 06:11:41 ID:wvNBLFz2: >>310
＞この状態が「１対１」といえますか？

　御懸念は理解しました。では、こんなところでいかがですか？「そのまま読め」は１回だけ許してもらうということで。

＊ＡとＢが「１対１」の議論をしている
＊その議論を見たＣが投稿する
＊ＡはＣの投稿を読むことをＢに求める
＊ＢはＣの投稿を読み回答する
＊Ｂの回答を見たＣが新たに投稿する
　　　　(または、Ｃが新たに投稿する前に)
＊Ａは、ここまでのやり取りをみて自分の言葉でコメントする。

　Ａから見るとＣの投稿はごく普通に読めることが多いですから、Ｂがどう受け取り解釈したのかはわかりません。「普通のことを書いてるだけではないか？」と思えるだけですからね。でもＢの回答があれば、その当たりがわかりますから、多少は的確なコメントをつけられるでしょう。
　最初のＣの投稿を「Ａの言葉で」書き直したとしても、Ｃの言葉をＢがそのまま解釈する場合と大きな違いはないと思うのです。２回目以降であれば、Ｂの疑問や理解を踏まえて答えたり書き直したりできますから、１回目にすぐに「Ａの言葉で」書き直すよりも効率的だと思います。

　なお、念のために今回の[>>298]に関しては別発言にて。
312：diamonds8888x：2019/03/13(水) 06:12:51 ID:wvNBLFz2: >>310,>>311
　[>>307,>>308]で十分とは思いますが、念のために今回の[>>298]に関して。

　既に[>>307]に書いたように私のミスもありましたし、[>>295]～[>>299]の投稿はないものとしてください。仮説の実例を示すのは適切ではありません。仮説を検証する過程のの実例を示すのが適切でした。[>>295]に対して[>>307,>>308]の回答をしたものと考えてください。

　ただ、[>>299]の質問には答えてください。今後の説明に関わりますから。
＞私は基本的論理法則くらいは知っている前提で書いていますが、万が一なじみがないのであれば、おっしゃってください。

　例えば中高の数学で論理法則を学んだ記憶はありますか？なければネットで探すのが手っ取り早いかも知れませんが。Kenさんは論理的方法が好みらしいので知らないはずはないとも思ってのですが、論理記号にはなじみがないともおっしゃっていましたので、よくわからないのです。
313：Ken：2019/03/14(木) 22:00:40 ID:jpSlFXN.: >311

＞Ａから見るとＣの投稿はごく普通に読めることが多いですから、（中略）「普通のことを書いてるだけではないか？」と思えるだけですからね。

ここは「文章責任」という切り口で考えられませんか?

ＡがＢに読むことを求める文章なら、Ｂに対する文責はＡが負うということです。あとから「いや、そこはＣの言葉だから私は知りません」と言われては困りますから。

その文責を明らかにするため、

（１）Ｃの発言をＡの言葉で言い直す
（２）Ｃの発言から利用できる部分を抜き出す
（３）Ｃの発言をそのままＡの発言とみなしてよいと保証する

という３つの方法を提案しています。もしも「ごく普通に読める」「普通のことを書いてる」というのが、Ｃの投稿をＡが自分の発言として承認するという意味なら、（３）の条件が満たされたことになりますから、

＞「そのまま読め」は１回だけ許してもらうということで。

１回に限る必要はなく、何度でもされたらよいでしょう。

反対に、もしも（１）～（３）のどれもできないのなら、Ａが共有できないと考える発言が、Ｂが読む文章に含まれることになります。それが、私が「割り込み」と呼ぶもので、１回といえども、受け入れるのはご容赦ください。。

>>312

＞ただ、[>>299]の質問には答えてください。今後の説明に関わりますから。
＞私は基本的論理法則くらいは知っている前提で書いていますが、万が一なじみがないのであれば、おっしゃってください。

私がこれに答えることはできますが、あまり意味がないのではありませんか？
「はい、知ってます」と答えたとしても、それだけではdiamonds8888xさんが考える理解と同じという保証がありません。
だからこそ具体例が必要になります。

今回は>>307で具体例を挙げていただきましたので、これに対する私の回答をお待ちください。私の回答をご覧になれば、私が正しく理解しているかを判断していただけるでしょう。
314：diamonds8888x：2019/03/15(金) 06:20:50 ID:wvNBLFz2: >>313
　了解しました。（１）（２）をしていなければ（３）だということで受け取ってください。

＞「はい、知ってます」と答えたとしても、それだけではdiamonds8888xさんが考える理解と同じという保証がありません。
だからこそ具体例が必要になります。

　そんなことはないと思いますが、「はい、知ってます」だけよりも詳しい説明法を思いつかないのなら仕方ありません。

＞今回は>>307で具体例を挙げていただきましたので、これに対する私の回答をお待ちください。

　ではお待ちします。ごゆっくりどうぞ。むしろ、御自分で別の例を考えてみて思いつくようなら、確かに理解していることになるとは思いますが。
315：Ken：2019/03/16(土) 22:59:18 ID:APgjG24U: それでは>>307で挙げられた例題についての感想です。ペストの話を例に取り上げます。

理論Ｃ「ペスト病の人は沼の瘴気に当っていた」

から

理論Ｂ「沼の瘴気に当たればペスト病になる」

が導けるというのは誤りである。それはそうでしょう。Ｃは、ペスト病の人は瘴気に当たった人の部分集合といっているのだから、瘴気に当たってもペストにならない人はいるわけです。それゆえ理論Ｂの検証はできていないと結論し、それでこの話は終わりになります。

ただ、もしも今の私たちが科学的探究や科学教育のあるべき姿を論じているのなら、私から言い添えたいことがあります。理論ＣからＢを証明はできませんが、少なくともＢを強く示唆するのは確かです。

現実問題として、もし多くのペスト患者が沼の瘴気に当たっていたという事実が知れたら、瘴気でペストにならない例があるとしても、やはり圧倒的多数の人は沼に近づかないようにするでしょう。また、ペストの原因を探す研究者は、探索対象を瘴気を出す沼に集中させるに違いありません。そのとき理論Ｂ「沼の瘴気に当たればペスト病になる」には根拠がないという理由で、彼等の行動に合理性がないと批判する人はいないはずです。

瘴気の影響を調べ、とりわけペストに罹る人と罹らない人それぞれの共通点を探した結果、罹った人はＰ菌に感染していたという共通点があれば、ペストを起こすのは瘴気ではなくＰ菌であることが分かります。しかしこれは「瘴気」が誤った理論で「Ｐ菌」が正しい理論というよりも、原因の探索領域が絞り込まれただけで、探索はまだ続くはずなのです。

次の段階として「なぜＰ菌が病を起こすのか」を探求することで、Ｐ菌もまた最終結論ではなく、そこに含まれる化学化合物Ｘこそがペストを引き起こすことが分かるかもしれません。ウィキペディアの記事を読むと、現実のペスト菌ではＦ１抗原とＶ抗原という２つの化学化合物が病を起こすとありますが、Ｐ菌にもＸを含むものと含まないものがあり、前者のみがペストを引き起こすなら、真の原因はＰ菌ではなくＸです。

さらにＸにも数種類の構造があり、ペストを引き起こすのはＹという官能基をもつタイプと分かるかもしれません。するとペストの原因探索は、

瘴気→Ｐ菌→化合物Ｘ→官能基Ｙ

と絞り込んできたことになります。それぞれの段階では「瘴気」なり「Ｐ菌」なりが原因という仮説が立てられ、その対象を集中的に調べることで、より深い掘り下げが行なわれたのだから、瘴気原因説もＰ菌原因説も歴史の中で科学の発展に貢献したことになります。

注意すべきは、１段階の掘り下げに長大な時間を要するかもしれないことです。瘴気原因説からＰ菌原因説に進むまで数十年も数百年もかかるかもしれず、その間は、瘴気に当たってもペストに罹らない例があることを承知の上で、瘴気原因説を教育の場で伝えてゆくしかありません。

歴史上の極端な例では、アリスタルコスの地動説もデモクリトスの原子論も、証拠も見つからず、検証もされることなく、千年以上も教え伝えられ、ついに近代理論の誕生を幇助する時がきました。

別に基準03や04を否定するのではありませんが、現実の科学史はこのような形で進んできたのだろうと思います。

問題がなければ基準02に話を進めてはいかがでしょうか？
316：diamonds8888x：2019/03/20(水) 06:24:46 ID:x.O9fI26: >>315
　間違ったことは書いてありませんが、どこまで本当にわかっているのか私の方が不安になります。やはりあまり良い例ではないのかも。あまり良い例ではないと考えたのは別の理由もあったのですが。

　数学だと対偶は使いまくりですが、経験的証拠を使う科学の場合はなかなかぴったりの例が出てきません。どちらかというと御指摘のように、示唆するけど証明には不十分という例の方が出やすいですね。

　仕方ないので、Kenさんがどれだけ論理になじみがあるかどうかを知るための問題を作ってみました。
　以下の論理式が正しいものは〇、誤りのものは×で示してください。
　なお、余計なコメントは付けないで〇×のみでお願いします。
　ただ、記号等でわからないとか自信がなくて調べてわかったものがあれば、教えてください。

　1) ((Ｐ→Ｑ)∧(Ｑ→Ｒ))→(Ｐ→Ｒ)
　2) ((Ｐ→Ｑ)∧Ｐ)→Ｑ
　3) ((Ｐ→Ｑ)∧Ｑ)→Ｐ
　4) ((Ｐ→Ｑ)∨Ｐ)→Ｑ
　5) (￢Ｐ)∧Ｐ
　6) (￢￢Ｐ)→Ｐ
　7) (Ｐ→Ｑ)∨(Ｐ→￢Ｑ)
　8) (Ｐ→Ｑ)→(￢Ｐ→￢Ｑ)
　9) (Ｐ→Ｑ)→(￢Ｑ→￢Ｐ)
317：Ken：2019/03/22(金) 01:53:02 ID:CG50SQBs: 設問には回答しますが、これは科学と疑似科学を区別する基準になるのでしょうか？

前に言いましたが、私は論理式の表記法に慣れていません。論理表記なら、むしろプログラム言語の方がなじみがあるのですが、とりあえず、回答できると思うものを回答します。

1) ((Ｐ→Ｑ)∧(Ｑ→Ｒ))→(Ｐ→Ｒ) 〇
2) ((Ｐ→Ｑ)∧Ｐ)→Ｑ〇
3) ((Ｐ→Ｑ)∧Ｑ)→Ｐ ×
4) ((Ｐ→Ｑ)∨Ｐ)→Ｑ ×
6) (￢￢Ｐ)→Ｐ〇
8) (Ｐ→Ｑ)→(￢Ｐ→￢Ｑ) ×
9) (Ｐ→Ｑ)→(￢Ｑ→￢Ｐ) 〇

下の２つは意味がいまひとつ不明です。これらは、この論理式で定義されるようなデータがありうるといっているのでしょうか？

5) (￢Ｐ)∧Ｐ
7) (Ｐ→Ｑ)∨(Ｐ→￢Ｑ)
318：diamonds8888x：2019/03/23(土) 09:10:39 ID:ygBXtEB2: >>317
＞前に言いましたが、私は論理式の表記法に慣れていません。

　十分に読めるではありませんか。それでＯＫです。むしろ読み取った概念を納得しているかどうかが大事ですよね。表記なんてただの言葉です。もっとも命題を接続する論理記号の強さの順序を誤読される可能性は危惧しましたので、括弧を使って読みの順序は明確にしておきました。なので通常は省略可能な括弧も付けています。

＞これは科学と疑似科学を区別する基準になるのでしょうか？

　そもそも科学の検証というのは論理的に行うべきものではありませんか？ Kenさん自身も常々「論理的に議論したい」とおっしゃっていたような気がしますが。

　質問の目的は「論理的」という概念が私とKenさんとで食い違っていないかどうかを確認することです。

　そして答えてくださった問題はすべて正解です。まあ当然ですよね。

　5),7)は「ならば」でつなぐ形になっていないので戸惑われたのでしょうか？
　ＰやＱがいかなる命題であろうとも論理式が表している命題が真ならば〇です。かみくだいて言えば、普通の文章に直してみてＰやＱに適当な命題を入れてみていつでも正しいならば〇です。

　そして〇であれば、正しい論理的推論に使うことができます。もしも5),7)のように「ならば」でつなぐ形ではない論理式に戸惑うのであれば、そのような形の論理を使えていないということになり、それはつまり、論理的に考えているつもりでも便利な道具を使えていないというこになるのですが・・・。

　では最も基本的なやつも出しておきましょう。

　10)Ｑ∨(￢Ｑ)

　もしかして私は、5),7)への戸惑いの理由を誤解しているのかも知れません。上記のことは「それはわかってるけど・・」となるのかも知れないような気もします。可能ならば、何が「いまひとつ不明」なのか説明してください。
319：fnorder：2019/03/23(土) 14:48:46 ID:???: 論理式が「正しい」「誤り」という言い方はあまり良くないですねー。
表記が適切かどうかという意味でなら全部「正しい」とも言えるし。

この場合は『恒に真であるか』ですよね。
320：Ken：2019/03/23(土) 19:20:58 ID:CG50SQBs: >>318
いくつか問いただしたい点があるのですが、まずは５）と７）を片付けましょう。

他の設問はすべてＡ→Ｂ、つまりＡが成立する条件下ではＢが成立するという形をとっています。たとえば１）の

((Ｐ→Ｑ)∧(Ｑ→Ｒ))→(Ｐ→Ｒ)

は三段論法ですね。

人間（Ｐ）は哺乳類（Ｑ）である
哺乳類（Ｑ）は脊椎動物（Ｒ）である
→ゆえに人間（Ｐ）は脊椎動物（Ｒ）である

それでは→記号がない、つまり条件が設定されてない、場合はどうなるのでしょうか？　例えば５）の

(￢Ｐ)∧Ｐ

が〇になるのは、いついかなるときにも、対象がなんであれ、(￢Ｐ)∧Ｐが成り立つことが必要ですか？
それとも無数にある条件下で１つでも(￢Ｐ)∧Ｐが正しい場合があれば〇と判定されるのでしょうか？
321：diamonds8888x：2019/03/24(日) 15:29:11 ID:ygBXtEB2: >>320
＞が〇になるのは、いついかなるときにも、対象がなんであれ、(￢Ｐ)∧Ｐが成り立つことが必要ですか？
＞それとも無数にある条件下で１つでも(￢Ｐ)∧Ｐが正しい場合があれば〇と判定されるのでしょうか？

　前者です。だからこそ推論に使えるのだということは、おわかりですか？
322：diamonds8888x：2019/03/24(日) 15:31:37 ID:ygBXtEB2: >>319
　fnorderさん
　そこは、なじみのない人のためにわかりやすくということで御容赦を。
　「恒に真」て何？とか横道にそれても面倒ですし。
323：Ken：2019/03/24(日) 21:25:37 ID:ZwWUn7XU: >>321

承知しました。

５）と７）は正しいケースもそうでないケースもあると思いますが、いかなる条件でも命題が成立する場合のみ〇と判定されるのであれば、２つとも×になると思います。

この回答でよろしいですか？

よろしければ、基準03と04についてお尋ねしたいことがあります。
324：diamonds8888x：2019/03/29(金) 05:59:40 ID:ggTnQef6: >>323
　正解です。7)はちと複雑だったと思いますが。
　ではお尋ねをどうぞ。

　ちょっと気になりますが、「正しいケースもそうでないケースもある」ような命題は論理的推論には使えませんよ？だから×とするのです。どうもここに意識の違いがありそうな気がしますねえ。
325：Ken：2019/03/29(金) 07:19:22 ID:.njNR9jk: >>324
＞「正しいケースもそうでないケースもある」ような命題は論理的推論には使えませんよ？だから×とするのです。

まずは、この点を明らかにしておきましょう。
×と判定される命題には２種類あるのではないでしょうか？

例を挙げます。aは実数であるとして、

命題１：　2a² ≧ a²
これはaにどんな値がきても成立するから〇です。

命題２：　2a² < a²
aにどんな値が入っても成立しませんから×です。

命題３：　a ≧ a²
これは0≦a≦1の範囲では成立しますが、aにそれ以外の値が入ると成立しません。ゆえに×と判定されます。

命題２は×ですが、diamonds8888xさんがいわれる「論理的推論」に使えるのではありませんか？

一方、

5) (￢Ｐ)∧Ｐ
7) (Ｐ→Ｑ)∨(Ｐ→￢Ｑ)

この２つは命題３と同じ種類に属するので、×は×でも論理的推論に使えない、というのが私の理解です。
326：fnorder：2019/03/29(金) 09:15:52 ID:???: >>324
7番は「正しい」はずです。
327：diamonds8888x：2019/03/31(日) 09:55:56 ID:ggTnQef6: >>325
　なるほど、×では意味が曖昧になったようですね。「論理的推論に使えない」の意味に２通りあったということになりますね。

　命題３が論理的推論に使えないという点では見解が一致したということですね。[>>324]は命題３のような例を念頭においたものでした。

　命題２に関して言えば、
　　　命題２　×
　　　￢命題２　〇

　従って、
　　推論１.命題２である。ゆえに～である。
　　　　誤った推論である。その意味で「命題２は正しい推論には使えない」
　　推論２.￢命題２である。ゆえに～である。
　　　　゜￢命題２」は正しい推論に使える。

　以上のように「論理的推論に使えない」の意味に２通りあります。私は無意識のうちに文脈でわかると思っていたのですが、今後は意味をはっきりさせた表現の方がいいですか？
　それとも以上の２通りの意味があるとして文脈で判断させる方式でもいいですか？

　まあ、「ほんの少しでも間違っている命題は論理的推論に使えない」ということでは、２通りと言わなくてもいいのだとも思いますが。
328：diamonds8888x：2019/03/31(日) 09:57:44 ID:ggTnQef6: >>326
fnorderさん

7) (Ｐ→Ｑ)∨(Ｐ→￢Ｑ)
7') Ｐ→(Ｑ∨￢Ｑ)

　7')なら〇ですが、7)は×です。(Ｐ→Ｑ)と(Ｐ→￢Ｑ)以外の場合もありますので。以下なら〇ですね。

7") (Ｐ→Ｑ)∨(Ｐ→￢Ｑ)∨￢(Ｐ→Ｑ)∨￢(Ｐ→￢Ｑ)
329：Ken：2019/03/31(日) 12:37:31 ID:.njNR9jk: >>327の内容に納得したので、お尋ねしたかった質問をしようとしましたが、>>328を見て「あれ？」と思ったので、こちらから確認させてください。

7') Ｐ→(Ｑ∨￢Ｑ)は〇、つまり必ず成立するでしょうか？

「Ｑ∨￢Ｑ」とは「Ｑ OR ￢Ｑ」の意味かと思いますが、XORではなくただのORなら「Ｑ∧￢Ｑ」の領域がある可能性を排除できないはずです。そうなると

5) (￢Ｐ)∧Ｐ

と同じで、成立する場合もあるし、成立しない場合もある。つまり×になりませんか？
330：diamonds8888x：2019/04/02(火) 05:57:31 ID:ggTnQef6: >>329
　「Ｑ∧￢Ｑ」も「(￢Ｐ)∧Ｐ」も成立する場合はありませんよ？それは矛盾です。
　[ttps://ja.wikipedia.org/wiki/%E7%9F%9B%E7%9B%BE#%E8%AB%96%E7%90%86%E5%AD%A6%E3%81%AB%E3%81%8A%E3%81%91%E3%82%8B%E7%9F%9B%E7%9B%BE]論理学における矛盾

　なお、「∨」すなわち、"or"、"または"、で結合された命題や論理式は、それを構成するどれかひとつの命題さえ成立していれば〇です。
　つまり「Ｑ∨￢Ｑ」は「Ｑ∧￢Ｑの場合が必ずある」などという意味は全く含みません。
331：Ken：2019/04/03(水) 23:32:29 ID:MPn6w7No: >>330

＞「Ｑ∧￢Ｑ」も「(￢Ｐ)∧Ｐ」も成立する場合はありませんよ？それは矛盾です。

ですが現実には、Ｐと￢Ｐの関係にある２つの理論が、実は両方とも真実だった例があります。あるいはＰと￢Ｐの関係にあるというのが誤解だったかもしれません。でもその判定は非常に難しく、現実問題としては(￢Ｐ)∧Ｐを認めるしかないのでは？

たとえば、

～光は粒子である
～光は波動である

この２つの理論は何世紀にもわたってＰと￢Ｐの関係にあると信じられてきましたが、その前提を量子力学が崩しました。光は粒子でもあり波動でもある。このＰと￢Ｐは並立するのです。量子力学にはこのような複数状態の並立例がいくつもあります。

これに対して「量子の世界は別だ」と言われることがあります。Ｐと￢Ｐが排他関係にあるのは、あくまでも私たちが体験する「大きな世界」の話であって、量子のような「小さな世界」ではＰと￢Ｐが並立する、というより相反する状態をＰと￢Ｐとは見なさないのだ、と。

このような説明（言い逃れ？）に「待った」をかけたのが「シュレーディンガーの猫」です。放射性元素が原子核崩壊を起こすと、毒ガス発生装置が起動されて、生きてる猫が死ぬ。つまり小さな世界の原子核の状態が、大きな世界の猫の生死に直結することで、同じ猫が生きてる状態と死んでる状態が並立するというのです。これは大きな世界の話ですから上記の説明（言い逃れ？）は通じません。

数理としての

「(￢Ｐ)∧Ｐ」は矛盾である

に反論する意図はありませんが、現実問題としては「(￢Ｐ)∧Ｐ」を容認するしかないのではありませんか？