Re: [Logica-l] Itala no Jornal da Fapesp

[Evandro L. Gomes]

Itala,

Meus parabéns por toda a sua trajetória de vida dedicada à ciência, à
lógica, à filosofia, ao conhecimento.
Que esse prêmio, merecidíssimo, seja o primeiro de muitos.

Evandro.

On Thu, Sep 5, 2024 at 11:07 AM Juan Carlos Agudelo Agudelo <
juca.agud...@gmail.com> wrote:

> Parabéns, Itala, pelo muito merecido prémio.
>
> Abraços,
> Juan Carlos
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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+unsubscr...@dimap.ufrn.br.
> Para acessar essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACkoYSoPe7-3uubxFD_rJpKT_uJEmETQxFR%3DA5Mwmg4SQk98Bw%40mail.gmail.com
> 
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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+unsubscr...@dimap.ufrn.br.
Para acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3DqsCkbViA%2BUt14m7p8D-pkChEM1Rcso56qsMyqD9mpaVA%40mail.gmail.com.

[Logica-l] Church's A Bibliography of Symbolic Logic papers

[Evandro L. Gomes]

Olá, colegas,

Espero que estejam bem.

Estou precisando da célebre série de papers de Church intitulada " A
Bibliography of Symbolic Logic". Eu tinha essas cópias, mas não as
encontrei aqui no computador.

Alguém possui essa série de artigos para compartilhar. Desde já agradeço.

Abs,
Evandro.

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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+unsubscr...@dimap.ufrn.br.
Para acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3Dos1STQNixzWc-59YO77jsb6T9XHiabragjiTZsRtU_JQ%40mail.gmail.com.

Re: [Logica-l] Nuel Belnap (1930-2024)

[Evandro L. Gomes]

Olá, colegas!

Mais uma grande e triste perda para a lógica. Ele era uma figura amável e
notável. RIP.

Evandro.



On Thu, Jun 13, 2024 at 7:47 AM Joao Marcos  wrote:

> https://dailynous.com/2024/06/13/nuel-belnap-1930-2024/
>
>
> JM
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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+unsubscr...@dimap.ufrn.br.
> Para acessar essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Liu5TKUQP2xYMtJGEpA%3D79zvuttZLyO8f%3D8gdFiL8KX7Q%40mail.gmail.com
> 
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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+unsubscr...@dimap.ufrn.br.
Para acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3Doqyb0UucNpEMuzgYLUM2-Q6B9Rj%2BkDEgSKFosepEAQKw%40mail.gmail.com.

Re: [Logica-l] Texto sobre Newton da Costa

[Evandro L. Gomes]

Olá, Jonas,

Muito obrigado por compartilhar esse texto tão lindo sobre nosso querido
professor.

Abraço,
Evandro.



On Tue, Jun 11, 2024 at 10:59 AM jonas.becker2 
wrote:

> Olá colegas,
>
> estou passando aqui para divulgar um texto sobre o prof. Newton da Costa,
> publicado na Revista Piauí. Foi escrito pelo Fernando Tadeu Moraes, que foi
> aluno de mestrado do Newton aqui na UFSC:
>
>
> https://piaui.folha.uol.com.br/materia/o-horizonte-paraconsistente-newton-da-costa/
>
> Cordialmente,
> Jonas
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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+unsubscr...@dimap.ufrn.br.
> Para acessar essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/2a24709d-f769-4ad9-8be8-a79683a22898n%40dimap.ufrn.br
> 
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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+unsubscr...@dimap.ufrn.br.
Para acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3DqBLDkEcCrQxO5XsC7_ynLUCDt2E%2BycQpbVDRp4zRr4qw%40mail.gmail.com.

Re: [Logica-l] El Comercio: Newton da Costa

[Evandro L. Gomes]

Olá Walter,

Acredito que essa entrevista esteja no livro Para além das Colunas de
Hércules, que publicamos, com a Itala. A declaração foi sim feita em minha
defesa de tese em 12-12-2013, a última vez que Newton da Costa foi à
Unicamp. Pena que não temos o registro em vídeo ou áudio.

Se houver outra menção anterior a essa declaração histórica, eu gostaria de
ter acesso para incorporar em nossas pesquisas sobre a história da
paraconsistência.

Abs lógicos!
Evandro.

On Thu, May 23, 2024 at 9:23 AM Walter Carnielli 
wrote:

> Bom  dia Itala, Luis,
>
> Newton se referiu ao assunto,   da  maneira que eu narrei,  em uma
> entrevista. Nao sei se foi antes ou depois
> do que aparece no  livro sobre a história da paraconsistência.
> Abs
>
> Walter
>
> Em qui., 23 de mai. de 2024 às 00:59, Itala Maria Loffredo D'Ottaviano
>  escreveu:
> >
> > Caro Luis:
> >
> > Muito lindo, seu texto, obrigada, pela homenagem peruana a nosso querido
> Mestre!
> >
> > A propósito do comentário acima de nosso colega Walter, a pergunta que
> ele menciona, feita ao da Costa, foi feita por um dos examinadores da Tese
> de Doutorado do Evandro Gomes, durante a defesa da Tese, na UNICAMP. Newton
> foi um dos membros da Banca.
> > Newton respondeu, jocosamente - Não sabemos se foi Colombo, ou não, quem
> descobriu a América. Mas, depois dele, ninguém mais precisou descobrir a
> América.
> > Apenas assim.
> > E isso está narrado em nosso livro sobre a história da paraconsistência,
> na edição em Português, e aparecerá também na edição inglesa.
> >
> > Abraço amigo,
> >
> > da Itala
> >
> > Em qua., 22 de mai. de 2024 às 21:57, Walter Carnielli <
> walte...@unicamp.br> escreveu:
> >>
> >> Estimado Luis:
> >>
> >> Felicitaciones por el merecido homenaje a Newton da Costa y a
> >> Francisco Miró-Quesada. A propósito de colónidas y de Colón: una vez
> >> le preguntaron a Newton su opinión sobre la polémica de si él había
> >> inventado o no la lógica paraconsistente; Newton respondió, parodiando
> >> a Colón: "No sé si la inventé o no, solo sé que después de mí nadie
> >> más la inventó"  :-)
> >>
> >> Abrazos,
> >> Walter.
> >>
> >> Em qua., 22 de mai. de 2024 às 16:00, Luis Bartolo
> >>  escreveu:
> >> >
> >> > Cara comunidade lógica brasileira:
> >> > Gostaria de compartilhar com vocês um artigo que publiquei
> recentemente na imprensa peruana por ocasião do falecimento do professor
> Newton.
> >> >
> >> >
> https://elcomercio.pe/luces/newton-da-costa-1929-2024-un-matematico-notable-ha-partido-noticia
> >> >
> >> > O jornal onde o artigo é publicado chama-se "El Comercio", que
> durante várias décadas, até sua morte, foi a casa jornalística de Francisco
> Miró Quesada, irmão intelectual do professor Newton.
> >> >
> >> > Espero que seja uma homenagem adequada ao professor Newton.
> >> >
> >> > Abracos,
> >> > Luis
> >> > --
> >> > Luis F. Bartolo Alegre
> >> >
> >> > Doctoral Researcher at the Munich Center for Mathematical Philosophy
> >> > Ludwig-Maximilians-Universität München (MCMP-LMU)
> >> >
> >> > DAAD-Stipendiat: Forschungsstipendien -- Promotionen in Deutschland
> >> >
> >> > --
> >> > LOGICA-L
> >> > Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> >> > ---
> >> > 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+unsubscr...@dimap.ufrn.br.
> >> > Para acessar essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/315f67b4-0391-4ba8-9e16-c44a0daaec0dn%40dimap.ufrn.br
> .
> >>
> >>
> >>
> >> --
> >>  
> >>  Walter Carnielli
> >> CLE and Department of Philosophy
> >> University of Campinas –UNICAMP, Brazil
> >> AI2- Advanced Institute for Artificial Intelligence
> >> https://advancedinstitute.ai/
> >> Blog https://waltercarnielli.com/
> >>
> >> --
> >> LOGICA-L
> >> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> >> ---
> >> 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+unsubscr...@dimap.ufrn.br.
> >> Para acessar esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLfZYFypJ-raz%2B_q76qc0A-80fSt9C9SpXfM6yRocTugdw%40mail.gmail.com
> .
> >
> >
> >
> > --
> > Prof. Dr. Itala M. Loffredo D'Ottaviano
> > Full Professor in Logic and the Foundations of Science
> > Member and Researcher of the Centre for Logic, Epistemology and the
> History of Science at the University of Campinas
> > Research Fellow of the Brazilian National Council for Scientific and
> Technological Development
> > Titular Member, Brazilian Academy of Philosophy (Rio de Janeiro)
> > Emeritus Member, Académie Internationale de Philosophie de Sciences
> (Bruxelles)
> > Titular Member, Institut Internationa

Re: [Logica-l] Re: Vem aí os Seminários de Orientação extra-Lógica (SOL)

[Evandro L. Gomes]

Olá Samuel, olá João Mendes,

Muito boa mesmo a programação.

Abs,
Evandro.

On Tue, Jan 16, 2024 at 11:06 AM 'samuel' via LOGICA-L <
logica-l@dimap.ufrn.br> wrote:

> Caros,
>
> Achei a programacao tao bacana que nao resisti a um recorte e cole aqui,
>
> Parabéns aos idealizadores,
>
> Até
>
> []s  Samuel
> 15/03/2024 (6ª)
>
>- 14:00 - 17:00 (Seminário)
>Habilidades de estudos e organização
>- 18:00 - 20:00 (Mesa redonda)
>Problemas: quais a lógica dá conta de resolver e como encontrá-los?
>
>
> 16/03/2024 (sáb.)
>
>- 9:00 - 11:00 (Seminário)
>Ingressando numa pós
>- 13:00 - 15:00 (Seminário)
>Preparando e sobrevivendo a uma apresentação
>- 16:00 - 18:00 (Mesa redonda)
>​Problemas de demarcação: Eu faço Lógica?
>
>
>
> Em segunda-feira, 15 de janeiro de 2024 às 21:28:28 UTC+1,
> mendeslo...@gmail.com escreveu:
>
>> Como já anunciado no Boletim VII-2 da SBL, acontecerá nos dias 15 e 16 de
>> março de modo virtual os Seminários de Orientação extra-Lógica (SOL),
>> evento parte do 3º Dia Carol Blasio por Diversidade na Lógica.
>>
>> Este será um evento voltado a estudantes ou pessoas interessadas em
>> estudar Lógica para conversarmos sobre aspectos da vida acadêmica que
>> geralmente não fazem parte de ementas de disciplinas ou de cursos.
>>
>> As inscrições abrirão em breve e, mais informações, podem ser encontradas
>> em
>>
>> Site: https://sologica.weebly.com/
>>
>> Instagram: sol_logica 
>>
>> Twitter: sol_logica 
>>
>>
>> João Mendes
>>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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+unsubscr...@dimap.ufrn.br.
> Para acessar essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/92bf3f7a-19b7-4589-8367-70ef448ed3e4n%40dimap.ufrn.br
> 
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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+unsubscr...@dimap.ufrn.br.
Para acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3DrUafQVAQtZECAbd59WYhs3opspPeu_F0obP1akUPmiVQ%40mail.gmail.com.

Re: [Logica-l] Textos Newton da Costa

[Evandro L. Gomes]

Olá Abílio,

Eu tenho. Vou ver se estão no drive e te envio. O primeiro texto é raro.

Feliz 2024!

Abs,
Evandro

Em sex., 5 de jan. de 2024 13:07, Abilio Rodrigues Filho <
abilio.rodrig...@gmail.com> escreveu:

> Prezadxs,
>
> Alguém teria arquivos PDF dos textos abaixo, do Newton?
>
> Nota sobre o conceito de contradição
>
> Observações sobre o conceito de existência em matemática.
>
> Ambos publicados no Anuário da soc. Paranaense de matemática, 1959.
>
> Abraços
>
> Abílio
>
>
>
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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+unsubscr...@dimap.ufrn.br.
> Para acessar essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CALtFD23TfTuw2NfF-UuWL_LSnuSNDOVWAi%2B%3D%3DonpL3t1CVnoEA%40mail.gmail.com
> 
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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+unsubscr...@dimap.ufrn.br.
Para acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3Drpp6KFRXvDXs3JmSgfVBf18x4RvvgMXonqKS%3D8tQjSHA%40mail.gmail.com.

Re: [Logica-l] Livro em homenagem à obra de Décio Krause

[Evandro L. Gomes]

Olá Raoni, Jonas e Décio,
olá colegas,

Parabéns efusivos aos organizadores do volume e ao Décio pela obra. Um
grande legado !

Um grande abraço,
Evandro

On Thu, Sep 7, 2023 at 11:29 AM Raoni Wohnrath Arroyo 
wrote:

> Oi pessoal,
>
> peço licença pra divulgar o seguinte livro em homenagem ao filósofo
> brasileiro Décio Krause, pois acredito que possa ser do interesse da
> comunidade de lógica do Brasil.
>
> Arenhart, J.R.B., Arroyo, R.W. (eds) *Non-Reflexive Logics,
> Non-Individuals, and the Philosophy of Quantum Mechanics: Essays in Honour
> of the Philosophy of Décio Krause*. Synthese Library, vol 476. Springer,
> Cham, 2023. https://doi.org/10.1007/978-3-031-31840-5
>
> *About this book:* "This book discusses the philosophical work of Décio
> Krause. Non-individuality, as a new metaphysical category, was thought to
> be strongly supported by quantum mechanics. No one did more to promote this
> idea than the Brazilian philosopher Décio Krause, whose works on the
> metaphysics and logic of non-individuality are now widely regarded as part
> of the consolidated literature on the subject. This volume brings together
> chapters elaborating on the ideas put forward and defended by Krause,
> developing them in many different directions, commenting on aspects not
> completely developed so far, and, more importantly, critically addressing
> their current formulations and defenses by Krause himself. Given that
> Krause’s ideas do connect directly and indirectly with a wide array of
> subjects, such as the philosophy of quantum mechanics, more broadly
> understood, the philosophy of logic and logical philosophy, non-classical
> logics, metaphysics, and ontology, this volume contains important material
> for the research on logic and foundations of science, broadly understood.
> All the invited contributors have already worked with the ideas developed
> by Décio (some of them still work with them), being also distinct authors
> and extremely relevant in their areas of expertise. The volume is aimed at
> philosophers, including those of physics and quantum mechanics."
>
> Abraços,
> Raoni
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/806ca00a-e2f1-48bf-9d9c-703160a306b8n%40dimap.ufrn.br
> 
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3DqwRJrt6yQshZJouSOR6OwbiErssSs2xC1PNknhAGTDeQ%40mail.gmail.com.

Re: [Logica-l] Concurso Público (FIL-UnB) - Área: Lógica

[Evandro L. Gomes]

Olá colegas,

Essa discussão é muito importante e necessária. No departamento de
filosofia da Universidade Estadual de Maringá, há tempos, optamos por um
requisito um pouco mais aberto nos concursos que requer como requisito "que
o candidato tenha pelo menos uma de suas formações acadêmicas em
filosofia", seja graduação ou mestrado ou doutorado. Tivemos poucos
concursos na última década, mas tem funcionado.

Abs,
Evandro.

On Thu, Dec 15, 2022 at 8:12 AM Marcos Silva 
wrote:

>
>
> On Thu, Dec 15, 2022 at 4:14 PM Joao Marcos  wrote:
>
> Ola, JM!
>
> Deixe-me ver se entendo: você está defendendo que a exigência do diploma
>> de GRADUAÇÃO em Filosofia neste concurso específico (ou qualquer outro?)
>> foi introduzida como uma questão de política pública?
>>
>
> nao, não defendi isto. eu estou tentando fazer sentido da exigencia. eu
> lancei uma hipotese.
> mas eu acho, sim, que um edital, especialmente em uma universidade
> publica, nao é neutro politicamente, nao. Alias, acho que nao deveria ser
> neutro, nao.
>
>
>> Mais ainda, está defendendo que esta seja a única alternativa para a
>> implementação desta medida de política pública particular?
>>
>
> a "única"?? eu sou wittgensteiniano, nunca falaria algo assim. ;-)
>
>
>> (Obviamente que podemos perguntar se ela é SUFICIENTE para assegurar os
>> objetivos arrolados, certo?)
>>
>
> vc sabe melhor que eu, que não há nada óbvio em filosofia, né, João. Eu
> acho esta sua alegacao de "obviedade" fruto de uma confusão conceitual e
> metodológica. Basicamente, eu acredito, e nao estou sozinho nisto, que não
> há suficiencia em se tratando de fazer previsoes sobre relações complexas
> e dinamicas em dominios sociais, culturais ou biológicos. Nestes dominios,
> fazer X vai ser suficiente para Y? Não se pode garantir. Exigir
> suficiencia não é uma boa estratégia aqui. Por exemplo, a açao afirmativa X
> vai ser suficiente para remediar a injustica Y? Nao se pode dizer. Mas por
> que exigir suficiencia aqui? Várias outras medidas podem (e devem) ser
> implementadas conjuntamente.
>
>
>>
>> Abraços, JM
>>
>
> Abraço!
>
>
>>
>> On Thu, Dec 15, 2022, 07:38 Marcos Silva  wrote:
>>
>>>
>>>
>>> On Thu, Dec 15, 2022 at 3:55 PM Joao Marcos  wrote:
>>>
 Hummm, esta sua contribuição me pareceu perigosamente próxima da
 falácia do espantalho, Marcos...

>>>
>>> okay. por quê?
>>>
>>>

 Você poderia desenvolver melhor o argumento específico que conectaria
 de forma necessária (ou mesmo suficiente) o *diploma de GRADUAÇÃO na área
 X* com a existência de *interesse ou competência em problemas da área X*
 por parte do candidato (eventualmente aprovado pela banca do concurso)?

>>>
>>> JM, acho que estamos falando de política academica e não de metafísica.
>>>
>>> é irreal se exigir condições de necessidade e suficiência para tratar de
>>> questões sociais complexas. Me parece claro que não há necessidade e nem
>>> suficiência ao se tratar de políticas públicas. Eu acho que este tipo de
>>> exigência abstrata e ideal paralisaria, por exemplo, a implementação de
>>> ações afirmativas muito importantes.
>>>
>>>
 []s, João Marcos

>>>
>>> abraços,
>>> Marcos
>>>
>>>

 On Thu, Dec 15, 2022, 06:53 Marcos Silva 
 wrote:

> Car@s colegas,
>
>
> aqui vão meus dois centavos de contribuição para esta discussão.
>
>
> Às vezes eu vejo com perplexidade a hegemonia de uma visão liberal e
> meritocrática da universidade e da pesquisa acadêmica nesta lista.
>
>
> Me parece legítimo que um departamento de filosofia, e qualquer outro,
> possa orientar o perfil desejado de um professor de uma universidade
> pública com algumas exigências de formação, sim. Isto não é reserva de
> mercado tanto quanto ações afirmativas para pretos não é racismo reverso.
>
>
>
> A gente pode querer assegurar, sim, ter um lógico, ou matemático, com
> interesse em filosofia num departamento de filosofia e tentar estimular,
> sim, que um lógico ou matemático procure ter formação em filosofia tb, se
> quiser trabalhar em um departamento de filosofia.
>
>
> Um departamento nao pode intervir para prevenir distorções que podem
> ser muito prejudiciais no medio e longo prazo?  Como, por exemplo,
> ter um docente num departamento de filosofia por 30 anos sem interesse ou
> competência em problemas filosóficos? No modelo atual, isto é possível.
> Alias, voce vê isto em alguns lugares: lógicos ou matemáticos trabalhando
> em um departamento de filosofia com muito pouco ou nenhum interesse em
> filosofia.
>
>
>
> Não há uma resposta fácil para isto no atual modelo de gestão da
> academia. Mas a lógica do “que ganhe o melhor e pronto” nao previne isto.
> Ou “são as publicações que contam”. Isto talvez funcione para alguns 
> países
> de capitalismo central. Mas para um país periférico como o nosso, cheio de
> distorções

Re: [Logica-l] Prêmio CAPES de tese 2022

[Evandro L. Gomes]

Olá Daniel, olá Evelyn!

Parabéns por esta tão importante e memorável conquista!

Abs,
Evandro Gomes


On Fri, Aug 12, 2022 at 9:22 AM Elaine Pimentel 
wrote:

> Que grande notícia 🎉🎉🎉
>
> Parabéns, Evelyn! Parabéns Daniel!
>
> Acho que é uma ótima ideia colocar na página da SBL os prêmios de teses em
> Lógica. Tivemos há um tempo atrás a Giselle Secco. Quem tiver informações
> de anos anteriores, por favor, nós envie a informação?
>
> Obrigada.
>
> Parabéns novamente, Evelyn!! Um super abraço!!
>
> Elaine.
>
> On Fri, Aug 12, 2022, 06:53 Joao Marcos  wrote:
>
>>
>> https://www.in.gov.br/en/web/dou/-/edital-n-11/2022-resultado-premio-capes-de-tese-edicao-2022-421902318
>>
>> O prêmio de tese em Filosofia deste ano veio para a nossa Evelyn
>> Erickson, orientada por Daniel Durante (e co-orientada por Ole
>> Hjortland).
>>
>> A tese pode ser encontrada aqui:
>> Rational theory revision in logic: beyond abductivism
>> https://repositorio.ufrn.br/handle/123456789/44906?mode=full
>>
>> Parabéns aos envolvidos!
>> Joao Marcos
>>
>> --
>> http://sequiturquodlibet.googlepages.com/
>>
>> --
>> LOGICA-L
>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>> Lógica 
>> ---
>> 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+unsubscr...@dimap.ufrn.br.
>> Para ver esta discussão na web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Ljc8-i44y0QQLBGwJsdCNcqox9Dtzc6UYjUpU4k2s4wig%40mail.gmail.com
>> .
>>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BWW6%3DL_NzNZEDk5VSNisJLBdwReKy-Nvo%2BfHWhtej9ytQ%40mail.gmail.com
> 
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3Doh5dQcpFy8jVzAaoqJr1uyZ_8Bd8qsB7Yfqrz_zrt9Tg%40mail.gmail.com.

Re: [Logica-l] Dutilh Novaes Wins Lakatos Award

[Evandro L. Gomes]

Olá Catarina,

Meus parabéns por esta tão grande conquista.
É o coroamento de muitos anos de pesquisa e dedicação.

Parabéns!

Evandro.

On Thu, May 19, 2022 at 12:13 PM Marcos Silva 
wrote:

> Parabéns para a Catarina!
>
> https://dailynous.com/2022/05/19/dutilh-novaes-wins-lakatos-award/
>
> Ela deu, há um pouco mais de um mês, uma excelente palestra sobre a sua
> pesquisa atual em nosso evento do PPGFIL/UFPE.
> https://www.youtube.com/watch?v=IGrei6zFwdk&t=5774s
>
> Abraços,
> Marcos
>
> --
> Marcos Silva (UFPE/CNPq)
> Philosophy Department
> Federal University of Pernambuco, Brazil
> Director of Graduate Studies (PPGFIL/UFPE
> )
> Editor-in-chief Revista Perspectiva Filosófica
> 
> https://sites.google.com/view/marcossilvaphilosophy
> "amar e mudar as coisas me interessa mais"
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGZ3pz%2BHi%2BwYnGE3d4m1euhXJKUD%3DQm1P-OT%2BXZyUrvgWAtJ1Q%40mail.gmail.com
> 
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3Dq4WfsJk0YOg3BEt0gWKVMwkssvMQ9xR8mesNj8sBEUPw%40mail.gmail.com.

Re: [Logica-l] Resultado do Prêmio de Lógica "Newton da Costa" 2021

[Evandro L. Gomes]

Parabéns ao Ciro, Abílio e Henrique!



On Mon, Jan 31, 2022 at 10:07 AM Alfredo Roque Freire 
wrote:

> Parabéns ao Ciro, Abílio e Henrique!
>
>
> On Mon, Jan 31, 2022 at 11:47 AM Marcelo Finger 
> wrote:
>
>> Parabéns , Ciro, Abílio e Henrique por partilharem o prêmio.
>>
>> Parabéns Petrúcio e demais envolvidos por tocarem o processo todo!
>>
>> []s
>>
>> Marcelo
>>
>>
>> Em sáb., 29 de jan. de 2022 às 18:42, Petrucio Viana <
>> petrucio_vi...@id.uff.br> escreveu:
>>
>>> A SBL tem a honra e o prazer de informar que os artigos intitulados
>>>
>>> *Coproduct and amalgamation of deductive systems by means of ordered
>>> algebras *do Prof. Ciro Russo
>>>
>>>
>>> e
>>>
>>>
>>> *First-order logics of evidence and truth with constant and variable
>>> domains *dos Profs Abílio Rodrigues e Henrique Antunes.
>>>
>>>
>>> foram conjuntamente contemplados com o *Prêmio de Lógica "Newton da
>>> Costa",* edição de 2021.
>>>
>>>
>>> É importante frisar que, nesta edição, recebemos cinco trabalhos de
>>> altíssima qualidade. E que a escolha dos contemplados foi uma difícil
>>> decisão.
>>>
>>>
>>> O Prêmio foi conferido, baseado nos pareceres enviados pela banca,
>>> composta por
>>>
>>>- Manuela Busaniche (CCT-Santa Fe)
>>>- Rodolfo C. Ertola-Biraben (CLE-Unicamp)
>>>- María Martínez-Ordaz (IFCS-UFRJ)
>>>- Sheila R. M. Veloso (PPCG-UERJ & COPPE-UFRJ)
>>>- Petrucio Viana (GAN-UFF) (Presidente e representante da SBL)
>>>
>>> A SBL gostaria de tornar publico o agradecimento a banca, que nos
>>> presenteou com um trabalho de altíssima qualidade.
>>>
>>>
>>> Petrucio Viana
>>>
>>> em nome da SBL
>>>
>>> --
>>> LOGICA-L
>>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>>> Lógica 
>>> ---
>>> 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+unsubscr...@dimap.ufrn.br.
>>> Para ver essa discussão na Web, acesse
>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACRvmVToFp8GGqxiEJyHj2t12JLj_sjUHT%3DeRGGR%3DxkvnTr4OQ%40mail.gmail.com
>>> 
>>> .
>>>
>>
>>
>> --
>> Marcelo Finger
>>  Departament of Computer Science, IME-USP
>>  http://www.ime.usp.br/~mfinger
>>  ORCID: https://orcid.org/-0002-1391-1175
>>  ResearcherID: A-4670-2009
>>
>> Instituto de Matemática e Estatística,
>>
>> Universidade de São Paulo
>>
>> Rua do Matão, 1010 - CEP 05508-090 - São Paulo, SP
>>
>> --
>> LOGICA-L
>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>> Lógica 
>> ---
>> 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+unsubscr...@dimap.ufrn.br.
>> Para ver essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw2RF3Sw9wnEpa3HqTu_EpOmKPjHeP1bhmpFx%3DkPzDJ96A%40mail.gmail.com
>> 
>> .
>>
>
>
> --
> Alfredo Roque Freire
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHk6N6av2uOee%2Bo489jRtStKPURe0OSUu%2BtHq%2BR8c6x72DKR-g%40mail.gmail.com
> 
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3DpUWqD2QY5Lz0zqxCJU-8thyZ%3Dcvm_iwQQRA-88NZp42w%40mail.gmail.com.

[Logica-l] Divulgação científica sobre paraconsistência

[Evandro L. Gomes]

Caros colegas,

Seguem os links um número especial do Conexão Ciência “C2” devotado à
paraconsistência e em comemoração ao 92º de Newton da Costa.

C2 é um blog de divulgação científica mantido pela Universidade Estadual de
Maringá.

 https://conexaociencia.com.br/isso-e-logico-sera-2/

 https://conexaociencia.com.br/trabalho-herculeo-paraconsistencia/

 https://conexaociencia.com.br/o-parana-na-historia-da-paraconsistencia/

Se puderem repassar, agradecemos.

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+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3Dr%2BqVmBn46sCwG9kBpN2otrmZDdxcQCpbvt-AjVL0uQ1A%40mail.gmail.com.

Re: [Logica-l] Triste nota de pesar

[Evandro L. Gomes]

Walter,

Que notícia mais triste.

Lembro-me de boas e interessantes conversas que tivemos em inúmeras
ocasiões.
Acho que a última vez que o revi foi no EBL de Pirenópolis.

Muito triste.

Meus mais profundos sentimentos à família.

Evandro.


On Fri, May 28, 2021 at 5:16 PM Walter Carnielli 
wrote:

> 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.
>
> Estava buscando uma posição, algo muito difícil de encontrar nestes
> tempos-  escrevi várias cartas de recomendação, e ele estava na luta para
> conseguir trabalho, e conecar uma vida acadêmica. Sinto muitíssimo pela
> perda do Tony ,muito jovem para nos deixar.
>
> Saudações tristes,
>
> Walter
>
> --
> 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+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLc0pvQFS6OSaXcYqb4c_xRg9nF0JwdyFcU-0gdaX%2B80dg%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+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3DqFYUKu5U-my-bAVQQ_kHtvJsmUuBvRoQOksA3_dOFO-g%40mail.gmail.com.

[Logica-l] [Off-topic] Convite

[Evandro L. Gomes]

Caras e caros colegas da lista,

Gostaria de divulgar a homenagem aos 90 anos de Newton da Costa que
acontece na UFPR na próxima semana.

Newton da Costa 90 anos - Homenagem da UFPR
Data: 29/10/2019
Horário: 14 horas
Local: Salão Nobre da Faculdade de Direito, Prédio Histórico – Praça Santos
Andrade, Curitiba, Paraná.

Newton da Costa estará presente e o evento é organizado pelos professores
César Serbena e Adonai Sant'Anna.

Estão todos convidados.

Saudações lógicas!

Um abraço,
Evandro Gomes

-- 
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+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3Dq4Q7T325cyJ1msPDos782L2vF66MrNCff_ZO%2B5dUQ41A%40mail.gmail.com.

[Logica-l] Homenagem a Newton da Costa

[Evandro L. Gomes]

Caros colegas da lista,

Gostaria de divulgar a homenagem aos 90 anos de Newton da Costa que
acontece na UFPR na próxima semana.

Newton da Costa 90 anos - Homenagem da UFPR
Data: 29/10/2019
Horário: 14 horas
Local: Salão Nobre da Faculdade de Direito, Prédio Histórico – Praça Santos
Andrade, Curitiba, Paraná.

Newton da Costa estará presente e o evento é organizado pelos professores
César Serbena e Adonai Sant'Anna.

Estão todos convidados.

Saudações lógicas!

Um abraço,
Evandro Gomes

-- 
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+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3Dr3Y1ygsjcgG8J%3DxLz5Jbvc1CBHCvLEc5RqjZeiQkvvBw%40mail.gmail.com.

[Logica-l] Homenagem da UFPR aos 90 anos de Newton da Costa

[Evandro L. Gomes]

