[Logica-l] um quebra-cabeças interessante

Ois, É bem provável que alguns de vocês conheçam esse probleminha - parece que foi a final de uma espécie de olimpíada de matemática na França na década de 90. Eu o recebi de um amigo no último fim de semana. Consegui resolver, mas precisei trabalhar apenas com inteiros positivos como valores poss

Re: [Logica-l] cinco velinhas

Um cheiro e um queijo, João! :) Andrea Em 25 de março de 2011 16:01, Decio Krause escreveu: > João é um bom companheiro, João é um cara batuta... > Obrigado por manter a lista, João. Como os demais, agradeço e reconheço seu > esforço e valor. > Abraço, > Décio > > ___

Re: [Logica-l] A mais curta demonstração de que P =/= NP

hahaha... mais uma versão sofisticada do paradoxo do mentiroso! Gostei! Vou ter diversão para hoje com meus netos! Vamos ver se eles descobrem por que C) não é uma sentença! Mas, como eles ainda nao sabem o que é ser P-completo ou NP completo, vou por no lugar de A) a sentença "0=1", ok? Mande ma

[Logica-l] Fwd: Questão de lógica na prova para professores de SP

, creio, o melhor protesto seria o que viesse da SBL. O erro é tão grosseiro que não me parece ser o caso de um artigo e sim de uma denúncia. É realmente revoltante. Andrea -- Mensagem encaminhada -- De: Andrea Loparic Data: 9 de setembro de 2011 17:13 Assunto: Re: [Logica-l] Questão

Re: [Logica-l] RES: Questão de lógica na prova para professores de SP

Pessoal, antes de qualquer coisa, precisamos saber onde, quando e em que circunstâncias isso ocorreu. Carlos, como você tomou conhecimento da questão? Que curso, que concurso é ou foi esse? Quando isso ocorreu? Foi aqui mesmo em SP, capital? Enfim, gostaria de identificar melhor o fato para poder f

Re: [Logica-l] Fwd: De la parte de la nieta de Ken Lopez-Escobar

Lamento muitíssimo. Gostava muito de tudo que ele fazia. E era um extraordinário expositor. Uma grande perda par a lógica latinoamericana. Andrea ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] S5 não funciona

Aviso aos navegantes: S5 tem apenas 6 modalidades : A,~A, LA, ~LA, MA, ~MA. De (MA & M~MA) segue-se qualquer coisa, uma vez que M~MA equivale em S5 a ~MA e S5 contém a lógica clássica. Portanto, Rodrigo, você tem toda razão de achar que quem acredita ter sentido dizer que algo atualmente quebráv

Re: [Logica-l] S5 não funciona

Tiago escreveu: > Então, como disse Andréa: possivelmente inquebrável implica > necessariamente não quebrado. É estranho mesmo. Eu não digo isso, não... Quem diz isso é S5 ... ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi

Re: [Logica-l] particularmente sobre "consequencia sintatica"

Caros João e Daniel, Eu gosto bastante dessas discussões também, só sou preguiçosa demais para escrever com mais frequência. Sobre esse ponto específico, penso que na expressão "consequência sintática", que decerto não é das mais luminosas, a palavra "sintática" não é um qualificativo. Na verdade,

Re: [Logica-l] sobre diferentes noções de consequência

João, Daniel e demais colegas, Vou viajar domingo e assim estou sem tempo suficiente para tentar formular alguns palpites que ajudem ao aprofundamento dos temas aqui debatidos, mas quero pelo menos dizer uma coisa: esse tipo de discussão é, a meu ver, o que há de mais interessante numa lista como

Re: [Logica-l] "provas" x "demonstrações", em Lógica

Ois, Eu sempre vi e usei "prova"como sinônimo de "demonstração" e ambas como *deduções* sem premissas hipotéticas - nesse sentido, por exemplo é que temos a expressão "Teorema da Dedução" - e não da Demosntração. Mas há um ponto em que acho que o João tem razão: a expressão "provável" não é uma

Re: [Logica-l] "provas" x "demonstrações", em Lógica

prova*etc e > pronto. > > Abraços, > > Elaine. > > 2011/11/5 Valeria de Paiva : >> ok, ok. e' verdade Andrea, deducoes sem premissas... >> >> abs, >> valeria >> >> 2011/11/5 Andrea Loparic : >>> Ois, >>> >>> Eu sempr

Re: [Logica-l] Um "Banco de Teminologia"

