"Inventing logical necessity" (Crispin Wright) (7)
遅れて参加、22時まで。参加者は5人。今回はp.203第二段落-204第一段落。
証明のessential stabilityと論理的必然性と事実性の関係について議論。証明の必然性を、それを記述する日常言語の言明が真性な事実的な言明かどうかという問題に還元する。
遅れて参加、22時まで。参加者は5人。今回はp.203第二段落-204第一段落。
証明のessential stabilityと論理的必然性と事実性の関係について議論。証明の必然性を、それを記述する日常言語の言明が真性な事実的な言明かどうかという問題に還元する。