Invitation/ Convite- Colloquium Logicae @CLE-Unicamp

[Walter Alexandre Carnielli]

Carxs colegas e estudantes:

Convidamos a toda(o)s para nos acompanhar nos seminários virtuais do
CLE "Colloquium Logicae @CLE-Unicamp" , que faremos via Conferência
Web, uma plataforma nacional gratuita (aparentemente) bem melhor que
Zoom, SKype ou Google Meet.

O "Colloquium Logicae @CLE-Unicamp" agora faz parte do “Logic Supergroup”
https://logic.uconn.edu/supergroup/

Abraços,
Walter


=========================================
Colloquium Logicae @CLE-Unicamp

This is a virtual session of the Colloquium Logicae,
traditional conferences held the Centre for Logic,
Epistemology and the History of Science at Unicamp,
now linked to the “Logic Supergroup” organized by
the University of Connecticut Logic Group:
https://logic.uconn.edu/supergroup/


More information at https://seminarioscle.wordpress.com/

===========================================
Next talks:

"On some recent criticisms to the logics of evidence and truth "
Abilio Rodrigues
Department of Philosophy
UFMG Belo Horizonte, Brazil

Wednesday, May 20th, 2020, 14:00 São Paulo/Brasília time (2:00 PM,
GMT -3 hours)

Abstract:

The aim of this talk is to clarify some misunderstandings and to reply
to some criticisms that have been made on logics of evidence and truth
(\textit{LET}s) and the epistemic approach to paraconsistency.
Some new developments of \textit{LET}s will also be presented and
discussed.


=================================
"Remarks on a nice theorem of Monsieur Glivenko"
Itala M. L. Loffredo D' Ottaviano
Department of Philosophy and
Centre for Logic, Epistemology and the History of Science
University of Campinas –UNICAMP at Campinas, SP, Brazil

Wednesday, June 17th, 2020, 14:00 São Paulo/Brasília time (2:00
PM, GMT -3 hours)

Abstract:

In this talk I will discuss some less known historical and conceptual
points behind the famous double-translation theorem of Valery
Ivanovich Glivenko.

==================================================
"Logics of Formal Inconsistency and a solution to the problem of replacement"

Marcelo E. Coniglio
Department of Philosophy and
Centre for Logic, Epistemology and the History of Science
University of Campinas –UNICAMP at Campinas, SP, Brazil

Wednesday, July 15th, 2020, 14:00 São Paulo/Brasília time (2:00 PM,
GMT -3 hours)


Abstract:

One of the most desired properties of a logical system is that it can
be algebraizable, in the sense that an algebraic counterpart of the
deductive machinery could be found. Since the inception of da Costa's
paraconsistent calculi, an algebraic equivalent for such systems have
been searched. It is known that these systems are not algebraizable
neither in the standard sense nor in the sense of Blok-Pigozzi The
same negative result holds for several systems of the hierarchy of
paraconsistent logics known as Logics of Formal Inconsistency (LFIs).
In this talk

I shall expound a solution for this problem, showing how LFIs can
satisfy the
replacement property. The weakest LFI satisfying replacement presented
is called RmbC, and I intend to clarify the role of the BALFI
(Boolean algebras with LFI operators) and neighborhood. semantics
for RmbC

=========================================
Please enter at

https://conferenciaweb.rnp.br/spaces/unicamp-cle-colloquium-logicae

and register under your name as "anonymous"