[Logica-l] Logical Lantern by Oksana Cherkashina - LUW May 29 at 4pm CET

2024-05-27 Por tôpico jean-yves beziau
Speaker: Oksana Cherkashina
Moscow Center for Consciousness Studies at the Faculty of Philosophy,
Moscow State University, Russia
Title: A 32-vertex generalization of the logical square: "Logical Lantern"
for propositions in V.I. Markin's Universal language for traditional
positive syllogistic theories.
Abstract:  In this talk is constructed an analogue of the square of
opposition for propositions about logical relations between two non-empty
sets. Unlike the classical square of opposition, the proposed scheme uses
all logically possible syllogistic constants, formulated in V.I. Markin’s
universal language for traditional positive syllogistic theories. This
scheme can be called „Logical lantern”.
The constructed scheme, making it possible to visually see the logical
relations among propositions about relations between two nonempty sets,
allows us to suggest considering logical relations not discussed
previously: many-place Aristotelian-like logical relations among
propositions: exhaustive n-place contrariety and exhaustive n-place
subcontrariety.
https://link.springer.com/article/10.1007/s11787-024-00351-5

Associate Organization:
International Laboratory for Logic, Linguistics and Formal Philosophy
presented by the Laboratory Head: Elena Dragalina-Chernaya

Chair: Ioannis Vandoulakis, Vice-President of LUA  (Logica Universalis
Organization)
Everybody is welcome to attend. register here:
https://link.springer.com/journal/11787/updates/26604532
Jean-Yves Beziau
Logica Universalis Webinar Organizer
Editor-in-Chief Logica Universalis

-- 
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/CAF2zFLAiuQf0Q7P5Yf_1qwJBg-cXPemv_pwrA07DDbBbs-DGzA%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] Universal Logic, Ethics, and Truth Essays in Honor of John Corcoran (1937-2021), now released

2024-05-15 Por tôpico jean-yves beziau
I am glad to announce the release of the book
"Universal Logic, Ethics, and Truth
Essays in Honor of John Corcoran (1937-2021)"
Editors: Timothy J. Madigan and Jean-Yves Béziau,
Birkhäuser, Cham, May 14, 2024
https://link.springer.com/book/10.1007/978-3-031-44461-6

This book contains 18 chapters by scholars from all over the world.
John Corcoran died on January 8, 2021. On January 13, his wife Lynn wrote
to me the following;
"As I was going through his recent emails, I saw your posting of World
Logic Day tomorrow, January 14. I’m sure you are very busy at the moment,
but if it would be possible to announce John’s death, please do so. Before
he died, John had asked me to notify you and to tell you how much he
appreciated your friendship, as well as your enthusiastic and imaginative
support of logic. He greatly enjoyed his participation in the conference
you organized in Istanbul. I accompanied him on that trip and it was a
wonderful experience for both of us."
https://link.springer.com/content/pdf/bfm:978-3-031-44461-6/1

In  section 6  "The Existential Import of John Corcoran" of my
paper entitled "Ex Incompatibilitate Sequitur Quodlibet"
https://link.springer.com/chapter/10.1007/978-3-031-44461-6_3
I remind  important things about Corcoran, in particular:
- his masterful introduction to the second edition of the collection of
papers by Alfred Tarksi "Logic, Semantic, Metamathematics"
- A.Tarski, “What are logical notions?” (edited by J.Corcoran), History and
Philosophy of Logic, 7 (1986), pp.143–154.
https://sites.google.com/view/5th-logical-notion/what-are-logical-notions
JYB

-- 
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/CAF2zFLBdoX_1sf0jCksS1kTkSz-yYocSrGRamVL3woViwncBrw%40mail.gmail.com.


[Logica-l] Seminário de Lógica Carioca - 15 de maio de 2024 - "A concepção aristotélica de acaso na física" / Luis Felipe Bellintani Ribeiro

2024-05-13 Por tôpico jean-yves beziau
Seminário mensal interuniversitário de Lógica Carioca
Quarta-feira 15 de maio  de 2024, 17h30
"A concepção aristotélica de acaso na física"
Luis Felipe Bellintani Ribeiro
https://www.rio-logic.org/2024-1.html

-- 
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/CAF2zFLBAiCYrqn-t3EziZ7UGbuJbUAK1RKqF1CupOJfyQfO30A%40mail.gmail.com.


[Logica-l] CfP - Workshop Diagrams and Mathematical Practice - Part of DIAGRAMS 2024

2024-05-10 Por tôpico jean-yves beziau
Deadline Approaching!
Organizers: Jean-Yves Beziau, Federal University of Rio de Janeiro, Brazil
and Andrei Rodin, Poincaré Archives, University of Lorraine, Nancy, France.
Send a 300/500 words abstract by May 15 to  diamapra2...@protonmail.com
https://diagrams-2024.diagrams-conference.org/workshops/diagrams-and-mathematical-practice/

-- 
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/CAF2zFLBorvZEqDSAgfZfaH-Oj9g2N3t9Wd7E%2B3RcceBt06rQMQ%40mail.gmail.com.


[Logica-l] CfP 8th World Congress on the Square of Opposition - Costa Rica - September 2024 - Extended Deadline

2024-05-09 Por tôpico jean-yves beziau
The 8th edition of the World Congress on the Square of Opposition
will take place in Costa Rica, September 9-13, 2024.
The Extended Deadline to submit an abstract is May 15.
https://sites.google.com/view/square8-2024/

-- 
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/CAF2zFLDsuMmzVhvdv5Qatrg_GNRdb62XOS%3D5v-p%2B7hS6pOHJSA%40mail.gmail.com.


[Logica-l] [Theuth] Annonce bourses doctorales in histoire et philosophie des mathématiques

2024-05-07 Por tôpico jean-yves beziau
Cher.e.s collègues,

Je vous écris pour vous informer que le *Laboratoire **SPHERE* à Paris
annonce deux bourses doctorales de trois ans, à partir d'octobre 2024.
Grâce à une subvention de l'ANR, nous avons récemment réussi à démarrer
deux projets de recherche différents, le premier sur *la tradition des
Éléments d'Euclide à l'époque moderne* (16-19 siècle), et le second sur l*es
théories des axiomes au 18-19 siècle*. Les deux postes de doctorants sont
destinés à couvrir ces deux sujets.
Merci d'alerter vos étudiants qui pourraient avoir un intérêt à venir
travailler avec nous, et de diffuser cette annonce le plus largement
possible sur les listes de diffusion et auprès de vos collègues.
La date limite pour les deux appels est *le 27 juin*, et vous trouverez des
descriptions plus détaillées des deux bourses ci-dessous.
Mille mercis,
Vincenzo

Dear colleagues,
I am writing to inform you that the *Laboratoire **SPHERE* in Paris is
announcing two three-year doctoral fellowships, starting on October 2024.
Thanks to a grant from the ANR, we have recently managed to start two
different research projects, *the first on the tradition of Euclid's
Elements in the modern age* (16-19 century), and the second on *theories of
axioms in the 18-19 century*. The two doctoral positions are intended to
cover these two topics.
Please alert your students who may have an interest in coming to work with
us in Paris, and spread this announcement as widely as possible on mailing
lists and to colleagues.
The deadline for the two calls is *June 27*, and you will find more
detailed descriptions of the two fellowships below.
A thousand thanks, and to the best,
Vincenzo

 
--

Vincenzo De Risi

Directeur de recherche / Research Fellow, Centre Nationale de la Recherche
Scientifique (CNRS, France)

*Laboratoire SPHère*, case 7093, Rue Jean-Antoine de Baïf 27, 75013 Paris,
France

https://vincenzoderisi.academia.edu

-- 
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/CAF2zFLBB%3DCA31tqx_pNX%2BrAa6pxy_FsKp%2Bo6GO9MxPQaciSqQQ%40mail.gmail.com.


[Logica-l] La Logique en Question - 11 - Logic in Question - 2-3, Mai / May 2024 - Sorbonne, Paris

2024-05-01 Por tôpico jean-yves beziau
LiQ is an annual workshop at the Sorbonne. The first edition was in 2011,
the ninth in 2019.  After  an interruption due to the pandemic,  the
workshop started again in 2023, with the 10th edition. This year 2024  it
will be the 11th edition.
LiQ est un atelier annuel à la Sorbonne. La première édition a eu lieu en
2011, la neuvième en 2019.  Après une interruption due à la pandémie,
l’atelier a repris en 2023, avec la 10e édition. Cette année 2024 ce sera
la 11ème édition.
Details and Program here / Détails et Programme ici:
https://sites.google.com/view/liq11/

Past Editions / Editions Antérieures.
See the  list of past speakers here / Voir la liste complète des
conférenciers ici:
https://www.logic-in-question.org/speakers-2011-2019.html
And here the resulting book / Et ci-dessous le livre résultant:
https://link.springer.com/book/10.1007/978-3-030-94452-0

-- 
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/CAF2zFLCBnAtfmM07Y7zd3Gep-5P2puWNOWymsv2xnecuL5WcWg%40mail.gmail.com.


[Logica-l] 1st Pan African Logic Congress - Cairo, Egypt, April 28-30, 2024

2024-04-28 Por tôpico jean-yves beziau
After SALOME 1 :  the 1st South American LOgic MEeting
Cusco, Peru, January 12-15, 2024

Another continental series of events I am launching this year:
1st Pan African Logic Congress - Cairo, Egypt, April 28-30, 2024
The logic of nature & the nature of logic in Africa
April  28–30, 2024 - The British University in Egypt, Cairo

This congress aims to promote logic in Africa. It is focused on Nature in a
double sense. Wildlife is very important in Africa, the flora and fauna are
very impressive.
This is the place where there is the highest number and variety of animals.
And for this reason, the people especially in central Africa have a strong
connection with nature.
It is the opportunity therefore to reflect on the logic of nature and to
examine to what extent it is different from the logic of the technological
and industrial world (computers, artificial intelligence, and so on).
This is a way therefore to challenge the very nature of logic. From this
perspective, logic is understood in a very wide sense and in relation to
all aspects of the world, natural and artificial.
The purpose of this event is to reveal and explore different manners of
reasoning embedded in African cults, myths, arts, religions, rituals,
economic systems, traditional justice systems, and architectural systems.
This congress  will enrich logical studies and their relative subjects like
AI through elaborating  logical interpretations of different aspects of
African cultures.

https://africanlogiccongress.com/
Starting Now !

-- 
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/CAF2zFLDHQhdLuw%2B6k6cH4%2BgeMLSrpxv9O8mh7WfvDa2HcR6%3D5Q%40mail.gmail.com.


[Logica-l] Newton da Costa / CfP Book and Congress / ici-Rio-2024

2024-04-23 Por tôpico jean-yves beziau
https://sites.google.com/view/creativity2019/abf30
and the projection of the film "Spirit of Contradiction" in the Caixa
Cultural cinema in downtown Rio de Janeiro
https://sites.google.com/view/creativity2019/movie

(9) JOINT WORKS WITH  NEWTON DA COSTA
I wrote a book and more than 10 papers with Newton da Costa:
https://www.jyb-logic.org/papers.html
The last one: Newton da Costa and Jean-Yves Beziau "Is God Paraconsistent?"
in Beyond Faith and Rationality - Essays on Logic, Religion and Philosophy
Springer International Publishing, Cham, 2020:
http://www.jyb-logic.org/GOD
I also translated the main book of Newton da Costa in French in 1997 with
two additional appendices,
one on paraconsistent logic, the first presentation of paraconsistent logic
in French, and one on the theory of valuations:
https://www.amazon.fr/Logiques-classiques-non-fondements-logique/dp/2225852472

(10) BOOK IN HONOR OF NEWTON DA COSTA - Call for Papers
Together with Decio Krause, one of his most important friends and
collaborators,
we will edit and publish a book in honor of Newton da Costa in the book
series
Studies in Universal Logic (Birkhäuser / Springer)
https://www.springer.com/series/7391
We invite all those who are interested to contribute to send a paper by
September 16, 2024 (Birthday of Newton da Costa).

(11) CONGRESS IN HONOR OF NEWTON DA COSTA - ICI-RIO-2024 - Call for
Abstracts
We are organizing the event ici-Rio-2024 in memory of Newton da Costa:
Imagination, Creativity, Intelligence, Rio de Janeiro, December, 9-13, 2024:
Everybody is welcome to send an abstract
https://sites.google.com/view/ici-rio-2024/
See you in Rio in December !

>---------
Prof. Dr. Dr. Jean-Yves Beziau
Federal University of Rio de de Janeiro, Brazil
https://philpeople.org/profiles/jean-yves-beziau

-- 
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/CAF2zFLDobjfC%3Ds-TpVH5FH-x5q4Ouguth%3D6hkN4zMqWgL5Oq6A%40mail.gmail.com.


[Logica-l] CfP - Workshop Diagrams and Mathematical Practice - Part of DIAGRAMS 2024 - Münster, Germany, Sept 27 - Oct 1st, 2024

2024-04-21 Por tôpico jean-yves beziau
Organizers: Jean-Yves Beziau, Rio de Janeiro, Brazil and Andrei Rodin,
Nancy, France
Send a 300/500 words abstract by May 15 to  diamapra2...@protonmail.com
https://diagrams-2024.diagrams-conference.org/workshops/diagrams-and-mathematical-practice/

-- 
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/CAF2zFLBO_QQePFPSY0ZSjKvoCXZ-8ei3s%3D-N6pH4sCO6-%2Bntsw%40mail.gmail.com.


[Logica-l] Inteligência Artificial, Einstein e Direito: saiba o que é a lógica paraconsistente, criada por matemático brasileiro

2024-04-20 Por tôpico jean-yves beziau
Isa Morena Vista,  O Globo

https://oglobo.globo.com/brasil/noticia/2024/04/19/inteligencia-artificial-einstein-e-direito-saiba-o-que-e-a-logica-paraconsistente-criada-por-matematico-brasileiro.ghtml?utm_source=aplicativoOGlobo_medium=aplicativo_campaign=compartilhar
Em modo leitura:
https://leiaisso.net/zn373/
>---
Prof. Dr.  Dr.  Jean-Yves Beziau
Programa de Pós-Graduação em Filosofia - PPGF
Departamento de Filosofia, Universidade Federal do Rio de Janeiro
Pesquisador CNPq
http://lattes.cnpq.br/7881030748722960

-- 
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/CAF2zFLAayahJBbq_AkC_bh1qF1MH%3D8KrLW_YB4aa8L6D6-5NLw%40mail.gmail.com.


[Logica-l] Newton da Costa: 90 anos, prêmio, WLD, livros e artigos

2024-04-19 Por tôpico jean-yves beziau
1. Newton da Costa 90th Birthday - 16 de setembro de 2019 na USP
https://sites.google.com/view/nca90/
incluindo palavras de parabens de pesquisadores do mundo inteiro
https://sites.google.com/view/nca90/happy-birthday

2. Congresso para os 90 anos do Newton da Costa - Dezembro de 2019, Rio de
Janeiro,
https://sites.google.com/view/creativity2019/
com um concerto do Gilberto Gil, Jorge Mautner e Cecília Beraba:
https://sites.google.com/view/creativity2019/abf30
e a projeção do filme "Spirit of Contradiction" no cinema Caixa Cultural no
centro do Rio de Janeiro
https://sites.google.com/view/creativity2019/movie

3. Prêmio Newton da Costa de lógica que eu lancei  em setembro de 2014,
para os 85 anos dele
https://www.uni-log.org/newton-da-costa-prize.html
que levou a criação de prêmios de lógica no mundo inteiro e a um concurso
internacional de prêmios de lógica
https://sites.google.com/view/unilog-2022/7th-congress/logic-prizes
não existe coisa similar em outra disciplina no mundo
Logic Prizes et Cætera
https://link.springer.com/article/10.1007/s11787-018-0215-6
Depois disto foi lançado em  2019:

4. Dia Mundial da Lógica 14 de Janeiro, parte do calendario da UNESCO
https://sites.google.com/view/kg-wld-2024-pt/

5. Aqui uma foto junto com o Newton da Costa e um artigo onde eu conto o
meu encontro com ele:
http://www.jyb-logic.org/JYB50

6. Aqui uma entrevista publicada recentemente onde explico o meu percurso
académico inclusivo o meu encontro com Newton da Costa:
https://www.cairn.info/tap-hui1jvjy6151t

7. Tradução para o francês que eu fiz do principal livro do Newton da Costa
https://www.amazon.fr/Logiques-classiques-non-fondements-logique/dp/2225852472

8. Escrevi um livro e mais de 10 artigos com o Newton da Costa
https://www.jyb-logic.org/papers.html

9. O derradeiro artigo
Newton da Costa and Jean-Yves Beziau "Is God Paraconsistent?"
in Beyond Faith and Rationality - Essays on Logic, Religion and Philosophy
Springer International Publishing, Cham, 2020
http://www.jyb-logic.org/GOD

>---
Prof. Dr.  Dr.  Jean-Yves Beziau
Programa de Pós-Graduação em Filosofia - PPGF
Departamento de Filosofia, Universidade Federal do Rio de Janeiro
https://philpeople.org/profiles/jean-yves-beziau
Pesquisador CNPq
http://lattes.cnpq.br/7881030748722960

-- 
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/CAF2zFLDa0BEShsXtuorDEnLJt7P7gD3E%2Bt8-n4EV3EWUf%3Du_nA%40mail.gmail.com.


[Logica-l] CfP 8th World Congress on the Square of Opposition

2024-04-18 Por tôpico jean-yves beziau
The 8th edition of the World Congress on the Square of Opposition
will take place in Costa Rica, September 9-13, 2024.
Deadline to submit an abstract is  May 8
https://sites.google.com/view/square8-2024/

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


[Logica-l] Conversação como investigação - Waldomiro J. Silva Filho - Seminário de Lógica Carioca - 17 de abril de 2024 - 17h30

2024-04-15 Por tôpico jean-yves beziau
SEMINÁRIO  DE LÓGICA CARIOCA
Cada mês nos encontramos no Rio de Janeiro para discutir de lógica
Organizadores: Jean-Yves Beziau e Kherian Gracher (PPGF / UFRJ)

Quarta-feira 17 de abril de 2024 - 17h30
"Conversação como investigação"
Waldomiro J. Silva Filho
Universidade Federal da Bahia e CNPq
https://www.rio-logic.org/2024-1.html

