Seminário remoto "Lógicos em Quarentena" 25/03/2021 (quinta-feira) 16:00h

[Bruno Lopes]

Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de convidar a todos a participarem do Seminário "Lógicos em Quarentena". Trata-se de um seminário remoto com apresentações informais por membros da comunidade e espaço para perguntas no fim. As apresentações usualmente são gravadas e disponibilizadas na página do evento http://lq.sbl.org.br (com a agenda completa).

Data: 25 de março de 2021 (quinta-feira)
Horário: 16:00h GMT-3
Apresentador: Lukasz T. Stepien (The Pedagogical University of Cracow)
Título: On Inconsistency of Classical Logic
Resumo: As everyone knows, the classical propositional calculus (zero-order logic, classical propositional logic), is the most fundamental two-valued logical system. This is needed for construction of the classical calculus of quantifiers (classical calculus of predicates, first-order logic), which is necessary to construct the classical functional calculus. This last one is required to formalize the Arithmetic System. We start by introducing a notation and we repeat some well-known notions (among others, the notions of: operation of consequence, a system, consistency in the traditional sense, consistency in the absolute sense). Next, we present the result that classical propositional calculus is an inconsistent theory.

A apresentação ocorrerá pelo Google Meet através do link público https://meet.google.com/pwi-vcga-vbs .

--

Bruno Lopes

Professor Adjunto

Instituto de Computação

Universidade Federal Fluminense

http://www.ic.uff.br/~bruno

[Joao Marcos]

Aparentemente a demonstração é "elementar":

http://www.davidpublisher.org/Public/uploads/Contribute/5fa38c7b876bf.pdf

Talvez siga como corolário da demonstração anterior, pelo mesmo autor, de que o segundo teorema da incompletude de Gödel está errado?

http://www.davidpublisher.org/Public/uploads/Contribute/58d876b1d91a2.pdf

:-/ :-/

JM

[jyb]

David Publishing --->  Predatory Publisher

https://predatoryjournals.com/publishers/

[Luiza Ramos]

A quem interessar, meu desabafo.

Sinceramente, ver o convite desta palestra me trouxe muita tristeza. Como estudante de lógica aqui no Brasil, almejo me inserir numa comunidade profissional e séria de lógicos. Esse tipo de evento parece mostrar um grande descaso com a disciplina, uma vez que dá respaldo para a divulgação de desinformação. Imagino estudantes desprevenidos que irão perder seu tempo e desaprender com esse evento e me espanta que isso seja naturalizado.

--
Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD-Wq0-v%3DkeP1io5V2iYL_eVqfJ6Vo1v%2BQqoHygOOeMru5KcnQ%40mail.gmail.com.

[Walter Alexandre Carnielli]

Na "brilhante " demonstração de Teodor J. Stępień e Łukasz T.
Stępień no Journal of Mathematics and System Science 10 (2020) doi:
10.17265/2159-5291/2020.01.002 alguém consegue me explicar
na Def. 11 por qual razão

(¬∃ ∈ 0) recebe a negação linguística, enquanto ~\alpha recebe a
negação metalinguística??

W.













Em seg., 22 de mar. de 2021 às 15:31, Luiza Ramos
<luizas...@gmail.com> escreveu:

> Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABp6FzKvB83HGyP_UGpTZOUSJPNPvNOg8cP6j_1XQZWLdJ6yrQ%40mail.gmail.com.



--
===========================
Walter Carnielli, Professor
Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil
Phone: (+55) (19) 3521-6517
Institutional e-mail: walter.c...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli