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 < >

[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

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] 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

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á,

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] 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] 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] 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

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

[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

Re: [Logica-l] Aviso de falecimento

a 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: >> >>> A

[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

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,

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

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] 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

ote: > >  > 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 > segue. Não se pode usar esse sistema. > >

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

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 wrote: > >> Oi Rodrigo, >> >>

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

ta 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 de >> quarentena? Por exemplo, quem

[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

[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ê

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

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] 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!!! >

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] 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] 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.

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] 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

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] 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 >

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

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 <alopa...@gmail.com> 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 d

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

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: [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,

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 >

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

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

> de trocadilho que meu filho de 12 anos faz :) > > Pequins > > Marcelo > > 2017-10-24 20:48 GMT-02:00 Andrea Loparic <alopa...@gmail.com>: > >> Caros, >> >> Aproveitando o trend legal sobre o intuicionismo, venho lembrar, >> para os mais novos e

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

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

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

Re: [Logica-l] Raymond Smullyan

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 devidos créditos a você! > > A

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

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

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

Re: [Logica-l] Verbete Wikipedia

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/03/2014, às 09:19, Andrea Loparic alopa

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 seu

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

pensadores da lógica ... Agora, sim, sabemos o que esta argucia toda acarreta. []s Marcelo 2013/11/20 Andrea Loparic alopa...@gmail.com: 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

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 walter.carnie...@gmail.com escreveu: Caros colegas, trago aqui a triste notícia

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 abilio.rodrig...@gmail.comescreveu: Prezados Tb gostaria de uma copia Abracos Em 20/09/2013 17:51, Décio Krause

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, a

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

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, Receba meu abraço de parabéns

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)

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

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

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

Isso mesmo, Walter. Andrea Em 3 de abril de 2012 16:25, Walter Carnielli walter.carnie...@gmail.comescreveu: 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

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

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.

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

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

[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=3188630304566source=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] 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

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] 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

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

2011/11/5 Andrea Loparic alopa...@gmail.com: Ois, Eu sempre vi e usei provacomo 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

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

Ois, Eu sempre vi e usei provacomo 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] 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

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

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 alopa...@gmail.com Data: 9 de setembro de 2011 17:13 Assunto: Re: [Logica-l

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

[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

[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

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 deciokra...@gmail.com: