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

>>41
様相論理なんてもんに論理という文字を使うのが間違い

>>42
いや、別に君に反論する意図はなかったんだけど

>>44
では何と呼ぼうか

>>46
論理モドキ

>>47
すまん、訊いた俺が馬鹿だった

>>34
ありがとう。こういう感じのを待ってた。（論理学に限らないけど）「入門書」と銘打ってあっても、著者の好みが色濃く反映されるのはよくあるけど、これって中立的に書かれてる方だと思う？

>>48
様相論理は無能
ベイズ確率と公理的集合論に基づく論理学で
可能性や必然性は完全に定量可能

>>45
そうか、ごめん。

>>50
「数Ａをやれ」ってアドバイスはありがたいけど、論理講義なら別のスレでやってくれないかな？
このスレの主旨に沿うなら、「数Ａをやったら、次はこれを読め」みたいな感じで書き込んでほしいんだけど。

>>52
数学Aやったら松坂の「集合と位相」

>>53
なんか、「数学のための数学」っぽくない？ 日常と乖離しすぎているようなものは、主旨と違うんだけど。

>>54
集合と集合族を踏まえない全ての論理学は無意味
これがラッセル、フレーゲ、ホワイトヘッドの成果

つまり？
集合論を身につけなければ論理学のスタートラインに立ったとは言えない

マグロウヒル大学演習
現代論理学(I)　(II)
http://ssl.ohmsha.co.jp/cgi-bin/menu.cgi?ISBN=4-274-13032-0
IIは絶版かな
誤謬論とか面白いのに

位相は数学の為の数学だからやらんでいいよ

>>58
位相を知れば論理記号や規則を弄っても永遠にわからない事がたくさんある事を理解できる
これがわからないヤツは論理記号や規則で何か意味がある事を結論出来るとか勘違いする

いっくらそんな知識を詰め込んだって
肝心の脳みそが粗雑では仕方なかろう

>>1は「学び方」を知りたいだけなのだなw

位相をやらねーヤツほど無限はナゾだとか実数はナゾだとか糖質な事を言いながら死ぬ
そもそも論理学はそのような問題を決定する能力を単独では持たない

どうかなぁ
結局は論理によって規約を決めるしかないのでは？

>>62
直接問題解決は出来なくとも、
1が数学をどこまでやるかの判断を助ける道具にはなるだろう。

って事で>>1は1から10まで人に聞いてないでとりあえず論理学やりなさいな。

>>57
ありがとう。これはノーチェックだった。参考になる。

>>64
漠然とではあるが、一応自分で考えてるやり方（と言っていいほどのものなのかはわからないけど）はあるんだけど。
あと、論理学に限らずだけど、その手の「とりあえずやれ」みたいな回答って、初心者にとっては一番役に立たないよね。
具体的にこうしろって言えないなら、アドバイス以下というか「そんなものやめろ」とでも言ってる方がまだマシだよ。

>>66
具体的な著書や書名のレスはすでについている。
具体的≠1から10まで、手取り足取り

>>66
自分で考えているやり方、それが一番いいよ。
今の貴方の能力に合いやすい。

>>67
「ついている」ってことは、君自身はあげてないの？（IDが確認できないから、ちょっとわかんないんだけど）
俺が批判したのは、具体例を挙げずに「とりあえずやれ」みたいなことを言う奴なんだけど。

>>69
要はやりたくないと。

直観主義論理のHeyting代数による意味論とかやるなら位相空間は知っといたほうがいいだろうが
そんな話ではないな

>>71
だいたい糖質のレス見てると
無限とか連続は論理で扱えないから論理学は未発達！われこそが新理論開発した！
とか言い出してるのが多いぞ
位相をちょっとでも知ってれば
論理学でできる事とできない事が見えてくる
やりがちなのは全ての知的問題を論理学で解決出来るとかいう妄想を抱くこと

集合と論理だけでは最も簡単な日常数学すらなんの判断も行えない

知的問題を解くことを目的とするならば
論理学というのはナベや包丁を買ってきて使い方を覚えるレベルに過ぎないんだよ

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

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

だいたいの糖質は、ナベを覗いても料理は入ってないから、人類は料理を作れないとか言い出すんだよ

ナベ=集合
包丁=論理
塩=位相

このくらいの貢献度

>>74
お前正しいんだがスレ違いなのよw

