Skip to main content

Research Repository

Advanced Search

Dr Sara Uckelman's Outputs (71)

What Logical Consequence Could, Could Not, Should, and Should Not Be (2024)
Journal Article
Uckelman, S. (2024). What Logical Consequence Could, Could Not, Should, and Should Not Be. Aristotelian Society Supplementary Volume, 98(1), 255–275. https://doi.org/10.1093/arisup/akae011

In ‘Logical Consequence (Slight Return)’, Gillian Russell asks ‘What is logical consequence?’, a question which has vexed logicians since at least the twelfth century, when people first began to wonder what it meant for one sentence (or proposition)... Read More about What Logical Consequence Could, Could Not, Should, and Should Not Be.

Self-Regulated Sample Diversity in Large Language Models (2024)
Presentation / Conference Contribution
Liu, M., Frawley, J., Wyer, S., Shum, H. P. H., Uckelman, S. L., Black, S., & Willcocks, C. G. (2024). Self-Regulated Sample Diversity in Large Language Models. In Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics (1891–1899)

Lambert of Auxerre (2024)
Digital Artefact
Uckelman, S. (2024). Lambert of Auxerre. [Online Article]

Lambert of Auxerre (?) (Lambertus, Lambert, Lambert of Lagny, Lambert of Ligny) was a thirteenth century French logician whose treatise, Summa Lamberti, was one of the “Big Four” logic textbooks written between 1240 and 1270 which represent the culmi... Read More about Lambert of Auxerre.

Christine Ladd-Franklin (2023)
Book Chapter
Uckelman, S. L. (2023). Christine Ladd-Franklin. In A. L. Stone, & L. Moland (Eds.), The Oxford Handbook of American and British Women Philosophers in the Nineteenth Century. Oxford University Press. https://doi.org/10.1093/oxfordhb/9780197558898.013.16

Christine Ladd-Franklin was an American mathematician, logician, psychologist, and philosopher who studied at Vassar and Johns Hopkins and worked in institutions Germany and the United States. Although her scientific career spanned seemingly disparat... Read More about Christine Ladd-Franklin.

John Eliot's Logick Primer: A bilingual English-Massachusett logic textbook (2023)
Journal Article
Uckelman, S. L. (online). John Eliot's Logick Primer: A bilingual English-Massachusett logic textbook. History and Philosophy of Logic, 45(3), 278-301 . https://doi.org/10.1080/01445340.2023.2207244

In 1672 John Eliot, English Puritan educator and missionary to New England, published The Logick Primer: Some Logical Notions to initiate the INDIANS in the knowledge of the Rule of Reason; and to know how to make use thereof (Eliot 1672) The Logick... Read More about John Eliot's Logick Primer: A bilingual English-Massachusett logic textbook.

Fictional Modality and the Intensionality of Fictional Contexts (2022)
Journal Article
Uckelman, S. L. (2022). Fictional Modality and the Intensionality of Fictional Contexts. Australasian journal of logic, 19(4), 124-132. https://doi.org/10.26686/ajl.v19i4.7542

In [4], Kosterec claims to provide "model-theoretic proofs" of certain theses involving the normal modal operators and and the truth-in- ction (a la Lewis) operator F which he then goes on to show have coun- terexamples in Kripke models. He concludes... Read More about Fictional Modality and the Intensionality of Fictional Contexts.

Lorhard, Ramus, and Timpler and “The Birth of Ontology” (2022)
Journal Article
Øhrstrøm, P., & Uckelman, S. L. (2022). Lorhard, Ramus, and Timpler and “The Birth of Ontology”

This review article offers a discussion of some aspects of the historical and conceptual context when the term “ontology” (Lat. ontologia) was first introduced in the scholarly circles of the early 17th century. In particular, Barry Smith’s (2022) an... Read More about Lorhard, Ramus, and Timpler and “The Birth of Ontology”.

What Problem Did Ladd-Franklin (Think She) Solve(d)? (2021)
Journal Article
Uckelman, S. L. (2021). What Problem Did Ladd-Franklin (Think She) Solve(d)?. Notre Dame Journal of Formal Logic, 62(3), 527-552. https://doi.org/10.1215/00294527-2021-0026

Christine Ladd-Franklin is often hailed as a guiding star in the history of women in logic—not only did she study under C. S. Peirce and was one of the first women to receive a PhD from Johns Hopkins, she also, according to many modern commentators,... Read More about What Problem Did Ladd-Franklin (Think She) Solve(d)?.

Kinds of Arguments (2021)
Book Chapter
Uckelman, S. L. (2021). Kinds of Arguments. In R. Cross, & J. Paasch (Eds.), Routledge Companion to Medieval Philosophy. Routledge. https://doi.org/10.4324/9781315709604

