Re: [Logica-l] Workshop de Lógica PPGLM / UFRJ

[Thiago Nascimento da Silva]

Bem interessante, ansioso para ver o Professor Adonnai Santana. Ele tem um
blog bem interessante sobre matemática, mas que está sem atualização nos
últimos meses.

Em dom., 23 de jun. de 2024 às 17:05, Joao Marcos 
escreveu:

> Amanhã começa este evento, transmitido em tempo real pelo YouTube:
>
> Workshop de Lógica
> PPGLM / UFRJ
> https://www.youtube.com/playlist?list=PLqOJPms8r-Uh5mo_8He5CgDEbeBmFso54
>
> Parece-me que não chegou a ser divulgado nesta lista?
>
> Infelizmente, na programação não constam os títulos das palestras.
> Estou seguro, contudo, de que algumas delas podem interessar aos
> colegas desta lista.
>
> JM
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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 logica-l+unsubscr...@dimap.ufrn.br.
> Para acessar esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Li2HMTm%3DeF2GfOfjwaV9pnKWhObcrPM7V-jXWehA7CfKw%40mail.gmail.com
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 logica-l+unsubscr...@dimap.ufrn.br.
Para acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOHRVBWMrBW-csdiwWQ3_RafjRxi80hXEbzVA%3DcoThO32ze%2B9w%40mail.gmail.com.

Re: [Logica-l] AI Will Become Mathematicians’ ‘Co-Pilot’

[Thiago Nascimento da Silva]

Bem interessante a matéria. Eu tenho acompanhado algumas discussões no
fórum do LEAN e inclusive participei de algumas reuniões para ver se tinha
algo que eu conseguia pegar para implementar. Sempre vejo comentários sobre
novas teorias que foram implementadas para a biblioteca deles.

Em seg., 10 de jun. de 2024 às 09:11, Joao Marcos 
escreveu:

> AI Will Become Mathematicians’ ‘Co-Pilot’
> - Fields Medalist Terence Tao explains how proof checkers and AI
> programs are dramatically changing mathematics
>
> https://www.scientificamerican.com/article/ai-will-become-mathematicians-co-pilot/
>
> (incluindo grande propaganda do LEAN)
>
>
> JM
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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 logica-l+unsubscr...@dimap.ufrn.br.
> Para acessar esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lirt0Tmokp3bqzEoeYTv%3Df7TF3LJPZPAdQ2uudUvk-5cw%40mail.gmail.com
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 logica-l+unsubscr...@dimap.ufrn.br.
Para acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOHRVBXKe1fyc5F9zTKmTw%2BnZAYSXz3UanXEDYnrTb_C7%2BiirA%40mail.gmail.com.

Re: [Logica-l] Vídeos das mesas-redondas dos Seminários de Orientação extra-Lógica disponíveis

[Thiago Nascimento da Silva]

Obrigado João, estava no aguardo dos vídeos da mesa-redonda.

Em seg., 22 de abr. de 2024 às 09:09, João Mendes <
mendeslopes.j...@gmail.com> escreveu:

> Os vídeos das duas mesas-redondas do SOL (Seminários de Orientação
> extra-Lógica), ocorrido no mês passado, estão disponíveis no canal da SBL
> no youtube.
>
> O link da playlist com ambos os vídeos é:
> https://www.youtube.com/playlist?list=PLFURnt5EmcO0MEQmvov459i76EKsIqeG6
>
> Link direto para a mesa-redonda "Problemas: quais a lógica dá conta de
> resolver e como encontrá-los?": https://youtu.be/h4IC4wvHxDQ
>
> Link direto para a mesa-redonda "Problemas de demarcação: Eu faço
> Lógica?": https://youtu.be/q4v0J7AMJKk
>
> João Mendes
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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+unsubscr...@dimap.ufrn.br.
> Para acessar essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAECUrDQU%2BoitNcWGefr_60twLvw4ezdpwfezrr%2BfKOxz1zRpeA%40mail.gmail.com
> 
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 logica-l+unsubscr...@dimap.ufrn.br.
Para acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOHRVBURDWfL0WEUT5P%2Btte_6EGQxYd3QR_k5SQcbv3u70M67A%40mail.gmail.com.

Re: [Logica-l] [SBL] Mesa redonda: o ensino de lógica no ensino médio

[Thiago Nascimento da Silva]

Certamente será do meu interesse, estarei lá, virtualmente.

Em seg., 8 de jan. de 2024 às 12:39, Evelyn Erickson <
evelyn.f.erick...@gmail.com> escreveu:

> Boa tarde!
>
> Fico feliz de anunciar a iniciativa da SBL para o Dia Mundial da Lógica
> . Montamos uma mesa redonda
> sobre o ensino de lógica no ensino médio, convidando professores de
> diversos Institutos Federais para discutir sobre o espaço da lógica nos
> seus respectivos currículos, sua experiência em ensinar lógica, sucessos e
> dificuldades; para então conversarmos sobre como a SBL pode contribuir de
> alguma forma para a melhora ou inclusão do ensino de lógica no ensino médio.
>
> O evento será transmitido online dia 15/01/2024, às 15:00 (GMT-3) no no
> canal da SBL https://www.youtube.com/watch?v=DvQUZY9tFZ8
>
> Coordenação: Profa. Elaine Pimentel
>
> Convidados:
> Alexandrina Paiva da Rocha (IFPI, campus Cocal), filosofia
> Ednilson Gomes Matias (IFAL, campus Maceió), filosofia
> Eneas Mendes de Jesus (IFES, campus Piúma), matemática
> Lucas de Oliveira (IFC, campus Videira), matemática
> Sionise Rocha Gomes (IFAM, Campus Presidente Figueiredo/IFPE campi
> Palmares e Belo Jardim), computação
> Verlaynne Rocha Araújo (IFPE, campus Palmares), computação
>
> Creio que será de interesse aos membros desta lista :)
>
>
> *Evelyn*
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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+unsubscr...@dimap.ufrn.br.
> Para acessar essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/d1d3444a-288f-4e4b-ab5d-aa459e88cac1n%40dimap.ufrn.br
> 
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 logica-l+unsubscr...@dimap.ufrn.br.
Para acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOHRVBUBnHQRtSQke8Wh1eZAjc_RgDS0rd2aNVbGxg%3D6%3Dm8AbA%40mail.gmail.com.

Re: [Logica-l] a lógica /n|d/+as aulas de matemática

[Thiago Nascimento da Silva]

