PS: abaixo no consequente do exemplo era somente uma negação, não duas.
Em 4 de janeiro de 2013 08:16, Tony Marmo escreveu:
> Eu coloquei A&¬A, mas você pode pensar qualquer outra fórmula como
> antecedente na implicação de Ban. Por exemplo,
> (A implica ¬A) implica Necessário (A i
O João Marcos, o JY e o Rodrigo são pessoas que têm o conhecimento e a
virtude maior de compartilharem o que sabem com os outros de maneira muito
generosa.
Em 4 de janeiro de 2013 23:55, Carlos Gonzalez escreveu:
> Prezado JM e lista,
>
> Em primeiro lugar: obrigadão e obrigadíssimo. Os teus escl
Caro Evandro,
Eu já baixei no ano passado o seu artigo com Ítala e o li antes mesmo de me
debruçar sobre o trecho referido dos Primeiros Analíticos de Aristóteles.
Por que tem sido ignorada essa demonstração cabal contra o ECQ? A resposta
é que a chamada "matematização" da lógica clássica, que de
Caro Evandro,
Lagerlund no verbete sobre silogística medieval para a Stanford aponta para
duas dificuldades dos medievais que hoje pouco consideramos. Primeiro que
não havia muitas cópias dos livros do Organon em circulação, era difícil
conseguir uma, de forma que se considera que esses livros des
Duas curiosidades adicionais sobre Pseudo-Scotus:
Primeiro não se sabe se se trata do mesmo autor ou de vários.
Segundo que, supondo-se ser o mesmo indivíduo, sua contribuição mais famosa
não é o princípio EFQ, mas um paradoxo relativo à noção de validade.
Supostamente, o paradoxo funcionaria com
Caríssimos,
Aos que porventura estiverem trabalhando com noções diferentes de negação e
conceitos afins, como sejam, negação forte, fraca, involução, conjugados,
etc., eu pediria que respondessem a este e-mail falando um pouco do próprio
trabalho.
Muito obrigado.
_
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 se
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 escreveu:
>
is *lógica*.
Em 21 de janeiro de 2013 19:34, Walter Carnielli escreveu:
> Ola Tony,
>
> Em 21 de janeiro de 2013 18:32, Tony Marmo
> escreveu:
> > Walter,
> >
> > Os norte-americanos tentam sempre popularizar ciência desse jeito.
>
> O que não quer dizer
Há um grupo de estudos da USP que estudou o que foi o chamado movimento da
matemática moderna no Brasil. Acho que as referências aos trabalhos deles
são mais esclarecedoras sobre a nossa realidade de ensino.
Em 21 de janeiro de 2013 23:12, Joao Marcos escreveu:
> Mencionou-se nesta lista recente
s
> seria interessante ouvir a opinião dos colegas mais "filosoficamente
> sensíveis" sobre o supra-citado argumento.
>
> Abraço,
> Joao Marcos
>
>
> 2013/1/21 Tony Marmo :
> > Então João, você encontrou um ponto histórico interessante para auxiliar
> > n
Ok então.
Em 22 de janeiro de 2013 00:29, Joao Marcos escreveu:
> O meu email não foi sobre a "matemática moderna", mas sobre algo ainda
> mais "moderno"... Confira os links.
>
> JM
>
> 2013/1/22 Tony Marmo :
> > Há um grupo de estudos da USP qu
verdadeira compreensão, no lugar "passar" ideias e
> raciocínios, faz a pessoa recriá-los, 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 sa
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
sen
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
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 investig
erta.
> Abraço
> D
>
> *
> *
> *
> *
> *--*
> *Décio Krause*
> *Departamento de Filosofia*
> *Universidade Federal de Santa Catarina*
> *88040-900 Florianópolis - SC - Brasil*
> *http://www.cfh.ufsc.br/~dkrause*
> *-----
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 tenho
Tichy (
> http://til.phil.muni.cz/), Ed. Zalta, Yiannis Moschavakis (
> http://www.math.ucla.edu/~ynm/) e Reinhard Muskens (
> http://let.uvt.nl/general/people/rmuskens/) entre outros.
>
> Boa leitura.
> Francisco
>
> Em 28 de janeiro de 2013 01:16, Tony Marmo escreveu:
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 pós
fevereiro de 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" escreveu:
>
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 "reticulad
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
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 a
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. Gostari
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
escreveu:
> Caros Colegas e Funcionários:
>
>
> a Diretoria do Centro de
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á prec
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 escreveu:
> Oi, Luiz
> Sim, concordo plenamente que de P podemos i
s
>
>
>
>
>> Abraço
>> Décio
>>
>>
>> Décio Krause
>> Departamento de Filosofia
>> Universidade Federal de Santa Catarina
>> 88040-940 Florianópolis, SC -- Brasil
>> deciokrause[at]gmail.com
>> www.
ticos".
> Abraço
> D
>
>
> Décio Krause
> Departamento de Filosofia
> Universidade Federal de Santa Catarina
> 88040-940 Florianópolis, SC -- Brasil
> deciokrause[at]gmail.com
> www.cfh.ufsc.br/~dkrause
> _
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 escreveu:
>
> Olá
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
eu
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ê tive
botoc...@gmail.com<mailto:botoc...@gmail.com>;
>> > logica-l@dimap.ufrn.br<mailto:logica-l@dimap.ufrn.br>
>> > Date: Fri, 19 Apr 2013 15:34:29 -0200
>> > Subject: Re: [Logica-l] the death of proofs
>> >
>> > ola
>> > desculpem-me pela
É que eu observo muito bem. Mas, deixe estar.
Em 20 de abril de 2013 15:34, Walter Carnielli
escreveu:
> 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:
se
> Departamento de Filosofia
> Universidade Federal de Santa Catarina
> 88040-940 Florianópolis, SC -- Brasil
> deciokrause[at]gmail.com
> www.cfh.ufsc.br/~dkrause
>
>
>
>
>
>
>
>
> Em 20/04/2013, às 14:53, Tony Marmo escreveu:
>
> Caríssimos,
>
&g
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
er já disse:
> "Se você encontrou alguma [demonstração] assim, é melhor mudar de
> livro..."
>
> JM
>
>
> 2013/4/22 Tony Marmo :
> > Caro João,
> >
> > Poderia. Ocorre que eu tenho muitos livros e pdfs comigo e para buscar
> esses
> > exemp
essão
> "ser uma propriedade das" dá a entender). Por outro lado, se R 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 :
> > Vira e mexe acho um ca
que ele.
> Aproveite a tarde e tente provar isso :-)
>
> W.
>
> Em 22 de abril de 2013 16:21, Tony Marmo 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 ca
nao seja equivalente a P--> P?
> Esta lista vai gostar de saber...
>
>
>
> Em 22 de abril de 2013 16:45, Tony Marmo 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
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 c
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, por
Amigos desta lista,
Eu tive um problema com uma pasta de uma HD externa e perdi vários arquivos
de escritos meus (em Word, i.e., .doc).
Consegui recuperar vários mas muitos vieram com a extensão .ole e não abrem
direito.
Indago quem sabe como reconverter os arquivos .ole para .doc?
Muito obrigad
Amigas e amigos,
Existe uma diferença entre escrivaninha e secretária: a primeira é sempre
com tampas e a segunda é qualquer mesa com gavetas que sirva para escrever.
Mas, as escrivaninhas verdadeiras sumiram do mercado e eles agoram a chamam
de ""escrivaninha xerife.
Eu estou querendo uma, dess
Parabéns ao Anderson. Não sei se chegarei aí sexta, ou então passarei antes.
Mas, parabéns.
Em 15 de março de 2011 16:17, Walter Carnielli
escreveu:
> Caros colegas e estudantes:
>
> gostaria de convidar a todos para a Sessão de Defesa de Tese de
> Doutorado do meu orientando
> Anderson de Araújo
Dear Friends,
I write to inquire about an example of logic system to which the
meta-inference rule does not apply. If you can remember any, please feel
free to respond this.
By meta-inference rule I mean:
If A,B |- C, then A |- B=>C
Thank you very much.
Na verdade, a maior parte da pesquisa de ponta da indústria privada é
financiada por verba pública e feita em universidades públicas. Poucas são
as empresas inovadoras que têm centros de pesquisa avançados. A Apple e a
IBM têm bons laboratórios e pesquisadores, mas nem toda companhia no ramo da
ele
Não é verdade. Tudo o que a Apple inovou acabou em todos os computadores. O
Windows, por exemplo, veio justamente dos primeiros sistemas operacionais da
Apple, que já trabalhavam com janelas. Mesmo os tablets que agora povoam o
mercado foram uma inovação deles.
Em 27 de junho de 2011 10:06, Enriqu
e#Xerox_PARC
> http://en.wikipedia.org/wiki/History_of_tablet_computers
>
> Ser o primeiro a ter sucesso comercial não significar ser o inventor.
>
> Só falta dizer que o iPod foi o primeiro portable music player também.
>
> 2011/6/27 Tony Marmo
>
>> Não é verdade. Tu
Programa Apollo, ele rendeu frutos à ciência, sim. Por exemplo,
> > para a Geologia.
> >
> > Abraços,
> >
> > Alvaro Augusto
> >
> >
> >
> > -Mensagem original-
> > De: logica-l-boun...@dimap.ufrn.br [mailto:
> logica-l-bou
Entre um intervalo e outro do meu trabalho, agora 3:11 da manhã, gostaria de
notar que um amigo comum nosso, i.e., meu e do prof. Newton da Costa, e que
aliás foi aluno do meu pai no ITA, o cosmólogo Marcelo Berman recentemente
resolveu um problema que o qualifica para receber o prêmio Nobel de fís
O caso é grave, mas não é novo. Vejam estes vídeos, a partir de 3min e 50
segundos do primeiro, como o assunto é introduzido por um teólogo mulçumano:
http://www.youtube.com/watch?v=r23fB4h7Wog
http://www.youtube.com/watch?v=IcikYId2U8c
http://www.youtube.com/watch?v=M0ozG4yQBD8
Em resumo o que e
Caro joão,
A expressão "ciências islâmicas" não é minha e não creio que seja usada para
certificar a origem delas.
Pelo que compreendo, ciências islâmicas são disciplinas que os teólogos
mulçumanos utilizam para estudar sua própria religião. Mas, pode ser que
também sirva para outras designações.
Ficamos todos chocados e tristes.
Conheci o professor Arley na minha graduação e desde então foi um amigo e
interlocutor para quase todos os assuntos.
É como se uma biblioteca inteira de livros raros se queimasse!
Minhas condolências à família e à nossa comunidade de filósofos.
Em quinta-feira, 23
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> escrev
:
> 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
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, tan
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
e
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
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
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, descoberto
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
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:
>
>
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
> >
>>> >
>>> >
>>> >
>>> > On Thu, Dec 5, 2019 at 5:21 PM Walter Carnielli
>>> wrote:
>>> >>
>>> >> Oi Tony,
>>> >>
>>> >> A pergunta é boa. E a minha resposta, da maneira mais sim
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
> Lo
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 mais
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 met
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 siste
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 fes
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
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
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 nes
É 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 2
É 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, s
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 (TVE)
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 pa
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
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 á
?
>
> []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
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
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
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> esc
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 Bo
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
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 fi
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.
>
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
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
sér
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.
Talv
Essa prática é mais comum do que se pensa. Mas, há outras práticas funestas
como produzir coisas que não inovam em nada, mas apenas coligem resultados
de outros, em nome da solidez do saber.
Em 7 de maio de 2013 15:26, Daniel Durante escreveu:
> Para pensarmos um pouco.
>
> Saudações,
> Daniel.
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 escreveu:
> Olá. Alguém pode me dizer por onde eu devo começar a pesquisar para estudar
> as motivações e implicações fil
ode dar um 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
', isto é, teoremas, ou 'verdades
> relativas´, isto é, deduções).
>
> Walter
>
> Em 12 de maio de 2013 22:15, Tony Marmo escreveu:
>
> Caro Márcio,
>>
>> A resposta de Jean-Yves cobre com muita propriedade o assunto.
>> Quanto à pergunta abaixo é
oremas, ou 'verdades
> > relativas´, isto é, deduções).
> >
> > Walter
> >
> > Em 12 de maio de 2013 22:15, Tony Marmo escreveu:
> >
> >> Caro Márcio,
> >>
> >> A resposta de Jean-Yves cobre com muita propriedade o assunto
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 o
t; espaço-tempo e 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
>
>
>
teau. :-)
> (pois ele não andou fazendo uma 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 :
> > Mas, é óbvio que eu conferi, João Marcos. Eu vi o seriado e o liv
É óbvio que essas coisas da matemática elementar são noções tão acessíveis
que qualquer um pode brincar com elas e fazer o video que o sujeito
matematiqueiro fez. Também posso brincar e dizer que um aluno "provou" que
"a raiz quadrada de 1 é +/-i". Isso é fácil demais para quem quiser fazer
brincad
201 - 300 of 332 matches
Mail list logo