Pure Inductive Logic

Thu, 07/03
17:00
Jeff Paris (Manchester) Logic Seminar Add to calendar L3
I shall give a non-technical survey of Pure Inductive Logic, a branch of Carnap's Inductive Logic which was anticipated early on in that subject but has only recently begun to be developed as an area of Mathematical Logic. My intention is to cover its origins and aims, and to pick out some of the key concepts which have emerged in the last decade or so.