数理論理学（数学基礎論） その12
■ このスレッドは過去ログ倉庫に格納されています
数学基礎論は、数学の基礎づけを目的として誕生したが http://rio2016.2ch.net/test/read.cgi/math/1325247440/ >>274 >>276 >>275 ＞P∧QやP∨Qや¬Pの真偽の定義は？ 「牛は光の三原のひとつである」という文は無意味。 >>281 >>282 >>274 >>280 "Introduction to Logic and Deductive Sciences" by Alfred Tarski p.27 >>266 ＞円Pと円Qの関係性だけを定めていてαがPの中に入っていようがいまいが、常に成り立つ、というわけです >>277 >>285 ”実質的内含のパラドックス”の一例：− ＞αは必ずその中に入ります 「紫は光の三原色のひとつである」は偽。 >>269 >>294 >>298 Russell や Hilbert 達に「洗脳」されたマヌケ。ｗ ”実質的内含のパラドックス”の例をもうひとつ：− >>298 Russell や Hilbert 達に「洗脳」されたマヌケ達に二次洗脳されたどマヌケ。ｗ 洗脳とかいってる人は、論理学と数理論理学の区別がついてないことからくる混乱を起こしている。 数理的ではない論理学においても、ならばの真理値表くらい同じですよ >>292 >>301 日本語ではあまり問題にならないが、∨と「or」のズレは、ついに「and/or」という、論理記号の影響を受けた新語を生んだ。 >>305 >>307 >>301 >>305 >>309 ??308 >>303 あるのは。「遅れた理論」と「進んだ理論」との差だ。ｗ >>311 >>312 >>308 >>317 意味とは主観的なものだと思います 「キミがいま使っているパソコン」の意味は明解だろう。ｗ 「xが今使っているパソコン」のxの議論世界はなんですか？ 「意味とは何か？」が気になるのであれば、semantics(意味論)の本でも買って、研究してみなはれや。ｗ xが今パソコンを使っている、の議論世界はなんですか？ >>324 >>300 >>322 >>329 >>331 >>322 >>334 >>336 >私達は神ではないので、議論世界を知ることができない 具体例でいいですよ >>337 具体例でいいですよ >>339 ゴメン！ まちごうた。ｗ >>342 >>343 "x>4である様な実数 x のすべてから成る集合"は、述語：[x>4]の論議世界ではなくして、 [P(x) ならば Q(x)]において、これが成立する為には P(x) のカテゴリー空間が Q(x) の >>348 述語R(x)を次のように定義します カテゴリー空間の例：− >>349 「Ｐ(ｘ)ならばＱ(ｘ)である」は「∀x[〜Ｐ(x)ｖＱ(x)]」と同値。 >>352 任意の述型Ｐ(x) に対して「x とはαのことである」を＜x：α＞と書き、Ｐ(x) の型素(keiso)と呼ぶ。 一方、Ｐ(α)が意味を持つ様なすべての型素の集合をＰ(x)の論議世界という。 >>355 >>357 >>356 >>358 ところでさ >>360 >>358 >>362 「豚が4より大きいということは成立しない」でなんの不思議もありませんが？ >>361 まあ定義域の拡張は一意ではないので >>366 >P∧QやP∨Qや¬Pが真であることの定義は？ >>370 訂正 >>369 ＞>笑わせちゃあいけない。 [ 豚>4] にどんな意味があるというのかね？ ｗｗｗｗ >>373 >>375 ■ このスレッドは過去ログ倉庫に格納されています