Caros colegas da lista,

Gostaria de divulgar a homenagem aos 90 anos de Newton da Costa que
acontece na UFPR na próxima semana.

Newton da Costa 90 anos - Homenagem da UFPR
Data: 29/10/2019
Horário: 14 horas
Local: Salão Nobre da Faculdade de Direito, Prédio Histórico – Praça Santos
Andrade, Curitiba, Paraná.

Newton da Costa estará presente e o evento é organizado pelos professores
César Serbena e Adonai Sant'Anna.

Estão todos convidados.

Saudações lógicas!

Um abraço,
Evandro Gomes

-- 
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+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3DrRVAE3xTneZXZU%2BVVjkk-STOZv5gUycE9n4iOMXvWkig%40mail.gmail.com.

Re: [Logica-l] Re: Lógica elementar

[Evandro L. Gomes]

Caro Cassiano, caro Desidério e demais colegas da lista,

Quine ministrou seu curso de lógica de junho a setembro de 1942, por meio
de um convênio junto ao Centro Cultural Brasil-Estados Unidos. O livro "O
sentido da Nova Lógica" é publicado em 1944, com a assistência de Vicente
Ferreira da Silva, que, à época, se interessava bastante por lógica.

O curso de Quine foi ministrado na Escola Livre de Sociologia e Política de
São Paulo. O próprio Vicente publica também um livro de lógica bem
elementar em 1939, "Lógica Moderna", sendo, até onde sei, o segundo escrito
especialmente voltado à lógica moderna a ser publicado no Brasil no século
XX. O primeiro trabalho nesse sentido é do matemático Amoroso Costa "As
idéias fundamentais da matemática", publicado em 1929. (Vide Gomes;
D'Ottaviano, 2017, p. 341-342, n. 19).

Graças ao seu interesse em lógica, Vicente Ferreira da Silva é convidado a
assistir Quine na execução do curso. Todavia, há razões para acreditar que
Vicente tenha sido, de fato, mais um dos alunos de Quine na ocasião.

Como eu disse ao Desidério, seu livro será uma excelente contribuição a
bibliografia luso-brasileira de lógica.

abs,
Evandro.

On Thu, Aug 1, 2019 at 11:43 AM Cassiano Terra Rodrigues <
cassiano.te...@gmail.com> wrote:

>
> Caro Desidério, obrigado pelas informações e parabéns pelo livro! Faço
>> minhas as palavras da Ítala e aguardo o lançamento.
>
> Sobre a situação da lógica no Brasil em 1943, bem, até onde sei, nesse ano
> Quine estava na USP, seu livro *O sentido da nova lógica * foi publicado
> em 1944, em tradução (ruim, na minha opinião, mesmo para a época) de
> Vicente Ferreira da Silva.
> Achei um texto do Walter Carnielli sobre o livro de Quine:
> https://www.unicamp.br/unicamp/ju/noticias/2018/08/10/nova-logica-e-filosofia-de-wvquine-no-brasil
> Talvez o próprio Walter possa dizer algo mais sobre o assunto.
> Um abraço,
> cass.
>
> --
> 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+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/bf66ff34-656d-4d54-85c3-bf7ee7c7b344%40dimap.ufrn.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+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3DrRVgsihQDK2htgb7mAkgnoCSX%2Br52WK0q-mYhzjxx30A%40mail.gmail.com.

Re: [Logica-l] [OFF-TOPIC] Dúvida sobre comando e versão do quadrado das oposições em LaTeX

[Evandro L. Gomes]

Olá Hudson,

Eu não conhecia esse site para identificar símbolos para LaTeX.
O Quadrado de Oposições ficou correto e bonito.

Muito obrigado pelos links.

Um abraço,
Evandro.

On Thu, Apr 25, 2019 at 10:31 AM Hudson Benevides 
wrote:

> Olá Evandro,
>
> Estou longe de ser um TeX expert, mas acho que o seguinte código pode ser
> o início para um quadrado satisfatório:
> https://gitlab.com/snippets/1851127
>
> Quanto ao \ydash, desconheço, mas você pode descobrir a qual pacote ele
> pertence usando o detexify: http://detexify.kirelabs.org/classify.html
>
> abraço,
> Hudson
>
>
>
>
>
> Em qui, 25 de abr de 2019 às 10:07, Evandro L. Gomes 
> escreveu:
>
>> Caros/as colegas da lista,
>>
>> Gostaria de solicitar ajuda quando a dois tópicos.
>>
>> 1) Alguém saberia me indicar (talvez compartilhar) um código para o
>> quadrado das oposições? Já fiz algumas tentativas mas os resultados não
>> foram satisfatórios com os pacotes que usei. Como há TeX experts na lista
>> resolvi pedir ajuda.
>>
>> 2) Alguém saberia me dizer a que pacote pertence o comando \ydash?
>> Preciso renderizar um texto com este símbolo, mas não que pacote gera esse
>> símbolo.
>>
>> Desde já agradeço,
>>
>> Um abraço,
>> Evandro Gomes.
>>
>> --
>> 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+unsubscr...@dimap.ufrn.br.
>> Para postar nesse grupo, envie um e-mail para logica-l@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%3Do8__PtKjzS6%2B-7JTvFGiVGUgW7sKbAVFkXT%2B79WJdC1w%40mail.gmail.com
>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3Do8__PtKjzS6%2B-7JTvFGiVGUgW7sKbAVFkXT%2B79WJdC1w%40mail.gmail.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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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%3DrUre316iFjQG4VQsE1weWsSAm43bPJ54oAa4i83-eS%3Dw%40mail.gmail.com.

[Logica-l] [OFF-TOPIC] Dúvida sobre comando e versão do quadrado das oposições em LaTeX

[Evandro L. Gomes]

Caros/as colegas da lista,

Gostaria de solicitar ajuda quando a dois tópicos.

1) Alguém saberia me indicar (talvez compartilhar) um código para o
quadrado das oposições? Já fiz algumas tentativas mas os resultados não
foram satisfatórios com os pacotes que usei. Como há TeX experts na lista
resolvi pedir ajuda.

2) Alguém saberia me dizer a que pacote pertence o comando \ydash? Preciso
renderizar um texto com este símbolo, mas não que pacote gera esse símbolo.

Desde já agradeço,

Um abraço,
Evandro Gomes.

-- 
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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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%3Do8__PtKjzS6%2B-7JTvFGiVGUgW7sKbAVFkXT%2B79WJdC1w%40mail.gmail.com.

Re: [Logica-l] Fwd: [logic-bsb] Lançamento do selo "Lógica no Avião"

[Evandro L. Gomes]

Caros colegas,

Gostaria cumprimentar os colegas Rodrigo Freire e Alexandre Costa-Leite
pelo belíssimo livro e importante selo editorial.

Faço minhas as palavras do Daniel. Sem dúvida, importantíssimas
contribuições para fortalecer a pesquisa em lógica no Brasil, tanto para as
presentes quanto para as futuras gerações.

Abs,
Evandro Gomes

On Tue, Mar 12, 2019 at 11:26 AM Daniel Durante  wrote:

> Parabéns ao pessoal do “Lógica no Avião” pelo selo. Muito importante
> instrumento de comunicação e divulgação. Parabéns também pelo livro,
> Rodrigo:
>
> Freire, R. *Tópicos em Lógica de Primeira Ordem*. Brasília: Lógica no
> Avião, 2019,
>
> http://lna.unb.br/assets/Papers/topicos-em-logica-de-primeira-ordem.pdf
>
> Um material em língua portuguesa de valor inestimável para nossos
> estudantes e nossa comunidade em geral.
>
> Saudações,
> Daniel.
> -
> Departamento de Filosofia - (UFRN)
> http://danieldurante.weebly.com
>
>
> On 11 Mar 2019, at 19:38, Rodrigo Freire  wrote:
>
> Novo selo de publicação de livros na área de lógica. Recebemos submissões
> e buscamos garantir uma avaliação rápida e séria da pertinência ao nosso
> perfil editorial, bem como uma publicação rápida, acesso aberto.
>
>
>
> -- Forwarded message -
> From: Lógica no Avião 
> Date: Mon, Mar 11, 2019 at 8:30 PM
> Subject: [logic-bsb] Lançamento do selo "Lógica no Avião"
> To: 
>
>
> Divulgamos o lançamento do selo *Lógica no Avião* dedicado à publicação
> rápida (online e impressa)
> e de acesso aberto de textos profissionais de valor duradouro em lógica
> entendida no sentido amplo.
> O selo é lançado juntamente com seu primeiro livro
>
> Freire, R. *Tópicos em Lógica de Primeira Ordem*. Brasília: Lógica no
> Avião, 2019,
>
> que inicia a série L. Em breve, outros livros de alta qualidade serão
> lançados nas séries n e A.
> Submissões de natureza matemática ou filosófica, em inglês ou em
> português,
> podem ser enviadas diretamente ao editor. Mais informações no site oficial:
>
> lna.unb.br
>
> --
> Site do "Seminário Permanente 'Lógica no Avião'":
>
> logicbrasilia.org
> ---
> Você recebeu essa mensagem porque está inscrito no grupo "Lógica no Avião"
> dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logic-bsb+unsubscr...@googlegroups.com.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/d/msgid/logic-bsb/CAP_Wf4X4oEhxiiVxMD5WTXj3yi2vp744ongye_ME1owV9JrzcA%40mail.gmail.com
> 
> .
> Para mais opções, acesse https://groups.google.com/d/optout.
>
> --
> 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+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@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/CAExWzULp9XxbhFoorKjmu-G%3D%3DWPNpcztXJ5kiShu1fp54M0QyA%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+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@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/474932C6-0361-4725-B771-463A0161DC1F%40gmail.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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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%3DoCZkm9igAXpqqGuYMH5KYtkwfoj6%2BtgkPj%3D%3DXHz-69zg%40mail.gmail.com.

Re: [Logica-l] [off-topic?] Livro da área de lógica Ã(c) finalista noPrêmio Jabuti

[Evandro L. Gomes]

Obrigado duplo!

Abs,
Evandro.

On Mon, Oct 22, 2018 at 9:35 AM Famadoria  wrote:

> Duplos parabéns, então!
>
> Sent from my iPhone
>
> On 18 Oct 2018, at 22:07, Evandro L. Gomes  wrote:
>
> Caros colegas da lista,
>
> Escrevo para agradecer todas as mensagens e cumprimentos que recebemos.
>
> Faltou dizer que o livro também é finalista na categoria 'Humanidades -
> menção honrosa" no Prêmio Abeu (Associação Brasileira de Editoras
> Universitárias).
>
> Um grande abraço,
> Evandro.
>
> On Thu, Oct 18, 2018 at 8:18 AM josé carlos cifuentes 
> wrote:
>
>> Prezada Ítala, meus parabéns personalizados. Permita-me lhe dizer que a
>> qualidade nunca deixa um tema fora do usual, e o tema desenvolvido por
>> vocês é altamente brasileiro!!!
>> Um forte abraço pra você, para o Evandro e a toda a equipe da Unicamp
>> onde o trabalho se gestou..
>> Cifuentes
>>
>>
>> Em qui, 18 de out de 2018 às 02:09, Itala M. Loffredo D'Ottaviano <
>> it...@cle.unicamp.br> escreveu:
>>
>>> Caros:
>>>
>>> A partir deste ano, ganhar um Jabuti tornou-se bem mais difícil.
>>> Os 29 prêmios foram reduzidos a 18, com APENAS 1 prêmio para a área de
>>> humanidades.
>>> Nosso livro foi selecionado como 1 dos 10 finalistas para o Prêmio
>>> Humanidades.
>>> Entre os 10 selecionados há autores muito considerados, como Dráusio
>>> Varela, Fernando Gabeira entre outros.
>>>
>>> De qualquer forma, estamos lá, muito felizes por podermos representar a
>>> Lógica, com um tema tão fora do usual!
>>>
>>> Abraços,
>>>
>>> Itala
>>>
>>> > Parabéns, mas não se esqueçam de  que o Prêmio  Jabuti é bichado
>>> --entrar
>>> > na lista até se entra, mas  depois a concorrência é totalmente
>>> política ..
>>> >
>>> >
>>> > abraço!
>>> >
>>> > Em qua, 17 de out de 2018 09:57, Evandro L. Gomes 
>>> > escreveu:
>>> >
>>> >> Caros/as colegas da lista de Lógica:
>>> >>
>>> >> Escrevo para comunicar que nosso livro "Para além das Columas de
>>> Hércules,
>>> >> uma história da paraconsistência: de Heráclito a Newton da Costa"
>>> é
>>> >> finalista no Prêmio Jabuti 2018 no eixo Ensaio - Humanidades.
>>> >>
>>> >> José Veríssimo preparou uma resenha do livro que a Editora Unicamp
>>> publica
>>> >> em seu blog. Segue o link:
>>> >>
>>> >>
>>> >>
>>> https://blogeditoradaunicamp.com/2018/10/16/para-alem-das-colunas-de-hercules/
>>> >>
>>> >> Pedimos que divulguem em suas redes de contatos, se puderem.
>>> >>
>>> >> Nosso livro é a Lógica no Jabuti este ano!
>>> >>
>>> >> Um abraço a todos,
>>> >>
>>> >> Evandro / Itala
>>> >>
>>> >> --
>>> >> 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+unsubscr...@dimap.ufrn.br.
>>> >> Para postar nesse grupo, envie um e-mail para logica-l@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%3Dq95v-z36UkYQtOE7LytVmR6krP2qQXXFUkxJgVMERoew%40mail.gmail.com
>>> >> <
>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3Dq95v-z36UkYQtOE7LytVmR6krP2qQXXFUkxJgVMERoew%40mail.gmail.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+unsubscr...@dimap.ufrn.br.
>>> > Para postar neste grupo, envie um e-mail para logica-l@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, 

Re: [Logica-l] [off-topic?] Livro da área de lógica é finalista no Prêmio Jabuti

[Evandro L. Gomes]

Olá Cassiano,

Muito obrigado pelos cumprimentos.

Um abraço,
Evandro.

On Sat, Oct 20, 2018 at 9:11 AM Cassiano Terra Rodrigues <
cassiano.te...@gmail.com> wrote:

> Grande notícia, parabéns aos autores! A indicação, no contexto, é já uma
> indiscutível conquista.
> Abraços, cass.
>
> --
> 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+unsubscr...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logica-l@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/b059b79d-4130-478e-a67a-2921c258b788%40dimap.ufrn.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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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%3Dr-zmkphpwgtajr8R8i_UVKox4%2Bf3QuMBUB3pAQzVakxQ%40mail.gmail.com.

Re: [Logica-l] [off-topic?] Livro da área de lógica Ã(c) finalista noPrêmio Jabuti

[Evandro L. Gomes]

Caros colegas da lista,

Escrevo para agradecer todas as mensagens e cumprimentos que recebemos.

Faltou dizer que o livro também é finalista na categoria 'Humanidades -
menção honrosa" no Prêmio Abeu (Associação Brasileira de Editoras
Universitárias).

Um grande abraço,
Evandro.

On Thu, Oct 18, 2018 at 8:18 AM josé carlos cifuentes 
wrote:

> Prezada Ítala, meus parabéns personalizados. Permita-me lhe dizer que a
> qualidade nunca deixa um tema fora do usual, e o tema desenvolvido por
> vocês é altamente brasileiro!!!
> Um forte abraço pra você, para o Evandro e a toda a equipe da Unicamp onde
> o trabalho se gestou..
> Cifuentes
>
>
> Em qui, 18 de out de 2018 às 02:09, Itala M. Loffredo D'Ottaviano <
> it...@cle.unicamp.br> escreveu:
>
>> Caros:
>>
>> A partir deste ano, ganhar um Jabuti tornou-se bem mais difícil.
>> Os 29 prêmios foram reduzidos a 18, com APENAS 1 prêmio para a área de
>> humanidades.
>> Nosso livro foi selecionado como 1 dos 10 finalistas para o Prêmio
>> Humanidades.
>> Entre os 10 selecionados há autores muito considerados, como Dráusio
>> Varela, Fernando Gabeira entre outros.
>>
>> De qualquer forma, estamos lá, muito felizes por podermos representar a
>> Lógica, com um tema tão fora do usual!
>>
>> Abraços,
>>
>> Itala
>>
>> > Parabéns, mas não se esqueçam de  que o Prêmio  Jabuti é bichado
>> --entrar
>> > na lista até se entra, mas  depois a concorrência é totalmente
>> política ..
>> >
>> >
>> > abraço!
>> >
>> > Em qua, 17 de out de 2018 09:57, Evandro L. Gomes 
>> > escreveu:
>> >
>> >> Caros/as colegas da lista de Lógica:
>> >>
>> >> Escrevo para comunicar que nosso livro "Para além das Columas de
>> Hércules,
>> >> uma história da paraconsistência: de Heráclito a Newton da Costa" é
>> >> finalista no Prêmio Jabuti 2018 no eixo Ensaio - Humanidades.
>> >>
>> >> José Veríssimo preparou uma resenha do livro que a Editora Unicamp
>> publica
>> >> em seu blog. Segue o link:
>> >>
>> >>
>> >>
>> https://blogeditoradaunicamp.com/2018/10/16/para-alem-das-colunas-de-hercules/
>> >>
>> >> Pedimos que divulguem em suas redes de contatos, se puderem.
>> >>
>> >> Nosso livro é a Lógica no Jabuti este ano!
>> >>
>> >> Um abraço a todos,
>> >>
>> >> Evandro / Itala
>> >>
>> >> --
>> >> 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+unsubscr...@dimap.ufrn.br.
>> >> Para postar nesse grupo, envie um e-mail para logica-l@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%3Dq95v-z36UkYQtOE7LytVmR6krP2qQXXFUkxJgVMERoew%40mail.gmail.com
>> >> <
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3Dq95v-z36UkYQtOE7LytVmR6krP2qQXXFUkxJgVMERoew%40mail.gmail.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+unsubscr...@dimap.ufrn.br.
>> > Para postar neste grupo, envie um e-mail para logica-l@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/CA%2Bob58PfZKYRVOPGCXn0DetviGnmK%2Be2nxy8biG%3D9w_T%2BSRJXA%40mail.gmail.com
>> .
>> >
>>
>>
>> 
>> ITALA M. LOFFREDO D'OTTAVIANO
>> Full Professor of Logic and the Foundations of Mathematics
>> Centre for Logic, Epistemology and the History of Science - CLE
>> University of Campinas - UNICAMP
>> Sergio Buarque de Holanda, 251 Street
>> ZIP CODE 13083-859 - Campinas-SP, Brazil
>> Tel.:+55–19-3521-6517
>> www.cle.unicamp.br
&g

Re: [Logica-l] [off-topic?] Livro da área de lógica é finalista no Prêmio Jabuti

[Evandro L. Gomes]

Olá Walter,

De fato, há muito nomes conhecidos na grande mídia no páreo.

Todavia, para nós, a indicação já é um prêmio.

abs,
Evandro.

On Wed, Oct 17, 2018 at 9:59 AM Walter Carnielli 
wrote:

> Parabéns, mas não se esqueçam de  que o Prêmio  Jabuti é bichado --entrar
> na lista até se entra, mas  depois a concorrência é totalmente política ..
>
>
> abraço!
>
> Em qua, 17 de out de 2018 09:57, Evandro L. Gomes 
> escreveu:
>
>> Caros/as colegas da lista de Lógica:
>>
>> Escrevo para comunicar que nosso livro "Para além das Columas de
>> Hércules, uma história da paraconsistência: de Heráclito a Newton da Costa"
>> é finalista no Prêmio Jabuti 2018 no eixo Ensaio - Humanidades.
>>
>> José Veríssimo preparou uma resenha do livro que a Editora Unicamp
>> publica em seu blog. Segue o link:
>>
>>
>> https://blogeditoradaunicamp.com/2018/10/16/para-alem-das-colunas-de-hercules/
>>
>> Pedimos que divulguem em suas redes de contatos, se puderem.
>>
>> Nosso livro é a Lógica no Jabuti este ano!
>>
>> Um abraço a todos,
>>
>> Evandro / Itala
>>
>> --
>> 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+unsubscr...@dimap.ufrn.br.
>> Para postar nesse grupo, envie um e-mail para logica-l@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%3Dq95v-z36UkYQtOE7LytVmR6krP2qQXXFUkxJgVMERoew%40mail.gmail.com
>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3Dq95v-z36UkYQtOE7LytVmR6krP2qQXXFUkxJgVMERoew%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+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@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/CA%2Bob58PfZKYRVOPGCXn0DetviGnmK%2Be2nxy8biG%3D9w_T%2BSRJXA%40mail.gmail.com
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58PfZKYRVOPGCXn0DetviGnmK%2Be2nxy8biG%3D9w_T%2BSRJXA%40mail.gmail.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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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%3Doa%3DfDQdG%2BEHayOPNVMepZ%2BhHoVAL-HwPwTXk9vb-iCpQ%40mail.gmail.com.

[Logica-l] [off-topic?] Livro da área de lógica é finalista no Prêmio Jabuti

[Evandro L. Gomes]

Caros/as colegas da lista de Lógica:

Escrevo para comunicar que nosso livro "Para além das Columas de Hércules,
uma história da paraconsistência: de Heráclito a Newton da Costa" é
finalista no Prêmio Jabuti 2018 no eixo Ensaio - Humanidades.

José Veríssimo preparou uma resenha do livro que a Editora Unicamp publica
em seu blog. Segue o link:

https://blogeditoradaunicamp.com/2018/10/16/para-alem-das-colunas-de-hercules/

Pedimos que divulguem em suas redes de contatos, se puderem.

Nosso livro é a Lógica no Jabuti este ano!

Um abraço a todos,

Evandro / Itala

-- 
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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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%3Dq95v-z36UkYQtOE7LytVmR6krP2qQXXFUkxJgVMERoew%40mail.gmail.com.

Re: [Logica-l] Russell - Gödel - Pergunta

[Evandro L. Gomes]

Caro Augusto,

Obrigado pela referência.

abs,
Evandro.

On Thu, Sep 20, 2018 at 10:18 AM Augusto Andraus  wrote:

> Olá Ricardo,
>
> Recentemente investiguei (de forma muito breve) esse assunto, e encontrei
> este paper aqui:
>
>
> https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic/article/div-classtitlerussell-and-godeldiv/0C347F171985A54395CDA89D31C4A59A
>
> O paper também tem uma lista de referências bibliográficas bastante
> interessante.
>
> Abraços,
> -- Augusto
>
>
> On Thu, Sep 20, 2018 at 9:48 AM Ricardo Grande 
> wrote:
>
>> Olá, bom dia. Uma estudante minha de matemática me perguntou se existe
>> alguma referência de Russell mencionando, comentando ou discutindo os
>> teoremas de Gödel de 1931.
>> Eu procurei por algo na net, não vi nada sólido.
>> Se alguém tiver alguma referência, eu vou repassar para a estudante.
>> Eu já havia me perguntado isso, mas não sei de menção do lógico britânico
>> ao gênio de Brünn.
>> abraços, R.
>>
>> --
>>
>> "The evil that men do lives after them; The good is oft interred with
>> their bones.” W. Shakeaspeare, J.C.
>>
>> "The good men do is oft interred with their bones, but the evil that men
>> do lives on". B. Dickinson.
>>
>> "(...) há animais humanos mentalmente retardados cujos cérebros
>> envergonhariam um chimpanzé".  N. Wiener, 22º Parágrafo do 4º Cap. de 
>> *Cibernética
>> e Sociedade*.
>>
>> "De qualquer forma, se existe uma realidade independente do homem, também
>> existe a verdade relativa a esta realidade; e de certa forma a negação da
>> primeira gera a negação da existência da seguinte" Einstein em seus
>> diálogos com Tagore.
>>
>>
>>
>> --
>> 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+unsubscr...@dimap.ufrn.br.
>> Para postar nesse grupo, envie um e-mail para logica-l@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/CAO5LKz5zUfB7U%3Dq4q4PnngHT5On9jAKt184BXSgSV77Q12HwLQ%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+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@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/CACFLrnNDhPQ3cO%2BF2xLPH%2BL6eicMdnkOXaJKvZXruGNixoOVUg%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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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%3DrAHO-v7%2BYvDku_Ps8r7E2O4j%3DNG5wdz0Vd5pfxhC_PwQ%40mail.gmail.com.

Re: [Logica-l] Fwd: PhD Grants

[Evandro L. Gomes]

Olá pessoal,

Segue o anúncio de bolsas de doutorado na universidade de Milão.

Para o caso de vocês conhecerem alguém que possa se inscrever.

abs,

Evandro

*From:* Giuseppe Primiero 
*Date:* 19 May 2018 19:33:42 GMT+2
*To:* Giuseppe Primiero 
*Subject:* *PhD Grants*

Dear friends

As you might or might not know, I will be joining the Department of
Philosophy at the University of Milan starting from September 2018.

The department has just announced 8 PhD grants in various areas, including
logic. Deadline 14th of June.

Should you have any good student looking for a PhD position, do not
hesitate to share this information.

http://eng.dipafilo.unimi.it/ecm/home/doctoral-school

Best wishes
Giuseppe

-- 
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+unsubscr...@dimap.ufrn.br.
Para postar nesse grupo, envie um e-mail para logica-l@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/8F4E8F88-4CDA-43BF-86AA-
E6A9222D89FF%40gmail.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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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%3DrVDRfKQGdfYHJYFu0p%2BCxuiFMNMoQVbewZWPvSn384Gw%40mail.gmail.com.

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

[Evandro L. Gomes]

Walter, Andrea e Itala,

Também acabei de votar.

Essa é a ideia mais estapafúrdia que ouvi nos últimos tempos.

Todavia, confesso que está difícil discernir o que é mais absurdo em nosso
triste momento histórico.

Abraço a todos,

Evandro.

2018-04-10 21:59 GMT-03:00 Andrea Loparic :

> Walter, eu assino tudo o que for para resistir aos atos da ralé
> que quer nos transformar na Reprivada do BURRAZIL.
> Abraços a todos,
> Andrea
>
>
> Em 10 de abril de 2018 21:32, Walter Carnielli  > escreveu:
>
>> Caros Colegas:
>>
>> Esta  mensagem não é OFF- TOPIC-- embora não se  refira  à  Lógica
>>  propriamente dita, refere-se  à  sua condição de existência.
>>
>>  Há  uma proposta. legislativa  assinada por um ativista das redes
>> sociais com 300 mil
>> cliques em seu perfil,  "Eu era direita e não sabia". O tal ativista
>> se diz hoje  defensor de Bolsonaro.
>>
>> Sua proposta é passa todas as áreas de Humanas--Lógica de roldão-
>> para as escolas  privadas, pois
>> "são baratas"  e " livraria o estado de gastar dinheiro nisso".
>>
>>
>> A  recém-divulgada BNCC do Ensino Médio já está tirando a Filosofia
>>  das áreas de humanas e sociais aplicadas, e tornando a Lógica mais
>> apagada  ainda.
>>
>>  Veja  aqui:
>>  http://agenciabrasil.ebc.com.br/educacao/noticia/2018-04/no
>> vo-curriculo-do-ensino-medio-exigira-mudanca-na-formacao-do-professor
>>
>>
>> Acho importante que todos assinemos essa consulta pública aberta sobre
>> a permanência das Humanidades
>> no site do Senado:
>>
>> ===
>> Assine aqui!!
>> https://www12.senado.leg.br/ecidadania/visualizacaoideia?id=
>> 101909&voto=favor
>>
>> 
>>
>> Abraços,
>>
>> Walter
>>
>> --
>> ---
>> Walter Carnielli
>> Centre for Logic, Epistemology and the History of Science and
>> Department of Philosophy
>> State University of Campinas –UNICAMP
>> 13083-859 Campinas -SP, Brazil
>> Phone: (+55) (19) 3521-6517
>> Institutional e-mail: walter.carnie...@cle.unicamp.br
>> Website: http://www.cle.unicamp.br/prof/carnielli
>> CV Lattes : http://lattes.cnpq.br/105496835379
>>
>> --
>> 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+unsubscr...@dimap.ufrn.br.
>> Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>> Visite este grupo em https://groups.google.com/a/di
>> map.ufrn.br/group/logica-l/.
>> Para ver esta discussão na web, acesse https://groups.google.com/a/di
>> map.ufrn.br/d/msgid/logica-l/CA%2Bob58Ndvs6j6xzWiJh1fpNrheW
>> ET8is-YO_JYGTkhCetHP_Gg%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+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@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/CACHAqB%3DbJewT_zARz-k%
> 3DsMUfuMs7AUoVyJyEA6YLkRcV%2B3w-jA%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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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%3DqT2tYuyF1_Ov8R8ncH6F%2BCKn_7zb2rzGRA7y3w5MqbeA%40mail.gmail.com.

Re: [Logica-l] Parabéns ao Cassiano, novo professor do ITA

[Evandro L. Gomes]

Caro Cassiano,

Meus parabéns!

Abraço,

Evandro.

2018-03-07 11:18 GMT-03:00 Antonio Marmo :

> Caros participantes,
>
> Tenho a alegria de comunicar um resultado merecido: nosso colega Cassiano
> Terra foi
> o primeiro colocado no concurso do ITA para lecionar no Departamento de
> Humanidades!
>
> Parabéns ao Cassiano e que nossa categoria siga unida por melhores
> condições de pesquisa e estudo para o Brasil!
>
> http://www.ita.br/sites/default/files/pages/collection/Perfil%2007%20-%
> 20resultado%20do%20concurso%20-%20divulgação.pdf
>
> *Dize à sabedoria: Tu és minha irmã...*
>
> Provérbios 7:4 
>
> --
> 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+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@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/AEEA5DEC-4DB7-4DD1-BB9C-
> 4BB6C12A885C%40gmail.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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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%3DpxpwSfqX_EzUfM0ZH9ZUFYry3%3Dy4ZOmW79-0_VZO5bvg%40mail.gmail.com.

Re: [Logica-l] Feliz Ano Cachorro Novo

[Evandro L. Gomes]

Caros colegas da lista,

Belíssima homenagem ao Prof. Miró Quesada.

Parabéns ao inventor do termo "paraconsistência" em seu centenário!

Um grande abraço a todos!

Evandro.

2018-02-20 14:20 GMT-03:00 josé carlos cifuentes :

