PARACONSISTENT NEWSLETTER - SPRING 2010
"Falsehood is wholly false; and to speak of true falsehood, is a contradiction
in terms"
Guess who said that and win free vacations to the island of inconsistencies!
Decision between winners will be made on the basis of further
information: title of the
O instituto de filosofia, incluindo o departamento de logica, da academia
da ciencia de moscovo na Russia fica num predio antigo, pertinho do
Kremlin. Ele esta ameaçado de deslocacao. Os collegos russos estao pedindo
apoio para evitar o deslocamento. Acho importante supportar isso. Os
universitario
The last issue of Logica Universalis
http://www.birkhauser.ch/LU
is freely availbale on-line until February 28
featuring in particular a very interesting paper by Irving Anellis
"Russell and his sources for non-classical logics"
Anellis is one of the few PhD students of Jean van Heijenoort, the ma
Muito interresante o trabalho da Mary Everest Boole.
Certamente o George Boole foi muito influenciado por ela - da mesma forma que
no caso de Einstein e da mulher dele.
Tem pessoas que dizem tambem que o Gödel foi muito influenciado pela mulher
dele, Adèle,
e que na realidade e dela que se devem
Me parece que nesta lista de discussao,
muitos assuntos perifericos sao discutidos
nao seria melhor falar sobre logica mesmo?
(e deixar outros topicos para telenovela)
algum tempo atras fiz circular aqui um call for papers - ver em baixo -
relativamente a questoes fundamentais sobre logica
nao rec
The last issue of Logica Universalis
http://www.birkhauser.ch/LU
is freely availbale on-line until February 28
featuring in particular a very interesting paper by Irving Anellis:
"Russell and his sources for non-classical logics"
Anellis is one of the few PhD students of Jean van Heijenoort,
the m
The last issue of Logica Universalis
http://www.birkhauser.ch/LU
is freely availbale on-line until February 28
featuring in particular a very interesting paper by Irving Anellis
"Russell and his sources for non-classical logics"
Anellis is one of the few PhD students of Jean van Heijenoort, the ma
2nd World Congress on the Square of Opposition
Corte, Corsica, June 17-20, 2010
An interdisciplinary gathering around the square
Among invited speakers:
Alain Badiou, Pierre Cartier, Jaakko Hintikka, Saul Kripke, Stephen Read
Extended deadline for contributed talks: January 31st 2010
http://www
Agora é possivel se inscrever on-line
e fazer tambem reserva de hospedagem
para o UNILOG'2010 em Lisboa
Congresso de Lógica com cerca de 200 speakers
Escola de lógica com 21 tutorias
+ 1 concurso + 1 surprise speaker
World Congress and School on Universal Logic III
Lisbon, Portugal, April 18-25,
PARACONSISTENT NEWSLETTER - CHRISTMAS 2009
"More than ever the cross is a sign of contradiction."
Guess who said that and win free vacations to the island of inconsistencies!
Decision between winners will be made on the basis of further
information: title of the book and page number.
The winner,
By Willard L. Miranker, Gregg J. Zuckerman
in Journal of Applied Logic, Volume 7, Issue 4 (2009)
We employ the Zermelo–Fränkel Axioms that characterize sets as mathematical
primitives. The Anti-foundation Axiom plays a significant role in our
development, since among other of its features, its re
No interessante site Logic and Rational Interaction
http://loriweb.org/
tem uma lista de mulheres no mundo trabalhando a logica
"In an effort to counter the “logic is for boys” stereotype,
here is a list of younger as well as more senior women ..."
no momento so aparerce uma brasileira
sera que n
Prezado Gabriel
Quer apontar que eu conheci a logica paraconsistente
lendo uma entrevista do Newton da Costa na revista "o burro",
famosa revista dos lacanianos.
O Jacques-Alain Miller, marido da filha do Lacan,
agora o rei dos lacanianos,
sempre tive muito interessa para a logica.
Ele que contrib
2nd World Congress on the Square of Opposition.
Corte, Corsica, June 17-20, 2010.
An interdisciplinary gathering around the square.
Among invited speakers:
Alain Badiou, Pierre Cartier, Jaakko Hintikka, Saul Kripke, Stephen Read.
Deadline for contributed talks: January 15th 2010
http://www.squar
How to combine logics?
This will be the contest for
the universal logic 2010 price offered by Birkhäuser at the
World Congress on Universal Logic III
Lisbon, Portugal, April 22-25, 2010
http://www.uni-log.org
When we have two logics, we may want to put them together.
For example on the one hand w
The third edition of the World Congress and School on Universal Logic will
happen April 18-25, 2010 in Lisbon, Portugal.
There will be:
10 invited speakers, among them: Hartry Field, George Grätzer, Yuri Gurevich,
Gehrard
Jaeger, Dana Scott
10 special sessions, among them: logic diagrams, subst
PARACONSISTENT NEWSLETTER - FALL 2009
“Contradictions do not exist. Whenever you think you are facing a
contradiction, check your premises. You will find that one of them is
wrong.”
Guess who said that and win free vacations to the island of
inconsistencies!
Decision between winners will be made
The third edition of the World Congress and School on Universal Logic will
happen April 18-25, 2010 in Lisbon, Portugal.
There will be:
10 invited speakers, among them: Hartry Field, Yuri Gurevich, Gehrard
Jaeger, Dana Scott
10 special sessions, among them: logic diagrams, substructural logics,
no
O Lego é realemente um instrumento incrivel,
é possivel construir com legos objetos impossiveis tal que a cascada de Escher:
http://www.bergoiata.org/fe/Escher-lego/MC.Escher-lego-waterfall.jpg
Estamos agora aguardando alguem construir uma logica paraconsistante com legos.
JYB
__
Assinalo que em Sao Paulo tem um centro de logica juridica na faculdade de Sao
Bento:
http://www.centrodelogicajuridica.com.br/
Vou dar um min-curso la a semana que vem.
Jean-Yves.
--
Message: 10
Date: Thu, 13 Aug 2009 10:09:22
COLÓQUIO DE LÓGICA
Departamento de Filosofia - USP
Quarta-feira, 19 de agosto
14 hs
O que é a Lógica Modal?
Prof. Dr. Jean-Yves Béziau
(Universidade Federal do Ceará)
15.30: Intervalo
16 hs
Introdução à Combinação de Lógicas
Prof. Dr. Alexandre Costa-Leite
(Unicamp)
17.30: Intervalo
18 hs
PARACONSISTENT NEWSLETTER - SUMMER 2009
"The test of a first-rate intelligence is the ability to hold two opposed
ideas in the mind at the same time, and still retain the ability to
function."
Guess who said that and win free vacations to the island of inconsistencies!
Decision between winners
UNILOG-2010
3rd World Congress and School on Universal Logic
Lisbon, Portugal, April 18-25, 2010
http://www.uni-log.org
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Square of Opposition - 2nd World Congress
Corte, Corsica, June 17-20, 2010
http://www.square-of-opposition.org
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
PROGRAMA
SEGUNDA – MONDAY -- 13.04.2009
14:30
The True and what might be the truth about 'is true' in Frege.
A critical examination of his views
Matthias Schirn (Munich)
15:30
The Philosophical Background of Frege's Julius Caesar Problem
Dirk Greimann (Fortaleza)
16:30: Coffee Break
17:00:
The Lo
/ FUNCAP - Nivel A
Chief-Editor
Logica Universalis
http://www.birkhauser.ch/LU
Studies in Universal Logic
http://www.springer.com/series/7391
De : BEZIAU Jean-Yves
Date d'envoi : lundi, 16. mars 2009 23:21
À : Joao Marcos
Cc : botoc...@gmail.com
Objet
Is logic universal?
Call for papers
Special issue of the journal Logica Universalis (Birkhauser/Springer)
http://www.birkhauser.ch/LU
There will be a special issue of the journal logica universalis
dedicated to the question "Is logic universal?"
Many questions are connected to this issue:
1. Do
pagina do Diderik
Batens
De : Décio Krause [deciokra...@gmail.com]
Date d'envoi : dimanche, 22. mars 2009 01:28
À : BEZIAU Jean-Yves
Cc : logica-l@dimap.ufrn.br
Objet : Re: [Logica-l] PARACONSISTENT NEWSLETTER - SPRING 2009
"Paraconsistency is to logic wh
PARACONSISTENT NEWSLETTER - SPRING 2009
"Paraconsistency is to logic what pornography is to true love"
Guess who said that and win free vacations to the island of inconsistencies !
Decision between winners will be made on the basis of further
information: title of the book and page number.
The
essa conceito do livro essencial da logica tem alguma ambiguidade,
é uma nocao biblica talvez ...
pode ser um textbook muito bom de um pessoa que nao é um grande pesquisador
ou pode ser um livro com ideais revolutinoarias de um grand logico
e ha muito outro opcoes ...
O que iremos responder por e
Abilio:
Sobre os teoremas, bom, era preciso antes um sistma de FOL para q a
completude, incompletude, indecidibilidade (e decidibilidade da log
proposicional) fossem provados, OK? E eh justamente esse sistema q foi
apresentado por Frege na Begr.
Parece que tem dois extremos:
- de uma lado escrever artigos muito chatos em revistas serias
- de outro lado falar qualquer besteira, piadas duvidosas, a caracter sexual,
numa lista de discussao.
E o metodo americano: o cara que tudo dia da semana vai no escritorio onde tem
uma vida chatissima
e
Rocha, nao conheci essa versao - pode me dar a referencia exata do artigo?
Se voce - ou alguem da lista - conhece outras versoes, pode me communicar,
agradeco.
JYB
***
Na área da Inteligência Artificial, o argumento entrou, pelas mãos de
Alle
Rocha
Conheco muito bem o argumento que voce esta avancando
é uma coisa muito conhecido
exprimido pelo Borges com a biblioteca de babel
e foi exprimido de muitas outras maneira diferentes
atraves dessas variacoes tem sempre a mesma ideia:
o cunjunto de todas coisas resulta de combinacao de alguns
Rocha
O que voce esta falando é obviamente "plano".
Ve o famoso livro "flatland".
Obviamente por exemplo tudo livro,
nao é uma combinacao de letras do alfabeto.
Por exemplo nao é o caso da Begriffsschrifft do Frege, nem do teoremo do Gödel.
Nao é possivel achar alguns entitades de base e dize
E tambem bom avaliar Principia Mathematica
Um obra tao monstruosa, da qual hoje esta sobrando muito pouca coisa
Duas coisas importantes para esclarecer a originem de PM.
E uma obra do Whitehead e Russell.
Poucos pessoas dentre dos logicos e filosofos analiticos falam do Whitehead
mas e bom lembr
o desenhou tabela de verdades para logica trivalente,
o Turquette varios anos atras me mandou uma copia dos arquivos Peirce come isso.
JY
De : Carlos Gonzalez [gonza...@gmail.com]
Date d'envoi : dimanche, 25. janvier 2009 20:52
À : BEZIAU Jean-Yves;
Essa discussao sobre o Frege é interessante
mas seria bom se podemos fazer uma coisa mais construtiva e rigorosa.
Fazer uma avaliacao do Frege.
1) Qual e exatamente a relacao (nao causal), similitude e diferencia, entre o
sistemo de Frege e o calculo dos predicados de hoje (FOL),
Temos por isso q
Wagner
Com estou repetindo: os livros da Gerladine Brady e do Ivor Grattan-Guinness
estao dando uma visao bem diferente da historia da logica moderna do livro do
JvH.
A Geraldine Brady mostrou como o trabalho importante do Löwenheim e do Skolem
foi influenciado pelo Peirce e Schröder, e nao pelo
ele é um produto da coca-cola
nao é muito claro, com para o Frege
tem que pesquisar para ver o que que tem alem da lenda
Um abraco, JY
De : Abílio [abilio.rodrig...@gmail.com]
Date d'envoi : dimanche, 25. janvier 2009 14:03
À : BEZIAU Jean-Yves
Cc : l
Joao Marcos: interessante seus commentarios,
é bom saber que voce tambem nao acredita no papai noel - apesar de morar em
natal
vou dar um olhado no livro do Anthony Kenny sobre Frege que eu nao conhece e no
Handbook of the History of Logic.
Que o Frege seja importante na filosofia analitica nao
moderna pode começar
lendo os livros da Geraldine Brady e do Ivor Grattan-Guinness.
De : Abílio [abilio.rodrig...@gmail.com]
Date d'envoi : samedi, 24. janvier 2009 23:08
À : BEZIAU Jean-Yves
Cc : ado...@utfpr.edu.br; Francisco Antonio Doria; log
nvier 2009 14:29
À : BEZIAU Jean-Yves
Cc : logica-l@dimap.ufrn.br
Objet : Re: [Logica-l] JvH e a lenda do Frege com papai da logica moderna
Vida maravilhosa, aliás, J.-Y. ...
On Sat, Jan 24, 2009 at 9:25 AM, BEZIAU Jean-Yves
wrote:
Continuando meu e-mail de ontem:
Jean van Heijennort promoveu a
E realemente absurdo considerar que o Frege
é o pai da logica moderna.
O mais absurdo é as pessoas repetir isso,
acreditra nisso
sem saber nada da historia de logica moderna.
Comparar o Peirce com o Frege:
- ele conceptualizou a nocao de tabela de verdade
- tive a ideia da logica polivalente
- an
i, 24. janvier 2009 14:46
À : Francisco Antonio Doria
Cc : BEZIAU Jean-Yves; logica-l@dimap.ufrn.br
Objet : Re: [Logica-l] JvH e a lenda do Frege com papai da logica moderna
Oi Jean-Yves e lista,
Estou lendo "O advento do algoritmo", de David Berlinski.
Na página 155 ele escreve que Göd
Continuando meu e-mail de ontem:
Jean van Heijennort promoveu a lenda do Frege
com papai da logica moderna,
uma lenda totalemente absurda
tanto absurda talvez que a propra vida do JvH
que foi guarda costa e secretaria do Trotsky,
amante da Frida Kahlo,
assassinado pela terceira e quarta mulher
-
Frege: uma revolução na lógica?
Dei um olhado no link abaixo a respeito do livro
do Luiz Henrique Lopes dos Santos sobre Frege,
e parece bem interessante, vou ler.
Eu tenho interresso para historia da logica moderna
e sei que a posicao do Frege esta muito mal avaliada
especialement devido a
>From Peirce to Skolem – A neglected chapter in the history of logic,
no review deste livro para a revista Modern Logic, eu escrevo:
"Jean van Heijenoort can be considered as the first historian of modern logic.
In 1967 he published a book entitled From Frege to Gödel, a collection of some
cruci
Por exemplo o livro de Geraldine Brady
>From Peirce to Skolem – A neglected chapter in the history of logic,
no review deste livro para a revista Modern Logic, eu escrevo:
"Jean van Heijenoort can be considered as the first historian of modern logic.
In 1967 he published a book entitled From Freg
Frege: uma revolução na lógica?
Dei um olhado no link abaixo a respeito do livro
do Luiz Henrique Lopes dos Santos sobre Frege,
e parece bem interessante, vou ler.
Eu tenho interresso para historia da logica moderna
e sei que a posicao do Frege esta muito mal avaliada
especialement devido ao trab
PARACONSISTENT NEWSLETTER - CHRISTMAS 2008
"It was easier for me to think of a world without creator than a creator
loaded with all the contradictions of the world."
Guess who said that and win free vacations to the island of inconsistencies !
Decision between winners will be made on the basis
PARACONSISTENT NEWSLETTER - SUMMER 2008
"The ordinary man has always been sane because the ordinary man has always
been a mystic. [...] He has always cared for truth more than for
consistency. If he saw two truths that seemed to contradict each other, he
would take the two truths and the contradic
Cheguei em Fortaleza onde tenho um contrato de tres anos
na Universidade Federal do Ceara (UFC) com Professor Visitante - bolsa DCR
(FUNCAP/CNPq).
Vai ser um prazer trabalhar no Brasil e colaborar com pesquisadores aqui no
Ceara e no Brasil.
Lembro que estou editando livros e jornais
e tudos es
53 matches
Mail list logo
