> > えーとですね、現代の論理学は言語を数式化できるんですよ
> > まぁそこら辺もフレーゲがどうとかいろいろあるんですけど、とりあえずこれでも読んでみたらどうですか？
> > http://www.amazon.co.jp/exec/obidos/ASIN/4782800118
> > ああ、それよりも、偉そうに知ったか全開で「正しくないよ」とか言っちゃうのはいかがなものですかね
> > 数学的帰納法って、帰納法って名前は付いててもあーたそれ演繹法ですから
> > えーと、んでそれ言っちゃえば貴殿の後の話は全部レス要らないですね
> > まぁそこら辺をじっくり考えてみてくださいよ
> > 本当、いやんなっちゃうなぁこういう人
> 数学的帰納法が演繹法なのに言及しなければいけないくらいの話だったの？(;´Д`)そりゃないだろ
> だからこそ単に何らかの正しいとか基準になるものを用意しなければ何も求められないという話だよこの演繹定理は

最初の前提が蓋然だとかの意味がわからないんだが
単に最初の前提がこうならこういう結論が出される、で終わりだと思うんだが
そこになんで価値を持ち込むんだ？

参考：2006/09/13(水)05時59分38秒