はやしのブログいよいよ寒くなってきました。[日々]今年は例年よりとてもあたたかく、知らない人との会話など(こちらは日本にくらべると知らない人との会話というのがかくだんにおおく発生する)「今年はあったかいねえ」というのがおきまりのあいさつだったのですが、先週あたりからぐんぐん寒くなってきて、「北米の北のほうの冬」という観がつよまってきました。いうか今週寒すぎじゃないですか。はやしComment(0)愛と性/生と死の哲学[雑]ラップトップ内の文書を整理していたら、今年の冬学期にうけもっていた「愛と性/生と死をとおしてする哲学入門」の試験対策資料がでてきたのでおいときますね。いうか、この授業をやったの数年前のような気がしていたんだけど、今年のことだったのか......。はやしComment(0)ちょっといじわる[雑]初級論理学の試験のためにつくった問題集に「解答なし」が解答の問題をまぎれこませたところ、すごく出来のいい学生さんから「この問題ずーっと考えてるんだけどぜんぜん答えがでない。いう返信がきて、ちょっと(ほんとうに、ちょっと)「わるかったな」とはおもったんですが、でも、式の意味をかんがえれば答えがないことは明白な問題だし、そもそも、「解法を機械的に適用するのではなく、問題の意味をちゃんとみすえてとりくもうぜ」というメッセージをこめた問題だったので、まあしかたないですね。ちなみに、奥さんにこのことをはなしたら「なんで学部生にそんな問題だすの!」とおこられました。はやしComment(4)ものを書くにはエネルギーがいる。[気づき]数時間にわたり集中して執筆にはげんだあと鏡を見ると、眼は落ちくぼみ、あまつさえ頬がこけていたりするので、ものを書くのはエネルギーを消費するんだなあ、とあらためて思う。Revisited[雑]来週、ぼくが演習を担当している初級論理学の試験があるので、それに向けてのスタディ・ガイドを用意しているのですが、量化文(「すべての」とか「ある」が現れる文章ですね)が現れる議論の例をチャールズ・ラトウィッジ・ドッジソンの『記号論理』から採ろうと思ったら、同じ例を戸田山さんがすでに『論理学をつくる』でつかっているのを発見し「なんだよー」って感じです。あと、命題論理の健全性の(真理木にもとづいた)証明を『論理本』流に階層の概念をつかって書き下ろしたところ、「こんなん、初級論理学の受講生は誰も読まないよ」というものになってしまったので、結果、戸田山さんのやりかた(真理木の健全性を、真理木の経路の充足可能性=開放経路と真理木規則の真理保全性に帰着させる)を踏襲することになりそう。はやしComment(0)ある日のオフィスアワー[日々]ある日のオフィスアワーでの学生さんとの会話。はやしComment(0)ものぐさ[雑]ぼくには、ぼくほどものぐさな人間もそうそういるまい、という自負がある。毎日好きなだけ寝て、好きなこと(この「好きなこと」というのも、音楽を聞いたり映画を見たりという、負荷の低いものが望ましい)だけをして過ごせたらどんなにかいいだろうと思う。口笛で吹いていて、しかもそれをあまりに何食わぬ顔で軽快に吹いていたので思わず笑ってしまった。アクセスしている例があるようですが、もし紹介していただける場合、このページにリンクしてもらえるとありがたいです。提供できるということがありますし、そして、この文書を読むさい、執筆背景を知っておいてもらいたいということもあるので、おねがいします。この前、ぼくが今期担当している初級論理学の中間試験があったのですが、そのさい、けっこうな数の受講生の人から「中間試験に向けてのスタディ・ガイドがあるとうれしいんだけど」と言われたので、「おう、書くよ」とふたつ返事で引き受けたところ、このぐらいの話題だったらとりあえず何も参照せずとも書けるので(幸か不幸か)すらすらと筆が進んでしまい、「スタディ・ガイド」というよりも「教科書」に近いようなものができあがりました。そもそもスタディ・ガイドとして書きはじめたゆえ、ところどころ説明をはしょってる部分もあるかとは思いますが、あたうかぎり自己完結的に書いたつもりですし、演習問題も解答付きなので、「真理木の方法にもとづいた初級論理学を独習したい」という人にも有益かと思いますゆえ、ここに公開します。短期間(じっしつ二日)での執筆ゆえ、記述が至らなかったり演習問題が練られていなかったりといろいろ不満はありますが、お役に立てれば、そして、できうべくんばたのしんでいただければうれしいです。現在のところ命題論理の部分までだけですが、このあと、述語論理についても書く予定です(というか、おそらく書かざるをえないことになる)。余裕があれば「補遺」として完全性定理の(それなりに詳しい)証明や、さらに余裕があれば歴史的背景や進んだ話題についての註なども付け足したいと思っています。までお寄せくださるとありがたいです。最新記事いよいよ寒くなってきました。今日のひとこと愛と性/生と死の哲学ちょっといじわるものを書くにはエネルギーがいる。初級論理学のスタディ・ガイド今日のひとこと抽象的な夢ぼくの集中力のなさは異常。新学期が始まりました。