>---
Prof. Dr.  Dr.  Jean-Yves Beziau
Programa de Pós-Graduação em Filosofia - PPGF e CNPq
Departamento de Filosofia, Universidade Federal do Rio de Janeiro
https://philpeople.org/profiles/jean-yves-beziau

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


[Logica-l] Shani Louk: ouf topics, não é?

2024-03-31 Por tôpico jean-yves beziau
https://twitter.com/HenMazzig/status/1773318588775948699

-- 
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/CAF2zFLD9eYx_cB4OEgE0dpkVXPE0jWLTfQ1jAj3-8Wz076OOgg%40mail.gmail.com.


[Logica-l] Eu não sou da sua rua

2024-03-31 Por tôpico jean-yves beziau
Eu não sou o seu vizinho
Eu moro muito longe, sozinho
Estou aqui de passagem…
https://www.youtube.com/watch?v=N3GWwCAsqUA
12 Famosos Descendentes Judeus Sefarditas
https://genealogiajudaica.com/12-famosos-descendentes-judeus-sefarditas/
JYB

-- 
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/CAF2zFLBZWufC0b4OeizGfNF-VQgDHJJKgLeVXhVR2XjNSR2QVw%40mail.gmail.com.


[Logica-l] Outra hora se passou

2024-03-31 Por tôpico jean-yves beziau
Outra hora de loucura
As ervas daninhas cresceram no caminho e no jardim
O vento suspirou
Abertura do obturador
Batendo a velha parede
Como se chamasse
Casa, Casa
É hora de voltar

De colinas e campos estrangeiros
O dia está desaparecendo e não há sinal
Casa, Casa
Antes que a luz se apague
Noites frias, noites amargas
Aproximação
Até o amanhecer, eu rezo por você

Preso no aperto do medo
Ouço passos
Casa, Casa
Porque ainda não foi dado
Como foi prometido há muito tempo.


https://www.youtube.com/watch?v=1aIyZnFbOu0


JYB

-- 
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/CAF2zFLBtuGz7J%2B49WJHO5cDp7x_VQmZgRoz8DT5a%2BXxGzGLN8A%40mail.gmail.com.


[Logica-l] um genocídio altamente televisionado

2024-03-30 Por tôpico jean-yves beziau
"um genocídio altamente

televisionado  que se anunciava há anos e que deveria (a meu ver) mobilizar
a melhor parte de nossa humanidade.."

Grande parte da humanidade já está mobilizada para acabar com os
judeus, e não começou ontem!

https://www.youtube.com/watch?v=DuNA5j2YwyU

JYB

-- 
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/CAF2zFLAjeDsL6-FtzwDvD6iQN-kaZdHzU_GBAw%2BOSTmQ9isvog%40mail.gmail.com.


[Logica-l] Another Hour of madness

2024-03-30 Por tôpico jean-yves beziau
Another Hour has passed

Another Hour of madness
The weeds have grown in the path and garden
The wind sighed
Opening the shutter
Banging the old wall
As if calling
Home, Home
It’s time to return

>From hills and foreign fields
The day is fading and there’s no sign
Home, Home
Before the light is dimmed
Cold nights, bitter nights
Closing in
Until the dawn, I pray for you

Bound in the grip of fear
I hear steps
Home, Home
Because it hasn’t yet been given
As was promised long ago.

https://www.youtube.com/watch?v=XyI2GPDDLWc

-- 
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/CAF2zFLCdrDtKKGi6OUi9mC5fWh2D%2BRBi8p%2BiDpGh2scxNNNWqQ%40mail.gmail.com.


Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial

2024-03-29 Por tôpico jean-yves beziau
o anti-sionismo virou uma maneira politicamente correta de de ser
anti-semita
o judeo não tem lugar nenhum para ir, vamos matar ele então em Israel, com
aconteu no dia 7 de outubro
JYB

On Sat, Mar 30, 2024 at 2:26 AM yuri lumer  wrote:

> Eu acho que antissionismo é quase sempre um verniz para o antissemitismo,
> mas isso obviamente não tem relação com críticas a Israel de maneira geral.
>
> A questão é que no debate público deformaram o conceito de sionismo
> atribuindo a ele uma carga pejorativa a priori e alienando completamente
> este conceito de uma representação real para poder se declarar contra os
> judeus sem ser racista.
>
> Tem um vídeo curtinho do prof. Michel Gherman que considero interessante e
> bem didático sobre a multiplicidade do conceito.
>
> https://youtu.be/tl1i9BmIEAM?feature=shared
>
>
> Sei que este é um debate longo e se for procurar, encontrá na Internet
> centenas de artigos dizendo que sim , que não é que depende.
>
> O Guga Chacra escreveu um coluna no Globo onde ele faz uma demarcação que
> me parece fazer sentido e que para efeitos práticos é o que eu adoto.
>
>
> https://oglobo.globo.com/blogs/guga-chacra/post/2024/03/criticas-a-israel-x-antissemitismo.ghtml
>
>
>
> Eu tambem acho a reacao de Israel brutal e preocupante no aspecto
> hunanitario, mas sempre refleti o que deveria ter sido feito. Este artigo
> do David Brooks no NYT me pareceu interessante neste sentido e compartilho
> aqui também para quem tiver interesse .
>
>
>
>
> https://www.nytimes.com/2024/03/24/opinion/gaza-israel-war.html?unlocked_article_code=1.fU0.E8dH.LoZ_UqS18-_k=nytcore-ios-share=articleShare=m
>
>
>
>
>
> Em qui., 28 de mar. de 2024 15:22, Mayk Alves de Andrade <
> andrade.m...@gmail.com> escreveu:
>
>> Essa história é muito complexa, então vou me ater a alguns fatos simples.
>>
>> 1. Antissemitismo segue existindo, assim como islamofobia.
>>
>> 2. Somos contra os nazistas não porque eles erram alemães, germânicos ou
>> cristãos, mas porque fizeram atrocidade desumanas.
>>
>> 3. Existe um movimento contra Israel que não está baseado no fato de ser
>> um país judeu, mas sim pelos crimes contra a humanidade que estão
>> cometendo. Ou seja, existe uma diferença enorme entre antissemitismo e
>> antissionismo.
>>
>> 4. Ser contra os crimes de Israel não é equivalente a ser a favor do
>> Hamas. A existência do antissemitismo não justifica a existência do
>> sionismo e vice-versa.
>>
>> 5. A ideia de nação é uma invenção moderna, um mito. O nacionalismo
>> bélico, portanto, nunca é justificável. Misture a ideia de raça, nação e
>> religião em uma disputa de controle territorial ou de mercado e você terá a
>> receita perfeita para o nascimento do fascismo.
>>
>> Abraços.
>>
>> On Thu, 28 Mar 2024 at 14:00 Frode Alfson Bjørdal <
>> bjordal.fr...@gmail.com> wrote:
>>
>>> «Não é a minha dramaturgia Frode» - Caracterizei o texto que você
>>> vinculou, e supus que foi escrito por você. Não é responsável?
>>>
>>> «se desenvolveu a maior onda de antisemitismo depois da segunda guerra
>>> mundial» - Indubitavelmente, e desenvolveu-se pelas autoridades do Israel.
>>>
>>> https://fb.watch/r5m1HV1nOU/
>>>
>>> torsdag 28. mars 2024 kl. 08:33:35 UTC-3 skrev jyb:
>>>
>>> Não é a minha dramaturgia Frode, é a realidade!
>>> é importante lembrar disso no momento
>>> que depois dos ataques do Hamas a Israel
>>> em particular ligados a um festa brasileira
>>> https://www.youtube.com/watch?v=f5sI6mIBPAc
>>> se desenvolveu a maior onda de antisemitismo depois da segunda guerra
>>> mundial
>>> https://www.youtube.com/watch?v=rbfccVBo9tE
>>> JYB
>>>
>>>
>>>
>>> On Wed, Mar 27, 2024 at 7:40 PM Frode Alfson Bjørdal <
>>> bjorda...@gmail.com> wrote:
>>>
>>> Inegavelmente, mas não creio que a sua dramaturgia seja ética, dadas as
>>> circunstâncias dos dias de hoje.
>>>
>>>
>>> Professor emérito em filosofia, Universitetet i Oslo
>>>
>>> Frode Alfson Bjørdal
>>>
>>>
>>> On Wed, Mar 27, 2024 at 2:45 PM jean-yves beziau 
>>> wrote:
>>>
>>> seis milhões de judeus exterminados durante a segunda guerra mundial
>>> https://www.youtube.com/watch?v=bsTQKcHC2qg
>>> les enfants d'israël
>>> https://www.youtube.com/watch?v=Cu2Z-_aAhN8
>>> JYB
>>>
>>> --
>>> LOGICA-L
>>> Lista acadêmica brasileira dos profissionais e estudantes da área de

Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial

2024-03-29 Por tôpico jean-yves beziau
Bring their home
https://www.youtube.com/watch?v=1aIyZnFbOu0
JYB

On Fri, Mar 29, 2024 at 11:40 PM Marcelo Finger  wrote:

> Oi Walter.
>
> >>> Non sequitur. Ainda que tudo isso fosse verdade,  não seria
> justificativa para amassar palestinos inocentes só porque sao árabes.
>
> Sim, não há justificativa para amassar palestinos.  Mas o problema é em
> quem você põe a culpa.
>
> Uma coisa é culpar os que são responsáveis pelas ações militares (aka
> Governo de Israel, incluindo o 1o ministro e seu gabinete).  Outra coisa é
> dizer que o Estado (não o governo) de Israel não pode existir.  É isso que
> é ser antissionista.  É dizer que Israel não tem o direito de existir, que
> a população judaica deve ir embora "voltar para suas casa". Onde?  É uma
> crassa declaração antissemita.
>
> É um raciocínio análogo a: eu não gosto das atitudes do Brasil sob
> Bolsonaro (ou Lula, ou FHC, etc) portanto o Brasil deve parar de existir.
> Um raciocínio assim é absurdo em relação ao Brasil, por que seria aceitável
> em relação a Israel?  Por antissemitismo.
>
> []s
>
>
>
>
>
>
>
> Em qui., 28 de mar. de 2024 às 20:27, Walter Carnielli <
> walte...@unicamp.br> escreveu:
>
>> Non sequitur.
>> Ainda que tudo isso fosse verdade,  não seria justificativa para amassar
>> palestinos inocentes só porque sao árabes.
>>
>> De forma análoga, nada justifica amassar  franceses no Brasil, porque
>> eles invadiram parte do Brasil com intenções colonialistas, ou porque
>> praticaram atrocidades contra os argelinos na guerra de independência.
>>
>> Ninguém tem culpa de nascer francês. OU árabe.
>>
>> W.
>>
>>
>>
>>
>>
>>
>> Em qui., 28 de mar. de 2024 18:32, jean-yves beziau <
>> jyb.logic...@gmail.com> escreveu:
>>
>>> No centro de Jerusalém tem uma mesquita, quem colonizou quem ?
>>> O chefe desta mesquita no século passado colaborou com o Adolf Hitler.
>>> Os árabes-islâmicos colonizaram uma superfície muito grande e  nao
>>> querem dar um centímetro para os judeos
>>> https://twitter.com/HilzFuld/status/1716363395442639096
>>> São  países que praticam a escravidão (cf o Qatar), os desrespeitos  as
>>> mulheres, monarquias da capitalismo selvagem  que não favorecem a
>>> democracia.
>>> No início do estado de Israel, que era uma proposta de dois estados, que
>>> não foi aceito, os países árabes entraram em guerra contra Israel para
>>> acabar tudo desde o início.
>>> A situação atual é o resultado deste comportamento violento dos árabes
>>> contra os judeus: from the river to the sea, palestine will be jews free.
>>> Força da paz
>>> https://www.youtube.com/watch?v=bdlNDCNBZSk
>>> Shalom!
>>> JYB
>>>
>>>
>>> On Thu, Mar 28, 2024 at 7:40 PM Frode Alfson Bjørdal <
>>> bjordal.fr...@gmail.com> wrote:
>>>
>>>> andrad...@gmail.com
>>>>
>>>> Concordo completamente.
>>>>
>>>> Ademais, tem um outro ponto 0. Os palestinos são semitos.
>>>>
>>>> Consequentemente, e por causa de isso que agora «se desenvolveu a
>>>> maior onda de antisemitismo depois da segunda guerra mundial».
>>>>
>>>>
>>>> torsdag 28. mars 2024 kl. 15:22:21 UTC-3 skrev andrad...@gmail.com:
>>>>
>>>> Essa história é muito complexa, então vou me ater a alguns fatos
>>>> simples.
>>>>
>>>> 1. Antissemitismo segue existindo, assim como islamofobia.
>>>>
>>>> 2. Somos contra os nazistas não porque eles erram alemães, germânicos
>>>> ou cristãos, mas porque fizeram atrocidade desumanas.
>>>>
>>>> 3. Existe um movimento contra Israel que não está baseado no fato de
>>>> ser um país judeu, mas sim pelos crimes contra a humanidade que estão
>>>> cometendo. Ou seja, existe uma diferença enorme entre antissemitismo e
>>>> antissionismo.
>>>>
>>>> 4. Ser contra os crimes de Israel não é equivalente a ser a favor do
>>>> Hamas. A existência do antissemitismo não justifica a existência do
>>>> sionismo e vice-versa.
>>>>
>>>> 5. A ideia de nação é uma invenção moderna, um mito. O nacionalismo
>>>> bélico, portanto, nunca é justificável. Misture a ideia de raça, nação e
>>>> religião em uma disputa de controle territorial ou de mercado e você terá a
>>>> receita perfeita para o nascimento do fascismo.
>>>>
>>>> Abraços.
&

[Logica-l] [OUF ! ] [OUF ! ]

2024-03-28 Por tôpico jean-yves beziau
Já que o antisemitismo aqui é muito pesado, não vou continuar a conversa
sobre este assunto.
Estamos aqui no Brasil com a visita da Emanuellle Macrona !!!
Na Suíça, a gente gosta de fazer piadas sobre as francesas:
https://www.youtube.com/watch?v=6hXPmFHN510
parte da seria Watsoup das familias ...
JYB

-- 
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/CAF2zFLDqwhzP-x6HzNzhO5Gc9KnDWf6F8BXJ9NO7q_2Z2gjuEw%40mail.gmail.com.


[Logica-l] [OUF!] Boycott Norway to Stop Rampant Antisemitism

2024-03-28 Por tôpico jean-yves beziau
https://www.change.org/p/boycott-norway-to-stop-rampant-antisemitism

On Thu, Mar 28, 2024 at 7:40 PM Frode Alfson Bjørdal <
bjordal.fr...@gmail.com> wrote:

> andrad...@gmail.com
>
> Concordo completamente.
>
> Ademais, tem um outro ponto 0. Os palestinos são semitos.
>
> Consequentemente, e por causa de isso que agora «se desenvolveu a maior
> onda de antisemitismo depois da segunda guerra mundial».
>
>
> torsdag 28. mars 2024 kl. 15:22:21 UTC-3 skrev andrad...@gmail.com:
>
> Essa história é muito complexa, então vou me ater a alguns fatos simples.
>
> 1. Antissemitismo segue existindo, assim como islamofobia.
>
> 2. Somos contra os nazistas não porque eles erram alemães, germânicos ou
> cristãos, mas porque fizeram atrocidade desumanas.
>
> 3. Existe um movimento contra Israel que não está baseado no fato de ser
> um país judeu, mas sim pelos crimes contra a humanidade que estão
> cometendo. Ou seja, existe uma diferença enorme entre antissemitismo e
> antissionismo.
>
> 4. Ser contra os crimes de Israel não é equivalente a ser a favor do
> Hamas. A existência do antissemitismo não justifica a existência do
> sionismo e vice-versa.
>
> 5. A ideia de nação é uma invenção moderna, um mito. O nacionalismo
> bélico, portanto, nunca é justificável. Misture a ideia de raça, nação e
> religião em uma disputa de controle territorial ou de mercado e você terá a
> receita perfeita para o nascimento do fascismo.
>
> Abraços.
>
> On Thu, 28 Mar 2024 at 14:00 Frode Alfson Bjørdal 
> wrote:
>
> «Não é a minha dramaturgia Frode» - Caracterizei o texto que você
> vinculou, e supus que foi escrito por você. Não é responsável?
>
> «se desenvolveu a maior onda de antisemitismo depois da segunda guerra
> mundial» - Indubitavelmente, e desenvolveu-se pelas autoridades do Israel.
>
> https://fb.watch/r5m1HV1nOU/
>
> torsdag 28. mars 2024 kl. 08:33:35 UTC-3 skrev jyb:
>
> Não é a minha dramaturgia Frode, é a realidade!
> é importante lembrar disso no momento
> que depois dos ataques do Hamas a Israel
> em particular ligados a um festa brasileira
> https://www.youtube.com/watch?v=f5sI6mIBPAc
> se desenvolveu a maior onda de antisemitismo depois da segunda guerra
> mundial
> https://www.youtube.com/watch?v=rbfccVBo9tE
> JYB
>
>
>
> On Wed, Mar 27, 2024 at 7:40 PM Frode Alfson Bjørdal 
> wrote:
>
> Inegavelmente, mas não creio que a sua dramaturgia seja ética, dadas as
> circunstâncias dos dias de hoje.
>
>
> Professor emérito em filosofia, Universitetet i Oslo
>
> Frode Alfson Bjørdal
>
>
> On Wed, Mar 27, 2024 at 2:45 PM jean-yves beziau 
> wrote:
>
> seis milhões de judeus exterminados durante a segunda guerra mundial
> https://www.youtube.com/watch?v=bsTQKcHC2qg
> les enfants d'israël
> https://www.youtube.com/watch?v=Cu2Z-_aAhN8
> JYB
>
> --
> 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+u...@dimap.ufrn.br.
> Para acessar essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCh3-WmOrC5Q3gxGDSTQs%2BFC3zREm2O9E%3Dc%3DpC2TCEtMg%40mail.gmail.com
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCh3-WmOrC5Q3gxGDSTQs%2BFC3zREm2O9E%3Dc%3DpC2TCEtMg%40mail.gmail.com?utm_medium=email_source=footer>
> .
>
> --
> 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+u...@dimap.ufrn.br.
>
> Para acessar essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/b1125bb4-91c1-48ae-8308-0460d7975343n%40dimap.ufrn.br
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/b1125bb4-91c1-48ae-8308-0460d7975343n%40dimap.ufrn.br?utm_medium=email_source=footer>
> .
>
>

