LFIs : Logics of Formal Inconsistency

[jean-yves beziau]

Ja faz um certo tempo que estou desenvolvendo um projeto sobre nomes de lógicas

Organizei um workshop a respeito disso no LMPS'2015 em Helsinki

NAMING LOGIG(S)

http://clmps2015.sched.org/event/1f496fdea0da6a1bf9dd7b024268046b#.VS-JevmsVzg

Relativamenete a isso gostaria de saber da onde vem exatamente a expressao

"Logics of Formal Inconsistency" (abreviada com LFIs)

Quem inventou e porque razão?

Tem a tesa do João Marcos (2005)  que tem este nome

tem tambem um artigo com o mesmo nome

Logics of Formal Inconsistency

W Carnielli, ME Coniglio, J Marcos

Handbook of Philosophical Logic 14 (2nd), 1-93, 2007

citado cerca de 250 vezes, 

o artigo mais citado tanto do Walter, que do Marcelo, que do Joao Marcos

um grande successo então de colaboracao 

JYB

[Joao Marcos]

Oi, Jean-Yves:

Eu conto um pouco desta história nesta palestra:
http://logic-ufrn.weebly.com/joao-marcos.html

Abraços,
Joao Marcos

> --
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+u...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
> Acesse esse grupo em
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLDfzSY2WOC6sAATdc521p35o3_YtJQ%3DvYQEHAiRjyuXcA%40mail.gmail.com.



--
http://sequiturquodlibet.googlepages.com/

[Evandro L. Gomes]

Caro JYB,

Quem primeiro formulou essa cláusula foi Newton da Costa.

O título da tese dele de professor catedrático na UFPR é "Sistemas formais inconsistentes".

Acredito que o título "Lógicas da inconsistência formal" e outros similares são variações dessa ideia inaugural.

Abraço a todos,
Evandro Gomes.

[Joao Marcos]

2016-02-25 11:00 GMT-03:00 Evandro L. Gomes <evg...@gmail.com>:
>
> Quem primeiro formulou essa cláusula foi Newton da Costa.

Que cláusula, Evandro?

> O título da tese dele de professor catedrático na UFPR é "Sistemas formais
> inconsistentes".
>
> Acredito que o título "Lógicas da inconsistência formal" e outros similares
> são variações dessa ideia inaugural.

Não são. Bem, você poderá de todo modo aprender mais sobre a origem
*das LFIs*, e do seu nome (disto tratava a pergunta do Jean-Yves,
certo?) no video já divulgado (ou na minha tese, que pode ser
facilmente encontrada online).

Os colegas podem também achar algum interesse na entrevista que você
fez comigo em 2009. Aqui está ela, em audio e em PDF, graças ao
excelente trabalho que você fez durante o seu doutorado:
https://dl.dropboxusercontent.com/u/9291912/interviews/PHOLP-JMarcos-Part1.mp3
https://dl.dropboxusercontent.com/u/9291912/interviews/PHOLP-JMarcos-Part2.wma
https://dl.dropboxusercontent.com/u/9291912/interviews/PLOHP-JMarcos-Interview_revised.pdf
(Parece-me que até hoje ela não se encontra depositada nos arquivos
históricos do CLE, como você havia prometido?)

Abraços,
Joao Marcos

> Abraço a todos,
> Evandro Gomes.
>
> Em 25/02/2016 10:10, "jean-yves beziau" <jyb.lo...@gmail.com> escreveu:
>>
>> Ja faz um certo tempo que estou desenvolvendo um projeto sobre nomes de
>> lógicas
>> Organizei um workshop a respeito disso no LMPS'2015 em Helsinki
>> NAMING LOGIG(S)
>>
>> http://clmps2015.sched.org/event/1f496fdea0da6a1bf9dd7b024268046b#.VS-JevmsVzg
>>
>> Relativamenete a isso gostaria de saber da onde vem exatamente a expressao
>> "Logics of Formal Inconsistency" (abreviada com LFIs)
>> Quem inventou e porque razão?
>>
>> Tem a tesa do João Marcos (2005) que tem este nome
>> tem tambem um artigo com o mesmo nome
>> Logics of Formal Inconsistency
>> W Carnielli, ME Coniglio, J Marcos
>> Handbook of Philosophical Logic 14 (2nd), 1-93, 2007
>> citado cerca de 250 vezes,
>> o artigo mais citado tanto do Walter, que do Marcelo, que do Joao Marcos
>> um grande successo então de colaboracao
>>
>> JYB

