X
トップページ⇒数学
293コメント139KB
数学を初めとした理系の学問と哲学について　
■ このスレッドは過去ログ倉庫に格納されています
0100１３２人目の素数さん
垢版 |
2018/07/03(火) 09:12:02.10ID:AZgIUQzJ
>>96
>>99の下から6行目の一部を訂正(漢字訂正)：
芸術は本来言葉より完成が先 → 芸術は本来言葉より感性が先
0101１３２人目の素数さん
垢版 |
2018/07/03(火) 09:28:39.16ID:AZgIUQzJ
>>96
>>99の上から行目の一部も訂正：
古代ギリシア語やラテン語とくいった特殊な言語 → 古代ギリシア語やラテン語といった特殊な言語
0102１３２人目の素数さん
垢版 |
2018/07/03(火) 09:36:02.95ID:AZgIUQzJ
>>96
>>101にも訂正すべきところ(「」でくくった部分)があるから、>>101は以下のように、再度訂正：

>>99の上から「4」行目の一部も訂正：
古代ギリシア語やラテン語とくいった特殊な言語 → 古代ギリシア語やラテン語といった「ような」特殊な言語
0103１３２人目の素数さん
垢版 |
2018/07/03(火) 09:39:47.05ID:QZBXzcqo
数学だと、自然数は「ペアノの公理」を使って定義できて、それで問題が完結する
(経路でいえば閉じている)のに対して、哲学だと、「自然数とは何か？」や
「自然数は、本当に自然なのか？」その前にそもそも「自然と、不自然を分かつものは何か？」、
「数とは何か？」といった感じで、哲学ではその問いや前提自体を幾らでも分岐させて、
その論を展開することが出来る。そして最後に、「自然数の本性は、不自然である」のような
哲学的な帰結を導くことも出来る。「ラッセルのパラドックス」なら素朴集合論に存在
する矛盾を導いて、フレーゲの論理学に矛盾があることをラッセルが指摘したものであり、
それは数学や論理学上での話だけど、こういうことをあらゆる素材、美学含めてなしうる
のが哲学の持つ機能の一つだと言えよう。それだけ、哲学は自由度が高いのだろう。
0104１３２人目の素数さん
垢版 |
2018/07/03(火) 09:45:12.91ID:QZBXzcqo
だから、経路でたとえると、数学は閉じている(自己完結している)のに対して、
哲学は、経路が閉じていない(自己完結していない）ので、その議論は延々と
続くことになる。ある哲学者aがxと主張しても、別の哲学者cが、それはyだと
言って、こうした突っ込みや解釈の差異が延々と無限に続いていく傾向にある
のが哲学。そういう哲学的営為を無駄と思うか、下らないと思うか、実は、
結構、有益なんじゃないか、と思うのはその人の考え方や感性、必要性にも
よるだろう。
0105１３２人目の素数さん
垢版 |
2018/07/03(火) 11:38:39.21ID:u3l2v4S1
>>99->>104

具体的な論文名が出てきませんね

どうせ読んでないんでしょうね

とても科学的な態度とは思えません

ググって題名調べて終わり、あなたたちが毛嫌いしてる、頭の中の哲学者そのものではないですか？
0106１３２人目の素数さん
垢版 |
2018/07/03(火) 11:41:56.13ID:u3l2v4S1
>>93
＞文系哲学は科学タームを修辞的に用いて、知的体裁があるものと装っているのだろうね。

>>99
＞だが、幾つかの哲学科のシラバスを検索すると、哲学科で教えていることは、
＞古代ギリシア語やラテン語とくいった特殊な言語の習得や、数理論理の基本を除くと、
＞雑多な寄せ集めの内容になっていて、哲学科では何やっているのかよく分からない。

実際に読んでもいない論文を、シラバス見て専門用語並べただけで内容がわかった気になれるんですね

科学批判批判は文系哲学なのでしょうね
0107１３２人目の素数さん
垢版 |
2018/07/03(火) 12:02:20.93ID:AZgIUQzJ
>>105
>具体的な論文名が出てきませんね
>
>どうせ読んでないんでしょうね
哲学の論文を読むことは、哲学者がすることだろ。
哲学専攻の人でなくても哲学の論文が読めて内容が分かれば、
他の分野の専攻者でも哲学の論文が読めて、哲学科とかの存在意義がなくなってしまうじゃん。
高校の倫理の一部は哲学の内容になっているだろ。
0108１３２人目の素数さん
垢版 |
2018/07/03(火) 12:15:56.09ID:AZgIUQzJ
>>106
>科学批判批判は文系哲学なのでしょうね
そもそも、批判するとは何か？
批判するという現象の解明だけでなく、
批判的な態度を諸分野に生かさないことには、これといった意味がないと思われる。
客観的に見たら、批判するとは何か？　という問いへの答えは
唯一つではないどことか、人によって答えは異なる。この問いは終わることがない。
0109１３２人目の素数さん
垢版 |
2018/07/03(火) 12:21:10.01ID:8123gKMc
自己批判に向かうことで学問的に真摯な振りをしたいのかもしれないけど、
科学批判にも多様な形があり得ると暗に認めちゃって墓穴掘ってる
0111１３２人目の素数さん
垢版 |
2018/07/03(火) 12:27:24.64ID:AZgIUQzJ
>>109
>科学批判にも多様な形があり得る
それだと、むしろ個人的な考えが強く反映されるということになる。
0112１３２人目の素数さん
垢版 |
2018/07/03(火) 12:32:06.00ID:8123gKMc
もしかしてカントも知らずに倫理の教科書がどうとか言ってるのか
無知はある意味で最強というが…
0113１３２人目の素数さん
垢版 |
2018/07/03(火) 12:36:14.55ID:AZgIUQzJ
>>112
カントの純粋理性批判や西田幾太郎の思想とかのことは、
多少は高校の倫理の教科書にも書かれていたぞ。
0114１３２人目の素数さん
垢版 |
2018/07/03(火) 14:55:24.48ID:QZBXzcqo
数学の場合は、なるべく解が求まる方向で動いていくけど、
哲学の場合は、問いそのものをメタ視点で新たに問い直す方向で
動いていくので、そもそも端から解の収束を目指していない感じが
する。哲学はむしろ、一般解を縦横無尽にスライドさせていき、
解を転覆、無化する傾向さえ感じられる。

ふーん、なるほど、そのような変わった物の見方や捉え方もあるのだな、
というように、哲学は人々が客観的・一般的であるとみなすものを
「実はそうではないよ」と説く。数学にもそういう要素がある。たとえば、
人間の直観的な認識から、虚数や無限小などの概念は現れてこないだろうから。

グラフ理論などでも、2つの或るグラフGとHを直観的にだけその経路を見てしまうと
全然別物に見えるものでも、その頂点と辺の接続状態だけに注目すると、それらに
同型と呼ばれるものがあるように、数学にもメタ認知的な要素があるだろう。
0115１３２人目の素数さん
垢版 |
2018/07/03(火) 18:42:45.49ID:FwEJGuvW
>>107
つまり、論文を読んでもないのに批判してるんですか？

科学を理解してないのに哲学やってるとあなたがバカにしてる哲学者と何が違うんですか？

てかそんな人の存在すらまだ示されてないですけどね
今までの議論で示されたのは、論文も読まずに哲学者を批判するレベルの低い人がいる、ということだけです
0116１３２人目の素数さん
垢版 |
2018/07/03(火) 22:03:03.94ID:AZgIUQzJ
>>115
>科学を理解してないのに哲学やってるとあなたがバカにしてる哲学者と何が違うんですか？
>
>てかそんな人の存在すらまだ示されてないですけどね
科学の哲学と科学とでは、手法が全く違う。
科学の哲学では、(大規模な)設備を使った実験はしないのではないか。
0117１３２人目の素数さん
垢版 |
2018/07/03(火) 22:42:24.72ID:VzWnuTnd
>>116
科学では実際に論文を読むことなくグーグルで上っ面かじっただけでもわかったことになるんですか？
0118１３２人目の素数さん
垢版 |
2018/07/03(火) 22:45:53.72ID:VzWnuTnd
アホみたいに税金使って実験したところで、結局グーグルするんだったら、実験なんかしなくてもよくないですか？
0119１３２人目の素数さん
垢版 |
2018/07/04(水) 00:18:09.19ID:H8YychWt
>>96
論文の存在を証明できないので、虚学ですね
0120１３２人目の素数さん
垢版 |
2018/07/04(水) 00:22:46.72ID:foR26SUl
なるほど、そんな論文ないんですね
では、藁人形論法して喜んでるような低レベルしかいないということですね
0121１３２人目の素数さん
垢版 |
2018/07/04(水) 00:43:07.23ID:ZddXGMwZ
>>117-118
自然科学に限らず、人文科学や社会科学の諸分野にも、数学が応用されている分野は
かなり多くあって、実験や観察、観測を繰り返して経験的な方法で法則や事実をつかみ取る手法や、
行った実験や観測の数値が何故そのように出て来たのか？
ということを問題にして逆に実験や観測の数値から法則や事実を取り出す
というような方法論はある。これらは、(応用)数学をしていれば、分かるときもあると思う。

>>115
>科学を理解してないのに哲学やってるとあなたがバカにしてる哲学者と何が違うんですか？
書く内容が違ったような気がするが、フランスの大学入学資格試験であるバカロレアには
哲学の試験が含まれていて、フランス人は、大学に入る前までに哲学の手法を身に付けているようだ。
日本の大学だけでなく、フランスの大学にも、哲学科に相当する学部或いは学科はあるだろう。
これは、科学を理解していなくても哲学している人物の例に当てはまるのではないか？
0122１３２人目の素数さん
垢版 |
2018/07/04(水) 08:25:20.30ID:foR26SUl
>>121
＞これは、科学を理解していなくても哲学している人物の例に当てはまるのではないか？


でも、あなたはシラバスの題名だけ読んで済ませようとして中身を読まないので、本当にそのような人がいるということは示されてませんよ？

あなたの妄想ですよね、今の所は
早く示してください？

あと私は数学とか自然科学はある程度はわかりますからね
知ったかしてないで、科学を理解していなくても哲学している人物、の存在性を示してくださいね
0123１３２人目の素数さん
垢版 |
2018/07/04(水) 08:45:04.16ID:foR26SUl
科学タームを修辞的に用いて、知的体裁があるものと装って、論点をずらし続けて私が諦めるのを待つのはやめませんか(笑)？
0124１３２人目の素数さん
垢版 |
2018/07/04(水) 09:19:16.03ID:3rtq/5AO
＞科学を理解していなくても哲学している人物、の存在性を示してくださいね

日本ではニーチェがやたら人気があるけど、典型的な科学音痴の哲学者っぽいよね。
ニーチェは哲学者というより、文学者に近いイメージだね。デリダも科学音痴っぽい、
同じく文系修辞哲学という感じがする。

ドゥルゥーズ・ガタリの場合は、数学や科学の知識はあるけど、それらがポモ的に
恣意的に乱用されすぎている嫌いはありそうだ。とにかくそれらが、比喩やポエジーの
ように使わているので、読者を煙に巻くのが目的なのかと訝られても多少は仕方ない点もある。


＞ID:foR26SUlは、興奮しやすいヒステリックなタイプなので、冷静な議論を要する
科学や数学、哲学のいずれにも向いてないだろうなｗ
0125１３２人目の素数さん
垢版 |
2018/07/04(水) 09:25:38.69ID:EJv1HTFh
>>124
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ

わからないんですね



ようやく人の名前が出てきましたね
たとえば、どの論文が科学音痴なんですか？
0126１３２人目の素数さん
垢版 |
2018/07/04(水) 09:26:20.32ID:ZddXGMwZ
>>123
>科学を理解していなくても哲学している人物、
>>121の後半に書いたことから分かるかも知れないが、
フランスの大学に入ろうとするフランスの高校生の中でも文系の人達がその例に当てはまる。
フランスの高校の段階では、特別な人を除き、多くのフランス人高校生は科学を理学部のように学んではいないし、
高校の段階で哲学する手法を学んで身に付けているから、彼らは哲学しているといえる。
0127１３２人目の素数さん
垢版 |
2018/07/04(水) 09:39:56.39ID:3rtq/5AO
>>125
だから、その辺りの事情はアラン・ソーカルの「「知」の欺瞞」に詳しく書かれて
いるから未読であれば、参照するといいよ。ちなみにソーカルは、ユニヴァーシティ・カレッジ・ロンドンの数学教授とニューヨーク大学の物理学教授を兼任する
学者。専門は統計力学と組合せ数学。一般には、ポストモダニズムへの批判者として
最もよく知られる。
0128１３２人目の素数さん
垢版 |
2018/07/04(水) 09:42:41.28ID:EJv1HTFh
>>127
ソーカルさんの本では、どのような人がどのような意味で科学音痴だと書いてあるんですか？

本当に読んでるはずなら答えられるはずですね
0129１３２人目の素数さん
垢版 |
2018/07/04(水) 09:48:26.00ID:3rtq/5AO
>>128
君のような人が典型的な科学音痴だとそこに書いてあるよ。
嘘だと思うのなら、自分で読んでみなさい。
他人にネットで聞いて楽しようとするなんて、それこそ君の批判する
内容(読みもしないで批判）そのものだろうね。自己言及の矛盾に陥っているよ。
0130１３２人目の素数さん
垢版 |
2018/07/04(水) 10:16:00.65ID:+Vo4KPhH
>>129
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ

でもあなたこれわかりませんよね
0132１３２人目の素数さん
垢版 |
2018/07/04(水) 10:18:19.57ID:QXimI0LL
>>129
読んだなら答えられるはずですね

答えないということは、よんでないということです
0133１３２人目の素数さん
垢版 |
2018/07/04(水) 11:08:21.88ID:3rtq/5AO
>>132
君はもしかして、不勉強で怠け者の反知性主義者？

＞ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ

馬鹿の一つ覚え？
0135１３２人目の素数さん
垢版 |
2018/07/04(水) 11:25:22.50ID:3rtq/5AO
より深刻なのは、明快な思考と明晰な書き方を放棄することが
教育と文化に与える悪影響だと我々は考えている。
(中略)
評論家ケイサ・ポリットがいみじくも否定しているように、
「ソーカル事件の喜劇は、もしかしたらポストモダンの思想家たち
さえ、お互いの書くことが本当は分かっていないのではないかと
思わせてくれることだ。彼らは、一つの聞き慣れた名前とか用語を
次へと移ることでテクストを辿っていく。まるで睡蓮の葉から葉へと
跳んで濁った池を横切っていく蛙なのだ」。

意図的に分かりにくく書かれたポストモダニズムの著作とそこから
醸し出される知的不誠実は、知の世界の一部を毒し、すでに
一般大衆の間に蔓延している軽薄な反‐主知主義に拍車をかける
ことになる。ポストモダニズムにおける用語の曖昧さと具体的な
現実からのほぼ完全な遊離は、状況をさらに悪化させる。
0136１３２人目の素数さん
垢版 |
2018/07/04(水) 11:26:57.00ID:3rtq/5AO
ラカン、クリステヴァ、ボードリヤール、ドゥルーズらの著作に見られる
科学的な厳密さに対する気のない態度は、フランスでは1970年代に否定
しようもない成功をみたし、その影響は今日でも十分大きい。このような
知の傾向は、フランスの外へと、特に1980年代と1990年代には英語圏
に浸透していった。これとは逆に、認識的相対主義は、1970年代に主として
英語圏で(たとえば、「ストロング・プログラム」に伴って)発展し、
後にフランスにも広がった。


以上、「知の欺瞞」からの引用だけど、ソーカルは、認識的相対主義にも
科学的なタームが恣意的かつ出鱈目に使われていることを批判している。
要するにソーカルが批判の対象にしたかったのは、>>134みたいな人間。
0137１３２人目の素数さん
垢版 |
2018/07/04(水) 11:40:19.48ID:fY7eQco5
>>136
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ


わからないんですね
0138１３２人目の素数さん
垢版 |
2018/07/04(水) 11:49:38.61ID:3rtq/5AO
>>137のようなスタイルのやり取りが、ソーカルが批判した典型的なポモ思想家のやり方ね。
何の脈絡もなく、テキストに書いてある通りの証明問題をただ書き写しただけなのに、
それで自分が知的優位に立てると中二病的に妄想する。あとは、ソフィストよろしく
くだらない詭弁を弄したり、不毛な揚げ足取りに終始する。つまり、典型的な構ってちゃんの
詭弁家だね。このようなバカな人間になるのを避けることが、賢明な人間のあり方だろうね
0142１３２人目の素数さん
垢版 |
2018/07/04(水) 20:36:37.00ID:8Nj7eEKM
願望
文学部哲学科の哲学は言葉遊び、学問ですらない

現実
ラカン、クリステヴァ、ボードリヤール、ドゥルーズらの著作に見られる



随分と矮小化されてしまったけど、まあこんなもんだよね
0144１３２人目の素数さん
垢版 |
2018/07/05(木) 00:27:22.66ID:y5oaYpo8
科学の影響を受ける以前の哲学のほうが面白い
プラトンは自然科学から距離を置いてたし
0148１３２人目の素数さん
垢版 |
2018/07/05(木) 20:35:42.05ID:O6Ak0Hnv
科学哲学などは知的な分野として面白そうだよ
0150１３２人目の素数さん
垢版 |
2018/07/05(木) 22:43:17.38ID:nGs/0CAN
ところで文学やポエムが社会に必要かと言うと
それは明らかに必要なんだから
哲学も必要なんだろう
0152１３２人目の素数さん
垢版 |
2018/07/06(金) 00:24:22.61ID:5entnET6
女体の哲学
0153１３２人目の素数さん
垢版 |
2018/07/06(金) 00:37:58.08ID:hLBHmL2A
>>137
お前はわかるのかよ？
証明はどこで読んだんだ？
証明読んだなら証明の概略言えるはずだよな？
言ってみろよ？
言えないのだったら138に土下座して謝ったほうがいいんじゃないか？

ゲーデルの完全性定理を微分幾何とか他の分野の数学者に質問したって答えようもないだろ。
お前の議論と言うか難癖のつけ方は卑怯だ。クズだな。
まず証明の概略を答えてみろ。
答えられないのか？
0154１３２人目の素数さん
垢版 |
2018/07/06(金) 01:03:33.04ID:DJa7nvJ7
>>153
τの極大無矛盾な公理系Tを形成して、T内の論理式を構成する形式的文字列それ自身を対象とみなしてモデルMを構成します

τ|-φ⇔T∋φ⇔T|=φ
τ|-φでない⇔T∋φでない⇔T|≠φ

このようにすると、Tはτのモデルとなります


今、無矛盾な公理系τの任意のモデルに対して論理式φが常に真となるのに、τからφが証明可能でない、と仮定します
τ∪{¬φ}は無矛盾となりますから、完全性定理によりモデルMが存在して、M|=¬φが成り立ちます
しかし、これは、任意のモデルに対してφが真であるという仮定に反します
0155１３２人目の素数さん
垢版 |
2018/07/06(金) 07:42:09.15ID:hLBHmL2A
>>154
無矛盾ならモデルが存在するということの証明の概略を質問してるんだよ。

例えば微分幾何の難しい定理の系をどこかの本から持ってきて代数的整数論をやってる数学者に
「わかるかよ？、わかるかよ？」と絡んでも答えようもないだろ。
それで横から「お前はわかるのか？」と質問されて定理から系の証明の解説をネットで見つけて答えても答えになってないから。

文学部哲学科の連中は自分でもわからない事を相手にもわからないだろうと高を括って知ったかぶりをするんだよな。
0156１３２人目の素数さん
垢版 |
2018/07/06(金) 07:49:19.76ID:hLBHmL2A
>>140
自分で勝手に線路でも高い所でも探して逝ってくれ。
あ、線路はダメだ。電車止めないでね。
0157１３２人目の素数さん
垢版 |
2018/07/06(金) 08:26:20.63ID:DJa7nvJ7
>>155
>>154
＞τの極大無矛盾な公理系Tを形成して、T内の論理式を構成する形式的文字列それ自身を対象とみなしてモデルMを構成します
＞τ|-φ⇔T∋φ⇔T|=φ
＞τ|-φでない⇔T∋φでない⇔T|≠φ
＞このようにすると、Tはτのモデルとなります



読めないんですか？
0160１３２人目の素数さん
垢版 |
2018/07/06(金) 08:30:48.82ID:hLBHmL2A
>>159
お前、バカ？
0162１３２人目の素数さん
垢版 |
2018/07/06(金) 08:40:07.18ID:hLBHmL2A
>>157
こちらの質問の答えになってないよね。
わからないんだね。
知ったかぶりがバレていることも分からないんだよね。
0165１３２人目の素数さん
垢版 |
2018/07/06(金) 08:45:28.07ID:DJa7nvJ7
あ、τの極大無矛盾な公理系、というのは間違えですね

τの言語に、∃を含む論理式∃xAに対して定数記号cを追加した言語に、公理∃xA→Acを追加した公理系τ'に対する極大無矛盾な公理系、ですね
0167１３２人目の素数さん
垢版 |
2018/07/06(金) 08:54:47.52ID:hLBHmL2A
>>163
モデルの構成の概略を言ってみろというこちらの質問の意味も分からないんだね。
証明の中心部分がどこだかわかってないようだね。
お前が証明を読んでいないのがよくわかるよ。
証明読んだことないのに、知ったかぶりしてたんだねｗｗｗｗ
0168１３２人目の素数さん
垢版 |
2018/07/06(金) 08:55:09.98ID:DJa7nvJ7
>>167
あ、τの極大無矛盾な公理系、というのは間違えですね

τの言語に、∃を含む論理式∃xAに対して定数記号cを追加した言語に、公理∃xA→Acを追加した公理系τ'に対する極大無矛盾な公理系、ですね
0173１３２人目の素数さん
垢版 |
2018/07/06(金) 08:58:44.39ID:SMOr4ZNf
フランスのグランセコールの試験で「説明する」という単語について考えて
文章を書いて答える哲学の問題が出されたことがあったみたい。
その問題の意図は全然よく分からん。
哲学の場合、そればかりしていると、バカになりかねないぞ。
0174１３２人目の素数さん
垢版 |
2018/07/06(金) 09:00:12.22ID:hLBHmL2A
>>172
通報しました
0176１３２人目の素数さん
垢版 |
2018/07/06(金) 09:03:52.17ID:hLBHmL2A
>>169
>>171
>>172
警察の方を待っているんですか？
0178１３２人目の素数さん
垢版 |
2018/07/06(金) 09:15:57.02ID:6qCqC3jA
>>177
ゲーデルに詳しいの？それなら、ゲーデルがその完全性定理の導出に用いた
スコーレム標準形や非範疇性定理をどのように扱ったのかを説明してみて。
それで、あなたの実力の真贋を判定してみるから。逃げないでね。
0187１３２人目の素数さん
垢版 |
2018/07/06(金) 11:27:03.36ID:TjeT6vQS
DJa7nvJ7氏の一人会話が怖いんですが…
0189１３２人目の素数さん
垢版 |
2018/07/07(土) 01:18:16.18ID:t0pepoZA
学問の自由、頭の不自由
0190学術
垢版 |
2018/07/07(土) 08:44:26.96ID:qwxt7Czy
抽象性は失敗談も多い。
0192１３２人目の素数さん
垢版 |
2018/07/07(土) 19:09:03.93ID:Ptn2S8+7
א0 + 1 = 0א0

א0 = 1 - 0א0
0193１３２人目の素数さん
垢版 |
2018/07/08(日) 20:37:37.07ID:A5V/CLfK
>>147
ポエムと言えば、ラカンに師事していたイリガライ(ベルギー出身の
女性の哲学者・言語学者)の哲学における、数学や論理、科学(流体力学など)
の使用方法が出鱈目だと、ソーカルが滅茶苦茶、批判していて、ほとんど
お笑いの域に達していた。ただ公平を期すると、ソーカルにも少し問題が
あると思うんだよ。なぜなら、哲学という宇宙なり概念空間において、
ソーカルのような科学の視点だけでそれを誤っていると断罪してしまうのは、
どうなのかな、と感じるから。
そもそも科学や数学と哲学ではゲームのルールが違うのだから。
ただ、イリガライは女性における科学の不可能性を牽強付的に
フェミ思想にも結び付けていたようだから、そこは確かに極端では
ありそうだが。科学では扱えない哲学的な内容を科学や数学のタームを用いて
表現すると、多少はポエムっぽくなるのも仕方ないかもな
0194１３２人目の素数さん
垢版 |
2018/07/08(日) 20:53:00.15ID:g1jrGeIP
ヴェイユ妹のなりきりみたいで微笑ましいな
まあ愚弟だと本格的にガッカリだが女や女の腐ったような人文ならたいていの兄は許容範囲だろうし
0195１３２人目の素数さん
垢版 |
2018/07/08(日) 22:19:13.16ID:8WNeXdcj
文学部哲学科って暗いし殺伐としてるし病的な奴多いしキモいよ。
自分がわからないことを人もわからないとタカを括って知ってかぶりしてマウンティングだろ。
周りを煙に巻くために理数系の用語を使うけど理数系の人には知ったかぶりがバレバレ。
自分の知ったかぶりがバレないように相手をやり込める手法ばかり考えているのかね？
まあ、殺人予告と自殺予告はやめてくれ。
0196１３２人目の素数さん
垢版 |
2018/07/09(月) 00:24:43.77ID:Skrk9OiU
哲学は何も解決しない
0197１３２人目の素数さん
垢版 |
2018/07/09(月) 00:58:28.25ID:39vtq3yF
本だけ読んで哲学した気になっちゃだめだろ。常日ごろ
他人ははらわたのちぎれる様なみじめで悲しい思いをして
自分の信念をつかんで生きてるんだから
0198１３２人目の素数さん
垢版 |
2018/07/09(月) 01:29:55.09ID:RtAVJQA3
教養教員やら左翼のじいさんばあさんに信念なんてないだろ
せいぜい自分のポストを現実社会がどうなろうとも死守する以外はなーんも考えてなんていない
0199１３２人目の素数さん
垢版 |
2018/07/10(火) 01:06:40.10ID:c4mZGlLl
たぶん、文学や哲学などは、どこか性格に鬱屈した部分があったり、変人的な要素が
ない人らには、どうでもいいものなんだよ。だから、リア充でこの世に自足している
ような連中や明朗で素直な人間には哲学など用はないものだろう。その極端な例が、
ここで自殺なり、殺人なり、多重人格の演技性自己愛障害の人がいたが、あのくらい
狂った人間でないと、哲学とか本格的にコミットできないのかもよ。
ニーチェとか発狂してたでしょ。屈折した物の見方やひにくれたニヒリスト、
斜めからものを見るタイプは哲学向きだな。だから、普通の人は適度な距離感が
いるだろう。中島義道とか見れば分かる通り、明らかに人格がおかしいよ。
明るいのが嫌いと言ってたな。性格のことだけど。

ならば数学好きは、どんな性格なのか。
0200１３２人目の素数さん
垢版 |
2018/07/10(火) 01:11:40.67ID:SBGJIKyI
余計なことを気にしない方がいいよ
特に相手を利用しようとして首突っ込んでくるのは止めようね
0201１３２人目の素数さん
垢版 |
2018/07/10(火) 12:09:16.19ID:TTfGqHZF
数学なんて要は単なる数遊びなんだから、
哲学なんかとは全く関係ないと思うけど...
昔の日本の数学者って育った時代の雰囲気もあるのかも知れないけど、
何でもかんでもやたらにものを深刻に考える傾向があるみたい。
自殺した新谷卓郎先生とか自殺はしてないけどw上野健爾先生とか。
欧米の数学者はただ単に数遊びが好きだから数学者になったって感じだけど...
日本の数学者ってたいがい変わってるね。
0202１３２人目の素数さん
垢版 |
2018/07/10(火) 13:50:10.97ID:SBGJIKyI
数より幾何なんだけど

あんまり頭よくない人は数とか式とかそっちばっかり気にするよね
0205学術
垢版 |
2018/07/10(火) 20:30:24.97ID:T8adbVQo
抽象を具現化するとセックスになるかというと。
0207１３２人目の素数さん
垢版 |
2018/07/10(火) 22:39:43.95ID:FkwFMq2I
文系の哲学が理数系の用語の意味を誤解するくらいならまだましな方で、
最初から理解する気がないとしか思えないように見えるのが酷いと感じる。
ラカンとかがそれ。
最初から用語の意味なんかどうでもよく、周囲の人を煙に巻けばいいと思っているようだ。
理数系の人から見ればデタラメであることはすぐわかるのだが、理数系の人は読みはしないだろうと思っているのか、
何か言われたって無視していれば、その批判を周りの文系連中はわからないから大丈夫だろうとタカを括っているのだろう。
そこを有効な批判手段を考えついたのがソーカルだったわけだ。
0208１３２人目の素数さん
垢版 |
2018/07/11(水) 00:15:19.31ID:pO1jRg7V
ソーカル事件は大陸系の哲学者たち(=ポエマー)が適当に科学用語使うのを咎めたのであって、科学哲学と科学哲学者を咎めたわけではないことを勘違いしているやつが多いね
科学哲学やってる人間は元々理系だった人が圧倒的に多いよ
0209１３２人目の素数さん
垢版 |
2018/07/11(水) 00:18:23.27ID:pO1jRg7V
アメリカだと科学者/数学者　兼　科学哲学者/分析哲学者の人間はいまだに結構いる
0210１３２人目の素数さん
垢版 |
2018/07/11(水) 00:22:03.89ID:+JDa3iBn
時間で考えてみると、数学、科学、哲学のアプローチの違いが分りやすく
なるかもしれないよ。

数学は、時間を定量化しうる客観的な物や実在だと考える。

アインシュタインの一般相対性理論では、質量のある物体は周りの時空を曲げる。
ここでも、一応、客観的な時間の存在は想定されている。

哲学では、ベルクソンの「純粋持続」のような概念があって、それは
定量・空間化されえない持続する時間、計量化不可能な真の時間として示される。
ハイデガーにも似た概念があり、それは実存論的時間概念という。
根源的な時間という真の時間が主体に現れる・到来するのは、その実存が
本来的な自己となった場合に限られるようだ。簡単に言えば、真に自分らしく
生きている時に、充実した真の時間が現れるということ。世間での一般的な
生き方の模倣の中には、真の自分も真の時間もないとハイデガーは言っている。
0211１３２人目の素数さん
垢版 |
2018/07/11(水) 00:22:40.99ID:+JDa3iBn
ハイデガーの思想によると、人間には「本来的な自己」と「非本来的な自己」
の2者があり、多くの人間は後者の非本来的な自己を生きることが多いらしい。
それを一般的な感覚で表現すれば、人生よりも生活重視ということになるだろう。
ゴシップ、井戸端会議、スキャンダル、流行、こういう目先の気晴らしの刺激に
振り回され続けるのが世間や非本来性の内にある自己で、それでは駄目だと
この哲学者は言っている。

すなわち、数学や科学はそれを解する万人に共通する物差しを提供するのに対して、
哲学は、その哲学者が提供する主観的な物差しに共感するか、しないか、の違い
というのはあるだろう。その哲学者の特殊な物差しから見えてくる特殊な世界と
いうのがあって、それに価値が見出せるか、それにかかわるのは時間の無駄で
無価値だと思うかの違い、ということだろう。だから好きにすればという感じ。

ただ、数学も哲学も物事の本質にアクセス・到達しようとする営為は一致していると
思うので、排他的論理和となるような関係ではないだろうよ。
0212１３２人目の素数さん
垢版 |
2018/07/11(水) 04:17:14.33ID:/mT79FxQ
>>210
＞数学は時間を定量化しうる客観的な物や実在と考える。

そうは考えてないから。
0213１３２人目の素数さん
垢版 |
2018/07/11(水) 04:37:22.96ID:/mT79FxQ
>>1
＞数学と哲学は(開)近傍にある、

ないから。
数学では開近傍という用語はあるがきちんとした定義があって、上のような用語の使用は全くデタラメ。
哲学で何か別の意味で開近傍という用語があるのか？近傍であって特に開近傍であるというその意味の違いは？

ラカンとかはこういうデタラメな数学用語の使い方をしていてソーカルに馬鹿にされている。
0214１３２人目の素数さん
垢版 |
2018/07/11(水) 10:45:49.39ID:+JDa3iBn
>>212
言い方がおかしかったね。通常の時間は、数学的な概念を使って
定量化や観測できるという意味。

「時間」という言葉は、以下のような意味で使われている。

1.時刻。つまり、時の流れの中の1点のこと。
2.ある時刻と別のある時刻の間（時 - 間）。およびその長さ。
3.空間と共に、認識のまたは物体界の成立のための最も基本的で基礎的な形式を
なすものであり、一切の出来事がそこで生起する枠のように考えられているもの。

つまり時間は、点や長さ、空間の概念を用いて表せるので、ユークリッドを
引き合いに出すまでもなく数学的に表せる。だから時刻や時間はプログラミング
で定量的に操作できる対象にもなる。なお、時間の流れに関しては、
過去から未来へと流れているとする時間観と、未来から過去へ流れているとする
時間観の2つがあるようだ。
0216１３２人目の素数さん
垢版 |
2018/07/11(水) 11:36:30.75ID:Y6tQJMmm
>>210
>ベルクソンの「純粋持続」のような概念があって、それは
>定量・空間化されえない持続する時間、計量化不可能な真の時間として示される。
これは心理学の話題だな。
0217１３２人目の素数さん
垢版 |
2018/07/11(水) 13:11:21.09ID:RI+MzD/d
｢心の哲学｣というジャンルがあるのも知らないのか
0218１３２人目の素数さん
垢版 |
2018/07/11(水) 13:47:48.55ID:Y6tQJMmm
>>217
>>210がいっていることは心理学の話題に含まれる。
定量・空間化されえない持続する時間、計量化不可能な真の時間があることは、
心理学の話題に含まれる。時間をどう感じ(てい)るかは心理学の話題。
むしろ、心理学の話題として認知されていると思う。
0220１３２人目の素数さん
垢版 |
2018/07/11(水) 13:53:43.64ID:+JDa3iBn
ある2つの点や集合が近いとか遠いというとき、そこには暗黙裡に距離の概念が
介在していると思うのだけど、この距離という長さに関してもその定義の仕方で
いろいろと異なった数学概念上の表し方が出来るだろう。

たとえば、リンゴとメロンの間にある質的距離であったり、数学と哲学にある
質的距離。各集合の内実に該当するいくつかの性質を要素や元として考えると、
その距離というものが近似的に論理として表せるのかもしれない。
0221１３２人目の素数さん
垢版 |
2018/07/11(水) 13:54:32.26ID:+JDa3iBn
数学を使った距離概念だと、2点間の距離はピタゴラスの定理を使って
表せる。微小距離の線素dsもそれで表せるし、ユークリッド幾何学では
このピタゴラスの定理で距離が定められている。ボヤイとロバチェフスキー
による双曲幾何学の概念を使えば、またそこから違った距離の概念を導き
出せる。その一つにあるポアンカレ円板モデルやクラインのクライン模型、
ポワンカレ上半平面模型、ベルトラミの擬球上では、無限遠点を伴うような
また別の距離が導き出せる。

あと、集合同士の距離なら、近傍サークルを定義したい時に使われる
「ハウスドルフ距離」という概念がある。これを実際の地理情報にそのまま
適用すると計算負荷が異常に高くなって非実用的になるので、、地形を複数の
ポリゴンに分割して、各ポリゴンの重心(代表点)を求め、そこから2つの
ポリゴンの重心間にある距離をもとに近傍やサークルとして考えていく、という
ハウスドルフ距離の近似的な計算のアプローチを取る。つまり、ハウスドルフ距離は
本来であれば2つの集合間の最短距離を定めたものの内から最大値(距離)と
なるもののことだけど、その近似的表現で地理上の近傍サークルや距離を
新しく定義したということ。

つまり言いたいことは、距離概念一つとってみても計量の概念を変えるだけで
いろいろと定義出来るということ。リーマン計量みたいな概念を使えば、
そこから「リーマン多様体」のように無数の幾何学も構築できる。林檎とメロンの
質や外観、カテゴリーに内在している距離や学問間にある距離、心理的距離というのも
数学上の概念を使って計量化できるかもしれない、という観点だよ。
0223１３２人目の素数さん
垢版 |
2018/07/11(水) 19:28:12.55ID:w3iM93Ed
行動心理学の成果は行動ターゲティング広告に使われている
0224１３２人目の素数さん
垢版 |
2018/07/12(木) 14:29:18.37ID:0iQVYdHR
数学が実在的か否かはともかく、とりあえず数学は人々に客観的なものであると
認知されている。それに対し、カントやニーチェの哲学では客観性＝真理性
そのものの存在に対して否と言う。カントであれば、真の客観性や真理性は、
ブラックボックスとして「もの自体」という未知の領域Xにあるものと措定されるし、
ニーチェであれば、真理のすべてはパースペクティヴや解釈の違いによる現れの違いに
過ぎず、真理だと呼べるものは、この世界や宇宙には何一つ存在しないと述べている。

古典論理やライプニッツ、デカルトの近代数学の完全性などは、その真理の保証人
として、暗黙裡に神を前提としているのだろうけど、ニーチェの場合は「神は死んだ」と
なるので、そういう真理性の保証人となるような絶対真理みたいなものはない、と
いう立場になる。すべての真理はその主体との相関項で現れる相対的な暫定的なもの
(暫定・相対的な真理。だからその観点だと、数学も真の客観性を表すものでなく、
相対的で道具的、あるいは、有用・有効性の中において捉えられるものだという
解釈になる。

複雑な現代数学などは、むしろ、この相対的な真理性の方に入ってくるのではないかな
と感じているのだけど、違うのか。ゲーデルの不完全性定理もこっちに入りそうだけど。
0228１３２人目の素数さん
垢版 |
2018/07/13(金) 02:17:02.88ID:1uz/QrFw
ラッセルもゲーデルもプラトンのイデア論を源泉とする数学実在論者だから、
彼らの哲学的な立場では、数学は「イデア(真実在)」にあるようなものだと言えよう。
その意味は、数学を用いる人間という相関項や心がなくても、
それとは独立に数学自体が存在しているということだ。
0229学術
垢版 |
2018/07/13(金) 10:11:26.21ID:m/ul6yQL
数学より　１　の方が。第一に優先事項だ。高価で、可能性は大きい。
0230学術
垢版 |
2018/07/13(金) 10:12:00.16ID:m/ul6yQL
哲学者はもう１を手に入れることができないのかどうか。
0231学術
垢版 |
2018/07/13(金) 10:12:34.28ID:m/ul6yQL
１は売られてしまってもう見つからないのだろうね。
0232学術
垢版 |
2018/07/13(金) 10:13:26.68ID:m/ul6yQL
１　デイ　a
0233学術
垢版 |
2018/07/13(金) 11:19:10.21ID:m/ul6yQL
ヤング　ボエイム　死戦記　は掛けましたが。
0234学術
垢版 |
2018/07/13(金) 11:19:40.19ID:m/ul6yQL
文系だった時期あるから理系の方がよくできるという評価でした。
0235学術
垢版 |
2018/07/13(金) 11:22:04.52ID:m/ul6yQL
高等中学　付属　総合／専門カリキュラムだったけど。趣味は環境ビジネス。
0236１３２人目の素数さん
垢版 |
2018/07/13(金) 16:19:52.90ID:EynZ8gRm
数学が相対的に正しいかを問題視することは、例えば、√2 は有理数か無理数か？　というように、
対象として数学的に見ても、大昔からあった無理数の存在性を問い返すのと同じようなことだわな。
有理数だけでは数学の理論体系の範囲はかなり狭まるから、通常は相対的に正しいかどうかは問題視しない。
いうまでもなく、数学が出来る人の中で、√2 が無理数であることに異論を唱える人は殆どいないだろう。
ニーチェとほぼ同時期に、数学者同士でも無理数の存在性をめぐる有名な論争があった。
0237１３２人目の素数さん
垢版 |
2018/07/13(金) 17:30:42.66ID:1uz/QrFw
ラッセルは数学の持つ必然性を説明するために、数学を論理学に還元しようとした。
それを現在の区分から言えば、正確には論理学と集合論への還元にあたるが、
ラッセルは集合論において、集合という外延的な存在者を認めず、命題関数という
内包的存在者を根本概念とした。これにより、数や集合という存在者を認めず、
個体と命題関数、命題だけを存在者として認めることにより、数学に解釈が与えられる
ことになる。また、論理学と集合論の公理さえ認めれば、数学の公理や定理をそこから
演繹することができる。こうした試みは「論理主義」と呼ばれ、ヒルベルトの
「形式主義」、ブラウアーの「直観主義」と並んで、20世紀初頭の数学の哲学の
代表的な立場の一つだった。
0238１３２人目の素数さん
垢版 |
2018/07/13(金) 20:38:17.77ID:1uz/QrFw
ここにラッセルの判断論を図式にまとめてみよう

関係<R>が対象<a>と<b>を関係付けているとき、そうして構成される事実を
<R (a,b)>と表記する。ここで()は、関係が作用する範囲を表すだけで、
独立して存在できる対等のまとまりを表していないが、<>で括られた部分は
独立して存在することができる。

「オセロ」、「デスデモナ」、「キャシオ」、「愛する」、「信じている」
という表現が意味する対象や関係をそれぞれ、<o>,<d>,<c>,<L>,<B>とする。

オセロが「デスデモナはキャシオを愛している」と信じている、という事実は
どのような構造をしているのか。
0239１３２人目の素数さん
垢版 |
2018/07/13(金) 20:38:41.02ID:1uz/QrFw
ラッセルの理論によれば、それは次の事実αである。

<B (o,<L (d,c)>)> ……α

つまり、<o>と<L (a,b)>という2つのものを<B>が関係付けていることになる。


また、別のラッセルの理論によれば、

<B (o,L,d,c)> ……β

となる。(対象と関係の一つ一つに<>を付けるべきだが、式が煩雑になるので省略)
0240１３２人目の素数さん
垢版 |
2018/07/13(金) 20:39:16.19ID:1uz/QrFw
αは<L (d,c)>というオセロが信じている内容となる命題という部分を持ち、
これはαから独立して存在することができる。またオセロがもっと複雑なこと、
たとえば「デスデモナはキャシオをその若さゆえに愛している」と信じたとすれば、
命題となった部分の構造が複雑化するが、信じるという関係<B>は、オセロと命題の
間の二項関係のままである。

一方βは、そうした命題という独立して存在可能な部分を持っていない。
<L (d,c)>というものが仮にあったとしても、それはβの構成要素でなく、
その外部にあってβを真にするような事実である。そして、オセロの信じることが
複雑になればなるほど、関係<B>が関係付けるものの数も増える。そこでこの理論は、
多項関係理論と呼ばれる。
0241１３２人目の素数さん
垢版 |
2018/07/13(金) 21:09:38.16ID:1uz/QrFw
>>236 ふーん、そうなんだ

ただ、ラッセルやゲーデルの数学の哲学的立場は、数学実在論だと思うよ。
つまり、数学的な真理はアプリオリに実在している。だから各々の偉大な
数学者は、その数学的な真理をアプリオリを発見したのであって、
それを発明、創造したのではないだろう。たとえ、それが数学者同士での論争の末に
決着がついたものであれ、それはアプリオリに数学的な命題や真理としてあった、と
想定してみてもいいだろう。
0242１３２人目の素数さん
垢版 |
2018/07/13(金) 21:12:24.30ID:1uz/QrFw
たとえば、ギリシアの3大作図問題の一つに、角の３等分問題がある。
この場合、与えられた量の3乗根を求める必要があるためコンパスと
定規だけでは作図不可能であることが知られている。

「定規とコンパスを使って作図」とは、(1)定規は2点を直線で結ぶ（目盛りは使わない）、
(2)コンパスは円を描く、(3)あくまでも手順は有限回である、ということを意味している。

さらには、「作図可能」とは、全ての角において作図可能ということであり、
例えば、直角( 90度)のような特定のケースだけ、作図可能であっても答えにはならない。
1837年に、フランス人数学者ピエール・ローラン・ヴァンツェルによって解決されたもの。

それで、頂点の数が素数の正多角形で正3角形と正5角形はコンパスと定規で作図可能
なのはユークリッドの時代から知られていて、それから長い間、コンパスと定規で
作図可能なのはこの2つの図形だと考えられたいた。でも、ガウスは正17角形も
コンパスと定規で作図可能なのをある朝知った。つまり、ユークリッドの時代から
2000年も経て、その数学的真理を発見した。

だから、数学は創造ではなく、アプリオリに存在する真理の発見だと考えてみても
いいだろう。
0243１３２人目の素数さん
垢版 |
2018/07/16(月) 08:59:27.11ID:ElPddkbV
>>237-242
数学は、神が独立に人間の精神の中に認識出来るように創造した、という広く広まっている見解をいいたそうだ。
ゲーデルは無神論者かどうかは正確には知らないし、取り敢えず、ゲーデルの数学実在論ではこの見解は通ると思う。
だが、ラッセルの哲学に則って、仮に、神が独立に人間の精神の中に認識出来るように数学を創造したとする。
すると、ラッセルは有名な無神論者だったから、ラッセルの哲学に則った上での見解では矛盾が生じる。
論理に一貫性がなくなるから、背理法が適用出来る。
よって、ラッセルの哲学に則ると、神の代わりに或る何かxが存在して、上の見解(仮定)は
或る神とは異なる何かxが存在して、数学はxが独立に人間の精神の中に認識出来るように創造した、という見解になる。
この神とは異なる何かxは何か？　というと、xは神を創造した何かいわゆる神の創造者と解釈することになると思う。
なので、ラッセルの哲学に則ると、数学は、神の創造者が独立に人間の精神の中に、認識出来るように創造した
という見解になるであろう。この神の創造者(x)に基づき、X＝{ {x} | {x}⊂{x} ではない } という集合を構成する。
1)：{x}∈X とする。すると、Xの定義から {x}⊂{x} ではないことになるので、矛盾が生じる。
2)：{x}∈X ではないとする。すると、Xの定義から {x}∈X という条件も満たすので、やはり矛盾が生じる。
1)、2)から、何れにしても矛盾が生じる。この矛盾はXを構成したことから生じたから、背理法が適用出来る。
従って、背理法により、構成した集合Xは構成出来ないことになり、集合Xは存在しないことになる。
このようにして、ラッセルのパラドックスと同じようなパラドックスが生じる。
ラッセルの哲学の数学実在論に則ると、このパラドックスはxの存在性を仮定したから生じたから、
ラッセルの哲学の論理としては、背理法により、数学を創造した何か(数学の創造者)xは存在しないことになる。
従って、ラッセルは数学実在論者ではないといえそうだ。
上の議論では、人間は哲学することがある生物であること、及び人間は神を認識することがある生物であること、というごく自然な2つのことを仮定した。
0245１３２人目の素数さん
垢版 |
2018/07/16(月) 10:23:52.27ID:ElPddkbV
>>244
数学と神が同じ意味としても、人間は哲学することがある生物であることを仮定すれば、
文章の表現の形は変わるが、>>243と大体同じ議論になる。このときは、>>243のx(数学の創造者)は「数学」になって、
同じようなパラドックスが生じる。そして、数学は存在しないという結論に至る。
これでは、数学の概念や定理などを発見しようがなくなるから、
やはり、数学と神が同じ意味だったとしても、ラッセルは数学実在論者ではないといえそうだ。
0246１３２人目の素数さん
垢版 |
2018/07/16(月) 14:07:01.85ID:pqCdpuwH
人間を形而上の存在として扱うのは違和感がありますね
仮に言語が形而上の存在であるとして
人間は進化の過程でたまたま言語という存在を探り当て獲得したのが正解でしょう
人間は根元的に山師だと思う
0247１３２人目の素数さん
垢版 |
2018/07/16(月) 14:55:53.55ID:ElPddkbV
哲学をする上で、人間を形而上の存在として扱うかどうかは、立場の問題に過ぎん。
ラッセルは論理学者だから、ラッセルの哲学を考えるにあたっては、
論理的に議論を進めるのがよいだろう。
0249１３２人目の素数さん
垢版 |
2018/07/16(月) 15:24:03.70ID:ElPddkbV
哲学の板にもここと同じ名前のスレが以前からあったから、
哲学の板にあるこのスレと同じ名前のスレで議論するのがいいんじゃないか？
神学の話は詳しくは知らん。
0251１３２人目の素数さん
垢版 |
2018/07/16(月) 16:05:49.95ID:pqCdpuwH
私は言語普遍性を信じる立場ですので
宇宙人が知的生命体であれば同じように言語を獲得するでしょうし、数学を獲得するでしょう
人間語と宇宙人語で相互に翻訳可能なはずです、細かいレトリックを除いて
0252１３２人目の素数さん
垢版 |
2018/07/16(月) 22:24:30.21ID:pQGTt/Gy
数理的に記述された物理法則がねじ曲げられるようなマンガちっく異世界だといいね
0253１３２人目の素数さん
垢版 |
2018/07/17(火) 03:57:11.48ID:4Z8Jdwkb
>>243
ラッセルは哲学者でもあるので、プラトンのイデア論のような考え方を支持していますよ。