-- 
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/CAF2zFLDTR0rYbtW0jBBPtu%2BX_Atwjw-nL32qWxCj%3DbDqjAymGA%40mail.gmail.com.


Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial

2024-03-28 Por tôpico jean-yves beziau
No centro de Jerusalém tem uma mesquita, quem colonizou quem ?
O chefe desta mesquita no século passado colaborou com o Adolf Hitler.
Os árabes-islâmicos colonizaram uma superfície muito grande e  nao querem
dar um centímetro para os judeos
https://twitter.com/HilzFuld/status/1716363395442639096
São  países que praticam a escravidão (cf o Qatar), os desrespeitos  as
mulheres, monarquias da capitalismo selvagem  que não favorecem a
democracia.
No início do estado de Israel, que era uma proposta de dois estados, que
não foi aceito, os países árabes entraram em guerra contra Israel para
acabar tudo desde o início.
A situação atual é o resultado deste comportamento violento dos árabes
contra os judeus: from the river to the sea, palestine will be jews free.
Força da paz
https://www.youtube.com/watch?v=bdlNDCNBZSk
Shalom!
JYB


On Thu, Mar 28, 2024 at 7:40 PM Frode Alfson Bjørdal <
bjordal.fr...@gmail.com> wrote:

> andrad...@gmail.com
>
> Concordo completamente.
>
> Ademais, tem um outro ponto 0. Os palestinos são semitos.
>
> Consequentemente, e por causa de isso que agora «se desenvolveu a maior
> onda de antisemitismo depois da segunda guerra mundial».
>
>
> torsdag 28. mars 2024 kl. 15:22:21 UTC-3 skrev andrad...@gmail.com:
>
> Essa história é muito complexa, então vou me ater a alguns fatos simples.
>
> 1. Antissemitismo segue existindo, assim como islamofobia.
>
> 2. Somos contra os nazistas não porque eles erram alemães, germânicos ou
> cristãos, mas porque fizeram atrocidade desumanas.
>
> 3. Existe um movimento contra Israel que não está baseado no fato de ser
> um país judeu, mas sim pelos crimes contra a humanidade que estão
> cometendo. Ou seja, existe uma diferença enorme entre antissemitismo e
> antissionismo.
>
> 4. Ser contra os crimes de Israel não é equivalente a ser a favor do
> Hamas. A existência do antissemitismo não justifica a existência do
> sionismo e vice-versa.
>
> 5. A ideia de nação é uma invenção moderna, um mito. O nacionalismo
> bélico, portanto, nunca é justificável. Misture a ideia de raça, nação e
> religião em uma disputa de controle territorial ou de mercado e você terá a
> receita perfeita para o nascimento do fascismo.
>
> Abraços.
>
> On Thu, 28 Mar 2024 at 14:00 Frode Alfson Bjørdal 
> wrote:
>
> «Não é a minha dramaturgia Frode» - Caracterizei o texto que você
> vinculou, e supus que foi escrito por você. Não é responsável?
>
> «se desenvolveu a maior onda de antisemitismo depois da segunda guerra
> mundial» - Indubitavelmente, e desenvolveu-se pelas autoridades do Israel.
>
> https://fb.watch/r5m1HV1nOU/
>
> torsdag 28. mars 2024 kl. 08:33:35 UTC-3 skrev jyb:
>
> Não é a minha dramaturgia Frode, é a realidade!
> é importante lembrar disso no momento
> que depois dos ataques do Hamas a Israel
> em particular ligados a um festa brasileira
> https://www.youtube.com/watch?v=f5sI6mIBPAc
> se desenvolveu a maior onda de antisemitismo depois da segunda guerra
> mundial
> https://www.youtube.com/watch?v=rbfccVBo9tE
> JYB
>
>
>
> On Wed, Mar 27, 2024 at 7:40 PM Frode Alfson Bjørdal 
> wrote:
>
> Inegavelmente, mas não creio que a sua dramaturgia seja ética, dadas as
> circunstâncias dos dias de hoje.
>
>
> Professor emérito em filosofia, Universitetet i Oslo
>
> Frode Alfson Bjørdal
>
>
> On Wed, Mar 27, 2024 at 2:45 PM jean-yves beziau 
> wrote:
>
> seis milhões de judeus exterminados durante a segunda guerra mundial
> https://www.youtube.com/watch?v=bsTQKcHC2qg
> les enfants d'israël
> https://www.youtube.com/watch?v=Cu2Z-_aAhN8
> JYB
>
> --
> 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+u...@dimap.ufrn.br.
> Para acessar essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCh3-WmOrC5Q3gxGDSTQs%2BFC3zREm2O9E%3Dc%3DpC2TCEtMg%40mail.gmail.com
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCh3-WmOrC5Q3gxGDSTQs%2BFC3zREm2O9E%3Dc%3DpC2TCEtMg%40mail.gmail.com?utm_medium=email_source=footer>
> .
>
> --
> 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+u...@dimap.ufrn.br.
>
> Para acessar essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/b1125bb

[Logica-l] Leibniz era o filósofo favorito de Gödel porque ele achava que Leibniz estava 100% errado.

2024-03-28 Por tôpico jean-yves beziau
Gödel comentou sua conquista da seguinte forma: "Em 1678 Leibniz
reivindicou a característica universal. Em essência, ela não existe,
qualquer procedimento sistemático para resolver problemas de todos os tipos
deve ser não mecânico. Meu teorema da incompletude torna provável que a
mente não seja mecânica" (ver Hao Wang, 2016).  Leibniz era o filósofo
favorito de Gödel porque ele achava que Leibniz estava 100% errado.  Estar
100% certo é quase impossível, e estar às vezes errado, às vezes certo, é
muito fácil. Este é o estado geral de confusão da mente humana.
https://sites.google.com/view/kg-wld-2024-pt/trabalho-de-g%C3%B6del
Nesta página, estou à frente do herói russo Ostap Bender, que visitou o Rio
de Janeiro na década 1930 e foi estatuficado na frente de um dos melhores
restaurantes da cidade..
https://en.wikipedia.org/wiki/Ostap_Bender
Noam Chomsky retomou a declaração de Gödel dizendo que ele preferia ler "A
pravda" que o NYT, porque na Pravda tudo era falso.
JYB

-- 
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/CAF2zFLDGxBNmKN9b7HkV2LwfJ-tNENs45WdCfm%3DVP43QcW0BKA%40mail.gmail.com.


Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial

2024-03-28 Por tôpico jean-yves beziau
Não é a minha dramaturgia Frode, é a realidade!
é importante lembrar disso no momento
que depois dos ataques do Hamas a Israel
em particular ligados a um festa brasileira
https://www.youtube.com/watch?v=f5sI6mIBPAc
se desenvolveu a maior onda de antisemitismo depois da segunda guerra
mundial
https://www.youtube.com/watch?v=rbfccVBo9tE
JYB



On Wed, Mar 27, 2024 at 7:40 PM Frode Alfson Bjørdal <
bjordal.fr...@gmail.com> wrote:

> Inegavelmente, mas não creio que a sua dramaturgia seja ética, dadas as
> circunstâncias dos dias de hoje.
>
>
> Professor emérito em filosofia, Universitetet i Oslo
>
> Frode Alfson Bjørdal
>
>
> On Wed, Mar 27, 2024 at 2:45 PM jean-yves beziau 
> wrote:
>
>> seis milhões de judeus exterminados durante a segunda guerra mundial
>> https://www.youtube.com/watch?v=bsTQKcHC2qg
>> les enfants d'israël
>> https://www.youtube.com/watch?v=Cu2Z-_aAhN8
>> JYB
>>
>> --
>> 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/CAF2zFLCh3-WmOrC5Q3gxGDSTQs%2BFC3zREm2O9E%3Dc%3DpC2TCEtMg%40mail.gmail.com
>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCh3-WmOrC5Q3gxGDSTQs%2BFC3zREm2O9E%3Dc%3DpC2TCEtMg%40mail.gmail.com?utm_medium=email_source=footer>
>> .
>>
>

-- 
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/CAF2zFLBRF8wbn86jQbFDACXf2vCe7%3DYEyty4sZZStiH7PtTZrA%40mail.gmail.com.


[Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial

2024-03-27 Por tôpico jean-yves beziau
seis milhões de judeus exterminados durante a segunda guerra mundial
https://www.youtube.com/watch?v=bsTQKcHC2qg
les enfants d'israël
https://www.youtube.com/watch?v=Cu2Z-_aAhN8
JYB

-- 
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/CAF2zFLCh3-WmOrC5Q3gxGDSTQs%2BFC3zREm2O9E%3Dc%3DpC2TCEtMg%40mail.gmail.com.


[Logica-l] Seminário de Lógica Carioca - 27-03-2024 "Square of Opposition: Past, Present, Future"

2024-03-25 Por tôpico jean-yves beziau
Seminário mensal interuniversitário de Lógica Carioca
quarta-feira 27 de março  de 2024, 17h30
"Square of Opposition: Past, Present, Future"
Jean-Yves Beziau
https://www.rio-logic.org/2024-1.html

-- 
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/CAF2zFLA%2Bsz0_mU%3D8B3TTJW-EuCbLqFzKAdNdjLW6X9iFpYAw1g%40mail.gmail.com.


[Logica-l] The philosophy of logic of John Corcoran - LUW March 27, 4pm CET

2024-03-25 Por tôpico jean-yves beziau
Logica Universalis Webinar
March 27, 2024 at 4pm CET

Speaker: José M. Sagüillo
Department of Philosophy, University of Santiago de Compostela, Spain

Title: "The philosophy of logic of John Corcoran"
Abstract: "This talk  surveys the philosophy of logic of John Corcoran by
focusing on some of its characteristic themes: his understanding of logic
as formal epistemology articulating the ontic-epistemic distinction of
classical metaphysics, the Socratic belief-knowledge distinction, and the
Aristotelian truth-knowledge distinction; his conception of mathematical
logic as instrumental when considering mathematical logics as models of
underlying reasoning found in the practice of proof; his tireless search
for a careful and successful communication in a community of thinkers
eliminating ambiguity of key terms and embracing ethical values; his
discussion of argumentations and logic as a philosophical realization of
the previous dichotomies, allowing precise definitions of key concepts,
such as, argument, argumentation, proof, deduction, fallacy, and paradox;
finally, his recovering and articulation of the XIX century
information-theoretic conception of validity, exploring its heuristic power
in the study of omega arguments and suggesting the existence of different
paradigms of logical consequence equally entrenched in the theory and
practice of logic."
https://link.springer.com/book/9783031444609

Universal Logic, Ethics, and Truth
Essays in Honor of John Corcoran (1937-2021)
https://link.springer.com/book/9783031444609
Presented by the editors of the book: Timothy Madigan and Jean-Yves Beziau

Chair : Francesco Paoli, Editorial Board SUL

Everybody is welcome to join, register here:
https://link.springer.com/journal/11787/updates
JYB
Founder, Editor, Organizer  LU / SUL / LUW
https://philpeople.org/profiles/jean-yves-beziau

-- 
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/CAF2zFLB7N%3DQHq6ftgxjw1-NPOuu4uxPi5-Hh3xTneH%3DE9aBrPA%40mail.gmail.com.


[Logica-l] CfP - 1st Pan African Logic Congress - Cairo, Egypt, April 28-30, 2024

2024-03-21 Por tôpico jean-yves beziau
-- Deadline Extension: March 31st  -
1st Pan African Logic Congress
The logic of nature & the nature of logic in Africa
April  28–30, 2024 - The British University in Egypt, Cairo

This congress aims to promote logic in Africa. It is focused on Nature in a
double sense. Wildlife is very important in Africa, the flora and fauna are
very impressive.
This is the place where there is the highest number and variety of animals.
And for this reason, the people especially in central Africa have a strong
connection with nature.
It is the opportunity therefore to reflect on the logic of nature and to
examine to what extent it is different from the logic of the technological
and industrial world (computers, artificial intelligence, and so on).
This is a way therefore to challenge the very nature of logic. From this
perspective, logic is understood in a very wide sense and in relation to
all aspects of the world, natural and artificial.
The purpose of this event is to reveal and explore different manners of
reasoning embedded in African cults, myths, arts, religions, rituals,
economic systems, traditional justice systems, and architectural systems.
This congress  will enrich logical studies and their relative subjects like
AI through elaborating  logical interpretations of different aspects of
African cultures.

Deadline for submission of an abstract for presenting a talk: March  31st,
2024
https://africanlogiccongress.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/CAF2zFLAXgOE%2BT6-GuFsrfXCm7inANe%2BPyr6%3DTP97XZT2Z8VeFQ%40mail.gmail.com.


[Logica-l] Paraconsistent Newsletter Winter-Summer 2024

2024-03-19 Por tôpico jean-yves beziau
Just released, including an interview with João Marcos
papers, books, videos, events of interest for paraconsistentists
and a contest to win holidays on the island of inconsistency
Enjoy !
Paraconsistent Newsletter Winter-Summer-2024
https://sites.google.com/view/paranews-2024-1
Jean-Yves Beziau
Editor of the Paraconsistent Newsletter
https://philpeople.org/profiles/jean-yves-beziau

-- 
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/CAF2zFLC95thg81%3D1ZcLPraRQ0%3DUqtJDpwc4SE1HGj912rca76g%40mail.gmail.com.


[Logica-l] Hoje é o Dia do Pi !

2024-03-14 Por tôpico jean-yves beziau
Hoje é o dia  internacional da matemática,  chamado "Pi Day", porque é  dia
14 de março.
https://www.idm314.org/
Esse dia foi comemorado de maneira informal durante muitos anos.
Em 2019, o mesmo ano que o dia mundial da lógica, o Pi Day entrou no
calendário internacional da UNESCO, devido a ação da
matemática franco-canadense, Christiane Rousseau, que declarou: "A
matemática faz parte da cultura universal. Está em todos os lugares, atrás
de cada pedaço de tecnologia ao nosso redor, na forma como a sociedade está
organizada e na transição para o desenvolvimento sustentável. As
comemorações em torno do Dia Internacional da Matemática são um convite
para descobrir o poder criativo da matemática"
https://fr.wikipedia.org/wiki/Christiane_Rousseau
E tal que falou David Hilbert: "A matemática não conhece raças ou
fronteiras geográficas; para a matemática, o mundo cultural é um país só."
JYB

-- 
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/CAF2zFLBciGEF37%3DWJO0JAY48z79SHN5FwafCiSq9Bj7j8zV7Tg%40mail.gmail.com.


[Logica-l] CNPq corta 200 bolsas de pós da UFRJ

2024-03-12 Por tôpico jean-yves beziau
https://www.adufrj.org.br/index.php/pt-br/noticias/arquivo/21-destaques/5319-cnpq-corta-200-bolsas-de-pos-da-ufrj

-- 
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/CAF2zFLB40NMdS6R1z8%3D%2Bi%3Dheq%3DBPhm-44g-fBk-d93U18G03Fg%40mail.gmail.com.


[Logica-l] Stoic Sign-Inference and Their Lore of Fate / Andrew.Schumann/ LUW March 13, 4pm CET

2024-03-12 Por tôpico jean-yves beziau
Logica Universalis Webinar
March 13, 2024 at 4pm CET

Speaker: Andrew.Schumann
University of Information Technology and Management, Rzeszow, Poland

Title: "Stoic Sign-Inference and Their Lore of Fate"
Abstract: "The Stoics are traditionally regarded as the founders of
propositional logic. However, this is not entirely correct. They developed
a theory of inference from signs (omens). And their theory became a
continuation of the logical technique of Babylonian divination (in
particular, of Babylonian medical forecasting). The Stoic theory was not so
much propositional logic as it was a technique of propositional logic for
databases consisting of IF-THEN expert rules. In the Babylonian divination,
each event has a positive or negative value and all events are connected to
each other. The Stoics also developed this idea and proposed a special
modal logic in which logical determinism is considered an axiom. The paper
reconstructs the sign-inference of the Stoics, as well as their modal
logic. In particular, two Stoic squares of oppositions are proposed (for
signs and for modal operators), which differ markedly from Aristotle's
square."
https://link.springer.com/journal/11787

Organization:
Department of Cognitive Science and Mathematical Modelling
University of Information Technology and Management in Rzeszow, Poland
Presented by Jerzy Król

Chair : Srećko Kovač, Editorial Board LU

Everybody is welcome to attend, register here
https://link.springer.com/journal/11787/updates/26604532

Jean-Yves Beziau
Editor-in-Chief Logica Universalis
Organizer  Logica Universalis Webinar
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/CAF2zFLCHoAVxzu-njD7pR9KsJ6CXxz2G3WPowC8MRSchhuAKbg%40mail.gmail.com.


[Logica-l] CfP - 1º Congresso Pan-Africano de Lógica - Universidade Britânica no Egito, Cairo, 28 a 30 de abril de 2024

2024-03-07 Por tôpico jean-yves beziau
Prazo se aproximando / Deadline approaching
>-
1º Congresso Pan-Africano de Lógica
A lógica da natureza e a natureza da lógica na África
28 a 30 de abril de 2024 -  Universidade Britânica no Egito, Cairo

Este congresso visa promover a lógica na África. Está focado na Natureza em
um duplo sentido. A vida selvagem é muito importante na África, a flora e a
fauna são muito impressionantes.
Este é o lugar onde há o maior número e variedade de animais. E por esta
razão, as pessoas especialmente na África central têm uma forte conexão com
a natureza.
É a oportunidade, portanto, para refletir sobre a lógica da natureza e
examinar em que medida é diferente da lógica do mundo tecnológico e
industrial (computadores, inteligência artificial, e assim por diante).
Esta é uma maneira de desafiar a própria natureza da lógica. A partir desta
perspectiva, a lógica é entendida em um sentido muito amplo e em relação a
todos os aspectos do mundo, natural e artificial.
O objetivo deste evento é revelar e explorar diferentes modos de raciocínio
embutidos em cultos africanos, mitos, artes, religiões, rituais, sistemas
econômicos, sistemas de justiça tradicionais e sistemas arquitetônicos.
Este congresso enriquecerá os estudos lógicos e seus assuntos relativos,
como a IA, através da elaboração de interpretações lógicas de diferentes
aspectos das culturas africanas.

Prazo para submissão de resumo para apresentação de palestra: 15 de março
de 2024
https://africanlogiccongress.com/
>--
1st Pan African Logic Congress
The logic of nature & the nature of logic in Africa
April  28–30, 2024 - The British University in Egypt, Cairo

This congress aims to promote logic in Africa. It is focused on Nature in a
double sense. Wildlife is very important in Africa, the flora and fauna are
very impressive.
This is the place where there is the highest number and variety of animals.
And for this reason, the people especially in central Africa have a strong
connection with nature.
It is the opportunity therefore to reflect on the logic of nature and to
examine to what extent it is different from the logic of the technological
and industrial world (computers, artificial intelligence, and so on).
This is a way therefore to challenge the very nature of logic. From this
perspective, logic is understood in a very wide sense and in relation to
all aspects of the world, natural and artificial.
The purpose of this event is to reveal and explore different manners of
reasoning embedded in African cults, myths, arts, religions, rituals,
economic systems, traditional justice systems, and architectural systems.
This congress  will enrich logical studies and their relative subjects like
AI through elaborating  logical interpretations of different aspects of
African cultures.

Deadline for submission of an abstract for presenting a talk: March 15, 2024
https://africanlogiccongress.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/CAF2zFLB6evnQY9f%3DBT_W2UjbToT5DBCd%3Dfgb9CxE8ZwJS%3DCkDg%40mail.gmail.com.


[Logica-l] CfP - 1º Congresso Pan-Africano de Lógica - Universidade Britânica no Egito, Cairo, 28 a 30 de abril de 2024

2024-03-07 Por tôpico jean-yves beziau
Prazo se aproximando / Deadline approaching
>-
1º Congresso Pan-Africano de Lógica
A lógica da natureza e a natureza da lógica na África
28 a 30 de abril de 2024 -  Universidade Britânica no Egito, Cairo

Este congresso visa promover a lógica na África. Está focado na Natureza em
um duplo sentido. A vida selvagem é muito importante na África, a flora e a
fauna são muito impressionantes.
Este é o lugar onde há o maior número e variedade de animais. E por esta
razão, as pessoas especialmente na África central têm uma forte conexão com
a natureza.
É a oportunidade, portanto, para refletir sobre a lógica da natureza e
examinar em que medida é diferente da lógica do mundo tecnológico e
industrial (computadores, inteligência artificial, e assim por diante).
Esta é uma maneira de desafiar a própria natureza da lógica. A partir desta
perspectiva, a lógica é entendida em um sentido muito amplo e em relação a
todos os aspectos do mundo, natural e artificial.
O objetivo deste evento é revelar e explorar diferentes modos de raciocínio
embutidos em cultos africanos, mitos, artes, religiões, rituais, sistemas
econômicos, sistemas de justiça tradicionais e sistemas arquitetônicos.
Este congresso enriquecerá os estudos lógicos e seus assuntos relativos,
como a IA, através da elaboração de interpretações lógicas de diferentes
aspectos das culturas africanas.

Prazo para submissão de resumo para apresentação de palestra: 15 de março
de 2024
https://africanlogiccongress.com/
>--
1st Pan African Logic Congress
The logic of nature & the nature of logic in Africa
April  28–30, 2024 - The British University in Egypt, Cairo

This congress aims to promote logic in Africa. It is focused on Nature in a
double sense. Wildlife is very important in Africa, the flora and fauna are
very impressive.
This is the place where there is the highest number and variety of animals.
And for this reason, the people especially in central Africa have a strong
connection with nature.
It is the opportunity therefore to reflect on the logic of nature and to
examine to what extent it is different from the logic of the technological
and industrial world (computers, artificial intelligence, and so on).
This is a way therefore to challenge the very nature of logic. From this
perspective, logic is understood in a very wide sense and in relation to
all aspects of the world, natural and artificial.
The purpose of this event is to reveal and explore different manners of
reasoning embedded in African cults, myths, arts, religions, rituals,
economic systems, traditional justice systems, and architectural systems.
This congress  will enrich logical studies and their relative subjects like
AI through elaborating  logical interpretations of different aspects of
African cultures.

Deadline for submission of an abstract for presenting a talk: March 15, 2024
https://africanlogiccongress.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/CAF2zFLD_09hht%3D4HdUfo7mLJK%3DPU3jEgnMRSVqWAkfK8ZsD4eg%40mail.gmail.com.


[Logica-l] קורט גדל: מת ביום ההיגיון העולמי

2024-03-01 Por tôpico jean-yves beziau
קורט גדל: מת ביום ההיגיון העולמי
https://sites.google.com/view/kg-wld-2024-il

-- 
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/CAF2zFLD%3DD2FNQtx2RGc3pY5a0hapQXC9OY80DjN%3DKsy0Lfqrsg%40mail.gmail.com.


[Logica-l] On the transitivity of Logical Consequence without Assuming Monotonicity - Lin Chen and Xuefeng Wen - Logica Universalis Webinar. February 28, 2024 at 4pm CET

2024-02-26 Por tôpico jean-yves beziau
---
Logica Universalis Webinar
February 28, 2024 at 4pm CET
-
Speakers:   Lin Chen  and Xuefeng Wen
Institute of Logic and Cognition, Sun Yat-sen University, Guangzhou, China
Title "On the transitivity of Logical Consequence without Assuming
Monotonicity"
Abstract  "We generalize Ripley’s results on the transitivity of consequence
relation, without assuming a logic to be monotonic. Following
Gabbay, we assume nonmonotonic consequence relation to be inclusive
and cautious monotonic, and figure out the implications between different
forms of transitivity of logical consequence. Weaker frameworks
without inclusiveness or cautious monotonicity are also discussed. The
paper may provide basis for the study of both non-transitive logics and
nonmonotonic ones."
https://link.springer.com/article/10.1007/s11787-024-00345-3

Organization:
Institute of Logic and Cognition, Sun Yat-sen University, Guangzhou, China
presented by its director Hu Liu

Chair : Caroline Pires Ting, International Relations of LUA (Logica
Universalis Association)

Everyone is welcome to join, register here:
https://link.springer.com/journal/11787/updates/26604532
JYB, Editor-in-Chief, Logica Universalis and Organizer Logica Universalis
Webinar
https://philpeople.org/profiles/jean-yves-beziau

-- 
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/CAF2zFLAfQf%2BEq%2B4RVufJXscVGKencWSSfhDPw9%2B1N04AJzbaUQ%40mail.gmail.com.


[Logica-l] X Congresso Latino-Americano de Semiótica - 2 a 5 de julho de 2024, São Paulo

2024-02-25 Por tôpico jean-yves beziau
« Semiótica do futuro, futuro da semiótica »
https://fels.prpg.usp.br/
Deadline para submissão de trabalho: 10 de março de 2024

-- 
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/CAF2zFLCqGRDJrdGZku5r%3D-%3DK3yLoNUO%2BSDLxJJ5zHfMhXdvgbA%40mail.gmail.com.


[Logica-l] LoCa 2024 - Variety of Cubes of Opposition - Claudio Pizzi - 21/02/2024 17h30

2024-02-19 Por tôpico jean-yves beziau
SEMINÁRIO INTERUNIVERSITÁRIO DE LÓGICA CARIOCA 2024-1
Cada mês nos encontramos no Rio de Janeiro para discutir de lógica
Organizadores: Jean-Yves Beziau e Kherian Gracher (PPGF / UFRJ)
https://www.rio-logic.org/2024-1.html

"Variety of Cubes of Opposition"
Claudio E:A: Pizzi, University of Siena, Italy

Quarta-feira 21 de fevereiro 17h30
Sala Celso Lemos, IFCS, UFRJ
Largo São Francisco de Paula 1
Rio de Janeiro, Centro

-- 
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/CAF2zFLDrCP5LkiYO_f05tBi4YJDJrOC%2BhWYBN_hDw%2B9Emh_aFg%40mail.gmail.com.


[Logica-l] 1º Congresso Pan-africano de Lógica - Universidade Britânica no Egito, Cairo, 28 a 30 de abril de 2024

2024-02-15 Por tôpico jean-yves beziau
Depois de SALOME 1 (the 1st South American LOgic MEeting)
estou lançando este ano um outro congresso continental de lógica: na África
Esta é a sétima série  de eventos de lógica que estou lançando depois de:
UNILOG, SQUARE, LiQ, WoCoLoR, WLD, SALOME.
Como disse o Baron Chambourcy du Miaou: "Dans un monde sans logique, ce qui
domine c'est la folie, ou, au mieux, la bêtise."
https://sites.google.com/view/miaou-rio/proverbs
JYB
>-
1º Congresso Pan-africano de Lógica
A lógica da natureza e a natureza da lógica na África
28 a 30 de abril de 2024 -  Universidade Britânica no Egito, Cairo

Este congresso visa promover a lógica na África. Está focado na Natureza em
um duplo sentido. A vida selvagem é muito importante na África, a flora e a
fauna são muito impressionantes.
Este é o lugar onde há o maior número e variedade de animais. E por esta
razão, as pessoas especialmente na África central têm uma forte conexão com
a natureza.
É a oportunidade, portanto, para refletir sobre a lógica da natureza e
examinar em que medida é diferente da lógica do mundo tecnológico e
industrial (computadores, inteligência artificial, e assim por diante).
Esta é uma maneira de desafiar a própria natureza da lógica. A partir desta
perspectiva, a lógica é entendida em um sentido muito amplo e em relação a
todos os aspectos do mundo, natural e artificial.
O objetivo deste evento é revelar e explorar diferentes modos de raciocínio
embutidos em cultos africanos, mitos, artes, religiões, rituais, sistemas
econômicos, sistemas de justiça tradicionais e sistemas arquitetônicos.
Este congresso enriquecerá os estudos lógicos e seus assuntos relativos,
como a IA, através da elaboração de interpretações lógicas de diferentes
aspectos das culturas africanas.

Prazo para submissão de resumo para apresentação de palestra: 15 de março
de 2024
https://africanlogiccongress.com/
>--
1st Pan African Logic Congress
The logic of nature & the nature of logic in Africa
April  28–30, 2024 - The British University in Egypt, Cairo

This congress aims to promote logic in Africa. It is focused on Nature in a
double sense. Wildlife is very important in Africa, the flora and fauna are
very impressive.
This is the place where there is the highest number and variety of animals.
And for this reason, the people especially in central Africa have a strong
connection with nature.
It is the opportunity therefore to reflect on the logic of nature and to
examine to what extent it is different from the logic of the technological
and industrial world (computers, artificial intelligence, and so on).
This is a way therefore to challenge the very nature of logic. From this
perspective, logic is understood in a very wide sense and in relation to
all aspects of the world, natural and artificial.
The purpose of this event is to reveal and explore different manners of
reasoning embedded in African cults, myths, arts, religions, rituals,
economic systems, traditional justice systems, and architectural systems.
This congress  will enrich logical studies and their relative subjects like
AI through elaborating  logical interpretations of different aspects of
African cultures.

Deadline for submission of an abstract for presenting a talk: March 15, 2024
https://africanlogiccongress.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/CAF2zFLDpDJ9stGiSCKOrvrNLHawAqVQuzpbbVrTkQzGJ3O-1JA%40mail.gmail.com.


[Logica-l] LUW Feb 14, 4pm CET - Should We Embrace Impossible Worlds Due to the Flaws of Normal Modal Logic?

2024-02-12 Por tôpico jean-yves beziau
Logica Universalis Webinar
February 14, 2024 at 4pm CET

Speaker: Til Eyinck
https://petrarca.phil-fak.uni-koeln.de/mitarbeiterinnen/til-eyinck
Petrarca Institute, Faculty of Philosophy, University of Cologne, Germany

Title: "Should We Embrace Impossible Worlds Due to the Flaws of Normal
Modal Logic?"
Abstract  "Some philosophers advance the claim that the phenomena of
logical omniscience and of the indiscernibility of metaphysical statements,
which arise in (certain) interpretations of normal modal logic, provide
strong reasons in favour of impossible world approaches. These two specific
lines of argument will be presented and discussed in this paper. Contrary
to the recent much-held view that the characteristics of these two
phenomena provide us with strong reasons to adopt impossible world
approaches, the view defended here is that no such ‘knock-down arguments’
do emanate on those grounds. This is not to rule out that there cannot be
any other good reasons for assuming impossible world semantics. However,
the discussion of a further argument for impossible worlds will suggest
that different attempts to argue for them likely present intertwined
problems."
https://link.springer.com/article/10.1007/s11787-024-00344-4

Organization to be presented before the talk:
Junior Research Group: Women in Focus. Rethinking Philosophy and History of
Mathematics and Physics
https://www.uni-siegen.de/fb6/phima/women/?lang=de
presented by Jasmin Özel
https://jasminozel.com/

Chair : Ahti-Veikko Pietarinen
https://rel.hkbu.edu.hk/people/pietarinen-ahti-veikko
Hong Kong Baptist University
Editorial Board LU

Everybody is welcome to join, register here:
https://cassyni.com/s/logica-universalis/seminars
JYB
Editor-in-Chief LU and  LUW Organizer
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/CAF2zFLBe_T9tVSWkzhtrw9sTZnZgAVfB7LMxBJ6uGzbxfMiwmg%40mail.gmail.com.


[Logica-l] SALOME 1 - UNILOG 2025 - SALOME 2

2024-01-25 Por tôpico jean-yves beziau
SALOME 1 no Peru foi um grande sucesso, todo mundo adorou o lugar:
https://www.salome2024.org/pics
Este foi ao mesmo tempo um evento-teste para organizar o 8º UNILOG lá em
dezembro de 2025 e o lançamento de uma nova série de eventos para promover
a lógica na América do Sul.  A localização do SALOME 2 já foi decidida:
será Valparaíso, no Chile, em 2027.
JYB

-- 
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/CAF2zFLAVeyZ%3Dds%3DMs8THJEhdhQGgehVcyGk%3DsqE%3Deb7PFgxHhw%40mail.gmail.com.


[Logica-l] LARA CELEBRATION OF THE WORLD LOGIC DAY ​- January 25, 2024, 4pm CET (Paris - Geneva - Rome)

2024-01-24 Por tôpico jean-yves beziau
The 6th edition of the World Logic Day is the opportunity to reflect on the
activities (past, present, and future) and goals of LARA (Logic And
Religion Association) with some of its main actors. The LARA celebration
will be a round table, each participant giving a short talk and, after
that, there will be an animated interactive discussion with the audience.
Speakers:
Agnieszka Rostalska (Ghent University, Belgium)
Anand Vaidya (San José State University, USA)
Jean-Yves Beziau (University Brazil,  Rio de Janeiro)
Marcin Trepczyński (University of Warsaw, Poland)
Caroline Pires Ting (Federal University of Rio de Janeiro and Macau
International Institute)
Francisco de Assis Mariano (University of Missouri-Columbia, USA)
Everybody is welcome to attend, register here:
https://www.logicandreligion.com/webinars
JYB, Vice President of LARA

-- 
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/CAF2zFLB%2BppdgZ0a-2irPYOLfJ0qPRuUzVrm-hGbMPFN6Bd0vTA%40mail.gmail.com.


[Logica-l] SALOME 1 - celebration of the 6th edition of the World Logic Day - Sunday 14 at 4pm CET

2024-01-14 Por tôpico jean-yves beziau
LUA celebration of the 6th edition of the World Logic Day
within SALOME 1 : the first South American LOgic MEeting
https://www.salome2024.org/
from Cusco, Peru at 4pm CET Sunday January14
Round Table with
Luis Felipe Alegre, Jasmin Özel, Juan Redmond, Philip Welch
Everybody is welcome to attend, register here:
cassyni.com/events/8F3t2AJXMw4H8ioiuRgFkq
>--
Jean-Yves Beziau
President of LUA and creator of the World Logic Day

-- 
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/CAF2zFLDLr0H-CgkdjNDjx%3DMjm5Hg2yWUSym9L5ZMJD%2Bkg4Pxnw%40mail.gmail.com.


[Logica-l] Acontecendo: SALOME 1 - the 1st South American LOgic MEeting

2024-01-13 Por tôpico jean-yves beziau
Nosso evento
SALOME 1 :  the 1st South American LOgic MEeting,
está indo muito bem com a participação de pessoas da América do Sul e do
mundo inteiro
no ambiente bem descontraído da cidade ensolarada de Cusco, Peru.
Hoje vamos começar o dia com três palestras bem interessantes:
Jasmin Özel (Alemanha), "Antilogism in Ladd-Franklin"
Nina Auras (Brasil), "Hegel’s critique on language formalization"
Ulrich Meyer (Estados Unidos), "Against Impossibilia"
mais na frente no dia vamos ter as palestras
Carolyn Talcott (Estados Unidos), "Rewriting modulo constraints: proof
methods for verifying rewriting logic models of cyberphysical systems"
Philip Welch (inglaterra), "Free subsets of first order structures"
e amanhã a comemoração do dia mundial da lógica
bem na praça central de Cusco no lugar que foi a residência dos reis incas.
https://www.salome2024.org/
JYB

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


[Logica-l] 5 X seguidas no nivel mais baixo do CNPq / prêmio Nobel no Brasil

2024-01-10 Por tôpico jean-yves beziau
Esses dias fiquei em contato com a ex  embaixadora do Brasil na Unesco que
me apoiou para ter o dia da lógica no calendário, meu falou isso:
"Mon Cher, lindo seu Baron de Miaou. Também adorei sua seleção de músicas
onde se ouvem instrumentos indígenas (flauta, pau de chuva). Estou agora em
Estocolmo e logo pretendo visitar a academia do prêmio Nobel. É incrível
que um país como o Brasil não tenha nenhum prêmio, concorda? Forte abraço."
Recentemente fui pela quinta vez seguida classificado no nível mais baixo
do CNPq. Antes de vir para o Brasil, era pesquisador no mais alto nível na
Suiça, pais, que tem  que tem a mais alta proporção de prêmios Nobel do
mundo relativamente à população. Então não acredito que o Brasil no
futuro tem qualquer chance de ter prêmio Nobel.

-- 
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/CAF2zFLAvS4SsibViK%2BE3ovkBGqU1i%2BB0Rp7GBp75Xa%3DSDq5cgQ%40mail.gmail.com.


[Logica-l] [OUF] Porque negar a possibilidade de Israel existir ?

2024-01-10 Por tôpico jean-yves beziau
https://www.youtube.com/watch?v=KImIqJqK4VQ

-- 
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/CAF2zFLCyGw-XMw_2aAwGhiKqeHa0VEx%3DUBPJanvKY-g6cpNKTg%40mail.gmail.com.


[Logica-l] Курт Гьодель: Помер у Всесвітній день логіки!

2024-01-03 Por tôpico jean-yves beziau
https://sites.google.com/view/kg-wld-2024-ua/%D0%BB%D0%B0%D1%81%D0%BA%D0%B0%D0%B2%D0%BE-%D0%BF%D1%80%D0%BE%D1%81%D0%B8%D0%BC%D0%BE
A sociedade de lógica ucraniana foi fundada dia 14 de janeiro de 2019,
na ocasião do primeiro Dia Mundial da Lógica
http://logic.net.ua/ULS
Na sequência foi criado o prêmio ucraniano de lógica.
Conheci Mykola Nikitchenko no UNILOG'2013 no Rio de Janeiro,
 o maior evento de lógica já organizado no Brasil com a participação de
Jonathan Seldin, Yuri Gurevich, Hiroakira Ono, Gila Sher,  Mike Dunn,
Sun-Joo Shin, Arnon Avron, Sara Negri, Newton da Costa,  e muitos outros:
http://www.uni-log.org/enter-rio
Como falou o Barão Chambourcy do Miaou:
"Dans un monde sans logique
ce qui domine c'est la folie
ou, au mieux, la bêtise"
https://sites.google.com/view/miaou-rio/proverbs
JYB

-- 
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/CAF2zFLCDEuUC9xhO5o76zpjNAjWq5XhC7h2Di_QELbgvkq0c-A%40mail.gmail.com.


[Logica-l] Paraconsistent Newsletter Fall-Spring 2023

2023-12-20 Por tôpico jean-yves beziau
Just released, including an interview with Luis Felipe Bartolo Alegre
papers, books, videos, events of interest for paraconsistentists
and a contest to win holidays on the island of inconsistency
Enjoy !
Paraconsistent Newsletter Fall-Spring-2023
https://sites.google.com/view/paranews-2023-4/
Jean-Yves Beziau
Editor of the Paraconsistent Newsletter
https://philpeople.org/profiles/jean-yves-beziau

-- 
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/CAF2zFLBC5vMuuTX8i6j-g%3D1jB1uOSvXiOLem2DbHBCN%2BhMtNpQ%40mail.gmail.com.


[Logica-l] Remembering Gödel - Sami Al-Suwailem

2023-12-16 Por tôpico jean-yves beziau
mself in a dilemma: Either he could prove
every true statement, in which case he would become inconsistent. Or he
shall maintain consistency but then he will fail to prove some true
statements.

Back on Earth, the Logician had the impression that logic was complete: If
*A* was not provable, then its negation, ~*A*, must be provable. He read
somewhere about “Gödel’s Theorem,” published a millennium ago, but he
thought the Theorem had only a marginal value and no practical relevance.

To resolve this dilemma, the Logician decided to use the advanced
time-travel technology designed by the Centaurians, and traveled back 1000
years, to the year 1931, to meet the Great Master Kurt Gödel. Gödel has
just published his incompleteness paper. “Herr Gödel,” said the Logician.
“Can you explain to me this dilemma?”

The Master then carefully and clearly explained to him that the logical
system of Alpha Centauri is a rich mathematical system. Such systems are
incomplete. The citizen’s statement is analogous to the sentence Gödel has
just discovered: “This sentence is not provable.” The sentence shows that
there will be true sentences formulated in the language of the system that
are not provable within the system.

“The way out of the dilemma,” said the Master while relaxing on his chair,
“is to be humble and admit that you cannot prove all truths. Truth extends
infinitely beyond the boundaries of reason.” He then leaned forward on his
chair and said in no uncertain words: “The ultimate wisdom, my friend, is
to remain forever undecided about your own consistency.”

Awed by the words of the Master, the Logician stood up and said, “Thank
you, indeed, Herr Gödel.” As he was leaving, he assured the Master, “For
the rest of my life, I promise you it will be my quest to search for the
inexhaustible truth anywhere in the vast Universe and beyond.”
World Logic Day

On 26 November 2019, the 40th General Conference of UNESCO
<http://redirect.medium.systems/r-Bd13KtHAU6?source=email-abefec78165a-1702712485780-newsletter.subscribeToProfile-958e3104_a7a4_4bbe_a559_09a784ab865d658b697caa93>
proclaimed 14 January of every year to be World Logic Day. The
proclamation, made in association with the International Council for
Philosophy and Human Sciences (CIPSH
<http://redirect.medium.systems/r-QYyOGgt0Wb?source=email-abefec78165a-1702712485780-newsletter.subscribeToProfile-958e3104_a7a4_4bbe_a559_09a784ab865d658b697caa93>),
intends to bring intellectual history, conceptual significance, and
practical implications of logic to the attention of interdisciplinary
science communities and the broader public.

The architect of World Logic Day is Jean-Yves Beziau
<http://redirect.medium.systems/r-KwR9HnAWE-?source=email-abefec78165a-1702712485780-newsletter.subscribeToProfile-958e3104_a7a4_4bbe_a559_09a784ab865d658b697caa93>,
a Swiss Logician, Philosopher, and Mathematician. Beziau, a Professor at
the University of Brazil in Rio de Janeiro, has also served as a
Coordinator of Graduate Studies in Philosophy and President of the
Brazilian Academy of Philosophy.
[image: Jean-Yves Beziau. Source: philpeople.org.]
[image: Jean-Yves Beziau. Source: philpeople.org.]
Jean-Yves Beziau. Source: philpeople.org.

As he explains
<http://redirect.medium.systems/r-ngZNp9ETOn?source=email-abefec78165a-1702712485780-newsletter.subscribeToProfile-958e3104_a7a4_4bbe_a559_09a784ab865d658b697caa93>,
Beziau’s inspiration for World Logic Day arose nearly 15 years ago upon
realizing the convergence of two important dates in the history of logic:
the death of Kurt Gödel on 14 January 1978, and the birth of Alfred Tarski
<http://redirect.medium.systems/r-rz7c_Cx-R4?source=email-abefec78165a-1702712485780-newsletter.subscribeToProfile-958e3104_a7a4_4bbe_a559_09a784ab865d658b697caa93>
on 14 January 1901. Tarski is considered one of the greatest logicians of
the twentieth century, often regarded as second only to Gödel.
Acknowledging the profound contributions of the two giants, there was a
compelling reason to commemorate 14 January as a day of global recognition
for the field.

Though Gödel’s earthly tenure has concluded, his intellectual legacy is as
alive as ever. His profound insights into mathematics, science, and
philosophy continue to shine, like a candle that once burned to reveal some
of the most significant discoveries ever conceived by the human mind.
References

   - Budiansky, S. (2021). *Journey to the Edge of Reason. *W.W. Norton.
   - Dawson, J. (1997). *Logical Dilemmas: The Life and Work of Kurt Gödel.*
   A.K. Peters.
   - Dyson, F. (2013). A walk through Johnny von Neumann’s garden. *Notices
   of the AMS*, 60, 154–161.
   - Smullyan, R. (1982). *The Lady or The Tiger?* Times Book.
   - Smullyan, R. (1987). *Forever Undecided: A Puzzle Guide to Gödel. *Alfred
   Knopf.
   - 

[Logica-l] TEFILLA (SHMOR NA ALEINU)

2023-12-15 Por tôpico jean-yves beziau
Ofra Haza /  Chile
https://www.youtube.com/watch?v=KImIqJqK4VQ
JYB

Eduardo Ochs Tue, 21 Nov 2023 02:30:30 -0800

Oi todos,

a "Open Letter" que o Arnon Avron divulgou tem esse trecho aqui,

  And it is simply impossible to understand the support that a
  fanatical, cruel and murderous organization like Hamas is getting
  from people who call themselves "progressive" and who pretend to
  care about human rights

e eu acabei de me tocar de que isso tem TUDO A VER com um assunto que
várias pessoas em torno de mim discutiram muito na época dos protestos
de 2013 e 2014. O Arnon Avron usou a expressão "impossible to
understand", mas vou chamá-lo de "nada justifica".

Em 2013 teve uma manifestação de acho que uns 10 professores no
Centro do Rio, e durante essa manifestação algumas pessoas picharam
paredes. Nos dias - e semanas, e meses - que se seguiram a gente viu
que várias pessoas em torno da gente achavam que "nada justifica"
alguém pichar uma parede, e a quando a gente tentava descobrir o grau
do "nada justifica" dessas pessoas a gente encontrava um muro de
irracionalidade... aqui tem alguns exemplos de graus:

  1) se uma pessoa numa manifestação de 10 professores picha uma
 parede todos os professores nela automaticamente perdem a razão,
 e todas as demandas deles se tornam inválidas;

  2) se uma pessoa numa manifestação de 10 professores picha uma
 parede todos os professores nela automaticamente passam a merecer
 ser espancados pela polícia;

  3) idem, e além disso todos passam a merecer ser demitidos e
 torturados;

  4) idem, e além disso eu vou fazer o possível pra identificá-los e
 denunciá-los tanto pra polícia quanto pra grupos de extermínio;

  5) idem, e além disso eu vou fazer o possível pra torturá-los
 pessoalmente.

