Correction: LeQ meets at 2pm GMT-5

[Shay Logan]

Dear Cheerful Logicians,

It's the part of your week you've been most looking forward to: the supergroup blast correction!

The Lógicos em Quarentena seminar being presented by Marcelo Finger will meet at 2pm GMT-5, not 6pm GMT-5. 

That's the only error I've been made aware of so far. Stay tuned for more!

Shay

[Walter Alexandre Carnielli]

Dear joyfull logicians,
At the risk of duplicating posts, let me send you this announcement
for a talk tomorrow,

best
Walter Carnielli
========================================

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/


NEXT TALK:

"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)


Permanent link to participate of the seminars:
https://conferenciaweb.rnp.br/spaces/unicamp-cle-colloquium-logicae
**Please enter as “anonymous” unless you have an RNP account

Abstract:

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

For past and future talks, please visit https://seminarioscle.wordpress.com/

[Walter Alexandre Carnielli]

Dear enthusiastic logicians and partisans of Logic:

On Wednesday July 15th Marcelo Coniglio will give a talk on how we
found a solution to the "problem of replacement" in paraconsistent
logic (with a little from our friend Isabelle), and what this may
represent for the applicability of the paraconsistent paradigm.
Details below.

========================================
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/

For past and future talks, please visit https://seminarioscle.wordpress.com/

NEXT TALK:


July 15th, 2020 (2:00 PM, GMT -3 hours) – Marcelo Coniglio
"Logics of Formal Inconsistency and a solution to the problem of replacement"

Department of Philosophy

Centre for Logic, Epistemology and the History of Science

University of Campinas – Unicamp

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. Joint work
with Walter Carnielli and David Fuenmayor.

Permanent link to participate of the seminars:


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


**Please enter as “anonymous” unless you have an RNP account

===================================================

Walter Carnielli
https://waltercarnielli.com/

Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil

CV Lattes : http://lattes.cnpq.br/1055555496835379

[Walter Alexandre Carnielli]

Dear Marcus,

Thanks! Please inform us which are the institutions involved with the Supergroup initiative, and we'll list all of them.

Best,

Walter 

Em dom, 12 de jul de 2020 13:53, Marcus Rossberg <marcus....@gmail.com> escreveu:

Dear Walter,

Many thanks for the shout-out to the UConn Logic Group, but we’re just one of the many groups that are part of the Supergroup. It’s too much praise!  :-)

The Supergroup was initiated by Shay. It’s piggybacking on the Melbourne Logic Seminar organized by Shawn. The Supergroup is a truly collaborative effort.  Currently, the main contacts are Shay, Shawn, Johanna, Damien, and myself, but there are many others that are also contributing their time.

UConn does host one one the websites where the talks are listed, but there are others (here, for example, the (much nicer) one hosted by the Buenos Aires Logic Group:  http://www.ba-logic.com/logic-supergroup/ ).  We really ought to have a proper separate website for the Supergroup…

Yay for Logic!

Cheers,
Marcus

> --
> You received this message because you are subscribed to the Google Groups "Logic Supergroup" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to logic-supergro...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/logic-supergroup/CAOrCsLe7EfVMjAbEPHLGa-7XO1JGt0ZiT%3DqDbG2oCBfr-rsjwA%40mail.gmail.com.

[Walter Alexandre Carnielli]

Dear enthusiastic logicians and partisans of Logic:

On Wednesday August 5th our recent PhD Alfredo Roque Freite will
give a talk focusing on some results of his PhD Thesis on foundations
of set theory.

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

This is a virtual session of the Colloquium Logicae,traditional

conferences held at the Centre for Logic, Epistemology and the History
of Science at Unicamp,now linked to the “Logic Supergroup”.

For past and future talks, please visit
https://seminarioscle.wordpress.com/

NEXT TALK:

August 5th, 2020 (2:00 PM, GMT -3 hours) –

Alfredo Roque Freire
Post-Doc Researcher

Centre for Logic, Epistemology and the History of Science

University of Campinas-Unicamp, Brazil

"Unreducible features of set theories"

The universalist position in set theory maintains that there is only a
single, maximal universe of sets and, as a result, all sentences about
these objects are ideally verifiable. Often, those who subscribe to
this view are committed to offering a sensible account to alternative
universes familiar to many mathematicians. In this article, we will
analyze the reduction strategies offered by universalists. Recently,
Enayat in [1] proved that no two models of ZF are bi-interpretable,
while Hamkins and I in [2] proved that no two well-founded models of
ZF are mutually interpretable. In view of these results, we will argue
that the range of the construction for alternative universes in a
single universe is limited. Thus, the adherents of an alternative
universe have sufficient grounds to reject the alleged copy offered by
the universalist as a faithful copy. Finally, we will argue that the
reasons for adding new elements to the multiverse should be specific
instead of being the result of an emulation in a previously known
universe.

[1] Enayat, A. (2017). Variations on a Visserian theme. arXiv preprint
arXiv:1702.07093.

[2] Freire, A. R., & Hamkins, J. D. (2020). Bi-interpretation in weak
set theories. arXiv preprint arXiv:2001.05262.