■ - 基礎演習 I 論理学

平成25年度京都大学文学部・文学研究科・研究科横断Ｂタイプ集中講義「論理学上級I」（9月26日〜27日）

本授業は、歴史的正確さをある程度犠牲にし、現代的な論理学の立場からタルスキ・クリプキらの理論を再構成することを通じ、現代行われている古典論理上の公理的真理理論や非古典論理上の真理理論研究がいかなる哲学的アイディアに基づいており、どのような道が両者の間に通っているかを検討することを目的とする。