> Caríssimos, hoje começa em Lima o Coloquio Internacional em homenagem aos
> 100 anos de vida(!) do professor Francisco Miró Quesada. O site
> correspondente é www.facebook.com/francisco-miro-quesada-cantuarias.
> Minha homenagem a meu grande mestre, tive a sorte de receber seus
> ensinamentos e seu estímulo, não em disciplinas, mas em seminários e grupos
> de pesquisa durante minha graduação no Peru nos anos 70. Foi ele quem nos
> apresentou Newton Da Costa quando de sua primeira visita ao Peru em 1975.
> Aliás, o Miró Quesada e Newton se dizem ser "irmãos" um do outro. Newton
> participará dessa homenagem via Skype.
> Um forte abraço.
> Cifuentes
>
>
>
> 
>  Livre
> de vírus. www.avast.com
> .
> <#m_-8096867383777600125_DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>
>
> Em 16 de fevereiro de 2018 18:22, Profa. Maria Lewtchuk Espindola <
> mar...@mat.ufpb.br> escreveu:
>
>> Prezado professor Yves
>>
>> Que tal o WCP em João Pessoa?
>>
>> Abs.
>>
>> Mariia
>>
>> --
>> *De: *"jean-yves beziau" 
>> *Para: *"logica-l" 
>> *Enviadas: *Sexta-feira, 16 de fevereiro de 2018 6:59:56
>> *Assunto: *[Logica-l] Feliz Ano Cachorro Novo
>>
>> Hoje começa o novo ano chinês,  ano do cachorro
>> De 13 a 20 de Agosto vai ter a 24 edição do Congresso Mundial de
>> Filosofia em Beijing
>> http://wcp2018.pku.edu.cn/yw/index.htm
>>
>> Ainda é possivel submeter trabalhos num das  99 sessões
>> tem duas sessões ligadas a lógica
>> sessão 33. Logic (Chateaubriand é um dos chairs)
>> sessão 76. Philosophy of Logic
>> http://wcp2018.pku.edu.cn/yw/Programme/SectionsforContribute
>> dPapers/index.htm
>>
>> Alem de apresentação de um trabalho ligado a lógica, estou organizando a
>> mesa redonda
>> Political Correctness—Towards a Global Ethos
>> ligada ao numero especial de PHILOSOPHIES
>> http://www.mdpi.com/journal/philosophies/special_issues/global_ethos
>>  que vai ser lançado nesta ocasião
>>
>> Pretendo também apresentar novamente a candidatura do Brasil para o
>> proximo WCP em 2023
>> Me parece importante para fortalecer o desenvolvimento da filosofia no
>> Brasil
>> Em 2003 na 23 edição em Atenas, apresentei a candidatura do Brasil
>> em nome da ABF, com o apoio da Itala (em nome do IBF) que estava também
>> presente
>> perdemos contra a China, que tinha perdida anterioramente contra a Grecia.
>> Mas as pessoas mostaram intresse para o Brasil, e esta vez acredito que
>> temos boas chances
>> Quem quer participar desta organizacão pode me contatar
>>
>> 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+unsubscr...@dimap.ufrn.br.
>> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>> Acesse esse grupo em https://groups.google.com/a/di
>> map.ufrn.br/group/logica-l/.
>> Para ver essa discussão na Web, acesse https://groups.google.com/a/di
>> map.ufrn.br/d/msgid/logica-l/CAF2zFLBYHWJSzJHvkAcVDVJLLOW-xg
>> qCVmaS32-SbroeE5r1cA%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+unsubscr...@dimap.ufrn.br.
>> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>> Acesse esse grupo em https://groups.google.com/a/di
>> map.ufrn.br/group/logica-l/.
>> Para ver essa discussão na Web, acesse https://groups.google.com/a/di
>> map.ufrn.br/d/msgid/logica-l/207249360.447759.1518812568665
>> .JavaMail.zimbra%40mat.ufpb.br
>> 
>> .
>>
>
> --
> 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+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@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/CAEQwYAT9C2zNgikKgN95BsYQ_
> etsFoO1HRuVazeVJBZwqeMqtg%40mail.gmail.com
> 

Re: [Logica-l]

[Evandro L. Gomes]

Olá Walter,

Obrigado por compartilhar a coletânea.

Abs,

Evandro.

2018-01-25 13:49 GMT-02:00 Walter Carnielli :

> A pedidos do colega Miguel Ángel León Univeros  (Lima, Perú):
>
> =
> Les remito un texto en homenaje a Francisco Miró Quesada Cantuarias
> por sus 70 años,
> el cual cuanta con la destaca participación de importantes filósofos,
> de los cuales podemos mencionar:
>
> El gran lógico Newton da Costa, quien trata "La filosofía de la Lógica
> del FMQC".
> José Ferrater Mora, que trata "La Teoría de la Razón de FMQC".
> Héctyor-Neri Castañeda, que trata "MQ, Kant y lo sintético a priori".
> Alberto Cordero, "La razón sin teoría".
> Lorenzo Peña, "Dios, la libertad humana y el pensamiento de MQ".
> Eugenio Bulygin, "Sobre la fundamentación de las normas".
> Mario Bunge y J.P. Marquis, "Lógica y verdad".
> Roberto J. Vernego, "Lenguaje jurídico y lógica jurídica idiomática".
> El maestro sanmarquino, Julio Sanz, "Sobre la fundamentación racional
> de la ética".
> David Sobrevilla, "La lógica jurídica de FMQC".
> Ernesto Garzón Valdéz, "Ideología y Humanismo en la obra de MQ".
> Carlos Fernando Cessarego, "La concepción del derecho de FMQC"
> Domingo García Belaunde, "Entorno a la fundamentación filosófica de
> los derechos humanos".
> Francisco Miró Quesada Rada, "Síntesis del pensamiento político de FMQC"
> Luis Piscoya, "Los trabajos sobre lógica de FMQC".
> Entre otros.
>
>  Logica, Razon y Humanismo en Francisco Miro Quesada
>  Publicaciones de la Universidad de. Lima, 1992
>
> https://www.dropbox.com/s/zysrzw002gkn1jy/Logica%2C%
> 20Razon%20y%20Humanismo%20en%20Francisco%20Miro%20Quezsda%
> 20C.%20David%20Sobrevilla%20%28Ed.%29.pdf?dl=0
> ++
>
> --
> ---
> Walter Carnielli
> Centre for Logic, Epistemology and the History of Science and
> Department of Philosophy
> State University of Campinas –UNICAMP
> 13083-859 Campinas -SP, Brazil
> Phone: (+55) (19) 3521-6517
> Institutional e-mail: walter.carnie...@cle.unicamp.br
>
> Website: http://www.cle.unicamp.br/prof/carnielli
> CV Lattes : http://lattes.cnpq.br/105496835379
>
> --
> 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+unsubscr...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logica-l@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/CA%2Bob58OLLuhBSPmf_11L-
> ZBWc6QUL3WBpmcpAcxQBWXSMuF%3DUg%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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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%3Dp1H1PTum6r31k-8pOg4txjwC12-xJuCPLQQwr03EGi-g%40mail.gmail.com.

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

[Evandro L. Gomes]

Caro João,

Obrigado por compartilhar esses trabalhos da Carolina.

Um abraço,

Evandro.

2017-09-24 18:05 GMT-03:00 Joao Marcos :

> Com relação ao trabalho recente de Carolina, sigo a sugestão de um
> colega e partilho aqui o paper que tive o privilégio de escrever com
> ela este ano (a ser publicado brevemente no Bulletin of the Section of
> Logic):
>
> An inferentially many-valued two-dimensional notion of entailment
> https://www.dropbox.com/s/68w9opl9psx4c4k/17-BMW-2diment.pdf?dl=0
>
>
> Aproveito para enviar também um link para o paper publicado por
> Carolina há três meses na Manuscrito:
>
> Revisitando a Lógica de Dunn-Belnap
> http://www.scielo.br/scielo.php?script=sci_abstract&pid=
> S0100-60452017000200099&lng=en&nrm=iso&tlng=pt
>
>
> Joao Marcos
>
> On Sun, Sep 24, 2017 at 7:02 AM, Joao Marcos  wrote:
> > a very special session at ISRALOG17, on Oct 16:
> > http://is.haifa.ac.il/~annazam/isralog17/in-memory-of-carolina-blasio/
> >
> >
> > Saudades, Joao Marcos
> >
>
>
>
> --
> http://sequiturquodlibet.googlepages.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+unsubscr...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logica-l@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_LiJmY2Vhe7dhAKmvwC8apFF9Z0ESOQ
> q8e0VVatypDQUKA%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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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%3Dp5OXtY8wtqQZh1zS_kjWTB4Y%2Brw-%2BWPMqqCevnz_sR6w%40mail.gmail.com.

Re: [Logica-l] LaTeX para Mac

[Evandro L. Gomes]

Caros colegas,

Muito obrigado pelas dicas quanto ao TeX para Mac.

Abs,
Evandro.

2017-08-08 11:10 GMT-03:00 Carol Blasio :

> Caro Jean Yves,
>
> Peço sua colaboração para manter nossa lista de lógica de acordo com as
> regras de convívio estabelecidas: https://docs.google.com/
> document/d/1nXljf_KASE8xIY9Vh8rrlTAPwZ7X9HnEzjTRNM7hWe4/edit
> Esta mensagem foi enviada publicamente devido a reincidência de seu
> comportamento.
>
> A lista de lógica não é moderada (nem pretende ser) e é susposto que o
> trabalho de administração seja discreto e efetivo para evitar o desvio de
> assunto e para promover o respeito entre os participantes. Por favor, não
> mande emails sem conteúdo  novamente.
>
> Abraços do "Logic in Stockholm",
> (A escola de lógica e a comida estão ótimas!)
>
> Carol
>
> On Aug 8, 2017 12:17 AM, "Augusto Andraus"  wrote:
>
>> Também uso o MacTeX.
>>
>> On Mon, Aug 7, 2017 at 4:54 PM Fernando Yamauti 
>> wrote:
>>
>>> Baixa o pacote inteiro do MacTeX http://www.tug.org/mactex/
>>>
>>>  PS: O MacTeX contem o TeXShop entre outros editores e mais alguns
>>> programas muito úteis (tipo BibDesk e LaTeXiT)
>>>
>>> Em 7 de agosto de 2017 15:41, Famadoria  escreveu:
>>>
>>>> TeXShop.
>>>>
>>>> Sent from my iPhone
>>>>
>>>> On 7 Aug 2017, at 13:59, Evandro L. Gomes  wrote:
>>>>
>>>> Pessoal,
>>>>
>>>> Estou com um estudante que precisa instalar o TeX numa máquina para
>>>> trabalhar e a máquina dele é Mac. Que compilador e editor vocês recomendam?
>>>>
>>>> abs,
>>>>
>>>> Evandro.
>>>>
>>>> --
>>>> 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+unsubscr...@dimap.ufrn.br.
>>>> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>>>> Acesse esse grupo em https://groups.google.com/a/di
>>>> map.ufrn.br/group/logica-l/.
>>>> Para ver essa discussão na Web, acesse https://groups.google.com/a/di
>>>> map.ufrn.br/d/msgid/logica-l/CANa0U%3Dq_dWtGSJnptkc786D%3Dk
>>>> 5JLSaXAA94rj8MJYyd5fG_XFw%40mail.gmail.com
>>>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3Dq_dWtGSJnptkc786D%3Dk5JLSaXAA94rj8MJYyd5fG_XFw%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+unsubscr...@dimap.ufrn.br.
>>>> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>>>> Acesse esse grupo em https://groups.google.com/a/di
>>>> map.ufrn.br/group/logica-l/.
>>>> Para ver essa discussão na Web, acesse https://groups.google.com/a/di
>>>> map.ufrn.br/d/msgid/logica-l/2F7C30F3-96E6-4CFA-81DC-133F29
>>>> 9FE40F%40gmail.com
>>>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/2F7C30F3-96E6-4CFA-81DC-133F299FE40F%40gmail.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+unsubscr...@dimap.ufrn.br.
>>> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>>> Acesse esse grupo em https://groups.google.com/a/di
>>> map.ufrn.br/group/logica-l/.
>>> Para ver essa discussão na Web, acesse https://groups.google.com/a/di
>>> map.ufrn.br/d/msgid/logica-l/CAJGvw-1vnum8Ja-qe6QU7g7p1Ai8U
>>> CPguXxLRyOuPt4JQref1g%40mail.gmail.com
>>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAJGvw-1vnum8Ja-qe6QU7g7p1Ai8UCPguXxLRyOuPt4JQref1g%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+unsubscr...@dimap.ufrn.br.
>> Para postar n

Re: [Logica-l] LaTeX para Mac

[Evandro L. Gomes]

Walter,

Obrigado pelas sugestões.

Abs,

Evandro.

2017-08-07 14:13 GMT-03:00 Walter Carnielli :

> oi Evandro,
>
>   os entendidos  talvez  melhorem minha  sugestão, mas as  os bons
> são, nesta  ordem:
>
> TEX SHOP (uso este)
> http://pages.uoregon.edu/koch/texshop/
>
>
> TeXPad:
> http://vallettaventures.com/texpad
>
>
>
> Latexian:
> http://tacosw.com/latexian/
>
>
>
> TeXnicle:
> http://www.bobsoft-mac.de/texnicle/texnicle.html
>
>
>
> Scribo:
> http://www.scriboapp.com/
>
> Abs
>
> Walter
>
> Em 7 de agosto de 2017 13:59, Evandro L. Gomes 
> escreveu:
> > Pessoal,
> >
> > Estou com um estudante que precisa instalar o TeX numa máquina para
> > trabalhar e a máquina dele é Mac. Que compilador e editor vocês
> recomendam?
> >
> > abs,
> >
> > Evandro.
> >
> > --
> > 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+unsubscr...@dimap.ufrn.br.
> > Para postar nesse grupo, envie um e-mail para logica-l@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%3Dq_dWtGSJnptkc786D%3Dk5JLSaXAA94rj8MJYyd5fG_XFw%40mail.gmail.com
> .
>
>
>
> --
> ---
> Walter Carnielli
> Centre for Logic, Epistemology and the History of Science and
> Department of Philosophy
> State University of Campinas –UNICAMP
> 13083-859 Campinas -SP, Brazil
> Phone: (+55) (19) 3521-6517
> Institutional e-mail: walter.carnie...@cle.unicamp.br
> Website: http://www.cle.unicamp.br/prof/carnielli
>
> --
> 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+unsubscr...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logica-l@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/CA%2Bob58NbC4SFf-QP9eAqWePF5TWaE5Tx%
> 2BLJFfQigPoOoZCgqDA%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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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%3Drq3u7oWS-%2Bz%3DBCkiRm5y9t0MWykRCR4LbSNPq%3DaW4RYg%40mail.gmail.com.

[Logica-l] LaTeX para Mac

[Evandro L. Gomes]

Pessoal,

Estou com um estudante que precisa instalar o TeX numa máquina para
trabalhar e a máquina dele é Mac. Que compilador e editor vocês recomendam?

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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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%3Dq_dWtGSJnptkc786D%3Dk5JLSaXAA94rj8MJYyd5fG_XFw%40mail.gmail.com.

[Logica-l] História da Lógica no Brasil

[Evandro L. Gomes]

Caras e caros colegas,

Thiago, muito obrigado pela menção!

Escrevi mais cedo para a Valeria e encaminhei uma cópia de minha
dissertação de mestrado sobre a história da lógica no Brasil (1750-1910),
sob a orientação de Newton da Costa, e alguns outros trabalhos sobre o
tema. Dentre eles, vale ressaltar dois artigos com Itala D'Ottaviano
publicados na Revista Brasileira de História da Matemática sobre a história
da lógica no Brasil de uma perspectiva sócio-institucional. Posso
encaminhar cópias para quem quiser.

Aproveito a oportunidade para anunciar aqui que está quase para sair pela
Editora da Unicamp o nosso livro sobre a história da paraconsistência, que
historia um dos mais importantes capítulos da história da lógica no Brasil
até aqui.

O título que escolhemos é "Para além das Colunas de Hércules, uma história
da paraconsistência: de Heráclito a Newton da Costa". São 712 páginas de
história, documentos e depoimentos.

Grande 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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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%3DrY%2B762iyQtJn%2BOGU%3DE%2BwUcN9-m%3DgbORXJBS7070Z45Aw%40mail.gmail.com.

