Proof and styles of reasoning across times and cultures — Workshop at UNILOG 2022

Although the concept of proof is the heart of mathematics, science, logic and generally all rational human activity, there is no generally accepted definition of “what proof is” and what has it been in history and across different cultures. In different fields, there are distinct definitions or requirements as to what constitutes proof. The Workshop will attempt to examine these fundamental questions, not only at a purely logical level but also at their philosophical and historical aspects. It will also examine questions beyond the so-called “pure mathematics”, in the field of mathematical and physical sciences, as well as discussions of philosophical and methodological views on proof and styles of proof, as well as on the nature of mathematical objects.

Topics: Epistemology, Metaphilosophy, Metaphysics, Philosophy of Language, Philosophy of Mind, General Philosophy of Science, Logic and Philosophy of Logic, Philosophy of Cognitive Science, Philosophy of Computing and Information, Philosophy of Mathematics, Philosophy of Physical Science, Philosophy of Probability, Philosophy of Social Science, Philosophy of Science