The central methodology in western philosophy from the ancient Greeks is argumentation. Dialectical arguments are weaker than demonstrative ones, in that they lead to conclusions which are merely probable, rather than necessarily true; the weakness o... Read More about Kinds of Arguments.

Against the Theistic Multiverse (2020)
Journal Article
Uckelman, S. L. (2020). Against the Theistic Multiverse. Kriterion (Salzburg), 34(4), 1-14

We argue that Kraay’s “theistic multiverse” response to the objections to theism [11] is unsuccessful as it simply shifts the problems leveled against theism from the level of possible worlds to the level of possible universes. Furthermore, when we r... Read More about Against the Theistic Multiverse.

William of Sherwood on Necessity and Contingency (2020)
Presentation / Conference Contribution
Uckelman, S. L. (2020). William of Sherwood on Necessity and Contingency. In N. Olivetti, R. Verbrugge, S. Negri, & G. Sandu (Eds.), Advances in modal logic

Names Shakespeare Didn't Invent: Imogen, Olivia, and Viola Revisited (2018)
Journal Article
Uckelman, S. L. (2019). Names Shakespeare Didn't Invent: Imogen, Olivia, and Viola Revisited. Names: A Journal of Onomastics, 67(3), 153-159. https://doi.org/10.1080/00277738.2018.1490518

Just as Shakespeare’s plays left their indelible stamp on the English language, so too did his names influence the naming pool in England at the beginning of the 17th century and beyond, and certain popular modern names are often described as inventi... Read More about Names Shakespeare Didn't Invent: Imogen, Olivia, and Viola Revisited.

Normative and Descriptive Rationality: From Nature to Artifice and Back (2018)
Journal Article
Besold, T. R., & Uckelman, S. L. (2018). Normative and Descriptive Rationality: From Nature to Artifice and Back. Journal of Experimental and Theoretical Artificial Intelligence, 30(2), 331-344. https://doi.org/10.1080/0952813x.2018.1430860

Rationality plays a key role in both the study of human reasoning and Artificial Intelligence (AI). Certain notions of rationality have been adopted in AI as guides for the development of intelligent machines and these notions have been given a norma... Read More about Normative and Descriptive Rationality: From Nature to Artifice and Back.

Review of Ana María Mora-Márquez, The Thirteenth-Century Notion of Signification: The Discussions and Their Origin and Development. (Investigating Medieval Philosophy 10.) Leiden and Boston: Brill, 2015. Pp. 256. $142. ISBN: 978-900-429867-5 (2017)
Journal Article
Uckelman, S. L. (2017). Review of Ana María Mora-Márquez, The Thirteenth-Century Notion of Signification: The Discussions and Their Origin and Development. (Investigating Medieval Philosophy 10.) Leiden and Boston: Brill, 2015. Pp. 256. $142. ISBN: 978-900-429867-5. Speculum: A Journal of Medieval Studies, 92(4), 1223-1225. https://doi.org/10.1086/693663

In this slim, dense, and heavily text-based book, Mora-Márquez traces the development of the semantic notion of ‘signification’ (significatio) from its origins in two distinct Greek philosophical conceptions, semeion and symbolon, into a uniquely med... Read More about Review of Ana María Mora-Márquez, The Thirteenth-Century Notion of Signification: The Discussions and Their Origin and Development. (Investigating Medieval Philosophy 10.) Leiden and Boston: Brill, 2015. Pp. 256. $142. ISBN: 978-900-429867-5.

Medieval Logic (2017)
Book Chapter
Uckelman, S. L. (2017). Medieval Logic. In A. Malpass, & M. A. Marfori (Eds.), The history of philosophical and formal logic : from Aristotle to Tarski (71-99). Bloomsbury

Many people unfamiliar with the history of logic may think of the Middle Ages as a \Dark Ages" in logic, with little development beyond Aristotelian syllogistic and full of scholastic wrangling focused on uninteresting details. This could not be furt... Read More about Medieval Logic.

What's in a Name? History and Fantasy in Game of Thrones (2017)
Book Chapter
Uckelman, S. L., Murphey, S., & Percer, J. (2017). What's in a Name? History and Fantasy in Game of Thrones. In B. A. Pavlac (Ed.), Game of Thrones versus history : written in blood (241-250). Wiley

Nowhere is the border between history and fantasy more blurred than in people's perceptions of names. People often assume that names in modern fantasy stories are medieval in origin. Some fault for this assumption can be laid at the feet of the Fathe... Read More about What's in a Name? History and Fantasy in Game of Thrones.