Re: [Logica-l] Lista de Speakers - Painel de Lógica e Fundamentos - ICM 2018

[Evandro L. Gomes]

Só tem gringo!

Como se a comunidade brasileira de lógica não fosse importante.

Acho um absurdo.

Em 16/06/2017 9:33 PM, "Walter Carnielli" 
escreveu:

Lamentavel que nao  nos convidem  a nos todos...

Em 16 de jun de 2017 17:29, "Famadoria"  escreveu:

> Lamentável que não convidem o Newton.
>
> Sent from my iPhone
>
> On 16 Jun 2017, at 15:31, 'Samuel Gomes' via LOGICA-L <
> logica-l@dimap.ufrn.br> wrote:
>
>  Caros,
>
> Recebi hoje um email divulgando a lista de todos os plenary/invited
> speakers do próximo Encontro Mundial de Matemáticos (ICM 2018), que vai
> ocorrer no Rio de Janeiro
> no ano que vem.
>
> Vejam a lista completa no link:
>
> http://www.icm2018.org/portal/en/icm-speakers
>
> A lista dos speakers do Painel de Lógica e Fundamentos é a seguinte:
>
> *Speakers:*
>
>- Jochen Koenigsmann (UK)
>- Joris van der Hoeven (France), Lou van den Dries (USA) and Matthias
>Aschenbrenner (USA)
>- Maryanthe Malliaris (USA)
>- Stephen Jackson (USA)
>- Ulrich Kohlenbach (Germany)
>
>
> Um detalhe: em Setembro do ano passado houve uma conversa com o Marcelo
> Viana durante o Encontro Brasil-Itália no IMPA, e fomos
>
> informados que a escolha dos speakers de cada painel é decidido por uma
> comissão sigilosa que é formada pela IMU (União Matemática
>
> Internacional), então realmente a comunidade brasileira de lógica não
> tinha muito mesmo como sugerir nomes para essa sessão.
>
>
> Observo, porém, que a partir de setembro haverá submissões para posters e
> comunicações curtas (creio que 20 minutos), então a
>
> comunidade brasileira de lógica terá a oportunidade de participar do
> evento através dessas apresentações. Serão aceitos trabalhos de qualquer
>
> uma das 19 áreas que compõem os painéis (e o painel 1 é exatamente o de
> Lógica e Fundamentos). Vejam detalhes em:
>
>
> http://www.icm2018.org/portal/en/news29
>
>
> Atés,
>
>
> []s  Samuel
>
>
>
>
>
> --
> 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+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em https://groups.google.com/a/di
> map.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse https://groups.google.com/a/di
> map.ufrn.br/d/msgid/logica-l/2139cb4b-9fac-4d65-9ad2-00a6d3
> 8c859b%40dimap.ufrn.br
> 
> .
>
> --
> 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+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em https://groups.google.com/a/di
> map.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse https://groups.google.com/a/di
> map.ufrn.br/d/msgid/logica-l/D295DDC1-41A2-44AF-B983-3BDC3A
> CFA360%40gmail.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+unsubscr...@dimap.ufrn.br.
Para postar nesse grupo, envie um e-mail para logica-l@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/CA%2Bob58OtzJmymOsdA96YeCfkp%
2BH1OOWq8D7ZPKVRaopfUPWXeQ%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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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%3DoqPpjHMaBcDivoJV5-s4E9Yd5SuLKncwcU%3DKeveGmuEw%40mail.gmail.com.

Re: [Logica-l] Homenagem ao Newton

[Evandro L. Gomes]

Parabéns Dória!

2017-06-10 9:09 GMT-03:00 Francisco Antonio Doria :

> Saiu, enfim, pela World Scientific, o livro que organizei em homenagem ao
> Newton. Discute um tema heterodoxo, ``The limits of mathematical modeling
> in the social sciences: the significance of Gödel's incompleteness
> phenomenon.''
>
> Já está publicado.
> .
>
> --
> fad
>
> ahhata alati, awienta Wilushati
>
> --
> 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+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@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/CA%2BuR7B%2B49G2316P6T0K6fbepdQRezKmvs7s
> 2K82cfq%2Bxp8nZhw%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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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%3DpwZaqHGeEqGDRWf%3DGMnHkhnVs%3DKUnO-%2Bed89t2x58dwg%40mail.gmail.com.

Re: [Logica-l] Judment

[Evandro L. Gomes]

Caros colegas da lista,



Aproveito para deixar aqui uma pequena contribuição sobre o tema de hoje.



Endossando o que disse o João na última mensagem, a terminologia lógica
advém de longo e tortuoso itinerário de desenvolvimento histórico,
filosófico e etimológico.



Relativamente aos termos “juízo” e “julgamento” ocorreu-me compartilhar
aqui  uma digressão histórica que pode ilustrar outra faceta desses termos.



Depois que Cícero e Boécio talharam o vocabulário latino para a lógica,
cunhando muitos dos termos que empregamos até hoje, os lógicos medievais,
particularmente os escolásticos, codificaram a teoria lógica entorno da
descrição das três operações da razão: o conceito, a proposição e a
inferência. A primeira se resumia à análise do termo; a segunda à análise
da doutrina da proposição e a terceira à teoria da inferência (silogística
e não silogística).



A depender da orientação filosófica dos tantos autores do período, por
exemplo, se eram realistas ou nominalistas, se eram moderados ou radicais
nestas ou ainda noutras posições, eles deram acento mais linguístico ou
mais metafísico à doutrina lógica; noutras palavras, estavam mais abertos a
uma interpretação que chamaríamos hoje de “formal” ou prefeririam uma
abordagem mais “material”. Em alguns casos, as duas abordagens misturadas.
Não havia, em muitos casos, linhas divisórias tão nítidas naquele período.



Quando se chega à modernidade, no entanto, há uma irresistível
psicologização da lógica e isso se reflete na teoria lógica e na
terminologia então empregada. A análise do “termo” passa a ser a análise da
“ideia”, o estudo da “proposição” passa a ser a teoria do “juízo” e a
teoria da inferência passa a ser a teoria do “raciocínio”.



É dessa forma que a lógica assume, pouco a pouco, no decorrer da
modernidade, a feição psicologista que Husserl e Frege tanto criticariam.
Além disso, no período moderno, diversos autores, dentre eles, John Locke,
por exemplo, entendiam que a doutrina lógica era a sistematização por
excelência da mentação e era ou deveria ser, por isso mesmo, análoga aos
processos subjetivos de representação e formação do experiência abstrata a
nível psíquico.



Por isso, também acho que a tradução mais natural de “judgment” por “juízo”
é a mais natural, mas sempre me ocorre o passivo psicologista que relatei
acima.



Abraço a todos,

Evandro.



O artigo abaixo indicado conta um pouco desta história com outros detalhes.



BUICKEROOD, James. G. “The Natural History of the Understanding: Locke and
the Rise of Facultative Logic in the Eighteenth Century.” *History and
Philosophy of logic*. London, 6, 1985, pp. 157-190.

2017-02-15 17:28 GMT-02:00 Renato Mendes Rocha :

> oi,
> ​
> Regivan,
>
> Talvez este
> ​
>  texto do
> ​​
> Corcoran (2009)
> ​
> possa ser útil a você:
>
> @incollection{Corcoran2009-CORSPJ-2,
> author = {John Corcoran},
> editor = {W. A. Carnielli},
> year = {2009},
> title = {Sentence, Proposition, Judgment, Statement, and Fact: Speaking
> About the Written English Used in Logic.},
> pages = {71--103},
> publisher = {College Publications},
> booktitle = {The Many Sides of Logic.}
> }
>
> Disponível em:
>
> https://philpapers.org/rec/CORSPJ-2
>
> Um abraço,
> Renato
>
> Em 15 de fevereiro de 2017 16:16, Regivan Hugo Nunes Santiago <
> regi...@dimap.ufrn.br> escreveu:
>
>> Pesquisei rapidamente na internet e encontrei alguns textos de Lógica,
>> e.g. http://www.ebah.com.br/content/ABAAAgJhsAC/logica, falando da
>> diferença entre os conceitos de Juizo e Proposição. Vocês teriam alguma
>> referência mais confiável e clara que pudessem me indicar para que eu
>> entenda essa diferença. No texto mencionado existem problemas na edição
>> nesse trecho.
>>
>>
>> Regivan
>>
>>
>> Em 15 de fev de 2017, à(s) 15:47, Regivan Hugo Nunes Santiago <
>> regi...@dimap.ufrn.br> escreveu:
>>
>> Obrigado!
>>
>> Regivan
>>
>> 
>> **
>> *Prof. Dr. Regivan Hugo Nunes Santiago*
>> Group for Logic, Language, Information, Theory and Applications - LoLITA
>> Department of Informatics and Applied Mathematics - DIMAp
>> Federal University of Rio Grande do Norte - UFRN
>> Avenida Senador Salgado Filho, 3000,
>> Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
>> Caixa Postal: 1679
>> Phone: +55 84 3215-3814 Ext. 211 <(84)%203215-3814>
>> Fax:  +55 84 3215-3813 <(84)%203215-3813>
>> https://sites.google.com/site/regivanhnsantiago/
>> e-mail: regivan AT DOMAIN=dimap,ufrn,br.
>>
>> Curriculum Lattes-CNPq
>> 
>> 
>> **
>>
>> 2017-02-15 15:03 GMT-03:00 Valeria de Paiva :
>>
>>> sim tambem concordo que numa situacao   mais
>>>  filosófica, ou de logica em geral, em vez de logica matematica ou
>>> teoria de tipos em CS, "juízo" me  pareceria bem melhor.
>>>
>>>
>>> abs
>>> Valeria
>>>
>>> 2

[Logica-l] Seleção de bolsista de pós-doutorado para o Pós-Graduação em Filosofia da Universidade Estadual de Maringá

[Evandro L. Gomes]

Caros Colegas,

Gostaria de divulgar e convidar os interessados/as a que apresentem
candidaturas à vaga de bolsista de pós-doutorado no Programa de
Pós-Graduação em Filosofia da Universidade Estadual de Maringá, Paraná.

Informações no link

http://www.pgf.uem.br/index.php/selecao/editais/273-processo-selectivo-pos-doutorado-2016

Abraço a todos!

Saudações cordiais,

Evandro L. Gomes

-- 
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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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%3DpvJRPLdEE51cBBnPGV5VZgC5atsG0f-4AMEumKt7HXRA%40mail.gmail.com.

Re: [Logica-l] Vaga em Filosofia na UFRN - Área de Metafísica

[Evandro L. Gomes]

Olá Daniel,

Belos pontos!

Eis um rol de problemas filosóficos de primeiríssima grandeza.

Que apareçam bons candidatos.

Abraço,
Evandro.

2016-09-27 17:03 GMT-03:00 Daniel Durante :

> Colegas,
>
> Informo que está aberto edital para concurso para professor efetivo do
> Departamento de Filosofia da UFRN na área de Metafísica. Peço que ajudem a
> divulgar!
>
> Todas as informações estão neste link:
>
> http://www.progesp.ufrn.br/concurso.php?id=198658150
>
> Abaixo a lista dos pontos do concurso:
>
> 1. SER E EXISTÊNCIA;
> 2. A QUESTÃO DO TEMPO;
> 3. EXISTÊNCIA DE DEUS, FÉ E RAZÃO;
> 4. ONTOLOGIA E PREDICAÇÃO;
> 5. LIVRE ARBÍTRIO E O PROBLEMA DO MAL;
> 6. UNIVERSAIS E PARTICULARES;
> 7. CRÍTICA ARISTOTÉLICA ÀS IDEIAS PLATÔNICAS;
> 8. METAFÍSICA E CIÊNCIA NO RENASCIMENTO;
> 9. A QUESTÃO DO BELO;
> 10. LIBERDADE E DETERMINISMO.
>
> Saudações,
> Daniel.
> -
> Departamento de Filosofia - (UFRN)
> http://danieldurante.weebly.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+unsubscr...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logica-l@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/336209BD-6089-43EC-B3DD-
> AC1F79A5F768%40ufrnet.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+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@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%3DrJ%2B38AJWA7KjC_mbh4koKdL7f4zUubxOt4DVWyg9dGbA%40mail.gmail.com.

Re: [Logica-l] Evento CLE - Corrigido

[Evandro L. Gomes]

Olá João Marcos e colegas da Lista,

Muito obrigado pelos cumprimentos!

Tão logo tenhamos a versão final do trabalho, disponibilizarei o mesmo para
download. Ao final do trabalho temos três entrevistas já publicadas, do F.
G. Asenjo, do Artibano Micali e do Newton da Costa, todas, acredito, muito
interessantes. A do Asenjo já está arquivada no CLE. Agradeço-lhe por
participar do projeto e disponibilizar a sua entrevista *on line*.

Tenho outras entrevistas feitas com Priest, Brady, Batens, Meyer e
Mortensen, de 2008, e do A. Costa-Leite, de (2009), mas essas ainda
precisam ser preparadas. A transposição da linguagem oral para a escrita
não é direta, daí o trabalho que isso dá, e é grande. Todavia, tão logo
estejam publicáveis, serão todas arquivadas nos Arquivos Históricos do CLE
e disponibilizadas à comunidade.

Abraço a todos,
Evandro L. Gomes



2013/12/8 Joao Marcos 

> Olá, Evandro:
>
> Parabenizo-lhe pelo término deste importante trabalho de resgate
> histórico, bem como pela organização do workshop concomitante à sua
> defesa, e convido-lhe a disponibilizar aos membros desta lista os
> resultados da sua investigação, assim que possível!
>
> Há pouco tempo divulguei online nesta lista, com a sua licença, uma
> das muitas entrevistas que você realizou ao longo dos últimos anos.
>   http://www.dimap.ufrn.br/pipermail/logica-l/2013-October/019646.html
> Tenho certeza de que a comunidade se beneficiará da disponibilização
> online das demais entrevistas do seu projeto de história oral da
> lógica paraconsistente --- que segundo entendi seriam de todo modo
> eventualmente depositadas no arquivo histórico do CLE.
>
> Joao Marcos
>
>
> 2013/12/7 Evandro L. Gomes :
> > Caros colegas da lista,
> >
> >
> >
> > Convidamos a todos os interessados para participarem das atividades do
> > evento:
> >
> >
> >
> > *COLÓQUIO*
> >
> > *FILOSOFIA, CIÊNCIA E PARACONSISTÊNCIA*
> >
> >
> >
> >
> >
> > *DIA 12/12*
> >
> >
> >
> > *DEFESA*
> >
> >
> >
> > *9:00h* - Sessão de Defesa de Tese de Doutorado em Filosofia, de Evandro
> > Luis Gomes, orientado pela Prof. Dra. Itala M. Loffredo D'Ottaviano,
> > intitulada Sobre a história da paraconsistência e a obra de da Costa: a
> > instauração da Lógica Paraconsistente.
> >
> >
> >
> > Comissão Julgadora: Itala M. Loffredo D'Ottaviano, Newton da Costa,
> Otávio
> > Bueno, Jean-Yves Béziau, Fábio M. Bertato, Marcelo E. Coniglio, Décio
> > Krause e Ricardo P. Tassinari.
> >
> >
> >
> > *Local da Defesa:* Instituto de Filosofia e Ciências Humanas, Edifício da
> > Pós-Graduação, Sala da Congregação.
> >
> >
> >
> >
> >
> > *PALESTRAS & CONFERÊNCIAS*
> >
> >
> >
> > *Local das Palestras: *Centro de Lógica, Epistemologia e História da
> > Ciência - CLE.
> >
> >
> >
> > *16:00h* - Décio Krause, UFSC
> >
> > Superposições e Lógica
> >
> >
> >
> > *17:00h* - Edélcio de Souza, USP
> >
> > Sobre um funtor de paraconsistentização na categoria das estruturas de
> > consequência
> >
> >
> >
> >
> >
> > *DIA 13/12*
> >
> >
> > 9:00h - Newton da Costa
> >
> > Lógica e Física
> >
> >
> > 10:00h - Abílio Rodrigues
> >
> > Sobre uma interpretação epistemológica para as Lógicas da Inconsistência
> > Formal
> >
> >
> > 11:00h - Otávio Bueno, Universidade de Miami
> >
> > Identidade e quantificação
> >
> > Consequência lógica e análise conceitual
> >
> >
> > 14:00h - Ricardo Tassinari, UNESP/Marília
> >
> > Estruturas matemáticas e conhecimento humano: alguns estudos em
> > epistemologia genética
> >
> >
> > 15:00h - Jean-Yves Béziau, UFRJ
> >
> > O que pode e deve ser uma negação paraconsistente?
> >
> >
> >
> > 16:00h - Jean-Yves Béziau, UFRJ
> >
> > Projeto editorial da Encyclopaedia of Logic.
>
> --
> http://sequiturquodlibet.googlepages.com/
>
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Evento CLE - Corrigido

