本日は、月曜日の授業となるため、休講です。

スリングショット論法の典型例は以下を参照して下さい。真理と解釈作者: ドナルド・デイヴィドソン,野本和幸,金子洋之,植木哲也,高橋要出版社/メーカー: 勁草書房発売日: 1991/05/01メディア: 単行本購入: 2人 クリック: 53回この商品を含むブログ (30件) を…

授業スライド こちらから 授業要旨 こちらから 宿題 なし

前期の復習 命題論理の論理記号の導入・除去規則 述語論理の論理記号の導入・除去規則 論理結合子の意味とは？ モデル論的意味論 証明論的意味論

後期から教室が変更になります: 変更前：文学部新館第4講義室 変更後：文学部新館第8演習室 前期は、最小述語論理という体系について、論理結合子の導入規則と除去規則を意味を考えずに紹介してきました。 授業第十五回目、後期初回の今回は、「論理結合子の…

ご迷惑をおかけしております。後期授業第一回は 10月8日（火） とします。

平成25年度京都大学文学部・文学研究科・研究科横断Ｂタイプ集中講義「論理学上級I」（9月26日〜27日） 本授業は、歴史的正確さをある程度犠牲にし、現代的な論理学の立場からタルスキ・クリプキらの理論を再構成することを通じ、現代行われている古典論理上…

補講日：8月19日（月） 場所：第一講義室 内容： 10:30-12:00 形式的自然数論Ｑ（第11回） 授業スライドこちらから 授業要約こちらから 13:30-15:00 2+2=4（第12回） 授業スライドこちらから 授業要約こちらから 15:30-17:00 原始再帰関数の表現可能性（第13…

夏期補講の時期です。今回は、三回分（第11回、12回、13回）の授業を行います。

授業スライド こちらから 授業要約・宿題 こちらから

授業第十回目、量化子 ∀の導入規則と∃の除去規則に付加されているeigenvariable条件についての復習です。この二つの制限が組み合わさって、∃x(x=0)⇒∀(x=0)のような望まれない命題の導出をどう防ぐのかを解説します。また、前回時間がなかったため、二つの量…

補講日：8月19日（月） 内容： 10:30-12:00 形式的自然数論Ｑ 13:30-15:00 2+2=4 15:30-17:00 原始再帰関数の表現可能性

授業スライド こちらから 授業要旨・宿題 こちらから

前回の復習 宿題の答え合わせ 述語論理:∃の導入と除去 宿題

授業第九回目、存在量化子 ∃の導入・除去規則についてです。∀の場合は導入規則にeigenvariable条件がありましたが、∃では除去規則に似たようなeigenvariable条件があり、∃xA の除去規則で Aを満たす自然数 x を選ぶ際の制約条件はAのみであることを表現して…

授業スライド こちらから 授業要旨・宿題 こちらから

前回の復習 宿題の答え合わせ 述語論理:∀の導入と除去 補講日について

授業第八回目、∀の導入・除去規則についてです。∀の導入規則には、eigenvariable条件という、非常にややこしい制限がついているので、注意が必要です。

量化子を導入したことによる哲学へのインパクトについては、以下の本を参考にしてください（名著です）。言語哲学大全1 論理と言語作者: 飯田隆出版社/メーカー: 勁草書房発売日: 1987/10/20メディア: 単行本購入: 7人 クリック: 37回この商品を含むブログ (…

授業スライド こちらから 授業要約･宿題 こちらから

前回の復習 宿題の答え合わせ 無限概念 量化子の導入 量化子のきまり

授業第七回目、本日から述語論理に入ります。本日は量化子∀との∃の導入の意図を説明します。数学では無限を扱いますが、無限は命題論理では分析しきれません。そこで、「無限」という概念をもっと分析し、たとえば「自然数は無限に存在する」から「5より大き…

授業スライド こちらから 授業要旨・宿題 こちらから

授業第六回目の今回は、最小命題論理の自然演繹、⇒, ∧と∨の導入規則・除去規則についての演習です。 前回の復習 宿題の答え合わせ 演習 自然演繹：⇒, ∧, ∨ の関係 宿題

6月18日は大学の創立記念日のためお休みです！ 特に補講日の指定もないようです。

授業スライド こちらから 授業要旨・宿題 こちらから

授業第五回目の今回は、メタの世界の「かつ」と「または」をシミュレートする、自然演繹の∧と∨の、導入規則・除去規則について紹介します。また、論理結合子⇒,∧と∨の導入規則と除去規則を持つ記号体系として、最小命題論理を定義します。 前回の復習 宿題の…

授業スライド こちらから 宿題 こちらから

授業第四回目の今回は、前回やった自然演繹の⇒の導入規則・除去規則・「きれいな証明」（正規な証明）に関する補足です。 前回終わらなかった後半部分と、否定に関する問題演習を行います。 前回の復習 ⇒の証明例 除去→導入の例外

申し訳ありませんが、本日と来週は休講です。なお、次回授業は以下の予定です： 次回授業 6月4日（火） 今年前期は、講師の都合上休講が多く、最大で二週間に一回程度休講になる可能性があります。その分の授業は補講期間にまとめて行う予定ですので、補講期…