Re: [Logica-l] Triste nota de pesar

r> escreveu: > >> Faleceu no dia 25 de maio nosso querido colega, ex-estudante, orientando >> e companheiro de discussões Antônio (Tony) Marmo, vítima da COVID 19. >> >> Tony foi meu orientando de mestrado na Unicamp, e orientando de >> doutorado do Jean-Yves Bezi

Re: [Logica-l] Triste nota de pesar. Agradecimentos

Carnielli escreveu: > Faleceu no dia 25 de maio nosso querido colega, ex-estudante, orientando > e companheiro de discussões Antônio (Tony) Marmo, vítima da COVID 19. > > Tony foi meu orientando de mestrado na Unicamp, e orientando de > doutorado do Jean-Yves Beziau na UFRJ. >

Re: [Logica-l] Vácuo

Ainda não ficou claro o que "vaccuosly" quer dizer nos contextos elencados. Mas, acho que cada autor pode adotar um sentido ou outro, conforme lhe convém. Em quinta-feira, 8 de abril de 2021, Tiago de Lima < tiagosantosdel...@gmail.com> escreveu: > Olá, > > Depois do email de Daniel Durante eu

Re: [Logica-l] O prêmio de lógica da Espanha 2021

Meus parabéns ao premiado. Em qua, 10 de mar de 2021 21:42, jean-yves beziau escreveu: > O prêmio de lógica da Espanha 2021 foi recentemente atribuído a Víctor > Aranda Utrero para o artigo > "Completeness: From Husserl to Carnap": > http://www.uni-log.org/logic-prize-spain > Ele vai participar

Re: [Logica-l] Fwd: Mesa redonda "Las mujeres en la lógica"

Feliz dia da mulher! Parabéns pela iniciativa. Em seg, 8 de mar de 2021 16:13, Joao Marcos escreveu: > Mesa redonda Las mujeres en la lógica > 9 de marzo a las 4:00PM (GTM-6) > (via Zoom) > > > Panelistas: Atocha Aliseda Llera (UNAM), Itala Maria Loffredo > D'Ottaviano (CLE-UNICAMP), Verónica

Re: [Logica-l] Re: John Corcoran 1937-2021

My geevings to the family. Em qui, 14 de jan de 2021 11:57, Tony Marmo escreveu: > Difícil receber notícias como essas, estando hospitalizado. Mas, minhas > condolências. > > Em qui, 14 de jan de 2021 00:21, Itala Maria Loffredo D'Ottaviano < > it...@unicamp.br> escreveu

Re: [Logica-l] pandemia paraconsistente

que estão fazendo com Jean-Yves! É fascismo puro esse patrulhamento ideológico e estético. Em seg, 21 de set de 2020 04:14, nastassja pugliese < nastassjapugli...@gmail.com> escreveu: > Caro Tony Marmo, quanta ginástica e quanta bobagem. > > Lamento muito que seja preciso faz

Re: [Logica-l] pandemia paraconsistente

gente acha péssimos. Um judeu ortodoxo usando as > roupas daquela garota e fazendo a pose dela ia nos causar um mal-estar > equivalente. > > [[]], > Eduardo > > Bonus link: > > http://duncankennedy.net/documents/Photo%20articles/Sexual%20Abuse,%20Sexy%20Dressing%20

Re: [Logica-l] pandemia paraconsistente

? > > []s > > > Em dom., 20 de set. de 2020 às 14:23, Tony Marmo > escreveu: > >> Ele já mudou as fotos. E a discussão continuou! >> >> Mas, com todo respeito, não há razão alguma para qualquer pessoa se >> indignar com a fotografia de uma mulher de 20 ou

Re: [Logica-l] pandemia paraconsistente

Ele já mudou as fotos. E a discussão continuou! Mas, com todo respeito, não há razão alguma para qualquer pessoa se indignar com a fotografia de uma mulher de 20 ou 30 anos lendo um livro num gramado, usando uma roupa que as alunas da USP, da Unicamp e da UFRJ usam quase todos os dias quando vão

Re: [Logica-l] SeLoI

No texto acima onde se lê "lógicas clássicas" leia-se "lógicas clássicas ou não-clássicas", faltou esse disjunto quando digitei. Em sáb, 19 de set de 2020 11:53, Tony Marmo escreveu: > Vamos por partes. > Pessoas que trabalham com lógicas clássicas pressupõem que ce

Re: [Logica-l] SeLoI

Vamos por partes. Pessoas que trabalham com lógicas clássicas pressupõem que certas fórmulas são ou não antologias em um determinado sistema conforme o sistema é definido. Assim, de fato, o que é um antologia clássica não o é necessariamente em sistemas com três ou mais valores, por exemplo. Um

[Logica-l] Programa "Fronteiras do Pensamento" com Luc Ferry