--

http://sequiturquodlibet.googlepages.com/

[Walter Alexandre Carnielli]

Caro Evandro, caros todos:

A noção de LFIs (Lógicas da Inconsistência Formal) não tem nada a ver com a noção

se "inconsistência" a que da Costa se referia. Ele chamava de " inconsistência" aas contradições, o que nos corrigimos nas LFIs.

Os operadores de  consistência e inconsistência causaram uma pequena revolução, e permitiram que as lógicas paraconsistentes revivessem. Tais operadores  não são, nem se reduzem, aa definição de "bom comportamento" de da Costa.

Isso tem que ficar claro no livro que você esta publicando...

Em tempo, quem deu o nome foram Joao e eu, e mais tarde o Marcelo se incorporou ao projeto ( e ajudou muitíssimo).

Abs

Walter

  

Enviado do meu iPad

Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3DqBJRLJ_O7d6yodFY8f1_12bo3jc%3DAOOw9g41_NuzFVwQ%40mail.gmail.com.

[Evandro L. Gomes]

Oi João,

Falo apenas do campo semântico do nome, que chamei de cláusula.

Precisamos preparar a versão final da sua entrevista e depositá-la nos arquivos históricos do CLE.

ABS,
Evandro.

--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.

Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.

Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhqMvBXL_8P3_7P7hOxBGjs6hO3KBZm%3DQufF%2BpT9yOc-Q%40mail.gmail.com.

[Evandro L. Gomes]

Caro Walter,

Referi-me apenas aos nomes, cujas cláusulas nominais ('...') são parecidas.

A(s) paraconsistência(s) codificadas nas duas sistematizações são distinguidas.

A ideia é que o livro tudo isso seja bem retratado.

Abraço,

Evandro.

Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/7B1AC210-5346-4F9C-B053-5D429F6DB651%40gmail.com.

[jyb]

Caros Colegas

Grato pelos esclarecimentos a respeito de "LFIs"

Um abraço

Jean-Yves

