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

2024-05-22 Por tôpico Itala Maria Loffredo D'Ottaviano
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 
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 International de Philosophie *(Paris-Nancy)
Editor of *Coleção CLE, *by the *Centre for Logic, Epistemology and
the* *History
of Science.*

-- 
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/CAGi1dG78DSbQsXvdCXP0h8J%3DG0O2mCuZq547E9_KX5w8%2B2%2BbDw%40mail.gmail.com.


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

2024-05-22 Por tôpico Walter Carnielli
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.


[Logica-l] fail better!

2024-05-22 Por tôpico Joao Marcos
How Failure Has Made Mathematics Stronger:
The topologist Danny Calegari discusses the inevitability of
disappointment in math, and how to learn from it.
https://www.quantamagazine.org/how-failure-has-made-mathematics-stronger-20240522/


JM

-- 
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/CAO6j_LggoPQTFK2z_Dw46CTd4-2JWQohptqO%2BhXWYegBavQ6sQ%40mail.gmail.com.


Re: [Logica-l] livros de Marta Bunge na USP!

2024-05-22 Por tôpico Marcelo Finger
"The story of this donation begins with a family friend, the Brazilian
mathematician Valéria de Paiva, ... "

[]s

Em qua., 22 de mai. de 2024 às 14:59, Valeria de Paiva <
valeria.depa...@gmail.com> escreveu:

> https://www.ime.usp.br/en/professor-marta-bunges-
> personal-library-is-donated-to-the-ime-usp-library/
>
> --
> Valeria de Paiva
> http://vcvpaiva.github.io/
> https://topos.institute/
> http://www.cs.bham.ac.uk/~vdp/
>
>
> --
> 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/CAESt%3DXsmNCyb_jUdSQGSreA%3DqKMoS4ZTX6Fnwtc6wPcB9E7qzA%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ê 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/CAGG7Aw1bxj-fSqevMJP20iT2Zmr%2B8RYLb4NGegQNScmjhQXOrA%40mail.gmail.com.


[Logica-l] El Comercio: Newton da Costa

2024-05-22 Por tôpico Luis Bartolo
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ê 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/315f67b4-0391-4ba8-9e16-c44a0daaec0dn%40dimap.ufrn.br.


[Logica-l] livros de Marta Bunge na USP!

2024-05-22 Por tôpico Valeria de Paiva
https://www.ime.usp.br/en/professor-marta-bunges-
personal-library-is-donated-to-the-ime-usp-library/

-- 
Valeria de Paiva
http://vcvpaiva.github.io/
https://topos.institute/
http://www.cs.bham.ac.uk/~vdp/

-- 
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/CAESt%3DXsmNCyb_jUdSQGSreA%3DqKMoS4ZTX6Fnwtc6wPcB9E7qzA%40mail.gmail.com.


[Logica-l] Fwd: livros de Marta Bunge na USP!

2024-05-22 Por tôpico Valeria de Paiva
Passando a informacao!
abs
Valeria

-- Forwarded message -
From: Valeria de Paiva 
Date: Wed, May 22, 2024 at 10:48 AM
Subject: livros de Marta Bunge na USP!
To: Teoria das Categorias Brasil <
teoria-das-categorias-bra...@googlegroups.com>


https://www.ime.usp.br/en/professor-marta-bunges-
personal-library-is-donated-to-the-ime-usp-library/


-- 
You received this message because you are subscribed to a topic in the
Google Groups "Teoria das Categorias Brasil" group.
To unsubscribe from this topic, visit
https://groups.google.com/d/topic/teoria-das-categorias-brasil/_J0FfzW-hEY/unsubscribe
.
To unsubscribe from this group and all its topics, send an email to
teoria-das-categorias-brasil+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/teoria-das-categorias-brasil/5989d528-c6db-4411-8b67-20f1d797ca19n%40googlegroups.com

.
For more options, visit https://groups.google.com/d/optout.

