Matthias Baaz: Towards a proof theory of analogical reasoning

Invitation to the Logic Seminar at the National University of Singapore

Date: Monday, 25 April 2016, 15:00 hrs

Room: S17#04-06, Department of Mathematics, NUS

Speaker: Matthias Baaz, Technische Universitaet Wien

Title: Towards a proof theory of analogical reasoning

URL: http://www.comp.nus.edu.sg/~fstephan/logicseminar.html

In this lecture we compare three types of analogies based on
generalizations and their instantiations:

1. Generalization w.r.t. to invariant parts of proofs, for example,
graphs of rule applications.
2. Generalization w.r.t. to an underlying meaning: Here proofs and
calculations are considered as trees of formal expressions.
We analyze the well-known calculation attributed to Euler
demonstrating that the 5th Fermat number is compound, i.e.,
that Fermat’s claim is false, that all Fermat numbers are primes.
3. Generalization w.r.t. to the premises of a proof: This type of
analogies is especially important for juridical reasoning.

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.