Eu acho boa a ideia do Walter com uma explicitação e uma restrição. A explicitação: reforçando o caráter absolutamente não normativo (como aliás foi a sugestão inicial), o banco de dados poderia ser realmente um inventário de termos usados em artigos e/ou traduções efetivamente publicados em papel

Re: [Logica-l] Sobre o " banco de terminologia"

Walter, desculpe o repeteco, mas vi agora que a minha msg foi só pra você e, embora respondendo a você, eu pensei em mandá-la para todos então lá vai a msg com mínimas revisões. Walter e demais colegas, Olha só: eu é que estava vendo a corrida

Re: [Logica-l] Sobre o " banco de terminologia"

João, Eu entendo bem o que você quer marcar. Costumo apontar com ênfase o ponto nos meus cursos, só, talvez, com uma postura menos xiita... :) Concordo plenamente que quem introduz uma sintaxe não apresenta uma lógica; e acho muito importante que isso fique bem claro. E concordo também que a expre

[Logica-l] Feliz natal

Aos colegas lógicos, Cliquem no link para receber meu cartão de Natal http://www.jacquielawson.com/viewcard.asp?code=3188630304566&source=jl999 PS - Sou eu mesma, Andréa, não é virus... Deixem-me provar - ou demonstrar :) - Tarski escreveu famosos artigos sobre a verdade - Godel

Re: [Logica-l] Vem aí o projeto de lei para regulamentação da filosofia clínica!!

Gente, isso é uma completa picaretagem. Não tem ninguém sério, com formação e atuação real de ensino e pesquisa na área de filosofia que esteja metido nessa fria. Não acho que tenha a menor chance de passar e virar lei. De qualquer forma, estamos assinando uma petição contra o tal projeto. Que car

Re: [Logica-l] Minha posição

Doria, antes podia até haver "gente boa" nesa academia. Eu não sabia que você e Newton lá estavam quando mandei a msg anteior. Gente boa que se reune pra conversar, tomar cerveja, trocar idéias com uns e outros, sem exigir carteirinha, até ai tudo bem -- embora dar a esse convescote o nome de Acad

Re: [Logica-l] Tsuji, Delfim Netto.

Chico, Contam que perguntaram a Santo Tomás de Aquino: -- se Deus lhe desse o direito de pedir-Lhe resposta para uma única pergunta, o que você perguntaria? E Santo Tomás respondeu: -- Senhor, o que eu escrevi é verdade? Pois é, lembrei-me disso quando vi o video de vocês com o Nassif. Ignoran

Re: [Logica-l] FW: Lógicos brasileiros refutam as teses neoliberais

Você não está criticando, Décio. Você está ofendendo a muitos de nós, que pensamos e agimos politicamente de modo muito diferente de você. Mas quero me manifestar de um modo mais geral sobre o que tem me incomodado. Uma lista temática congrega pessoas que podem divergir muito em temas alheios aos

Re: [Logica-l] Qualis-ficação dos periódicos da área de Lógica - VOTAÇÃO online

João e demais participantes desta lista, Estava me mantendo fora dessa discussão porque não acredito em "critérios científicos" de avaliação de produção acadêmica. Ainda acho que avaliadores dotados de honestidade e competência erram muito menos que contagem feitas com esses critérios ditos objeti

Re: [Logica-l] Wikiversidade: departamento de lógica

Isso mesmo, Walter. Andrea Em 3 de abril de 2012 16:25, Walter Carnielli escreveu: > Caro Ricardo, > > eu não sei quem está fazendo isso, mas me parece muito fraco, Um > desserviço à educação na minha opinião. Melhor que os estudantes > sejam alertados para não pensar que Lógica é isso.

Re: [Logica-l] Wikiversidade: departamento de lógica

Olá, Walter, Decio, João, Ricardo e demais amigos, Quando eu era coordenadora da Pós da USP e colaboradora do site da ANPOF tentei lançar a idëia de um Glossário da Filosofia em português, onde, naturalmente haveria espaço para a lógica. O João Carlos se entusiasmou, chegamos até a criar o logo do

[Logica-l] desafio

Ois, Recebi de um amigo e mando pra vocês. Garanto que o valor à direita da igualdade é de fato uma função calculável a partir do que aparece à esquerda do mesmo sinal. Por favor, só digam na lista que resolveram e em quanto tempo, mas não divulguem nela a resposta pra não estragar a brincadeira