Aos participantes da lista, Uma recomendação que vale a pena: Hoje na TV Cultura haverá mais um bom programa sobre Filosofia, às 23 horas e 45 minutos. O entrevistado será o filósofo francês Luc Ferry. Os amigos do Rio de Janeiro podem ver se tiverem assinatura. Não sei quando a Rede Brasil

Re: [Logica-l] Discussão: Os Teoremas de Gödel são menos inevitáveis do que parecem...

É preciso ler para comentar. Eu o li. O artigo está muito bem escrito, é claro e informativo. Aliás, tem muito conteúdo. Porém, se me permite uma observação, o tema dele não é exatamente saber qual é o escopo dos teoremas de Gödel. As suas questões fulcrais, que ficam claras ao longo do texto,

Re: [Logica-l] [OFF TOPIC] Doria ameaça recursos da Unesp, Unicamp, USP e Fapesp

É um projeto inconstitucional. Em seg, 17 de ago de 2020 01:15, Walter Alexandre Carnielli < walte...@unicamp.br> escreveu: > Caro Adolfo e demais colegas: > > Por favor assinem esta petição contra o recente golpe do governo de São > Paulo: > > > http://chng.it/f6rSRvnF > > Em dom, 16 de ago de

Re: [Logica-l] Prova de NP=PSPACE no Bulletin of Section of Logic

Eu vejo com muita simpatia trabalhos assim, já que eu mesmo insisto que devemos buscar meios tais que permitam demonstrações as mais breves possíveis. Destarte, esses são assuntos que merecem pelo menos uma atenção cuidadosa. Não é uma questão de ser fã do Pravitz. Tem muitos aspectos positivos

Re: [Logica-l] Re: Lógicas Brasileiras - o site

Parabéns pela iniciativa. Sobre materiais didáticos de lógica: Existe um livro que foi editado em francês a partir de textos de Lewis Carroll, "Logo que Sans peine" que já é famoso. Até hoje é o livro mais didático já feito com alcance para o grande público. Há também algumas histórias do escritor

Re: [Logica-l] Dia Mundial da Lógica 2021 (Lima, Perú)

Boa notícia! Gustavo de saber se estrangeiros, residentes fora do Perú, podem aderir à SPEL. Se sim, como podemos inscrever-nos? Em seg, 27 de jul de 2020 17:40, Prensa SPEL escreveu: > Cara Comunidade Lógica brasileira e lusófona, > a Sociedade Peruana de Epistemologia e Lógica (SPEL), fundada

Re: [Logica-l] [OFF TOPIC] Desinclusão em Lógica/ Ciência

Caro Walter, Primeiramente, força. Você tem razão nos aspectos gerais da sua queixa. Mas, não desanimemos. De certo modo, Jean-Yves já deu uma solução, que é criar outros prêmios de lógica pelo mundo. É como ganhar o Oscar: é bom, mas a Palma de Ouro de Cannes tem igual ou maior prestígio. O

Re: [Logica-l] Múltiplas Conclusões e Múltiplas Consequências

Ah! Também estava querendo lembrar os nomes deles! Obrigado! Valéria, Não tinha visto que era em co-autoria. Mando meus elogios também ao seu parceiro. Vocês dois escrevem bem. Em sex, 5 de jun de 2020 19:01, Joao Marcos escreveu: > > esse artigo já me lembrou de outros que propunham

Re: [Logica-l] Kurt Gödel and the mechanization of mathematics

1. Seria interessante se alguém colocasse aqui uns liames para os artigos originais do Gödel na internet, ou traduções confiáveis. Cotejar o que ele escreveu com o que foi feito por outros depois é um bom método para guiar mais claramente a discussão. 2. A questão de tratar da incompletude num

Re: [Logica-l] Re: Spirit of Contradiction", o filme...

Um filme sobre lógica precisa de dois elementos: um são as vozes dos lógicos explicando o assunto, outro são recursos de animação para ilustrar o que é explicado. Por exemplo, se se vai falar do paradoxo de Aquiles e a tartaruga, faz-se um desenho mostrando a corrida. Se se vai explicar uma ou

Re: [Logica-l] Theological Discourse and Logic

Infelizmente, por motivos pessoais familiares, tive de cancelar minha ida ao evento na Academia Brasileira de Filosofia. Com muita dor por aí não estar. Em seg, 9 de dez de 2019 05:59, jean-yves beziau escreveu: > Mais uma publicação resultando do 2nd WoCoLoR > https://www.uni-log.org/logos >

Re: [Logica-l] Uma nova classe de modelos para a Teoria Paraconsistente de Conjuntos

>>> > >>> > >>> > >>> > On Thu, Dec 5, 2019 at 5:21 PM Walter Carnielli >>> wrote: >>> >> >>> >> Oi Tony, >>> >> >>> >> A pergunta é boa. E a minha resposta, da maneira mais simples >&

Re: [Logica-l] Uma nova classe de modelos para a Teoria Paraconsistente de Conjuntos