Então, as pessoas do "nada justifica [uma pichação]" não conseguiam
explicar o grau de "nada justifica" delas, e tinha outras coisas que a
gente achava muito mais grave do que pichação e que elas achavam muito
menos... por exemplo, eu lembro de uma conversa com uma irmã minha -
com a qual eu tou brigado há anos - na qual eu perguntei pra ela algo
tipo "e diretores de hospitais que desviam 90% dos recursos do
hospital?" e ela disse que esses "têm que ser julgados".

Então, o Arnon Avron disse "it is simply impossible to understand". E
se Fulano conta pra gente que ele entende e dá uma explicação muito
boa? Então não é tão impossible to understand assim, né? Algumas
pessoas understandam... e se Beltrano nos explica super lucidamente
porque ele acha que naquele protesto de professores uma pichação era
algo aceitável? Então não é bem "nada justifica", né? Algumas pessoas
conseguem justificar muito bem... e aí a gente vê que na verdade
"impossible to understand" e "nada justifica" são truques de
linguagem, que querem dizer "eu me recuso a entender", "eu me recuso a
ser racional nesse assunto", e "eu acho que a gente tem que tratar
esse assunto de forma irracional"...

(...)

...e se a gente quiser discutir os problemas dos argumentos tipo
"impossible to understand" e "nada justifica" a gente pode comparar
vários deles, como por exemplo matar inocentes e pichar paredes.

  =/,
Eduardo

-- 
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/CAF2zFLAz4%2BXrqRgzm95yC%2BcTCkbSR2JpYEMdJY%3DfZdVt-agnZg%40mail.gmail.com.


[Logica-l] Incas 3 commandments - SALOME 1

2023-12-15 Por tôpico jean-yves beziau
Incas had 3 commandments:
- don’t steal
- don’t lie
- don’t be lazy
SALOME 1
https://www.salome2024.org/
JYB

-- 
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/CAF2zFLA%3DzZ8rUSYHSfmai_9kjbJO30tAuHvn1LczrE6OH2sV1A%40mail.gmail.com.


[Logica-l] Hoje, dia 14 de dezembro, é o dia mundial dos macacos!

2023-12-14 Por tôpico jean-yves beziau
https://www.nationaldaycalendar.com/national-day/monkey-day-december-14
... é daqui um mês, dia 14 de janeiro, vai ser o dia mundial dos seres
humanos:
Kurt Gödel: Morreu no Dia Mundial da Lógica ! Entrevista com Jean-Yves
Beziau por Caroline Pires Ting
Esta entrevista já foi publicada  em 11 línguas:
https://www.logica-universalis.org/wld6
Quem adivinha de quem é a estátua na página "Gödel 's work" ganha uma
viagem para Triffoully-les-Oies!
JYB

-- 
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/CAF2zFLA62gBnKZJuiPAP%2B-YyYegk3ELrRw5TaPxJyYzjFhJ5%3DA%40mail.gmail.com.


[Logica-l] Hoje ao meio-dia : Julio Stern no LUW - Dynamic Oppositional Symmetries for Color, Jungian and Kantian Categories

2023-12-13 Por tôpico jean-yves beziau
The  next Logica Universalis Webinar session will be December 13 at 4pm CET
Paris-Geneva-Rome
>---
Speaker: Julio Michael  Stern, University of São Paulo, Brazil
Title:  "Dynamic Oppositional Symmetries for Color, Jungian and Kantian
Categories"
Abstract: This paper investigates some classical oppositional categories,
like synthetic vs. analytic, posterior vs. prior, imagination vs. grammar,
metaphor vs. hermeneutic, metaphysics vs. observation, innovation vs.
routine, and image vs. sound, and the role they play in epistemology and
philosophy of science. The epistemological framework of objective cognitive
constructivism is of special interest in these investigations. Oppositional
relations are formally represented using algebraic lattice structures
like the cube and the hexagon of opposition, with applications
in the contexts of modern color theory, Kantian philosophy, Jungian
psychology, and linguistics.
https://www.springer.com/journal/11787/
>-
Associated organization/project:
World Logic Day - 6th Edition
https://www.logica-universalis.org/wld6
presented by  Jean-Yves Beziau
>--
Chair: Ioannis Vandoulakis, Vice-President  LUA  (Logica Universalis
Association)
https://www.logica-universalis.org/LUAD
>
Everybody is welcome to join, register here:
https://cassyni.com/s/logica-universalis/seminars
Jean-Yves Beziau
Editor-in-Chief Logica Universalis / Organizer LUW

-- 
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/CAF2zFLDfM4ovhnv5w22s0aPSh98MH%3D6s0XK3Zs%3DXgRwgF_Bdww%40mail.gmail.com.


[Logica-l] LUW December 13 - Julio Stern - Dynamic Oppositional Symmetries for Color, Jungian and Kantian Categories

2023-12-12 Por tôpico jean-yves beziau
The  next Logica Universalis Webinar session will be Wednesday December 13
at 4pm CET Paris-Geneva-Rome
>---
Speaker: Julio Michael  Stern, University of São Paulo, Brazil
Title:  "Dynamic Oppositional Symmetries for Color, Jungian and Kantian
Categories"
Abstract: This paper investigates some classical oppositional categories,
like synthetic vs. analytic, posterior vs. prior, imagination vs. grammar,
metaphor vs. hermeneutic, metaphysics vs. observation, innovation vs.
routine, and image vs. sound, and the role they play in epistemology and
philosophy of science. The epistemological framework of objective cognitive
constructivism is of special interest in these investigations. Oppositional
relations are formally represented using algebraic lattice structures
like the cube and the hexagon of opposition, with applications
in the contexts of modern color theory, Kantian philosophy, Jungian
psychology, and linguistics.
https://www.springer.com/journal/11787/
>-
Associated organization/project:
World Logic Day - 6th Edition
https://www.logica-universalis.org/wld6
presented by  Jean-Yves Beziau
>--
Chair: Ioannis Vandoulakis, Vice-President  LUA  (Logica Universalis
Association)
https://www.logica-universalis.org/LUAD
>
Everybody is welcome to join, register here:
https://cassyni.com/s/logica-universalis/seminars
Jean-Yves Beziau
Editor-in-Chief Logica Universalis / Organizer LUW

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


[Logica-l] The Logical Nature of Paradise / Visions of the Afterlife

2023-12-04 Por tôpico jean-yves beziau
Plenary talk at the on-line conference
Visions of the Afterlife,  7th December 2023
https://amu.edu.pl/en/welcome-center/upcoming-events/visions-of-the-afterlife-an-online-conference
Open to everybody !
JYB

-- 
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/CAF2zFLA--WvO%3D5%3DW-ttQaSwDN7FHYO4uUWewSbdPDD-4QHyjhQ%40mail.gmail.com.


[Logica-l] Colóquio "O que é o Pensamento?" - PPGF/UFRJ

2023-11-29 Por tôpico jean-yves beziau
O QUE É O PENSAMENTO?

Evento Presencial no PPGF/IFCS/UFRJ
Largo São Francisco de Paula 1, Centro, Rio de Janeiro
30 de novembro  & 1 de dezembro de 2023
https://sites.google.com/view/pensamento2023/col%C3%B3quio

Todo mundo é  bem vindo !
>---
Prof. Dr.  Dr.  Jean-Yves Beziau
Programa de Pós-Graduação em Filosofia - PPGF
Departamento de Filosofia, Universidade Federal do Rio de Janeiro

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


[Logica-l] William Troiani - The internal logic and finite colimits - LUWebinar - November 29 at 4pm CET

2023-11-28 Por tôpico jean-yves beziau
The next session of the Logica Universalis Webinar will be November 29 at
4pm CET (Paris-Geneva-Rome)
>-
Speaker: William Troiani
https://williamtroiani.github.io/
Title:  "The internal logic and finite colimits"
Abstract: We describe how  finite colimits can be described using the
internal language, also known as the Mitchell-Benabou language, of a
topos, provided the topos admits countably in finite colimits. This
description
is based on the set theoretic definitions of colimits and coequalizers,
however the translation is not direct due to the di erences between
set theory and the internal language, these differences are described as
*internal* versus *external*. Solutions to the hurdles which thus arise are
given.
https://www.springer.com/journal/11787/

Associated organization/project:
LoVe: Logic and Verification
https://lipn.univ-paris13.fr/love-en/
presented by  Morgan Rogers

Chair: Roberto Giuntini, Editorial Board LU
https://people.unica.it/alophis/members/giuntini-roberto/

Everybody is welcome to join, register here:
https://cassyni.com/s/logica-universalis/seminars
Jean-Yves Beziau
Editor-in-Chief Logica Universalis
Organizer LUW
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/CAF2zFLDgtonvznupEQ-Wv-26U-8PYHqJ3QtvsBvtVmnnW5eS_w%40mail.gmail.com.


[Logica-l] Kurt Gödel: Morreu no Dia Mundial da Lógica !

