•  2718
    Contrary to common misconceptions, today's logic is not devoid of existential import: the universalized conditional ∀ x [S→ P] implies its corresponding existentialized conjunction ∃ x [S & P], not in all cases, but in some. We characterize the proexamples by proving the Existential-Import Equivalence: The antecedent S of the universalized conditional alone determines whether the universalized conditional has existential import, i.e. whether it implies its corresponding existentialized conjuncti…Read more
  •  54
    Existential-import mathematics
    Bulletin of Symbolic Logic 21 (1): 1-14. 2015.
    First-order logic has limited existential import: the universalized conditional ∀x [S → P] implies its corresponding existentialized conjunction ∃x [S & P] in some but not all cases. We prove the Existential-Import Equivalence:∀x [S → P] implies ∃x [S & P] iff ∃x S is logically true.The antecedent S of the universalized conditional alone determines whether the universalized conditional has existential import: implies its corresponding existentialized conjunction.A predicate is a formula having o…Read more
  •  28
    The Tarskian Turn: Deflationism and Axiomatic Truth (review)
    History and Philosophy of Logic 35 (3): 308-313. 2014.
    This brief, largely expository book—hereafter TT—blends history and philosophy of logic with contemporary mathematical logic. Page 3 says it “is about the relation between formal theories of truth...