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 <[email protected]> escreveu: > > 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. > > > Em seg., 22 de mar. de 2021 às 08:01, Bruno Lopes <[email protected]> escreveu: >> >> 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 >> >> -- >> 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 [email protected]. >> 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. > > -- > 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 [email protected]. > 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: [email protected] Website: http://www.cle.unicamp.br/prof/carnielli -- Você está recebendo esta mensagem porque se inscreveu 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 [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLccjyVJeuSgr4BUY%3DVDd38Ak%3DDY11r%2Bb1K_z35H%2BtC%2Bjw%40mail.gmail.com.