2023-11-27 Por tôpico jean-yves beziau
Entrevista com Jean-Yves Beziau por Caroline Pires Ting:
https://sites.google.com/view/kg-wld-2024-pt
 ... e quem adivinha de quem é a estátua na página "Trabalho de Gödel",
ganha uma viagem a Trifouilly-les Oies!
JYB

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


[Logica-l] Special Issue: Rejection Logic - Logica Universalis. Volume 17, Issue 4 is now available online.

2023-11-16 Por tôpico jean-yves beziau

If this email is not displayed correctly, please click here

to read this table of contents online.

New Issue Alert 16 November 2023

Dear Reader,
We are pleased to deliver your requested table of contents alert for Logica
Universalis. Volume 17, Issue 4
is
now available online.
Special Issue: Rejection Logic
[image: Logica Universalis cover image]


In this issue

Preface to the Rejection Special Issue

Alex Citkin, Alexei Muravitsky
» Abstract

» Full text HTML

» Full
text PDF


[image: Open Access]
Complementary Proof Nets for Classical Logic

Gabriele Pulcini, Achille C. Varzi
» Abstract

» Full text HTML

» Full
text PDF

[Logica-l] Morphisms between Aristotelian Diagrams by Alex De Klerck, LUWebinar, Nov 15, 4pm, Paris-Geneva-Rome

2023-11-13 Por tôpico jean-yves beziau
The next session of the Logica Universalis Webinar will be November 15 at
4pm CET (Meio dia em Brasília)
>
Speaker:  Alexander De Klerck,  KU Leuven, Belgium
Title  "Morphisms between Aristotelian Diagrams"
Abstract: In logical geometry, Aristotelian diagrams are studied in a
precise and systematic way. Although there has recently been a good
amount of progress in logical geometry, it is still unknown which underlying
mathematical framework is best suited for formalizing the study of
these diagrams. Hence, in this paper, the main aim is to formulate such
a framework, using the powerful language of category theory. We build
multiple categories, which all have Aristotelian diagrams as their objects,
while having different kinds of morphisms between these diagrams.
The categories developed here are assessed according to their ability to
generalize previous work from logical geometry as well as their interesting
category-theoretical properties. According to these evaluations,
the most promising category has as its morphisms those functions on
fragments that increase in informativity on both the opposition and
implication
relations. Focusing on this category can significantly increase
the effectiveness of further research in logical geometry.
https://www.springer.com/journal/11787/

Associate organization/project:
STARTDIALOG  (ERC project) - Towards a Systematic Theory of Aristotelian
Diagrams in Logical Geometry
https://www.lorenzdemey.eu/startdialog
presented by its director Lorenz Demey

Chair: Srećko Kovač, Editorial Board LU

Everybody is welcome to join, register here:
https://cassyni.com/s/logica-universalis/seminars
Jean-Yves Beziau
Editor-in-Chief Logica Universalis
Organizer Logica Universalis Webinar
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/CAF2zFLAmuo-5H9waBx8319%2Be_RTE9nLAyp-MB7NBRvJL_K5fRQ%40mail.gmail.com.


[Logica-l] Lógica Carioca 16-11-2023 - Décio Krause: "O que é a identidade?"

2023-11-12 Por tôpico jean-yves beziau
Na próxima  quinta feira, dia 16  de novembro, vamos ter uma sessão do
seminário lógica carioca no IFCS-UFRJ às 17h sala Celso Lemos.
Décio Krause: "O que é a identidade?"
https://www.rio-logic.org/2023-1.html
>---
Prof. Dr.  Dr.  Jean-Yves Beziau
Programa de Pós-Graduação em Filosofia - PPGF
Departamento de Filosofia, Universidade Federal do Rio de Janeiro

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


[Logica-l] A noção de antilogia

2023-10-18 Por tôpico jean-yves beziau
Amanhã no  seminário  de lógica carioca: palestra no IFCS  de
Luiz  Felipe Bellintani Ribeiro
 "A noção de antilogia"
https://www.rio-logic.org/2023-1.html
>---
Prof. Dr.  Dr.  Jean-Yves Beziau
Programa de Pós-Graduação em Filosofia - PPGF
Departamento de Filosofia, Universidade Federal do Rio de Janeiro
https://philpeople.org/profiles/jean-yves-beziau

-- 
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/CAF2zFLDuoVnpr4_6cn5g6bud%2BfQ_7YiXEMtbYB0sT6Hywi8h0A%40mail.gmail.com.


[Logica-l] LUW October 18 / A Study of the Metatheory of Assertoric Syllogistic

2023-10-18 Por tôpico jean-yves beziau
Speaker: Maristela Rocha
Title: A Study of the Metatheory of Assertoric Syllogistic
Abstract: We show how a semantics based on Aristotle’s texts and ecthetic
proofs can be reconstructed. All truth conditions are given by means of set
inclusion. Perfect syllogisms reveal to be valid arguments that deserve a
validity proof. It turns out of these proofs that transitivity of set
inclusion is the necessary and sufficient condition for the validity and
perfection of a syllogism. The proofs of validity for imperfect syllogisms
are direct proofs without conversion in a calculus of natural deduction.
Transitivity of set inclusion turns out to be a necessary condition for the
validity of imperfect syllogisms. As a consequence, it can be established
what the main metalogical difference between a perfect and an imperfect
syllogism is. The validity of the laws of conversion is also obtained by
direct proofs. Finally, it is shown that and explained why some imperfect
syllogisms satisfy the definition of a perfect syllogism.
https://link.springer.com/article/10.1007/s11787-023-00331-1

Associate Organization:
Salzburg Logic Group
presented by Paul Weingartner

Everybody is welcome, register here:
https://cassyni.com/events/J7zLqCj8jjDFFXD8TEe1WM
Jean-Yves Beziau
Editor-in-Chief LU and organizer of LUW

-- 
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/CAF2zFLCqBM2-3WesrN-fr0i-viJp91th0c7bwH7RQNkwzTP0Ug%40mail.gmail.com.


[Logica-l] Carnap’s Problem for Intuitionistic Propositional Logic

2023-10-02 Por tôpico jean-yves beziau
Um novo excelente artigo foi recentemente publicado na revista MDPI
*Logics* :
"Carnap’s Problem for Intuitionistic Propositional Logic"
https://www.mdpi.com/2813-0405/1/4/9
Aproveite!
Jean-Yves Beziau
Conceituador e membro do corpo editorial de "Logics"
Why *Logics?*
https://www.mdpi.com/2813-0405/1/3/7

-- 
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/CAF2zFLBj0NvNwaQ1UsLRXoLFf0FUvTqEvUQkdV12vSkaXs2a-A%40mail.gmail.com.


[Logica-l] LUW Oct 4, 2023 - Complementary Proof Nets for Classical Logic by Gabriele Pulcini

2023-10-02 Por tôpico jean-yves beziau
The next session of the Logica Universalis Webinar will be Wednesday
October 4 at 4pm CET

Speaker: Gabriele Pulcini,   University of Rome Tor Vergata, Italy
Title: Complementary Proof Nets for Classical Logic
Abstract: A complementary system for a given logic is a proof system whose
theorems are exactly the formulas that are not valid according to the logic
in question. This article is a contribution to the complementary proof
theory of classical propositional logic. In particular, we present a
complementary proof-net system, CPN, that is sound and complete with
respect to the set of all classically invalid (one-side) sequents. We also
show that cut elimination in CPN enjoys strong normalization along with
strong confluence (and, hence, uniqueness of normal forms).
https://link.springer.com/article/10.1007/s11787-023-00337-9

Presentation of the special issue or Logica Universalis on Rejection
by Alex Citkin
https://www.springer.com/journal/11787/
Workshop at the 7th World Congress and School on Universal Logic
100 Years of Refutation in Logic
https://sites.google.com/view/unilog-2022/7th-congress/workshops/100-years-of-refutation

Chair: Ioannis Vandoulakis
Vice-President of LUA (Logica Universalis Organization)
http://www.logica-universalis.org/LUAD <http://logica-universalis.org/LUAD>

Everyone is welcome to attend, register here:
https://www.springer.com/journal/11787/updates/23910922
Jean-Yves Beziau
Editor-in-Chief Logica Universalis
Organizer of the  Logica Universalis Webinar
http://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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCVcd3vO11HHP2SWA%3DgvLFs%3DzU8AQi43e453pqGwkkBJQ%40mail.gmail.com.


[Logica-l] SALOME 1 - The 1st South American Logic Meeting - Extended Deadline: October 4th

2023-09-27 Por tôpico jean-yves beziau
SALOME 1 :  the 1st South American LOgic MEeting, will take place in Cusco,
Peru, January 12-15, 2024. It will be the inaugural meeting of the South
American Logic Association. This is part of a project to develop logic in
all its aspects  (historical, philosophical, mathematical, computational,
semiotical) in South America that started in 2015 with the launch of the
South American Journal of Logic.

SALOME 1 is organized jointly with the Peruvian Society for Epistemology
and Logic - SEPLO,  member of LUA (Logica Universalis Association), also
supporting the event. The event will include the celebration on January 14,
2024 of the 6th edition of the WORLD LOGIC DAY, launched by LUA in 2019 and
recognized by UNESCO the same year.

KEYNOTE SPEAKERS: Manuel Correia (Santiago, Chile), Pedro Zambrano (Bogotá,
Colombia), Ana Clara Polakof (Montevideo, Uruguay), Marcelo Coniglio
(Campinas, Brazil), Phillip Welch (Bristol, UK), Jasmin Özel (Siegen,
Germany), Juan Redmond (Valparaiso, Chile), Caroline Pires Ting (Rio de
Janeiro, Brazil and Macao), Javier Legris (Buenos Aires,
Argentina), Carolyn Talcott (Menlo Park, USA), Rodrigo López Orellana
(Salamanca, Spain),Jean-Yves Beziau (Rio de Janeiro, Brazil).

CALL FOR PAPERS: Talks  related to any aspects of logic, from scholars from
all over the world, are welcome.
Send a one page abstract (in English, Spanish or Portuguese) by October 4th
to sal...@sa-logic.org.  Notification by October 12th.
After the congress, a selection of full papers will be published in the
South American Journal of Logic

SALOME 1
https://www.salome2024.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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLDJD951suqzv__MQLvPAnptui%2BCAmvQWd1KgdGuH6--3A%40mail.gmail.com.


[Logica-l] Logica Universalis - ToC Alert - Volume 17, Issue 3 - 2023

2023-09-25 Por tôpico jean-yves beziau

If this email is not displayed correctly, please click here

to read this table of contents online.

New Issue Alert 23 September 2023

Dear Reader,
We are pleased to deliver your requested table of contents alert for Logica
Universalis. Volume 17, Issue 3
is
now available online.
[image: Logica Universalis cover image]

In this issue

[image: Open Access]
Ultravaluations and their Applications in

 *CPL*
Krzysztof A. Krawczyk, Bożena Piȩta
» Abstract

» Full text HTML

» Full
text PDF


Rooted Hypersequent Calculus for Modal Logic *S5*

Hamzeh Mohammadi, Mojtaba Aghaei
» Abstract

» Full text HTML

» Full
text PDF

[Logica-l] Lógica Carioca 21-09-2023 - Maria Martinez + Michael Burton

2023-09-19 Por tôpico jean-yves beziau
Esta quinta feira, dia 21 de setembro, vamos ter uma sessão do seminário
lógica carioca com duas palestras:
17h - Ignorância, insight e compreensão científica
María del Rosario Martínez-Ordaz, PPGF, UFRJ, Brasil
18h - Decollapsing and the unification of paradox
Michael Burton, Dept of Philosophy, Yale University, USA
http://www.rio-logic.org/
JYB

-- 
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/CAF2zFLCSQ0aohLvWfPUFZszTd-3AThJzu_4Yx8h7U8CM3QaqFg%40mail.gmail.com.


[Logica-l] LUW Sept 20, 2023 - On Consequence and Rejection as Operators by Alexei Muravitsky

2023-09-19 Por tôpico jean-yves beziau
The next session of the Logica Universalis Webinar will be Wednesday 20 at
4pm CET

Speaker: Alexei Muravitsky  Northwestern State University, Natchitoches, USA
Title: On Consequence and Rejection as Operators
Abstract: This paper is devoted to the concepts of consequence and
rejection, formulated as operators on a nonempty set of sentences, which
may initially be unstructured. One of the issues that we pay attention to
is the “cyclicity” of these concepts when they are defined one through the
other. In addition, we explore this cyclicity, when the set of all
sentences acquires some structure, or we can assume some structure of
sentences in the sense that the operation of substitution can be applied to
them.
https://link.springer.com/article/10.1007/s11787-023-00334-y

Presentation of the special issue or Logica Universalis on Rejection
editors Alexei Muravitsky and Alex Citkin
Workshop at the 7th World Congress and School on Universal Logic
100 Years of Refutation in Logic
https://sites.google.com/view/unilog-2022/7th-congress/workshops/100-years-of-refutation

Chair: Ioannis Vandoulakis
Vice-President of LUA (Logica Universalis Organization)
http://www.logica-universalis.org/LUAD <http://logica-universalis.org/LUAD>

Everyone is welcome to attend, register here:
https://cassyni.com/s/logica-universalis/seminars/
Jean-Yves Beziau
Editor-in-Chief Logica Universalis
Organizer of the  Logica Universalis Webinar

-- 
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/CAF2zFLBZWpnKwAwrn--8PSm8JKtySgH_YRr%2BrA6P9t19PBjJRg%40mail.gmail.com.


[Logica-l] 94 anos de Newton da Costa

2023-09-16 Por tôpico jean-yves beziau
Hoje é o aniversário de Newton da Costa, nascido dia 16 de setembro de 1929.
Dia 16 de setembro de 2019 comemoramos os 90 anos dela na USP
https://sites.google.com/view/nca90/welcome
A seguir organizamos em homenagem a ele  em dezembro de 2019 um grande
congresso internacional sobre a criatividade no Rio de Janeiro
https://sites.google.com/view/creativity2019/
incluindo um show do Gilberto Gil na Academia Brasileira de Filosofia
https://sites.google.com/view/creativity2019/abf30
Criei em 2014 o prêmio Newton da Costa de lógica  que foi o ponto de
partida para organizar outros prêmios de lógica no mundo
tais que o prêmio Alfred Tarski de Lógica na Polônia e o Premia Aristóteles
de Lógica na Grécia, isso levando ao* Word Logic Prizes Contest *e o *World
Logic Day*
*"*Logic Prizes et Cætera"
https://link.springer.com/article/10.1007/s11787-018-0215-6
A obra principal de Newton da Costa merece ser mais conhecida no Brasil
*Ensaio sobre os fundamentos da lógica*
https://www.amazon.com.br/Ensaio-Sobre-os-Fundamentos-L%C3%B3gica/dp/8527101823
Fiz a tradução em francês
*Logiques classiques et non classiques: Essai sur les fondements de la
logique *
https://www.amazon.fr/Logiques-classiques-non-fondements-logique/dp/2225852472
JYB

-- 
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/CAF2zFLAShL8Xy8URnNop-wabu%2BtS-U%2Bm77EMt%3DROnuhFYb3aOQ%40mail.gmail.com.


[Logica-l] SALOME 1 - Cusco, Peru, January 12-15, 2024

2023-09-14 Por tôpico jean-yves beziau
SALOME 1 :  the 1st South American LOgic MEeting, will take place in Cusco,
Peru, January 12-15, 2024. It will be the inaugural meeting of the South
American Logic Association. This is part of a project to develop logic in
all its aspects  (historical, philosophical, mathematical, computational,
semiotical) in South America that started in 2015 with the launch of the
South American Journal of Logic.

SALOME 1 is organized jointly with the Peruvian Society for Epistemology
and Logic - SEPLO,  member of LUA (Logica Universalis Association), also
supporting the event. The event will include the celebration on January 14,
2024 of the 6th edition of the World Logic Day, launched by LUA in 2019 and
recognized by UNESCO the same year.

Talks  related to any aspects of logic, from scholars from all over the
world, are welcome.
Send a one page abstract (in English, Spanish or Portuguese) by September
21st to sal...@sa-logic.org.  Notification by October 1st.
After the congress, a selection of full papers will be published in the
South American Journal of Logic

SALOME 1
https://www.salome2024.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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLC5e7nnd5y7M8Lw04DDAVSJih4EqNPcah86obk8X3Xd_w%40mail.gmail.com.


[Logica-l] Józef Maria Bocheński: celebration of his birthday at the Logica Universalis Webinar, August 30 at 4pm CET

2023-08-29 Por tôpico jean-yves beziau
The next session of the Logica Universalis Webinar will be Wednesday August
30 at 4pm CET.
We will celebrate the 121th anniversary of  Józef Maria Bocheński:
https://en.wikipedia.org/wiki/J%C3%B3zef_Maria_Boche%C5%84ski

Speaker: Edward Świderski  (University of Fribourg, Switzerland)
Talk: Józef Maria Bocheński: biography, frames of mind and attitudes,
logical philosophy, how to live long and well, and why faith matters

Presentation of the book "The Lvov-Warsaw School. Past and Present"
https://link.springer.com/book/10.1007/978-3-319-65430-0
which includes two chapters on Bocheński
by   Urszula Wybraniec-Skardowska (Cardinal Stefan Wyszyński University in
Warsaw, Warsaw, Poland)
and Jan Woleński (Jagiellonian University in Krakow and the University of
Information Technology and Management in Rzeszow, Poland)

Chair:  Sayantan Roy
Assistant Editor Logica Universalis

Everybody is welcome to attend, register here
https://cassyni.com/s/logica-universalis/seminars/

Jean-Yves Beziau
Series Editor - Studies in Universal Logic
http://www.logica-universalis.org/sul

-- 
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/CAF2zFLAtcX7Pb4WhOXXumHk70-EUwZLdvEV3gdcXw7JT-S%2BVmQ%40mail.gmail.com.


[Logica-l] LUW August 23, Chai Wah Wu. On rearrangement inequalities for triangular norms and co-norms in multi-valued logic

2023-08-22 Por tôpico jean-yves beziau
The next session of the Logica Universalis Webinar will be Wednesday
August 23 at 4pm CET.