Re: [Logica-l] desafio (agora vai)

Oi, esqueci de mandar o problema... Agora vai pelo dropbox do João. https://dl.dropbox.com/u/9291912/misc/desafio1.jpg Boa diversão, Andrea ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] desafio (agora vai)

Estou encantada com vocês!!! Bem-aventurados Comigo não foi assim, de prima, não. Nos primeiros 5 minutos, achei que era pegadinha e desisti depois de tentar algumas hipóteses - todas inacessíveis a crianças do jardim de infância. Ai, a pessoa que me mandou o puzzle (meu computeiro rebento) ma

Re: [Logica-l] Fwd: Walter Carnielli: indicação para medalha de ouro

Oi Walter, Eu também mandei os parabéns , só que, como já aconteceu de outras vezes, cliquei no "Responder" e não no "Responder a todos" veja a cópia abaixo: ======= Andrea Loparic 17:11 (18 horas atrás) para Quelen Walter,

Re: [Logica-l] parabens / porcao

Caro JM, Eu sei do que você está falando. Já administrei algumas listas e me deparei com problemas semelhantes. Bem, hoje em dia cheguei a uma posição: grupos grandes como o nosso têm sempre intolerantes sem paciência - eu mesma estou mais nesse time - e outros que não dispensam uma conversa de b

Re: [Logica-l] parabens / porcao

Decio, não há nada de mau na devassa ( aliás, eu a chamei "light")... A sugestão visava apenas criar espaço para todos os gostos e estilos. Duvido que alguém lhe queira fora dessa convivência. Eu, com certeza, nao quero! Beijo, Andrea. ___ Logica-l mailin

Re: [Logica-l] dúvida sobre os sistema K e T de Hughes e Cresswell

Prezado Luis, Creio que sua dúvida será esclarecida se partirmos da diferença entre dois usos corriqueiros das derivações: a) provas de teoremas b) deduções a partir de um conjunto de hipóteses. Os sistemas de H&C são apresentados no modelo a). Ora o modelo a) é um caso particular do b) - quando

Re: [Logica-l] Fwd: Desafio Sherlock Holmes por Blog IF & Coquetel

Mori diz: "Pelo menos um de nós não é o assassino" ; ergo: Mori , que fala a verdade, é o assassino e Art, embora mentiroso, é inocente. Como se chega a essa conclusão? 1) Uma vez que cada um deles diz que é culpado, como um deles sempre mente, tem que haver um mentiroso não culpado; assim,

Re: [Logica-l] (sem assunto)

Acho que deve ter no CLE. E o próprio Newton não tem, Decio? Ele costuma colecionar essas coisas muito cuidadosamente. Abs Andrea Em 20 de setembro de 2013 16:30, Abílio escreveu: > Prezados > Tb gostaria de uma copia > Abracos > Em 20/09/2013 17:51, "Décio Krause" escreveu: > > > Se alguém ach

Re: [Logica-l] Nota de profundo pesar

Muito triste com a notícia que acabo de ler. Elias foi um grande amigo. Homem simples, generoso, afetivo, sempre do lado do bem. Fico com muita saudade. Andréa Em 5 de novembro de 2013 17:30, Walter Carnielli escreveu: > Caros colegas, > > > trago aqui a triste notícia do falecimento do Prof.

Re: [Logica-l] Tradução de "entailment"

Essa discussão é velha, a gente já conversava sobre isso na época da fundação do CLE, num bar que ficava ao lado da Rodoviária, esqueci o nome, e onde começou o Kampinas Kreis - que era o apelido que o Newton dava ao time in illo tempore. Nunca conseguimos nada melhor do que "acarretar", ainda que

Re: [Logica-l] consequencia significativa

Marcelo, essa era a famosa tradução do Balthazar, apregoada depois das várias doses de Underberg co m Steinhager, nas reuniões do Kampinas Kreiss no bar da Rodoviária, dos tempos heroicos da fundação do CLE - 1976. P enraba Q, mas Q não enraba P: quem enraba nãoP é só nãoQ... etc... Andrea Em

Re: [Logica-l] consequencia significativa

es da lógica ... > > Agora, sim, sabemos o que esta argucia toda acarreta. > > []s > > Marcelo > > > 2013/11/20 Andrea Loparic : > > Marcelo, essa era a famosa tradução do Balthazar, apregoada > > depois das várias doses de Underberg co m Steinhager, nas > &