Book Review: Jean Buridan, Treatise on Consequences. Translated with an introduction by Stephen Read, editorial introduction by Hubert Hubien. New York: Fordham University Press, 2015, pp. 185. ISBN 978-0-8232-5718-8 (hardback), $45 (2016)
Journal Article
Uckelman, S. L. (2016). Book Review: Jean Buridan, Treatise on Consequences. Translated with an introduction by Stephen Read, editorial introduction by Hubert Hubien. New York: Fordham University Press, 2015, pp. 185. ISBN 978-0-8232-5718-8 (hardback), $45. Studia Logica, 104(6), 1319-1323. https://doi.org/10.1007/s11225-016-9693-9

The Logic of Where and While in the 13th and 14th Centuries (2016)
Presentation / Conference Contribution
Uckelman, S. L. (2016). The Logic of Where and While in the 13th and 14th Centuries. In L. Beklemishev, S. Demri, & A. Máté (Eds.), Advances in modal logic (535-550)

Medieval analyses of molecular propositions include many non-truthfunctional connectives in addition to the standard modern binary connectives (conjunction, disjunction, and conditional). Two types of non-truthfunctional molecular propositions consid... Read More about The Logic of Where and While in the 13th and 14th Centuries.

William of Sherwood (2016)
Book Chapter
Uckelman, S. L. (2016). William of Sherwood. In E. N. Zalta (Ed.), Stanford Encyclopedia of Philosophy. (Summer)

Többnyelvű névtani lexikográfia: a Dictionary of Medieval Names from European Sources elnevezésű nemzetközi szótári projekt (2015)
Journal Article
Uckelman, S. L., & Slíz, M. (2015). Többnyelvű névtani lexikográfia: a Dictionary of Medieval Names from European Sources elnevezésű nemzetközi szótári projekt. Névtani Értesítõ, 37, 203-220

The paper discusses the international project entitled Dictionary of Medieval Names from European Sources, initiated by European researchers. The authors enumerate the reasons for and the aims of the establishment of this online onomasticon; its cont... Read More about Többnyelvű névtani lexikográfia: a Dictionary of Medieval Names from European Sources elnevezésű nemzetközi szótári projekt.

Against Truth-Conditional Theories of Meaning: Three Lessons from the Language(s) of Fiction (2015)
Journal Article
Uckelman, S. L., & Chan, P. (2016). Against Truth-Conditional Theories of Meaning: Three Lessons from the Language(s) of Fiction. Res Philosophica, 2(93), 1-19. https://doi.org/10.11612/resphil.2016.2.93.4

Fictional discourse and fictional languages provide useful test cases for theories of meaning. In this paper, we argue against truth-conditional accounts of meaning on the basis of problems posed by language(s) of fiction. It is well-known how fictio... Read More about Against Truth-Conditional Theories of Meaning: Three Lessons from the Language(s) of Fiction.

Book Review: Articulating Medieval Logic by Terence Parsons (2015)
Journal Article
Uckelman, S. L. (2016). Book Review: Articulating Medieval Logic by Terence Parsons. Philosophical Quarterly, 66(263), 432-435. https://doi.org/10.1093/pq/pqv061

Medieval logic can often ‘seem to consist of a variety of unsystematic and disparate remarks, and it is not at all obvious whether or how they fit together’ (p. 1). In this ambitious book, Terence Parsons seeks to demonstrate how ‘medieval logic can... Read More about Book Review: Articulating Medieval Logic by Terence Parsons.

The Logic of Categorematic and Syncategorematic Infinity (2015)
Journal Article
Uckelman, S. L. (2015). The Logic of Categorematic and Syncategorematic Infinity. Synthese, 192(8), 2361-2377. https://doi.org/10.1007/s11229-015-0670-z

The medieval distinction between categorematic and syncategorematic words is usually given as the distinction between words which have signification or meaning in isolation from other words (such as nouns, pronouns, verbs) and those which have signif... Read More about The Logic of Categorematic and Syncategorematic Infinity.

Sit Verum Obligationes and Counterfactual Reasoning (2015)
Journal Article
Uckelman, S. L. (2015). Sit Verum Obligationes and Counterfactual Reasoning. Vivarium: A Journal for Medieval and Early-Modern Philosophy and Intellectual Life, 53(1), 90-113. https://doi.org/10.1163/15685349-05301005

In the early 1980s, Paul V. Spade advanced the thesis that obligational reasoning was counterfactual reasoning, based upon his interpretation of the obligationes of Walter Burley, Richard Kilvington, and Roger Swyneshed. Eleonore Stump in a series of... Read More about Sit Verum Obligationes and Counterfactual Reasoning.

A Medieval Epistemic Puzzle (2014)
Book Chapter
Uckelman, S. L. (2014). A Medieval Epistemic Puzzle. In Z. Christoff, P. Galeazzi, N. Gierasimczuk, A. Marcoci, & S. Smets (Eds.), LIRa Yearbook (301-316). Institute for Logic, Language, and Computation