Speaker:  Chai Wah Wu
IBM Research / T. J. Watson Research Center, New York
Title:  On rearrangement inequalities for triangular norms and co-norms in
multi-valued logic
Abstract: The rearrangement inequality states that the sum of products of
permutations of 2 sequences of real numbers are maximized when the terms
are similarly ordered and minimized when the terms are ordered in opposite
order. We show that similar inequalities exist in algebras of multi-valued
logic when the multiplication and addition operations are replaced with
various T-norms and T-conorms respectively. For instance, we show that the
rearrangement inequality holds when the T-norms and T-conorms are derived
from Archimedean copulas.
https://link.springer.com/article/10.1007/s11787-023-00332-0

Associate Organization:
Theory of Computation and Information Group IBM Watson Research Center
presented by its manager Ken Clarkson

Chair:  Sayantan Roy
Assistant Editor Logica Universalis

Everybody is welcome to attend.
https://www.springer.com/journal/11787/updates/23910922

Jean-Yves Beziau
Editor-in-Chief Logica Universalis
Organizer Logica Universalis Webinar

-- 
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/CAF2zFLD%2BRht%2BcJ_A2NKqJVOqUfe4pHyea1CjevVmaA%2BHGGcdiw%40mail.gmail.com.


[Logica-l] CONTRADICTION IN ISLAMIC PHILOSOPHY AND MYSTICISM / LARAWebinar August 17 at 4pm CET

2023-08-15 Por tôpico jean-yves beziau
The next session of the Logic and Religion Webinar (LARAW) will be August
17 at 4pm CET

Title: CONTRADICTION IN ISLAMIC PHILOSOPHY AND MYSTICISM
Speaker:  Mohammad Jafar Jame Bozorgi (Iranian Institute of Philosophy,
Iran)
Abstract: In their works, Graham Priest and Richard Routley try to show a
kind of refusal to deny the contradiction and even display the truth of
some of them. According to them, dialetheism is a reaction against
philosophical systems whose goal has always been to build impenetrable and
rigid forms and frameworks. But what is the opinion of Islamic philosophy?
In Islamic philosophy and mysticism, especially in Ibn Arabi's mysticism
and Mulla Sadra's philosophy, there are doctrines and theories that have
caused some philosophers to suspect that they are contradictory. In this
lecture, I will show that theories such as the Unity of Existence, the
Plurality of Divine Names and Attributes, the Ontological Foundation of
Existence, the Substantive Movement, etc., do not correspond to
dialetheism. Although Mulla Sadra's theory of the Substantive Movement
denies any fixed nature for the object, there is a great difference between
the negation of the quiddity and the denial of the originality of the
quiddity.

Chair:  Ali Sadegh Daghighi (Iranian Institute of Philosophy, Iran)

Everybody is welcome to attend, register here:
https://www.logicandreligion.com/webinars
Jean-Yves Beziau
Vice-President of LARA - Logic And Religion Association
Co-organizer of LARAW

-- 
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/CAF2zFLBb6j%3DP8zpGch-rwtMdNjXEng%3Dm8g2ug4iw1yQReLnnMA%40mail.gmail.com.


[Logica-l] SALOME 1

2023-07-26 Por tôpico jean-yves beziau
SALOME 1 :  The 1st South American Logic Meeting will take place in Cusco,
Peru, January 12-15, 2024.
https://www.salome2024.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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLATNTWm9LfYVZEiJ2XRQK7DCMu%3D_n_8nLV15qBHJ_POMA%40mail.gmail.com.


[Logica-l] Symbolic Logic and Religious Symbolism, Sinaia, Sept 3-8, 2023 - CfP - Final Deadline July 24

2023-07-22 Por tôpico jean-yves beziau
Workshop organized by Jean-Yves Beziau and Caroline Pires Ting
Federal University of Rio de Janeiro (Brazil) and Logica Universalis
Association (Geneva, Switzerland)
Part of the 4th World Congress on Logic and Religion, Sinaia, Sept 3-8, 2023
Keynote Speaker: Franziska Kohlt (University of Leeds, UK and University of
Southern California, USA)
Title of the talk:  "Lewis Carroll's Logic and Religion"

CALL FOR PAPERS
On the one hand symbolism is important in most religions, on the other hand
modern logic is often characterized as symbolic.
This workshop, part of WoCoLoR4, explores the relation between these two
symbolic approaches.
Suggested topics include - but are not limited to - the following:
> Boole's symbolic mathematical notation in logic and abstract religious
notions
> Zoroastrianism's dualism, Pythagoras's table of opposites, Trinity
Christian triangle, Islamic geometrical objects and the theory of
oppositions
> Yin/Yang and the notion of complementary contradiction
> the symbolism of the cross, crucifixion, negation and abnegation
> Venn symbolic logic, Venn diagrams and their application for
understanding  religious phenomena
> the universal quantifier and catholicism as a religion for all
>  is the existential quantifier really symbolizing existence?
> Cabala symbolism and logic in Alice's Adventures in Wonderland by Charles
Dodgson, aka Lewis Carroll, deacon in the Church of England and symbolic
logician
> logical "interpretation" of Gödel's proof of the existence of God in
symbolic logic

Submit a one page abstract by July 24
Religious Symbolism and Symbolic Logic, Sinaia, Sept 3-8, 2023
https://sites.google.com/view/symbol-relog

-- 
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/CAF2zFLA-4gCNnb6HXY_2WXJdTGeMAop_VGZ7QfA9ad7F0V%3DjtA%40mail.gmail.com.


[Logica-l] LUW session, July 19, G.Shtakser, Odessa, Epistemic Logics with Quantification Over Epistemic Operators

2023-07-17 Por tôpico jean-yves beziau
The next session of the Logica Universal Webinar will be July 19 at 4pm CET
(Paris, Geneva, Rome).

Speaker:  Gennady Shtakser, Odessa National Academy of Communications,
Odessa, Ukraine
Title: Epistemic Logics with Quantification Over Epistemic Operators:
Decidability and Expressiveness
 https://link.springer.com/article/10.1007/s11787-023-00330-2

Associate Organization: Ukrainian Logic Society (member of LUA)
presented by its president Mykola Nikitchenko

Chair: Carlos Caleiro
Editorial Board LU

Everybody is welcome to attend, register here:
https://www.springer.com/journal/11787/updates/23910922
>-----
Jean-Yves Beziau, Editor-in-Chief Logica Universalis & Organizer of the
Logica Universalis Webinar
President of LUA (Logica Universalis Association), Geneva, Switzerland
http://www.logica-universalis.org/LUAD

-- 
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/CAF2zFLBiV%2BpD67Rrba9nz_yszmu8B_wgVzxOSeXF%3DKfa8bn_Fg%40mail.gmail.com.


[Logica-l] LUW July 12 - Rooted Hypersequent Calculus for Modal Logic S5 by Hamzeh Mohammad

2023-07-11 Por tôpico jean-yves beziau
Dear Colleagues

The next session of the Logica Universalis Webinar will be Wednesday July
12 at 4pm CET (Paris, Geneva, Rome)
with the  talk "Rooted Hypersequent Calculus for Modal Logic S5"  by Hamzeh
Mohammadi
presenting a paper recently published in LU:
https://link.springer.com/article/10.1007/s11787-023-00328-w

And as usual we will have the presentation of a logic association related
to the talk/speaker in view of the activities of LUA to promote logic
worldwide.
For this session we are glad to have the presentation of the Iranian
Association for Logic by  its president Hamed Bastin.
And the chair of the session will be Musa Akrami, Azad University, Tehran,
Iran, member of the editorial board of the journal Logica Universalis.

Everybody is welcome to attend, register here
https://cassyni.com/s/logica-universalis/seminars/
>----
Jean-Yves Beziau
Editor-in-Chief Logica Universalis
President of LUA (Logica Universalis Association), Geneva, Switzerland
http://www.logica-universalis.org/LUAD

-- 
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/CAF2zFLC%2BypNdKqoO1LJuxDAAzQEoq-X1Aqd5%2B9NxD0Lt9D4p_Q%40mail.gmail.com.


[Logica-l] LOGIC JOURNALS - SCOPUS 2-YEAR IMPACT FACTOR – JULY 2023

2023-07-10 Por tôpico jean-yves beziau
(01) 1.53 Journal of Philosophical Logic (Springer)  Qualis CAPES A1
(02) 1.07 Logica Universalis (Birkhäuser)   Qualis CAPES A1
(03) 1.01 Logic Journal of the IGPL (Oxford / Gabbay)  Qualis CAPES A1
(04) 0.84 Journal of Logic, Language and Information (Springer)
(05) 0.83 Annals of Pure and Applied Logic (Elsevier)
(05) 0.83 Journal of Logic and Computation (Oxford /  Gabbay)
(07) 0.79 Journal of Mathematical Logic (World Scientific)
(08) 0.73 Journal of Applied Non-Classical Logics  (Taylor and Francis)
(09) 0.70 Journal of Symbolic Logic (Cambridge / ASL)
(09) 0.70 Studia Logica  (Springer)
(11) 0.64 Informal Logic (Canada)
(11) 0.64 Notre Dame Journal of Formal Logic (Notre Dame, USA)
(13) 0.57 Review of Symbolic Logic (Cambridge /  ASL)
(14) 0.55 Bulletin of Symbolic Logic (Cambridge / ASL )
(15) 0.54 Journal of Applied Logic (College Publications  / Gabbay)
(16) 0.52 Algebra and Logic (Springer / Russian Academy of Science)
(17) 0.50 Bulletin of the Section of Logic (U.Lodz, Poland)
(18) 0.49 History and Philosophy of Logic (Taylor and Francis)
(19) 0.46 Logic and Logical Philosophy (U.Torun, Poland)
(20) 0.41 Archive for Mathematical Logic (Springer)
(21) 0.38 Mathematical Logic Quarterly (Wiley)
(22) 0.26 Logique et Analyse (Logic Association, Belgium)
(23) 0.22 Logical Investigations (Academy of Science, Moscow, Russia)
(24) 0.20 Journal of Logic Analysis (U.Carnegie Mellon / ASL)
(25) 0.15 Reports on Mathematical Logic  (U. Krakow, Poland)

-- 
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/CAF2zFLBFid9zK%2BcwnZ3FgVgwcWRAtgz%3D-TLru9DCuAkuSOeXYA%40mail.gmail.com.


[Logica-l] Why Logics?

2023-07-05 Por tôpico jean-yves beziau
I am glad to announce the recent publication of the paper
"Why* Logics?" *in the new MDPI journal * LOGICS*
https://www.mdpi.com/2813-0405/1/3/7

In section 4, entitled "Birth of the Journal *Logics*",  I tell how I
suggested to MDPI launching  a new journal named "Logics" (it was two years
ago in July 2021) and how this journal was created.
In this paper, I explain what the motivation to have a journal with such a
name was and how we can understand the plural of "logic".
This is the opportunity to develop a reflection about  the meaning and
importance of logic.
Nice to see, following other projects I have launched, such as the World
Logic Day, that logic is becoming more and more influential.

Jean-Yves Beziau
Professor of Logic at the Federal University of Rio de Janeiro, Brazil
President of the Logica Universalis Association, Geneva, Switzerland
https://philpeople.org/profiles/jean-yves-beziau

-- 
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/CAF2zFLDbcoxPS8M9p_Sy40PGFu%2BJX8cHG6%3DsTOM6Og8t8PaReQ%40mail.gmail.com.


[Logica-l] THE ULTIMATE-UNSPEAKABLE PARADOX AND THE PRINCIPLE OF NON-CONTRADICTION

2023-07-04 Por tôpico jean-yves beziau
THE ULTIMATE-UNSPEAKABLE PARADOX AND THE PRINCIPLE OF NON-CONTRADICTION
>From Lao Zi and Aristotle to a Holistic Double-Reference Vantage Point
Bo Mou, San Jose State University, CA, USA

Logic And Religion Webinar, July 6, 2023, 4pm CET
Everybody is welcome to attend, register here:
https://www.logicandreligion.com/webinars

Jean-Yves Beziau
Vice-President of LARA
Logic And Religion Association

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


[Logica-l] Kherian Gracher - O que é uma negação? 29 de junho 17h IFCS-UFRJ - Seminário de Lógica Carioca

2023-06-27 Por tôpico jean-yves beziau
Próxima sessão do Seminário de Lógica Carioca:
Kherian Gracher (FAPERJ  / PPGF / UFRJ)
"O que é uma negação?"
Quinta-feira 29 de junho às 17h,
IFCS-UFRJ, Sala Celso Lemos
http://www.rio-logic.org/2023-1.html
>---
Prof. Dr.  Dr.  Jean-Yves Beziau
Programa de Pós-Graduação em Filosofia - PPGF
Departamento de Filosofia, Universidade Federal do Rio de Janeiro
https://philpeople.org/profiles/jean-yves-beziau

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


[Logica-l] Ultravaluations and their Applications in Classical Propositional Logic - LUWebinar, June 28, 4pm CET

2023-06-26 Por tôpico jean-yves beziau
Wednesday June 28, at 4pm CET (Paris-Geneva-Rome), we will have one more
session of the Logica Universalis Webinar (LUW).
--
Speaker: Krzysztof A. Krawczyk, Jagiellonian University, Kraków, Poland
Title: Ultravaluations and their Applications in Classical Propositional
Logic
Abstract:  This paper introduces the construct of an ultravaluation
inspired by the well-known ultraproduct. Basic properties and exemplary
applications of this notion are shown: for compactness and definability
theorems. We also use ultravaluations to check failure of compactness and
undefinability.
https://link.springer.com/article/10.1007/s11787-023-00329-9

Associate Organization: Kraków Logic Group and  CLoCk, presented by Tomasz
Kowalski
Chair: Eunsuk Yang, Editorial Board LU

Everybody is welcome to attend, register here.
https://cassyni.com/s/logica-universalis/seminars/

Jean-Yves Beziau
Editor-in-Chief Logica Universalis
Organizer Logica Universalis Webinar
https://philpeople.org/profiles/jean-yves-beziau

-- 
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/CAF2zFLBckiv_ZkHYgdGHXfxVd0UO9UwJMpgFmgwA7%2ByfSM2LEA%40mail.gmail.com.


[Logica-l] Tese de Church - LUW / Wikipédia / SEP / IEP

2023-06-18 Por tôpico jean-yves beziau
A gravação da sessão do Logica Universalis Webinar do dia 14 de junho de
2023 (120 anos do nascimento do Alonzo Church) está agora disponível aqui:
The Decision Problem for Effective Procedures
https://cassyni.com/s/logica-universalis/seminars/archive
A sessão com a participação de dois alunos de Alonzo Church foi bem
interessante e mostrou que ainda tem boa quantidade de coisas a esclarecer
em torno da tese de Church.
Aqui o artigo da Wikipédia em português sobre este assunto:
https://pt.wikipedia.org/wiki/Tese_de_Church-Turing
Aproveito para incentivar todo mundo a fazer doação para a Wikipédia neste
momento que  Jimmy Wales está pedindo.
Já fiz a minha, ver a seguir. A Wikipédia é um projeto muito importante
para a humanidade desenvolvendo comunicação e compreensão e
também favorecendo a opção do opcional (doar é opcional), saindo da
dicotomia obrigação / proibição.
A entrada da SEP escrita por Jack Copeland também é muito boa.
Tem um link para ela na entrada Wikipédia que funciona como um primeiro
passo reorientando para artigos mais especializados.
https://plato.stanford.edu/entries/church-turing/
Na IEP ainda não há, mas enquanto editor de lógica desta, vou produzir.
Já temos uma boa entrada sobre Lambda Calculi (incluindo uma parte sobre
esta tesa):
https://iep.utm.edu/lambda-calculi/
JYB
---
Prezado Jean-Yves,
Muito obrigada por doar R$ XX,00 para apoiar a Wikipédia e um mundo onde o
conhecimento é gratuito para todos.
Cada doação nos ajuda a melhorar o acesso das pessoas às informações
precisas e confiáveis, especialmente em um mundo em rápida mudança. Fico
muito grata pelo seu apoio para permitir que bilhões de pessoas
experimentem o dom do conhecimento através da Wikipédia.
Estamos determinados a estender esse acesso o máximo possível para garantir
que, não importa onde você nasceu ou onde você mora, a capacidade de
acessar o conhecimento livre esteja sempre ao seu alcance. Espero que você
continue a nos apoiar na construção de um futuro onde a Wikipédia exista em
todos os lugares, com pessoas em todo o mundo contribuindo para a soma de
todos os conhecimentos.
Agradeço uma vez mais por apoiar esta missão notável! É um privilégio fazer
parte do maior projeto colaborativo da história da humanidade. A Wikipédia
sempre pertencerá a você.
Com gratidão,
Maryana
Maryana Iskander
CEO, Wikimedia Foundation
https://pt.wikipedia.org/wiki/Maryana_Iskander

-- 
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/CAF2zFLAn6fYjVbgYSF1Zq_7kL%2BqJPNk6k2ycyS1k-um7ukTv7Q%40mail.gmail.com.


[Logica-l] Paraconsistent Newsletter Spring-Fall 2023

2023-06-15 Por tôpico jean-yves beziau
Just released including an interview with Elena Ficara,
and papers, books, videos, events of interest for paraconsistentists
Enjoy !
Paraconsistent Newsletter Spring-Fall 2023
https://sites.google.com/view/paranews-2023-2
Jean-Yves Beziau
Editor of the Paraconsistent Newsletter

-- 
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/CAF2zFLAB%2BJDKnVBWQukaUxvVeM73zerMCGDLDB%3DgHPHO%3DoXdCg%40mail.gmail.com.


[Logica-l] Hoje às 11h de Brasília, celebração de 120 anos de Alonzo Church

2023-06-14 Por tôpico jean-yves beziau
The Decision Problem for Effective Procedures - Celebration of the 120th
anniversary of Alonzo Church
Nathan Salmon (University of California at Santa Barbara), Gary Mar (State
University of New York, Stony Brook), Melvin Fitting (CUNY Graduate Center)
Logica Universalis Webinar 2023
https://philevents.org/event/show/112178

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


[Logica-l] The Decision Problem for Effective Procedures - Celebration of the 120th anniversary of Alonzo Church