Re: [Logica-l] Oitava velinha

Parachoques paralelepípedos e, porque não? Parabéns, clássicos paracompletos e paraconsistentes! Andréa Patalógica Em 24 de março de 2014 13:15, O Administrador da LOGICA-L < logica-l-ow...@dimap.ufrn.br> escreveu: > O tempo realmente voa: a LOGICA-L (hoje com 426 inscritos) está > completando

Re: [Logica-l] Oitava velinha

Desculpem-me a pressa: Onde se lê "porque"na msg anterior, leia-se "por que". Obrigada. Em 24 de março de 2014 16:30, Andrea Loparic escreveu: > Parachoques paralelepípedos e, porque não? > Parabéns, clássicos paracompletos e paraconsistentes! > > Andréa Patalóg

Re: [Logica-l] Verbete Wikipedia

Sugiro que façamos um abaixo assinado denunciando o verbete como uma aberração, um texto escrito por impostores que, além de muito ignorantes, devem ser no máximo bineuroniais.. E que, depois de assinar com todos os nossos títulos e qualificações, enviemos para os responsáveis, com cópia para CNPq,

Re: [Logica-l] Verbete Wikipedia

; *Décio Krause* > *Departamento de Filosofia* > *Universidade Federal de Santa Catarina* > *88040-900 Florianópolis - SC - Brasil* > *http://www.cfh.ufsc.br/~dkrause <http://www.cfh.ufsc.br/~dkrause>* > *--* > > Em 31/0

[Logica-l] Vocês ja viram essa paródia? :)

https://www.youtube.com/watch?v=mHD08tI0T30 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Convite para defesa de doutorado

Calorosos parabéns, caro Rodrigo. Gostaria muitíssimo de ter cópia da sua tese. Seu tema me interessa bastante. Se estiver digitalizada em pdf, você me mandaria uma cópia ou me diria como obtê-la? Obrigada e grande abraço, Andrea Em 12 de maio de 2014 20:32, Walter Carnielli escreveu: > Caro R

Re: [Logica-l] Raymond Smullyan

Era meu grande guru. Foi uma honra traduzir seu ¨First Order Logic¨. Embora não tenha tido essa consciência senão anos depois, quando fazia a tradução, foi com certeza a partir de suas idéias sobre a hauptsatz que eu percebi (e em seguida ensinei a todo mundo aqui no Brasil) que o Lema de Lindembau

Re: [Logica-l] Raymond Smullyan

os uma adaptação da semântica de > $C_\omega$ para dar um teorema de completude para > LETJ, uma certa ''logic of evidence and truth'' que pode expressar > preservação de evidência e preservação de verdade e que codifica a > logica clássica dentro dela. Com os de

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

Acabo de saber. Muito triste. Meu fraterno abraço aos que a conheceram mais de perto, muito especialmente ao João. Andrea. Em 27 de agosto de 2017 20:35, escreveu: > Caro João Marcos, > > É com profundo pesar que fico a par do acontecido. > Não há muito que se possa ser dito, só a esperança que

Re: [Logica-l] Re: In Memory of Carolina Blasio

Caro João, Obrigada por nos trazer os trabalhos da Carolina. Lerei com atenção e cuidado. Já passei a vista e percebi que vou gostar e aprender. Um beijo da Andrea Em 25 de setembro de 2017 08:49, Evandro L. Gomes escreveu: > Caro João, > > Obrigado por compartilhar esses trabalhos da Carolina.

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

Caros, Aproveitando o trend legal sobre o intuicionismo, venho lembrar, para os mais novos especialmente, que, com base em semânticas de valorações bivalentes corretas e completas que obtive outrora, para os cálculos proposicionais minimal (Johanssen-Kolmogoroff) e intucionista (Heyting), meu filh

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

filho de 12 anos faz :) > > Pequins > > Marcelo > > 2017-10-24 20:48 GMT-02:00 Andrea Loparic : > >> Caros, >> >> Aproveitando o trend legal sobre o intuicionismo, venho lembrar, >> para os mais novos especialmente, que, com base em semânticas >> d

Re: [Logica-l] Professor de Lógica analisa sentença

Que legal, Adolfo! Sabe que eu tinha pensado em escrever algo no gênero, que fazer isso seria praticamente um dever meu? Esse caipira togado deve achar que o Brasil inteiro é composto de canalhas e imbecis... Feliz 2018 ! Andrea Em 30 de dezembro de 2017 22:30, Adolfo Neto escreveu: > Olá, > >

