Talks
Delivered by the Fapesp Representative
18h30 - 19h30
Monday – February 6th
Aula Magna 1
Lines of Funding by FAPESP
Federal University of Santa Catarina – UFSC, Brazil
CLE/University of Campinas
18h - 19h
Wednesday – February 7th
Newton da Costa on Non-Reflexive Logics and its Applications to the Foundations of Quantum Mechanics
Abstract
Newton da Costa has studied the foundations of quantum mechanics, and of quantum theories in general, since a long time ago. Motivated by Erwin Schrödinger, who sustained that the notion of identity would not be appliable to quantum objects, he developed a first-order system… read more
Theories of Truth, Rationality, and da Costa’s Quasi-Truth
Abstract
I will discuss some requirements for a theory of truth and discuss to what extent the leading theories of truth (the correspondence theory, the coherence theory, the pragmatic theory, and the deflationary theory) satisfy, or fail to satisfy, such requirements… read more
The History of Paraconsistent Logic
Abstract
In this talk I will review the history of paraconsistent logic, to see how it has taken us to where we are now… read more
National Research University High School of Economics, Moscow, Russia
18h - 19h
Monday – February 13th
The Variety of Logical Hylomorphism
Abstract
The aim of this talk is to systematize the variety of logical hylomorphism from the perspective of the dichotomy of substantial and dynamic formality. Substantial hylomorphism considers logic as a theory of higher order formal objects which turns their general properties into general laws of reasoning… read more
Abstract
In this talk I will discuss how on the one hand we can develop philosophical ideas inspired by paraconsitent logic and how on the other hand we can establish a solid philosophical basis for having meaningful constructions of paraconsistent systems… read more
Paraconsistent logic in Poland: A look beyond the discursive logic
Abstract
Stanisław Jaśkowski was a Polish mathematician, logician and philosopher. He is considered to be one of the first to propose a formal calculus of paraconsistent logic…. read more
Paraconsistent Probability and Uncertainty: How a Computer Should Reason about Evidence
Abstract
Evidence, probability, and logic are intrinsically related, and reasoning with evidence is a topic with higher interest not only for philosophy, but also for machine learning and AI. Evidence may be contradictory as well as incomplete, thus demanding a paracomplete and paraconsistent logic… read more