[Evandro L. Gomes]

Caros colegas da lista,



Convidamos a todos os interessados para participarem das atividades do
evento:



*COLÓQUIO*

*FILOSOFIA, CIÊNCIA E PARACONSISTÊNCIA*





*DIA 12/12*



*DEFESA*



*9:00h* - Sessão de Defesa de Tese de Doutorado em Filosofia, de Evandro
Luis Gomes, orientado pela Prof. Dra. Itala M. Loffredo D'Ottaviano,
intitulada Sobre a história da paraconsistência e a obra de da Costa: a
instauração da Lógica Paraconsistente.



Comissão Julgadora: Itala M. Loffredo D'Ottaviano, Newton da Costa, Otávio
Bueno, Jean-Yves Béziau, Fábio M. Bertato, Marcelo E. Coniglio, Décio
Krause e Ricardo P. Tassinari.



*Local da Defesa:* Instituto de Filosofia e Ciências Humanas, Edifício da
Pós-Graduação, Sala da Congregação.





*PALESTRAS & CONFERÊNCIAS*



*Local das Palestras: *Centro de Lógica, Epistemologia e História da
Ciência - CLE.



*16:00h* - Décio Krause, UFSC

Superposições e Lógica



*17:00h* - Edélcio de Souza, USP

Sobre um funtor de paraconsistentização na categoria das estruturas de
consequência





*DIA 13/12*


9:00h - Newton da Costa

Lógica e Física


10:00h - Abílio Rodrigues

Sobre uma interpretação epistemológica para as Lógicas da Inconsistência
Formal


11:00h - Otávio Bueno, Universidade de Miami

Identidade e quantificação

Consequência lógica e análise conceitual


14:00h - Ricardo Tassinari, UNESP/Marília

Estruturas matemáticas e conhecimento humano: alguns estudos em
epistemologia genética


15:00h - Jean-Yves Béziau, UFRJ

O que pode e deve ser uma negação paraconsistente?



16:00h - Jean-Yves Béziau, UFRJ

Projeto editorial da Encyclopaedia of Logic.
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Evento no CLE

[Evandro L. Gomes]

Caros colegas da lista,



Convidamos a todos os interessados para participarem das atividades do
evento:



*COLÓQUIO*

*FILOSOFIA, CIÊNCIA E PARACONSISTÊNCIA*





*DIA 12/12*



*DEFESA*



*9:00h* - Sessão de Defesa de Tese de Doutorado em Filosofia, de Evandro
Luis Gomes, orientado pela Prof. Dra. Itala M. Loffredo D'Ottaviano,
intitulada Sobre a história da paraconsistência e a obra de da Costa: a
instauração da Lógica Paraconsistente.



Comissão Julgadora: Itala M. Loffredo D'Ottaviano, Newton da Costa, Otávio
Bueno, Jean-Yves Béziau, Fábio M. Bertato, Marcelo E. Coniglio, Décio
Krause e Ricardo P. Tassinari.



*Local da Defesa:* Instituto de Filosofia e Ciências Humanas, Edifício da
Pós-Graduação, Sala da Congregação.





*PALESTRAS & CONFERÊNCIAS*



*Local das Palestras: *Centro de Lógica, Epistemologia e História da
Ciência - CLE.



*16:00h* - Décio Krause, UFSC

Superposições e Lógica



*17:00h* - Edélcio de Souza, USP

Sobre um funtor de paraconsistentização na categoria das estruturas de
consequência





*DIA 13/12*


9:00h - Newton da Costa

Lógica e Física


10:00h - Abílio Rodrigues

Sobre uma interpretação epistemológica para as Lógicas da Inconsistência
Formal


11:00h - Otávio Bueno, Universidade de Miami

Identidade e quantificação

Consequência lógica e análise conceitual


14:00h - Ricardo Tassinari, UNESP/Marília

Estruturas matemáticas e conhecimento humano: alguns estudos em
epistemologia genética


15:00h - Jean-Yves Béziau, UFRJ

O que pode e deve ser uma negação paraconsistente?
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Digest Logica-l, volume 83, assunto 5

[Evandro L. Gomes]

Caro Tony,

Concordo inteiramente com as suas considerações. Acredito também que você
enuncia uma hipótese de trabalho ou premissa historiográfica a partir da
qual se podem escrever novas e boas histórias da lógica. Nesse sentido, é
interessante como uma história da lógica depende muito de uma certa
concepção de lógica e da contextualização teórica desta, de conhecimentos
filosóficos e históricos.

Parecem-me extremamente corretas suas considerações acerca do fenômeno da
expansão e do corte em contextos lógico-teóricos. Certamente, Aristóteles
era muito cauteloso com isso. Não pode ser sensata qualquer sistematização
de resultados lógicos, sem a devida consideração de sua pertinência e
adequação ao espírito do que pretendiam seus propositores.

Abraço,
Evandro Gomes.


2013/1/5 Tony Marmo 

> 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 deu origem à lógica
> clássica moderna, foi na verdade um "resumão" da tradição Aristotélica, não
> diretamente do próprio Aristóteles, mas do que seus discípulos puderam
> entender. Os argumentos contra a redução a um cálculo na verdade já
> apontavam que muitos aspectos importantes do pensamento aristotélico tinha
> sido colocado de lado.
>
> Isso dito, vale lembrar que, por outro lado, no século XX várias
> disciplinas surgiram que passaram a estudar, do ponto de vista das ciências
> tecnológicas e exatas principalmente, aspectos que o próprio Aristóteles
> focava e que não tinham um tratamento matemático óbvio ou conhecido. Esses
> novos desenvolvimentos ultrapassam os limites da tradição clássica conforme
> entendida atualmente.
>
> Do meu ponto de vista, o problema todo se resume a colocar no mesmo
> cálculo dois mecanismos traiçoeiros: expansão e corte. Não é bem esse o
> espírito de Aristóteles. Ele fala dos formatos dos raciocínios, mas mostra
> que os formatos não podem ser sobre informação vazia. A informação pode ser
> matemática, pode ser social, biológica, o que seja, mas tem de estar lá.
> Não se expande nem se corta informação arbitrariamente, Aristóteles
> argumenta o tempo todo, tem de a organizar e a manter organizada o tempo
> todo.
>
> Em 5 de janeiro de 2013 14:10, Evandro L. Gomes escreveu:
>
>>  Caro Tony,
>>
>> Esse é realmente um texto-chave para aquilatar paraconsistência lato sensu
>> em Aristóteles. Tive o primeiro contato com esse texto em 2005, quando
>> preparava um curso de história da lógica que ministrei aqui na
>> Universidade
>> Estadual de Maringá.
>>
>> O resultado do Estagirita é surpreendente e o fato de ter ficado tanto
>> tempo sem ser debatido resulta, provavelmente, de um certo viés equivocado
>> na interpretação da lógica de Aristóteles, excessivamente
>> clássico. Apresento uma proposta de interpretação e contextualização desse
>> texto num paper de 2008, que publiquei com a professora Itala.  Segue o
>> link:
>>
>>
>> http://www.periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2010v14n1p71
>>
>> Em minha tese - que logo estará pronta - conto melhor essas e outras
>> histórias. Outro equívoco dessa história é atribuir o ex falso ao
>> Pseudo-Escoto.
>>
>> Abraço a todos,
>> Bom ano!
>>
>> Evandro Gomes.
>> ___
>> Logica-l mailing list
>> Logica-l@dimap.ufrn.br
>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>>
>
>
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] ARISTOTLE'S REJECTION OF PSEUDO-SCOTTUS

[Evandro L. Gomes]

Caro João Marcos:

Primeiramente, obrigado por seus comentários.

É incrível, mas, até onde me lembro, Lukasiewicz não se debruça sobre a
passagem dos *Analíticos Anteriores* B15; ele a cita de passagem, mas quase
não a explora. Ele dá maior ênfase à celebre passagem dos *Analíticos
Posteriores* A11, que é premissa maior de sua proposição de um projeto de
pesquisa de lógicas não-aristotélicas que se coadunaria, mais tarde, à
paraconsistência.

Infelizmente, ainda não conheço as discussões do Fred Seddon. Obrigado pela
indicação. Lukasiewicz é muito criticado por alguns estudiosos de
Aristóteles, algumas vezes com razão, outras nem tanto. Barbara Cassin e
Michel Narcy, por exemplo, consideram anacrônica a leitura de Lukasiewicz,
pois acusam-no de impor ao *corpus aristotelicum,* uma chave de leitura
estranha ao espírito da filosofia e aos propósitos pragmáticos da apologia
do princípio da não-contradição levada a cabo pelo Estagirita no livro
Gamma da Metafísica. Há, sem dúvida, um viés estoicizante no *Aristotle's
syllogistic from the standpoint of modern formal logic*, o qual John
Corcoran, por exemplo, critica muito, que se deve ao fato de se antepor a
lógica proposicional clássica na base dessa reconstrução da
silogística. Todavia, em História, que não é uma ciência exata, há sempre
um ponto de vista diferente que pode ser justificado desde que haja
evidência em suporte.

Em resposta a sua pergunta, eu diria que há um viés um pouco formalista ou
logicista demais que permeia esse trabalho de Lukasiewicz e em seu projeto
de releitura modernista da silogística aristotélica. Mas o que poderia ser
criticado do ponto de vista historiográfico é incrível do ponto de vista
lógico-teórico. É ele o responsável por inaugurar, reorganizar e a
sistematizar seriamente a silogística de "Aristóteles", o que foi
fundamental para o renascimento e a aparição de estudos posteriores muito
bons sobre o tema. Acredito que o texto de Lukasiewicz continuará, por
muito tempo ainda, uma leitura obrigatória para os estudiosos de lógica,
filosofia antiga e história da lógica.

Quanto à identidade do João de Cornuália ser o Pseudo-Escoto, a
historiografia da lógica tem acatado à hipótese/conclusão de Etienne
Gilson, que é repercutida por Bochenski, os Kneales, Blanché e tantos
outros historiadores da lógica. Conto em detalhe essa e outras histórias em
minha tese.

Abraço,
Evandro Gomes.


2013/1/5 Joao Marcos 

> [Retornando ao "subject" anterior, mais esclarecedor.]
>
> > Esse é realmente um texto-chave para aquilatar paraconsistência lato
> sensu
> > em Aristóteles. Tive o primeiro contato com esse texto em 2005, quando
> > preparava um curso de história da lógica que ministrei aqui na
> Universidade
> > Estadual de Maringá.
>
> Sobre este assunto parece importante também levar em consideração ao
> menos o competente texto de Lukasiewicz sobre "o princípio da
> contradição em Aristóteles".
>
> > O resultado do Estagirita é surpreendente e o fato de ter ficado tanto
> > tempo sem ser debatido resulta, provavelmente, de um certo viés
> equivocado
> > na interpretação da lógica de Aristóteles, excessivamente
> > clássico. Apresento uma proposta de interpretação e contextualização
> desse
> > texto num paper de 2008, que publiquei com a professora Itala.  Segue o
> > link:
> >
> >
> http://www.periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2010v14n1p71
>
> Uma curiosidade: você classificaria também o viés de Lukasiewicz, que
> vocês analisam no artigo de vocês, como "excessivamente clássico"?  E
> o que você acha do livro de Fred Seddon criticando a abordagem
> lukasiewicziana?
>
> > Em minha tese - que logo estará pronta - conto melhor essas e outras
> > histórias. Outro equívoco dessa história é atribuir o ex falso ao
> > Pseudo-Escoto.
>
> É de fato interessante esclarecer isso.  Parece-me absolutamente
> essencial, neste sentido, ler com carinho o livro de Andrés
> Bobenrieth, "Inconsistencias ¿Por qué no? Un estudio filosófico sobre
> la lógica paraconsistente".  Andrés mostra como uma reedição dos
> comentários dos Analíticos Anteriores/Primeiros Analíticos tornaram
> visível o princípio do Pseudo-Escoto, atribuído erroneamente a João
> Duns Escoto (1266-1308), nos doze livros da Opera Omnia, 1639
> (reimpresso em 1968), e aponta para a conjectura moderna mais
> plausível sobre a autoria destes livros, que os liga a João da
> Cornuália, por volta de 1350.
>
> Abraços,
> Johannes Marcus
>
> --
> http://sequiturquodlibet.googlepages.com/
>
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Digest Logica-l, volume 83, assunto 5

[Evandro L. Gomes]

Caro Tony,

Esse é realmente um texto-chave para aquilatar paraconsistência lato sensu
em Aristóteles. Tive o primeiro contato com esse texto em 2005, quando
preparava um curso de história da lógica que ministrei aqui na Universidade
Estadual de Maringá.

O resultado do Estagirita é surpreendente e o fato de ter ficado tanto
tempo sem ser debatido resulta, provavelmente, de um certo viés equivocado
na interpretação da lógica de Aristóteles, excessivamente
clássico. Apresento uma proposta de interpretação e contextualização desse
texto num paper de 2008, que publiquei com a professora Itala.  Segue o
link:

http://www.periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2010v14n1p71

Em minha tese - que logo estará pronta - conto melhor essas e outras
histórias. Outro equívoco dessa história é atribuir o ex falso ao
Pseudo-Escoto.

Abraço a todos,
Bom ano!

Evandro Gomes.
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Digest Logica-l, volume 59, assunto 15

[Evandro L. Gomes]

Caro Adolfo,

Há vários livros interessantes, nos quais você pode encontrar boas histórias
da lógica. Uma boa seleção dependerá do período e dos autores da história da
lógica você pretende estudar.

Dentre as boas histórias gerais da lógica, eu gosto muito daquela escrita
por I. M. Bochenski (A history of formal Logic) e a do casal Kneale (O
desenvolvimento da Lógica). Cada uma delas é o melhor exemplar das correntes
historiográficas que representam. A história de Bochenski pode ser
considerada a melhor no estilo disciplinar e a do casal Kneale a melhor no
estilo compreensivo.

Boa história da lógica pode ser encontrada também na revista History and
Philosophy of Logic, publicada desde 1980. É o ponto de encontro da boa
pesquisa nessa área.

Abs,
Evandro.



2011/1/22 

