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

2023-12-14 Por tôpico Walter Carnielli
Seulement si c'est le jour de certains singes.

Mais ça n'amuse personne...

W.

Em qui., 14 de dez. de 2023 10:03, jean-yves beziau 
escreveu:

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

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

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLf7fUSXwPmTf2Pf6ZEZffVkz3ntZkjXwe13q_FexPF5Tg%40mail.gmail.com.


[Logica-l] Códigos de ética e conduta em sociedades científicas

2023-12-14 Por tôpico Elaine Pimentel
Prezados colegas,

Gostaria de aproveitar o dia "especial" para compartilhar com vocês a
informação de que sociedades e associações como a SBL, ASL e SBM estão
formulando cartilhas com códigos de ética e conduta. Não é novidade, várias
associações como a ACM, SBF, etc já têm documentos nesse sentido. A SBL tem
uma política anti-assédio na sua página:

https://sbl.org.br/pmwiki.php/Main/PAA

Os textos que estão sendo formulados são bem didáticos, e possuem
definições básicas, bem como possíveis sanções disciplinares pertinentes no
caso de violação de boas práticas acadêmicas. Por exemplo, as sociedades
podem negar apoio científico a eventos que não se comprometam em manter
tais boas práticas.

Esperamos todos que tenhamos sempre um ambiente de civilidade e respeito
mútuo, no qual o avanço do conhecimento, a difusão e a educação sejam
possíveis sem prejuízo à dignidade, aos direitos fundamentais ou ao
adequado exercício da profissão das pessoas envolvidas.

Abraços acadêmicos,
--
Elaine.
---
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London
https://sites.google.com/site/elainepimentel/
---

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


[Logica-l] V Colóquio UnB-USP de Lógica e Filosofia da Lógica

2023-12-14 Por tôpico Alfredo Roque Freire
Olá,

Escrevo esse email para divulgar o evento Colóquio UnB-USP de Lógica e
Filosofia da Lógica. Convido a todos que estiverem em São Paulo nas datas
de 18 e 19 de janeiro a participarem. Segue o link do evento:
https://filosofia.fflch.usp.br/eventos/10505

Este ano teremos as seguintes apresentações:

Quinta-feira, dia 18 de janeiro:

14:50 : Abertura do Colóquio

15:00 : Semântica para lógicas modais com relações de acessibilidade mas
sem mundos possíveis
Jean-Yves Beziau (UFRJ)

16:00 : Algumas conexões entre teoria de clones e lógica universal
Rodrigo Bacellar (USP)

16:55 : Intervalo

17:30 : Sobre a natureza das modalidades lógicas
Antonio Souza Júnior (doutorando, UnB)

18:30 : Lógica e astrobiologia: questões metodológicas e fundacionais
Alexandre Costa-Leite (UnB)



Sexta-feira, dia 19 de janeiro:

15:00 : Em direção a uma generalização monoidal dos topos e de sua lógica
interna
Hugo Mariano (USP)

16:00 : Interpretações entre teorias de ordem
Rodrigo Freire (UnB)

16:55 : Intervalo

17:30 : “Tightness” e solidez nos fundamentos da matemática
Alfredo Roque Freire (UnB)

18:30 : Paraconsistentização da Lógica do Paradoxo
Edelcio G. de Souza (USP)

Abraço
Alfredo.

-- 
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/CAHk6N6bU2xd2QPs88rX_mesVKWwpxEZNfLMK_jph03L_HOHXNQ%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] Mozi’s Philosophy of Universal Love and Analogical Reasoning: The Logic and Religion Webinar, Dec 14 (Thursday)

2023-12-14 Por tôpico Assis


Dear Colleague,

You are invited to participate in the next session of the Logic and 
Religion Webinar Series which will be held on *December 14 (THIS THURSDAY), 
2023*, at *4pm CET* with the topic:

 

*Mozi’s Philosophy of Universal Love and Analogical Reasoning*

*Speaker: *Caroline Pires Ting 
 (Federal University 
of Rio de Janeiro, Brazil)

*Chair:* *Jean-Yves Beziau * (Federal University 
of Rio de Janeiro, Brazil)

 

Please, register to receive a zoom link:
https://www.logicandreligion.com/webinars

 
Abstract: The forthcoming exposition delves into Mozi’s philosophy of 
Universal Love (兼愛, jian'ai) and its profound impact on Chinese 
civilization. Mozi (墨子, c. 470 BCE – c. 391 BCE) is a leading light in 
Chinese philosophical discourse of his time. At the heart of his idea lies 
the notion of impartial care, advocating that all human endeavors ought to 
originate from an unwavering foundation of undistinguished concern. This 
doctrine is instrumental in shaping a distinctive ethos grounded in the 
ethical and political aspirations for societal enhancement. Unbiased love 
becomes fundamental to his intellectual framework, acting as the benchmark 
for all logical actions. As Chinese philosophical traditions began engaging 
with Western thought in recent times, Mohist reasoning experienced a 
revival, reinforcing the notion that Chinese philosophical traditions also 
possess an analytical inclination. Our goal in this talk is to explain how 
Mozi's understanding of love embodies an idea of benevolence rooted in a 
rigorous epistemological construct.

 

 

Join us 5 minutes prior to the beginning of the session!
 
With best wishes,

 

-- 

Francisco de Assis Mariano,
The University of Missouri-Columbia (USA)
LARA Secretary

-- 
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/82b1f81a-b4e6-4b58-9fe1-aacf06ab8421n%40dimap.ufrn.br.