2023-06-11 Por tôpico jean-yves beziau
The Decision Problem for Effective Procedures - Celebration of the 120th
anniversary of Alonzo Church
Nathan Salmon (University of California at Santa Barbara), Gary Mar (State
University of New York, Stony Brook), Melvin Fitting (CUNY Graduate Center)
Logica Universalis Webinar 2023
-
June 14, 2023 at 4pm CET (Paris-Geneva-Rome) we will have one more session
of the Logica Universalis Webinar (LUW).
Nathan Salmón will present his recently published paper in Logica
Universalis
"The Decision Problem for Effective Procedures"
https://www.springer.com/journal/11787/

Salmón was a former PhD student of the famous logician and founder of
computer science Alonzo Church.
Church was born June 14, 1903. We will therefore commemorate his 120th
anniversary with a preliminary presentation by his last PhD student Gary
R.Mar.
The chair of the session will be Melvin Fitting.

Nathan Salmón was also a long time friend and collaborator of Saul Kripke:
https://www.simplycharly.com/read/interviews/naming-names-a-deep-dive-into-saul-kripkes-philosophy-with-nathan-salmon/

At LUW we have before the main talk the presentation of an association
related to the author or/and topic of the talk.
The Kripke center was presented at  the LUW session of August 11, 2021:
https://youtu.be/piyvWZ5nOik

This next LUW session June 14 will initiate a series where the preliminary
talk is related to the anniversary of a famous logician.
This is not indeed completely new, considering that the first session of
LUW was for the celebration of the World Logic Day, January 14, 2021,
the 120th anniversary of Alfred Tarski:
http://www.logica-universalis.org/wld3

Everybody is welcome to attend the next LUW session June 14, register here.
https://www.springer.com/journal/11787/updates/23910922

Jean-Yves Beziau
Editor-in-Chief  Logica Universalis
President of LUA (Logica Universalis Association)
http://www.logica-universalis.org/LUAD

-- 
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/CAF2zFLA0r5yK%3DvJrEVi-GR8bn9G0TWBLtfixQLAD0BJZ5r5dUQ%40mail.gmail.com.


[Logica-l] Symbolic Logic and Religious Symbolism, Sinaia, Sept 3-8, 2023 - CfP - Extended Deadline June 15

2023-06-07 Por tôpico jean-yves beziau
Workshop organized by Jean-Yves Beziau and Caroline Pires Ting
Federal University of Rio de Janeiro (Brazil) and Logica Universalis
Association (Geneva, Switzerland)
Part of the 4th World Congress on Logic and Religion, Sinaia, Sept 3-8, 2023

CALL FOR PAPERS
On the one hand symbolism is important in most religions, on the other hand
modern logic is often characterized as symbolic.
This workshop, part of WoCoLoR4, explores the relation between these two
symbolic approaches.
Suggested topics include - but are not limited to - the following:
> Boole's symbolic mathematical notation in logic and abstract religious
notions
> Zoroastrianism's dualism, Pythagoras's table of opposites, Trinity
Christian triangle, Islamic geometrical objects and the theory of
oppositions
> Yin/Yang and the notion of complementary contradiction
> the symbolism of the cross, crucifixion, negation and abnegation
> Venn symbolic logic, Venn diagrams and their application for
understanding  religious phenomena
> the universal quantifier and catholicism as a religion for all
>  is the existential quantifier really symbolizing existence?
> Cabala symbolism and logic in Alice's Adventures in Wonderland by Charles
Dodgson, aka Lewis Carroll, deacon in the Church of England and symbolic
logician
> logical "interpretation" of Gödel's proof of the existence of God in
symbolic logic

Submit a one page abstract by June 15
Religious Symbolism and Symbolic Logic, Sinaia, Sept 3-8, 2023
https://sites.google.com/view/symbol-relog

-- 
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/CAF2zFLAG-ZHGDh%2BCqe2faeCuRQYM7QJrNY8HWWfhb0k6dPnq-Q%40mail.gmail.com.


[Logica-l] Religious Symbolism and Symbolic Logic, Sinaia, Sept 3-8, 2023 - CfP

2023-05-24 Por tôpico jean-yves beziau
Workshop organized by Jean-Yves Beziau and Caroline Pires Ting
Federal University of Rio de Janeiro (Brazil) and Logica Universalis
Association (Geneva, Switzerland)
Part of the 4th World Congress on Logic and Religion), Sinaia, Sept 3-8,
2023

CALL FOR PAPERS
On the one hand symbolism is important in most religions, on the other hand
modern logic is often characterized as symbolic.
This workshop, part of WoCoLoR4, explores the relation between these two
symbolic approaches.
Suggested topics include - but are not limited to - the following:
> Boole's symbolic mathematical notation in logic and abstract religious
notions
> Zoroastrianism's dualism, Pythagoras's table of opposites, Trinity
Christian triangle, Islamic geometrical objects and the theory of
oppositions
> Yin/Yang and the notion of complementary contradiction
> the symbolism of the cross, crucifixion, negation and abnegation
> Venn symbolic logic, Venn diagrams and their application for
understanding  religious phenomena
> the universal quantifier and catholicism as a religion for all
>  is the existential quantifier really symbolizing existence?
> Cabala symbolism and logic in Alice's Adventures in Wonderland by Charles
Dodgson, aka Lewis Carroll, deacon in the Church of England and symbolic
logician
> logical "interpretation" of Gödel's proof of the existence of God in
symbolic logic

Submit a one page abstract by May 31st
Religious Symbolism and Symbolic Logic, Sinaia, Sept 3-8, 2023
https://sites.google.com/view/symbol-relog

-- 
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/CAF2zFLB1d02nYqgDGOykfOK_70St%3DQkBTta%3DjfqdQpp91q_Gdg%40mail.gmail.com.


[Logica-l] "P e ¬P é uma contradição?" 25 de maio de 2023 às 17h

2023-05-22 Por tôpico jean-yves beziau
Seminário mensal interuniversitário de Lógica Carioca

"P e ¬P é uma contradição?"

Jean-Yves Beziau

Quinta-feira 25 de maio de 2023 às 17h
Sala Celso Lemos (308)
Largo São Francisco de Paula 1 - Centro
20051-070 Rio de Janeiro, RJ, Brasilhttp://www.rio-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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLD07%2BJoa8aMNh9%2BDw62C%3Dk4K-DkPEBwKvxdQHqMHv54CA%40mail.gmail.com.


[Logica-l] The Compactness Theorem - verbete IEP

2023-05-18 Por tôpico jean-yves beziau
Enquanto editor da parte de lógica da IEP (Internet Encyclopedia of
Philosophy),
estou produzindo uma série de verbetes sobre os teoremas da lógica moderna.
Vem aí o primeiro:
The Compactness Theorem
https://iep.utm.edu/compactness/
Todo mundo é bem-vindo para escrever um verbete, a seguir uma lista de
teoremas.
A IEP recebe 1 milhão de visitas por mês, é uma importante ferramenta para
ensino e pesquisa.
JYB

LIST OF IMPORTANT THEOREMS OF MODERN LOGIC
Löwenheim-Skolem (1915-1920)
completeness (Post 1921 - Gödel 1930)
incompleteness (Gödel 1931)
cut-elimination (Gentzen 1934)
undefinability (Tarski 1936)
undecidability (Church-Turing, 1936)
Lindenbaum's extension lemma (1937)
compactness (Malcev 1938)
incompleteness of modal logic (Dugundji 1940)
Ehrenfeucht-Fraïssé (1950-1961)
Beth's definability theorem (1953)
Craig's interpolation theorem (1957)
completeness for modal logic (Kripke 1959)
independence of CH (Cohen 1963)

-- 
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/CAF2zFLAFM1%3DPJRGMquhySU%2BU7Gu6riRcp8DhJYUzFuVwSvGOkA%40mail.gmail.com.


[Logica-l] LUW May 17 - The Unification of Mathematics via Topos Theory, Olivia Caramello - Grothendieck Institute

2023-05-15 Por tôpico jean-yves beziau
The next session of the Logica Universalis Webinar will be Wednesday May
17, 2023 at 4pm CET.

Speaker: Olivia Caramello, University of Insubria (Como) and Grothendieck
Institute
Title:  The Unification of Mathematics via Topos Theory
Abstract: We present a set of principles and methodologies which may serve
as foundations of a unifying theory of Mathematics. These principles are
based on a new view of Grothendieck toposes as unifying spaces being able
to act as “bridges” for transferring information, ideas, and results
between distinct mathematical theories.
https://link.springer.com/chapter/10.1007/978-3-030-94452-0_30

Chair: Francesco Paoli,
Editorial Board SUL
http://www.logica-universalis.org/sul

Associate Organization: Grothendieck Institute
presented by Laurent Lafforgue, member of its Scientific Council, Fields
Medal 2002
https://igrothendieck.org/en/

Everybody is welcome to attend. Register here:
https://www.springer.com/journal/11787/updates/23910922

Jean-Yves Beziau
Editor of the journal Logica Universalis and the book series Studies in
Universal Logic
Organizer of the Logica Universalis Webinar
http://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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCM6Vbi53pH1ZVuOEQ3M3twoo5HvAZC27OA397oTt7RoA%40mail.gmail.com.


[Logica-l] LARAW May 11 - THE ANATOMY OF GOD AND THE PROBLEM OF EVIL Lessons from an African Perspective - Aribiah Attoe

2023-05-11 Por tôpico jean-yves beziau
... fui recentemente no Egito procurar uma gata para o meu gato
https://sites.google.com/view/miaou-rio/egypt
e fiquei convencido que a teoria do sentido é piramidal !
The Pyramid of Meaning
http://www.jyb-logic.org/PYRAMID-OF-MEANING
JYB

On Wed, May 10, 2023 at 11:36 PM jean-yves beziau 
wrote:

> The next session of the Logic and Religion Webinar (LARAW) will be May 11
> at 4pm CET
>
> Title: THE ANATOMY OF GOD AND THE PROBLEM OF EVIL - Lessons from an
> African Perspective
> Speaker: Aribiah Attoe (University of Witwatersrand, South Africa)
> Abstract:  In this talk, I will provide a new response to the problem of
> evil from an African perspective. I will argue that the notion of a God
> that is conscious and intentional is mistaken. This is because these
> attributes are not based on any concrete information about the nature of
> God, and so are simply misattributions. Thus, I will argue for a new notion
> of God as a material and depersonalised entity, therefore redefining the
> African limited God view. I will also show that “evil” is merely a category
> of the mind. Finally, I will show how these ideas make the problem of evil
> irrelevant.
>
> Chair:  Francisco de Assis Mariano (University of Missouri-Columbia, USA)
>
> Everybody is welcome to attend. Register here:
> https://www.logicandreligion.com/webinars
>
> Aribiah Attoe is author of the IEP entry
> African Philosophical Perspectives on the Meaning of Life
> https://iep.utm.edu/african-meaning-of-life/
>
> Jean-Yves Beziau
> Vice-President of LARA (Logic And Religion Association), organizer of
> LARAW and IEP logic area editor
> https://philpeople.org/profiles/jean-yves-beziau
>
>
>

-- 
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/CAF2zFLDB2sbXG_BmDbLC-tsotTO4Z1xMCPL3CmTHKJXh4cbozg%40mail.gmail.com.


[Logica-l] LARAW May 11 - THE ANATOMY OF GOD AND THE PROBLEM OF EVIL Lessons from an African Perspective - Aribiah Attoe

2023-05-11 Por tôpico jean-yves beziau
The next session of the Logic and Religion Webinar (LARAW) will be May 11
at 4pm CET

Title: THE ANATOMY OF GOD AND THE PROBLEM OF EVIL - Lessons from an African
Perspective
Speaker: Aribiah David Attoe (University of Witwatersrand, South Africa)
Abstract:  In this talk, I will provide a new response to the problem of
evil from an African perspective. I will argue that the notion of a God
that is conscious and intentional is mistaken. This is because these
attributes are not based on any concrete information about the nature of
God, and so are simply misattributions. Thus, I will argue for a new notion
of God as a material and depersonalised entity, therefore redefining the
African limited God view. I will also show that “evil” is merely a category
of the mind. Finally, I will show how these ideas make the problem of evil
irrelevant.

Chair:  Francisco de Assis Mariano (University of Missouri-Columbia, USA)

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

Aribiah David Attoe is author of the IEP entry
African Philosophical Perspectives on the Meaning of Life
https://iep.utm.edu/african-meaning-of-life/

Jean-Yves Beziau
Vice-President of LARA (Logic And Religion Association), organizer of LARAW
and IEP logic area editor
https://philpeople.org/profiles/jean-yves-beziau

-- 
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/CAF2zFLDHWb3bH4ybBqe5QNBxbyhUK-L%3DktVJ7_YvA2PeSvJiPg%40mail.gmail.com.


[Logica-l] LARAW May 11 - THE ANATOMY OF GOD AND THE PROBLEM OF EVIL Lessons from an African Perspective - Aribiah Attoe

2023-05-11 Por tôpico jean-yves beziau
The next session of the Logic and Religion Webinar (LARAW) will be May 11
at 4pm CET

Title: THE ANATOMY OF GOD AND THE PROBLEM OF EVIL - Lessons from an African
Perspective
Speaker: Aribiah Attoe (University of Witwatersrand, South Africa)
Abstract:  In this talk, I will provide a new response to the problem of
evil from an African perspective. I will argue that the notion of a God
that is conscious and intentional is mistaken. This is because these
attributes are not based on any concrete information about the nature of
God, and so are simply misattributions. Thus, I will argue for a new notion
of God as a material and depersonalised entity, therefore redefining the
African limited God view. I will also show that “evil” is merely a category
of the mind. Finally, I will show how these ideas make the problem of evil
irrelevant.

Chair:  Francisco de Assis Mariano (University of Missouri-Columbia, USA)

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

Aribiah Attoe is author of the IEP entry
African Philosophical Perspectives on the Meaning of Life
https://iep.utm.edu/african-meaning-of-life/

Jean-Yves Beziau
Vice-President of LARA (Logic And Religion Association), organizer of LARAW
and IEP logic area editor
https://philpeople.org/profiles/jean-yves-beziau

-- 
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/CAF2zFLCS1fRks4UVaSQ38JEMOFHY_VJZOcirZ0A3jSFKa%2BmZXA%40mail.gmail.com.


[Logica-l] O ELENCHUS COMO O PRINCIPAL INSTRUMENTO DA PEDAGOGIA SOCRÁTICA

2023-05-09 Por tôpico jean-yves beziau
Para quem não conhece o elenchus, recomendo o seguinte artigo introdutório
de Aldo Lopes Dinucci
O ELENCHUS COMO O PRINCIPAL INSTRUMENTO DA PEDAGOGIA SOCRÁTICA
https://ri.ufs.br/bitstream/riufs/758/1/ElenchusPedagogiaSocratica.pdf
JYB

On Tue, May 9, 2023 at 3:25 PM jean-yves beziau 
wrote:

> The next session of the Logica Universalis Webinar (LUW) will be Wednesday
> May 10 at 4pm CET
>
> Speakers:  Ekaterina Kubyshkina and Mattia Petrolo
> Title: Revising the Elenchus via Belief Revision
> Abstract:  Vlastos’ famous characterization of the Socratic elenchus
> focuses on two main aspects of this method: its epistemic roots and its
> dialogical nature. Our aim is to lay the groundwork to formally capture
> this characterization. To do so, first, we outline an epistemic framework
> in which the elenchus can be inscribed. More precisely, we focus our
> analysis on the passage from unconscious ignorance to conscious (or
> Socratic)  ignorance and provide new insights about the epistemic outcome
> of an elenctic argument. Secondly, from a logical perspective, we consider
> the  elenchus as a dynamic exchange allowing Socrates’ respondents to
> revise  their beliefs, on pain of inconsistency. By stressing this point,
> we represent this method as a process of belief revision in dynamic
> epistemic logic  and provide a new logical solution to what Vlastos called
> the problem of the elenchus.
> https://link.springer.com/journal/11787/online-first
>
> Associate Organization:  LUCI (Logic, Uncertainty,  Computation and
> Information Group), University of Milan, Italy
> https://luci.unimi.it/
> presented by Giuseppe Primiero
>
> Chair: Ioannis Vandoulakis
> Vice-President of the Logica Universalis Association
> http://www.logica-universalis.org/LUAD
>
> Everyone is welcome to attend. Access here:
> https://cassyni.com/s/logica-universalis
>
> Jean-Yves Beziau
> Editor-in-Chief Logica Universalis and LUW Organizer
> http://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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLA%2Bkkbtn3VOeBjcLeTaw6qBx8j3%2B8pX0nwU5H2QXwdUiw%40mail.gmail.com.


[Logica-l] LUW May 10 - Revising the Elenchus via Belief Revision - by Ekaterina Kubyshkina and Mattia Petrolo

2023-05-09 Por tôpico jean-yves beziau
The next session of the Logica Universalis Webinar (LUW) will be Wednesday
May 10 at 4pm CET

Speakers:  Ekaterina Kubyshkina and Mattia Petrolo
Title: Revising the Elenchus via Belief Revision
Abstract:  Vlastos’ famous characterization of the Socratic elenchus
focuses on two main aspects of this method: its epistemic roots and its
dialogical nature. Our aim is to lay the groundwork to formally capture
this characterization. To do so, first, we outline an epistemic framework
in which the elenchus can be inscribed. More precisely, we focus our
analysis on the passage from unconscious ignorance to conscious (or
Socratic)  ignorance and provide new insights about the epistemic outcome
of an elenctic argument. Secondly, from a logical perspective, we consider
the  elenchus as a dynamic exchange allowing Socrates’ respondents to
revise  their beliefs, on pain of inconsistency. By stressing this point,
we represent this method as a process of belief revision in dynamic
epistemic logic  and provide a new logical solution to what Vlastos called
the problem of the elenchus.
https://link.springer.com/journal/11787/online-first

Associate Organization:  LUCI (Logic, Uncertainty,  Computation and
Information Group), University of Milan, Italy
https://luci.unimi.it/
presented by Giuseppe Primiero

Chair: Ioannis Vandoulakis
Vice-President of the Logica Universalis Association
http://www.logica-universalis.org/LUAD

Everyone is welcome to attend. Access here:
https://cassyni.com/s/logica-universalis

Jean-Yves Beziau
Editor-in-Chief Logica Universalis and LUW Organizer
http://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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLAEFbdW6twHQN7LYPmnxe0y34M8AMVpE7J2F8K_ABBCsw%40mail.gmail.com.


  1   2   3   4   5   6   7   8   9   10   >