数学基礎論・数理論理学 その19 (550ﾚｽ)
上下前次1-新
1(3): 2023/10/06(金) 22:38:03.74 ID:tsskr+sA(1/3) AAS
数学基礎論は、素朴集合論における逆理の解消などを一つの動機として、
19世紀末から20世紀半ばにかけて生まれ、発展した数学の一分野です。
現在では、証明論、再帰的関数論、構成的数学、モデル理論、公理的集合論など、
多くの分野に分かれ、極めて高度な純粋数学として発展を続けています。
（「数学基礎論」という言葉の使い方には、専門家でも若干の個人差があるようです。）
応用、ないし交流のある分野は、計算機科学の諸分野や、代数幾何学、
英米系哲学の一部などを含み、多岐にわたります。
（数学セミナー98年6月号、「数学基礎論の学び方」
外部ﾘﾝｸ[html]:www.math.tohoku.ac.jp
或いは 岩波文庫「不完全性定理」 6.4 数学基礎論の数学化 などを参照）
従ってこのスレでは、基礎的な数学の質問はスレ違いとなります。
他のスレで御質問なさるようにお願いします。
前スレ
数学基礎論・数理論理学 その18
2chｽﾚ:math
448: 2024/09/25(水) 23:16:43.68 ID:bVRl+o2W(5/6) AAS
話のすり替え必死すぎ。
教科書ぐらい読めよ。まあ素人にはわからんだろうけど。
449: 2024/09/25(水) 23:38:07.05 ID:2r2fWnIE(2/2) AAS
いや2階の完全性定理は各人の好みだし多数決でいいじゃん
450(1): 2024/09/25(水) 23:49:55.93 ID:bVRl+o2W(6/6) AAS
やはり素人か。知ったようなこと抜かすな黙ってろ。
451: 2024/09/26(木) 00:32:16.08 ID:g6GhBBrS(1/2) AAS
>>444
だからゲーデルは1階のだけだってばw
452(1): 2024/09/26(木) 00:39:25.87 ID:g6GhBBrS(2/2) AAS
>>450
>ID:bVRl+o2W
なんか数学板で最近よく見かける
なんもできないのに態度のでかいやつみたい
453(1): 2024/09/28(土) 03:09:08.63 ID:yXwluucC(1) AAS
>>452
そいつのqiita更新されてたぞ
ゲーデルの不完全性定理の正しいステートメントだとさ
外部ﾘﾝｸ:qiita.com
454(1): 2024/09/29(日) 00:08:41.12 ID:lqIWNgoG(1/8) AAS
完全性定理の完全性と不完全性定理の完全性は違うよ。
外部ﾘﾝｸ[html]:taurus.ics.nara-wu.ac.jp
なにか勘違いしているのでは。
455(1): 2024/09/29(日) 00:14:15.71 ID:xTvQ99PZ(1/6) AAS
>>453
じえん？
456: 2024/09/29(日) 00:15:19.30 ID:xTvQ99PZ(2/6) AAS
>>454
そうじゃなくて
完全性を拡大解釈してるだけ
457(1): 2024/09/29(日) 00:22:10.53 ID:Sdz7AUM/(1/9) AAS
>>455
彼のこと知らん人が多いみたいだから教えてあげただけだよ
458(1): 2024/09/29(日) 00:28:52.77 ID:lqIWNgoG(2/8) AAS
トンデモさん？二階だろうが三階だろうが述語論理は完全だよ。
459: 2024/09/29(日) 00:32:32.59 ID:Sdz7AUM/(2/9) AAS
>>458
さすがにそれはないやろ
460(1): 2024/09/29(日) 00:35:52.88 ID:lqIWNgoG(3/8) AAS
述語論理は完全だと言いたいんじゃないの？
461: 2024/09/29(日) 00:53:05.13 ID:Sdz7AUM/(3/9) AAS
>>460
意味わからん
2階だろうが3階だろうが完全ってどうやって証明するつもりなん？
462(1): 2024/09/29(日) 00:59:12.50 ID:lqIWNgoG(4/8) AAS
ヘンキンの方法って知りませんか？
463: 2024/09/29(日) 01:06:22.14 ID:Sdz7AUM/(4/9) AAS
>>462
それがこれの答えになってるとは思えないのだが…
458 １３２人目の素数さん 2024/09/29(日) 00:28:52.77 ID:lqIWNgoG
トンデモさん？二階だろうが三階だろうが述語論理は完全だよ。
464(1): 2024/09/29(日) 01:15:26.32 ID:lqIWNgoG(5/8) AAS
やはり自演じゃないんですか？よくわからない古い本読むよりも現代的な本読んだ方がいいんじゃないですか。
どちらにせよ述語論理は完全であることに変わりないですよ。
465: 2024/09/29(日) 01:17:51.62 ID:Sdz7AUM/(5/9) AAS
>>464
高階のときは成り立たないだろ
成り立つというなら証明してみろよ
466(2): 2024/09/29(日) 01:21:25.19 ID:lqIWNgoG(6/8) AAS
自説を否定されて逆ギレですか。やめましょうよ。現代的な教科書持ってますか？
そこに高階の述語論理には完全性はなりたたないとか書いてありますか？ちゃんと読めてますか？
467: 2024/09/29(日) 01:35:30.66 ID:Sdz7AUM/(6/9) AAS
>>466
完全性の定義がお互いに違うだけじゃねーの？
どういう定義してるのよ？
こっちは|=ならば|-の話なんだけど、そこは一致してる？
468: 2024/09/29(日) 02:25:51.91 ID:DoUO9tSJ(1) AAS
>>466
高階の述語論理では完全性定理は成り立たない
コンパクト性定理が成立しないから
469(1): 2024/09/29(日) 05:22:58.66 ID:Sdz7AUM/(7/9) AAS
今日のこいつ ID:lqIWNgoG が ID:bVRl+o2W 本人だったんじゃねーかって気がして来た
470: 2024/09/29(日) 07:15:17.84 ID:xTvQ99PZ(3/6) AAS
>>469
それは完全に正しい
471: 2024/09/29(日) 08:45:25.14 ID:Jj0f2m38(1/2) AAS
どちらの意味で？
472(1): 2024/09/29(日) 10:27:59.13 ID:xTvQ99PZ(4/6) AAS
>>457
なんで同定でけるの？
473: 2024/09/29(日) 12:34:22.00 ID:lqIWNgoG(7/8) AAS
信じたければ勝手に信じればいいと思うよ。ただ、なんでそこまで頑なに信じるの？
根拠はあるの？
474(1): 2024/09/29(日) 14:05:11.18 ID:RTm/4HuC(1/2) AAS
2階述語論理 完全性 でググったらこんなのが見つかった
外部ﾘﾝｸ[html]:www.fos.kuis.kyoto-u.ac.jp
2階述語論理の意味論にはタルスキ意味論とヘンキン意味論があり
ヘンキン意味論では完全性が成り立つがタルスキ意味論では完全性が成り立たないのだそうだ
意味分からんけど
475: 2024/09/29(日) 16:50:28.39 ID:xTvQ99PZ(5/6) AAS
ヘンキンのは役立たんし
476(1): 2024/09/29(日) 17:14:23.08 ID:RTm/4HuC(2/2) AAS
役に立たないのが事実上の標準になってるの?
>Henkin流の意味論が2階論理の現在の事実上の標準的な意味論である．
477: 2024/09/29(日) 17:31:17.44 ID:xTvQ99PZ(6/6) AAS
>>476
そうだよ？
478: 2024/09/29(日) 17:55:33.01 ID:YTIKU+W5(1) AAS
基礎論では反証を否定すれば正しいだって（）
479: 2024/09/29(日) 19:02:24.28 ID:Jj0f2m38(2/2) AAS
反証がないことを断定できる議論は証明
480: 2024/09/29(日) 21:04:49.16 ID:Sdz7AUM/(8/9) AAS
>>472
こいつ過去に色んな数学コミュでおんなじように暴れてきたから
481(2): 2024/09/29(日) 21:33:17.91 ID:lqIWNgoG(8/8) AAS
だから二階述語論理は完全じゃないとかよくわからないことを頑なに主張し続けていたのか。
教科書読めばすぐわかることなのに。トンデモさんの相手はもうやめましょう。
482: 2024/09/29(日) 22:21:58.57 ID:Sdz7AUM/(9/9) AAS
>>481
定義書いてごらん
|=をどう定義したの？
483: 2024/09/30(月) 05:20:11.63 ID:SSus5xGT(1) AAS
>>481
他人を煽って聞きたいことを引き出そうとしてるんだろうな
ID:lqIWNgoG ID:bVRl+o2W
484: 2024/09/30(月) 05:46:58.63 ID:p/U88uG3(1) AAS
>>474
「二階述語論理の代表的な意味論として
タルスキ意味論（完全意味論）とヘンキン意味論の二つがある。
タルスキ意味論を用いると、
一階述語論理で表現できない様々な性質を記述できるが、
一階述語論理において成り立つ定理（完全性定理、コンパクト性定理など）がことごとく成り立たず、
二階述語論理は非常に複雑になる。
一方、ヘンキン意味論を用いると、
一階述語論理において成り立つ多くの定理が成り立つが、
論理の表現力は一階述語論理と全く同じで、一階述語論理と比べて二階述語論理に新しい現象は
見られない。」
これが全て
だから本来の二階論理は一階論理上の公理系として実現できない
485(1): 2024/09/30(月) 06:30:02.37 ID:N8ElBOtp(1) AAS
突然ですが、質問です。
nは整数で、かつ、
命題「n^2+1 = 0 ⇒ n^2+2 = 0」
は、真か偽、どっち
ウチュ〰人のワシの怪答
n^2+1 = 0 ⇒ n^2+2 = 0 が真なら
nが虚数となり、整数との前提に矛盾
故に n^2+1 = 0 ⇒ n^2+2 = 0 は偽
ウチュ〰人の別解
n^2+1 = 0 ⇒ n^2+2 = 0 が真なら
n^2+1 = n^2+2 となり、
1=2 となり、矛盾
故に n^2+1 = 0 ⇒ n^2+2 = 0 は偽
なんだが、地球人が多数と思われる
ヨウツベ(俗称)では、対偶では、
省5
486: 2024/09/30(月) 11:38:09.86 ID:0v0Pqjbi(1/2) AAS
>>485
>nは整数で、かつ、
>命題「n^2+1 = 0 ⇒ n^2+2 = 0」
>は、真か偽、どっち
論理式で書いて
487(1): 2024/09/30(月) 11:41:57.76 ID:xM18GDLA(1/3) AAS
やめたら？
488: 2024/09/30(月) 14:50:54.33 ID:0v0Pqjbi(2/2) AAS
>>487
なんで？
きちんと書けば一発でしょ
489: 2024/09/30(月) 19:53:10.65 ID:xM18GDLA(2/3) AAS
つまらないからやめたら？
490: 2024/09/30(月) 19:53:14.92 ID:xM18GDLA(3/3) AAS
つまらないからやめたら？
491: 486 ウチュ〰人は霊感主義 2024/10/01(火) 08:21:46.45 ID:2Mc2F2pQ(1/2) AAS
イロイロ、アドバイスありがとう
自己怪決しました。
「偽 ➡ 偽」 ⇒ 真 ∵
「真 ⬅ 真」 ⇒ 真 ∵自明
そもそも「全整数⇒全整数」だから
「整数なのに虚数⇒整数なのに虚数」
は真だな🤔 多分
さてと、
真 ⇒ 「偽 ➡ 偽」または、「真 ⬅ 真」
と言えるか吟味しよっと。暇な時に
by 👾 ぢゃーまたねぇ (^^)/~~~
492: 2024/10/01(火) 08:23:53.76 ID:2Mc2F2pQ(2/2) AAS
↑ コテハン間違えた 486ぢゃなくて485 m(_ _)m
493: 2024/10/02(水) 09:25:30.34 ID:zFzSqcuk(1/2) AAS
2階の述語論理って危険じゃないかな
任意の述語を考えることでパラドクスは出ない？
型の混同がなければ大丈夫なのかな
それでも2階までで3階はほんとに危険な気がする
494: 2024/10/02(水) 09:28:35.14 ID:zFzSqcuk(2/2) AAS
1階 ↔︎ ZF(C)
2階 ↔︎ BG
3階 ↔︎ もうダメ
なイメージなんだけど
495: 2024/11/10(日) 12:26:45.80 ID:qAdP/nrv(1) AAS
既存の論理学は、間違いだらけ
外部ﾘﾝｸ[html]:logic2.blog.jp
496: 2024/11/11(月) 12:58:05.11 ID:5wkz61g3(1/2) AAS
初見
今、高橋正子の計算論のλモデルD_∞とκ^*の同値性のところ読んでる
読みやすいけど、今、山場の所だから、結構しんどい
497: 2024/11/11(月) 18:57:05.14 ID:nWc2HGC+(1) AAS
俺も持ってる（読まないと）。
でも、山場は型無しλ計算のモデルであるD_∞の構成のところじゃないの？
498: 2024/11/11(月) 23:45:37.59 ID:5wkz61g3(2/2) AAS
いや、議論の長さや知識の総動員っぷりは、D_∞とκ^*の同値性の所の方が上
それにしても、高橋正子は行間を埋めた議論をしてくれてるから結構助かる。例えるなら、松坂和夫の計算論入門版と言ったところか。
499: 2024/11/12(火) 19:21:42.64 ID:1XyKkhd8(1) AAS
ふーんそうなんだ。k^*公理系とかなんか操作的意味論のフェライゼンの評価文脈みたいだね。
なんか関係あんのかな？
500(1): 2024/11/19(火) 18:44:41.28 ID:bnTqtMrC(1) AAS
連続体仮説って、わからん、が結論でOK？
501: 2024/11/19(火) 19:19:18.25 ID:zTVLxRHY(1) AAS
最近は巨大基数公理を仮定して、(G)CHは成立しないとする立場が優勢みたい
わからんじゃなくて成立しないことに
502: 2024/11/19(火) 19:19:35.46 ID:5unNS5bc(1/2) AAS
>>500
ZFCからは肯定も否定も証明できない命題。
つまり、ZFC|-CHを仮定すると矛盾するし、ZFC|-¬CHを仮定すると矛盾する。
(CH=Continuous Hypothesis=連続体仮説)
この証明は大変
でもACの独立性証明は更にもっと大変
503: 2024/11/19(火) 19:21:44.29 ID:5unNS5bc(2/2) AAS
まだ巨大基数公理を勉強するレベルまで知識ついてないんだが、カナモリの巨大基数の集合論は死ぬまでには読めるようになりたい。
504: 2024/11/29(金) 17:13:40.01 ID:HF2gskp4(1) AAS
型って数学的思考の対象の全体ってことで
a,bが型ならaの対象からbの対象への対応を対象とする全体a→bも型ってこと（だけ）でいいの？
このときa∪bにあたるものを型にしないのはなぜ？
505(1): 2024/11/29(金) 21:48:30.70 ID:NGuY7Yt4(1) AAS
型は式につける制約とその法則だから何かの全体とか思わないほうがいいんじゃね
506: 2024/11/29(金) 21:58:41.81 ID:L9LIUdNp(1) AAS
十で神童 十五で才子 二十過ぎれば只の人
507(1): 2024/11/29(金) 23:44:35.22 ID:nAfZUXZT(1/2) AAS
>>505
じゃ
型が指し示すものが対象の全体でもいいや
a,bが型ならa→bという方の指し示すのはaの指し示す対象の全体からbの指し示す対象の全体への対応の全体
a∪bという型をその指し示すものがaの指し示す対象か又はbの指し示す対象であるものとするとかでよくね？
508(1): 2024/11/29(金) 23:59:43.08 ID:nAfZUXZT(2/2) AAS
それと
型の一番基礎のところに
ある数学的思考領域を指し示す型（例えばe）を置くようだけど
その数学的思考の領域とは集合？クラス？
でも
クラスじゃないよな
だってeの指し示す領域がクラスなら
e→eという型の指し示す数学的対象って
クラスからクラスへのクラス関数てことになるけど
クラス関数の全体を考えることは矛盾なので
それは数学的思考領域を形成し得ないてことで
e→eというものは型になり得ない
となると
eの指し示す数学的思考の領域Dとは集合ということになって
e→eという型の指し示す数学的思考領域はD^Dという集合
省2
509(1): 2024/11/30(土) 01:28:12.81 ID:WOfFCiMt(1) AAS
>>507
型が指し示すものとか気にする必要ないやろ
集合論で解釈すること前提なら最初から集合論でいいじゃん
この型を持ってる式をこう組み合わせたらこの型の式ができますってルールを集めましたってのをスタート地点にしないとだめだよ
510: 2024/11/30(土) 01:29:54.48 ID:YdT6e84K(1/6) AAS
>>508
最初の置くようだけどからすでにきいたことがない
511(1): 2024/11/30(土) 01:31:29.28 ID:patZX5z4(1/5) AAS
>>509
いえ
何らかの数学的対象の「領域」というものを
硬理論でも常に考えなくてはいけません
そうでなければ
ただの有限文字列なのですから
ますます意味がないのです
数学的な意味というものを集合論と切り離して
考えることは無理です
512: 2024/11/30(土) 01:40:26.34 ID:patZX5z4(2/5) AAS
プログラミングにおけるIntegerとかRealっていう変数の取りうる値の領域が
そもそも硬理論の素朴なイメージ
関数定義が続き
関数に対して関数を対応させる関数がと
さまざまな型が現れるけれど
どれも集合時って話せません
言うなれば
硬理論は集合論の中で思考領域の階層をどう厳密に表すかということを
あれこれ定義しているにすぎないのです
だから
高階論理と言っても結局は一回論理に帰着されるだけで
何ら新しい治験はもたらさない
513(1): 2024/11/30(土) 01:48:07.31 ID:YdT6e84K(2/6) AAS
>>511
有限文字列ではなくて再帰的な構造をもつ有限木ね
それがどういう振る舞いをするのかを数理論理学の連中はこぞって研究してるんだから、有限だからつまらないとか言うなら帰ってくれ
514(1): 2024/11/30(土) 02:01:18.92 ID:patZX5z4(3/5) AAS
>>513
研究対象なのはその意味についてです
しかしその意味が無価値ではどうしようもない
515(1): 2024/11/30(土) 02:09:24.73 ID:YdT6e84K(3/6) AAS
>>514
違います
君が勝手にそう思ってるだけ
516(1): 2024/11/30(土) 02:11:37.81 ID:patZX5z4(4/5) AAS
>>515
違いました
意味のある研究対象は
その意味論だけです
しかしその意味が無価値ではどうしようもない
517(1): 2024/11/30(土) 02:27:22.44 ID:YdT6e84K(4/6) AAS
>>516
集合論で解釈するなら最初から集合を使えばいいだろ
和集合だろうが直積だろうがなんでも最初から用意されてるんだから
集合で解釈することでなんか素晴らしい定理が完成したら教えてね
518(2): 2024/11/30(土) 09:33:59.01 ID:patZX5z4(5/5) AAS
>>517
そもそも意味のないことをしているという自覚がないから
研究だと言い張っているわけですね
519: 2024/11/30(土) 11:02:11.96 ID:YdT6e84K(5/6) AAS
>>518
じゃあお前は集合論に意味を与えるようななんらかの体系をもってるわけ？
それがないと集合論は無意味だよ？
520: 2024/11/30(土) 11:11:15.06 ID:YdT6e84K(6/6) AAS
集合なんかよりよっぽど具体的で有限なものを扱ってるんだから、それが無意味なわけがないじゃん
集合なんかよりはるかに足場が固まってるだろ
521: 2024/12/01(日) 08:03:15.80 ID:PVFgYFW1(1) AAS
>>518
はやく集合論が意味のないことをしていないことを示せよ
意味を定めないと無意味なんでしょ
さっさとしろよ
522(1): 2024/12/01(日) 21:26:38.79 ID:VMilV3Yc(1) AAS
各種のナントカ基数を定義し、そのナントカ基数の存在を仮定するならば定理◯◯が証明できる
っていう議論をひたすら色んなナントカ基数を定義しながら繰り返す(？)のって、一体集合論って何なんやろって思わさせられる。
523(1): 2024/12/01(日) 23:20:55.46 ID:lQZxmJtm(1) AAS
>>522
その必要性を理解できないんですね
524(1): 2024/12/02(月) 01:52:50.63 ID:ufHSsbMM(1) AAS
>>523
こんな多すぎてやる気が起きひんやろ
画像ﾘﾝｸ[png]:i.imgur.com
525: 2024/12/02(月) 09:14:29.07 ID:tV9QZ81s(1) AAS
>>524
研究の宿命というかありがちな流れだと理解できてませんね
外部ﾘﾝｸ:en.wikipedia.org
526: 2024/12/13(金) 12:53:39.88 ID:IICqUMpV(1) AAS
数理論理学の教科書ってなんか
思いが勝って？意味不明瞭てか
定義して論証するスタイルから
逸脱してしまってる本もあるな
何を言おうとしているか曖昧で
527: 2024/12/13(金) 14:06:09.62 ID:4qaWHamy(1) AAS
具体的に書名と該当する文章を記せ
ここに書けないならブログに書いてリンクを張れ
できないなら黙って●ね
528(1): 2024/12/13(金) 17:28:36.17 ID:WbV8oUaV(1) AAS
定義して定理を証明するの繰り返しになってない数理論理学の本などあるわけがない
529(5): 2024/12/14(土) 00:47:10.24 ID:uyPb+8af(1) AAS
>>528
その前に曖昧な「思い」を語って
定義が明確でなく証明も曖昧な本
530: 2024/12/14(土) 01:00:09.76 ID:lG69qVA1(1/2) AAS
>>529
じゃあその本を引用してくれよ
お前が言ってること解析入門君以下だよ
531: 2024/12/14(土) 23:04:52.06 ID:lG69qVA1(2/2) AAS
>>529
まだ？
結局いつもの妄想だったの？
532: 2024/12/15(日) 18:29:56.54 ID:fyR+w7xX(1) AAS
>>529
「思い」の部分はいいから、試しに曖昧な定義ってのを貼ってごらんよ
なんでできないの？解析入門君でもできるのに
533: 2024/12/16(月) 18:24:01.05 ID:iyAgqqtd(1) AAS
>>529
まだ？
これ自己紹介だったってオチ？＞思いが勝って？意味不明瞭
534: 2024/12/16(月) 22:17:25.88 ID:8864eXoA(1) AAS
甘ちゃんね
535: 2024/12/18(水) 03:26:56.11 ID:TlfsWdag(1) AAS
>>529
まだ？
君のqiitaに書いてくれてもいいんだよ
リンクは上のほうに貼ってあったし
536: 2024/12/18(水) 07:07:07.03 ID:maOdtkR0(1) AAS
さっさと出て来て、なぜ集合のことを集合ではなくクラスと呼ぶのか定義に基づいて説明しろよ
537: 2024/12/23(月) 11:43:18.67 ID:hUexyzcT(1/2) AAS
74 名前：１３２人目の素数さん[] 投稿日：2024/12/23(月) 10:25:49.39 ID:xuo45Noy
「なぜ、ZFC公理まで遡らなくても数学が出来るの？」スレの989
>『{}∈{{{}}}』について、個別に真だの偽だのを論じたことはない
この期に及んで言い逃れかい？
じゃあ以下の何がなぜ間違いか言ってごらん
（引用開始）
また正則性公理と関係無く推移律 a∈b ∧ b∈c ⇒ a∈c は成立しない
実際 {}∈{{}} ∧ {{}}∈{{{}}} は真だが、{}∈{{{}}} は偽。
（引用終了）
>おサルさんたちが、自分たちの言い逃れのため、ヤクザのインネンを付けてきているだけのことよ
>めんどう臭いから、スルーしていますｗ （＾＾
間違いだとインネン付けてきたのは君。インネンである証拠に君は何がなぜ間違いかを言ってない。
538: 2024/12/23(月) 11:43:39.62 ID:hUexyzcT(2/2) AAS
75 名前：１３２人目の素数さん[] 投稿日：2024/12/23(月) 11:22:56.67 ID:DXqGPbwQ
集合{{{}}}の要素とは
最外の{}を外した項の列の中のそれぞれの項
したがって{{}}しかない
これ豆な 知らん奴は大学１年落第
539: 2025/07/04(金) 02:50:05.20 AAS
なぜ哲学は無意味で科学のみが学問と言えるのか
体系内と体系外の正しさ
体系内の正しさ
自明な正しさ
定義 論理構造だけで自明に真となる命題
例 命題論理の恒真式（トートロジー）
価値 形式的には正しくても新たな洞察を生まず、議論に貢献しない
非自明な正しさ
定義 モデル理論的事実や推論規則の適用を要し、形式体系のすべてのモデルで真となる命題
例 意味論的妥当性（⊨ φ）
価値 議論の本質を担うが、体系内で完全に獲得・検証することは不可能
1. 恒真式（トートロジー）
定義 真理値表で常に真となる式
特徴 自明に真で、新たな情報を付加せず議論に寄与しない
2. 意味論的妥当性（Validity）
省27
540: 2025/07/04(金) 02:50:11.81 AAS
主観・感情・読者解釈の形式化可能性
任意のテキストは背後にオントロジー（背景定義）を置くことで弱算術 Q の骨格を必然的に含む。たとえば
– 聖書「C(g,ω)」（創世記1:1）
– 源氏物語「L(genji,y,t)」「R(r,⌜L⌝,t)」
これらを含む理論 T は
再帰的可算（Henkin 1950）、
任意 r.e. 集合を Σ¹ 式で表現（Shepherdson 1961）、
T ⊬ Con(T) かつ決定不能文 θ を必ず抱える（Gödel 1931／Rosser 1936）
→ どんな背景定義を用いようと、現実世界への言及には弱算術 Q が不可欠であり、第一不完全性の射程外には出られない
純ナンセンスの例
g0d!#? ωω++ …
識別不能・順序不能・参照不能で再帰的列挙すらできず、意味が蒸発する
オントロジー層とテキスト層
テキスト層 書かれた文字列のみを扱い意味づけ不能
オントロジー層 背景定義・公理群でテキストをモデル化し初めて意味を獲得
省12
541: 2025/07/04(金) 02:50:27.08 AAS
数学はもちろん形式科学だから学問
542(1): 2025/07/04(金) 02:51:05.96 AAS
出来るはずのない論理のタブーを犯しているため哲学や形而上学は学問ではない
543: 2025/07/04(金) 03:04:19.81 AAS
なぜ哲学は無意味で科学のみが学問と言えるのか
体系内と体系外の正しさ
体系内の正しさ
自明な正しさ
定義 論理構造だけで自明に真となる命題
例 命題論理の恒真式（トートロジー）
価値 形式的には正しくても新たな洞察を生まず、議論に貢献しない
非自明な正しさ
定義 モデル理論的事実や推論規則の適用を要し、形式体系のすべてのモデルで真となる命題
例 意味論的妥当性（⊨ φ）
価値 議論の本質を担うが、体系内で完全に獲得・検証することは不可能
1. 恒真式（トートロジー）
定義 真理値表で常に真となる式
特徴 自明に真で、新たな情報を付加せず議論に寄与しない
2. 意味論的妥当性（Validity）
省27
544: 2025/07/04(金) 03:04:27.81 AAS
主観・感情・読者解釈の形式化可能性
任意のテキストは背後にオントロジー（背景定義）を置くことで弱算術 Q の骨格を必然的に含む。たとえば
– 聖書「C(g,ω)」（創世記1:1）
– 源氏物語「L(genji,y,t)」「R(r,⌜L(genji,y,t)⌝,t)」
これらを含む理論 T は
再帰的可算（Henkin 1950）、
任意 r.e. 集合を Σ¹ 式で表現（Shepherdson 1961）、
T ⊬ Con(T) かつ決定不能文 θ を必ず抱える（Gödel 1931／Rosser 1936）
→ どんな背景定義を用いようと、現実世界への言及には弱算術 Q が不可欠であり、第二不完全性定理の射程外には出られない
感情・解釈・文化的文脈・美学の形式化可能性
任意の感情（喜び・悲しみ）、解釈（読者反応）、文化的文脈、美学的価値判断は、次のようにオントロジー層で定義・形式化できる。
– 個体定数や関係記号を用いて「感情状態」「解釈行為」「文化的属性」「美学的評価」を命題として表現
– 時点や対象を数える 0, S() を導入し、読者や文化集団ごとの反応を R(r,p,t) の形で量化
– 「美的快の強度」「文化的背景の識別」「解釈パターン」を数理モデル化して Σ¹ 式で表現
→ どのような主観的要素であっても弱算術 Q の骨格を含む形式体系に組み込まれ、第二不完全性定理の射程外には逃げられない
省18
545(4): 2025/07/04(金) 04:04:49.33 ID:UZ8rVv9G(1) AAS
>>542
「哲学や形而上学は学問ではない」という意見だけど、それは一般的な見方とは違うね。
多くの大学で哲学や形而上学はちゃんとした研究分野として扱われているし、歴史的にも重要な学問として認識されている。例えば、古代ギリシャのプラトンやアリストテレスから近代のデカルトやカント、現代の分析哲学まで、多くの思想家たちが論理に基づいた思考を展開してきた。彼らの議論は、論理的な整合性を重んじ、緻密な思考によって構築されている。
「出来るはずのない論理のタブーを犯している」という点が具体的に何を指しているのか不明だけど、もしそれが哲学的な問いの性質、つまり経験的な検証が難しい領域を扱っていることだとしたら、それは哲学の特性であって、学問としての価値を否定するものではない。むしろ、科学では扱えない根源的な問い、例えば「存在とは何か」「知識はどのようにして得られるのか」「道徳の基礎は何か」といった事柄を探求するのが哲学の役割だ。
これらの問いは、論理的な思考や概念分析を通して深く掘り下げられ、人文科学や社会科学だけでなく、自然科学の基礎にも影響を与えている。学問の定義は多様だけど、一般的には体系的な知識の探求、批判的な思考、そして議論の構築が含まれる。哲学や形而上学は、まさにこれらの要素を満たしていると言えるだろう。
546: 2025/07/04(金) 04:35:14.02 AAS
>>545
論理的思考は不可能で権威主義と
大学でホメオパシー教えてたら学問と
知能0
タブーが何が書かれている
ゲーデルの第二不完全性定理違反
ウィトゲンシュタインによる形而上学の無意味性証明すら知らんアホが吠えんなや
547: 2025/07/04(金) 04:35:25.01 AAS
>>545
なぜ哲学は無意味で科学のみが学問と言えるのか
体系内と体系外の正しさ
体系内の正しさ
自明な正しさ
定義 論理構造だけで自明に真となる命題
例 命題論理の恒真式（トートロジー）
価値 形式的には正しくても新たな洞察を生まず、議論に貢献しない
非自明な正しさ
定義 モデル理論的事実や推論規則の適用を要し、形式体系のすべてのモデルで真となる命題
例 意味論的妥当性（⊨ φ）
価値 議論の本質を担うが、体系内で完全に獲得・検証することは不可能
1. 恒真式（トートロジー）
定義 真理値表で常に真となる式
特徴 自明に真で、新たな情報を付加せず議論に寄与しない
省28
548: 2025/07/04(金) 04:35:37.54 AAS
>>545
主観・感情・読者解釈の形式化可能性
任意のテキストは背後にオントロジー（背景定義）を置くことで弱算術 Q の骨格を必然的に含む。たとえば
– 聖書「C(g,ω)」（創世記1:1）
– 源氏物語「L(genji,y,t)」「R(r,⌜L(genji,y,t)⌝,t)」
これらを含む理論 T は
再帰的可算（Henkin 1950）、
任意 r.e. 集合を Σ¹ 式で表現（Shepherdson 1961）、
T ⊬ Con(T) かつ決定不能文 θ を必ず抱える（Gödel 1931／Rosser 1936）
→ どんな背景定義を用いようと、現実世界への言及には弱算術 Q が不可欠であり、第二不完全性定理の射程外には出られない
感情・解釈・文化的文脈・美学の形式化可能性
任意の感情（喜び・悲しみ）、解釈（読者反応）、文化的文脈、美学的価値判断は、次のようにオントロジー層で定義・形式化できる。
– 個体定数や関係記号を用いて「感情状態」「解釈行為」「文化的属性」「美学的評価」を命題として表現
– 時点や対象を数える 0, S() を導入し、読者や文化集団ごとの反応を R(r,p,t) の形で量化
– 「美的快の強度」「文化的背景の識別」「解釈パターン」を数理モデル化して Σ¹ 式で表現
省19
549: 2025/07/04(金) 04:36:12.39 AAS
>>545
感情・解釈・文化的文脈・美学の形式化可能性
任意の感情（喜び・悲しみ）、解釈（読者反応）、文化的文脈、美学的価値判断は、以下のようにオントロジー層で定義・形式化できる。
– 個体定数や関係記号を用いて「感情状態」「解釈行為」「文化的属性」「美学的評価」を命題として表現
– 時点や対象を数える 0, S() を導入し、読者や文化集団ごとの反応を R(r,p,t) の形で量化
– 「美的快の強度」「文化的背景の識別」「解釈パターン」を数理モデル化して Σ¹ 式で表現
これにより、どのような主観的要素であっても弱算術 Q の骨格を含む形式体系に組み込まれ、第二不完全性定理の射程外には逃げられない。
550: 2025/07/05(土) 19:16:59.02 ID:IkzxlKx6(1) AAS
殺害予告常習犯フクロナガサ晒しage
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.257s*