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