JPL (2005)34:217-226, こちらから入手可能。 本日話題になった論文。有名なBelnapの "Tonk" は、以下のようなものです。二座の論理結合子 Tonk は、 導入：任意の B について、Aから が導入可能 除去：から B が導出可能 Tonkは、ダメットの論理結合子の導…

参加者は4人、19時半から参加して22時まで。 "The logical basis of metaphysics" section 11、pp.256-258の"What is an introduction rule?". single-ended, pure, simple なruleにsheer, oblique (and direct)なrule、覚えられない。結局 We may according…

台風も去り、急に秋めいて来た。本日は出勤してから挨拶と各種事務処理。国外出張は、帰って来た後も頭が痛い。22時半に帰宅、夕食はベトナム風生春巻き。