初学者向け論理学の学び方

このエントリーをはてなブックマークに追加
50非因果的ブラックボックス ◆nyDbrW8/YE
>>48
様相論理は無能
ベイズ確率と公理的集合論に基づく論理学で
可能性や必然性は完全に定量可能
51考える名無しさん:2013/04/13(土) 06:28:59.35 0
>>45
そうか、ごめん。
52考える名無しさん:2013/04/13(土) 06:34:11.47 0
>>50
「数Aをやれ」ってアドバイスはありがたいけど、論理講義なら別のスレでやってくれないかな?
このスレの主旨に沿うなら、「数Aをやったら、次はこれを読め」みたいな感じで書き込んでほしいんだけど。
53非因果的ブラックボックス ◆nyDbrW8/YE :2013/04/13(土) 06:35:00.13 0
>>52
数学Aやったら松坂の「集合と位相」
54考える名無しさん:2013/04/13(土) 06:52:59.02 0
>>53
なんか、「数学のための数学」っぽくない? 日常と乖離しすぎているようなものは、主旨と違うんだけど。
55非因果的ブラックボックス ◆nyDbrW8/YE :2013/04/13(土) 06:59:11.03 0
>>54
集合と集合族を踏まえない全ての論理学は無意味
これがラッセル、フレーゲ、ホワイトヘッドの成果
56非因果的ブラックボックス ◆nyDbrW8/YE :2013/04/13(土) 07:00:22.47 0
つまり?
集合論を身につけなければ論理学のスタートラインに立ったとは言えない
57考える名無しさん:2013/04/13(土) 11:51:32.87 0
マグロウヒル大学演習
現代論理学(I) (II)
http://ssl.ohmsha.co.jp/cgi-bin/menu.cgi?ISBN=4-274-13032-0
IIは絶版かな
誤謬論とか面白いのに
58考える名無しさん:2013/04/13(土) 12:08:27.23 0
位相は数学の為の数学だからやらんでいいよ
59非因果的ブラックボックス ◆nyDbrW8/YE :2013/04/13(土) 14:54:28.90 0
>>58
位相を知れば論理記号や規則を弄っても永遠にわからない事がたくさんある事を理解できる
これがわからないヤツは論理記号や規則で何か意味がある事を結論出来るとか勘違いする
60考える名無しさん:2013/04/13(土) 15:00:13.97 0
いっくらそんな知識を詰め込んだって
肝心の脳みそが粗雑では仕方なかろう
61考える名無しさん:2013/04/13(土) 15:05:29.94 0
>>1は「学び方」を知りたいだけなのだなw
62非因果的ブラックボックス ◆nyDbrW8/YE :2013/04/13(土) 15:29:53.43 0
位相をやらねーヤツほど無限はナゾだとか実数はナゾだとか糖質な事を言いながら死ぬ
そもそも論理学はそのような問題を決定する能力を単独では持たない
63考える名無しさん:2013/04/13(土) 15:33:19.31 0
どうかなぁ
結局は論理によって規約を決めるしかないのでは?
64考える名無しさん:2013/04/13(土) 15:50:18.13 0
>>62
直接問題解決は出来なくとも、
1が数学をどこまでやるかの判断を助ける道具にはなるだろう。

って事で>>1は1から10まで人に聞いてないでとりあえず論理学やりなさいな。
65考える名無しさん:2013/04/13(土) 15:54:14.68 0
>>57
ありがとう。これはノーチェックだった。参考になる。
66考える名無しさん:2013/04/13(土) 16:06:23.78 0
>>64
漠然とではあるが、一応自分で考えてるやり方(と言っていいほどのものなのかはわからないけど)はあるんだけど。
あと、論理学に限らずだけど、その手の「とりあえずやれ」みたいな回答って、初心者にとっては一番役に立たないよね。
具体的にこうしろって言えないなら、アドバイス以下というか「そんなものやめろ」とでも言ってる方がまだマシだよ。
67考える名無しさん:2013/04/13(土) 16:08:53.17 0
>>66
具体的な著書や書名のレスはすでについている。
具体的≠1から10まで、手取り足取り
68考える名無しさん:2013/04/13(土) 16:12:22.85 0
>>66
自分で考えているやり方、それが一番いいよ。
今の貴方の能力に合いやすい。
69考える名無しさん:2013/04/13(土) 16:16:49.76 0
>>67
「ついている」ってことは、君自身はあげてないの?(IDが確認できないから、ちょっとわかんないんだけど)
俺が批判したのは、具体例を挙げずに「とりあえずやれ」みたいなことを言う奴なんだけど。
70考える名無しさん:2013/04/13(土) 17:02:11.47 0
>>69
要はやりたくないと。
71考える名無しさん:2013/04/13(土) 21:27:23.69 0
直観主義論理のHeyting代数による意味論とかやるなら位相空間は知っといたほうがいいだろうが
そんな話ではないな
72非因果的ブラックボックス ◆nyDbrW8/YE :2013/04/13(土) 21:44:41.02 0
>>71
だいたい糖質のレス見てると
無限とか連続は論理で扱えないから論理学は未発達!われこそが新理論開発した!
とか言い出してるのが多いぞ
位相をちょっとでも知ってれば
論理学でできる事とできない事が見えてくる
やりがちなのは全ての知的問題を論理学で解決出来るとかいう妄想を抱くこと

集合と論理だけでは最も簡単な日常数学すらなんの判断も行えない
73非因果的ブラックボックス ◆nyDbrW8/YE :2013/04/13(土) 21:47:22.83 0
知的問題を解くことを目的とするならば
論理学というのはナベや包丁を買ってきて使い方を覚えるレベルに過ぎないんだよ

それだけでは最も簡単な料理すら作れない

食材仕入れてないし
調理法も学んでない

だいたいの糖質は、ナベを覗いても料理は入ってないから、人類は料理を作れないとか言い出すんだよ
74非因果的ブラックボックス ◆nyDbrW8/YE :2013/04/13(土) 21:48:51.67 0
ナベ=集合
包丁=論理
塩=位相

このくらいの貢献度
75考える名無しさん:2013/04/13(土) 22:07:36.42 0
>>74
お前正しいんだがスレ違いなのよw
76考える名無しさん:2013/04/13(土) 22:07:43.16 0
集合、論理、位相をナベ、包丁、塩と置き換えても……
77非因果的ブラックボックス ◆nyDbrW8/YE :2013/04/13(土) 22:14:07.15 0
>>76
料理作りたい!って言ってるヤツがアムウェイの鍋とか買い込んでも
決して自炊するようにはならない