amente, o que garante a existência de conjuntos > paraconsistentes? Resposta: seus modelos; > Nossos modelos, baseados em Twist-Valued Models, são bastante > próximos, neste sentido, dos modelos standard de ZF. > Abs > > W. > > Em qui, 5 de dez de 2019 14:05, Tony Marmo > e

Re: [Logica-l] Uma nova classe de modelos para a Teoria Paraconsistente de Conjuntos

Caro Walter, Já que levantou o assunto, vou fazer uma pergunta: Os conjuntos paraconsistentes existem? Uma paráfrase possível para essa pergunta: o que garante a existência de conjuntos paraconsistentes? Obrigado Em qui, 5 de dez de 2019 12:36, Walter Carnielli escreveu: > Caros colegas: >

Re: [Logica-l] Re: a pior tentativa de explicar a hipotese do continuo

Mas, seria bom que o artigo no site da Globo fosse reescrito ou que outro artigo fosse publicado. Na forma que está o artigo em comento, não ajuda os leitores a conhecerem o assunto, porque passa impressões pouco precisas e equivocadas. PS: não conheço o autor do texto, nada tenho contra ele. On

Re: [Logica-l] a pior tentativa de explicar a hipotese do continuo

De fato, você tem razão: o início do texto tem um trecho que diz que a HC é um paradoxo. Eis a passagem: " Estudos recentes de um grupo de matemáticos que trabalham com AM apontam que essa capacidade de aprendizado está relacionada a um paradoxo lógico, conhecido como hipótese continua,

Re: [Logica-l] Capítulo de livro sobre lógica epistêmica

Existe um capítulo sobre o assunto em Carnielli e Pizzi. Lá está bem explicado. Porém, precisará aprender também algo sobre os sistemas com os axiomas T, D, K, 4, etc. On 23 Sep 2019 19:03, wrote: > Olá, pessoal! > > Saudações de Fortaleza! > > Um aluno me perguntou se eu conhecia algum livro de

Re: [Logica-l] Olavismo & Lógica: como ele consegue?

Uma das colunas mais lidas no Brasil, era a do Paulo Francis no caderno "Ilustrada" da Folha de São Paulo. As pessoas riam muito lendo aquilo, mas sabendo que era humor "pseudointelectual" . A piada mais frequente do Francis era pegar uma figura de vulto de uma área qualquer e dizer que ela não

Re: [Logica-l] olavismo & Lógica

Não vale a pena responder. Ele nem sequer entendeu as críticas que aqui foram feitas. Como sempre, partiu para a desqualificação pura e simples dos supostos adversários. Para quem conhece Aristóteles, está claro que ele repete a mesma falácia. Em quinta-feira, 25 de outubro de 2018, Joao Marcos

Re: [Logica-l] Análise de silogismo

Respondendo à sua pergunta final: O uso de premissas contraditórias recebeu mais de um tratamento na Antiguidade. Uma ideia era a de que as contradições trivializavam o raciocínio. Outra era a de que premissas contraditórias não necessitam a conclusão. Você já adentrou a teoria das falácias,

Re: [Logica-l] Porque Mario Ferreira dos Santos não deve ser levado a sério.

: > Prezados colegas, > > Tenho medo que essa conversa do Jessé e o Tony Marmo crê confusão, pelo > menos devemos diferenciar autores sérios de charlatões que falam como se > fossem profetas revelando a palavra de Deus. > > Então, uma mostra do MF dos Santos. > > Olha que não é OFF

Re: [Logica-l] Pontos de conhecimento obrigatório sobre o estudo da lógica formal

Está bom esse resumo. Agora você precisa passar desses conceitos para a parte da lógica formal contemporânea. Veja também o livro de Nicholas Rescher, "Many-valued Logics", para ver além da lógica clássica. Em quinta-feira, 13 de setembro de 2018, Jessé Silva < aprendizforeve...@gmail.com>

Re: [Logica-l] Parabéns ao Tony Marmo por seu Doutorado

t;: >> >>> Car@s, >>> >>> Hesito em classificar esta mensagem de OFF- TOPIC, mas se for o >>> caso, fica classificada condicionalmente. Para isso temos Lógica. >>> Gostaria de parabenizar o Tony Marmo peio seu recente Doutorado na >>>

Re: [Logica-l] Metafísica Analítica - Novo GT da ANPOF

Meus parabéns ao Guido pela iniciativa! É uma figura formidável e liderança autêntica. Em sexta-feira, 23 de fevereiro de 2018, Daniel Durante escreveu: > Colegas, > > Comunico a recente criação do GT de Metafísica Analítica da ANPOF, sob > coordenação do Guido Imaguire, e

Re: [Logica-l] Voltando à discussao cor/raça no Lattes...