Re: [Logica-l] Making The ‘Hardest Logic Puzzle Ever’ a Bit Harder ( SpringerLink)

Eu tenho interesse, Walter! Puramente lúdico! Me manda que eu preciso exercitar os neurônios! Beijo, Andrea Em 18 de janeiro de 2018 09:27, Walter Carnielli escreveu: > > Caros colegas, > > acaba de sair um artigo de minha autoria que estende os quebra-cabeças > lógicos (logic puzzles) para lóg

Re: [Logica-l] Re: 12 anos de LOGICA-L

Parabéns João. Grande abraço, Andrea Em 25 de março de 2018 18:19, Cassiano Terra Rodrigues < cassiano.te...@gmail.com> escreveu: > Para muitos bens à lista e a todos, como disse o Cezar, e especialmente ao > JM por tudo o q já foi dito e mais um pouco. > Saudações, > cass. > > On Saturday, Marc

Re: [Logica-l] Defensor de Bolsonaro quer cortar o ensino das ciências humanas -- Lógica no meio-- das universidades públicas!

Walter, eu assino tudo o que for para resistir aos atos da ralé que quer nos transformar na Reprivada do BURRAZIL. Abraços a todos, Andrea Em 10 de abril de 2018 21:32, Walter Carnielli escreveu: > Caros Colegas: > > Esta mensagem não é OFF- TOPIC-- embora não se refira à Lógica > prop

Re: [Logica-l] Lógica em Fortaleza / FUNCAP

Não deve ter sido muito difícil convencer o Camilo. Ele tem berço. Seus pais, Eudoro e Hermengarda já eram ativos militantes da esquerda da Igreja Católica quando os conheci, na política estudantil. Pelo que tenho sabido, a gestão do Camilo no governo do Ceará tem sido excelente e ele deverá ser re

Re: [Logica-l] Re: sobre a "melhor forma" de apresentar a negação em lógicas construtivas

​Só uma pequena observação en passant​, trivial, porém, se for esquecida, pode levar a confusões. As definições que costumam ser escritas por A -> *bot* nas lógicas clássicas e intuicionista são de fato duas distintas, uma vez que -> tem dois diferentes significados, ok? Claro, todo mundo sabe dis

Re: [Logica-l] Re: sobre a "melhor forma" de apresentar a negação em lógicas construtivas

de maio de 2018 21:08, Andrea Loparic escreveu: > ​Só uma pequena observação en passant​, trivial, porém, > se for esquecida, pode levar a confusões. As definições > que costumam ser escritas por A -> *bot* nas lógicas > clássicas e intuicionista são de fato duas distintas, >

Re: [Logica-l] Re: An Inferentially Many-Valued Two-Dimensional Notion of Entailment

Parabéns, JM. Fico realmente feliz com a notícia. Um beijo, Andrea Em 26 de maio de 2018 10:34, Cassiano Terra Rodrigues < cassiano.te...@gmail.com> escreveu: > Caro JM, meu amigo, parabéns pelas publicações. > um forte abraço e quando puder apareça, > cass. > > > On Friday, May 25, 2018 at 8:28:

Re: [Logica-l] Fwd: Zohar Manna is no longer with us

Caro Cifuentes, assino embaixo de tudo o que acabas de escrever. Em dom, 2 de set de 2018 às 21:39, josé carlos cifuentes escreveu: > Pessoal, como não levantar a voz neste país diante da terrível desgraça do > incêndio do Museu Nacional do Rio de Janeiro hoje, desgraça que apenas é um > ápice

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

E não podemos deixar de lado o clássico: Tudo o que é raro é caro. Cavalo bom e barato e raro. Logo, cavalo bom e barato é caro. Lulalivre. Andrea Em dom, 16 de set de 2018 às 18:46, Walter Carnielli < walter.carnie...@gmail.com> escreveu: > Esse é claramente um silogismo inválido, Ricardo. > >

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

Aprendeu, JM? Beijins, A Em seg, 17 de set de 2018 às 12:06, Jessé Silva escreveu: > *João Marcos,* > > *> Todo homem é mortal. Sócrates é mortal. Logo, todo homem é Sócrates.* > > No meu entender esse silogismo é inválido porque a segunda proposição é > uma particular afirmativa, e sendo partic

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

