バカでも分かる論理学

>>950
ニュートンという犬がいてもおかしくないな。
うちの犬はエアロだけどね。

>>947
述語論理でも「＝」は「等しい」を意味する述語として導入される
のが普通だろ。論理演算記号として「＝」を導入した論理がある？
論理としての同値記号「⇔または≡」とどう違うんだ？
「＝」に関する公理や推論規則を具体的に説明して欲しい。

＝は論理式を結びつける結合子とではなく、
特別な二項述語として導入される。
公理としては任意の個体項ａ，ｂについて
ａ＝ａとａ＝b→（A(a)→A(b)）など。
後者はそれに相当する推論規則にしてもいい。

>>954
面倒くさがらずにきちんと公理ぜんぶ示せよｗ

全部示してるよ。ただ、公理化の方法は当然のことながら、
複数ある。上の二つを公理とするのはその一つ。

しかし、この程度のことは論理学の教科書をどれか読めば書いてあるだろ？

>>956
おまえアホやろ

そうじゃなくて、バカでも分かってるつもりで騙る論理学のスレだから
もしくは実際の論理学がこれに相当するのかもしれんねｗ
数学と論理学は別物なんじゃないのｗ

笑ってるバカおもしれー

可哀相だから見て見ぬフリくらいしろよ・・・

実際、どっちが可哀想なんだろうな

数学ネタになるとここぞとばかりに張りきるアホだろ

どこに数学ネタが出ている？

>>956
同一性って同値関係ですらなかったんだ
斬新ですねｗ

斬新ですが何か？

>>875本人です。有用なレスたくさんついてビックリ。
やっぱり問題がヒットしたからかな？
男女は平等だ！などといって正当化するのもあるかと思ってたけど、
形式論理では文が示す意味・内容にはまったく関心ないから、
その例題は真であるべき。よって、>>872も真。
公理を示すほど厳密さを要しない（バカ程度で共有だ）からあえて示さず。
厳密にしたいときは勝手に宣言・定義してくれ。

＝についての同一性議論に行き着くと思ってたけど、そ進んでよかったと思います。

一応他には、
１．男性＝オス
２．女性＝メス
３．男性＝女性
の妥当性？（偽）

とか、
１．公明党＝政党
２．共産党＝政党
３．公明党＝共産党
の妥当性？（真）
とかストックしてあったんだけど。
>>887は（真）
>>884 ８２５は別の人です。
単なるコピペの編集ですが、妥当性の意味に誤解を与えてしまいました。

バカがバカに与えたエサにくいついて嬉しいかｗ

＞その例題は真であるべき。よって、>>872も真。
＞公理を示すほど厳密さを要しない（バカ程度で共有だ）からあえて示さず。
＞厳密にしたいときは勝手に宣言・定義してくれ。

バカすぎるｗ
「真であるべき」とか「厳密さを要さない」とか書いてて恥かしくないのか？ｗ
こんなもん議論もへったくれもねえだろうがｗ

>>965
通常の素の述語論理の公理とこの二つの公理から、
反射性も推移性も証明できるから、
当然＝は同値関係になるよ。
まったく何を言ってるんだか。ｗ

０．９９９・・・＝１に関する議論とかもそうだったが、
こういうのだと基本的知識を欠いているが故の単なる間違いが多くて、
住人のアホさかげんを示す以外の何もないスレになっちゃうな。
まあ、おかげで一般教養科目の論理学なんかも
まったく不要という訳ではないんだなということが分かった。

>>967
>形式論理では文が示す意味・内容にはまったく関心ないから、

日本語では男性・女性・動物などは名詞であって文とは言わない。
文が形式論理の命題に相当するなら「男性＝動物」の男性はどういう
命題なのか？
「男性は動物である」なら命題としても良いだろ。
「男性は動物だ」「男性はケモノよ」「男性は動物」はかろうじて
日本語の文として認められる。「春は曙」と同系だ。

>>972
自然言語の文が形式論理のどの命題に相当するかってのは論理学ではなく自然言語の意味論。
よってこのスレではスレ違い。みんなスルーした方がよくね？

「〜は〜」の論理式がどういう形か知りたければ↓このスレで聞けばよろし
意味論III
http://academy6.2ch.net/test/read.cgi/gengo/1167230363/l50