Infelizmente, caro Juan Carlos, com uns e outros praticantes de bullying entrando nessa lista para ofender as pessoas gratuitamente, o problema do desrespeito e da perseguição às pessoas fica cada vez maior, de forma que as medidas com objetivo de combater os estigmas ficam sempre atrás da

Re: [Logica-l] Parabéns ao Jean-Yves Beziau.

respeito? Então respeite! Quem fala o que quer, ouve o que não quer! Já escutou esse ditado? Sobre me retirar da lista, eu também não farei isso! Em 24 de maio de 2013 02:06, Tony Marmo marmo.t...@gmail.com escreveu: Não, eu não sou estúpido e não admito que você fale comigo assim. Ou você pede

Re: [Logica-l] Ponto de vista de americanos

Caro Jean-Yves, Todos os brasileiros são americanos, assim como todos os franceses são europeus. Estadunidenses não falam nada disso pois eles acham que é aventura vir para cá. Mas, como dizem os demais, é melhor parar com essa discussão aqui, pois já houve quem me insultasse mesmo com palavras

Re: [Logica-l] Sobre a realização do próximo EBL

Por conta dessa discussão, uma pessoa já me chamou de alienado e de estúpido e disse que não retira o que diz, que não pede desculpas e que vai continuar perturbando por aqui. Você gostaria que fizessem isso com você? Tem gente que não sabe o que é EBL e toma para outro lado a sua colocação.

Re: [Logica-l] Sobre a realização do próximo EBL

Ademais, caro Marcelo, há pessoas aqui escrevendo ofensas aos demais por conta dessa discussão, chamando em aberto as pessoas diretamente de alienadas e de estúpidas, termos que não se aceitam numa lista como essa. O negócio já foi longe demais. Em 24 de maio de 2013 11:41, Marcelo Esteban

Re: [Logica-l] Parabéns ao Jean-Yves Beziau.

E justamente por não ser fechada que não podem acontecer essas coisas de pessoas sem-educação virem aqui e por não terem argumento ficarem chamando os outros de estúpido, de idiota ou coisa do gênero. Até porque quem se juntou a essa lista precisou ser aprovado, pelo que eu me lembre. Mas, ainda

Re: [Logica-l] Parabéns ao Jean-Yves Beziau.

Eu não difamo as pessoas, que consiste em insultá-las em mensagens abertas para que todos vejam como a desqualifico. Por favor, se estou enganado, você me diga uma única vez em que eu chamei em aberto uma pessoa física de idiota, ou de imbecil, ou de estúpido. Nunca faltei ao respeito com ninguém

Re: [Logica-l] Parabéns ao Jean-Yves Beziau.

: http://www.dimap.ufrn.br/pipermail/logica-l/2013-May/thread.html#19201 Sorriam pra ficar bem na foto! =) [[]], Eduardo 2013/5/24 Tony Marmo marmo.t...@gmail.com Essa lista é publicada abertamente na web. Você me difamou diretamente com essa falta de educação. Você não foi jocoso, foi

Re: [Logica-l] Don't feed the Troll

Você está agindo sim como troll e de modo absolutamente inadequado para uma lista de discussão. Para falar o que pensa você não tem de chamar os outros de estúpidos e idiotas. Isto que você é errado, injustificável e inaceitável. A EBL não é lugar para gente sem-educação ou sem hombridade para

Re: [Logica-l] Don't feed the Troll

O troll é quem provoca, é para ele que o administrador deve dizer chega. Em 24 de maio de 2013 21:21, Joao Marcos botoc...@gmail.com escreveu: Será que deveríamos abrir uma consulta democrática para decidir quem é o troll? Chega, Tony. Chega. JM 2013/5/24 Tony Marmo marmo.t...@gmail.com

Re: [Logica-l] avanços recentes em Teoria dos Números

Sentimental não, racional. A eficiente pressupõe sempre a busca pela simplicidade das explicações. Agora, essas conjecturas enunciadas em termos simples não têm demonstrações simples, mas isso não é uma necessidade. Logo logo alguém conseguirá demonstrações muito mais eficientes. É só uma questão

Re: [Logica-l] avanços recentes em Teoria dos Números

É uma opinião bem argumentada. Mas, eu me reservo ao direito de desconfiar dessa medida. Afinal de contas, uma comparação cabível é com o tratamento da gripe: se alguém pode ser curado com vitamina C e repouso não vale a penas apelar para radioterapia, ainda que alguém descubra alguma radioterapia

Re: [Logica-l] avanços recentes em Teoria dos Números

indemonstrável, ñ vai dar pra tomar vitamina C pra queda de cabelo. []s 2013/5/23 Tony Marmo marmo.t...@gmail.com: É uma opinião bem argumentada. Mas, eu me reservo ao direito de desconfiar dessa medida. Afinal de contas, uma comparação cabível é com o tratamento da gripe: se alguém

Re: [Logica-l] avanços recentes em Teoria dos Números

