论文信息 - Existential-Import Mathematics - 字舞流文

Existential-Import Mathematics

Hassan Masoud | John Corcoran

[1] W. Parry. Quantification of the Predicate and Many-Sorted Logic , 1966 .

[2] Timothy Smiley,et al. Syllogism and quantification , 1962, Journal of Symbolic Logic.

[3] John Corcoran,et al. The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper , 2011 .

[4] John Corcoran,et al. Completeness of an ancient logic , 1972, Journal of Symbolic Logic.

[5] Neil Tennant,et al. Aristotle's Syllogistic and Core Logic , 2014 .

[6] John Corcoran,et al. Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions , 2015 .