O apêndice do livro UM CURSO DE ÁLGEBRA - ABRAMO HEFEZ faz um apanhado de
noções de lógica e ele trata basicamente de tabelas verdades. Este livro é
o padrão na UFES para o ensino de álgebra básica (anéis, domínios, corpos,
ideais, conjuntos e funções, relações de equivalência e
congruência).Inclusive tem um subtópico neste apêndice chamado de cálculo
sentencial, mas novamente é tratado de tabelas verdades.

Em qui., 28 de dez. de 2023 às 19:25, Joao Marcos 
escreveu:

> Muito obrigado pela resposta, Walter!
>
> Do que você nos conta sou levado a concluir que o uso relaxado da
> Lógica para justificar certas passagens argumentativas é mais ou menos
> _tradicional_ entre os professores de matemática brasileiros, e há
> bastante tempo.  Talvez o ponto (1) que você levantou ajude a explicar
> a razão pela qual isto ocorre.
>
> %%%
>
> Sobre o seu ponto (2), que me parece estar relacionado ao que escrevi
> na minha resposta ao Adolfo, confesso que não compreendo bem como os
> "procedimentos de prova" usuais da matemática seriam justificados
> "baseado na tabela da implicação".  Talvez seja isto justamente uma
> das coisas que mais me incomoda...  Esta conexão entre tabelas de
> verdade e estratégias de demonstração, digamos, via raciocínio
> hipotético, contraposição, ou redução ao absurdo, me parece ser,
> quando muito, _obscura_.  Exemplifico a minha perplexidade a este
> respeito com o teorema citado no item (B2) da minha mensagem original
> neste fio:
> "Seja C um coiso com as propriedades A e B.
>  Então C tem a propriedade D."
> [o que segue é o que eu chamaria de "demonstração típica",
> estruturada, por contraposição]
> ENUNCIADO FORMAL:
> Seja C um objeto de tipo D com a propriedade A.
> Demonstre que C tem a propriedade B.
> DEMONSTRAÇÃO:
> > Declaração: Considere um objeto C arbitrário de tipo D.
> % Objetivo: Queremos demonstrar que A(C) implica em B(C).
> >> Para tal efeito, suponhamos  que não-B(C) é o caso.
> %% Novo objetivo: Queremos concluir não-A(C).
> [preencha o argumento com detalhes específicos, de acordo com os
> detalhes concretos dos conceitos usados no enunciado]
> Note-se que não há nenhum papel para tabelas de verdade, acima, na
> argumentação "típica" apresentada.
>
> %%%
>
> Acrescento, por fim, que não vejo porque discordar das suas críticas
> sobre o "Ensino Colegial", mas reitero a minha questão inicial: será
> que o estudo de tabelas de verdade (que, no meu entendimento, não
> ajudam nada ou quase nada no quesito "métodos de demonstração") não
> teriam melhor lugar, de fato, no estudo pré-universitário?
>
> Abraços,
> Joao Marcos
>
> On Wed, Dec 27, 2023 at 1:00 PM Walter Carnielli 
> wrote:
> >
> > Olá João e. outra(o)s   interessados:
> >
> > Dou aqui minha contribuição sobre a questão. Estudei matemática de
> > forma profissional na Unicamp  por 7 anos, bacharelado,  mestrado e
> > doutorado,e depois   pós-doutorado na Universidade de Califórnia e em
> > Münster, na Alemanha. Nunca.  ninguém usou coisas  elementares de
> > lógica em disciplinas e matemática, nem  no IMPA, na Unicamp, USP,
> > Berkeley, , Münster, etc, Mas todos  tinham. por trás  a. premissa
> > que os estudantes sabiam essas coisas. através do ensino médio.
> > (chamado "colegial". na. época, muito. melhor. nome).
> >
> > E de fato durante meus 7 anos de "ginásio" e. "colégio"no Culto  à
> > Ciência os professores de  matemática, com  formação em Rio Claro e na
> > PUC na época, tinham uma boa noção de lógica, pelo menos intuitiva.
> > Não citavam a questão da completude,  ou compacidade,  mas
> > enfatizavam o seguinte:
> >
> > 1)  "Similaridade " (isomorfismo) ) entre  as operações lógicas e as
> > operações conjuntistas (no fundo,  uma versão intuitiva do Teorema de
> > Representação de  Stone.).
> > 2) Falavam dos procedimentos  ds. prova. por redução ao absurdo,
> > baseado na. tabela da . implicação, em especial usos de equivalência
> > em demonstrações elementares  de  trigonometria
> > 3) Mencionavam sempre as tabelas  usuais  da  conjunção, disjunção,
> > implicação, negação para. guiar  o raciocínio
> > 4) Sempre se mencionavam rudimentos de. lógica  quantificada
> > (existencial, universal, etc)
> > 5) Esclarecem o papel dos axiomas principalmente em geometria
> > 6) Mostravam métodos heurísticos de solução de e problemas  com régua
> > e compassos (como o método de e Pappus de Alexandria, em "supor  um
> > problema resolvido para tentar a solução"  )
> > etc.
> >
> > Tudo isso a gente já sabia quando entrava em um curso de matemática,
> > física, engenharia e computação.  Nao se vê  mais nada disso, Os
> > professores de ensino médio não têm a menor ideia.
> > Mas de fato, alguns expositores no YouTube, da velha escola, mencionam
> >  coisas assim.
> > Por tudo isso   acho fundamental voltar a  ensinar  essas coisas aos
> > nossos estudantes universitários,
> >
> > Abs
> >
> > Walter
> >
> > Em ter., 26 de dez. de 2023 às 12:46, Joao Marcos 
> escreveu:
> > >
> > > PessoALL:
> > >
> > > Uma co

Re: [Logica-l] Palestra "Red Herring" - UFBA - 15 de junho, 16h40

[Thiago Nascimento da Silva]

Estou aguardando essa palestra já tem uns dois anos desde a primeira vez
que disse sobre ela. Estou interessado, se tiver link, estarei lá
virtualmente.

Em seg., 5 de jun. de 2023 às 17:45, 'samuel' via LOGICA-L <
logica-l@dimap.ufrn.br> escreveu:

> Caros,
>
> Acredito que a palestra abaixo vá ser transmitida ao vivo, havendo
> interessados eu
> posso checar qual é o canal do YouTube correspondente.
>
> Abraços
>
> []s  Samuel
>
>
> *
>
> Palestra:*"Quando as coisas não são o que dizem
> ser"* -
>
> o Princípio do Arenque Vermelho em Matemática
>
> (ou: um estudo sobre definições aparentemente contraditórias)
>
>
>
>
>
> Palestrante: Prof. Dr. Samuel Gomes da Silva (UFBA)
>
>
>
> Palestra do Café Cultural
>
>
>
> Quinta-feira, 15 de Junho de 2023 – 16h40
>
>
>
> Auditório Maria José Zezé de Oliveira – IME/UFBA, Campus Ondina
>
>
>
> RESUMO:
>
>
>
> Na literatura, no cinema ou nas artes em geral, um "arenque vermelho" (em
> inglês, *red herring*) é o nome que se dá às chamadas "pistas falsas". É
> muito comum, em obras de suspense, que o autor deseje introduzir um
> personagem suspeito, ou alguma situação bastante peculiar ou estranha, com
> o intuito de desviar a atenção dos "verdadeiros culpados" da trama em tela.
> Essa técnica, que é muito ensinada nos cursos de escrita de roteiros e é
> vista como um recurso bastante positivo e recomendado para todos os
> escritores (não apenas os de suspense), é normalmente denominada como
> "introduzir arenques vermelhos".
>
>
>
> Já em oratória, entendida como a arte da eloquência e do bem falar (e, em
> parte, de como ganhar discussões), um "arenque vermelho" é entendido como
> sendo uma falácia (num contexto mais informal de lógica) na qual,
> deliberadamente, procuramos desviar a atenção do interlocutor para longe do
> ponto principal da discussão - na maioria das vezes, apresentando um
> argumento que, se não é logicamente errado, é absolutamente irrelevante
> para o que está sendo discutido. Como vocês podem imaginar, esse tipo de
> manobra diversionista é amplamente usado no jornalismo e na política, e a
> curiosa expressão que a nomeia (e que faz menção a peixes defumados que
> eram usados para distrair cães de caça em treinamento) já vem sendo
> utilizada com esse sentido há mais de 200 anos.
>
>
>
> E em Matemática ? Na Matemática, o Princípio do Arenque Vermelho declara
> que, quando estamos fazendo uma definição técnica, algo que definimos como
> "um arenque vermelho" não precisa, em geral,  *nem** ser vermelho e nem
> ser um arenque !* Frequentemente, de fato, vale uma asserção recíproca
> que é aparentemente redundante - mais precisamente, a de que todos os
> arenques são, na verdade, arenques vermelhos, ou que, pelo menos a
> princípio, todos os arenques possam ser potencialmente vermelhos, mesmo que
> não necessariamente o sejam (o que leva a nós, os matemáticos, a,  por
> certas vezes, falar em "arenques não-vermelhos", ou ainda, faz com que
> certas definições sejam refeitas de modo a incluir as versões "vermelha" e
> "não-vermelha"). Apresentaremos vários exemplos de "arenques vermelhos" em
> Matemática, e ao final discutiremos quais são os efeitos e influências (se
> é que existem) desses estranhos tipos de definições na prática matemática.
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/893fb4c1-e82e-49a7-966c-8fc4baa7c244n%40dimap.ufrn.br
> 
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOHRVBXKc_-3W5VwQ861iu3AjE4J_eYtGv-_x7H_jt5HhPnu2Q%40mail.gmail.com.

Re: [Logica-l] II Dia Carol Blasio

[Thiago Nascimento da Silva]

Parabéns pelo excelente trabalho de organização, Evelyn. E a todos que
participaram enviando material..

Em qui., 20 de abr. de 2023 às 13:16, valeria.depaiva <
valeria.depa...@gmail.com> escreveu:

> Parabéns, Evelyn pelo trabalho de organizar e divulgar esse material de
> ensino de lógica!
>
> Obrigada a todos os colegas que participaram e tambem aos que ainda vão
> participar, nos enviando suas dicas, materiais e outras sugestões de
> melhorias!
>
> abracos lógicos e saudosos,
>
> Valeria
>
>
> On Thursday, April 20, 2023 at 6:02:39 AM UTC-7 Evelyn E. wrote:
>
>> Bom dia!
>>
>> É com enorme alegria que venho divulgar o resultado da celebração do 2º
>> Dia Carolina Blasio
>> <https://logicasbrasileiras.wordpress.com/ii-dia-carol-blasio-por-diversidade-na-logica-2023/>
>> por diversidade na lógica. Este ano, lançamos o projeto de melhoria
>> coletiva da página da Sociedade Brasileira de Lógica sobre materiais
>> para ensino <http://sbl.org.br/pmwiki.php/Main/Ensino> com o intuito de
>> ajudar a diversificação de práticas didáticas, assim como celebrar o
>> aspecto docente da vida de Carol. Convido a todos para conferir a nova
>> página, e também a contribuir com mais alguma coisa caso tenham interesse
>> (por esse formulário
>> <https://docs.google.com/forms/d/e/1FAIpQLSdfCWHhjWDTDh5OL02AyTxqNENMspp-LKPrGEYUowdbrNc-QQ/viewform>
>> ).
>>
>> Agradeço em nome das Lógicas Brasileiras a Daniel Durante, Marcelo
>> Finger, Karina Girardi Roggia, João Marcos, Renata de Freitas e Mahan Vaz
>> SIlva pelas contribuições, a Hudson Benevides e Thiago Nascimento por isso
>> e também por toda a ajuda a mais, e a Bruno Lopes pela ajuda técnica.
>>
>> Abraços,
>> *Evelyn*
>>
>> On Monday, March 20, 2023 at 5:42:03 PM UTC-3 Thiago Nascimento da Silva
>> wrote:
>>
>>> Parabéns pela iniciativa. Como novo professor também tenho sofrido deste
>>> problemas de não encontrar material em português.
>>>
>>> Em seg., 20 de mar. de 2023 13:40, Evelyn Erickson <
>>> evelyn.f...@gmail.com> escreveu:
>>>
>>>> Boa tarde!
>>>>
>>>> Neste dia em que Carol estaria completando seu 39° aniversário, nós do
>>>> Lógicas Brasileiras convidamos todos a celebrar junto conosco o II Dia
>>>> Carol Blasio por Diversidade na Lógica. Ano passado lembramos de Carol como
>>>> uma amiga, e esse queremos expandir esse legado destacando seu aspecto de
>>>> professora.
>>>>
>>>> O projeto desse ano precisa da participação de vocês: estamos reunindo
>>>> material didático disponível em português, para atualizar a página da
>>>> SBL sobre ensino de lógica <http://sbl.org.br/pmwiki.php/Main/Ensino>.
>>>> O intuito dessa iniciativa é facilitar a circulação desse material, para
>>>> reduzir os esforços (especialmente de novos professores como eu!) em
>>>> planejar uma disciplina de lógica. Esse material pode incluir: indicação ou
>>>> resenha de bibliografia, planos de curso, listas de exercícios, jogos,
>>>> slides e afins.
>>>>
>>>> Vocês podem ler um pouco mais sobre a iniciativa no site Lógicas
>>>> Brasileiras
>>>> <https://logicasbrasileiras.wordpress.com/ii-dia-carol-blasio-por-diversidade-na-logica-2023/>,
>>>> ou então conferir o formulário de submissão
>>>> <https://docs.google.com/forms/d/e/1FAIpQLSeI6l-4Ngc7em7UIjOA_zKjxeG-UuRWV28uvIruAfFK8lhe_A/viewform>.
>>>>
>>>>
>>>> Abraços,
>>>> *Evelyn*
>>>>
>>>> --
>>>> LOGICA-L
>>>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>>>> Lógica 
>>>> ---
>>>> 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/45f69c51-fb73-4268-a4c6-e1a39fa54a3bn%40dimap.ufrn.br
>>>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/45f69c51-fb73-4268-a4c6-e1a39fa54a3bn%40dimap.ufrn.br?utm_medium=email&utm_source=footer>
>>>> .
>>>>
>>> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> Você recebeu essa mensagem porque está inscrito no grupo &q

Re: [Logica-l] II Dia Carol Blasio

[Thiago Nascimento da Silva]

Parabéns pela iniciativa. Como novo professor também tenho sofrido deste
problemas de não encontrar material em português.

Em seg., 20 de mar. de 2023 13:40, Evelyn Erickson <
evelyn.f.erick...@gmail.com> escreveu:

> Boa tarde!
>
> Neste dia em que Carol estaria completando seu 39° aniversário, nós do
> Lógicas Brasileiras convidamos todos a celebrar junto conosco o II Dia
> Carol Blasio por Diversidade na Lógica. Ano passado lembramos de Carol como
> uma amiga, e esse queremos expandir esse legado destacando seu aspecto de
> professora.
>
> O projeto desse ano precisa da participação de vocês: estamos reunindo
> material didático disponível em português, para atualizar a página da SBL
> sobre ensino de lógica . O
> intuito dessa iniciativa é facilitar a circulação desse material, para
> reduzir os esforços (especialmente de novos professores como eu!) em
> planejar uma disciplina de lógica. Esse material pode incluir: indicação ou
> resenha de bibliografia, planos de curso, listas de exercícios, jogos,
> slides e afins.
>
> Vocês podem ler um pouco mais sobre a iniciativa no site Lógicas
> Brasileiras
> ,
> ou então conferir o formulário de submissão
> .
>
>
> Abraços,
> *Evelyn*
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/45f69c51-fb73-4268-a4c6-e1a39fa54a3bn%40dimap.ufrn.br
> 
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOHRVBWNjT%2BB5UxmLuNYnYS6Q0OO5z8NdLTu%2B3gjXUqJG7H3Uw%40mail.gmail.com.

Re: [Logica-l] Prêmio CAPES de tese 2022

[Thiago Nascimento da Silva]

Fico muito feliz por tal conquista. Meus parabéns para Evelyn e para os
Professores Ole e Daniel.

Em sex., 12 de ago. de 2022 às 10:04, C. Mortari 
escreveu:

> Parabéns à Evelyn, Daniel e Ole!
>
> Cezar
>
> Em 2022-08-12 08:53, Joao Marcos escreveu:
> >
> https://www.in.gov.br/en/web/dou/-/edital-n-11/2022-resultado-premio-capes-de-tese-edicao-2022-421902318
> >
> > O prêmio de tese em Filosofia deste ano veio para a nossa Evelyn
> > Erickson, orientada por Daniel Durante (e co-orientada por Ole
> > Hjortland).
> >
> > A tese pode ser encontrada aqui:
> > Rational theory revision in logic: beyond abductivism
> > https://repositorio.ufrn.br/handle/123456789/44906?mode=full
> >
> > Parabéns aos envolvidos!
> > Joao Marcos
> >
> > --
> > http://sequiturquodlibet.googlepages.com/
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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 logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/bec13384c99170bbf53ef39802571d6b%40cfh.ufsc.br
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOHRVBX0GX4WSAm7JWFsrpAa2sdrcQ89AzHqpEq5wb7QWHg9wQ%40mail.gmail.com.

Re: [Logica-l] ∃x <-> x=x <-> x∈x

[Thiago Nascimento da Silva]

Olá Léo, você poderia comentar um pouco sobre a inferioridade da filosofia?
Em que se dá essa inferioridade?

Em seg., 7 de fev. de 2022 às 22:20, Eduardo Ochs 
escreveu:

> Léo, os "Look inside!" dos seus dois livros na Amazon -
>
> https://www.amazon.com/dp/B09QNN8BFS/
>
> https://www.amazon.com/G%C3%AAnesis-Matem%C3%A1tico-Aplica%C3%A7%C3%A3o-Linguagens-Portuguese/dp/B08KH97QN9/
>
> não incluem as referência bibliográficas!
>
> A gente não tem como descobrir que livro ou artigo é isso aqui:
>
>   (GAMUT, 1991, p.75)
>
> 😡🤬,
>   Eduardo Ochs
>   http://angg.twu.net/math-b.html
>
>
> On Mon, 7 Feb 2022 at 22:13, Léo Mota  wrote:
>
>> Então se x é o conjunto vazio vale x∈x?
>> >> Isso é muito diferente das lógicas que eu conheço...
>>
>> Se ∃Ø, então sim, mas não se o vazio for sinônimo de inexistente. Sim é
>> bem diferente mesmo, é difícil ver um livro não dogmático e alienante que
>> questione isto. O
>>
>> Com efeito. Um outro possível probleminha é que "(∃x) ↔ ψ" não é uma
>> expressão bem-formada em lógica de primeira ordem, não importa qual
>> seja a fórmula ψ.
>>
>> Olá JM, não estou utilizando a linguagem de primeira ordem, pois ela é
>> muito pobre diante da linguagem natural (GAMUT, 1991, p.75). Meu
>> questionamento utiliza a linguagem natural.
>> Em segunda-feira, 7 de fevereiro de 2022 às 20:32:49 UTC-3, Joao Marcos
>> escreveu:
>>
>>> > O jeito que você escreveu está correto:
>>> > (∃x) ↔ (x=x) ↔ (x∈x)
>>> >
>>> >> Então se x é o conjunto vazio vale x∈x?
>>> >> Isso é muito diferente das lógicas que eu conheço...
>>>
>>> Com efeito. Um outro possível probleminha é que "(∃x) ↔ ψ" não é uma
>>> expressão bem-formada em lógica de primeira ordem, não importa qual
>>> seja a fórmula ψ.
>>>
>>> JM
>>>
>> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6i8dOMF4tJn%3DREprtTWLAfo_iEue5c3kmg0aMf6Dr86%2BQ%40mail.gmail.com
> 
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOHRVBVx5SOO5PD0DmXVnZnKB11yq9%2BD_E1T-PhXtZ9QFYG%2BDA%40mail.gmail.com.

Re: [Logica-l] Gerador de tabelas de verdade robusto

[Thiago Nascimento da Silva]

Olá Professor, eu costumava usar esse site aqui:
https://web.stanford.edu/class/cs103/tools/truth-table-tool/ e o próprio
wolframalpha. O wolframalpha tem a limitação de precisar escrever em
inglês, mas acho que esse problema é facilmente contornável olhando os
próprios exemplos que o wolframalpha  disponibiliza.

Em seg., 7 de fev. de 2022 às 17:06, Adolfo Neto 
escreveu:

> Eu gosto muito deste do Michael Rieppel mas não sei se satisfaz seu
> requisito
> https://mrieppel.net/prog/truthtable.html
>
> On Mon, Feb 7, 2022, 16:10 Daniel Durante  wrote:
>
>> Colegas,
>>
>> Alguém conhece um gerador de tabelas de verdade, de preferência on-line,
>> simples de usar (com interface gráfica) que seja robusto o suficiente para
>> gerar tabelas conjuntas para grupos de sentenças com 6 variáveis (64
>> linhas)?
>>
>> Eu tenho usado, com meus estudantes, o "The Logic Calculator" (
>> www.votsis.org/logic), que dá para instalar no celular e tem o jeitão de
>> uma calculadora. Ele até aceita 6 variáveis e múltiplas sentenças na mesma
>> tabela, mas tem uma limitação de quantidade de caracteres das sentenças que
>> é menor do que o necessário para alguns exercícios que passei para meus
>> estudantes.
>>
>> Obrigado,
>> Daniel.
>>
>> --
>> LOGICA-L
>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>> Lógica 
>> ---
>> 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+unsubscr...@dimap.ufrn.br.
>> Para ver essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/c8ad7cdd-66ac-4189-9660-a78f184964c8n%40dimap.ufrn.br
>> 
>> .
>>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAP52AGfeFY-WZum2vZpLrDDa2Ng06PUJ6pOKjX%3DyXUQm94rVVw%40mail.gmail.com
> 
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOHRVBWzwkrZP-M%3D84EiDZhAtEP55h%2BB5oqFaucoZT71AkJytQ%40mail.gmail.com.

Re: [Logica-l] Corona vírus nos levou John Conway

[Thiago Nascimento da Silva]

Há dois matemáticos com o nome John Conway, o que faleceu foi o  John H.
Conway. O autor autor dos livros de Análise e Variáveis se chama  John B.
Conway .

1: https://en.wikipedia.org/wiki/John_Horton_Conway
2: https://es.wikipedia.org/wiki/John_B._Conway

Em seg., 13 de abr. de 2020 às 07:34, Claus Akira Horodynski Matsushigue <
claus...@mat.unb.br> escreveu:

>
>
> Nossa. Quem não estudou seus maravilhosos livros de análise funcional e
> variáveis complexas. Que falta de chão. John Conway.
> Claus
>
> Em dom, 12 de abr de 2020 22:24, Walter Carnielli <
> walter.carnie...@gmail.com> escreveu:
>
>> Colegas,
>>
>> Tenho a tristeza de comunicar o falecimento de John Conway  hoje, dia 12
>> de abril. de COVID-19.
>>
>>
>> https://www.lucianne.com/2020/04/12/the_creator_of_the_game_life_mathematician_john_conway_died_of_covid-19_31671.html
>>
>> Meus sentimentos a todos.
>> W.
>>
>> --
>> 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+unsubscr...@dimap.ufrn.br.
>> Para ver essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58M7SoAddSp_VaNWFEJ09O6F7DAStPOAUid62_on36M8Og%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 logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAJh6kGXq3hCUY-Ad%2BveUHBQvqGAzEz%3Dz9iHOOe5D8YT%2B8GM70w%40mail.gmail.com
> 
> .
>

-- 
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 logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOHRVBVagbnmji-CWW-JaJdkVLbGZysUSPemFk74sbWBEpqq0g%40mail.gmail.com.

Re: [Logica-l] Rascunho: Palestra: p = t - Uma rara instância de igualdade entre ordens do infinito

[Thiago Nascimento da Silva]

Parece muito interessante, espero ter a oportunidade de assistir.

Em 5 de dezembro de 2017 09:26, Samuel Gomes da Silva 
escreveu:

> Caros,
>
> Inspirado em parte pelas discussões que houve aqui na nossa lista, e tendo
> sido cobrado a preparar algum material sobre o assunto tanto na UFBA
> como também na UESC (Ilhéus), e tudo devido à já famosa matéria na Quanta
> Magazine:
>
> https://www.quantamagazine.org/mathematicians-measure-
> infinities-find-theyre-equal-20170912/
>
> Preparei uma palestra sobre p = t.
>
> Aproveitando a presença de vários colegas em São Paulo nesta semana, a
> palestra será apresentada no IME/USP (num horário à parte das atividades
> oficiais de todos, assim obviamente nem todos poderão assistir...).
>
> Palestra
> p = t - Uma rara instância de igualdade entre ordens do infinito
> Sala 132 - Bloco A - IME/USP
> Quarta, 06/12/2017 - 18h-19h30
>
> Resumo: Disponível em
>
> https://www.researchgate.net/publication/321530957_p_t_-_
> Uma_rara_instancia_de_igualdade_entre_ordens_do_infinito
>
> (Atenção: por um engano o resumo está com a data de 07 de dezembro, a
> apresentação será mesmo em 06 de dezembro, conforme acima)
>
> Abraços a todos, espero ter a oportunidade de apresentar essa palestra
> mais vezes,
>
> Atés,
>
> []s  Samuel
>
>
>
>
> --
> 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+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em https://groups.google.com/a/
> dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse https://groups.google.com/a/
> dimap.ufrn.br/d/msgid/logica-l/1188681662.22086258.
> 1512476815205.JavaMail.zimbra%40ufba.br
> 
> .
>



-- 
Thiago Nascimento, Mestrando PPgSC - UFRN.

-- 
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 logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOHRVBVibRCmqLgsHE5wcTw8ENkTkMC9_6V9FEdS65YJp3k0-A%40mail.gmail.com.

Re: [Logica-l] mais uma sobre o sexo dos Gödelianos

[Thiago Nascimento da Silva]

Outra maneira é dar Esc assim que o texto carregar. Primeiro ele carrega o
texto depois ele carrega o script que bloqueia a página.

Em 5 de dez de 2017 00:38, "Profa. Maria Lewtchuk Espindola" <
mar...@mat.ufpb.br> escreveu:

Valéria

Faça o cadastro, mas cuidado pois eles restringem o número de reportagens
que a gente pode ler...

--
*De: *"Valeria de Paiva" 
*Para: *"logica-l" 
*Enviadas: *Segunda-feira, 4 de dezembro de 2017 16:41:17
*Assunto: *Re: [Logica-l] mais uma sobre o sexo dos Gödelianos

uma pena, nucna consigo ler os textos do Marcelo Viana, pois
>Para compartilhar esse conteúdo, por favor utilize o link
http://www1.folha.uol.com.br/colunas/marceloviana/2017/12/
1939687-logica-matematica-para-compreender-as-familias-
deste-mundo-e-de-outros.shtml ou as ferramentas oferecidas na página.
Textos, fotos, artes e vídeos da Folha estão protegidos pela legislação
brasileira sobre direito autoral. Não reproduza o conteúdo do jornal em
qualquer meio de comunicação, eletrônico ou impresso, sem autorização da
Folhapress (pesqu...@folhapress.com.br). As regras têm como objetivo
proteger o investimento que a Folha faz na qualidade de seu jornalismo. Se
precisa copiar trecho de texto da Folha para uso privado, por favor
logue-se como assinante ou cadastrado.


2017-12-04 3:51 GMT-08:00 Joao Marcos :

> Lógica matemática para compreender as famílias deste mundo e de outros
> http://www1.folha.uol.com.br/colunas/marceloviana/2017/12/
> 1939687-logica-matematica-para-compreender-as-familias-
> deste-mundo-e-de-outros.shtml
>
> --
> 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 logica-l+unsubscr...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Visite este grupo em https://groups.google.com/a/
> dimap.ufrn.br/group/logica-l/.
> Para ver esta discussão na web, acesse https://groups.google.com/a/
> dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgM%2BmDhZaYs7dQG2rcGgk2vk1EjQmT9_
> YxMpS9ACB%3DoAA%40mail.gmail.com.
>



-- 
Valeria de Paiva
http://vcvpaiva.github.io/
http://research.nuance.com/author/valeria-de-paiva/
http://www.cs.bham.ac.uk/~vdp/

-- 
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+unsubscr...@dimap.ufrn.br.
Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Acesse esse grupo em https://groups.google.com/a/
dimap.ufrn.br/group/logica-l/.
Para ver essa discussão na Web, acesse https://groups.google.com/a/
dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXv_RGTAdDXDPyphg_
deuwZ6Nc6OxpeYP2fnGKn3LZZvqQ%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 logica-l+unsubscr...@dimap.ufrn.br.
Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Acesse esse grupo em https://groups.google.com/a/
dimap.ufrn.br/group/logica-l/.
Para ver essa discussão na Web, acesse https://groups.google.com/a/
dimap.ufrn.br/d/msgid/logica-l/1022744347.745.1512443861697.JavaMail.zimbra%
40mat.ufpb.br

.

-- 
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 logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOHRVBUyP1VtZ4V9tfaAY5xm1nLxb1smf5KVV34DD74sh7ofPQ%40mail.gmail.com.

Re: [Logica-l] um probleminha com logica intuicionista...

[Thiago Nascimento da Silva]

 Essa contraposição aqui pode ser provada em IL (A--> B) -->  (\neg B -->
neg A). Sai basicamente do fato que tu elimina a primeira implicação e
depois elimina a negação e usa explosão. Essa contraposição aqui (\neg
A-->\neg B) --> ( B -->  A) não pode ser provada em IL e de fato é
equivalente à dupla negação. Demonstração: Primeiro note que ¬A -> ¬¬¬A é
um teorema de IL, agora instancie essa forma de contraposição da seguinte
maneira (¬A -> ¬¬¬A) ->  (¬¬A -> A), como a primeira parte é axioma, nós
temos que (¬¬A -> A) é teorema.

Em 23 de outubro de 2017 22:59, Valeria de Paiva 
escreveu:

> prezados colegas,
>
> estou com um probleminha na wikipedia e em vez de gastar o tempo que
> precisaria pra achar minha copia do Dummett em casa, resolvi apelar pros
> amigos.
>
> Acho que  tem um "erro" em https://en.wikipedia.org/
> wiki/Intuitionistic_logic
> onde  na secao 9 alguem diz que:
>
> Relation to classical logic[edit
> 
> ]
>
> The system of classical logic is obtained by adding any one of the
> following axioms:
>
>- {\displaystyle \phi \lor \lnot \phi }[image: \phi \lor \lnot \phi] (Law
>of the excluded middle. May also be formulated as {\displaystyle (\phi
>\to \chi )\to ((\lnot \phi \to \chi )\to \chi )}[image: (\phi \to \chi
>) \to ((\lnot \phi \to \chi ) \to \chi )].)
>- {\displaystyle \lnot \lnot \phi \to \phi }[image: \lnot \lnot \phi
>\to \phi] (Double negation elimination)
>- {\displaystyle ((\phi \to \chi )\to \phi )\to \phi }[image: ((\phi
>\to \chi ) \to \phi ) \to \phi] (Peirce's law)
>- {\displaystyle (\lnot \phi \to \lnot \chi )\to (\chi \to \phi )}[image:
>{\displaystyle (\lnot \phi \to \lnot \chi )\to (\chi \to \phi )}] (Law
>of contraposition)
>
>
> mas essa ultima assercao nao 'e o que eu chamaria de contraposicao.
> Contraposicao  usual 'e valida em logical intuicionista.
>
> o que acontece e' que essa assercao combina contraposicao com eliminacao
> da negacao dupla, ou seja:
>
> contraposicao devia ser
>
> (A--> B) -->  (\neg B --> neg A)
>
> mas quem escreveu o artigo em vez de dizer
>
> (\neg A-->\neg B) --> (\neg\neg B --> \neg\neg A),
> removeu a dupla negacao, ficando com
> (\neg A-->\neg B) --> ( B -->  A)
>
>  dai que isso 'e  mesmo nao-derivavel em IL, pois inclui double negation
> elimination, junto com a contraposicao.
>
> voces concordam? ou eu estou "esquecendo" alguma coisa importante?
> tem mais alguma coisa errada no artigo?
> eu estou querendo me lembrar da relacao entre implicacao e disjuncao.
> essas estao certas?
>
> Disjunction versus implication:
>
>- {\displaystyle (\phi \vee \psi )\to (\neg \phi \to \psi )}[image:
>(\phi \vee \psi) \to (\neg \phi \to \psi)]
>- {\displaystyle (\neg \phi \vee \psi )\to (\phi \to \psi )}[image:
>(\neg \phi \vee \psi) \to (\phi \to \psi)]
>
>
> obrigada pela ajuda,
> Valeria
> --
> Valeria de Paiva
> http://vcvpaiva.github.io/
> http://research.nuance.com/author/valeria-de-paiva/
> http://www.cs.bham.ac.uk/~vdp/
>
> --
> 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+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em https://groups.google.com/a/
> dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse https://groups.google.com/a/
> dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXtQF5fvc8xt%
> 2BaKJ2A5d6bw33taeFkFv0j_PCGJQ6UCSGg%40mail.gmail.com
> 
> .
>



-- 
Thiago Nascimento, Mestrando PPgSC - UFRN.

-- 
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 logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOHRVBVYL6xH5E%3D7ni-_sH0pMxwEdwQD-Q265E_KxeLZJM%2B-sw%40mail.gmail.com.

Re: [Logica-l] Re: Uma noticia de profundissimo pesar

[Thiago Nascimento da Silva]

Meus sentimentos à toda família. Forças para o João e para Maia.

Em 27 de ago de 2017 8:16 AM, "JAIME ALEJANDRO BOHORQUEZ VILLAMIZAR" <
jaime.bohorq...@escuelaing.edu.co> escreveu:

> Mis sentimientos de pesar para João Marcos por tan dolorosa noticia.
>
>
> Jaime A Bohórquez
> Ingeniería de Sistemas
> Escuela Colombiana de Ingeniería
>
>
>
> --
> 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+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em https://groups.google.com/a/
> dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse https://groups.google.com/a/
> dimap.ufrn.br/d/msgid/logica-l/BN6PR01MB2308080D363514A3BCDF2
> C4CAD990%40BN6PR01MB2308.prod.exchangelabs.com
> 
> .
>

-- 
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 logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOHRVBWWGp7e7P0LbgwC2kGc2%3DgHWh79A4V6YNxag3zD3%2Bm9kQ%40mail.gmail.com.

Re: [Logica-l] Poincaré e a origem dos 23 problemas de Hilbert

[Thiago Nascimento da Silva]

A Dissertação de mestrado do Evandro Luis Gomes é sobre a história da
lógica no Brasil.



Em 4 de agosto de 2017 10:33, Valeria de Paiva 
escreveu:

> >o próximo ICM, no Rio de Janeiro, para o qual a SBL está organizando um
> evento satélite
>
>  Eba, eba!! tem mais noticias?
>
> e relacionado, mas nem tanto, alguem conhece algum trabalho sobre a
> historia da logica no Brasil?
>
> obrigada,
> Valeria
>
> 2017-08-03 23:31 GMT-07:00 Joao Marcos :
>
>> [em preparação para o próximo ICM, no Rio de Janeiro,
>> para o qual a SBL está organizando um evento satélite...]
>>
>> mais uma do Marcelo Viana na FSP:
>> http://www1.folha.uol.com.br/colunas/marceloviana/2017/08/19
>> 06992-quando-genios-conversam-poincare-e-a-origem-dos-23-
>> problemas-de-hilbert.shtml
>>
>>
>> jm
>>
>> --
>> 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 logica-l+unsubscr...@dimap.ufrn.br.
>> Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>> Visite este grupo em https://groups.google.com/a/di
>> map.ufrn.br/group/logica-l/.
>> Para ver esta discussão na web, acesse https://groups.google.com/a/di
>> map.ufrn.br/d/msgid/logica-l/CAO6j_LjBshOrEU82iG1OZU%2B0_tR
>> Owb-0Rzmqp1OdPxkEchxaXw%40mail.gmail.com.
>>
>
>
>
> --
> Valeria de Paiva
> http://vcvpaiva.github.io/
> http://research.nuance.com/author/valeria-de-paiva/
> http://www.cs.bham.ac.uk/~vdp/
>
> --
> 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+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em https://groups.google.com/a/
> dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse https://groups.google.com/a/
> dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXuqoaDE1Z%
> 2BvSqaaHcCj8ZmWhx%3Dgr8%2B29c-JhaxxqMNQUA%40mail.gmail.com
> 
> .
>



-- 
Thiago Nascimento, Mestrando PPgSC - UFRN.

-- 
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 logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOHRVBWQeGt6Zq_C1BXdRxai5K92Vk3vO_cNOXAjDkC95abdXw%40mail.gmail.com.

Re: [Logica-l] Lógica matemática é a linguagem para falarmos com os extraterrestres

[Thiago Nascimento da Silva]

Coloca para carregar e assim que aparecer o texto, dê um esc ou aperte no x
para parar de carregar a página.

Em 16 de junho de 2017 14:31, Márlon Henrique Teixeira <
marlonhenriqu...@gmail.com> escreveu:

> Conteúdo restrito para assinantes. Se alguém poder colar o texto aqui,
> agredecemos.
>
>
>
> Em 16 de junho de 2017 07:58, 'Samuel Gomes' via LOGICA-L <
> logica-l@dimap.ufrn.br> escreveu:
>
>> ... Aquilo tudo só pra chegar no Paradoxo do Mentiroso ?
>>
>> ... Ou será que a idéia era dizer que o Líder Supremo dos Godelianos é
>> doido ?
>>
>> Ai ai ai... Pobres macaquinhos do Jardim Botânico...
>>
>> []s Samuel
>>
>> --
>> 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 logica-l+unsubscr...@dimap.ufrn.br.
>> Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>> Visite este grupo em https://groups.google.com/a/di
>> map.ufrn.br/group/logica-l/.
>> Para ver esta discussão na web, acesse https://groups.google.com/a/di
>> map.ufrn.br/d/msgid/logica-l/f3366bfe-0aa0-4896-b328-3e3c71
>> 341e43%40dimap.ufrn.br.
>>
>
> --
> 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+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em https://groups.google.com/a/
> dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse https://groups.google.com/a/
> dimap.ufrn.br/d/msgid/logica-l/CABcc%2B%3Dm_NR%
> 3Dsdz7s49SzAx9cYxjCitkG_b5Asv%3D8cqpQQmcWfA%40mail.gmail.com
> 
> .
>

-- 
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 logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOHRVBWj2YUztRobH_GTaMg7-LNbOFR%2B%2BzCY8yJO-fEKAjh4TA%40mail.gmail.com.

Re: [Logica-l] el problema

[Thiago Nascimento da Silva]

O texto diz que se P = NP, então teríamos encontrado algoritmos, no caso
existe, encontrar é outro trabalho.

Em 22 de maio de 2017 18:18, Joao Marcos  escreveu:

> El problema que los informáticos no han podido resolver en 45 años
> - La pregunta "¿P=NP?" trae de cabeza a los programadores desde 1971
> por Ricardo Peña Marí (Universidad Complutense de Madrid)
> http://tecnologia.elpais.com/tecnologia/2017/05/19/
> actualidad/1495202801_698394.html
>
> --
> 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 logica-l+unsubscr...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Visite este grupo em https://groups.google.com/a/
> dimap.ufrn.br/group/logica-l/.
> Para ver esta discussão na web, acesse https://groups.google.com/a/
> dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lgogt27%3DZtjcyDT-
> mrvxtC5BLD-JBW1rOxTuD%2BKdGXudw%40mail.gmail.com.
>

-- 
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 logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOHRVBXONyhA%3Da3NGVSwWSStM8mfk4f6FWXQ_RGHKLq4BvCZQw%40mail.gmail.com.

Re: [Logica-l] new open textbook on incompleteness

[Thiago Nascimento da Silva]

Aparenta fazer as coisas passo a passo. Parece bem interessante.


Em 9 de março de 2017 18:40, Joao Marcos  escreveu:

> "I’m teaching the incompleteness theorems (and related material) this
> term, and of course I’m using the Open Logic Project as a text. The
> relevant sections are based on Jeremy Avigad’s notes, which originally
> were meant as a supplement to Epstein & Carnielli’s textbook
> Computability."
> -- Richard Zach
> http://openlogicproject.org/2017/02/22/new-textbook-on-incompleteness/
>
> --
> 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 logica-l+unsubscr...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Visite este grupo em https://groups.google.com/a/
> dimap.ufrn.br/group/logica-l/.
> Para ver esta discussão na web, acesse https://groups.google.com/a/
> dimap.ufrn.br/d/msgid/logica-l/CAO6j_Ljeu8U1PVnRCm%
> 2BdQvogJSmhpPpDCrKzndCF806MHo%2By3g%40mail.gmail.com.
>

-- 
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 logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOHRVBVwLeTiEF9rPnRouo7uWQb2_yWGUJTVMd%3DdO-kjN_RXGg%40mail.gmail.com.

Re: [Logica-l] Informações sobre Cursos de Verão

[Thiago Nascimento da Silva]

Olá, agradeço pelas informações.

Em 15 de agosto de 2016 11:10, Vítor Godeiro 
escreveu:

> Olá Thiago,
>
> Em anos anteriores ocorreram escolas de verão relacionados ao programa de
> pós-graduação em matemática aplicada e estatística (PPGMAE) na UFRN,
> eventos os quais tiveram cursos e minicursos abordando temas da Lógica.
> Segue o link das escolas anteriores (https://www.ppgmae.ufrn.br/~
> ev/2015/EV2015) e (https://www.ppgmae.ufrn.br/~ev/2016/EV2016). Porém
> para 2017 ainda não foi anunciado nenhuma informação no site do programa em
> questão.
>
> Atenciosamente,
> Vítor de Godeiro Marques.
>
> Em 15 de agosto de 2016 00:10, Thiago Nascimento da Silva <
> thiagnascsi...@gmail.com> escreveu:
>
>> Olá, chega em agosto começam a sair informações sobre Cursos de Verão em
>> Matemática. A Unicamp e ICMC-USP já lançaram o programa de 2017. Alguém
>> possui informações sobre Cursos de Verão em Lógica? Pesquisando aqui no
>> grupo vi que em 2012 teve um Curso de Verão em Teoria dos Tipos na UFPE
>> ministrado pelo Professor Ruy Queiroz, mas nenhum curso além desse.
>> Agradeço.
>>
>> --
>> 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+unsubscr...@dimap.ufrn.br.
>> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>> Acesse esse grupo em https://groups.google.com/a/di
>> map.ufrn.br/group/logica-l/.
>> Para ver essa discussão na Web, acesse https://groups.google.com/a/di
>> map.ufrn.br/d/msgid/logica-l/cb0ad56d-514d-4212-9e66-f2fb7e
>> 0b0a4f%40dimap.ufrn.br
>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/cb0ad56d-514d-4212-9e66-f2fb7e0b0a4f%40dimap.ufrn.br?utm_medium=email&utm_source=footer>
>> .
>>
>
>
>
> --
>
> Atenciosamente,
> Vítor de Godeiro Marques.
>
> --
> 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+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em https://groups.google.com/a/
> dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse https://groups.google.com/a/
> dimap.ufrn.br/d/msgid/logica-l/CAPJc1zQ75H9V8QSkdcsoBssqjT6Eq
> a___U2fydnYt7M4AfL15Q%40mail.gmail.com
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAPJc1zQ75H9V8QSkdcsoBssqjT6Eqa___U2fydnYt7M4AfL15Q%40mail.gmail.com?utm_medium=email&utm_source=footer>
> .
>

-- 
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 logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOHRVBW992hKrMxoz5UdV%2BYoxaaQGu8sKqX1JQGDDvM15KEnxQ%40mail.gmail.com.

[Logica-l] Informações sobre Cursos de Verão

[Thiago Nascimento da Silva]

Olá, chega em agosto começam a sair informações sobre Cursos de Verão em 
Matemática. A Unicamp e ICMC-USP já lançaram o programa de 2017. Alguém 
possui informações sobre Cursos de Verão em Lógica? Pesquisando aqui no 
grupo vi que em 2012 teve um Curso de Verão em Teoria dos Tipos na UFPE 
ministrado pelo Professor Ruy Queiroz, mas nenhum curso além desse. 
Agradeço.

-- 
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 logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/cb0ad56d-514d-4212-9e66-f2fb7e0b0a4f%40dimap.ufrn.br.