[Itala M. Loffredo D'Ottaviano]

Caros Colegas:


E interessante observar que a utilização do operador de "consistência" como conectivo primitivo, em lógicas paraconsistentes., aparece já no artigo

"A many-valued paracinsistent logic, Reports on Mathematical Logic, v. 22, p. 89-103, 1988
Autores - D'Ottaviano, I.M.L. e Epstein, R. L."

O artigo apresenta o sistema J3, introduzindo o operador de consistência como primitivo, da forma com o sistema é apresentado no livro

"The semantic foundations of logic: propositional logos. Nijhoff International Philosophy Series, 35. Dordrecht, Kluver Academic Publishers Group, 1990, v.1
Autor - Richard Louis Epstein"

O capítulo sobre lógica paraconsistente, no qual é apresentado o sistema J3, foi escrito em co-autoria comigo.


Itala







> Caro Evandro, caros todos:
>
> A noção de LFIs (Lógicas da Inconsistência Formal) não tem nada a ver com a noção
> se "inconsistência" a que da Costa se referia. Ele chamava de " inconsistência" aas contradições, o que nos corrigimos nas LFIs.
>
> Os operadores de consistência e inconsistência causaram uma pequena revolução, e permitiram que as lógicas paraconsistentes revivessem. Tais operadores não são, nem se reduzem, aa
> definição de "bom comportamento" de da Costa.
>
> Isso tem que ficar claro no livro que você esta publicando...
>
> Em tempo, quem deu o nome foram Joao e eu, e mais tarde o Marcelo se incorporou ao projeto ( e ajudou muitíssimo).

> Abs
>
> Walter
>
>
> Enviado do meu iPad
>

>> Em 25 de fev de 2016, às 11:00, Evandro L. Gomes <evg...@gmail.com> escreveu:
>>
>> Caro JYB,
>>

>> Quem primeiro formulou essa cláusula foi Newton da Costa.
>>
>> O título da tese dele de professor catedrático na UFPR é "Sistemas formais inconsistentes".
>>
>> Acredito que o título "Lógicas da inconsistência formal" e outros similares são variações dessa ideia inaugural.
>>
>> Abraço a todos,

>> Evandro Gomes.
>>
>> Em 25/02/2016 10:10, "jean-yves beziau" <jyb.lo...@gmail.com> escreveu:

>>> Ja faz um certo tempo que estou desenvolvendo um projeto sobre nomes de lógicas

>>> Organizei um workshop a respeito disso no LMPS'2015 em Helsinki
>>> NAMING LOGIG(S)
>>> http://clmps2015.sched.org/event/1f496fdea0da6a1bf9dd7b024268046b#.VS-JevmsVzg
>>>
>>> Relativamenete a isso gostaria de saber da onde vem exatamente a expressao
>>> "Logics of Formal Inconsistency" (abreviada com LFIs)

>>> Quem inventou e porque razão?
>>>
>>> Tem a tesa do João Marcos (2005) que tem este nome

>>> tem tambem um artigo com o mesmo nome
>>> Logics of Formal Inconsistency
>>> W Carnielli, ME Coniglio, J Marcos
>>> Handbook of Philosophical Logic 14 (2nd), 1-93, 2007
>>> citado cerca de 250 vezes,
>>> o artigo mais citado tanto do Walter, que do Marcelo, que do Joao Marcos

>>> um grande successo então de colaboracao
>>>
>>> JYB
>>>
>>>
>>> --
>>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
>>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.

>>> Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
>>> Acesse esse grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.

>>> Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLDfzSY2WOC6sAATdc521p35o3_YtJQ%3DvYQEHAiRjyuXcA%40mail.gmail.com.
>>
>> --
>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.

>> Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
>> Acesse esse grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.

>> Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3DqBJRLJ_O7d6yodFY8f1_12bo3jc%3DAOOw9g41_NuzFVwQ%40mail.gmail.com.
>
> --
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
> Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/7B1AC210-5346-4F9C-B053-5D429F6DB651%40gmail.com.
>


++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
ITALA M. LOFFREDO D'OTTAVIANO
Centre for Logic, Epistemology and the History of Science - CLE
State University of Campinas - UNICAMP
Sergio Buarque de Holanda, 251 Street
ZIP CODE 13083-859 - Campinas-SP, Brazil
Fax: +55-19-3289-3269 -- Tel.:+55–19-3521-6517
www.cle.unicamp.br

[Itala M. Loffredo D'Ottaviano]

Evandro:

Pare de dar satisfações ao Walter e João Marcos.
O livro, de sua(nossa autoria), conterá o que quisermos.
O Walter está convidado a dar uma entrevista.
Se a der, será para nós a utilizarmos, de acordo com as normas, como quisermos.

Para de se justificar perante ele.

Itala

> Caro Walter,
>
> Referi-me apenas aos nomes, cujas cláusulas nominais ('...') são parecidas.
>
> A(s) paraconsistência(s) codificadas nas duas sistematizações são
> distinguidas.
>
> A ideia é que o livro tudo isso seja bem retratado.
>
>
> Abraço,

>
> Evandro.
>
>
>
>
>
> Em 25/02/2016 11:34, "Walter Alexandre Carnielli" <
> walter.c...@gmail.com> escreveu:
>
>> Caro Evandro, caros todos:
>>

>> A noção de LFIs (Lógicas da Inconsistência Formal) não tem nada a ver com
>> a noção
>> se "inconsistência" a que da Costa se referia. Ele chamava de "
>> inconsistência" aas contradições, o que nos corrigimos nas LFIs.
>>
>> Os operadores de consistência e inconsistência causaram uma pequena
>> revolução, e permitiram que as lógicas paraconsistentes revivessem. Tais

>> operadores não são, nem se reduzem, aa definição de "bom comportamento" de
>> da Costa.
>>
>> Isso tem que ficar claro no livro que você esta publicando...

>>
>> Em tempo, quem deu o nome foram Joao e eu, e mais tarde o Marcelo se

>> incorporou ao projeto ( e ajudou muitíssimo).

>> Abs
>>
>> Walter
>>
>>
>> Enviado do meu iPad
>>

>> Em 25 de fev de 2016, às 11:00, Evandro L. Gomes <evg...@gmail.com>
>> escreveu:
>>
>> Caro JYB,
>>

>> Quem primeiro formulou essa cláusula foi Newton da Costa.
>>

>> O título da tese dele de professor catedrático na UFPR é "Sistemas formais
>> inconsistentes".
>>

>> Acredito que o título "Lógicas da inconsistência formal" e outros
>> similares são variações dessa ideia inaugural.
>>

>> Abraço a todos,

>> Evandro Gomes.
>> Em 25/02/2016 10:10, "jean-yves beziau" <jyb.lo...@gmail.com> escreveu:
>>
>>> Ja faz um certo tempo que estou desenvolvendo um projeto sobre nomes de

>>> lógicas

>>> Organizei um workshop a respeito disso no LMPS'2015 em Helsinki
>>> NAMING LOGIG(S)
>>>
>>> http://clmps2015.sched.org/event/1f496fdea0da6a1bf9dd7b024268046b#.VS-JevmsVzg
>>>
>>> Relativamenete a isso gostaria de saber da onde vem exatamente a expressao
>>> "Logics of Formal Inconsistency" (abreviada com LFIs)

>>> Quem inventou e porque razão?
>>>

>>> Tem a tesa do João Marcos (2005) que tem este nome

>>> tem tambem um artigo com o mesmo nome
>>> Logics of Formal Inconsistency
>>> W Carnielli, ME Coniglio, J Marcos
>>> Handbook of Philosophical Logic 14 (2nd), 1-93, 2007
>>> citado cerca de 250 vezes,
>>> o artigo mais citado tanto do Walter, que do Marcelo, que do Joao Marcos

>>> um grande successo então de colaboracao
>>>
>>> JYB
>>>
>>>
>>> --

>>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
>>> Grupos do Google.
>>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele,

>>> envie um e-mail para logica-l+u...@dimap.ufrn.br.
>>> Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
>>> Acesse esse grupo em
>>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.

>>> Para ver essa discussão na Web, acesse
>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLDfzSY2WOC6sAATdc521p35o3_YtJQ%3DvYQEHAiRjyuXcA%40mail.gmail.com

>>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLDfzSY2WOC6sAATdc521p35o3_YtJQ%3DvYQEHAiRjyuXcA%40mail.gmail.com?utm_medium=email&utm_source=footer>
>>> .
>>>
>> --
>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
>> Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie

>> um e-mail para logica-l+u...@dimap.ufrn.br.
>> Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
>> Acesse esse grupo em
>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.

>> Para ver essa discussão na Web, acesse

>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3DqBJRLJ_O7d6yodFY8f1_12bo3jc%3DAOOw9g41_NuzFVwQ%40mail.gmail.com
>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3DqBJRLJ_O7d6yodFY8f1_12bo3jc%3DAOOw9g41_NuzFVwQ%40mail.gmail.com?utm_medium=email&utm_source=footer>
>> .
>>
>> --
>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
>> Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie

>> um e-mail para logica-l+u...@dimap.ufrn.br.
>> Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
>> Acesse esse grupo em
>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.

>> Para ver essa discussão na Web, acesse

>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/7B1AC210-5346-4F9C-B053-5D429F6DB651%40gmail.com
>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/7B1AC210-5346-4F9C-B053-5D429F6DB651%40gmail.com?utm_medium=email&utm_source=footer>

>> .
>>
>
> --
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
> Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.

> Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3DpB4%3DLcJAabUAkYiV60_Uq%2BQj1uwzbkAZgRb%3DND4_2-Dg%40mail.gmail.com.

[Itala M. Loffredo D'Ottaviano]

Colegas:

Desculpem-me!
Este era um e-mail para o Evandro e Walter, apenas.

Itala
> Evandro:
>
> Pare de dar satisfações ao Walter e João Marcos.
> O livro, de sua(nossa autoria), conterá o que quisermos.
> O Walter está convidado a dar uma entrevista.
> Se a der, será para nós a utilizarmos, de acordo com as normas, como quisermos.

>
> Para de se justificar perante ele.
>
> Itala
>
>> Caro Walter,
>>

>> Referi-me apenas aos nomes, cujas cláusulas nominais ('...') são parecidas.
>>
>> A(s) paraconsistência(s) codificadas nas duas sistematizações são
>> distinguidas.
>>
>> A ideia é que o livro tudo isso seja bem retratado.
>>
>>
>> Abraço,

>>
>> Evandro.
>>
>>
>>
>>
>>
>> Em 25/02/2016 11:34, "Walter Alexandre Carnielli" <
>> walter.c...@gmail.com> escreveu:
>>
>>> Caro Evandro, caros todos:
>>>

>>> A noção de LFIs (Lógicas da Inconsistência Formal) não tem nada a ver com
>>> a noção
>>> se "inconsistência" a que da Costa se referia. Ele chamava de "
>>> inconsistência" aas contradições, o que nos corrigimos nas LFIs.
>>>
>>> Os operadores de consistência e inconsistência causaram uma pequena
>>> revolução, e permitiram que as lógicas paraconsistentes revivessem. Tais
>>> operadores não são, nem se reduzem, aa definição de "bom comportamento" de
>>> da Costa.
>>>
>>> Isso tem que ficar claro no livro que você esta publicando...

>>>
>>> Em tempo, quem deu o nome foram Joao e eu, e mais tarde o Marcelo se

>>> incorporou ao projeto ( e ajudou muitíssimo).

>>> Abs
>>>
>>> Walter
>>>
>>>
>>> Enviado do meu iPad
>>>

>>> Em 25 de fev de 2016, às 11:00, Evandro L. Gomes <evg...@gmail.com>
>>> escreveu:
>>>
>>> Caro JYB,
>>>
>>> Quem primeiro formulou essa cláusula foi Newton da Costa.
>>>
>>> O título da tese dele de professor catedrático na UFPR é "Sistemas formais
>>> inconsistentes".
>>>
>>> Acredito que o título "Lógicas da inconsistência formal" e outros
>>> similares são variações dessa ideia inaugural.
>>>
>>> Abraço a todos,

>>> Evandro Gomes.
>>> Em 25/02/2016 10:10, "jean-yves beziau" <jyb.lo...@gmail.com> escreveu:
>>>
>>>> Ja faz um certo tempo que estou desenvolvendo um projeto sobre nomes de

>>>> lógicas

>>>> Organizei um workshop a respeito disso no LMPS'2015 em Helsinki
>>>> NAMING LOGIG(S)
>>>>
>>>> http://clmps2015.sched.org/event/1f496fdea0da6a1bf9dd7b024268046b#.VS-JevmsVzg
>>>>
>>>> Relativamenete a isso gostaria de saber da onde vem exatamente a expressao
>>>> "Logics of Formal Inconsistency" (abreviada com LFIs)

>>>> Quem inventou e porque razão?
>>>>
>>>> Tem a tesa do João Marcos (2005) que tem este nome

>>>> tem tambem um artigo com o mesmo nome
>>>> Logics of Formal Inconsistency
>>>> W Carnielli, ME Coniglio, J Marcos
>>>> Handbook of Philosophical Logic 14 (2nd), 1-93, 2007
>>>> citado cerca de 250 vezes,
>>>> o artigo mais citado tanto do Walter, que do Marcelo, que do Joao Marcos

>>>> um grande successo então de colaboracao
>>>>
>>>> JYB
>>>>
>>>>
>>>> --
>>>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
>>>> Grupos do Google.
>>>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele,

>>>> envie um e-mail para logica-l+u...@dimap.ufrn.br.
>>>> Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
>>>> Acesse esse grupo em
>>>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.

>>>> Para ver essa discussão na Web, acesse

>>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLDfzSY2WOC6sAATdc521p35o3_YtJQ%3DvYQEHAiRjyuXcA%40mail.gmail.com
>>>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLDfzSY2WOC6sAATdc521p35o3_YtJQ%3DvYQEHAiRjyuXcA%40mail.gmail.com?utm_medium=email&utm_source=footer>
>>>> .
>>>>
>>> --

>>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
>>> Grupos do Google.
>>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie

>>> um e-mail para logica-l+u...@dimap.ufrn.br.
>>> Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
>>> Acesse esse grupo em
>>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.

>>> Para ver essa discussão na Web, acesse

>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3DqBJRLJ_O7d6yodFY8f1_12bo3jc%3DAOOw9g41_NuzFVwQ%40mail.gmail.com
>>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3DqBJRLJ_O7d6yodFY8f1_12bo3jc%3DAOOw9g41_NuzFVwQ%40mail.gmail.com?utm_medium=email&utm_source=footer>
>>> .
>>>
>>> --

>>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
>>> Grupos do Google.
>>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie

>>> um e-mail para logica-l+u...@dimap.ufrn.br.
>>> Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
>>> Acesse esse grupo em
>>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.

>>> Para ver essa discussão na Web, acesse

>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/7B1AC210-5346-4F9C-B053-5D429F6DB651%40gmail.com
>>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/7B1AC210-5346-4F9C-B053-5D429F6DB651%40gmail.com?utm_medium=email&utm_source=footer>
>>> .
>>>
>>
>> --

>> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.

>> Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
>> Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.

>> Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3DpB4%3DLcJAabUAkYiV60_Uq%2BQj1uwzbkAZgRb%3DND4_2-Dg%40mail.gmail.com.

>>
>
>
> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
> ITALA M. LOFFREDO D'OTTAVIANO
> Centre for Logic, Epistemology and the History of Science - CLE
> State University of Campinas - UNICAMP
> Sergio Buarque de Holanda, 251 Street
> ZIP CODE 13083-859 - Campinas-SP, Brazil

> Fax: +55-19-3289-3269 -- Tel.:+55–19-3521-6517
> www.cle.unicamp.br

>
> --
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
> Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.

> Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/4e05266d14a66b9a899c3e56ea1e9c3b.squirrel%40www.cle.unicamp.br.

[Joao Marcos]

Prezada Itala:

Como você certamente sabe, o artigo inaugural das Lógicas da
Inconsistência Formal, "A taxonomy of C-systems", cita _inter alia_ o
seu capítulo no livro de Richard Epstein. O nosso survey é de fato
bastante completo. Também são citados outros artigos seus --- e foi
por conta da minha intervenção pessoal, aliás, que estes mesmos
artigos seus passaram a ser citados desde aquela época pelos grupos de
Diderik Batens e Arnon Avron, por razões de justiça histórica.

Para conhecer mais sobre a história *das LFIs*, convido-lhe a assistir
o video já divulgado em mensagem anterior.

Abraços,
Joao Marcos

> --
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.

> Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
> Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.

> Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/a6a8a3f6d53e2e0b1548338962bc6260.squirrel%40www.cle.unicamp.br.



--
http://sequiturquodlibet.googlepages.com/

[Evandro L. Gomes]

Oi Itala,

Agora eu vi.

Você não disse nada demais.

Abraço,

Evandro.

--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.

Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.

Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/26fc47b9a1572de6c0c07fdee97b354f.squirrel%40www.cle.unicamp.br.

[Evandro L. Gomes]

Caros e caras colegas da Lista,

Desculpe-me por encaminhar uma mensagem privada para a lista.

Atenciosamente,

Evandro.

[Itala M. Loffredo D'Ottaviano]

Evandro:

Mas foi desagradável, uma mensagem que era para você, ter ido para todos.
Entretanto, como sou sempre da esperança, creio que foi bom todos, por acaso, lerem o que escrevi.
Mas me desculpe, pois ficou desagradável para você.

Veja que o Joãp me enviou uma mensagem, a seguir.
Não responderei a ele.

Itala

> Oi Itala,
>
> Agora eu vi.
>

> Você não disse nada demais.
>
> Abraço,

> Evandro.
>
> 2016-02-29 2:35 GMT-03:00 Itala M. Loffredo D'Ottaviano <
> it...@cle.unicamp.br>:
>
>> Colegas:
>>
>> Desculpem-me!
>> Este era um e-mail para o Evandro e Walter, apenas.
>>
>> Itala
>> > Evandro:
>> >

>> > Pare de dar satisfações ao Walter e João Marcos.
>> > O livro, de sua(nossa autoria), conterá o que quisermos.
>> > O Walter está convidado a dar uma entrevista.
>> > Se a der, será para nós a utilizarmos, de acordo com as normas, como

>> quisermos.
>> >
>> > Para de se justificar perante ele.
>> >
>> > Itala
>> >
>> >> Caro Walter,
>> >>

>> >> Referi-me apenas aos nomes, cujas cláusulas nominais ('...') são
>> parecidas.
>> >>
>> >> A(s) paraconsistência(s) codificadas nas duas sistematizações
>> são
>> >> distinguidas.
>> >>
>> >> A ideia é que o livro tudo isso seja bem retratado.
>> >>
>> >>
>> >> Abraço,

>> >>
>> >> Evandro.
>> >>
>> >>
>> >>
>> >>
>> >>
>> >> Em 25/02/2016 11:34, "Walter Alexandre Carnielli" <
>> >> walter.c...@gmail.com> escreveu:
>> >>
>> >>> Caro Evandro, caros todos:
>> >>>

>> >>> A noção de LFIs (Lógicas da Inconsistência Formal) não

>> tem nada a ver com

>> >>> a noção
>> >>> se "inconsistência" a que da Costa se referia. Ele chamava de "
>> >>> inconsistência" aas contradições, o que nos corrigimos nas
>> LFIs.
>> >>>
>> >>> Os operadores de consistência e inconsistência causaram uma
>> pequena
>> >>> revolução, e permitiram que as lógicas paraconsistentes
>> revivessem. Tais
>> >>> operadores não são, nem se reduzem, aa definição de "bom
>> comportamento" de
>> >>> da Costa.
>> >>>
>> >>> Isso tem que ficar claro no livro que você esta publicando...

>> >>>
>> >>> Em tempo, quem deu o nome foram Joao e eu, e mais tarde o Marcelo se

>> >>> incorporou ao projeto ( e ajudou muitíssimo).

>> >>> Abs
>> >>>
>> >>> Walter
>> >>>
>> >>>
>> >>> Enviado do meu iPad
>> >>>

>> >>> Em 25 de fev de 2016, às 11:00, Evandro L. Gomes <evg...@gmail.com
>> >
>> >>> escreveu:
>> >>>
>> >>> Caro JYB,
>> >>>
>> >>> Quem primeiro formulou essa cláusula foi Newton da Costa.
>> >>>
>> >>> O título da tese dele de professor catedrático na UFPR é
>> "Sistemas formais
>> >>> inconsistentes".
>> >>>
>> >>> Acredito que o título "Lógicas da inconsistência formal" e
>> outros
>> >>> similares são variações dessa ideia inaugural.
>> >>>
>> >>> Abraço a todos,

>> >>> Evandro Gomes.
>> >>> Em 25/02/2016 10:10, "jean-yves beziau" <jyb.lo...@gmail.com>
>> escreveu:
>> >>>
>> >>>> Ja faz um certo tempo que estou desenvolvendo um projeto sobre nomes
>> de

>> >>>> lógicas

>> >>>> Organizei um workshop a respeito disso no LMPS'2015 em Helsinki
>> >>>> NAMING LOGIG(S)
>> >>>>
>> >>>>
>> http://clmps2015.sched.org/event/1f496fdea0da6a1bf9dd7b024268046b#.VS-JevmsVzg
>> >>>>
>> >>>> Relativamenete a isso gostaria de saber da onde vem exatamente a
>> expressao
>> >>>> "Logics of Formal Inconsistency" (abreviada com LFIs)

>> >>>> Quem inventou e porque razão?
>> >>>>
>> >>>> Tem a tesa do João Marcos (2005) que tem este nome

>> >>>> tem tambem um artigo com o mesmo nome
>> >>>> Logics of Formal Inconsistency
>> >>>> W Carnielli, ME Coniglio, J Marcos
>> >>>> Handbook of Philosophical Logic 14 (2nd), 1-93, 2007
>> >>>> citado cerca de 250 vezes,
>> >>>> o artigo mais citado tanto do Walter, que do Marcelo, que do Joao
>> Marcos

>> >>>> um grande successo então de colaboracao
>> >>>>
>> >>>> JYB
>> >>>>
>> >>>>
>> >>>> --
>> >>>> Você recebeu essa mensagem porque está inscrito no grupo

>> "LOGICA-L" dos
>> >>>> Grupos do Google.

>> >>>> Para cancelar inscrição nesse grupo e parar de receber e-mails

>> dele,
>> >>>> envie um e-mail para logica-l+u...@dimap.ufrn.br.
>> >>>> Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
>> >>>> Acesse esse grupo em
>> >>>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.

>> >>>> Para ver essa discussão na Web, acesse

>> >>>>
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLDfzSY2WOC6sAATdc521p35o3_YtJQ%3DvYQEHAiRjyuXcA%40mail.gmail.com
>> >>>> <
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLDfzSY2WOC6sAATdc521p35o3_YtJQ%3DvYQEHAiRjyuXcA%40mail.gmail.com?utm_medium=email&utm_source=footer
>> >
>> >>>> .
>> >>>>
>> >>> --

>> >>> Você recebeu essa mensagem porque está inscrito no grupo

>> "LOGICA-L" dos
>> >>> Grupos do Google.

>> >>> Para cancelar inscrição nesse grupo e parar de receber e-mails

>> dele, envie
>> >>> um e-mail para logica-l+u...@dimap.ufrn.br.
>> >>> Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
>> >>> Acesse esse grupo em
>> >>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.

>> >>> Para ver essa discussão na Web, acesse

>> >>>
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3DqBJRLJ_O7d6yodFY8f1_12bo3jc%3DAOOw9g41_NuzFVwQ%40mail.gmail.com
>> >>> <
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3DqBJRLJ_O7d6yodFY8f1_12bo3jc%3DAOOw9g41_NuzFVwQ%40mail.gmail.com?utm_medium=email&utm_source=footer
>> >
>> >>> .
>> >>>
>> >>> --

>> >>> Você recebeu essa mensagem porque está inscrito no grupo

>> "LOGICA-L" dos
>> >>> Grupos do Google.

>> >>> Para cancelar inscrição nesse grupo e parar de receber e-mails

>> dele, envie
>> >>> um e-mail para logica-l+u...@dimap.ufrn.br.
>> >>> Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
>> >>> Acesse esse grupo em
>> >>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.

>> >>> Para ver essa discussão na Web, acesse

>> >>>
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/7B1AC210-5346-4F9C-B053-5D429F6DB651%40gmail.com
>> >>> <
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/7B1AC210-5346-4F9C-B053-5D429F6DB651%40gmail.com?utm_medium=email&utm_source=footer
>> >
>> >>> .
>> >>>
>> >>
>> >> --

>> >> Você está recebendo esta mensagem porque se inscreveu no grupo

>> "LOGICA-L" dos Grupos do Google.

>> >> Para cancelar inscrição nesse grupo e parar de receber e-mails

>> dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
>> >> Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
>> >> Visite este grupo em
>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.

>> >> Para ver esta discussão na web, acesse

>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3DpB4%3DLcJAabUAkYiV60_Uq%2BQj1uwzbkAZgRb%3DND4_2-Dg%40mail.gmail.com
>> .
>> >>
>> >
>> >
>> > ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
>> > ITALA M. LOFFREDO D'OTTAVIANO
>> > Centre for Logic, Epistemology and the History of Science - CLE
>> > State University of Campinas - UNICAMP
>> > Sergio Buarque de Holanda, 251 Street
>> > ZIP CODE 13083-859 - Campinas-SP, Brazil

>> > Fax: +55-19-3289-3269 -- Tel.:+55–19-3521-6517
>> > www.cle.unicamp.br

>> >
>> > --
>> > Você está recebendo esta mensagem porque se inscreveu no grupo
>> "LOGICA-L" dos Grupos do Google.
>> > Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
>> envie um e-mail para logica-l+u...@dimap.ufrn.br.
>> > Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
>> > Visite este grupo em
>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
>> > Para ver esta discussão na web, acesse

>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/4e05266d14a66b9a899c3e56ea1e9c3b.squirrel%40www.cle.unicamp.br
>> .

>> >
>>
>>
>> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
>> ITALA M. LOFFREDO D'OTTAVIANO
>> Centre for Logic, Epistemology and the History of Science - CLE
>> State University of Campinas - UNICAMP
>> Sergio Buarque de Holanda, 251 Street
>> ZIP CODE 13083-859 - Campinas-SP, Brazil
>> Fax: +55-19-3289-3269 -- Tel.:+55–19-3521-6517
>> www.cle.unicamp.br
>>
>> --
>> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L"
>> dos Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
>> um e-mail para logica-l+u...@dimap.ufrn.br.
>> Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
>> Visite este grupo em
>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
>> Para ver esta discussão na web, acesse

>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/26fc47b9a1572de6c0c07fdee97b354f.squirrel%40www.cle.unicamp.br
>> .

>>
>
> --
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
> Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.

> Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3Dq1mjs7eTv-4E5c-vgLq%3DPPE-VzBaXxzgpuWh10iQa4oQ%40mail.gmail.com.