Inference Project Virtual Talk and Conversation, Inference: A Logical-Philosophical Perspective
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.