##### Philosophy of Logic

Philosopher Dennis Bonnay on logical pluralism, the liar's paradox, and reflective equilibrium

Log in
Sign up

*What is the relationship between axioms and the real world? Why may proofs be more important for mathematics than the truth? How did computer science develop? These and other questions are answered by Assistant Professor in the Department of Philosophy, Paris Ouest University, Dennis Bonnay.
*

Formal logic which is the way in that mathematicians reflect upon what they do and try to describe their practice in mathematical ways. Sometimes formal logic is called metamathematics precisely because it is a systematic study of mathematics by mathematical means.

You could say that the central concept of mathematics is the notion of computation, of an algorithm, and so there is another branch of formal logic, which is a systematic study of algorithms. This is sort of a borderline between formal logic and the foundations of computer science, because indeed the foundations of computer science first developed as a branch of formal logic.

One of the things people nowadays are interested in is to try to unify mathematics, so to try to find a way to describe in a systematic manner all kinds of mathematical objects and structures that mathematicians use and all of the kinds of reasoning that we use.

By donating to Serious Science, you enable us to continue producing and sharing free, high-quality educational content and expand our collaborations with top experts and institutions.

Donate through Patreon
Impact
December 8, 2016

Philosopher Dennis Bonnay on logical pluralism, the liar's paradox, and reflective equilibrium

Watch

Impact
October 24, 2016

Historian and Philosopher of Logic Stephen Read on the history of paradoxes, semantic paradoxes, and its direc...

Watch

Impact
October 8, 2020

Professor of Philosophy of Science John Worrall on the scientific revolutions, falsifiability and what are the...

Watch