> Enviar submissões para a lista de discussão Logica-l para
>logica-l@dimap.ufrn.br
>
> Para se cadastrar ou descadastrar via WWW, visite o endereço
>http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> ou, via email, envie uma mensagem com a palavra 'help' no assunto ou
> corpo da mensagem para
>logica-l-requ...@dimap.ufrn.br
>
> Você poderá entrar em contato com a pessoa que gerencia a lista pelo
> endereço
>logica-l-ow...@dimap.ufrn.br
>
> Quando responder, por favor edite sua linha Assunto assim ela será
> mais específica que "Re: Contents of Logica-l digest..."
>
>
> Tópicos de Hoje:
>
>   1. o teorema da incompletude não é apenas um joguinho de números
>  (Joao Marcos)
>   2. Mais um P==NP, dessa vez com implementação em software.
>  (Rodrigo Valceli Raimundo)
>   3. Livros sobre a História da Lógica (Adolfo Neto)
>   4. Re: Livros sobre a História da Lógica (Decio Krause)
>
>
> --
>
> Message: 1
> Date: Fri, 21 Jan 2011 19:09:24 -0200
> From: Joao Marcos 
> Subject: [Logica-l] o teorema da incompletude não é apenas um joguinho
>de números
> To: Lista acadêmica brasileira dos profissionais e estudantes da área
>de LOGICA 
> Message-ID:
>
> 
> >
> Content-Type: text/plain; charset=UTF-8
>
> Entrevista com Janna Levin, a autora do romance "A Madman Dreams of
> Turing Machines".
>
> Incompleteness Theorem is not just a numbers game
> http://simplycharly.com/godel/janna_levin_godel_interview.html
>
>
> jm
>
>
> --
>
> Message: 2
> Date: Fri, 21 Jan 2011 20:27:58 -0200
> From: Rodrigo Valceli Raimundo 
> Subject: [Logica-l] Mais um P==NP, dessa vez com implementação em
>software.
> To: Lista acadêmica brasileira dos profissionais e estudantes da área
>de LOGICA 
> Message-ID:
>
> Content-Type: text/plain; charset=ISO-8859-1
>
> Pensei que ia aparecer rápido nessa lista...
>
> http://romvf.wordpress.com/2011/01/19/open-letter/
>
> --
> Signatures are useless.
>
>
> --
>
> Message: 3
> Date: Sat, 22 Jan 2011 09:44:56 -0200
> From: Adolfo Neto 
> Subject: [Logica-l] Livros sobre a História da Lógica
> To: Lista acadêmica brasileira dos profissionais e estudantes da área
>de LOGICA 
> Message-ID:
>
> Content-Type: text/plain; charset=ISO-8859-1
>
> Olá,
>
> Que livro (ou páginas confiáveis) vocês recomendam sobre a história da
> lógica?
>
> Grato,
>
> Adolfo
>
> --
> ==
> Adolfo Neto
> Assistant Professor - Federal University of Technology, Paraná
> Web: 
> http://www.dainf.ct.utfpr.edu.br/~adolfo
> Twitter: http://twitter.com/adolfont
> Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
> ==
>
> --
>
> Message: 4
> Date: Sat, 22 Jan 2011 10:48:53 -0200
> From: Decio Krause 
> Subject: Re: [Logica-l] Livros sobre a História da Lógica
> To: Adolfo Neto 
> Cc: Lista acadêmica brasileira dos profissionais e  , estudantes da
>área de LOGICA 
> Message-ID: <1de5f996-2f52-4b82-a506-ed9480294...@gmail.com>
> Content-Type: text/plain;   charset=windows-1252
>
> Adolfo
> Dentre as inúmeras sugestões que deve receber (nas quais também estou
> interessado), cito o recente The Evolution of Logic, de D.W.Hart, bem
> interessante. O clássico dos Kneale, certamente. O pouco conhecido (me
> parece) de Kneebone, Math.Logic & the foundations of mathematics é um dos
> melhores que conheço, ainda que seja de 1963.
> Depois avise o que conseguiu, mas Arthur deve ter uma centena deles
> Abraços chuvosos (tá uma chuva do cão aqui em Fpolis).
> Décio
>
> 
> Decio Krause
> Departamento de Filosofia
> Universidade Federal de Santa Catarina
> 88040-990 Florianópolis, SC -- Brasil
> deciokra...@gmail.com
> www.cfh.ufsc.br/~dkrause 
> 
> Doctor Bell says we?re connected,
> He called me on the phone,
> But if we?re re

[Logica-l] Barbara, o silogismo

[Evandro L. Gomes]

Caro Décio e colegas,

Muita gente na lista já deve saber, mas só para ilustrar o que eu postei,
encaminho os esquemas do silogismos em "Barbara" na primeira e na segunda
figuras.

Na primeira figura, trata-se da dedução seguinte:

Todo A é B
Todo C é A
Portanto, todo C é B.

Desde a Idade Média, esse modo válido do silogismo categórico é nominado
'Barbara' na Sumulae Logicales (cerca de 1246) como ficou conhecido o
Tractatus de Pedro Hispano (Papa João XXI). Quando se muda a figura, ou
seja, o posição do termo médio, neste caso A, a relação de lógica aí
descrita se modifica e o silogismo se torna inválido. O exemplo do concurso
a que me referi correspondia ao esquema abaixo, na segunda figura do
silogismo, em que o termo médio é predicado nas duas premissas. Nessa
figura, o modo válido Barbara não vale.

Todo B é A
Todo C é A
Portanto, todo C é B

E olha que era a resposta que o problema apontava como correta!

É isso.
abraço a todos.
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] lógica e raciocínio lógico

[Evandro L. Gomes]

Caro Décio e colegas da lista,

O que o pessoal faz em nome da 'lógica' e do 'raciocínio lógico' nestes
concursos é inominável.

Faz uns três anos que a UEL colocou num concurso público aqui do Paraná uma
questão em que a resposta correta de uma questão equivalia a um silogismo em
Barbara na segunda figura!?!

abs,
Evandro.
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Sugestão sobre `instância'

[Evandro L. Gomes]

Caros colegas,

É bom lembrar que idioma diz respeito ao uso coletivo da língua, deste modo,
alguma padronização que atenda aos aspectos estéticos e de eufonia parece
útil. Neste sentido, ao cunhar novos termos acho que deveríamos considerar a
acessibilidade do significado deles ao maior número de pessoas. Não faz
muito sentido criar uma linguagem que apenas nós entendamos, por mais
técnica que ela deva ser.

Respondendo à pergunta do João Marcos, não sei bem que termo seria melhor
para instância, a comunidade deve optar. Da forma como está parece
anglicismo, cujo significado poder ser contemplado no nosso bom e velho
"exemplo". Entretanto, 'exemplo' pode não referir corretamente e
univocamente à gama de usos que se faz em lógica. Poder-se-ia dizer também
que é um termo desgastado por outros usos. Mas uma 'instância' não é mesmo
uma exemplificação, uma substituição num esquema abstrato, uma cópia, um
simulacro?

Os termos latinos que provavelmente originam nosso termo 'exemplo' tem uma
rica significação que talvez pudesse ser resgatada:

Exemplum, i - subs. n. - possui dentre seus significados os seguintes, de
acordo com o Dicionário Saraiva: copia, imitação, reprodução, exemplar,
translado.

Relativamente à 'instance' ou 'instância', temos algumas pistas do latim:

instantia, ae - subs. f. derivado de instare -  vizinhança, proximidade,
comprimento, complemento.
instar - subs. n. (só no acus. e no nom.) - semelhança, parecença e
conformidade.

Parece sair deste último o termo inglês 'instance'. Parece que do ponto de
vista etimológico, seria legítimo que instância tivesse o significado que
lhe atribuímos na lógica. Todavia, não parece ter sido este o caminho
lexicogênico que nossa língua adotou.

Saudações,

Evandro Gomes.
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Significados de instância no Houaiss

[Evandro L. Gomes]

Pessoal, documentando o que eu disse, no Dicionário Houaiss a entrada para
'instância' no Uaiss é a seguinte:

 substantivo feminino
1característica do que é iminente, do que está prestes a acontecer;
iminência
2ato de solicitar de forma premente, insistente
Exs.: ceder às i. de alguém
 pedir com i.
3caráter daquilo que é feito com empenho, perseverança, firmeza
Ex.: houve bravura e grande i. da população na defesa da cidade
4categoria, âmbito
Ex.: a i. da moral
5Rubrica: termo jurídico.
procedimento que se identifica pela prática de todos os atos necessários
desde o início da causa, com a petição inicial, até a conclusão do processo,
por solução ou julgamento
6Rubrica: termo jurídico.
o território no qual uma autoridade exerce o poder judiciário; jurisdição,
foro
7Rubrica: termo jurídico.
cada um dos juízos hierarquicamente organizados que sucessivamente conhecem
da causa e proferem decisão
8Derivação: por extensão de sentido.
autoridade, organismo que tem poder de decisão
Ex.: o caso será discutido por uma i. internacional, mais precisamente a
O.N.U.
9Rubrica: psicanálise.
cada parte do aparelho psíquico, segundo as teorias de Sigmund Freud.

Como se vê, não é que a palavra não existe. O significado que utilizamos não
está claramente registrado em nossos melhores dicionários.

Saudações,

Evandro.
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Termos lógicos inexistentes em líng ua portuguesa

[Evandro L. Gomes]

Caros colegas da lista,

A propósito da mensagem do Rafael Testa, é interessante notar que muitos
termos são utilizados em lógica sem cuidado lexical. O termo `instância',
por exemplo, também não existe em nossa língua com o sentido que o
utilizamos em lógica. Penso que a tradução por `exemplo' daria conta da
idéia que o seu cognato inglês exprime e que prescindimos nos contextos em
que o utilizamos.  `Instância' em português é um termo jurídico: tribunais
ou juizados de primeira, segunda, terceira instâncias, por exemplo.

O Vocabulário Ortográfico da Língua Portuguesa, preparado pela Academia
Brasileira de Letras, registra e cataloga as formas existentes ou não em
nosso idioma. Era possível consultá-lo on-line no endereço:
www.academia.org.br . Faz algum tempo que não encontro mais o link no site.

saudações lógicas,

Evandro Gomes
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Termos lógicos inexistentes em líng ua portuguesa

[Evandro L. Gomes]

Caros colegas da lista,

A propósito da mensagem do Rafael Testa, é interessante notar que muitos
termos são utilizados em lógica sem cuidado lexical. O termo `instância',
por exemplo, também não existe em nossa língua. Penso que a tradução por
`exemplo' daria conta da idéia que o seu cognato inglês exprime e que
prescindimos em lógica nos contextos em que o utilizamos.  `Instância' em
português é um termo jurídico: tribunais ou juizados de primeira, segunda,
terceira instâncias, por exemplo.

O Vocabulário Ortográfico da Língua Portuguesa, preparado pela Academia
Brasileira de Letras, registra e cataloga as formas existentes ou não em
nosso idioma. Era possível consultá-lo on-line no endereço:
www.academia.org.br . Faz algum tempo que não encontro mais o link no site.

saudações lógicas,

Evandro Gomes
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Digest Logica-l, volume 43, assunto 13

[Evandro L. Gomes]

João Marcos,

Links sensacionais!
Obrigado por socializar.

Evandro.

2009/9/18 

> Enviar submissões para a lista de discussão Logica-l para
>logica-l@dimap.ufrn.br
>
> Para se cadastrar ou descadastrar via WWW, visite o endereço
>http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> ou, via email, envie uma mensagem com a palavra 'help' no assunto ou
> corpo da mensagem para
>logica-l-requ...@dimap.ufrn.br
>
> Você poderá entrar em contato com a pessoa que gerencia a lista pelo
> endereço
>logica-l-ow...@dimap.ufrn.br
>
> Quando responder, por favor edite sua linha Assunto assim ela será
> mais específica que "Re: Contents of Logica-l digest..."
>
>
> Tópicos de Hoje:
>
>   1. prêmio atribuído a historiador da Lógica (Joao Marcos)
>
>
> --
>
> Message: 1
> Date: Thu, 17 Sep 2009 13:18:20 -0300
> From: Joao Marcos 
> Subject: [Logica-l] prêmio atribuído a historiador da Lógica
> To: Lista acadêmica brasileira dos profissionais e estudantes da área
>de LOGICA 
> Message-ID:
>
> Content-Type: text/plain; charset=UTF-8
>
> -- Forwarded message --
>
> Kenneth O. May Medal and Prize
>
> It is our great pleasure to announce that Professor Ivor
> Grattan-Guinness was awarded the prestigious Kenneth O. May Medal and
> Prize (www.unizar.es/ichm/mayprize.htm) for services to the History of
> Mathematics by the International Commission for the History of
> Mathematics (ICHM) on 31st July 2009, in Budapest, on the occasion of
> the 23rd International Congress for the History of Science.
>
> Professor Grattan-Guinness has made invaluable contributions to Taylor
> & Francis' History of Science journals Annals of Science
> (www.tandf.co.uk/journals/annals) and History and Philosophy of Logic
> (www.tandf.co.uk/journals/thpl) as former Editor-in-Chief for Annals
> and Founding Editor for HPL, current Editorial Board member and a
> prolific author for both titles.
>
> To celebrate his achievements, we are delighted to provide free access
> to his research papers published in these journals until the end of
> the year.
>
>Annals of Science:
>
>*  Towards a biography of Georg Cantor
>   Volume 27, Issue 4, Pages 345-391
>   www.informaworld.com/10.1080/00033797100203837
>
>*  University mathematics at the turn of the century
> unpublished recollections of W.H. Young
>   Volume 28, Issue 4, Pages 369-384
>   www.informaworld.com/10.1080/00033797200200291
>
>*  A mathematical union: William Henry and Grace Chrisholm Young
>   Volume 29, Issue 2, Pages 105-185
>   www.informaworld.com/10.1080/00033797200200431
>
>*  The Russell Archives: Some new light on Russell's logicism
>   Volume 31, Issue 5, Pages 387-406
>   www.informaworld.com/10.1080/00033797400200341
>
>*  Wiener on the logics of Russell and Schröder
>   An account of his doctoral thesis, and of his discussion
> of it with Russell
>   Volume 32, Issue 2, Pages 103-132
>   www.informaworld.com/10.1080/00033797500200171
>
>*  Work for the workers: Advances in engineering mechanics
> and instruction in France, 1800-1830
>   Volume 41, Issue 1, Pages 1-33
>   www.informaworld.com/10.1080/00033798400200101
>
>*  Counting the notes: Numerology in the Works of Mozart,
> Especially Die Zauberflöte
>   Volume 49, Issue 3, Pages 201-232
>   www.informaworld.com/10.1080/00033799200200241
>
>*  Some Numerological Features of Beethoven's Output
>   Volume 51, Issue 2, Pages 103-135
>   www.informaworld.com/10.1080/00033799400200151
>
>*  Benjamin Peirce's Linear Associative Algebra (1870):
>   New light on its preparation and 'publication'.
>   Volume 54, Issue 6, Pages 597-606
>   www.informaworld.com/10.1080/00033799700200401
>
>
>History & Philosophy of Logic:
>
>*  Georg Cantor's influence on Bertrand Russell
>   Volume 1, Issues 1&2, Pages 61-93
>   www.informaworld.com/10.1080/01445348008837005
>
>*  Psychology in the foundations of logic and mathematics:
> the cases of Boole, Cantor and Brouwer
>   Volume 3, Issue 1, Pages 33-53
>   www.informaworld.com/10.1080/01445348208837029
>
>*  Notes on the fate of logicism from principia mathematica
> to Gödel's incompletability theorem
>   Volume 5, Issue 1, Pages 67-78
>   www.informaworld.com/10.1080/01445348408837063
>
>*  Bertrand Russell's logical manuscripts: an apprehensive brief
>   Volume 6, Issue 1, Pages 53-74
>   www.informaworld.com/10.1080/01445348508837076
>
>*