君はこのパズルが解けるか？
大いに語る人はいないと思うので、こまめにパズルのヒントの情報交換しましょう。
フランツ・ブレンターノ
■ このスレッドは過去ログ倉庫に格納されています
君はこのパズルが解けるか？
大いに語る人はいないと思うので、こまめにパズルのヒントの情報交換しましょう。
なるほど哲学の応用ってそういう方向のもあるのか。要するに概念の導入みたいなことね。
自分は分析哲学好きだから分析哲学的な現象学っていうのに興味ある。分析哲学にそれこそ現象学の概念導入したらどうなるかというところに興味ある。
オーストリアに限っては（哲学も経済学も）イギリスに近いと思う。
ブレンターノに限らずハイエクとかヴィトゲンシュタインとか。
フッサールも現象の背後に認識できない物自体があるみたいなカント的考え方とは
まるっきり違うわけだし。経験論と現象学ってそんなに遠くない。
ヘーゲルはどう処理したんだろうねと思って「ヘーゲル 排中律」でググるとちらほらと
なんだかんだ上がってくる
機械論をやめるとアリストテレスにまで遡る。すなわち世界全体を包括する目的論までも
視野に入る
俺はそっちのベクトルの方が面白そうと感じる
そういう方面で頑張ってきた日本の哲学者と言えば、
東京大学、放送大学教授の佐藤康邦だろうな。
ブレンターノみたいに論理の明晰性みたいなものを重視するアプローチでやるんならいいんだけどね。
ところで、ヘーゲルも排中律はよろしくないって主張してたの？
「機械論なんてそもそも本当なのかよ。目的論の物理学は作れないのか」
というレベルの逆ギレです
弁証法は事実性、実用性が極めて高く、
ヘーゲルをして他の哲学者を『阿呆の画廊』と言わしめた
この事実性、実用性の中で排中律はどうなっているかというと、
まだあまりよくわかっていない
みたいな感じ
別の人？
俺は元プログラマで、数学に関しては簡単に、
「数学は平叙文の世界で、プログラミングは命令文の世界」だと思ってる
もちろん数学にもゲーム意味論みたいな分野はあったり、
プログラミングにもWebみたいな分野はあるけどね
で、物理はどうなんだろうと。例えば円なんかは、
数学では「ある一点（中心）からある一定の距離（半径）だけ離れた点の集合」で、
物理では「常に進行方向とは直角の方向に一定の力を受け続ける等速運動」
自分が言うのもなんだが珍しいね。なぜブレンターノに？
自分は物理やってて型付きの関数型言語に興味持って、型付きの数学理論が許されるなら型付きの物理論があってもいいはずだ、と思って直観主義型理論調べてたらブレンターノに行き着いて
今ここ。
円を型付き理論でどう表現するかっていうのはまだ悩みどころだね
プログラマがブラウワーの直観主義に親近感を覚えるのは結構自然な事かも。
俺は不完全性定理経由でブラウワーを知った
ブレンターノは肝心の判断理論がまだいまいちわからない
例えば運動方程式Ｆ＝ｍα
「力とは質量に加速度を生じさせるものである」はどう料理されるのだろう
「質量mの物体に力Fをかけて加速度aを与えている者」が存在する。を肯定的か否定的に判断することになる。
ブレンターノ判断論だけではたいして面白い物理理論は出てこない。
直観主義型理論の依存型を持ってきてブレンターノ判断論の拡張みたいなことを考えないと面白くはならない。
たとえば、物体Aの存在判断にあたっては
Velocity(A)、Weight(A)などの諸性質判断が肯定的であって初めてAの存在が言える、みたいな形式にしないと広がりがない。
つまり、「重さmをもち速度vをもち・・をもつ物体A」が存在するという一定基準を満たした判断をするとき初めて物体の実在性（reality）が言えるようでなくてはならない。
なんでこんなこと考える必要があるんだと思うかもしれんがたとえば物体Aが電子だったらどうなる？不可視物体の存在判断というのはだいぶ実在論に近くて複雑な論理構造を持っている。そこを判断論で整理すれば今までの物理とは異なる新しい物理学が出てくるかも云々
たとえば宝くじの一等当選を神の片鱗だと思えば
a:力の片鱗(神)
は肯定的に判断できるから
「力の片鱗をみせる神」が存在する
といえるけど、これは当然根拠として弱い。もっと複合的に根拠を積み重ねることで存在判断すべきだ、というようにある程度定量的に存在論が展開できるんじゃないかと期待してる。
神というのが胡散臭ければヒッグス粒子とかに置き換えてもらえばいい。
形式言語に乗せて機械論的に存在論が展開できれば結構なもんだと思うんだが。
「いたるところ存在している粒子」を「扱う数理モデルが無い」
という可能性はないのかな
数学としては群論がそれに近いのかな、みたいな
数理モデルがあったとしてそれに従う粒子が存在すると認定する方法についての話だから別問題。
例えば、なんとか粒子が圏論の理論に従って運動すると政治的に主張されていたら、その認定の論理を明らかにして正確なものに直すためのもの。
電子がシュレーディンガー方程式に従うと言うが本当か？何をもって従うと言えるのか？というところを機械化したいということ。
宇宙の究極理論がもしあったらそれに近いものにならないか、みたいな感じ
難しいからって究極とは限らない。
理解可能で簡単だけど究極というのを目指すべき。
難しいから価値があるわけではない。
物理学理論のための数学がそもそもまだない可能性もあるかもよ、ってことが言いたい
そいうのを見つけるために判断論を精密化させて見つけようという話をしてる。
それが新しい物理学云々
>>85みたいに簡単に言えちゃうけど誰もやらないの？ってとこにある。
こんな話は数学板や物理板でしても無駄だろうしちょうどいい機会だと思った
>>85みたいに簡単に言える？というのがわからん。なんのこと？
多数の粒子扱うモデルとしては、統計力学とかあるじゃん？
座標軸を用意して何もない空間を用意してその中を粒子が動き回る、
みたいなのをやめて、もっと「空間はその全部が粒子で充填されている」という、
根本的な発想の転換を図る必要はないのかなという素朴な問題意識。
そういう数学はあるんだろうか、ないなら物理学者が自分で作ろうよ、という提案
それは流体力学だね。ヒッグス粒子の海だかダークマターの海だかの中の現象として定式化するなら流体力学援用することになるんじゃない？
ググったらまさにこれって感じ
宇宙全体をこの流体だったり弾性体とみなす、的な宇宙論を期待してる
実質的にエーテルの復活だから、そういう考えは数学板やら物理板では受け入れられんだろうな。
今や相対性理論は絶対的なドグマだから。反対する意見が受け入れられることはないよ。よっぽどの物理学史上に残る重大事象が無い限りはそういう宇宙観が受け入れられることはない。
ただ、自分も特殊相対性理論に矛盾しないエーテル概念(ヤノーシのエーテル)を導入したいという下心があったりするが。
超弦はそれの海だ、みたいな展開にはならないの？
ダークマターの海で振動する弦だ、とはなるだろう。知らんけど。
問題は相対性理論とどう整合性をとるか？というところがポイントになると思う。
正直、超ひも理論は天動説になるんじゃないかな。こんなこと物理板では言えないけど。数学的興味が先立っていて物理的解釈がほとんどできない理論なんておかしいし。どっかでコペルニクスの宗教裁判宜しく宗教裁判を大々的にやって覆る気もする。
まあそんなの期待してても100年後か200年後になるかわからんし、できることをやっていくべきだろう。
http://januscosmologicalmodel.com/
https://www.jp-petit.org/new_en/news.htm
かなり詳しい人みたいなんで論文貼る。俺は解説本で理解したんだけど
http://januscosmologicalmodel.com/pdf/1995-AstrophysSpaceSci.pdf
詳しくないし、こんな難しそうな英語の論文わからんよ。
その解説本教えてもらうほうが建設的だと思う。
『ビッグバンには科学的根拠が何もなかった』 ジャン‐ピエール プチ (著)
論文執筆者自身の手になる解説本。そして同じ著者の他の本を見てもらえると…
new field equation:
S = x ( T - A ( T ) )
The Einstein equation:
S = x T
と書いてあるし、アインシュタインの場の方程式を拡張と言うか改良するのね、と。
それはニュートン力学が相対論後もほとんどの場合に正しい優れた近似であるように、
アインシュタインもまた近似になっちゃうのね、と。
論文にはその後「こんなに観測事実と一致しますぜ」という図が続いてる
テープの同じ側同士では引力が働き、裏側からは斥力が働くという
シンプルなもの（論文の3ページ目）
we assumed that the space-time hypersurface had an S3 × R1 topology
これがミッシングマス問題を一挙に解決する
ビッグバン理論が胡散臭いという気持ちはわかるが話が発散し過ぎだしこのスレでどういう答えがほしいのかちょっと見えん。
ジャンピエールプチに対する社会の反応は理性的か
https://lavender.5ch.net/test/read.cgi/philo/1622865654/
そこで質問してもらえます？
もはや判断論もブレンターノも関係ないし
こまめに更新してて、話題が近づいてきたんで遊びに来てください
傍からみりゃ明らかなんだが誰も言わないんだよな。
ダメットが直観主義数学研究したのも同じ動機としか思えない。ハイディングが周りの数学者に受け入れやすいように形式化したのの延長線と見せかけといて現象学を受け入れさせたとしか思えない。
ダメットの業績とかもはっきり書いたものないしモヤモヤが募る。
ダメットは分析哲学の起源は現象学と同じブレンターノにあると考えていたようだしブレンターノ研究者にとって、分析哲学、現象学の起源としてのブレンターノってどういう見方があるのか知りたいんだが、日本でブレンターノ研究してる人なんていないのかもしれんと思ってきた。
いるのかもしれんが、マルティン＝レーフ読んで直観主義型理論も理解してって人って金子洋之氏ぐらいしかいないのかも。
現代のコンピュータ言語理論も「現象」というものを避けられなくなっているように思う
コンピュータ言語の世界でも数学の世界でも心的現象について語り合わざるを得ない世界が近くまで来てるきするんだけどなぁ
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【ジェイ・ミン】水原一平容疑者の薬指から指輪が消滅 [Anonymous★]
- 置き配の盗難被害者が“おとり”置く 玄関先から段ボール盗んだか 49歳女逮捕 中に位置情報追跡できる機器 [PARADISE★]
- 「犠牲者が何倍になるのか」東京に「太陽光パネル」義務化した小池知事に怒り噴出…地震で感電リスク、炎上すれば消火できず [PARADISE★]
- 堀江貴文氏、大谷翔平の口座管理に驚き 水原一平容疑者任せの報道に「それくらいはチェックしようよ」 ★2 [Anonymous★]
- 新宿区のボイトレ教室で男性の下半身を触った疑い 書類送検のボイストレーナーの男性(40)「歌唱力が上達するために必要だ」警視庁 [Ailuropoda melanoleuca★]
- 大谷翔平がバスケ界のレジェンドと握手＆記念撮影 ともに背番号４２のユニホーム姿 満面の笑顔際立つ [フォーエバー★]
- 女の子「婚活で苦戦してる女の子って殆どが高望みでもなんでもなくて、男尊女卑じゃないまともな男を探すのが難しすぎるのだと思う」 [856698234]
- 暇空茜さん、裁判でｃｏｌａｂｏにボロカス言われたためＴｗｉｔｔｅｒで激怒 [207516352]
- 


枯れたお🏡の水平思考🌰



- 【悲報】日本政府「1ドル150円が適正。130円みたいな円高は物価下がるから求めてない」 [237216734]
- 上司「イラつくんだよ山本のやつ！」同僚「アハハ」俺「……おはようございます」ｶﾞﾁｬ
- 東京行くんだけどお薦めある？