応用哲学会・非古典論理セミナー

Yuko Murakami @yukoim

出口応用哲学会事務局長挨拶＞G.プリーストによる非古典論理セミナー。第1日目の受講15人程度。

Yuko Murakami @yukoim

3時間×2セッション×3日。テキストは An Introduction to Non-Normal Logic, 2nd ed. http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780511389535

Yuko Murakami @yukoim

基本的に授業2時間日本人チューターの説明・演習1時間だが、初日に限ってはinteractive。初めての試みのため受講者のバックグラウンドを探る必要あり。

Yuko Murakami @yukoim

参加者は学生だけではなくて、かなりいろいろ。最初に自己紹介から。所属、専門、論理学のバックグラウンド（特にタブローシステムに親しんでいるか）、参加理由。Grahamは自己紹介の実演もしてくれた！

Yuko Murakami @yukoim

そうだハッシュタグつけよう　#nonclassicallogic1002kyoto

Yuko Murakami @yukoim

全くの初心者から相当やっている人までいろいろな参加者。#nonclassicallogic1002kyoto

Yuko Murakami @yukoim

古典論理の復習。論理学とは妥当性を定義するものである。正確な定義のために形式言語を使う。命題記号、結合子（∧∨￢⊃、量化子は後で）。意味論：真理値１（真）、0（偽）、附値関数、真理値表。古典論理の「if」の問題点。真理値表での妥当性の定義。ここまで10分。

Yuko Murakami @yukoim

真理値表の爆発が意味論タブローへの動機づけ。前提のすべてが真、結論が偽であるような状況を体系的に探す方法としてタブローを提示。教科書1.4.2, 1.4.4 #nonclassicallogic1002kyoto

Yuko Murakami @yukoim

タブローの説明。タブローが分岐する規則と分岐しない規則がある。分解済の式にマークをつけておくと楽かも。枝の閉じ方"failed branch"。すべての枝が閉じるiff反例がない。#nonclassicallogic1002kyoto

Yuko Murakami @yukoim

質問あり「どうしてifの否定からばらすのか」。もちろん最初に分岐させない方がいいから、だが、実際に証明を書く時に楽というコツと推論規則を明示的に分けて説明しなければならないわけだな。#nonclassicallogic1002kyoto

Yuko Murakami @yukoim

タブローのopen branchからの反例の構成。練習問題p.19 1に20分。#nonclassicallogic1002kyoto

Yuko Murakami @yukoim

演習時間にGrahamとちょっと雑談。Fitch styleもよいのだけど、教育的にはタブローツリーの方が反例を読み取りやすくてよい。#nonclassicallogic1002kyoto

Yuko Murakami @yukoim

演習を終えて一休み入り。日本語でのtwitter中継を教室のディスプレイに掲示することを思いつく。うまくいけば口頭で翻訳せずに済む分ちょっと時間節約になるかも #nonclassicallogic1002kyoto

Yuko Murakami @yukoim

ディスプレイ電源発見。#nonclassicallogic1002kyoto

Yuko Murakami @yukoim

C.I.ルイスが1920年代に考えた基本的様相論理とクリプキの可能世界意味論。"it can be the case that"の多義性は日本語でもあるのだろうか？　#nonclassicallogic1002kyoto

Yuko Murakami @yukoim

相対的可能性として到達可能性を説明。#nonclassicallogic1002kyoto

Yuko Murakami @yukoim

しまった日本語の説明の方が先走ってしまった

Yuko Murakami @yukoim

様相論理Kの意味論、真理条件、妥当性の定義。#nonclassicallogic1002kyoto

yoshinori ueeda @ueeda

@yukoim 実況thnx #nonclassicallogic1002kyoto

Yuko Murakami @yukoim

妥当でない推論の反論の例の後、妥当な推論の例として□pから□(p∨q)を導く推論 #nonclassicallogic1002kyoto

Yuko Murakami @yukoim

様相論理のタブロー。様相の直前の￢を除去するために□と◇のdualityは前提。#nonclassicallogic1002kyoto

Yuko Murakami @yukoim

DualityじゃなくてCommuteと表現している。#nonclassicallogic1002kyoto

Yuko Murakami @yukoim

Fitch styleのほうが全体の見取り図はよくわかるかもしれん。#nonclassicallogic1002kyoto

Yuko Murakami @yukoim

pp.34-35.　妥当な推論のタブロー証明と妥当でない者の判例探しを交互に。#nonclassicallogic1002kyoto

Yuko Murakami @yukoim

練習問題の時間30分。結局講義→演習のインターバル形式になっている。#nonclassicallogic1002kyoto