Hassan Masoud

University of Alberta
Department of Philosophy
PhD, 2015
Areas of Specialization
Areas of Interest
•  30
The Tarskian Turn: Deflationism and Axiomatic Truth (review) with John Corcoran 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...
•  644
Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions with John Corcoran History and Philosophy of Logic 36 (1): 39-61. 2015.
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
•  46
Existential-Import Mathematics with John Corcoran Bulletin of Symbolic Logic 21 (1): 1-14. 2015.
First-order logic haslimitedexistential import: the universalized conditional ∀x[S(x) → P(x)] implies its corresponding existentialized conjunction ∃x[S(x) & P(x)] insome but not allcases. We prove theExistential-Import Equivalence:∀x[S(x) → P(x)] implies ∃x[S(x) & P(x)] iff ∃xS(x) is logically true.The antecedent S(x) of the universalized conditional alone determines whether the universalized conditionalhas existential import: implies its corresponding existentialized conjunction.Apredicateis a…Read more