>>973
で、このスレでは何を語ればスレ違いでないのだ？

>>974
公理系、完全性／不完全性、normalization、cut消去定理、などなど
いくらでも出てきそうだけど

このスレのタイトルをよく読め。
バカだと分かる論理学ばかりレスするな。
それこそスレ違いだぞ。

>>976
日本語でおk

>>975
しかし、それらについて議論が成立するための、
基礎的な知識が不足している奴らが大部分だろ。
しかも、単に知らないだけならまだしも、
自分は論理学についてよく知っていると思い込んでいるから、
教えてやろうとしても聞こうともしない・・・。

１．まず数学版か哲学版か、安住の地を決める。
２．スレ流れの反省を踏まえれば、

【¬∃¬】バカにも分かる論理学【・∀・】２

論理式は誤解がないように
デフォルト公理は、バカ同士で了解できる程度
厳密に示したいきは初めに宣言・定義しておく

最低ラインは、ドモルガン既知。形式論理既知。
ところで、サルは入場禁止！絶対ダメ！！


【高高度注意！】天空の論理学【煽動注意！】

必要なら公理は示すように
論理式は誤解がないように
ここでは、公理系、完全性／不完全性、normalization、カット消去定理、などなど

思い込み・感情論なしで、マッタリいきましょい！
ところで、バカでもルールを守る大切さは心得ているよな？



の2つに分離。
>>973を取り入れたかったけど端的に示す文章が浮かばなかった。

では誰かスレ立てヨロ。

【¬∃¬】バカでも分かる論理学【・∀・】２

だったか。

>>969
それから、せっかく論理できるのにイチイチに熱くなってちゃもったいないよｗ

【¬∃¬】バカでも分かる論理学【・∀・】２

論理式は誤解がないように
デフォルト公理は、バカ同士で了解できる程度
厳密に示したいときは初めに宣言・定義しておく

最低ラインは、ドモルガン既知。形式論理必須。
ところで、サルは入場禁止！絶対ダメ！！

なおした。制限もこんなもんだろ。

論理学初心者向けスレ
論理学中級者向けスレ

分けて立ててほしい

論理学って言うのは、各々が意見を言い合って面白い分野ではないから、
こういうところで議論することの意義が乏しいかもしれないなあ。

初級と中級に分けるだって？　そんなのダメだよ。
バカに限って自分は最上級だと思い込んでたりするんだから。ｗ

中級者レベルのスレなら、数学板とかにあるから、
ここは初心者向けのスレのままでいいと思う

神の子、キングオブキングスの私にかかってきなさい！

ここは哲学板だよ。
論理学そのものじゃなく論理哲学を論じるところだね。
ウィトゲンシュタインのような天才ではなくバカにでも
わかる論理学とは何かを論じる場だろ。
バカにでも分かる論理哲学論考を語れ。
「語り得ぬことを語る」それがバカの証だ。

俺が宇宙の中に存在するということは
宇宙の外は存在するということなのだ

これで満足か？

>>988

バカってすげーしゃん。

>>989
「井の中の蛙、大海を知らず」とは言えり。
宇宙の果てから手を出してごらん、
その手の先までが宇宙となる。

>>984
単発質問・疑問と、専門用語を使った雑談。
特に上級者向けでは雑談・近状を得るには最適。匿名だし。
>>985
自分の専門・研究発表の前段階・自慢は上級スレで、
専門外、定時は下級スレでバカの相手。
バカ（無垢）の相手をしていると、そういう視点のアプローチもある
か（∃p）のサンプル程度になる。

バカといっても、論理に関心ある者はそれなりの知能があるが、
史記曰く、周りによって自分も鹿を馬と言わざるえないだけ。
こういう状況になっているのを馬鹿とよぶ。

分析系の専門バカほど始末に負えないものはない。
登ってもいないハシゴを捨てて気負っている暗愚に似たり。

まさに運知思想だよ。

次スレはどこだ！
口よりも手を動かせ！

>>1->>995
論理学は論理記号や自然演繹を知らなければダメだと信じる
白痴どもよ
氏ね

みんなバカが好きだね。

>>996
なかなかの洞察だったぞ。
また来いよ〜

パート２でるかな？

次はどこ？

このスレッドは１０００を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。