集合、論理、位相をナベ、包丁、塩と置き換えても……

>>76
料理作りたい！って言ってるヤツがアムウェイの鍋とか買い込んでも
決して自炊するようにはならない

誰もアムウェイの鍋なんて薦めてないでしょ
一人相撲で一人勝ち誇る
端から見てたら馬鹿みたい

ブラ「いいか、野球で勝ちたかったら徹底的に素振りと走り込みをするんだ！」
1「あのー、その前に野球ってどんなルールなんですか？」

こういうこと。

>>77
お前がわけのわからんレスをすると数学の素晴らしさが貶められるじゃん

>>69
計算処理などの技術的な分野の勉強は基本的に自分で考えて手を動かして勉強するしかないから。
大学の論理学でも、演習量ば課題学習だけでは足りないので本も独習して頂戴、と講師に言われたなあ。

論理学の学び方を知りたいのか
論理学を学びたいのか
論理的思考を身につけたいのか

>>82
論理的思考を身につけるために、論理学を学びたいので、論理学の学び方を知りたい。

>>75
>>78
>>79
一応、主旨に沿った書き込みもしてくれてはいるんだけど、そうでない書き込みの方が圧倒的に多いので、そこは自重してほしいところ。

論理学以前の問題アリ

いいたいこと→「観念」
如何に表現するか？　　その順序→「観念連合」〔思路とも言う）

これ哲学の最低条件　　しかる後→「思考内容」

思路も思考内容もシッカリしない哲学徒アリ

>>83
論理的思考は論理的に思考する事によってのみ身につく。
論理学そのものを学ぶ必要はない。

とにかく>>16で何冊かあげられているから、これらを読めばいいんじゃないの
新書なら読み終えるのに一週間もかからないんだし、早く行動に移すべきだね。

論理学をやれば>>86がトートロジーで情報量ゼロだということが、よく分かるよ

まず、論理思考の「思考プロセス（演繹法、帰納法）」を知り、論理思考の、
長所と欠点を理解することである。
論理思考（主に数理論理学）と対極にあるのが、明証的な直観を基底とした現象学的思考
である。　西洋で論理的思考と現象学的思考が、学問として確立するのは、デカルトからであり、
スピノザ、ロック、カント、ヘ−ゲル、フッサ−ル等により、学問として体系化されて行く。

西洋近代哲学の基底となっているのは、ヘ−ゲル、デカルト、サルトルその他近代哲学者よる、まず、明証的な
「命題」を、現象学的な直観思考により創出し、その命題に対して論理思考を実践している。この様に直観思考（現象学）と、
論理思考がどのように組み合わされているのかを知る事が重要であると思う。

いやいや、論理的思考の下地ができていないのに論理学を学ぶのは、
まだ日本語の覚束ない幼児が日本語文法を学ぶのと同じようなものだよ
日常で役立つ範囲の論理なんて、日常会話と読書と数学の勉強だけで自然と身に付くものだ

たしかに有意味がーと蘊蓄かたむけてる某君は
言ってることがそれほど論理的ではない

1が下地が全く出来てないかどうか俺には分からない
日常生活は出来てるだろうし
一度、文法学んで自分の日本語見直すのもいいじゃない

>>82
日常生活でインターネッツを使う為に
パソコンやWWWのしくみから学ぶくらい遠回りだが。

>>83
誰？

↑ 85だった。訂正。

>>86
では「論理的に思考する」とは、具体的にどういうこと？

>>89
うん、自分の見解を述べてくれるのは一向に構わないんだけど、では理解して知るためには、この教科書を読めばいいとか、具体的に言ってくれないかな？

>>90
一口に「読書」といっても幅広いけど、具体的にどういう本が対象なの？
あと数学も、高校までに限ったとしてもいくつか分野があるよね。具体的にどの分野（あるいは全て？）が論理的思考に役立つの？

システムの隙を無くすときに、気づきに頼るんじゃなくて、論理学的に論理立てて穴を無くしていくことは可能？
例えば東日本大震災前に、その僅かの兆候も感じ取れない状況で、本能的な気づきからの、引っ張り出した後付けの論理性で耐震補強や危機管理体制の穴を潰すんじゃなくて
ある論理学的手法に基づいて、その兆候も感じ取れない対策を自然に導出し、危機対策の穴を無くすと言うような使い方がしたいんだけど

>>97
89ではないが、どの書籍が適しているかは貴方の能力に依存するのだが。

