数理論理学（数学基礎論） その12
■ このスレッドは過去ログ倉庫に格納されています
数学基礎論は、数学の基礎づけを目的として誕生したが http://rio2016.2ch.net/test/read.cgi/math/1325247440/ それに述語は変項の値毎に真偽が定まる真偽関数なんだから Non-Standard-Logic を研究し尽くした者からの忠告：− >>244 「Ｐ(ｘ)ならばＱ(ｘ)である」は「∀x[〜Ｐ(x)ｖＱ(x)]」と同値。 >>247 >>243 みたいなトンチンカンなことをいう >>236 >>243 「P(x)ならばＱ(x)である」は仮言命題といい、「Ｐ(α)はＱ(α)を内含する」とは 「Ｐ(α)がＱ(α)を内含する」ときに限り、「P(x)ならばＱ(x)である」が成立する。 ヴェン図で説明すると、円Ｐが円Ｑに包まれていさえるれば、 議論世界以外の要素は普通は考えませんね 円Ｐが円Ｑに包むように描いたのが「P(x)ならばＱ(x)である」のヴェン図 そのなかにαを表わす点を添えた >>256 >>259 ＞＞そのなかにαを表わす点を添えた ＞Ｐ(α)はＱ(α)を内含する >>250 >>262 つまり、P(x)ならばQ(x)、は円Pと円Qの関係性だけを定めていて、αがPの中に入っていようがいまいが、常に成り立つ、というわけです アホらし それって単に、一階の理論のモデルを一つ固定して考えてるだけじゃないの 議論世界はそもそも最初から定まっているんですから、αは必ずその中に入ります [Q⊃P]かつU∋a <=> P(a)→Q(a) たとえば、何がパラドックスになっていて、それはどのようにして解決されるんですか？ >>272 >>274 例えば、「ｘは光の三原色のひとつである」という述語に対して、 >>276 >>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 ■ このスレッドは過去ログ倉庫に格納されています
