Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed query: SELECT sid FROM sessions WHERE sid = 'dboq26ckkc5cf373vtki36inm5' in /var/www/church/includes/database.mysql.inc on line 121
How to find a proof? Leibniz's anagogical analysis illuminated by Kolmogorov's interpretation of logical constants. | Gruppo di Logica e Geometria della Cognizione

# How to find a proof? Leibniz's anagogical analysis illuminated by Kolmogorov's interpretation of logical constants.

 Speaker: Wagner de Campos Sanz (Faculdade de Filosofia, Universidade Federal de Goias, Goiania, GO, Brazil) Quando: 09/10/2015 - 11:00 Dove: Dipartimento di Matematica e Fisica, UniversitÃ  Roma Tre Largo S. Leonardo Murialdo 1, Roma Palazzina C, III piano, Aula 311 Abstract It has long been a difficult task to explain what should be understood by the concept of analysis in the tradition starting with Pappus of Alexandria. Leibniz has himself devoted many lines to the subject. We here focus on a two pages written in which he exemplifies how the analysis of a mathematical proposition in need of proof should proceed. Although we have reasons to believe that his particular example is faulty, we can nonetheless extract a general description of what should be the process of anagogical analysis, provided we stick to some logical concepts Kolmogorov had advanced as an interpretation for logical constants. As we'll see, the concept of hypotheses (or problem) has an important role in the development of the process.

Warning: Can't find file: 'watchdog' (errno: 2) query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', 'Table &#039;./church/sessions&#039; is marked as crashed and last (automatic?) repair failed\nquery: SELECT sid FROM sessions WHERE sid = &#039;dboq26ckkc5cf373vtki36inm5&#039; in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/632', '', '3.236.100.210', 1725975650) in /var/www/church/includes/database.mysql.inc on line 121