＞一口に「読書」といっても幅広いけど、具体的にどういう本が対象なの？
なんだろうねえ、小中学生で評論文や哲学書を好む子は少なそうだし…
何でもいいんじゃないかな
やるべき数学の分野も、身の丈に合っていれば何でもいい

>>100
まず「能力の判定の仕方」について定義しないと、すれ違ったまま話を続けることになってしまう気がするのだが。
まず能力の判定の仕方と、判定して出たレベル別に妥当な本として、どんなものが当てはまるのか教えてくれる？

アドバイスをくれた人に対して駄目出しするスレと化してるな。

>>99
一部は可能。

>>103
いや、もちろんアドバイスをくれたこと自体には感謝してるよ。
でもそのことと、アドバイスの内容が妥当かは別の話だろ？ そのことに対して、疑問を発したりするのはダメなわけ？

>>102
今までに挙げられた本全部に当たってみて自分で見出せ
投げやりに聞こえるかもしれんが、それしか言えることはないよ
（それくらい自分でもわかってるんだろう？　どうしてそう高圧的な態度に出るのか解せない）

「論理的思考を身につけるにはどうしたらいいか」←この手の話題で必ずといっていいほどあがるのが、「読書」と「数学」だが、その内容について深く触れられることは（自分が見てきた範囲では）あまりないような気がする。
そこでよければ、「論理的思考を身につける」のに役立つ読書と数学の、具体的な内容について考えを聞かせてほしい。

>>1は何歳なんだい？

まず数学についてだが、これは比較的範囲が絞りやすい気はする。

中学数学
高校数学（�T,Ａ,�U,Ｂ,�V,Ｃ）

本当は全部やればいい（やるべきな）のかもしれないが、感覚レベルでも、論理的思考と直接関わってそうな分野と、あまり関係のなさそうな分野がある気がする。
具体的にはどの分野が、論理的思考に役立つと思うか、意見を聞かせてほしい。

>>106
そうだね。最終的には自分で判断するしかないし、結果も自己責任だしね。
高圧的に感じられたら申し訳ないんだけど、2chの書き込み歴が浅くてどんな風に書き込めばいいのかよくわかってないんだよね。
意見を聞くなら、当然敬語で行くべきかとは思ったんだけど、今まで閲覧してきた感じだと、2chで敬語というのはあまり一般的ではないようだし、「こんな感じかなー？」と思って書き込んでたら、自分でもわけわかんない口調（？）になってて。
高圧的だというなら、すぐに敬語にしてもいいんだけど。（敬語にしたから、高圧的でなくなるというわけでは、もちろんないが）

>>108
20代後半。

敬語を使うかどうかという問題ではないな。
敬語で同じ内容を書けば慇懃無礼と受けとられるだろう。

ステップ1 日常レベル
なんとなくなら論理的な感じがどういうことなのか分かるんだけど、具体的には分からないなぁ

ステップ2 論理学レベル
論理学は論理的と非論理的の区別をつけるための「形式」を教えてくれるのか！すごい！

ステップ3 心理学レベル
でも現実では論理学の形式的な判断をしてる人って少ないよね。
そっか、進化論から考えれば適応度の高い判断が優先されるからなのか！

ステップ4 物理レベル
その判断は、脳内のどういう神経プロセスによって実現されてるんだろう？あ！論理法則は神経プロセスの物理法則に還元できるのか！


論理的といったっていろんなレベルのアプローチがあるからな

で、おそらく1はステップ2のレベルのことを知りたいんだろう。
ならばこのスレであげられている当該文献を早く読め。話はそれからだ。

（109の続きで）
読書は数学より範囲が広いし、レベルというのも数学に比べれば算出しずらいとは思うのだが、どのようなレベル分けがあって、さらにレベルごとにはどんな本が該当するのだろうか。
個人的に思うのは、中学、高校、大学、社会人といった感じ（これも、一見わかりやすいようで、実はわかりにくい分類だとは思うのだが）のレベル分け。
さらに内容としては、中学、高校なら新書で、大学以上は（経済学、法律など）各分野の専門書などもちょいちょい読んでみる、みたいな感じなのだが。

>>114
>>115
ありがとう。まさにそういう感じ。一応、優先順位の高そうなものを、いくつか絞り込んではいる。

>>109
数学Aの集合と論理