Pois é, disseste bem: do que sabemos. Mas, o que sabemos não é o limite de tudo. O saber constantemente se amplia. Do que se sabia no século XIV, nada indicava que fosse possível fazer máquinas voadoras que chegassem a Vênus. Em 23 de maio de 2013 11:59, Joao Marcos botoc...@gmail.com escreveu:

Re: [Logica-l] EBL 2014 discussao aberta

Jean-Yves, quero apontar o seguinte: o custo de traslado e hospedagem é fundamental para todos, principalmente para quem não tem bolsa nem financiamento. Ter uma cidade com infraestrutura é essencial, mas é preciso que seja mais barata. Não dá para fazer no Acre, por exemplo, porque a maioria dos

Re: [Logica-l] EBL 2014 discussao aberta

Eu não vou correr esse risco no Acre pq simplesmente não posso pagar a passagem para lá ir. E depois hospitais funcionando direito não há, como os jornais mostram. E se houver não dá para arriscar. Gente, ponham na cabeça que as pessoas não têm dinheiro em quantidade infinita enumerável para

Re: [Logica-l] Parabéns ao Jean-Yves Beziau.

Não é mudando o sentido do que as pessoas dizem que você pode contribuir para a discussão. Lamentável, meu caro, é não ter dinheiro para viajar e hospedar-se em qualquer canto do país. Se você acha que as pessoas por serem pobres e não poderem bancar os custos das coisas que os outros organizam

Re: [Logica-l] Lógica na floresta

Pois é o que estou falando: uma pessoa sair de um lugar em que o custo de vida é mais alto para passar uns dias onde o custo de vida é mais barato é muito mais lógico do que fazer o contrário. Em 24 de maio de 2013 00:46, Eduardo Ochs eduardoo...@gmail.com escreveu: Tá, então vamos supor que o

Re: [Logica-l] Parabéns ao Jean-Yves Beziau.

mais! Se isso não for alienação, eu não sei mais o que é. Em 24 de maio de 2013 00:49, Tony Marmo marmo.t...@gmail.com escreveu: Primeiramente, você não tem o direito de desqualificar os outros. Segundo, alienado é quem acha que o preço de hotéis e passagens para Manaus, sendo muito maiores

Re: [Logica-l] Parabéns ao Jean-Yves Beziau.

perdeu a paciência agora! Em 24 de maio de 2013 01:29, Tony Marmo marmo.t...@gmail.com escreveu: Aí, você diz que é meu caso. Está me desqualificando sim. Ora bolas, as pessoas que saem de Rio Branco no Acre se passarem uns dias em Presidente Prudente ou São José dos Campos gastam menos com

Re: [Logica-l] Lógica na floresta

desde as cidades onde vão chegar os participantes internacionais. Abraço, Pedro Zambrano. 2013/5/23 Tony Marmo marmo.t...@gmail.com Pois é o que estou falando: uma pessoa sair de um lugar em que o custo de vida é mais alto para passar uns dias onde o custo de vida é mais barato é muito

Re: [Logica-l] João Ricardo Moderno, Chevalier de l’Ordre des Palmes Académiques

Creio que ainda não conheço pessoalmente o homenageado, mas dou-lhes os parabéns e felicitações, considerando que a honraria é extensiva aos demais filósofos brasileiros e franceses, e bem assim aos seus colegas e alunos. Em 21 de maio de 2013 18:32, jean-yves beziau beziau...@gmail.comescreveu:

Re: [Logica-l] Memórias de um matematiqueiro

desconhecimento a respeito deles): você já ouviu falar em criptografia RSA? e da hipótese de Riemann? Acho, sinceramente, que você não entendeu a piada. JM 2013/5/17 Tony Marmo marmo.t...@gmail.com: É óbvio que essas coisas da matemática elementar são noções tão acessíveis que qualquer um pode brincar

Re: [Logica-l] Memórias de um matematiqueiro

, contudo, que muitas destas conjecturas e discussões na realidade acabam é pondo meus próprios limites à prova. Abraços óbvios, e bom trabalho para você, Joao Marcos 2013/5/17 Tony Marmo marmo.t...@gmail.com: Já que você cutucou, que tal colocar aluas suas de geometria diferencial, topologia e

Re: [Logica-l] Memórias de um matematiqueiro

Caro Walter, Você está correto ao diagnosticar o caso como algo que contribui mais para a ignorância das pessoas. Sem dúvida. Mas, não sei se o sujeito estava de brincadeira ou falando a sério. Por outro lado, você já viu o velho documentário Cosmos de Carl Sagan? O Carl Sagan conhecia muito bem

Re: [Logica-l] Memórias de um matematiqueiro

a teoria da relatividade, sobre a Biblioteca de Alexandria... e até mesmo sobre computadores, quando por aqui praticamente ninguém ainda tinha um em casa). Está tudo no livro, se você quiser conferir. Cada povo tem a BBC que merece. :-) JM 2013/5/15 Tony Marmo marmo.t...@gmail.com: Caro Walter