nas a mais completa >> incapacidade intelectual de avaliar, não apenas o Mario F. dos Santos, mas >> qualquer autor que seja. >> >> > >> >> > Quem não deve ser levado a sério aqui, nesta postagem, é você Carlos >> Gonzalez. >> >> > &g

Re: [Logica-l] recordando as Regras de Convívio da LOGICA-L

Caro João, Percebo agora que o problema está na frouxidão da pertinência. Nada impede que um maluco (ou um debochado) se inscreva e faça, por exemplo, o seguinte: pegue um livro de qualquer coisa que caiba dentro do título " lógica" e copie uma página por mensagem e nos bombardeie com elas. Regra

Re: [Logica-l] A matemática, que nada sabe de observação

Só um pequeno toque. A questão ai posta é a questão central da filosofia da matemática e respostas foram propostas desde a antiguidade grega. O autor, pelo visto, não era exatamente alguém que tivesse tido um contato com a filosofia mais próximo que o de Huxley com a matemátca. Abraços, Andrea Em

Re: [Logica-l] Fwd: a contratação de um lógico para um Departamento de Filosofia "ideal"

cedentes relevantes, > fundamentalmente publicações na área. > > Carlos Gonzalez > > 2008/11/9 Joao Marcos <[EMAIL PROTECTED]>: >> Olás, divulgo a resposta abaixo na lista com a autorização da autora. >> >> JM >> >> >> -- Forwa

Re: [Logica-l] Uma pergunta

Oi, Decio, Acho que você se refere ao "favicon" . Se for, veja : http://www.favicon.cc/ E se conseguir aprender, me conte como é ... Uma vez comecei a tentar, mas surgiu uma coisa e outra, acabei deixando pra lá e esquecendo... Abraço, Andrea 2009/3/19 Décio Krause : > Pessoal > Sabem aquele si

[Logica-l] que houve com a gigapedia?

Olá pessoal, Faz um tempinho que não consigo mais acessar a gigapedia.org. Quando tento acessar, o que vem é a página da gigapedia.com, bem diferente da antiga. Vocês sabem o que aconteceu? Obrigada, Andrea ___ Logica-l mailing list Logica-l@dimap.ufrn

Re: [Logica-l] RES: que houve com a gigapedia?

rthur Buchsbaum > > -Mensagem original- > De: logica-l-boun...@dimap.ufrn.br [mailto:logica-l-boun...@dimap.ufrn.br] > Em nome de Andrea Loparic > Enviada em: sábado, 25 de abril de 2009 23:26 > Para: Logica-l@dimap.ufrn.br > Assunto: [Logica-l] que houve com a gigapedia? > >

[Logica-l] Benson Mates

Colegas, acabo de receber a notícia do falecimento de Benson Mates. Com certeza os livros dele, em especial o Elementary Logic fizeram muito pelo bom ensino de lógica na área de humanas. Eu mesma usei-o muitas vezes como livro texto em cursos de graduação em Filosofia. Há uma nota na página do Dep

Re: [Logica-l] da dificuldade de definir o significado de "construtivo"

Ficamos todos um pouco orfãos quando partem figuras como essa, que foram tão marcantes nos nossos tempos de juventude. Meu abraço de pesar à comunidade dos lógicos latino-americanos. Andrea Loparic Em ter, 11 de jun de 2019 às 18:00, josé carlos cifuentes escreveu: > Prezados da lista de Lóg

Re: [Logica-l] Saiu hoje no Globo!!

Auguri, meninas! Em sex, 26 de jul de 2019 às 14:04, Valeria de Paiva < valeria.depa...@gmail.com> escreveu: > Obrigada pela boa noticia, Elaine! > Obrigada pelos votos. Gisele! > > Informo a todos que > Vai ter o quarto Women in Logic em 2020! Em Paris, colocado com > FSCS/IJCAR!! > Oba!!! > Ab

Re: [Logica-l] Newton da Costa, 16+09+1929 = 90

Parabéns Newton. Alegrias no seu aniversário. Com carinho, Andrea Livre de vírus. www.avast.com

Re: [Logica-l] CREATIVITY'2019 - Lançamento de Livros

Quando Krasner veio a São Paulo, ficou hospedado na minha casa. Tive o privilégio de trabalhar um pouco com ele, mas nunca publiquei o que fizemos naqueles dias e infelizmente não sei mais onde estão as notas que escrevi na época... Sorry... Em sáb., 16 de nov. de 2019 às 11:22, jean-yves beziau <

