論理的思考

数学とか

「健全且つ妥当」な推論の手続き

論理包含の法則とか眺めていたらふと、思ったことがあって。それは数学的(論理的)に証明が正しいことの定義ってどうなっているのだろうと。この手順を踏んだ場合のみ、前提から導き出した推論は正しいと言っていいって公理があるはずですが、そういえば知ら...
戦略

ボクシングを定義する

「クラウゼヴィッツ戦争論」という本をボクシング教室に参加して頂いだ方から頂きました。因みにクラウゼヴィッツは孫氏に並ぶ戦争論の権威なんだとか。クラウゼヴィッツはまず戦争を「我が意志を強要することである」と定義します。この定義は「戦いはコミュ...
よもやま話

常識は常識だから常識

トートロジーと循環論法トートロジートートロジーは同語反復。所謂「小泉構文」。KO率が高い(パワーがある)のはパワーがあるから。ディフェンスが良いのは目(ディフェンス)が良いから。天才(強い)だから強いみたいな。ボクシングジムでも頻繁に聞く言...
よもやま話

矛盾を克服して強くなる

矛盾、パラドックスの解決方法を考えることって楽しいですよね。例えば皆さんご存知「親殺しのパラドックス」。パラドックス僕の娘がタイムマシンに乗り、彼女が生まれる前の僕の時間へタイムスリップしたら、彼女は僕を殺すことはできるか?殺した時点で娘が...