Re: [Logica-l] Memórias de um matematiqueiro

pilantragem qualquer durante a 2a Guerra Mundial?) Sem dúvida, no Brasil fizeram coisas bem melhores. E tenho dito. JM 2013/5/15 Tony Marmo marmo.t...@gmail.com: Mas, é óbvio que eu conferi, João Marcos. Eu vi o seriado e o livro, posso criticar sim. O seriado Cosmo tem centenas de fans

Re: [Logica-l] Motivações e implicações filosóficas para as traduções entre lógicas.

é, teoremas, ou 'verdades relativas´, isto é, deduções). Walter Em 12 de maio de 2013 22:15, Tony Marmo marmo.t...@gmail.com escreveu: Caro Márcio, A resposta de Jean-Yves cobre com muita propriedade o assunto. Quanto à pergunta abaixo é simples: simplificando muito e de modo muito

Re: [Logica-l] Motivações e implicações filosóficas para as traduções entre lógicas.

Em 12 de maio de 2013 22:15, Tony Marmo marmo.t...@gmail.com escreveu: Caro Márcio, A resposta de Jean-Yves cobre com muita propriedade o assunto. Quanto à pergunta abaixo é simples: simplificando muito e de modo muito resumido, duas linguagens lógicas são dois modos de

Re: [Logica-l] Motivações e implicações filosóficas para as traduções entre lógicas.

As motivações incluem a própria questão da preservação da verdade e a necessidade de estudar lógicas-objeto a partir de meta-lógicas. Em 12 de maio de 2013 16:39, Marcio Cunha marciocunha...@gmail.comescreveu: Olá. Alguém pode me dizer por onde eu devo começar a pesquisar para estudar as

Re: [Logica-l] Motivações e implicações filosóficas para as traduções entre lógicas.

exemplo mais concreto sobre a questão da preservação da verdade que envolva a necessidade de uma função tradução entre dois sistemas lógicos? Estou falando, claro, do ponto de vista da motivação e implicação filosóficas. Em 12 de maio de 2013 16:42, Tony Marmo marmo.t...@gmail.com escreveu

Re: [Logica-l] ainda sobre o assunto das publicaç ões, citações etc

Vou insistir mais uma vez num pedido, mesmo que seja a favor de uma ou duas pessoas falecidas: por favor, respeito. Respeito ao Chico Xavier que não merece ser chamado de pilantra, assim como o Rabino Sobel, como o Papa Francisco, como o frei Beto e tanta gente mais que vive sua religiosidade a

Re: [Logica-l] extraordinary claims demand extraordinary evidence

De fato João Marcos, é intuitivo e mesmo parece sensato esperar que afirmações extraordinárias necessitem de indícios ou provas extraordinárias. Mas, aí há um pequeno detalhe crucial: definir o que seria extraordinário para as alegações e o que seria extraordinário para os indícios ou provas.

Re: [Logica-l] 11 dreams for the publishing debate, by Peter Krautzberger

Caríssimos, Com respeito a todos aqui e consideração e admiração pelos debatedores acima, venho pedir o re-estabelecimento da paz e calma dos ânimos. Vamos procurar debater mas sem desqualificar ninguém. Não personalizemos as críticas tampouco. Podemos falar dos milagres sem mencionar santos,

Re: [Logica-l] off topic

Caro Professor, O reconhecimento que já tem no exterior e a confiança de pessoas como Newton da Costa são evidentes. Quero dizer que também eu tenho simpatia pelo seu trabalho e atitudes, independentemente dessa repercussão positiva. Não se precisa de muita referência oficial para perceber a sua

Re: [Logica-l] the death of proofs

Caro João, Poderia. Ocorre que eu tenho muitos livros e pdfs comigo e para buscar esses exemplos teria de sacrificar mais meu tempo. Mas, ocasionalmente a gente acaba esbarrando em textos que dão teoremas que dizem o mesmo que as definições, ou que na demonstração colocam paráfrases da proposição

Re: [Logica-l] the death of proofs

, é melhor mudar de livro... JM 2013/4/22 Tony Marmo marmo.t...@gmail.com: Caro João, Poderia. Ocorre que eu tenho muitos livros e pdfs comigo e para buscar esses exemplos teria de sacrificar mais meu tempo. Mas, ocasionalmente a gente acaba esbarrando em textos que dão teoremas

Re: [Logica-l] the death of proofs

for simplesmente uma propriedade unária cujo domínio tem o *tipo* fbf, a tarefa em questão pareceria em tudo legítima. JM 2013/4/22 Tony Marmo marmo.t...@gmail.com: Vira e mexe acho um caso, acabei de achar cinco minutos depois. Não dou o nome do santo, até porque não é o único e não vem ao caso

