論理学スレ

立てました

関連？スレ

論理学の話を簡単にするスレ
https://lavender.5ch.net/test/read.cgi/philo/1607325543/

追加関連スレ

論理学・集合論 [無断転載禁止]©2ch.net
https://lavender.5ch.net/test/read.cgi/philo/1490952242/

733: 考える名無しさん 2024/10/26(土) 10:51:01.25 ID:0
なんとなく、想像されるイメージ

ジャネット
生年　1968年
茨城県出身
身長　168cm
体重　168kg
血液型　B型
好きな食べ物　頭脳パン
好きな女性のタイプ　薬師丸ひろ子
初体験　未定



734: 考える名無しさん sage 2024/10/26(土) 11:07:08.19 ID:0
↑

また自作自演じゃねえの？ｗ

ちなみに低学歴無職が死ぬまで知ることができない情報だけど
ゲーデル不完全性定理はペアノ算術のみで成り立つのではない
ロッサーの証明ではペアノ算術における純粋な無矛盾性の証明不可
シェファードソンの表現定理により任意のΣ1集合で構成される論理式で無矛盾性の証明不可が成り立つことがわかっている
つまりゲーデル不完全性定理を数学だと思い込んでるのは低学歴無職のお前だけ

そもそも哲学はデタラメなので学問ではないよ

ウィトゲンシュタイン論理哲学論考→哲学は論理学を誤って用いたことから生まれた妄想だから無意味。「語り得ぬものには沈黙せねばならない」

ウィトゲンシュタイン哲学探究→哲学は論理学の使用法の誤り・言葉の使い方の誤りからくる妄想だからどのようにしてその誤りを防止するのか言語の誤用を研究する。つまり哲学というウイルスに対するワクチンの研究。

ゲーデル不完全性定理:ある仮定の正しさをその仮定から導くことは不可能という証明

哲学:ある仮定の正しさをその仮定から導くことができるという妄想

26: 考える名無しさん 2025/06/03(火) 17:24:29.55 ID:0
なんとなく、想像されるイメージ

ジャネット
生年　1968年
茨城県出身
身長　168cm
体重　168kg
血液型　B型
好きな食べ物　頭脳パン
好きな女性のタイプ　薬師丸ひろ子
初体験　未定

27: 考える名無しさん 2025/06/03(火) 17:25:09.58 ID:0
>>　26


これが真の低能低学歴者のイメージ

哲学板ってもうほぼ終わってるな
世間の実学重視の風潮に完全に敗北している感

矛盾していようが、存在あるいは考えられることである限り、
美しければ哲学である。

>>6
釣れますか？

哲学言語としての論理を考える。
推論のために土台となるもの、そして推論の正しさ。
命題論理や述語論理などとりあえず一般化して、それを（論理的）対象とする。
そうなると、真偽値などに相当するものとの間に写像（あるいは抽象的な射）がある。
真偽値はどこから発生したのか？そのようなものはない、として、
論理とは論理的対象から論理的対象への写像であるとする。
真偽値のようなものはいったいなにものなのか、まずそれを疑う。

真偽値/真理値は二値というわけでもなく、多値論理もあるし、量子論的なものかもしれない。
「現在のフランス王は禿頭である」という論理的対象を考える。
これは、なんらかのクラスの集まりの元であり、また別のなんらかのクラスの集まりの元であるものに対応するとする。
ドメインのクラスとコドメインのクラスがが必要だ。
推論とは、論理的対象とそれに対応する論理的対象が、どのようなクラスに属するかを考えることである。

フランス王 -> フランス国王
真偽値だけにこだわるとすれば、TRUEでもFALSEでもどちらの場合でも考えられる。
これが語られた時点での、語ったラッセルとイギリス国王（もしくは皇太子）の頭髪が...
という問題まで含めて考えるとおもしろい。

演繹記号を⊃と書いてた奴がなつかしいな

A⊃Bが含意であれば、B⊃Aの抱合関係である。
この混乱を回避するにはマルチバース宇宙を接続すればよい。
ちょうど、Star Trek: Discoveryのシーズン1の10話目をみていたところだ。鏡像宇宙である。
鏡像宇宙との無矛盾な接続には宇宙際タイヒミュラー空間が使えるだろう。
実際にこれをやれるだけの能力があるだろうISTというものがあったのだが、未完のまま作者（数学者）は亡くなってしまった。

非標準分析（超準分析）で非標準論理を組み上げれば、Transfer principleによって無矛盾に鏡像宇宙と接続できるだろう。
つまり、現在のフランス国王が禿げ頭の世界と無矛盾に接続できる() IUTは、いらない。

ジョーは酒場で論理学の教授と知り合った。
「論理学ってのはどういったもんですか？」
「やって見せましょうか。お宅には芝刈機があります？」
「ありますよ」
「ということは、広い庭があるわけですね？」
「その通り！うちには広い庭があります」
「ということは、一戸建てですね？」
「その通り！一戸建てです」
「ということは、ご家族がいますね？」
「その通り！妻と２人の子供がいます」
「ということは、あなたはホモではないですね？」
「その通り！ホモじゃありません」
「つまりこれが論理学ですよ」
「なるほど！」

深く感心したジョーは、翌日友人のスティーブに言った。
「論理学を教えてやろう。君の家には芝刈機があるか？」
「いや。ないよ」

「ということは、君はホモだな！！」

> A⊃Bが含意であれば、B⊃Aの抱合関係(包含関係)である。

含意と包含関係のhorseshoeは異なる起源なので、そこを意識するとよい

含意のA⊃Bはc(ondition?)のcに由来している
鏡像であるのは∃、∀と同様の慣習
よって手書きの場合はcのように丸っこく書けば包含関係の⊃と紛れずに使えるよ、オススメ

包含関係のB⊃Aはより強い⊇などのバリエーションがあることから推察されるように、不等号に由来する

cのように曲がった⊃が活字にあれば、⊃/→論争もマシになりそうだね
アンチ⊃派の主な攻撃は包含の⊃との紛れなのだから

MPTとMTPには、xorを用いたバージョンがあるね？

通常バージョン
MPT: p, p↑q ⊢ ¬q
MTP: ¬p, p∨q ⊢ q

に対して
MPT-xor: p, p+q ⊢ ¬q
MPT-xor: ¬p, p+q ⊢ q
の事ね

何処かでこの後者のxorを用いた論法をstrong MPT/MTPと呼ばれていた文章を読んだ事があるが、これは如何なる意味でstrong、即ち"強い"のだろうか？

演繹関係⊢の作る順序において小さい=狭い

ジレンマというのは
CD: a∨b, a→c, b→d ⊢ c∨d
DD: ¬c∨¬d, a→c, b→d ⊢ ¬a∨¬b
のように論理結合子が消去されない推論規則、すなわち前提も結論もどちらかまでは分からない論法、俗に言うジレンマ的なものと了解していたのですが

...Wedge elimination, dilemma (DL)
https://en.wikipedia.org/wiki/Natural_deduction
すなわち
a, b, a→c, b→c ⊢ c
のようなconclusiveな用法を見つけました

それてはジレンマと呼ばれる論法すべてに共通する本質とは何なのでしょうか？

Wedgeはいづこに？

a∨b, a→c, b→c ⊢ c だとして選言（二つの角）が前提にあるならばそれだけでジレンマと呼びうる
後件（c,d）が一致するかしないかは些末
>>19

またその論法の一般的な名前はproof by casesだ
リンク先には書いてないけど