All Outputs (8)

Computing with Concepts, Computing with Numbers: Llull, Leibniz, & Boole (2010)
Conference Proceeding
Uckelman, S. L. (2010). Computing with Concepts, Computing with Numbers: Llull, Leibniz, & Boole. In F. Ferreira, B. Löwe, E. Mayordomo, & L. . M. Gomes (Eds.),

A Simple Semantics for Aristotelian Apodeictic Syllogistics (2010)
Conference Proceeding
Uckelman, S. L., & Johnston, S. (2010). A Simple Semantics for Aristotelian Apodeictic Syllogistics. In L. Beklemishev, & V. Goranko (Eds.),

John Buridan's Sophismata and Interval Temporal Semantics (2010)
Journal Article
Uckelman, S. L., & Johnston, S. (2010). John Buridan's Sophismata and Interval Temporal Semantics. Logical Analysis and History of Philosophy, 13, 133-147

Logic and the Condemnations of 1277 (2010)
Journal Article
Uckelman, S. L. (2010). Logic and the Condemnations of 1277. Journal of Philosophical Logic, 39, no. 2, 201-227

The Ontological Argument and Russell's Antinomy (2010)
Journal Article
Uckelman, S. L. (2010). The Ontological Argument and Russell's Antinomy. Logic and Logical Philosophy, 18, nos. 3-4, 309-312

Dynamic Logic (2010)
Book Chapter
Uckelman, S. L. (2010). Dynamic Logic. In J. Williamson, & F. Russo (Eds.), Key Terms in Logic. Continuum

Reasoning About the Trinity: A Modern Formalization of a Medieval System of Trinitarian Logic (2010)
Book Chapter
Uckelman, S. L. (2010). Reasoning About the Trinity: A Modern Formalization of a Medieval System of Trinitarian Logic. In A. Schumann (Ed.), Logic in Religious Discourse (216-239). Ontos Verlag

Jean Buridan (2010)
Book Chapter
Uckelman, S. L. (2010). Jean Buridan. In J. Williamson, & F. Russo (Eds.), Key Terms in Logic. Continuum