Re: [Logica-l] the death of proofs

, entoa seu quadrado é menor que ele. Aproveite a tarde e tente provar isso :-) W. Em 22 de abril de 2013 16:21, Tony Marmo marmo.t...@gmail.com escreveu: Vira e mexe acho um caso, acabei de achar cinco minutos depois. Não dou o nome do santo, até porque não é o único e não vem ao caso

Re: [Logica-l] the death of proofs

algum teorema que nao seja equivalente a P-- P? Esta lista vai gostar de saber... Em 22 de abril de 2013 16:45, Tony Marmo marmo.t...@gmail.com escreveu: Primeiramente, ainda bem que você não tentou salvar a coisa com o argumento de que se trata de pensamento matemático. Pelo amor, os

Re: [Logica-l] the death of proofs

É que eu observo muito bem. Mas, deixe estar. Em 20 de abril de 2013 15:34, Walter Carnielli walter.carnie...@gmail.comescreveu: Ola Tony, eu nunca vi uma prova dessas. Se você encontrou alguma assim, é melhor mudar de livro... :-) Walter Em 20 de abril de 2013 14:53, Tony Marmo

Re: [Logica-l] the death of proofs

14:53, Tony Marmo escreveu: Caríssimos, Eu já tenho um exemplo típico de prova da qual eu discordo, que segue o seguinte esquema: 1. Primeiro vem uma definição qualquer, X =def alpha. 2. Depois vem um teorema que diz a mesma coisa que a definição, Teorema: Todo X é alpha. 3. Por fim, vem

Re: [Logica-l] the death of proofs

João, Para contribuir para essa discussão que você instaurou aqui, pergunto o seguinte: você poderia dar exemplo de uma prova comumente encontrada em livros de lógica, ou artigos, sejam de natureza introdutória, sejam mais avançados, com qual você não esteja de acordo? Muito obrigado se você

Re: [Logica-l] ainda sobre as falacias (respondendo a thread de Decio Krause)

Júlio, Sobre a primeira pergunta, na verdade uma lógica praconsistente não deixa de por essa característica ser consistente. Acho que o discurso que apresenta as lógicas paraconsistentes em geral é consistente e paraconsistente também. Em 19 de março de 2013 10:38, Julio César

Re: [Logica-l] ainda sobre as falacias (respondendo a thread de Decio Krause)

