SPLogiC

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 

University of Miami, USA

18h - 19h

Thursday – February 9th

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

City University of New York

18h - 19h

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 

Universidade Federal do Rio de Janeiro

18h - 19h

Tuesday – February 14th

Philosophical Paraconsistency

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

University of Łodz

18h - 19h

Tuesday – February 15th

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

CLE/University of Campinas

18h - 19h

Friday – February 17th

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