[Logica-l] Re: Divertimento lógico

2025-02-10 Por tôpico FRANK THOMAS SAUTTER
Anexo um brevíssimo tutorial para projetar divertimentos lógicos ao estilo do divertimento lógico postado aqui na lista, e sua conexão com a silogística aristotélica. Em dom., 9 de fev. de 2025 às 12:52, FRANK THOMAS SAUTTER escreveu: > Anexo um divertimento lógico para os dias de chuva, c

[Logica-l] Meio off-topic, meio não

2025-02-09 Por tôpico FRANK THOMAS SAUTTER
Anexo um jogo baseado em um jogo de "Winning ways", de Berlekamp, Conway e Guy. Não é, em sentido estrito, uma questão de lógica, mas a técnica para encontrar a estratégia vencedora foi amplamente utilizada por Raymond Smullyan em diversos livros (especialmente os de xadrez), e exemplifica uma boa

Re: [Logica-l] Divertimento lógico

2025-02-09 Por tôpico FRANK THOMAS SAUTTER
, prolo escreveu: > Cesar não matou. > Leila matou. > É só cadeia de implicação e contrapositivo. > Precisa nem usar papel. > > > On Sun, Feb 9, 2025 at 1:10 PM Carlos Augusto Prolo > wrote: > >> Cesar. >> >> On Sun, Feb 9, 2025 at 12:52 PM FRA

[Logica-l] Divertimento lógico

2025-02-09 Por tôpico FRANK THOMAS SAUTTER
Anexo um divertimento lógico para os dias de chuva, como costumo dizer para os meus alunos. Frank Thomas Sautter -- 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" d

[Logica-l] +- OFF-TOPIC: Filosofia da Observação de Aves

2020-09-17 Por tôpico FRANK THOMAS SAUTTER
Haskell Curry, um dos pais da Lógica Combinatória, era um inveterado observador de aves, tendo avistado mais de 600 espécies ao longo de sua vida. O livro de Smullyan "To Mock a Mockingbird", que brinca com uma correspondência entre operadores combinatórios e o comportamento vocal de aves, é uma ho

[Logica-l] Paper de López-Escobar

2020-09-09 Por tôpico FRANK THOMAS SAUTTER
Colegas: alguém teria cópia do seguinte paper, que encontrei uma vez na UNICAMP, e me arrependo até hoje de não ter guardado uma cópia: LÓPEZ-ESCOBAR, E. G. K. Zeno´s paradoxes: pre Godelian incompleteness. Yearbook of the Kurt Gödel Society, 1991. Grato. Frank Sautter -- Você está recebendo e

[Logica-l] Expressividade de conetivos

2017-06-07 Por tôpico FRANK THOMAS SAUTTER
Bom dia a todos. Estou rascunhando um trabalho em que uma das questões discutidas é a expressividade de conetivos clássicos e o seguinte conceito me pareceu útil: Um conetivo * é n-fraco, para n>0, se, e somente se, para todo conjunto de conetivos X - {*} tal que a cardinalidade de X - {*} é n, s

[Logica-l] [OFF TOPIC] Escolha de dado

2017-01-11 Por tôpico FRANK THOMAS SAUTTER
m ano novo a todos da lista. -- Frank Thomas Sautter Universidade Federal de Santa Maria -- 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 pa

[Logica-l] Notae Philosophicae Scientiae Formalis

2013-12-06 Por tôpico FRANK THOMAS SAUTTER
Aos colegas informo que o novo número da revista Notae Philosophicae Scientiae Formalis já está disponível no endereço http://gcfcf.com.br/pt/npsf/ O número inclui as contribuições de Enrique Alonso, Ignacio Angelelli, Eduardo Barrio, Manuel Correia, Oscar Esquisabel, Eduardo Giovaninni, Gisele Se

[Logica-l] Bolsa de produtividade

2013-08-14 Por tôpico FRANK THOMAS SAUTTER
Jean-Yves: uma pequena correção. Na sua lista consta que não sou bolsista de produtividade. Sou bolsista 2, mas a bolsa está interrompida em razão de um estágio pós-doutoral, porque não se pode acumular bolsas. Sua lista deve ter sido gerada no período de avaliação de novos pedidos e nunca mais at

[Logica-l] Variáveis livres

2013-01-01 Por tôpico FRANK THOMAS SAUTTER
Não conheço muito bem essa discussão sobre variáveis livres, mas pode ser que, em parte, seja consequência da má categorização da sintaxe da lógica contemporânea. Explico: fórmulas abertas têm mais afinidade com termos do que com fórmulas fechadas (sentenças); fórmulas abertas são predicados comple

[Logica-l] Proposições indefinidas

