数学基礎論・数理論理学 その9
■ このスレッドは過去ログ倉庫に格納されています
0760132人目の素数さん
2011/10/26(水) 11:30:06.29> 本当は、ロジックのほうがいい
> 数理論理学だと、各種論理学厨が検索して、煽ってくるし、そもそも英語のロジックとは意味が違う。
>
> ロジックという分野を強調するためにも、ロジックというまだ手垢のついていない中性的な単語を使う
各種論理学厨が煽ってくるのはロジックのほうがずっとひどいだろ
ロジックは余りにも意味が広すぎるし十分にん手あかがついてるよ
誰かが書いてたけどヘーゲル弁証法みたく訳わからん哲学の話題までカバーしちゃうから哲学かぶれに荒らされそう
ヘーゲル論理学だのカント論理学だのな哲かぶれは数理論理学なら「数理」じゃないだろって追い返せる可能性あるじゃん
ロジックとかロジシャンって言っても大丈夫なのってmathematical logic(ian)って大前提が暗黙のうちにあるからじゃん
おれらがロジックとかロジシャンって会話の中で言うのは単にmathって言うのが面倒だから省いてるだけだと思う
それに哲学的論理学でもRestallのsubstructural logicみたくちゃんと数理的な内容ある本の話題ならここで議論したっていいと思われ
■ このスレッドは過去ログ倉庫に格納されています