まず、私が数学実在論というのをどういう意味や観点で述べているのかを
説明してみます。たとえば、地球は地球上に人類がいなくても、いなかった時代でも、
地球として実在していますよね。つまり、地球を認識する主体が宇宙に存在していなくても、
地球は実在している。人間がいない時の呼称は、もちろん地球とは呼ばれてはいないけれども、
今の地球と呼ばれるものと同じ惑星が実在していた。

数学実在論もそれと同じです。たとえ数学を扱う人間や主体が世界にいなくても数学は常に
実在している。地球に類人猿しかいなかった古代においても数学は実在していただろう、
という観点です。あと、数学実在論はその源泉として、プラトンのイデア論がある
という考え方は、イデア界という一種の完全な天上世界が想定されていて、そこにこそ
すべての本質や真実在、数学的真理があって、私たちの感覚器官で認識できる物や概念、
現実世界は、その完璧なイデア界の不完全な投影図に過ぎないというのが、プラトンのイデア論です。

つまり、数学や論理の一部に矛盾があることは(ゲーデルの不完全性定理、ラッセルのパラドクス）
、イデア界の完全性を破綻させ矛盾に追い込むものでなく、むしろそのことで斉合性を
得られると考えられます。なぜなら、私たちの住むこの世界や人間、人間が構築する概念は
不完全であり、完全なる真の世界はイデア界にこそある、という理路だからです。
0254１３２人目の素数さん
垢版 |
2018/07/17(火) 03:57:44.42ID:4Z8Jdwkb
私たちは五感で捉えられるこの世界や宇宙を完全なもの、普遍で現実そのものだと認識するけれど、
たとえば、目の見えない人や耳の聞こえない人のように感覚器官が一部制限された人たちの
ことを想像してみるとイメージが掴みやすくなるかもしれない。その人たちにとって、
この世界や宇宙は五感を自由に使える人たちと比べると、不完全な形で表象されている訳です。
それと同様のことが五感を使える私たちにも言えて、五感以上の感覚器官やセンスデータが
付与されれば捉えられるようなイデア界のような完全なる天上世界があるにもかかわらず、
それを五感や身体という、ある意味で、感覚器官が一部制限された状態にある人間には、それを
十全には認識できないと思考実験してみれば、私たちの五感だけでは世界の実在を完璧に捉える
ことが出来ない、と言えなくもないだろう。

このように言うと神秘主義的な話に聞こえるけど、実はそうでもない。たとえば、
棋士とAIが電脳戦を戦って、AIの差す手があまりにも斬新で将棋の定石や歴史にないものであり、
名人でもそのAIの指すアルゴリズムや意味を解読できないような一手があったりする。
そして最終的に、そのような奇手を放ち続けるAIが名人に勝利したりする。
このことの意味は、人間の既存の認知機能では解析出来ないレベルのAIのアルゴリズムや
ゲーム戦略がブラックボックスとしてAIには実装され、実在している、ということが分る。だから、
人間の脳に将来AIチップでも埋め込まれることになって、その認知機能が拡張したり、
人間の知能が飛躍的に高まれば、これまで分からなかった種類のアルゴリズムが解読できるように
なるかもしれない。そして人間には解析出来ないそれらの高度なアルゴリズムは常に最初から
実在しているのだけど、認識する人間の側が不完全であるので、それを現状では解読できない、
という理路になる。これが少し形而下的に表現したプラトンのイデア論のイメージ。
神はややこしくなるので、話から割愛しました。
0255１３２人目の素数さん
垢版 |
2018/07/17(火) 08:25:05.34ID:X4upAgnh
>>253-254
数学実在論は、
①：認識出来る数学は無条件に実在することが仮定されていて、不完全な人間は数学を認識出来るに過ぎない、
という考え方か。どうやら、数学実在論では、認識出来る数学の存在性の証明は出来そうにないわな。
つまり、「数学の無条件な実在性の仮定」の「仮定(されていること)」を外して、数学実在論を、
②：認識出来る数学は「無条件に実在して、」不完全な人間は数学を認識出来るに過ぎない、
という考え方だと書き直すことは出来そうにないわな。
(もし出来るなら、「数学の無条件な実在性」の証明をして、①を②に書き直してみてほしいが)。
ここに、①と②との間には、数学の無条件な実在性が「仮定されているか否か」という点において、
微妙なニュアンスの違いがあることに注意してほしい。
例えば、コップがあると仮定することと、コップがあると断言することが違うように、
仮定するのと断言するのとでは意味が違うだろう。
まあ、認識出来る数学の無条件な実在性の仮定の問題に帰着するだろうな。
0257１３２人目の素数さん
垢版 |
2018/07/17(火) 20:42:50.76ID:4Z8Jdwkb
>>255
イデア界の実在の証明なんて出来る訳もないので、あまり厳密に考えないで、
一種の思考実験や仮想現実くらいに受け止めればいいのかと思われます。

「欲望の時代の哲学～マルクス・ガブリエル　日本を行く～」
http://www.dailymotion.com/video/x6ou6zm

なぜ世界は存在しないのか (講談社選書メチエ) 単行本（ソフトカバー） – 2018/1/13
マルクス・ガブリエル (著) 清水 一浩 (翻訳) ベストセラー1位- カテゴリ 講談社選書メチエ


思想界では、新しい実在論がブームになっているらしい。上記の動画では
科学的な一元論や近代合理主義、高度資本主義が人々を抑圧する装置として
作動していると分析し警鐘を鳴らしている。多元的実在をすべて包括するクラス
としての世界は存在しないと、この哲学者は述べている。なぜなら、
そうした世界が存在するには、それが存在する意味の場が必要になり、
論理的な構造上、すべての実在を包括する世界自身は、その意味の場に入れないので、
それは意味をなさない、すなわち世界は存在しない、という理論になっている。

ラッセルもタイプ理論と記号法、クラスについての考察で似たことを述べている。
幾つもの命題関数を包括するクラス自身をそのクラスの要素として、他の
命題関数と同じように「ある」とはみなせないし、そうみなしてしまうことで、
それが言明として無意味になると述べている。張り紙禁止と書かれた張り紙は、
その言明をクラスとしての自分自身には適用しないことで、それが無意味な
矛盾した言明になることを暗黙のうちに回避している。

つまり「ある」においては、それに対応する別の階層の型があるという観点で
ラッセルの型理論の考え方だろう。オブジェクト指向のプログラミング言語でも
クラスの概念が使われているけど、そこでも類似のロジックが使われていると
言えるだろう。ラッセルは、このようにクラスの記述は、不完全記号であると
述べている。
0258１３２人目の素数さん
垢版 |
2018/07/18(水) 10:03:26.75ID:DMWNfifE
>>257
半年前に国内でも広まった新しい実在論の話があったのか。
その実情の背景には、行き過ぎた工業の発展や人工知能(AI)の進歩により、個人の意味が問われたことがあるようだ。
だが、そういう時代の流れに乗らずに、レトロな生活をしている人も多くいる。
例えば、生活で使える環境にあるにも関わらず、今でも、パソコンやインターネット関連の製品は勿論のこと、
スマートフォンや携帯電話すら持たずに生活している人はいる訳でな。首都圏にもそういう人はいるようだ。
例の実在論の話は、そのような人にとっては、何かのきっかけでその話を知るまで、分からないんじゃないかね。
まあ、頑張ってな。
0259１３２人目の素数さん
垢版 |
2018/08/05(日) 13:31:03.28ID:wNKi0yjO
>>256
お前がなｗ
0260１３２人目の素数さん
垢版 |
2018/08/10(金) 03:19:51.25ID:hnq8c+rp
千万億兆
0262１３２人目の素数さん
垢版 |
2018/08/27(月) 00:16:27.71ID:bJeqE9wU
型理論ってラッセルが考案したんだな、知らなかった
圏論学ぶ哲学者がいるって聞いたけど、どんな風に使うの？
0264１３２人目の素数さん
垢版 |
2018/08/28(火) 10:17:38.10ID:z+5Mu9ST
それで分る訳ないだろｗｗｗ
0267１３２人目の素数さん
垢版 |
2018/08/29(水) 19:42:23.27ID:orHYF4Nk
ttps://note.mu/kuragem/n/n19ac075929cb
考えない日本の私 ? さとり世代として
くらげ 2018/05/22 07:35

「和を以て貴しと為す」というのは非常に美しい言葉ですが、
近代の日本人はこれを曲解して、
「全体の調和のためなら個人は犠牲になっても良い」という意味に捉えています。
「全体」のために犠牲になる個人、というとまるで戦時中のようですが、
結局のところ、日本は今でも戦時中の全体主義を引きずっているような側面があるように見えます。
先ほど、「日本は今でも戦時中の全体主義を引きずっている」と書きましたが、
正確には、「日本人は本質的に全体主義と相性が良い」のだと思います。
日本の教育課程では、理系科目を別にすれば、「論理」をほとんど扱いません。
理系科目にしたところで、問いに「論理的に答える」手法を扱うだけで、
「何かを論理的に考える」または「何かを論理的に主張する」といった手法は扱いません。
0268１３２人目の素数さん
垢版 |
2018/08/29(水) 19:42:39.48ID:orHYF4Nk
「どうしてこのような状況に陥ったのか」については、知識がないので議論することができませんが、
現状の問題として、日本人は論理的な思考や主張の手法を
（少なくとも中等教育まででは）あまり身に付けることができない、という事実があります。
全体主義は、目標と、そこに至る道のりがはっきりとしている時には機能するように思われます。
明治維新以降、日本には常に目標がありました。
それは例えばいち早く西欧に倣って近代化を達成することであり、
国体を護持し領土を拡張することであり、焼け野原から復興することでした。
しかし、日本はここに来て、はっきりとした目標と道のりを失ってしまったのです。
日本が掲げた目標は、どこかでは既に達成されていたか、
あるいは達成の手法が外部から指示されたものだけでした。
目標と、道のりがはっきりしていたわけです。
0269１３２人目の素数さん
垢版 |
2018/08/29(水) 19:42:55.66ID:orHYF4Nk
むしろ、さとり世代の特徴は、
「最初からいろいろなことを受容して、諦めている」という部分にあるのではないかと思います。
校内暴力や学生運動といったムーブメントが再び起こらないのも、
いろいろなものを「諦めて」いるからです。
不満があってもそれを変化させる方向にはエネルギーを使わず、受容し、
諦めることにエネルギーを使っているのです。
まさしく、ある意味で悟っているのです。
0270１３２人目の素数さん
垢版 |
2018/08/29(水) 19:43:11.88ID:orHYF4Nk
こうしたさとり世代の特徴は、「考えない日本」の極致のようなものだと思います。
私たちは考え方を知らず、考えることをしない社会に生まれて育っています。
何かを変えるためには、自分の頭で物事を考えなければいけないし、その能力は私たちにはない。
ついでに言えば、何かを考えないと明日食べるものがないわけでもない。
成熟した先進国にあって、考えない私たちは、物事を「そうである」ものとして受け入れる外ない、
ただ漫然と毎日を過ごす満足した豚です。
日本の本当の絶望は、少子高齢化とか人口減少とか経済の低迷などではありません。
本当の絶望は、誰も、そういった課題を解決する道のりを立てられず、
仮に物事を考えられる誰かによって策が立てられたとしても、
その実行を決断できる頭脳がないことです。
私は、このことに思い至る度に、すごく嫌な気持ちになるのですが、
それと同時に「まあ日本の将来なんてこんなもんだろう」と諦めている自分も存在し、
そしてカラオケにでも行ってこんなことはすぐに忘れてしまうのです。
0271１３２人目の素数さん
垢版 |
2018/08/29(水) 19:47:07.62ID:orHYF4Nk
＞日本の教育課程では、理系科目を別にすれば、「論理」をほとんど扱いません。
＞理系科目にしたところで、問いに「論理的に答える」手法を扱うだけで、
＞「何かを論理的に考える」または「何かを論理的に主張する」といった手法は扱いません。

＞現状の問題として、日本人は論理的な思考や主張の手法を
＞（少なくとも中等教育まででは）あまり身に付けることができない、という事実があります。
0272１３２人目の素数さん
垢版 |
2018/08/29(水) 19:47:36.56ID:orHYF4Nk
数学科に入ったら先ずは既存の数学を理解するため必死に勉強するしかない。
これって、考えていることにはならないのでしょうか？
0273１３２人目の素数さん
垢版 |
2018/08/29(水) 20:15:40.17ID:Lae4VpBD
エネルギーを使った模範として校内暴力や学生運動があがるような文を書くような人の言うことを鵜呑みにする必要はありません
0276１３２人目の素数さん
垢版 |
2018/12/05(水) 18:41:55.22ID:I6lCbFfq
わたしはここでユダヤ教やキリスト教の宣伝をしているのではない。
聖書を知らない以上は世界を理解できないという事実を述べているだけである。
教養とは、結局は古代の中国官僚の処世術にすぎない論語を読んで身につけるものではない。
論語は世界の文化を形成していない。教養を身につけるとは、世界を形成してきた聖書を読むことなのである。

何を独学するにしても、聖書を読まずに始めるならば、あらたな偏見を自分の中につくるだけに終わる。
そういう人が多すぎる。すると、さきほどの評論家のようにギリシア神話も聖書も区別がつかなくなる程度の頭になってしまうのである。
つまらない誤解がある。聖書は、ユダヤ教やキリスト教に人々を勧誘するための書物ではない。
また、聖書にはありがたい教えばかりが書かれているのでもない。聖書に描かれているのは、人間への神の関わりである。
神はたえず人間にかかわり、教えてきたのである。

法律の原型も神から教えられている。法律の原型は聖書の成立よりも古いハンムラビ法典にあるように思われているが、
他人から害を受けても復讐をせずに賠償ですませよという法律の基本も聖書で教えられている。
為政者や知識人や学者が考案したものではないのだ。世界には聖典だの経典だのというものがあまたあるのだが、
その中でも世界の形成に事実として寄与してきたのは聖書だけである。
キリスト教信者が世界で圧倒的多数を占めたために現代世界が形づくられたわけではない。
世界の土台が聖書にあるのだから、そこに何がどのように書かれているのか知っておくかどうかで世界の見方が変わるのは当然のことだ。
仏教経典をいくら読んだところで世界は少しも理解できない。しかし、聖書を読んでいれば、仏教経典に何が書かれているかさえ理解できるようになるのである。

（白取春彦「勉学術」）
0277１３２人目の素数さん
垢版 |
2019/04/17(水) 13:21:03.26ID:RMz1i/6Y
>>41数学哲学物理学の間には共通した何かがあるかもしれな

数学も哲学も物理学も自然現象を対象にしてるけどね
0278１３２人目の素数さん
垢版 |
2019/04/17(水) 13:26:41.65ID:RMz1i/6Y
>>41数学哲学物理学の間には共通した何かがあるかもしれない

数学は自然現象を対象にしてる

リンゴにとっての自然現象と
コップにとっての自然現象がある場合
数学がリンゴをコップに変えても普遍な自然現象を対象にしてる
（抽象化の概念）
0280１３２人目の素数さん
垢版 |
2019/05/30(木) 08:53:54.91ID:S+tNhnLk
5chのみなさんへ

満州先生の新著が出ますので、お知らせします。

「相対性理論はペテンである／無限小数は数ではない」

アマゾンのみの販売で限定百部です。

予約された方には特典として
私の生写真とパンティを差し上げます。

満州先生の秘書兼愛人おぽかたぱるこ
0281１３２人目の素数さん
垢版 |
2019/05/31(金) 06:53:00.13ID:urOLY1hR
前にこれと似たようなスレで数学の人に論破されて殺人予告と自殺予告してた奴どうなったんだろうな？
0282１３２人目の素数さん
垢版 |
2019/06/01(土) 01:21:23.31ID:cQruAFkW
高遠レイパーゴキブリるい劣等遺伝子近親相姦ニホンザルヒトモドキをの首を切れ殺せ
0283満州先生の秘書兼愛人おぽかたぱるこ
垢版 |
2019/06/07(金) 08:10:09.67ID:S1U1usHE
2chのお利口なみなさんへ
「相対性理論はペテンである／無限小数は数ではない」
のアマゾンレビューが出ました。
（一部のみ抜粋。詳細はアマゾンをご覧ください。）

「無限小数は数ではない」
これは「無限小数というようなものは実際は存在しない」
「無限小数は数として存在できない」ことを証明し、
カントール実数論のインチキを暴いた論文である。
現代数学はカントールの実数論の上に組み立てられているから、
この論文によって現代数学はガラガラと音を立てて崩壊する。

「解析学の大錯誤」
これは「一般的な無限小数には極限値はない」ことを証明した論文である。
この単純な事実によって、たとえば「有界な単調数列は収束する」
等の解析学の基本公理がすべて崩壊する。

その他、著者は「カントールの対角線論法」
「ゲーデルの不完全性定理」「ラッセルのパラドックス」
「射影幾何学」「非ユークリッド幾何学」
等を否定しているが、その論拠は実に単純な明快である。
わずか100ページ足らずの小著だが、世界を変える偉大な著作だ。
0285１３２人目の素数さん
垢版 |
2019/06/07(金) 13:25:41.59ID:jpKrfFCs
相対論は確かにインチキだろうが
実数とか射影幾何とかは実在するだろ
0289１３２人目の素数さん
垢版 |
2019/10/05(土) 20:37:34.93ID:jBNkydET
>>2

数学は人間の言葉だ
0290１３２人目の素数さん
垢版 |
2019/10/05(土) 20:47:21.92ID:jBNkydET
哲学の場合は
哲学する主体である自己の存在証明「我思う故に我れ有り」が最初にくるのだが
これは自己言及の形になってる

数学の場合は存在公理（同一律）　∃ｓ〔ｓ＝ｓ〕　が有り
自分は自分であるという感じになってる
0291１３２人目の素数さん
垢版 |
2019/12/08(日) 07:23:43.27ID:dO5sT/B7
>>290
逆。

我在り、故に我思う。
だぞ。

在りの方が先になる。
対偶を取ると、
我思わなければ、我在らない。
なので。
0293高添沼田エロ老義父の告発（葛飾区青戸６－２６－６）
垢版 |
2021/02/06(土) 11:41:45.77ID:dp3xWmOj
491色川高志「井口千明の金属バット集団殴打撲殺を熱望します」2018/10/18(木) 18:33:15.90ID:78662J73
龍神連合五代目総長・井口千明（葛飾区青戸6－２３－１９）の挑発
井口千明「糞関東連合文句があったらいつでも俺様を金属バットで殴り殺しに来やがれっ!! 糞関東連合の見立・石元・伊藤リオンの糞野郎どもは
龍神連合四代目総長の俺様がぶちのめしてやるぜっ!! 賞金をやるからいつでもかかって来いっ!!　糞バエ関東連合どもっ!! 待ってるぜっ!!」(挑戦状)

492盗聴盗撮犯罪者色川高志（青戸６－２３－２１ハイツニュー青戸１０３2021/02/03(水) 13:53:22.55ID:QtP78E4Z
●青戸六丁目被害者住民一同「盗聴盗撮犯罪者の高添沼田ハゲエロ老義父の逮捕を要請します」
長木親父＆長木よしあき（盗聴盗撮犯罪者の高添沼田ハゲエロ老義父を逮捕に追い込む会＆被害者の会会長）住所＝東京都葛飾区青戸6－23－20
●盗聴盗撮つきまとい嫌がらせ犯罪者／アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父
高添沼田ハゲエロ老義父の住所＝東京都葛飾区青戸6－26－６
【通報先】亀有警察署＝東京都葛飾区新宿4ー22ー19　℡０３ー３６０７ー０１１０

盗聴盗撮つきまとい嫌がらせ犯罪者／アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父の盗聴盗撮つきまとい嫌がらせ犯罪者／愛人変態メス豚家畜清水婆婆（青戸6－23－19）の
五十路後半強制脱糞
http://img.erogazou-pinkline.com/img/2169/scatology_anal_injection-2169-027.jpg




アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父によりバスタブで清水婆婆の巨尻の肛門にシャワーのキャップをはずしてずっぽり挿入。
そして、大量浣腸。 勢い良く噴出！腸内洗浄状態です。
http://101.dtiblog.com/b/bodytk9690/file/kan01.jpg
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況