The Slingshot Argument Philosophy 142—John MacFarlane March 28, 2011 Rules for We assume that the following rules are valid for the operator: - Proof calculus - Document - PDFSEARCH.IO

First Page	Meta Content
	The Slingshot Argument Philosophy 142—John MacFarlane March 28, 2011 Rules for We assume that the following rules are valid for the operator: Add to Reading List Document Date: 2011-03-28 19:49:51 Open Document File Size: 51,46 KB Share Result on Facebook Company Russell / / Person John MacFarlane / / SocialTag Model theory Quantification Proof theory Propositional calculus First-order logic Existential quantification Negation Logical equivalence Kurt Gödel Logic

The Slingshot Argument Philosophy 142—John MacFarlane March 28, 2011 Rules for We assume that the following rules are valid for the operator:Add to Reading List