In this talk, Professor Paseau will describe some of his work on inference within mathematics and more generally. Inferences can be usefully divided into deductive or non-deductive. Formal logic studies deductive inference, the obvious question here being: which formal logic correctly captures it? His view, defended in his recent monograph One True Logic (Oxford UP, co-authored with Owen Griffiths), is that any such logic must be highly infinite. In this Inference Project event, he shall explain what this means and sketch some arguments for it.

The other side of the coin is non-deductive inference. This is much harder to capture precisely, but many interesting and important things can still be said about it. Professor Paseau will present some of his ideas about non-deductive reasoning in mathematics and explain why, contrary to current and traditional thinking, it can be a source not just of justified belief but also knowledge.

What links the two halves of the talk? The idea that inference, both deductive and non-deductive, is more permissive than often imagined.

Professor Gila Sher of the University of California, San Diego will be the conversant for this event. As a philosophy professor, her research interests center on foundational issues in epistemology, the philosophy of logic, and the theory of truth. Her books include: The Bounds of Logic: A Generalized Viewpoint (MIT, 1991), Epistemic Friction: An Essay on Knowledge, Truth, and Logic (Oxford, 2016), and Logical Consequence (Cambridge, 2022). She is currently working on a book tentatively titled Truth as a Human Value, which offers a reconception of the philosophy of truth in light of the post-truth crisis.

# Inference Project Virtual Talk and Conversation, Inference: A Logical-Philosophical Perspective

Event time:

Wednesday, September 28, 2022 - 3:00pm to 4:30pm

Location:

Online ()

Event description:

Open to:

undergraduate

Contact:

The Franke Program in Science and the Humanities