Depende de como as pessoas interpretam as consequências dos teoremas de Goedel. Goedel mostrou no fundo que matemática e lógica não se confundem, caso contrário seria possível à Aritmética de Primeira Ordem demonstrar sua consistência e completude ao mesmo tempo. [Sei que os chatos vão dizer que

Re: [Logica-l] ainda sobre as falacias (respondendo a thread de Decio Krause)

Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause Em 12/03/2013, às 16:25, Tony Marmo escreveu: Aos dois grandes mestres, 1. A parte da experiência de ensinar

Re: [Logica-l] ainda sobre as falacias (respondendo a thread de Decio Krause)

Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause Em 11/03/2013, às 11:17, Tony Marmo escreveu: Caro Professor Décio, Aproveitando essa discussão, pergunto: não é esse tipo de dúvida mais uma prova de

Re: [Logica-l] ainda sobre as falacias (respondendo a thread de Decio Krause)

Caro Professor Décio, Aproveitando essa discussão, pergunto: não é esse tipo de dúvida mais uma prova de que já é o tempo de começar o ensino da lógica *não mais* pela lógica clássica? Em 10 de março de 2013 23:12, Décio Krause deciokra...@gmail.com escreveu: Oi, Luiz Sim, concordo plenamente

Re: [Logica-l] medindo o nível de dificuldade de uma derivação

Caro João, Tenho muita simpatia pela pergunta, mas é aquela velha história do pescador que se encanta mais pela rede do que pelo mar. Contar o número de regras usadas e de passos pode ser um meio para medir uma derivação, porém será um entre vários meios de medição. E segundo, para medir será

Re: [Logica-l] CLE passa a integrar a Associação Latino-Americana de Filosofia Analítica (ALFAn)

Muito obrigado pelo informe e dou meus parabéns aos prosf. Walter Carnielli, Itala D'Ottaviano e Marcelo Coniglio, e extensivamente a todos nós, por entrarmos nessa nova etapa. Em 5 de março de 2013 10:04, Walter Carnielli walter.carnie...@gmail.comescreveu: Caros Colegas e Funcionários: a

[Logica-l] Pseudo-complementos, álgebra de Stone

Caríssimos amigos, Estou procurando algo que, segundo me parece, deva ser trivial, mas não achei. É um fato conhecido que se um sub-reticulado S* de uma álgebra de Stone S contiver os pseudo-complentos dos elementos de S, S*={s* pertence S: s pertence a S}, então S* é uma álgebra de Boole.

[Logica-l] E-mails que não enviei

Caros amigos, Dois endereços eletrônicos meus foram usados para enviar e-mails falsos inclusive para antigos endereços meus, com links suspeitos. Não fui eu quem os enviou e não faço ideia de como meu e-mail tenha sido hackeado, mas estou avisando a todos para que não pensem que são meus e nem

[Logica-l] Alex Oliver sobre a Subclasse vazia Re: SCimago vs Premio Nobel

Caro Jean-Yves e demais amigos da lista, Como Jean-Yves mencionou algumas pessoas que lecionam em alguns centros importantes, fui procurar dar uma rápida olhada no que publicavam. Não posso escrever muito, pois estou com tendenite, mas achei curiosa uma afirmação que se encontra no artigo de Alex

[Logica-l] Reticulado, Lattice, usos em Português

Caríssimos amigos, Como a gente sempre se vê às voltas com traduções de um idioma a outro, gostaria de saber dos colegas, principalmente os matemáticos, se algumas expressões lhes são familiares em Português ou como as preferem usar: 1. a. A primeira é se se usa retículo tanto quanto reticulado

Re: [Logica-l] SCimago vs Premio Nobel

Para registro tão somente: Jean-Yves Béziau trabalha como professor na Universidade Federal do Ceará mas é natural da França. Muito obrigado pelos seus elogios, da parte que toca a todos nós brasileiros. Aliás, é bom que reconheçam o valor das Universidades brasileiras e dos seus estudantes de

Re: [Logica-l] SCimago vs Premio Nobel

2013 13:41, Walter Carnielli walter.carnie...@gmail.com escreveu: Corrigindo, para registro: Jean-Yves eh professor na UFRJ, e o fato de ele ser (meio) francês não interessa na discussão... Em 02/02/2013 12:37, Tony Marmo marmo.t...@gmail.com escreveu: Para registro tão somente: Jean-Yves

Re: [Logica-l] a resposta do Zerrmelo Fraenkel

* * * * *--* *Décio Krause* *Departamento de Filosofia* *Universidade Federal de Santa Catarina* *88040-900 Florianópolis - SC - Brasil* *http://www.cfh.ufsc.br/~dkrause* *--* Em 28/01/2013, às 02:16, Tony Marmo marmo.t

Re: [Logica-l] a resposta do Zerrmelo Fraenkel

Caro Professor, A mim a primeira leitura e estudo da teoria de conjuntos axiomática pela visão dos matemáticos é que se trata muito mais de uma teoria metafísica que também pode tratar de questões matemáticas. Eu estava muito mais acostumado com a visão da filosofia analítica até então. Não

Re: [Logica-l] a resposta do Zerrmelo Fraenkel

Só para constar, Professor Décio Krause é um importante pesquisador brasileiro, com contribuições relevantes, tanto de sua autoria única como em coautoria com o Professor Newton da Costa, apenas para citar o seu parceiro mais conhecido. Como exemplo do tipo de preocupações que seu trabalho

Re: [Logica-l] a resposta do Zerrmelo Fraenkel

Alors, il n'y a pas de singes, pas de molécules, etc. Enfin, aucun problème. Ou seja, existem dois sentidos para o termo conjunto nos livros (de introdução à teoria de conjuntos): no sentido exclusivamente matemático é somente uma abstração e seus elementos são abstrações matemáticas também. O

Re: [Logica-l] a resposta do Zerrmelo Fraenkel

Muito obrigado, Rodrigo. Permita-me citá-lo, na sua reflexão genial que chega ao ponto que eu queria: Com relação aos conjuntos de objetos concretos, acredito que o entendimento standard na filosofia analítica é que conjuntos podem conter objetos concretos. Talvez o exemplo mais marcante seja o

Re: [Logica-l] Cantor's Theorem: the movie

, reconstruí-los. Para passar uma ideia é suficiente, como vc diz, conhecer essa ideia. Para intervir positivamente na compreensão de uma ideia, eu acho que é necessário saber muito mais que essa ideia. Carlos 2013/1/21 Tony Marmo marmo.t...@gmail.com: Walter, Os norte-americanos tentam sempre

Re: [Logica-l] Cantor's Theorem: the movie

Walter, Os norte-americanos tentam sempre popularizar ciência desse jeito. Mas, pelo menos tentam. Muita coisa nada a ver metida no meio, como o som alto e a moça no quarto, ficou sem foco. A explicação em si não esclarece nada. O esforço para ensinar Matemática passa por três pontos: primeiro

Re: [Logica-l] Cantor's Theorem: the movie

Então João, você encontrou um ponto histórico interessante para auxiliar numa aula. Mas, veja outro caso: começar a ensinar topologia pelo problema das 7 pontes de Conisberga funciona bem, melhora o entendimento e desperta mais o interesse. Em 21 de janeiro de 2013 19:27, Joao Marcos

  1   2   3   >