Vladislav Shubin: Formal Philosophy: An Introduction

Abstract:

The seminar will delve into formal philosophy, a prominent theme in philosophical study. We'll explore a fascinating philosophical endeavor—the use of logic and formal systems to construct robust arguments. I'll introduce classical syntactical arguments with a touch of historical background. Topics covered will be Fitch's paradox, Kripke's necessity of identity argument, Evans' argument against the existence of vague objects, Diodorus Cronus' master argument as well as Gödel's ontological proof.