-- 
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/CAESt%3DXuve6%3DRd%3DwhRffWJjAMBHeY%3DEBAOk9P6nZbg5o-kSsY7g%40mail.gmail.com.


[Logica-l] God as a hypothesis by Juan Diego Morales - LARAW May 23, 2024, 4pm CET

2024-05-22 Por tôpico jean-yves beziau
LARAW May 23, 2024, 4pm CET
"GOD AS A HYPOTHESIS"
Speaker: Juan Diego Morales (Universidad de Cartagena, Colombia)
Abstract:  In this presentation I argue that religion implies the empirical
and testable, although non-scientific hypothesis that God’s personal action
is non-reducible to and ineliminable from the natural world. Much of the
argument focuses on the thesis of the causal closure or completeness of
nature that most scientists, philosophers, and theologians accept. I argue
that the consequences of this thesis are devastating for religion, making
it ontologically and epistemologically dispensable. But I show how, in
fact, contemporary sciences support a conception of the natural world as
much more causally open, on which religion should be empirically
structured.

Everybody is welcome to attend, register here:
https://www.logicandreligion.com/webinars

Jean-Yves Beziau
Vice-President LARA (Logic And Religion Association)
https://www.jyb-logic.org/

-- 
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/CAF2zFLAYcbahMOM63eeHKGJsEYOFH4at9qP-if5XyZ01jBawUA%40mail.gmail.com.


[Logica-l] Fwd: New Master's Degree in Logic - Athens, Greece

2024-05-22 Por tôpico Joao Marcos
-- Forwarded message -

**CALL FOR EXPRESSION OF INTEREST IN THE M.Sc./M.A. PROGRAMME “LOGIC”**


The National and Kapodistrian University of Athens (Department of History
and Philosophy of Science), the Academy of Athens (Research Centre for
Greek Philosophy) and the National Technical University of Athens (School
of Applied Mathematical and Physical Sciences) organize a new, two-year
English-language graduate programme under the title “Logic”. The new
programme now invites prospective students for the academic year 2024–25
to express their interest by sending an email, with attachments as listed
below, to lo...@phs.uoa.gr from May 20 to July 20, 2024.

The graduate programme “Logic” covers both Mathematical Logic and
Philosophical Logic/Philosophy of Logic. It extends to the use of Logic
for providing foundations of Mathematics and to the application of Logic
to central branches of Philosophy, such as Metaphysics and Philosophy of
Language. It also covers the History of Logic. It has three
specializations:
•   History and Philosophy of Logic (M.A.)
•   Logic and Foundations of Mathematics (M.Sc.)
•   Mathematical Logic (M.Sc.).
The programme will be taught by members of the three cooperating
institutions, as well as by distinguished scholars from other Greek or
foreign institutions.

The programme admits graduates of Greek universities or of recognized
cognate institutions abroad, as well as graduates of TEI (Greek
Polytechnics). But, in order to be in a position to complete the courses
successfully, students need to be acquainted with using symbolic languages
and formal methods.

The programme is currently in the process of being accredited by the
Hellenic Authority for Higher Education (HAHE). The main part of the
process will take place in mid June. Barring any entirely unexpected delay
in the accreditation, the programme will start operating in October 2024.
However, until the accreditation is complete, no formal applications may
be submitted. The prospect is that, with the expression of interest from
those who would like to attend the programme, the assessment of the
applications will be prepared so that formal procedures can be
fast-tracked in September 2024.

So those who are interested are invited to send an email to
lo...@phs.uoa.gr attaching
•   a brief c.v.
•   a copy of their first degree (if they have graduated)
•   a transcript of records (if they have not graduated, it should show that
there is a high probability that they will by September 2024)
•   and a brief text explaining why they are interested in this particular
programme.

Anyone interested can seek more information at the webpage of the
programme (https://en.phs.uoa.gr/studies/graduate_studies/logic/) or at
the above-mentioned email address.

-- 
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/CAO6j_LgfYNnqsoJVxwrTVo%3DuTU7afur2dhC-0R52fSOj%3D48o1Q%40mail.gmail.com.