数理論理学（数学基礎論） その12
■ このスレッドは過去ログ倉庫に格納されています
数学基礎論は、数学の基礎づけを目的として誕生したが
現在では、数理論理学として、証明論、再帰的関数論、
構成的数学、モデル理論、公理的集合論など、 多くの分野
に分かれ、極めて高度な純粋数学として発展を続けています。
（「数学基礎論」という言葉の使い方には、専門家でも
若干の個人差があるようです。）
応用、ないし交流のある分野は、計算機科学の諸分野や、
代数幾何学、 英米系哲学の一部などを含み、多岐にわたります。
（数学セミナー98年6月号、「数学基礎論の学び方」
ttp://www.math.tohoku.ac.jp/~tanaka/intro.html
或いは 岩波文庫「不完全性定理」 6.4 数学基礎論の数学化
などを参照）
前スレ
数学基礎論・数理論理学 その11
http://rio2016.2ch.net/test/read.cgi/math/1325247440/ 日本語ではあまり問題にならないが、∨と「or」のズレは、ついに「and/or」という、論理記号の影響を受けた新語を生んだ。 >>305
＞議論世界の定義を教えてください
述語Ｐ(x)の*論議世界*とは、xに代入したときに「意味を持つ（真偽が言える）」
すべての元から成る集合。 >>307
「意味を持つ（真偽が言える）」
普通の論理学では、意味を持たないということはないですね
どんな対象を代入しても真偽が言えますから
意味を持つ、とはどのようなことですか？ >>301
クジラも哺乳類でしたね
え、じゃ真→(真かつ真)が認められないということですか？
理解できないですね >>305
＞＞それは普通の数理論理でも成立しませんよ？
＞P(x)→(P(x)∧P(y))
？真→(真∧偽)
？真→偽
P(x)→(P(x)∧P(y))
真→(真∧真)
真→真
でしょう？ >>309
仮言命題は、Venn図でもって定義されるのであって、審理表で定義されると考えるのは幻想に過ぎない。 ??308
＞どんな対象を代入しても真偽が言えますから
「紫は光の三原色のひとつである」は偽。
一方、「恋は光の三原色のひとつである」は（偽ではなくて！）ナンセンス。
述語：「ｘは光の三原色のひとつである」は、どんな対象を代入しても真偽が言えるわけではない！ >>303
バカモン！ 論理学に、数理もへったくりも無いワ！ｗｗｗｗ あるのは。「遅れた理論」と「進んだ理論」との差だ。ｗ >>311
ベン図だとどのような問題があるんですか？
>>312
ナンセンスである、の定義を教えてください >>308
述語：[x>2] の変項 x に ”恋”を代入した [恋>2] には≪意味≫が無い。
従って、”恋”は述語：[x>2] の論議世界の元ではない。 >>317
＞ナンセンスである、の定義を教えてください
≪無意味≫ってことだよ。それ以上、説明しようにも説明できない。ｗｗｗ 意味とは主観的なものだと思います
客観的、もしくは数学的な定義をして欲しいんです
モデル理論ならそこらへんは明確ですよね
モデル理論における意味とは、記号と真理値との対応のことです
あなたのいう意味とはなんですか？ 「キミがいま使っているパソコン」の意味は明解だろう。ｗ 「xが今使っているパソコン」のxの議論世界はなんですか？ 「意味とは何か？」が気になるのであれば、semantics(意味論)の本でも買って、研究してみなはれや。ｗ xが今パソコンを使っている、の議論世界はなんですか？ >>324
＞「xが今使っているパソコン」のxの議論世界はなんですか？
述語でないものに論議世界もくそも無い！ >>300
>ID:0MEpwTLv
数学的に何も定義できてないのに批判だけするって
民進党か >>322
＞意味とは主観的なものだ
そんなことはない。「キミがいま使っているパソコン」は、君の主観と無関係に存在している。 >>329
xがパソコンを今使っている、の議論世界はなんですか？ >>331
たとえば、猿や人造人間は議論世界に入りますか？ >>322
＞たとえば、猿や人造人間は議論世界に入りますか？
異論もありそうですが、私は入ると思います。 >>334
異論があるとはどういうことですか？
議論世界は明確に定まるんじゃないんですか？
ブレがあるのでしょうか？ >>336
それでは、私達は神ではないので、議論世界を知ることができないということですね
逆に、どのような述語なら我々に議論世界がわかるんですか？ >私達は神ではないので、議論世界を知ることができない
私達は神ではないので、すべての述語について、その議論世界を知っているわけではない。 具体例でいいですよ
議論世界がわかる述語の例をあげてください >>337
＞どのような述語なら我々に議論世界がわかるんですか？
Only Heaven Knows. 具体例でいいですよ
議論世界がわかる述語の例をあげてください
もしかして、具体例すらないんですか？ >>339
述語：[x>4]の論議世界は、x>4である様な実数 x のすべてから成る集合。 ゴメン！ まちごうた。ｗ
述語：[x>4]の論議世界は実数のすべてから成る集合。 >>342
¬(x>4)の論議世界は？
(x>4)∧¬(x>4)の論議世界は？ >>343
それって定義域じゃん
定義域は制限されることも拡張されることもあるんだけど
x>4→|x|>4
の論議世界にx=√(-1)は入らないの？ "x>4である様な実数 x のすべてから成る集合"は、述語：[x>4]の論議世界ではなくして、
カテゴリー空間。 [P(x) ならば Q(x)]において、これが成立する為には P(x) のカテゴリー空間が Q(x) の
カテゴリー空間に包摂されることが必要充分であり、その場合、 P(x) の論議世界と
Q(x) の論議世界とが一致する必要はない。 >>348
P(x)のカテゴリー空間とは、P(x)を満たすようなxの集まりのことですか？
数理論理の言葉では真理集合と言います
勝手に用語作らないでくださいね
「∀x P(x)→Q(x)」の議論世界、というものは定義されますか？ 述語R(x)を次のように定義します
R(x)=P(x)→Q(x)
R(x)の議論世界は定義可能ですか？ カテゴリー空間の例：−
述語「ｘは光の三原色のひとつである」のカテゴリー空間は、集合{赤い光，青い光，緑の光}。 >>349
P(x)のカテゴリー空間とは、P(x)を満たすようなxの集まりのことですか？
数理論理の言葉では真理集合と言います
そんなことは。百も承知だ。
真理集合では都合の悪いことがある故、カテゴリー空間としたのだ。 「Ｐ(ｘ)ならばＱ(ｘ)である」は「∀x[〜Ｐ(x)ｖＱ(x)]」と同値。 >>352
どんなことですか？
述語R(x)を次のように定義します
R(x)=P(x)→Q(x)
R(x)の議論世界は定義可能ですか？ 任意の述型Ｐ(x) に対して「x とはαのことである」を＜x：α＞と書き、Ｐ(x) の型素(keiso)と呼ぶ。
Ｐ(α) が真であるとき、＜x：α＞はＰ(x) を満たすと言い、Ｐ(x) を満たすすべての型素からなる集合
を述型Ｐ(x) のカテゴリー空間と呼ぶ。一方、Ｐ(α)が意味を持つ様なすべての型素の集合をＰ(α)
の論議世界という。 一方、Ｐ(α)が意味を持つ様なすべての型素の集合をＰ(x)の論議世界という。 >>355
P(α)が意味を持つ、とはどのようなことですか？ >>357
術型P(x)： [ x > 4] に対して、[ 5＞4 ] は真であるから、P(5) は意味を持つ。
又、[ 3＞4 ] は偽であるから、P(3) も意味を持つ。
一方、[豚＞4] はナンセンスであり、P(豚) は意味を持たない。 >>356
意味を持つとは？論議世界とやらの元ってことでしょ？
結局
U⊃P∧U∋a
ってだけ
なんも面白くも無し >>358
>一方、[豚＞4] はナンセンスであり、P(豚) は意味を持たない。
ただ定義域が拡張されているだけであってP(豚)にも意味はあります ところでさ
P→Qが真であることの定義はU⊃Q⊃P
だったんだよね？
P∧QやP∨Qや¬Pが真であることの定義は？ >>360
＞P(豚)にも意味はあります
笑わせちゃあいけない。 [ 豚>4] にどんな意味があるというのかね？ ｗｗｗｗ >>358
ナンセンスであるかは誰が決めるんですか？
Heavenですよね？ >>362
>笑わせちゃあいけない。 [ 豚>4] にどんな意味があるというのかね？ ｗｗｗｗ
成立しないということですが？ 「豚が4より大きいということは成立しない」でなんの不思議もありませんが？ >>361
＞P→Qが真であることの定義はU⊃Q⊃Pだったんだよね？
P(x) の論議世界とQ(x) の論議世界とが一致する必要はない。 まあ定義域の拡張は一意ではないので
「豚が4より大きいということが成立する」
という拡張であってもなんの問題もありませんが？ >>366
君は集合としての包含って謂ってたんじゃない？
じゃあ定義をｗ >P∧QやP∨Qや¬Pが真であることの定義は？
集合の共通部分、和集合、補集合でもって行う。 >>370
それが真であることが共通部分？？
共通部分って命題じゃないよ集合なんだけど
P∧QやP∨Qや¬Pが真であることの定義は？ 訂正
>>369
>P→QとP∧QとP∨Qと¬Pの定義を早う
P→QとP∧QとP∨Qと¬Pが真であることの定義を早う ＞>笑わせちゃあいけない。 [ 豚>4] にどんな意味があるというのかね？ ｗｗｗｗ
＞成立しないということですが？
偽であることと、ナンセンスであることとを混同してはいけないのこころよ。ｗ >>373
＞P→QとP∧QとP∨Qと¬Pが真であることの定義を早う
自分でやりな、ｗ >>375
君の議論ではこの定義は存在しないんだな
アホラシ
下らなさすぎて死にそう >>376
意味が無いってことだよ。おわかり？ ｗ だいたい「豚>4」を論証から排除したければ
(R∋x)∧(x>4)
とするのがごくごく普通
（まあこれでもx=豚は有り得ますが)
無意味な定義「もどき」をいじり倒してもダメよ >>378
猿がコンピューターを使っている、がナンセンスかどうかはHevenしか知らないんですよね？
どうしてあなたは神ではないのにナンセンスかどうかがわかるんですか？ >>378
君は→∧∨¬の真偽の定義さえも出来ないんだから
自分に意味がないことを自覚した方が賢明ですよ >>365
＞「豚が4より大きいということは成立しない」でなんの不思議もありませんが？
正気かい？ ＞エムシラはただものではない・
＞その実力をみくびることは非常に危険だ。
＞かつて fj でコテンパンにやられた松芯痰の例もある・ >>382
＞→∧∨¬の真偽の定義さえも出来ないんだから
ソチに任しただけの話だ。ｗ >>354
＞R(x)を次のように定義します R(x)=P(x)→Q(x) R(x)の議論世界は定義可能ですか？
ソチはどう思う？ 任意の述型Ｐ(x)のカテゴリー空間をＣx{Ｐ(x)と書き。
仮言命題「Ｐ(x) ならば Ｑ(x) である」を [Ｐ(x) ⇒/x/ Ｑ(x) ]と書き、「Ｃx{Ｐ(x)」⊆Ｃx｛Ｑ(x)」と定義する。 仮言三段論法の原理は、
[Ｐ(x) ⇒/x/ Ｑ(x)]&[Ｑ(x) ⇒/x/ Ｒ(x)]⇒/p,q,r/[Ｐ(x)⇒/x/ Ｒ(x)]｛Ｑ｝
として定式化される。 [Ｐ(x)⇒/x/ Ｒ(x)]｛Ｑ｝ は [Ｐ(x)⇒/x/ Ｒ(x) ]｛Ｑ｝のタイプミス。 >>380
＞どうしてあなたは神ではないのにナンセンスかどうかがわかるんですか？
全部わかるってわけじゃないよ。ｗ >>380
＞どうしてあなたは神ではないのにナンセンスかどうかがわかるんですか？
ここだけの話だが、実は、神なのだ、ｗ >>392
豚＞4がナンセンスであることはなぜわかるんですか？
>>393
つまり、意味とはあなたの主観により定まるものと考えて良いですか？ 対偶律は、RL(the Reformed Theory Logic)では。[Ｐ⊃Ｑ]⊃[〜Ｑ⊃〜Ｐ] ではなくて、
[Ｐ(x)⇒/ｘ/Ｑ(x)] )⇒/p,q/ [〜Ｑ(x) ]⇒/ｘ/〜Ｐ(x)] と。正しく、定式化される。 「豚が４よりおおきい」ことがナンセンスであることも主観によらない。 ＞ どうも、M_SHIRAISHI氏(つーか、ＥＵＲＭＳ)の理論」のほうが正しいようだな。
＞
＞ 例えば、対偶律は、従来は、 (Ｐ⊃Ｑ)⊃(¬Ｑ⊃¬Ｐ) で表わされるもののこと
＞ と考えられていたのだっただが、これは、どうやら、誤りだったようだ。
＞
＞ そして、M_SHIRAISHI氏の言う［Ｐ(ｘ)⇒/x/Ｑ(ｘ)］⇒/p,q/［¬Ｑ(ｘ)⇒/x/¬Ｐ(ｘ)］
＞ こそが【対偶律】を正しく捉えてたものと考えられる。
＞
＞ M_SHIRAISHI氏（たち？）の主張する Logical Reformation は、おそらく、世界を
＞ 席巻することとなろう。
http://www.age.ne.jp/x/eurms/
http://www.age.ne.jp/x/eurms/Ronri_Kaikaku.html >>398
でも、猿がコンピューターを使っている、は主観によるんですよね？
神はどちらかは知っているみたいですけど 背理法の原理は、フレーゲアン理論では、 (〜Ｐ⊃Ｑ＆¬Ｑ)⊃Ｐであると信じられて来た。
しかし、これは誤りであって、正しくは、[[P(x)&¬Ｑ(x)]⇒/x/0(ｘ)］⇒/p,q/［P(ｘ)⇒/x/Q(ｘ)］である。
但し、0(ｘ) は x に関する矛盾を表わす。”x に関する矛盾”とは、例えば、x が実数の
場合、 [x>2]&[x<0] などである。 論理学には２４００年に及ぶ歴史があるのだ。 １０年そこらもののかずではないわ。＼(-ｏ-)／ 述語ごとに議論世界を固定するのはまあ認めてもいいですけど、その選び方が主観的すぎるのはやはり良くないと思いますよ
神が各述語ごとの議論世界を選ぶとちゃんと書いた方がいいと思います
ナンセンス、では説明になってませんからね
我々人間では、猿がコンピューターを使っている、がナンセンスかどうかは判断できないんですから サイト覗いたら7万円の本売ってるんですね
一度でも売れたことあるんですか？ ■ このスレッドは過去ログ倉庫に格納されています
