今週末の良かったこと。ゴールデンウィーク前半編
金子洋之『記号論理入門』をやっている*1。
ノートととりかえしがつくシャープペンシルで最初のページから順番にやっている。
第1章「形式化」。ここでは、日常につかわれている「ことば」からどのように論理の「形」を取り出すことが出来るのか、ということが書かれている。たぶん初歩の初歩でごく当たり前のことが書かれていて、知識がなくても「そりゃそうだろうよ」というが書かれているだけだ。これまでだったらスラーっと読み流してしまうところだけど、いまや僕はこの道を迷い迷い何回も行ったり来たりしているので、ここに一番大事なことが書かれていることがわかる。日常の中に論理がある。その前提を踏まえてからやっと論理学(形式言語、記号論理)が立ち上がるのだ。
この本の「まえがき」や序章で、
わたしたちは日々生活の中で、ただしい論証や推論をしている。そして間違った論証や推論についてはそれを見分けることができ、場合によってはその誤りを正すことさえしている。そしてそれをなにげなく、しかもなんの滞りもなくやっている。
論理学はその論証や推論という行為の、メカニズムの分析や評価を体系的に行う。しかも論理学は、予備的な知識や技能の一切を仮定せずに、裸一貫で始められるのだ。
と書かれている。僕はここに「公平」とか「公正」という言葉を思い浮かべた、と書いておく。
その最初の数十ページの基礎の思考が重要だった。
hysysk: 2022年のベスト数学
( 2022AC2022 断片集 - taizooo より)
gyazo.com
花粉症は先週あたりから急に症状が軽くなった。処方された薬の残りもあとちょっとになっていて、そろそろヒノキ花粉も終わる感じになってきた*2。
ということで、今週末は久々に土日両方走った。土曜日は川沿いのフラットを1時間半*3、日曜日は川沿いフラットから裏山を軽くやって2時間*4。先週は全然身体を動かせなかったのでそれから考えれば上出来だった。今日の脚の状態もまあまあ。ゴールデンウィークで走る時間が取れるかわからないけど来週末は裏山をたっぷりやりたい。
サッカーはあった。記すべきことなし。いや、ある。先制点のコンビネーションは素晴らしかった。だけれどもラッキーがなかった。ということにしておこう。まああんまりシリアスに考えなさんな。人生は続く。いつだって次の試合が一番大事。
ちなみに今日は通常出勤です。