[Logica-l] O enforcado

Que tal nos divertirmos com probleminhas interessantes nesse tempo de quarentena? Por exempl, quem de vocês já passou horas quebrando a cuca com o chamado"paradoxo do enforcado"? E quem acha que chegou a uma solução do mesmo? Para quem não conhece ou não se lembra, lá vai o enunciado: -- Você es

[Logica-l] O enforcado - de novo

Que tal nos divertirmos com probleminhas interessantes nesse tempo de quarentena? Por exemplo, quem de vocês já passou horas quebrando a cuca com o chamado"paradoxo do enforcado"? E quem acha que chegou a uma solução do mesmo? Para quem não conhece ou não se lembra, lá vai o enunciado (à minha mod

Re: [Logica-l] O enforcado - de novo

les > desse sistema em logica modal resulta inconsistente. > > É assim que vejo o problema. > > Abraço > Rodrigo > > > > > > > On Mon, Mar 23, 2020 at 4:26 PM Andrea Loparic wrote: > >> Que tal nos divertirmos com probleminhas interessantes nesse tempo

Re: [Logica-l] O enforcado - de novo

va informação e internalizada > através de uma linguagem epistêmica, mas apenas como a metainformação "sem > mais informações". O problema se dissolve se interpretado desse modo. > > Abraço > Rodrigo > > > > > On Tue, Mar 24, 2020 at 3:39 PM Andrea Loparic wr

Re: [Logica-l] O enforcado - de novo

gt; On 24 Mar 2020, at 16:48, Rodrigo Freire wrote: > >  > Ao contrário, discordo do raciocínio do rábula. O rábula raciocina em um > sistema que usa o raciocínio do rábula (o próprio sistema, portanto) na > linguagem objeto. Esse sistema é contraditório, dele qualquer coisa se >

Re: [Logica-l] O enforcado - de novo

rdadeira, > portanto que o rábula é inocente. É essa analogia que faço. > No caso em questão, o raciocínio contém a noção metalinguística de "saber" > na linguagem objeto. > Meu ponto é que isso gera um sistema inconsistente, como a inclusão da > noção metalinguística

Re: [Logica-l] O enforcado - de novo

deduz ele considera como > conhecimento de véspera, K(~p3). > > - A partir de K(~p5), K(~p4), K(~p3), de B2, de F e de A, conclui-se ~p2. > Da necessitação, que o rábula assume pois o que ele deduz ele considera > como conhecimento de véspera, K(~p2). > > - A partir de K(~p5), K

Re: [Logica-l] "Manuscrito" em primeiro lugar entre as revistas Latino-Americanas de Filosofia em 2019

Parabéns! Mas, por falar nisso, faz tempo que não recebo mais as revistas do CLE Em dom., 14 de jun. de 2020 às 16:38, Walter Alexandre Carnielli < walte...@unicamp.br> escreveu: > Colegas: > > Para comunicar uma boa notícia: > > A revista "Manuscrito" do Centro de Lógica da Unicamp est

Re: [Logica-l] on the Synthese special issue on *Varieties of Entailment*, dedicated to the memory of Carolina Blasio

Parabéns João, parabéns Ruffino. A todos os que colaboraram com essa bela homenagem. meu caloroso abraço. Andrea Em qui., 16 de jul. de 2020 às 14:31, Marcos Silva escreveu: > Muito bonita e merecida homenagem, JM. > > Parabéns ao editores e autores!! > > abracos do Recife, > Marcos > > On Thu,

[Logica-l] Aviso de falecimento

Aos mais velhos, Com muita tristeza, venho comunicar aos que o conheceram que recebi agora a notícia do falecimento de Matias Francisco Dias. Matias fez sua carreira universitária como professor de Lógica na Universidade Federal da Paraiba. Fez mestrado e doutorado no Departamento de Filosofia d

Re: [Logica-l] Aviso de falecimento

estava pensando nele ,no Roberto e no >> Barbosa, ex-alunos do nosso programa, do Nordeste, de 30 anos atrás. >> >> Meus sentimentos pela perda do Matias. >> >> W. >> >> >> Em dom, 19 de jul de 2020 18:41, Andrea Loparic >> escreveu: >> >>&

[Logica-l] (off-topic) fundo 157

Olá, colegas, Quem fazia declaração do imposto de renda, pessoa física, até 1983, tinha sempre imposto a pagar já descontado na fonte; e pode ter feito a opção que havia naquele tempo, de aplicar parte do imposto devido no fundo 157. Lembram disso? Pois os bancos têm atualmente mais de 500 milhões

Re: [Logica-l] Re: ativismo lógico?

Oi Marcos, Tô dentro também! Não sei como, mas curto a postura e topo pensar e, com sorte, agir junto! Abraços pra minha terra e pra dos outros Andrea (recifense paulistando ) Em sex., 31 de jul. de 2020 às 17:11, Marcos Silva escreveu: > Car@s, > > primeiramente obrigado pelo apoio ao meu víde

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

Meus caros, Parabéns, parabéns, parabéns. Mas é claro que a UFRGN tinha que estar na vanguarda nessa área, sobretudo em se tratando de Forall. Afinal, a tradição tem umas 8 décadas, pelo que sempre me contavam os amigos natalinos (ou seria "natalenses"?). Lá vai o que me diziam. Durante a Segunda G

Re: [Logica-l] Eleição para Diretoria da SBL 2021 - Cédula de Votação

Também subscrevo a msg da Itala. Cuidemo-nos todos bem direitinho, Andrea Em qui., 4 de mar. de 2021 às 12:43, Gisele Secco escreveu: > Estimadas e estimados, > Subscrevo as palavras de Ítala. > Abraço, > G. > > Le jeu. 4 mars 2021 à 11:18, Itala Maria Loffredo D'Ottaviano < > it...@unicamp.br>

Re: [Logica-l] J. Michael Dunn (1941-2021)

Com certeza uma grande perda. Em qua., 7 de abr. de 2021 às 12:20, Itala Maria Loffredo D'Ottaviano < it...@unicamp.br> escreveu: > Que triste! > Estou muito triste mesmo. > Também conheci o Michel Dunn em um Wollic e me encontrei com ele em outras > ocasiões. > Sempre tão simpático e acolhedor.

Re: [Logica-l] Vácuo

Essa discussão me lembra uma outra intimamente relacionada, que foi a que se deu no Círculo de Viena e sua escola na primeira metade do século passado, sobre a implicação material e as contrafactuais. Pois as universais da forma "Para todo x , se x tem mais de 200 anos então P(x)", onde P(x) é uma

Re: [Logica-l] Para Todxs: Natal - Procuram-se coautoras e coautores

Que projeto legal, Daniel! Vou ler o texto e, se encontrar lapsos, preencho o forme mando. Sempre têm, corrigimos um do First Order Logic do Smullyan quando fizemos a tradução. Abração, Andres Em sex., 28 de mai. de 2021 às 12:35, Hermógenes Oliveira < olive...@daad-alumni.de> escreveu: > Olá, Da

[Logica-l] meu acidente

Amigos, Alguns já viram no facebook que na madrugada da segunda, 1 de julho sofri uma queda, quebrei o joelho, tive que ser hospitalizada e operada , pus uns pinos, vou ficar de 2 a 3 meses sem poder por o pé no chão. beijo, andrea -- Você está recebendo esta mensagem porque se inscreveu no grup

Re: [Logica-l] Coletivo Logica Viva: Existe apenas uma lógica certa?

Caros, como vocês sabem, estou acamada sem as mínimas condições de fazer um vídeo, ou mesmo um texto maior q bilhetinhos como este. Mas me aguardem, quando tiver condição, tenho muito a dizer a respeito. Beijo Andrea Em sáb., 12 de jun. de 2021 às 16:33, Marcos Silva escreveu: > Car@s, > > mais

[Logica-l] Obrigada e noticias

Caros amigos venho agradecer de coração a ajuda q vcs estão me dando e vao servir p q eu tenha uma recuperação menos dificil. De fato vou ter q ficar 3 meses sem por o pé no chão. E qdo colocar o pe no chão ainda vou levar um tempo p andar, precisando de duas cuidadoras pelo menos. Isso não seria

Re: [Logica-l] [OFF TOPIC] Moção da SBL contra o aparelhamento da CAPES

Parabéns Elaine! Abraço da Andrea Em sáb., 7 de ago. de 2021 às 01:03, Itala Maria Loffredo D'Ottaviano < it...@unicamp.br> escreveu: > Cara Elaine: > Parabéns à Diretoria da SBL! > Considero-me muito bem representada. > Ítala > > Em sex., 6 de ago. de 2021 às 18:15, Elaine Pimentel < > elaine.pi