後期授業第十回目の今回は、古典論理のモデルの紹介を行います。前回演習で紹介したように、古典論理での証明は、排中律をアクロバチックに使う事が可能なため、大変複雑なものになります。では人はなぜ古典論理を使うかというと、そのモデルが非常に簡単で…

古典論理での証明に関する問題演習とします。問題は当日配布します。注：先週、宿題として、古典論理（直観主義論理＋排中律）で二重否定除去則などを証明しようという問題がでており、その答合わせにあたります。お時間がある方はどうぞ。

今回の内容 後期授業第八回目は、直観主義論理上で新たな推論規則として排中律を導入し、古典論理を定義します。 世間一般の数学では、直観主義論理では証明できない「排中律」という規則をよく使います。直観主義論理に新たに推論規則として排中律を付け加…

後期授業第六回目は、直観主義論理のモデルの話です。排中律など直観主義論理で証明できない命題が、直観主義論理で本当に証明できないことを証明するのは大変です。そこで今回は、証明できない命題の「反例モデル」を構成することによって証明不可能性を証…

（11月10日よりハイブリッド授業となります！！） 後期授業第五回は、新しい論理規則を受け入れるとはどういうことかという話をします。 つまり、最小論理に、新しい論理規則「矛盾律」を付加し、論理体系「直観主義論理」へと拡大します。この拡大は保存拡…

後期授業第4回目は、「論理結合子の意味とは何か」という哲学的論理学話のまとめとして、「証明の正規化」の話をします。また、その後、正規化の話を軸に、記号の書き換え体系が論理と呼ばれるための条件について考えたいと思います。具体的には、最小命題論…

後期第三回授業は、「論理結合子の意味とは何か」の続きで、「反転原理」（inversion principle）を取り上げます。 前回紹介したように、トンクは体系を自明化するという本質的な欠陥を持っていましたが、言語全体というグロ−バルなレベルでは、「保存拡大性…

後期授業第二回目の今回は、「論理結合子の条件」について、証明論的意味論の立場から考えてみたいと思います。 具体的には、意味の理論IIの素朴な解釈である素朴な推論主義「論理結合子の意味は導入規則と除去規則によって完全に定められる」が正しいかどう…

後期授業開講＠火曜日5限５講 本日の授業内容 前期は、最小述語論理という体系について、論理結合子の導入規則と除去規則を意味を考えずに紹介してきました。 後期授業の初回である今回は、「論理結合子の意味とは何か」について考えてみたいと思います。 こ…

前回、最小算術 Q の断片（大小関係に関する公理を除去したもの）の公理系を紹介し、これである程度数学を展開するための道具は揃いました。それでは、授業第十一回目の今回、この枠組みの中で、簡単な算数の証明がどこまで書けるか試してみましょう！ その…

補講第一回は8月1日（土）16時〜17時半の予定です。前回までで、最小述語論理の話は終了です。これである程度数学を展開するための道具は揃いました。それでは、授業第十一回目の今回、この枠組みの中で、簡単な算数の証明がどこまで書けるか試してみましょ…

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

本日の授業 授業第八回目の今回は、全称量化子 ∀ の導入・除去規則についてです。∀xP(x) は「前提なしで任意の x を選んできたとき P(x)が成立する」という意味ですが、その「前提なしで選ぶ」という要求を実現するため、∀ の導入規則には 「eigenvariable …

今週の授業予定 授業第七回目、命題論理はいっぺんおいて、今回から述語論理に入ります。量化子の初回は何故量化子が必要なのか、量化子∀との∃の導入の意図を説明します。 数学では無限を本質的に扱いますが、無限は命題論理の枠組みでは分析しきれません。…

今週6月23日（火）の授業は、講師都合のため休講です。 次回は6月30日（火）1630〜1800、無限概念の概念分析としての量化子の話を取り上げます。

授業内容 授業第六回目の今回は、最小命題論理の自然演繹、⇒, ∧と∨の導入規則・除去規則についての演習です。また、これまで論理結合子⇒, ∧, ∨ を学んできましたが、それらの間の相互関係について考えてみたいと思います。 前回の復習 宿題の答え合わせ 演習…

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

今回の授業は、⇒の導入規則／除去規則に関する問題演習です。 また、「きれいな証明」という概念を紹介します。これは、名前こそショボいですが、後期で「正規な証明」として再登場する、実は論理学で最も重要な概念の一つなのです。 前回の復習 宿題の答え…

授業第三回目は論理結合子⇒の自然演繹における導入規則・除去規則です。導入規則と除去規則は、論理結合子⇒の定義を与えるものであるため、合わせて論理的語彙の「定義」とはどういうものであるべきかの検討も行います。 また、前回出題の宿題の回答も説明し…

授業第二回目の今回は、帰納的定義を紹介します。また、その例として、形式言語における「自然数もどき」（自然数を表現する計算機内のコード）、項、命題などの帰納的定義を紹介します。 帰納的定義は、計算機上でメタの数学をシミュレートする際の基本的な…

授業第一回目、授業内容の概観とキーワード（メタと対象、統辞論と意味論）を説明します。授業日時 授業時間：5月12日（火）16：30〜18：00 授業内容 演習の説明（目的・進め方・成績評価の仕方・参考書） 論理とは何か（授業の内容・方針） キーワード 授業…

哲学(演習) ／科学哲学（演習）シラバス 論理学1（講義）（前期 火5）（矢田部俊介） 哲学(演習) （哲学専修 5141001） 科学哲学科学史（演習） （科学史科学哲学 8241005） 場所：ネット上授業開始：5月12日（火） 本授業はオンライン（PandAのZoom機能）で…

CAPE レクチャー 「論理学上級」 日時：3月15日（日） 13:00-15:00, 15:30-17:30 3月15日の中継はコチラ www.youtube.com3月15日の質問はコチラへ zoom.us配布資料はコチラから www.academia.edu テーマ：古典論理の推件計算と計算的内実 内容： 古典論理は…

CAPE レクチャー 「論理学上級」 3月14,15日に予定していた論理学上級Iは、新型肺炎の感染拡大防止の観点から、教室での講義を取りやめ、ウェブ配信のみに切り替えます。あわせて講義時間も変更し、両日とも 13:00-15:00, 15:30-17:30 の2コマとします。3月2…

授業のエクストラ回として、2月後半もしくは3月前半に、推件計算についての2日間WSを行います。 日程のアンケートを行うため、以下のアンケートに希望日をご記入ください。 doodle.com CAPE論理学セミナーとして開催することになります。 注意：２日間お選び…