Notiflux - Notes tagged with logicmatters
15

Tim button, loving the universe

Tim button, loving the universe
Deepa Deepa 3 days ago
← Six concerts, and a few CDsPosted onbyPeter Smith I was having coffee this morning with Thomas Forster, and we were talking — as you do — about theories with a universal set, and the claim that (a version of) Church’s Theory with a universal set is...
More details>>
Read on www.logicmatters.net
Tags: JustThinkAboutIt, logicmatters
4

Ifl2: the introductory chapters yet again

Ifl2: the introductory chapters yet again
Krishna Krishna 27 October, 2018
← The Smetana Quartet play Prokofiev and ShostakovichIFL2: Propositional truth trees →Posted onbyPeter Smith I’ve been again tidying the first tranche of chapters of the second edition of my Introduction to Formal Logic. This time, in particular, I’ve ...
More details>>
Read on www.logicmatters.net
Tags: JustThinkAboutIt, logicmatters
4

Ifl2: propositional truth trees

Ifl2: propositional truth trees
Ashwini Ashwini 27 October, 2018
← IFL2: the introductory chapters yet againPosted onbyPeter Smith [Brought to front] I have been re-revising the revisions of the chapters on propositional trees for the second edition of An Introduction to Formal Logic. So, after an introductory Inter...
More details>>
Read on www.logicmatters.net
Tags: JustThinkAboutIt, logicmatters