A Curious Dialogical Logic and Its Composition Problem (2014)
Journal Article
Uckelman, S. L., Alama, J., & Knoks, A. (2014). A Curious Dialogical Logic and Its Composition Problem. Journal of Philosophical Logic, 43(6), 1065-1100. https://doi.org/10.1007/s10992-013-9307-1

Dialogue semantics for logic are two-player logic games between a Proponent who puts forward a logical formula φ as valid or true and an Opponent who disputes this. An advantage of the dialogical approach is that it is a uniform framework from which... Read More about A Curious Dialogical Logic and Its Composition Problem.

Reasoning about Obligations in Obligationes: A Formal Approach (2014)
Presentation / Conference Contribution
Uckelman, S. L. (2014). Reasoning about Obligations in Obligationes: A Formal Approach. In R. Goré, B. Kooi, & A. Kurucz (Eds.), Advances in modal logic. Volume 10 (553-568)

Despite the appearance of `obligation' in their name, medieval obligational dispu- tations between an Opponent and a Respondent seem to many to be unrelated to deontic logic. However, given that some of the example disputations found in me- dieval te... Read More about Reasoning about Obligations in Obligationes: A Formal Approach.

A quantified temporal logic for ampliation and restriction (2013)
Journal Article
Uckelman, S. L. (2013). A quantified temporal logic for ampliation and restriction. Vivarium: A Journal for Medieval and Early-Modern Philosophy and Intellectual Life, 51(1-4), 485-510. https://doi.org/10.1163/15685349-12341259

Temporal logic as a modern discipline is separate from classical logic; it is seen as an addition or expansion of the more basic propositional and predicate logics. This approach is in contrast with logic in the Middle Ages, which was primarily inten... Read More about A quantified temporal logic for ampliation and restriction.

Medieval Disputationes de obligationibus as formal dialogue systems (2013)
Journal Article
Uckelman, S. L. (2013). Medieval Disputationes de obligationibus as formal dialogue systems. Argumentation, 27(2), 143-166

Formal dialogue systems model rule-based interaction between agents and as such have multiple applications in multi-agent systems and AI more generally. Their conceptual roots are in formal theories of natural argumentation, of which Hamblin’s formal... Read More about Medieval Disputationes de obligationibus as formal dialogue systems.

Finnegan's Wake: An Interpretation (2013)
Journal Article
Prior, A. N., & Uckelman, S. L. (2013). Finnegan's Wake: An Interpretation. Philosophical inquiries, 1(1), 211-214

Editor’s introduction The division between philosophical analysis and literary criticism, and indeed the division between philosophy and literature, can often be blurred in interesting ways. In this short, but fascinating, little piece, Arthur N. Pri... Read More about Finnegan's Wake: An Interpretation.

What is Dialogical About Dialogical Logic? (2012)
Book Chapter
Alama, J., & Uckelman, S. L. (2012). What is Dialogical About Dialogical Logic?. In H. Jales Ribeiro (Ed.), Inside Arguments: Logic and the Study of Argumentation (207-222). Cambridge Scholars Publication

Making Logic Explicit (2012)
Book Chapter
Uckelman, S. L. (2012). Making Logic Explicit. In J. Jans (Ed.), Humanities Perspectives (25-27). Tilburg University

The Ontological Argument (2011)
Book Chapter
Uckelman, S. L. (2011). The Ontological Argument. In M. Bruce, & S. Barbone (Eds.), Just the Argument: 100 of the Most Important Arguments in Western Philosophy (25-27). Wiley

A Dynamic Epistemic Logic Approach to Modeling Obligationes (2011)
Book Chapter
Uckelman, S. L. (2011). A Dynamic Epistemic Logic Approach to Modeling Obligationes. In D. Grossi, S. Minica, B. Rodenhäuser, & S. Smets (Eds.), LIRa Yearbook (147-172). Institute for Logic, Language, and Computation

Computing with Concepts, Computing with Numbers: Llull, Leibniz, & Boole (2010)
Presentation / Conference Contribution
Uckelman, S. L. (2010, December). Computing with Concepts, Computing with Numbers: Llull, Leibniz, & Boole. Presented at Programs, Proofs, Processes, Proceedings of the 6th Conference on Computability in Europe, 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010

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

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

Anselm's Logic of Agency (2009)
Journal Article
Uckelman, S. L. (2009). Anselm's Logic of Agency. Logical Analysis and History of Philosophy, 12, 248-268

Historical and conceptual foundations of diagrammatical ontology (2007)
Presentation / Conference Contribution
Øhrstrøm, P., Uckelman, S. L., & Schärfe, H. (2007, December). Historical and conceptual foundations of diagrammatical ontology. Presented at 15th International Conference on Conceptual Structures, ICCS 2007