2012-12-31 Por tôpico FRANK THOMAS SAUTTER
Segundo Whitaker, em "Aristotle's De Interpretatione", as proposições indefinidas (proposições não-universais sobre universais) respondem por um tipo à parte de proposições, não se identificando com as proposições universais sobre universais. Elas são utilizadas no interior da metafísica, por exemp

[Logica-l] Raciocínio lógico II

2010-01-21 Por tôpico Frank Thomas Sautter
Quando limitei o universo dos avaliados aos "falantes de língua portuguesa", quis me referir aos que conhecem a diferença entre número e numeral. ISSO foi otimista demais. A qualificação "imensa maioria", mesmo nesse caso, não passa de ênfase retórica, e está mal posta. Carolina tem razão. O certo

[Logica-l] Raciocínio lógico

2010-01-20 Por tôpico Frank Thomas Sautter
A questão é, obviamente, de língua portuguesa e não de matemática, ou, ao menos, preponderantemente de língua portuguesa. Ela trata de numerais e não de números. Se perguntassem qual o próximo numeral da sequência, a imensa maioria dos falantes de língua portuguesa não teria dificuldade em acertar.

[Logica-l] Teorema de Gödel

2009-08-12 Por tôpico Frank Thomas Sautter
João Marcos e demais colegas, o Teorema de Gödel guarda semelhança primariamente com o Paradoxo de Berry. Não sei se o próprio Gödel explicita isso na sua demonstração, mas lembro de ter lido em algum livro de Hao Wang que o próprio Gödel vinculava seu resultado ao Paradoxo de Berry. Uma exposição

[Logica-l] Milagres

2009-07-26 Por tôpico Frank Thomas Sautter
João Marcos O maior especialista no Brasil sobre a obra apologética de C.S. Lewis é a Gabriele Greggersen, mesmo porque não é possível falar em especialização tendo publicado apenas um ou outro trabalho sobre o assunto. Lewis tem um argumento interessante para a existência de Deus a partir da exis

[Logica-l] Significado de "(extra)ordinári o"

2009-07-26 Por tôpico Frank Thomas Sautter
Doria, agradeço o esclarecimento sobre a questão física. Poderia fornecer mais alguns detalhes, digeríveis para um leigo? Quanto ao significado de "(extra)ordinário", você precisa atribuir um significado mais amplo à palavra, caso contrário não há discussão possível, eventos extraordinários ficari

[Logica-l] Possibilidades

2009-07-26 Por tôpico Frank Thomas Sautter
João Marcos, ótima a indicação das colunas do Hélio, felizmente ele está de volta após um período de ausência. Nessa coluna em particular, entretanto, ele confunde possibilidade lógica com possibilidade física: um milagre NÃO é uma impossibilidade lógica. Que Calvino e os católicos não possam esta

[Logica-l] Complexidade

2009-07-25 Por tôpico Frank Thomas Sautter
Alvaro, para apreender a complexidade das coisas não é preciso ter uma teoria da complexidade, do mesmo modo que para amar não é preciso ter uma teoria do amor. O deslumbramento dos poetas diante da vida e de suas complexidades é uma prova disso. Você não vai necessariamente estar mais apto a exerc

[Logica-l] deus e crenças

2009-07-25 Por tôpico Frank Thomas Sautter
"Esnobismo cronológico" é invenção de um oxfordiano, professor de literatura inglesa medieval. Indica o erro daqueles que acreditam ser a capacidade cognitiva das pessoas do passado inferior à capacidade cognitiva das pessoas do presente, por serem pessoas do passado. Por exemplo, acreditar que o c

[Logica-l] O deus dos lógicos

2009-07-24 Por tôpico Frank Thomas Sautter
O Deus das principais religiões ocidentais é simples? Ele é uma pessoa: existe algo mais imprevisível do que o comportamento de uma pessoa? Mesmo que ele seja simples, esse não é um bom motivo para ser ateu. Pode ser, quando muito, um bom motivo para não ser judeu, cristão, muçulmano, etc. Quanto

[Logica-l] Concurso Público

2009-01-30 Por tôpico Frank Thomas Sautter
Instituição em 27/01/2009). Sítios: http://www.ufsm.br http://sucuri.cpd.ufsm.br/editais/pdf/edital1587.pdf Grato. Frank Thomas Sautter ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Artigo de periódico

2009-01-09 Por tôpico Frank Thomas Sautter
Colegas, necessito do seguinte artigo de periódico, disponível em JSTOR: "Lewis Carroll as logician", de R.B.Braithwaite. The Mathematical Gazette, 16 (jul. 1932): 174-8. Agradeço a quem puder disponibilizá-lo. Frank Thomas Sautter (UFSM) __