論理学は一人で孤独に学ぶものだ

>>50
そもそも可能世界意味論とか集合論の中にモデル作ってるんだから、集合論で記述できるといえばその通り
その意味ではベイズ確率も集合論で記述できるから無能
公理的集合論も可算集合のモデルが作れるのだから、非可算無限集合を扱う集合論も無能、可算集合までで十分

可能世界意味論が無能である理由が「集合論で記述できるから」とは読み取れないし、
十分以上の表現力を持つから集合論は無能である、という主張も理解し難い。

>>119
様相論理が無能なのは
数学的構造が劣っているから
可能性や必然性に定量性がなく、比較や決定が全く行えないから
やるまでもなく自明なこと以外何も新しい結論が生まれない

ベイズ確率は詳細な定量性により結論を決定する力を持つ

運知思想なんじゃろ？

>>121
確率をどう使うのか分からない
確率1はalmost surelyであって必然性より弱い

>>123
必然性より弱い？
日本語として意味不明

様相論理には
「どちらの可能性が高いのか」
という話題を扱う能力が全く無い
通常の論理学とベイズ確率を用いるとこれが出来る

ベイズは急に人気出たよな。
きっかけは何だろう

ランダムに選んだ実数は必然的に無理数か

0, 1の無限列に1が現れるのは必然か

>>126
アウトカムだ
実際の認知科学上の問題を解決して結果を出したから使われる

http://www.kurims.kyoto-u.ac.jp/~cs/lecture2009/lecture09ModelChecking.pdf

初学者を小学生と考えると
出口汪の論理エンジンが興味深い
最初は物語の順番を組み合わせたりするくらいだが

http://www.amazon.co.jp/dp/4921211396/
論理エンジン小学生版1年生―どっかい・さくぶんトレーニング [単行本]

>>124
条件が強い・弱いという言い方を知らないのか

https://www.jstage.jst.go.jp/article/kisoron1954/14/4/14_4_157/_pdf

>>132
0点

確率1より確かなものは無い

>>130 >>133
応用されてないよ
誰が持ってんの？
売り出しても怪しげな役立たずと思われて終わり
推論規則を書き出しただけの話であって
クリプキとは全く関係ないと気づかないのか？

>>135
http://en.wikipedia.org/wiki/Almost_surely

>>137
確率1って書いてあんじゃん
バカなの？

測度0の除外集合って言われてもわからんのかこの人
以前、ルベーグ積分にお詳しそうな発言をしていたと思ったが、記憶違いか

>>139
その意味では確率1より小さいんだが？
バカなのか？

？
何が確率1より小さいんだ？

もとの発言はこれ
痴呆症？

135 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/04/25(木) 20:56:43.12 0
確率1より確かなものは無い

>>141
お前の貼ったやつのタイトルだよ

だから　何が　確率1より小さいんだ？
はっきり言えよ

>>144
>>139

確率は1だがなw

何故頑なに明言するのを避けるのか、理解に苦しむ

>>147
お前がデタラメ晒して逃げてんだよ
なにが確率1より確からしいのか明記してみろ

＞確率1より確からしい
いい加減人違いはやめてほしいが、「必然性」のことか？

で、何が確率1より小さいの？　まさか「必然性」が？ｗ

>>149
俺にレスつけて来たのはお前な

135 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/04/25(木) 20:56:43.12 0
確率1より確かなものは無い

137 名前:考える名無しさん [sage] :2013/04/26(金) 13:49:01.52 0
>>135
http://en.wikipedia.org/wiki/Almost_surely


逃げるつもりか？

これは確率1より大きいという反論のつもりなわけだ
恥ずかしいなぁ？

137 名前:考える名無しさん [sage] :2013/04/26(金) 13:49:01.52 0
>>135
http://en.wikipedia.org/wiki/Almost_surely

最初は煽るつもりでなく、本当に意味がわからないから訊いたんだけどね…

「必然性は確率1より小さい」
これがブラックボックスの主張ということでいいのかな
まだ明言を避けるのであれば、手前勝手にこう理解するがよろしいか？

>>152
>>151

確率1より大きいなんてあるわけ無いだろ？
低学歴すぎだよ

偶然と必然は条件付き確率であらわす
確率の大きさが1かどうかとか言ってる時点でマトモじゃない

集合論測度論確率論情報理論
これらと結びつく事に失敗した様相論理には未来は無いよ