[Logica-l] Fwd: [PHILOS-L] Call for Abstracts: Trends in Logic XXV: Non-Classical Approaches to Traditional Philosophical Problems

[Joao Marcos]

-- Forwarded message -

Call for Abstracts: Trends in Logic XXV: Non-Classical Approaches to
Traditional Philosophical Problems



Website: https://sites.google.com/view/logica-mexa/events/tlxxv



Trends in Logic will be held in Mexico City, 16-20 June 2025.



Certain paradigmatic principles from classical logic, such as Excluded
Middle, Ex Contradictione Quodlibet, Addition, Disjunctive Syllogism,
or Suppresion (of logical truths) have played a crucial role in the
arguments for or against many philosophical theses. This has been
especially vivid in the 20th century, where examples from
philosophical logic, metaphysics, or the philosophy of mathematics
abound. We have thus the arguments for the inexistence of Meinongian
objects, for the necessity of true identities, or against vague
objects; or the many limitative theorems leading to the acceptance of
the incompleteness of Peano arithmetic, the Tarskian hierarchy of
languages or restricted comprehension schemas, among many others.



But other famous arguments also employ some of such paradigmatic
principles from classical logic, for example Gettier's discussion of
the tripartite definition of knowledge, Church's concerns about the
verification principles, Lewis' thoughts on Adam's Thesis, or Grim's
argument against the existence of omniscient beings.



This conference aims to gather specialists offering a view on this and
other philosophical problems through the lens of non-classical logics,
or through classical logic used in innovative ways.



We welcome contributions addressing traditional philosophical problems
--not only those mentioned above-- through the lens of non-classical
logics, or through classical logic used in innovative ways.
Reflections on the methodological divide between content-driven or
logic-driven approaches are also welcome.



Submissions:

Extended abstract length: 1-2 pages

Submissions: via email to logica.m...@gmail.com



Important dates:

Abstract submission deadline: March 14, 2025

Decision notification: March 31, 2025

Conference dates: June 16-20, 2025



Keynote speakers: Branden Fitelson, Tamar Lando, Cat Saint-Croix, Zach
Weber, and Elia Zardini (tbc).



Organizing Committee: Luis Estrada-González, Thomas M. Ferguson, and
Jacek Malinowski



Program Committee: Walter Carnielli, Jacek Malinowski, Franci
Mangraviti, Aybüke Özgün, Francesco Paoli, Gillian Russell, Heinrich
Wansing, and Nicole Wyatt

-- 
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 conversa, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lg%2BeQWYYnCRhTg-EbWanW3KYa-zhcSjDaNtZHcTyC16AA%40mail.gmail.com.

Re: [Logica-l] 13 - 3y doctoral candidates, Research Training Group "Contradiction Studies—Constellations, Heuristics and Concepts of the Contradictory" in Bremen, deadline: November 29

[Joao Marcos]

Oi, Walter:

Eu também recebi este pedido de divulgação, mas confesso que hesitei e
acabei tardando em repassá-lo adiante.  A ideia de formar um grupo
interdisciplinar acerca do estudo das contradições é brilhante, mas...
estou enganado ou realmente não há _nenhum_ membro do grupo que trabalhe
propriamente *com Lógica*?

Ah, sim, Bremen é realmente linda e é bem conhecida como um ótimo lugar
para se montar uma banda de música, particularmente se você for um animal
saltimbanco. ;-)

Abraços, e muita sorte para vocês aí nas terras trumpianas!
Joao Marcos


On Tue, Nov 5, 2024 at 3:40 PM Walter Carnielli  wrote:

> Repassando a pedido dos colegas alemães:  13 bolsas na lindíssima cidade
> de Bremen (morei lá, conheço bem) para estudar contradições.
>
>  Eu não perderia!!!
>
> Abraços,
> Walter
>
> ≈=
> Thirteen PhD Positions in Contradiction Studies at the University of Bremen
>
> Deadline: 29 Nov 2024
>
> The Research Training Group "Contradiction Studies—Constellations,
> Heuristics and Concepts of the Contradictory" at the University of Bremen
> is welcoming applications for 13 3-year positions as Doctoral Candidates.
>
> This interdisciplinary group examines the ways in which individuals,
> groups, institutions, and states navigate the concept of contradiction,
> particularly in relation to the prevalent demand for consistency (freedom
> from contradiction). It aims to develop novel forms and procedures for
> addressing the inherent contradictions of living together. (Philosophers
> should note that it not only studies logical contradictions, but also a
> broad range of other types of contradictions.)
>
> Members of the group are expected to complete their dissertation over the
> course of the term. They are expected to participate in the modularized
> doctoral program and in the group's research colloquium. The working
> language of the program is generally English. The positions carry no
> teaching obligation and are 75% positions paid on a TV-L 13 basis (which
> translates to a net pay of at least 26.500€/year). Deadline for application
> is Nov 29, the positions are expected to begin on June 1, 2025.
>
> For the full job advert,
> see:
> https://www.uni-bremen.de/en/university/the-university-as-an-employer/job-vacancies-1/job/3599
>
> For the research group's website,
> see: https://contradictionstudies.uni-bremen.de/en/
>
> Applicants with research interests in (or adjacent to) philosophy are
> welcome to contact Norman Sieroka (sier...@uni-bremen.de) before
> applying.
> (See
> also
> https://www.uni-bremen.de/en/philosophie/research/theoretical-philosophy
> --
> [
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta conversa, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLc3h0RcxW1c7N3demZZPhttxgogdKFFV6EkSfv2h-AEag%40mail.gmail.com
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLc3h0RcxW1c7N3demZZPhttxgogdKFFV6EkSfv2h-AEag%40mail.gmail.com?utm_medium=email&utm_source=footer>
> .
>


-- 
https://sites.google.com/site/sequiturquodlibet/

-- 
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 conversa, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lhv1gzH6Bek6ZFCe1AEAbQUm_%3DQLRRkq1RfjsoLr2QSzg%40mail.gmail.com.

[Logica-l] bolsa de pós-doutorado no programa de Filosofia da UFSC

[Joao Marcos]

Viva!

"O PPGFil anuncia a abertura de processo seletivo para seleção de um/a (01)
pesquisador/a para atuar no âmbito do Programa Institucional de
Pós-Doutorado (PIPD-CAPES) a partir de janeiro/2025. "
https://www.gov.br/capes/pt-br/acesso-a-informacao/acoes-e-programas/bolsas/bolsas-no-pais/programa-institucional-de-pos-doutorado-pipd

A bolsa tem duração de até 36 meses, podendo realizar estágio no exterior
com duração de 6 a 10 meses durante esse período.  O período de inscrições
é de 06 a 25/11/24.  O edital e o link para realizar a inscrição podem ser
encontrados aqui:
https://ppgfil.posgrad.ufsc.br/pos-doc/pipd-2025/

Os pesquisadores interessados nesta (imperdível!) oportunidade podem ficar
à vontade para entrar em contato comigo para outras informações que se
fizerem necessárias.
Joao Marcos

-- 
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 conversa, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lj-tYeKJ%3DLAhgkZudJQcpMwGEmVp602uS58s7uFti7Bfw%40mail.gmail.com.

[Logica-l] Fwd: Pavel Materna death notice

[Joao Marcos]

-- Forwarded message -

With great sadness, we announce that Prof. Pavel Materna, aged 94, passed
away peacefully on October 25 in Prague. Pavel was a Czech logician,
philosopher and musician. He was a follower of Pavel Tichy, the founder of
Transparent Intensional Logic (TIL). Pavel Materna contributed a lot to the
development of TIL, in which he developed an original theory of concepts.
In this conception, concepts are defined as abstract procedures that can be
viewed as ‘instructions’ encoded by natural-language expressions on
obtaining an object (if any) denoted by a given expression. Applying TIL to
natural-language processing was Pavel’s primary professional interest. He
was known internationally for his influential research in this area, where
he achieved significant results and published numerous papers and books.

Besides, Pavel was a good friend, joyful in discussions and a great
musician and pianist. We had a lot of fun listening to his piano playing on
conference evenings. He will be missed by all who love him.

With best wishes,  Marie Duzi

-- 
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 conversa, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiceJqBDFag_%2BnGxfB8t6oYFxuZtc5LsUfi_8Qo%2BRS1CQ%40mail.gmail.com.

[Logica-l] prêmio Nobel de Física para a Computação?

[Joao Marcos]

Was the Nobel prize for physics? Yes — not that it matters
https://www.nature.com/articles/d41586-024-03435-w

"Almost a decade ago, two of us (M.S. and R.S.) co-authored an analysis of
referencing and citation patterns that explicitly placed Hopfield’s seminal
1982 paper on neural networks among 3.2 million interdisciplinary papers in
non-physics journals that were “indistinguishable from papers published in
physics journals”. Six other physics Nobel-winning papers were also in this
set (R. Sinatra et al. Nature Phys. 11,791–796; 2015)."

%%%

Interessante talvez acrescentar que o "vovô da IA" Geoffrey Hinton, que é
tataraneto de George Boole e Mary Everest Boole, já havia ganho o Turing
Award em 2018.

%%%

JM

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

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

[Logica-l] Computer Scientists Combine Two ‘Beautiful’ Proof Methods

[Joao Marcos]

combining zero-knowledge proofs with probabilistically checkable proofs
https://www.quantamagazine.org/computer-scientists-combine-two-beautiful-proof-methods-20241004/


JM

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

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

[Logica-l] What should we teach? (a question for mathematicians)

[Joao Marcos]

What should we teach?
--- respostas de Donoho, Jordan, Figalli, Ghys, Daskalakis, Arora,
Esteban, Bryant, Nesin... à pergunta feita a eles durante o ICM 2018,
no Rio.
https://youtu.be/pyGWW28EQuI?si=wyu50wproWU1vIUX
Notadamente, alguns destes matemáticos mencionam a importância de não
se ensinar apenas a fazer contas, mas sim mostrar, ao invés, a
_lógica_ por trás do pensamento matemático.

Neste ponto específico, o Étienne Ghys argumenta que deveríamos cuidar
mais de "ensinar lógica" desde o primário:
https://youtu.be/pyGWW28EQuI?si=ePc0nM6wNWr1m3Qw&t=412

(outra resposta comum: devemos "ensinar probabilidade" para as
crianças, para que elas aprendam o quanto antes a tomar decisões de
maneira mais informada)

[]s, JM

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

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

[Logica-l] Fwd: Dov Gabbay Prize 2024 - the Winners

[Joao Marcos]

-- Forwarded message -

The Jury of the "Dov Gabbay Prize for Logic and Foundations", chaired
by Philip Welch, and the "Initiative for Logic and Foundations (ILOAF
asbl)" are pleased to announce that in 2024 the prize is awarded
jointly to

* David Asperó and Ralf Schindler *

for their work in the foundations of set theory, and more specifically
their results connecting determinacy principles and strong forcing
axioms exposed in their seminal paper from 2021. 150 years after
Cantor started set theory, this is an essential contribution to a
better understanding of the set concept and its formal consequences.

For more details, see:  https://iloaf.org/dgp2024.html

An online ceremony will be organized in the coming months.

This is the second edition of the "Dov Gabbay Prize for Logic and
Foundations", an international research prize launched on the occasion
of Professor Dov Gabbay's 77th birthday 2 years ago. It honours his
extraordinary and multi-faceted scientific and editorial work, which
includes an extensive collection of specialized Logic Handbooks
(https://iloaf.org/dov.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/CAO6j_LiPpxB1JjzZpL-D8uD0ZBAsRYarro14Ko2ysBv%3DZQXmzw%40mail.gmail.com.

[Logica-l] [OFF] Fwd: Survey on Epistemic Challenges Faced by Native and Non-native English Speakers in Philosophy

[Joao Marcos]

Um questionário bastante interessante, organizado por colegas da
universidade de Utrecht, que seria interessante de se circular nos
programas de Filosofia brasileiros:
https://survey.uu.nl/jfe/form/SV_7ajkbaMwHOZLSM6

Em semana de ANPOF, parece vir em boa hora!
JM

-- Forwarded message -
From: Peters, U. (Uwe) via Aphil-l 
Date: Sun, Sep 29, 2024 at 11:33 PM
Subject: [Aphil-l] Survey on Epistemic Challenges Faced by Native and
Non-native English Speakers in Philosophy

Dear all,

For many of us, doing philosophy in academia today often involves
using English to communicate with others. Academic English differs
from everyday English in style and complexity, requiring both native
and non-native English speakers to develop proficiency. But do both
groups need to put in the same efforts and face similar challenges
when contributing to philosophy in English?

We are conducting a survey that targets anyone who has studied or is
currently studying or doing research in philosophy. The survey will
gather information on, for example, the time required to read, write,
or understand a philosophy article or presentation in English. Whether
you are a native or non-native speaker, your participation would be
invaluable in helping us better understand this important issue.

The survey takes less than 15 minutes to complete, doesn't collect any
identifying personal data, and has received ethics approval from
Utrecht University (Netherlands). We are also happy to share the
results with participants who are interested in using the data for
their own research.
You can access the survey on a secure Utrecht University Qualtrics
platform here:
https://survey.uu.nl/jfe/form/SV_7ajkbaMwHOZLSM6
If you have any questions or thoughts about the project, just email us
(u.pet...@uu.nl).
Thank you very much for your time and contribution!
All the best,
Uwe Peters (Utrecht University, Netherlands)
Charlotte Gauvry (University of Bonn, Germany)
Nikolaj Nottelmann (SDU, Denmark)
Juan Samuel Santos Castro (PUJ, Colombia)
Sitian Liu (Sun Yat-sen University, China)
Yener Çağla Çimendereli (Syracuse University, US)
Anna Klieber (Cardiff University, UK)
Alex Davies (University of Tartu, Estonia)

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

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

[Logica-l] Fwd: Logics, Volume 2, Issue 3 (September 2024) Released

[Joao Marcos]

-- Forwarded message -


[image: logics-logo]


[image: www.mdpi.com]

--
[image: Facebook]  [image:
Linkedin]  [image: Twitter]


Dear Readers,

We are pleased to announce the publication of the following issue of
*Logics*:

*Logics*, Volume 2, Issue 3 (September 2024)

Highlights
*Read our Most Cited & Viewed papers here
*.
General
*Article: Inferential Interpretations of Many-Valued Logics
*
Sanderson Molick
*Logics* *2024*, *2*(3), 112-128; DOI: 10.3390/logics2030005


Special Issues Open for Submissions
*Combining Logics and Theories
*
(Deadline: 31 December 2024)

*The Legacy of A.V. Kuznetsov in Logic, Algebra and Foundations of
Mathematics
*
(Deadline: 31 March 2025)

*Cross-Cultural and Multi-disciplinary Approaches to the Philosophy of
Logic
*
(Deadline: 31 December 2025)

To access the full list of Special Issues, please click h





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

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

[Logica-l] Max Cresswell (1939-2024)

[Joao Marcos]

Max Cresswell (1939-2024)
https://dailynous.com/2024/09/24/max-cresswell-1939-2024/


JM

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

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

[Logica-l] enforcamento inesperado

[Joao Marcos]

Por que o 'paradoxo do enforcamento inesperado' é tão surpreendente
https://www.bbc.com/portuguese/articles/ckgnz4d4xdzo


JM

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

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

[Logica-l] Kids Should Be Taught to Think Logically

[Joao Marcos]

Training in symbolic logic is critical in many careers, for
responsible citizenship and better lives. It is also an underexploited
antidote to today’s bizarre conspiracy thinking
--- artigo de opinião, por Vinay K. Chaudhri
https://www.scientificamerican.com/article/the-u-s-should-teach-kids-to-think-logically/


JM

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

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

Re: [Logica-l] Lista de periódicos em lógica

[Joao Marcos]

Excelente serviço de utilidade pública, Bruno!

Talvez esta lista que fiz em 2019 ---em meio a discussões estéreis
sobre o Qualis--- possa também ajudar?
https://docs.google.com/spreadsheets/d/1cQpsEtzRYpJcolyle_C6Vx5JZ0qC3EtZKxLgdSYQC7s/

Sobre o "Logics" (MDPI), que está na sua lista mas ainda não existia
quando eu construí a minha, vale acrescentar que também é um periódico
Open Access.  E também ainda não foi implementada nenhuma taxa para os
autores.

[]s, Joao Marcos

On Wed, Sep 4, 2024 at 9:26 PM Bruno Bentzen  wrote:
>
> Caros colegas,
>
> Ano passado, compilei esta lista dos principais periódicos especializados em 
> lógica e filosofia da lógica ou matemática para servir como um guia para 
> nossos alunos de pós-graduação em logica aqui na Zhejiang University. Não 
> funciona como uma ranking, mas apenas como uma lista de periódicos que vale a 
> pena prestar atenção, ordenados por seu indicador SJR. Ja que não conheco 
> nenhuma outra lista como esta (posso estar enganado), talvez fosse útil para 
> alguns de seus alunos também. Então, aqui está:
>
> https://www.brunobentzen.com/miscellaneous/journals
>
> Posso ter esquecido alguns periódicos importantes. Por favor se sintam livre 
> de sugerir recomendacoes!
>
> Abracos,
> Bruno
>
> Best,
> Bruno
>
> --
> Bruno Bentzen
> Assistant Professor
> School of Philosophy
> Zhejiang University
>
> https://www.brunobentzen.com
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 
> 
> ---
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para acessar essa discussão na Web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/b2d0f9d8-dc12-4f8a-b9c6-1bb43926f2e8n%40dimap.ufrn.br.



-- 
https://sites.google.com/site/sequiturquodlibet/

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

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

[Logica-l] Fwd: ICLA 2025

[Joao Marcos]

-- Forwarded message -

As you may know, the Indian Conference on Logic and its Applications
(ICLA) is a biennial international conference conducted by the
Association for Logic in India (ALI; https://logicindia.org). The
conference spans a wide range of themes in logic as pursued in
Mathematics, Philosophy and Computer Science. Here are the links to
the previous two editions of ICLA:
https://icla2023.iiti.ac.in/ (ICLA '23) and
https://www.isichennai.res.in/~sujata/icla2021/ (ICLA '21).

The forthcoming ICLA 2025 is the 11th edition of the conference which
will take place at the Indian Statistical Institute Kolkata during Feb
3 -- 5, 2025. We have included various special features in the
conference this time, and have also broadened the set of submission
topics to include many new themes in all three disciplines of math,
philosophy, and CS.

Please find below the links to the ICLA webpage and its EasyChair CFP page.

ICLA 2025 webpage: https://logicindia.org/icla/icla2025
EasyChair CFP page: https://easychair.org/cfp/icla2025

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

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

[Logica-l] John Woods (1937‑2024)

[Joao Marcos]

John Woods (1937-2024)
https://dailynous.com/2024/08/18/john-woods-1937-2024/


JM

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

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

[Logica-l] Re: Workshop on Paraconsistent Reasoning, Calcutá / online, 17-18 Ago 2024

[Joao Marcos]

O link prometido, para o evento em Calcutá:
https://meet.google.com/utk-wifm-dxn

[]s, JM

On Wed, Aug 14, 2024 at 10:31 AM Joao Marcos  wrote:
>
> Este evento ocorrerá no próximo fim de semana:
>
> Workshop on Paraconsistent Reasoning
> (An assembly of researchers from India and abroad)
> In memory of Professor Newton da Costa
> August 17 – 18, 2024
> Organized by
> Calcutta Logic Circle
> in collaboration with
> Dept. of Mathematics, Ramakrishna
> Mission Residential College, Narendrapur, West Bengal, India
> https://rkmrc.in/workshop-on-paraconsistent-reasoning/
>
> Consta que em breve estará disponível o link para participação remota.
> Vale notar que a diferença de fuso entre o horário de Brasília e o de
> Calcutá é de 8h30min.
>
> []s, Joao Marcos



-- 
https://sites.google.com/site/sequiturquodlibet/

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

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

[Logica-l] seleção mestrado / doutorado UFSC 2024/2025

[Joao Marcos]

PessoALL:

Os documentos para o processo seletivo 2024/2025 do Programa de
Pós-Graduação em Filosofia da UFSC estão disponíveis em:
https://ppgfil.posgrad.ufsc.br/processo-seletivo-2024-ingresso-2025/
Vale notar que o período de inscrição vai até 02/09/2024.

Além de Florianópolis ser possivelmente o melhor lugar do Brasil para
se viver e estudar Lógica, o PPGFIL é um dos mais sólidos programas de
pós-graduação do país, e o Núcleo de Lógica e Epistemologia tem uma
atuação pujante.  Vale a pena conferir!

Se alguém desejar mais informações sobre esta oportunidade, pode ficar
à vontade para me contactar diretamente.
Joao Marcos

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

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

[Logica-l] Workshop on Paraconsistent Reasoning, Calcutá / online, 17-18 Ago 2024

[Joao Marcos]

Este evento ocorrerá no próximo fim de semana:

Workshop on Paraconsistent Reasoning
(An assembly of researchers from India and abroad)
In memory of Professor Newton da Costa
August 17 – 18, 2024
Organized by
Calcutta Logic Circle
in collaboration with
Dept. of Mathematics, Ramakrishna
Mission Residential College, Narendrapur, West Bengal, India
https://rkmrc.in/workshop-on-paraconsistent-reasoning/

Consta que em breve estará disponível o link para participação remota.
Vale notar que a diferença de fuso entre o horário de Brasília e o de
Calcutá é de 8h30min.

[]s, Joao Marcos

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

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

[Logica-l] Fwd: [SBL-Sócios] Dia do Filósofo -- SBL

[Joao Marcos]

-- Forwarded message -
From: Sociedade Brasileira de Lógica

Colegas,

Em celebração ao Dia do Filósofo, a SBL promove a seguinte palestra:

Para que ensinamos lógica nos cursos de Filosofia?
Prof. César Frederico dos Santos (UFMA)
16 de agosto, 10:00 https://www.youtube.com/watch?v=0RCXMdwmjEw

Ao passo que professores de Ética não têm qualquer expectativa de que
seus alunos tornam-se “pessoas melhores” depois de cursarem Ética,
professores de Lógica costumeiramente alimentam expectativas de que
seus alunos passem a “raciocinar melhor” depois de cursarem Lógica. No
entanto, a experiência tem mostrado que essa expectativa dificilmente
se realiza.

O ensino de lógica, do jeito que geralmente é feito nas graduações em
Filosofia no Brasil, muito raramente é percebido pelos estudantes como
útil para ampliar suas habilidades e competências filosóficas. No
máximo, o aprendizado de lógica amplia o conhecimento do estudante
sobre teorias lógicas, na mesma medida que o ensino de Ética amplia o
conhecimento do estudante  sobre teorias éticas. Mas é isso que
queremos? Ou deveríamos ensinar lógica de outra maneira?

Nesta fala, defenderei que a expectativa de ensinar lógica para
melhorar a capacidade argumentativa e de raciocínio dos estudantes é
legítima e que, para realizá-la, deveríamos ensinar lógica de uma
maneira bem diferente daquela que temos adotado. O ensino de lógica
deve ser inicialmente prático e só posteriormente teórico. Não podemos
ensinar Lógica como ensinamos Ética, porque a lógica é antes de tudo
um instrumento da atividade filosófica, enquanto a Ética é somente um
objeto de estudo filosófico.

Atenciosamente,
A Diretoria.
-- 
Sociedade Brasileira de Lógica
http://sbl.org.br

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

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

[Logica-l] Fwd: New AI Venture Focuses on Mathematical Reasoning

[Joao Marcos]

-- Forwarded message -
From: Daily Nous

Of possible interest to philosophers working in logic and philosophy
of math, as well as anyone curious about the reasoning abilities of
artificial intelligence [insert scare quotes where you need to] is a
new model from Harmonic called "Aristotle".
https://dailynous.com/2024/07/11/new-ai-venture-focuses-on-mathematical-reasoning/


JM

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

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

Re: [Logica-l] Fwd: [SBL-Sócios] Nota de profundo pesar (falecimento do Prof. Aldo Figallo Orellano)

[Joao Marcos]

Da homenagem que fizemos ao Aldo em Montevideo:
https://x.com/antitheorem/status/1809411014024126621?t=ypCfscXNcu-Gozd1g3DQCA&s=19

JM

On Mon, Jul 1, 2024, 17:04 Hugo Luiz Mariano  wrote:

> Car@s colegas,
>
> Recebemos com grande pesar a notícia do falecimento, ocorrido na
> quinta-feira 27 de junho, do Professor Aldo Figallo Orellano, nosso colega
> de tantos EBLs.
>
> Especialista em lógica algébrica, desde 2011 Aldo  era professor  na
> Universidad Nacional del Sur, Argentina, mesma instituição onde obteve seu
> doutorado em Matemática.
> Ele foi pós-doutorando da Universidade Estadual de Campinas (2017-2021),
> professor Associado Visitante da Universidade Federal do Rio Grande do
> Norte (2022-2023) e, desde o ano passado,  desenvolvia um projeto Fapesp
> Jovem Pesquisador no IME-USP.
>
>
> Em nome da Sociedade Brasileira de Lógica, externamos nossas condolências
> a seus familiares.
>
> A Diretoria.
> --
> Sociedade Brasileira de Lógica
> http://sbl.org.br
> ___
> Socios mailing list
> soc...@sbl.org.br
> http://sbl.org.br/mailman/listinfo/socios_sbl.org.br
>
> --
> 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/CAOf4PqgB6d4Y%3DD41AJyTt5Wou%3D6UygvB%3DCSHKni_O%2BWarSFFZg%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/CAO6j_LjDghfmRLRA1aM1ZebNrv8vy0YAxA%3Dc%2BJY%3DrHMt6FNDrA%40mail.gmail.com.

[Logica-l] Luiz Paulo de Alcântara

[Joao Marcos]

PessoALL:

Soube que ontem ocorreu o sepultamento, em São Paulo, do Prof. Luiz
Paulo de Alcântara.  Sofreu um AVC e faleceu durante viagem recente a
Portugal.

Membro do CLE, Luiz Paulo me deu aulas de Teoria dos Conjuntos nos
idos de 1997.  Aposentou-se em seguida.  Como não encontrei neste
comunidade nenhuma nota a respeito do recém-ocorrido, achei que
conviria registrar aqui a perda do nosso colega.

Cuidem-se bem!
Joao Marcos

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

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

Re: [Logica-l] Fwd: [SBL-Sócios] Nota de profundo pesar (falecimento do Prof. Aldo Figallo Orellano)

[Joao Marcos]

Esperávamos por Aldo hoje no SLALM em Montevideo.  Uma notícia
tristíssima, chocante...

Joao Marcos

On Mon, Jul 1, 2024 at 5:04 PM Hugo Luiz Mariano  wrote:
>
> Car@s colegas,
>
> Recebemos com grande pesar a notícia do falecimento, ocorrido na quinta-feira 
> 27 de junho, do Professor Aldo Figallo Orellano, nosso colega de tantos EBLs.
>
> Especialista em lógica algébrica, desde 2011 Aldo  era professor  na 
> Universidad Nacional del Sur, Argentina, mesma instituição onde obteve seu 
> doutorado em Matemática.
> Ele foi pós-doutorando da Universidade Estadual de Campinas (2017-2021), 
> professor Associado Visitante da Universidade Federal do Rio Grande do Norte 
> (2022-2023) e, desde o ano passado,  desenvolvia um projeto Fapesp Jovem 
> Pesquisador no IME-USP.
>
>
> Em nome da Sociedade Brasileira de Lógica, externamos nossas condolências a 
> seus familiares.
>
> A Diretoria.
> --
> Sociedade Brasileira de Lógica
> http://sbl.org.br
> ___
> Socios mailing list
> soc...@sbl.org.br
> http://sbl.org.br/mailman/listinfo/socios_sbl.org.br
>
> --
> 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/CAOf4PqgB6d4Y%3DD41AJyTt5Wou%3D6UygvB%3DCSHKni_O%2BWarSFFZg%40mail.gmail.com.



-- 
https://sites.google.com/site/sequiturquodlibet/

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

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

Re: [Logica-l] Raciocínio e Linguagem

[Joao Marcos]

Muito interessante, Bruno!  Por favor compartilhe quando tiver avançado
sobre o estudo da fenomenologia do raciocínio.

Curiosidade: o que vocês acham de conjecturas como estas?
https://www.bbc.com/portuguese/articles/cgll3m2m0r7o
(parte desta pesquisa se deu na Unicamp, e o Chomsky também deu sua opinião
sobre o assunto)

[]s, João Marcos

On Mon, Jun 24, 2024, 13:42 bruno.ramos.mendonca <
bruno.ramos.mendo...@gmail.com> wrote:

> Ola caros,
>
> Tenho dificuldade com essas teses generalizantes: "o raciocínio não exige
> linguagem". Do que estamos falando, exatamente? Raciocínio é um termo
> guarda-chuva que abarca muitas atividades distintas entre si. Para ficar
> num tema que me interessa particularmente: eu tenho alguma conviccao de que
> a prática matemática envolve aspectos dialógicos. Uma demonstracao
> matemática é algo que apresentamos a outros a fim de convence-los da
> validade de uma conjectura. Nesse sentido, tenho dificuldade em entender
> como poderíamos filtrar a prática matemática dos aspectos "comunicativos"
> da linguagem.
>
> Além disso, acho que cabe dizer que, no que se refere ao raciocínio lógico
> dedutivo, um resultado como o enunciado no artigo apresenta grandes
> dificuldades a nossas caracterizacoes tradicionais dos conceitos lógicos
> fundamentais.  Nós tradicionalmente dizemos que a lógica apresenta relações
> de dependência formal (aletica ou inferencial) entre proposições; que, em
> um argumento válido,  a verdade das premissas torna a verdade da conclusão
> necessariamente verdadeira etc. Todos esses modos tipicos pelos quais
> definimos a logica dependem fortemente de uma reducao do raciocínio lógico
> a algo que fazemos com palavras. Felizmente, os estudos em cognição animal
> nos oferecem alternativas teóricas. Contudo, notem que a questao não é
> facil e toca no amago da filosofia da logica.
>
> Por fim, eu ainda teria alguma coisa a dizer sobre esse rechaço muito
> rápido à ideia de que a nossa pratica de raciocinio solitária requer "fala
> interna". Sim, há novas evidências indicando que uma parcela significativa
> da populacao reporta não ter fala interna, mas os resultados ainda são
> muito incipientes. Eles não podem ser tomados como fato cientifico. Para
> decidir essa questão,  precisamos de mais fenomenologia do raciocinio, uma
> área de estudo ainda pouco explorada na literatura. Na esteira de trabalhos
> que temos feito na UFFS e na UFSM (em parceria com o Frank, a Nara entre
> outros pesquisadores), tenho começado a desenvolver um trabalho sobre esse
> assunto. Pretendo apresentar alguns resultados  preliminares dele no
> próximo SBFA.
>
> Abraços
> Bruno Ramos Mendonça
> Universidade  Federal  da Fronteira Sul
>
> Em segunda-feira, 24 de junho de 2024 às 11:54:45 UTC-3, Joao Marcos
> escreveu:
>
>> É de se supor, ainda, que o conceito de linguagem está sendo usado na
>> acepção restrita de conjunto de símbolos gerados por uma gramática
>> (recursiva)?
>>
>> JM
>>
>>
>> On Mon, Jun 24, 2024 at 10:30 AM Marcelo Finger 
>> wrote:
>>
>>> Não acho que insistir na ideia de linguagem como pré-requisito para o
>>> raciocínio é fanatismo.  Como o artigo menciona, essa teoria não começou
>>> com Chomsky, e já existia de forma seminal em Aristóteles.
>>>
>>> Mesmo que linguagem e raciocínio sejam separados, com algum circuitos
>>> cerebrais exclusivos para cada uma destas atividades, existe a questão das
>>> _abstrações_, das quais aparentemente o cérebro se utiliza tanto para
>>> interpretar a realidade como para comunicá-la.
>>>
>>> Ou seja, é bem possível, e até provável, que os circuitos de raciocínio
>>> e linguagem sejam vasos comunicantes.  E a forma como essa comunicação se
>>> dá pode estar na formação dos conceitos abstratos na mente.
>>>
>>> []s
>>>
>>>
>>> Em dom., 23 de jun. de 2024 às 16:17, Joao Marcos 
>>> escreveu:
>>>
>>>> O fanatismo é sempre um problema.
>>>>
>>>> Imaginar que a teoria da Gramática Universal, que sugere que a
>>>> habilidade de aquisição de linguagem é inata ao ser humano, implique
>>>> que "precisamos de linguagem para pensar" parece um bom exemplo de
>>>> erro lógico.  E concluir a partir de
>>>> "Se houver um déficit grave de linguagem, haverá um déficit grave de
>>>> pensamento",
>>>> que é impossível que um
>>>> "texto gramatical muito fluente"
>>>> possa existir sem que
>>>> "um pensamento subjacente coerente"
>>>> esteja na sua base parece u

Re: [Logica-l] Raciocínio e Linguagem

[Joao Marcos]

É de se supor, ainda, que o conceito de linguagem está sendo usado na
acepção restrita de conjunto de símbolos gerados por uma gramática
(recursiva)?

JM


On Mon, Jun 24, 2024 at 10:30 AM Marcelo Finger  wrote:

> Não acho que insistir na ideia de linguagem como pré-requisito para o
> raciocínio é fanatismo.  Como o artigo menciona, essa teoria não começou
> com Chomsky, e já existia de forma seminal em Aristóteles.
>
> Mesmo que linguagem e raciocínio sejam separados, com algum circuitos
> cerebrais exclusivos para cada uma destas atividades, existe a questão das
> _abstrações_, das quais aparentemente o cérebro se utiliza tanto para
> interpretar a realidade como para comunicá-la.
>
> Ou seja, é bem possível, e até provável, que os circuitos de raciocínio e
> linguagem sejam vasos comunicantes.  E a forma como essa comunicação se dá
> pode estar na formação dos conceitos abstratos na mente.
>
> []s
>
>
> Em dom., 23 de jun. de 2024 às 16:17, Joao Marcos 
> escreveu:
>
>> O fanatismo é sempre um problema.
>>
>> Imaginar que a teoria da Gramática Universal, que sugere que a
>> habilidade de aquisição de linguagem é inata ao ser humano, implique
>> que "precisamos de linguagem para pensar" parece um bom exemplo de
>> erro lógico.  E concluir a partir de
>> "Se houver um déficit grave de linguagem, haverá um déficit grave de
>> pensamento",
>> que é impossível que um
>> "texto gramatical muito fluente"
>> possa existir sem que
>> "um pensamento subjacente coerente"
>> esteja na sua base parece um erro lógico pior ainda.
>> Além disso, hoje provavelmente temos contra-exemplos empíricos claros
>> para tudo isto.
>>
>> Posso estar me lembrando mal, mas recordo-me claramente de Chomsky
>> apontar muitas vezes para o fato de que criaturas não-linguísticas
>> (como alguns animais) podem apresentar habilidades de resolução de
>> problemas e outras formas de raciocínio complexo, e também me recordo
>> de o próprio Chomsky ter chamado repetidamente a atenção para o fato
>> de que os seres humanos possuem diversas formas de raciocínio
>> não-verbal, por exemplo, com base visual ou abstrata.  Então pode
>> haver um _pouquinho_ de sensacionalismo nestes anúncios feitos pelos
>> neurocientistas, né?  Valerá a pena, de todo modo, conferir o artigo
>> desse pessoal, para avaliar qual seria seu real alcance, e avaliar se
>> os jornalistas não se perderam pelo caminho da "construção da
>> notícia":
>> https://www.nature.com/articles/s41586-024-07522-w
>>
>> Haverá certamente gente muito melhor preparada do que eu nesta lista
>> para debater a hipótese chomskyana, com suposta base biológica, de que
>> a linguagem enriquece e expande as nossas habilidades cognitivas.  Mas
>> é possível, também, que não haja muita gente aqui que duvide disso...
>>
>> Não sou historiador, e talvez por isso desconheça a existência de
>> teóricos anteriores a Chomsky que tenham defendido de forma mais
>> explícita e clara, no campo da Linguística, a natureza *recursiva* da
>> linguagem humana.  Saussure claramente não foi capaz de enxergar isso.
>> Isto, sim, foi uma verdadeira revolução, agitando as águas de uma
>> forma tão violenta que ainda hoje sentimos as marolas.  Aqui na
>> Lógica, tendo em vista o trabalho igualmente monumental de Gödel e
>> Turing sobre a formalização da recursão, podemos fornecer
>> infra-estrutura teórica para tirar proveito deste movimento.  E daí
>> nasceram contribuições importantes na fronteira entre Lógica e
>> Linguística, como a de Richard Montague (continuado por linguistas
>> como Barbara Partee, Irene Heim,  Angelika Kratzer).  Tendo tudo isso
>> em vista, eu diria: viva Chomsky! ;-b
>>
>> Tendo me debruçado recentemente sobre textos escritos por linguistas
>> que trabalham na área de Semântica Formal, confesso que minha maior
>> preocupação tem sido a aparente débil formação lógica, que os leva com
>> alguma frequência a escrever algumas barbaridades...
>>
>> []s, Joao Marcos
>>
>> On Sun, Jun 23, 2024 at 2:30 PM Carlos Augusto Prolo
>>  wrote:
>> >
>> >
>> >
>> > Em dom., 23 de jun. de 2024 14:14, Joao Marcos 
>> escreveu:
>> >>
>> >> O que todo matemático sempre soube, rsrsss...
>> >
>> >
>> > Alternativamente, o que só os  seguidores fanáticos de Chomsky
>> rejeitavam [e possivelmente ainda continuem negando]. E são muitos ...
>> >
>> > Prolo
>> >>
>> >>
>> >> JM
>> >>
>> >> On Sun,

[Logica-l] Workshop de Lógica PPGLM / UFRJ

[Joao Marcos]

Amanhã começa este evento, transmitido em tempo real pelo YouTube:

Workshop de Lógica
PPGLM / UFRJ
https://www.youtube.com/playlist?list=PLqOJPms8r-Uh5mo_8He5CgDEbeBmFso54

Parece-me que não chegou a ser divulgado nesta lista?

Infelizmente, na programação não constam os títulos das palestras.
Estou seguro, contudo, de que algumas delas podem interessar aos
colegas desta lista.

JM

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

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

[Logica-l] questão sobre material de ensino para Filosofia: lógica & recursão

[Joao Marcos]

PessoALL:

Aproveito o ensejo da discussão recente aqui na lista sobre Lógica &
Linguística para pedir aos colegas indicações de material (com
"relevância filosófica", e não apenas _computacional_) voltado ao
ensino de *raciocínio recursivo*.

Parece-me francamente impossível ensinar _seriamente_ Lógica ---a
nível superior, ao menos--- para quem quer que seja sem considerar os
aspectos recursivos, *estruturais*, de qualquer uma destas coisas:
sintaxe, sistemas dedutivos, semântica, ou metalógica.  Tenho contudo
a impressão de que boa parte dos livros-texto "clássicos" de *Lógica
Matemática* _subestimam_ amplamente este aspecto recursivo, e a imensa
maioria de livros-texto de *Lógica para Filosofia* simplesmente
_evitam_ cuidadosamente tocar neste assunto...

Fiz nos últimos meses uma (pequeníssima) lista de material relevante à
questão elaborada acima, mas gostaria antes de mais nada de receber
dos colegas, na lista ou fora dela, sugestões de material a usar em
sala de aula para o tratamento adequado deste tópico, com particular
aplicação ao ensino de Lógica para estudantes de Filosofia (ou de
Linguística).

Agradeço desde já,
Joao Marcos

-- 
https://sites.google.com/site/sequiturquodlibet/

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

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

Re: [Logica-l] Raciocínio e Linguagem

[Joao Marcos]

O fanatismo é sempre um problema.

Imaginar que a teoria da Gramática Universal, que sugere que a
habilidade de aquisição de linguagem é inata ao ser humano, implique
que "precisamos de linguagem para pensar" parece um bom exemplo de
erro lógico.  E concluir a partir de
"Se houver um déficit grave de linguagem, haverá um déficit grave de
pensamento",
que é impossível que um
"texto gramatical muito fluente"
possa existir sem que
"um pensamento subjacente coerente"
esteja na sua base parece um erro lógico pior ainda.
Além disso, hoje provavelmente temos contra-exemplos empíricos claros
para tudo isto.

Posso estar me lembrando mal, mas recordo-me claramente de Chomsky
apontar muitas vezes para o fato de que criaturas não-linguísticas
(como alguns animais) podem apresentar habilidades de resolução de
problemas e outras formas de raciocínio complexo, e também me recordo
de o próprio Chomsky ter chamado repetidamente a atenção para o fato
de que os seres humanos possuem diversas formas de raciocínio
não-verbal, por exemplo, com base visual ou abstrata.  Então pode
haver um _pouquinho_ de sensacionalismo nestes anúncios feitos pelos
neurocientistas, né?  Valerá a pena, de todo modo, conferir o artigo
desse pessoal, para avaliar qual seria seu real alcance, e avaliar se
os jornalistas não se perderam pelo caminho da "construção da
notícia":
https://www.nature.com/articles/s41586-024-07522-w

Haverá certamente gente muito melhor preparada do que eu nesta lista
para debater a hipótese chomskyana, com suposta base biológica, de que
a linguagem enriquece e expande as nossas habilidades cognitivas.  Mas
é possível, também, que não haja muita gente aqui que duvide disso...

Não sou historiador, e talvez por isso desconheça a existência de
teóricos anteriores a Chomsky que tenham defendido de forma mais
explícita e clara, no campo da Linguística, a natureza *recursiva* da
linguagem humana.  Saussure claramente não foi capaz de enxergar isso.
Isto, sim, foi uma verdadeira revolução, agitando as águas de uma
forma tão violenta que ainda hoje sentimos as marolas.  Aqui na
Lógica, tendo em vista o trabalho igualmente monumental de Gödel e
Turing sobre a formalização da recursão, podemos fornecer
infra-estrutura teórica para tirar proveito deste movimento.  E daí
nasceram contribuições importantes na fronteira entre Lógica e
Linguística, como a de Richard Montague (continuado por linguistas
como Barbara Partee, Irene Heim,  Angelika Kratzer).  Tendo tudo isso
em vista, eu diria: viva Chomsky! ;-b

Tendo me debruçado recentemente sobre textos escritos por linguistas
que trabalham na área de Semântica Formal, confesso que minha maior
preocupação tem sido a aparente débil formação lógica, que os leva com
alguma frequência a escrever algumas barbaridades...

[]s, Joao Marcos

On Sun, Jun 23, 2024 at 2:30 PM Carlos Augusto Prolo
 wrote:
>
>
>
> Em dom., 23 de jun. de 2024 14:14, Joao Marcos  escreveu:
>>
>> O que todo matemático sempre soube, rsrsss...
>
>
> Alternativamente, o que só os  seguidores fanáticos de Chomsky rejeitavam [e 
> possivelmente ainda continuem negando]. E são muitos ...
>
> Prolo
>>
>>
>> JM
>>
>> On Sun, Jun 23, 2024, 14:12 Carlos Augusto Prolo  wrote:
>>>
>>> Boa tarde.
>>>
>>> https://www1.folha.uol.com.br/ciencia/2024/06/nao-precisamos-de-linguagem-para-pensar-sugerem-neurocientistas.shtml
>>>
>>> Abraco.
>>> Prolo
>>>
>>> --
>>> 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/CAD7MeJs9bWpHLgVQCkhX3SYkPg8-y6u4ezwNAdAh_iU4KT9-Hg%40mail.gmail.com.



-- 
https://sites.google.com/site/sequiturquodlibet/

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

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

Re: [Logica-l] Raciocínio e Linguagem

[Joao Marcos]

O que todo matemático sempre soube, rsrsss...

JM

On Sun, Jun 23, 2024, 14:12 Carlos Augusto Prolo 
wrote:

> Boa tarde.
>
>
> https://www1.folha.uol.com.br/ciencia/2024/06/nao-precisamos-de-linguagem-para-pensar-sugerem-neurocientistas.shtml
>
> Abraco.
> Prolo
>
> --
> 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/CAD7MeJs9bWpHLgVQCkhX3SYkPg8-y6u4ezwNAdAh_iU4KT9-Hg%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/CAO6j_LhmYk5EPeLe4zU1aFvkHJaw4NGRMRwsq4XjwffgyQvjRg%40mail.gmail.com.

[Logica-l] A Searchable Digital Map of Principia Mathematica

[Joao Marcos]

https://dailynous.com/2024/06/19/a-searchable-digital-map-of-principia-mathematica/

The aim of the map, say creators Landon D.C. Elkind (Western
Kentucky), Gregory Landini (Iowa), and Matthew Butler (Iowa), is to
“make clear structural connections between different parts of
Principia and to make analyzable data about the theorems, definitions,
and primitive postulates in its text.”


JM

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

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

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

[Joao Marcos]

https://dailynous.com/2024/06/13/nuel-belnap-1930-2024/


JM

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

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

Re: [Logica-l] AI Will Become Mathematicians’ ‘Co-Pilot’

[Joao Marcos]

> Muitos matemáticos terão que ser retreinados, e muitíssimo se recusarão a 
> sê-lo.

Ah, pois, isso me faz lembrar de como o Instituto Metrópole Digital da
UFRN conseguiu contratar, há poucos anos, servidores "especialistas em
editoração eletrônica" que se recusam a aprender a usar LaTeX...

[]s, Joao Marcos

-- 
https://sites.google.com/site/sequiturquodlibet/

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

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

[Logica-l] AI Will Become Mathematicians’ ‘Co-Pilot’

[Joao Marcos]

AI Will Become Mathematicians’ ‘Co-Pilot’
- Fields Medalist Terence Tao explains how proof checkers and AI
programs are dramatically changing mathematics
https://www.scientificamerican.com/article/ai-will-become-mathematicians-co-pilot/

(incluindo grande propaganda do LEAN)


JM

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

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

[Logica-l] Alonzo Church Award 2024

[Joao Marcos]

The European Association for Computer Science Logic (EACSL), the
European Association for Theoretical Computer Science (EATCS), and the
ACM Special Interest Group for Logic and Computation (SIGLOG) are
pleased to announce that the 2024 Alonzo Church Award for Outstanding
Contributions to Logic and Computation is presented jointly to

Thomas Ehrhard and Laurent Regnier

for giving a logical and computational account of differentiation,
bringing Taylor expansion to the Curry-Howard correspondence, which
had a major impact on programming language semantics.

https://www.eacsl.org/alonzo-church-award/

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

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

[Logica-l] [humor] da profundidade axiomática

[Joao Marcos]

https://www.smbc-comics.com/comic/simple


JM

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

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

[Logica-l] Fwd: Fully Funded PhD Position on Axiomatic Definitions at the University of Aix-Marseille

[Joao Marcos]

-- Forwarded message -

just for advertising this Fully funded PhD position in "Axiomatic
definitions. Criteria of adequacy and typologies of definitions in
axiomatic theories of 19th and 20th centuries", at the Centre Gilles
Gaston Granger, University of Aix-Marseille. It is part of the ANR
project AXDEF led by Paola Cantù. Deadline for application: 03 June
2024. Link for further information. Email for further inquiries:
paola.ca...@univ-amu.fr.

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

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

[Logica-l] fail better!

[Joao Marcos]

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


JM

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

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

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

[Joao Marcos]

-- Forwarded message -

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


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

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

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

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

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

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

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

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

[Logica-l] MA in Philosophy & Computing

[Joao Marcos]

Novo mestrado na Universidade de Bayreuth:
https://dailynous.com/2024/05/06/new-an-ma-program-in-philosophy-computing


JM

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

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

[Logica-l] Nel Logic Workshop, 13-14/05/2024

[Joao Marcos]

PessoALL:

Com apresentações do Cezar, do Ederson, da Evelyn, do Hitoshi e do
Jonas, este evento na UFSC pode ser de interesse para alguns dos
colegas:
https://drive.google.com/file/d/1o6pqC5Pg-6_rNPSpd9PO0ctJ9D_cPUBI/

[]s, Joao Marcos

-- 
https://sites.google.com/site/sequiturquodlibet/

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

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

[Logica-l] Fwd: CALL FOR APPLICATIONS -- Logic for the AI Spring 2

[Joao Marcos]

-- Forwarded message -

CALL FOR APPLICATIONS

Logic for the AI Spring 2

Summer School at Lake Como School of Advanced Studies, September 2-6, 2024

https://lais.lakecomoschool.org/


DESCRIPTION


In its second edition, Logic for the AI Spring, continues bringing
together logicians and AI scientists working around and within the
currently blossoming new AI Spring.  The program is designed to equip
participants with a comprehensive  understanding of cutting-edge
logical methods for AI, neuro-symbolic AI, and Human-AI interaction.
It also includes topics related to the  broader culture of AI, vital
for addressing urgent technological,  scientific, and societal
challenges in the field The School is designed to provide them with a
background on the cutting-edge on logical methods for AI,
neuro-symbolic AI , Human-AI interaction, in addition to the larger
culture of AI, which is necessary to tackle the urgent technological,
scientific and societal challenges surrounding the field.



TUTORIALS



·  Neurosymbolic AI (Vaishak Belle, University of Edinburgh and
Alan Turing Institute)

·  Logic-based reasoning for strategic abilities of socially
Interacting rational agents (Valentin Goranko, Stockholm University)

·  History and Culture of Al (María Vanina  Martinez, Artificial
Intelligence Research Institute IIIA-CSIC Barcelona)

·  Fairness: Perspectives from Computational Social Choice
(Arianna Novaro, Université Paris 1 Panthéon-Sorbonne)

·  Logic Tensor Networks (Luciano Serafini, Fondazione Bruno
Kessler, Bolzano)



POSTER SESSION

A selection of participants will have an opportunity to present their
own work in a dedicated Poster Session . The following is a
(non-exhaustive) list of topics in which we welcome submissions:



· Knowledge representation and reasoning in AI

· Logical methods in AI

· Uncertainty and decision-making in AI

· Computational social choice

· Explainable AI

· Human-compatible AI

· AI-driven science.



APPLICATION

Registration fees: 250 euro, VAT 22% included.  The fee covers all
lectures; course materials; lunches and coffee breaks; social dinner.



HOW TO APPLY

Details available at https://lais.lakecomoschool.org/application/



DEADLINES:

· Application: June 15, 2024

· Notification of acceptance: June 30, 2024

· Registration (only accepted participants):  10 July, 2024



SUPPORT

We can offer limited financial support for particularly strong
candidates who do not have access to funding. If you wish to apply for
it, please send to hykel.ho...@unimi.it a letter stating your funding
status.



SPECIAL ISSUE

We renewed our agreement with the International Journal of Approximate
Reasoning for a Special lssue to follow up on the themes covered by
the School.

https://www.sciencedirect.com/journal/international-journal-of-approximate-reasoning/about/call-for-papers#logics-for-the-new-ai-spring-2

School participants are particularly encouraged to submit their
original research to the SI (the usual refereeing procedure applies to
guarantee the highest scientific standards).



ONE-DAY WORKSHOP

This edition of Logic for the New AI Spring will host a workshop on
New perspectives on formal representations of cognitive attitudes
organised by Ekaterina Kubyshkina and Costanza Larese (LUCI Lab,
Milano) The workshop, which will take place on Wednesday 4 September,
is focussed on the formal representation of the cognitive attitudes of
agents, encompassing constructs such as knowledge, belief, and
awareness, among others.



ORGANISERS

Tommaso Flaminio, Artificial Intelligence Research Institute, IIIA --
Spanish National Research Council, CSIC
Hykel Hosni, LUCI Lab, Department of Philosophy, University of Milan
Giuseppe Primiero, LUCI Lab, Department of Philosophy, University of Milan

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

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

[Logica-l] NF really is consistent

[Joao Marcos]

https://www.logicmatters.net/2024/04/21/nf-really-is-consistent/
(because Lean says so!)

the paper
https://randall-holmes.github.io/Nfproof/maybedetangled2.pdf

[]s, JM

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

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

[Logica-l] Fwd: One-year postdoc, University of Salzburg (corrected version)

[Joao Marcos]

-- Forwarded message -

As part of the Cluster of Excellence ‘Knowledge in Crisis’, funded by the
Austrian Science Fund (FWF) [COE 03], the Paris Lodron University of
Salzburg is seeking to appoint a


*postdoctoral researcher (f/m/d; 40 hours/week; for 1 year)*

The advertised position is based at the Philosophy Department, Faculty of
Social Sciences. The recently awarded Cluster of Excellence research
project, Knowledge in Crisis investigates the current crisis of knowledge.
Our claims to knowledge are being threatened by rapid and spectacular
developments in technology, and by attacks on the very ideas of knowledge
and truth themselves. The aim of the Cluster is to advance our
understanding of this crisis. It will explore fundamental philosophical
questions about the nature of knowledge and investigate various challenges
to scientific and other knowledge. In this pursuit it brings together
philosophers working on metaphysics, ethics, political and social
philosophy, philosophy of language, philosophy of mind, philosophy of
science and epistemology to jointly investigate the many facets of the
crisis.

The Cluster is a collaboration between four Institutions (CEU and the
universities of Vienna, Graz and Salzburg). The Cluster will eventually
involve over 45 researchers across the four participating institutions. You
can find out more about the project on this website:
https://philosophy.ceu.edu/knowledge-crisis

The main duties are:

   - To conduct independent research in Philosophy of Logic or Logic or
   Philosophy of Language in the context of the project and disseminate it
   through publications in international peer-reviewed academic journals
   - To actively participate in the regular meetings and events of the
   Cluster
   - To contribute to Cluster activities by organising Cluster events (e.g.
   workshops, seminars, talks, summer schools)
   - To participate in outreach activities of the Cluster and contribute to
   events aimed at the general public
   - To help with organizational tasks that are part of the
   self-administration of the university.

We expect:

   - A PhD in philosophy (the PhD should be completed by the application
   deadline)
   - A record of producing high-quality research in Philosophy of Logic or
   Logic or Philosophy of Language as evidenced by publications (commensurate
   with the applicant’s career stage)
   - Excellent written and spoken English
   - The ability to work both independently and as part of a team
   - Willingness to take on a formative role in fostering a community
   across the Cluster
   - Organisational skills

While there are no teaching duties associated with these positions there
will be opportunities to teach courses in the department. Courses can be
taught in English.

The gross monthly salary is € 4752,30. In Austria, 14 monthly salaries are
paid out in a year. (Net salaries can be calculated on this page:
onlinerechner.haude.at/BMF-Brutto-Netto-Rechner/.
)

Funding is available for conference trips and stays abroad. The contract is
for one year.

Applications should contain the following documents (in *pdf-format*) and
should be sent by 23 May 2024 to Kathrin Hommel (kathrin.hommel AT
plus.ac.at).

   - A cover letter,
   - A CV, containing at least the following rubrics: academic
   qualifications, areas of expertise and competence, publications,
   presentations, admin/organizational experience, career breaks (if any)
   - A research proposal, of no more than three pages,
   - Two article-length writing samples,
   - Degree certificates and academic transcripts,
   - Two confidential letters of recommendation, which should also be sent
   to Kathrin Hommel

*The subject line of your email should by 'One year postdoc KIC'*

Selection Process: We expect to shortlist candidates for interview by early
June and hold online interviews in the second half of June 2024. *Important*:
If your application is successful and you accept a position at the
University of Salzburg, you will need to move to Salzburg before you can
start employment. Any questions can be directed to Kathrin Hommel
(kathrin.hommel AT plus.ac.at).

The Paris Lodron University of Salzburg is committed to equity, diversity,
and inclusion. All qualified applicants will receive consideration for
employment without regard to race, colour, religion, gender, gender
identity, sexual orientation, national origin, disability, or age.

Individuals with disabilities or chronic illnesses who meet the required
qualification criteria are explicitly encouraged to apply. The Paris Lodron
University Salzburg aims to increase the proportion of women in its staff
and therefore, in case of equal qualifications, women will be given
priority.


--


Assoc. Prof. Dr Julien Murzi 

Philosophy Department GW

University of Salzburg

Franziskanergasse 1

5020 Salzburg


FWF Project (2021-2025): Categoricit

[Logica-l] Fwd: 2nd CFP (extended deadline): Non-Classical Logics. Theory and Applications XI, Lodz, Poland, September 5-8, 2024 - Michał Zawidzki

[Joao Marcos]

-- Forwarded message -

--
*NON-CLASSICAL LOGICS. THEORY AND APPLICATIONS XI*
--

*CALL FOR PAPERS*

*DATES*

*Abstract registration deadline (extended):* May 4, 2024
*Submission deadline (extended):* May 10, 2024
*Conference website:* https://easychair.org/smart-program/NCL'24/
*Submission link:* https://easychair.org/conferences/?conf=ncl24

*AIMS*

The Conference — devoted to non-classical logics — was initially held
in Łódź in September 2008 and 2009. Later on, it was organized
alternately in Toruń (2010, 2012, 2015, 2018) and Łódź (2011, 2013,
2016, 2022). The conference serves as a forum to exchange novel
results effectively and to survey works in non-classical logics,
broadly construed, and their applications.

In this year's, eleventh, edition of the Conference we particularly
welcome submissions concerned with term-forming operators and
formalisation of complex names, like definite descriptions, both with
regard to their philosophical background and formal properties, as
well as applications in mathematics and computer science (e.g., in
databases or ontologies).

*SCOPE*

Topics of theoretical and applied interest including (but not limited to):

- many-valued logics,
- modal logics,
- non-monotonic logics,
- paraconsistent logics,
- plausible reasoning,
- substructural logics,
- contra-classical logics,
- relevant and connexive logics,
- description logics,
- proof theory,
- computational complexity of logics.

Cross-disciplinary submissions concerning logics in the context of:

- cognitive science,
- computer science,
- foundations of mathematics,
- philosophy of language,
- philosophy of mind

are also welcome.

*WORKSHOP ON CONNEXIVE LOGICS*

This year's edition of the Conference will be co-located with the 8th
Workshop on Connexive Logics which will be held on 8th and 9th
September 2024.

*SUBMISSION GUIDELINES*

Participants are invited to submit their papers on all topics relevant
to the conference. Cross-disciplinary contributions are particularly
welcome. Articles should be in English and must not exceed 12 pages
excluding references. Clearly marked appendices containing additional
figures, proofs etc. are allowed and will be refereed at the
discretion of the reviewers. However, the appendix will not be
included in the final version of the conference proceedings. All
papers should be submitted via the Non-Classical Logics EasyChair
website:

https://easychair.org/conferences/?conf=ncl24

At least one of the authors of an accepted paper must register for and
attend the conference for the contribution to be presented.

*REVIEWING PROCESS*

Each contribution will be reviewed by at least two members of the
program committee. Papers will be accpeted/rejected based on the
scores given by the reviewers and on the discussion of the PC members
stemming from the former.

*COMMITTEES*

*PROGRAM COMMITTEE*

- Sankha S. Basu (Indraprastha Institute of Information Technology Delhi,
India)
- Patrick Blackburn (University of Roskilde, Denmark)
- Alexander Bolotov (University of Westminster, UK)
- Stéphane Demri (CNRS & ENS Paris-Saclay, France)
- Tomasz Jarmużek (Nicolaus Copernicus University, Toruń, Poland)
- Norihiro Kamide (Nagoya City University, Aichi, Japan)
- Nils Kurbis (University of  Lodz, Poland / University of Bochum,
Germany / University College London, UK)
- Timo Lang (University College London, UK)
- Dorota Leszczyńska-Jasion (Adam Mickiewicz University, Poznań, Poland)
- Joao  Marcos (Federal University of Santa Catarina, Florianopolis, Brazil)
- Manuel Antonio Martins (University of Aveiro, Portugal)
- Dale Miller (Inria Saclay - Ile-de-France, Palaiseau, France)
- Nicola Olivetti (Aix-Marseille University, France)
- Eugenio Orlandelli (University of Bologna, Italy)
- Francesco Paoli (University of Cagliari, Italy)
- Luiz Carlos Pereira (Pontifical Catholic University of Rio de Janeiro,
Brazil)
- Thomas Piecha (University of Tübingen, Germany)
- Elaine Pimentel (University College London, UK)
- Francesca Poggiolesi (Université Paris 1 Pantheon-Sorbonne, France)
- Revantha Ramanayake (University of Groningen, The Netherlands)
- Yaroslav Shramko (Kryvyi Rih State Pedadogical University, Ukraine)
- Heinrich Wansing (Ruhr University Bochum, Germany)

*ORGANISING COMMITTEE*

- Andrzej Indrzejczak (Head, University of Lodz, Poland)
- Yaroslav Petrukhin (University of Lodz, Poland)
- Przemyslaw Walega (University of Oxford, UK / University of Lodz, Poland)
- Michal Zawidzki (University of Lodz, Poland)

*INVITED SPEAKERS*

*Non-Classical Logic. Theory and Applications*

- Agata Ciabattoni (Vienna University of Technology, Austria)
- Valentin Goranko (Stockholm University, Sweden)
- Rajeev Gore (Australian National University, Canberra, Australia)
- Hanamantagouda P. Sankappanavar (State Univer

[Logica-l] Re: resources on AI to assist mathematical reasoning

[Joao Marcos]

também de possível interesse para as mesmas pessoas interessadas nos
links anteriores:

$10mn AI Mathematical Olympiad Prize Launches
https://aimoprize.com/

"The AIMO Prize [..] will help compare different AI problem solving
strategies at a technical level, in a manner that will be accessible
and appealing to the broader public."
-- Terence Tao, UCLA

On Sat, Apr 20, 2024 at 10:20 AM Joao Marcos  wrote:
>
> editable list of resources
> https://docs.google.com/document/d/1kD7H4E28656ua8jOGZ934nbH2HcBLyxcRgFDduH5iQ0/edit
>
> workshop
> https://www.nationalacademies.org/event/06-12-2023/ai-to-assist-mathematical-reasoning-a-workshop
>
>
> JM



-- 
https://sites.google.com/site/sequiturquodlibet/

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

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

[Logica-l] resources on AI to assist mathematical reasoning

[Joao Marcos]

editable list of resources
https://docs.google.com/document/d/1kD7H4E28656ua8jOGZ934nbH2HcBLyxcRgFDduH5iQ0/edit

workshop
https://www.nationalacademies.org/event/06-12-2023/ai-to-assist-mathematical-reasoning-a-workshop


JM

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

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

[Logica-l] Fwd: Women in formal Mathematics

[Joao Marcos]

-- Forwarded message -
From: Valeria de Paiva
Date: Thu, Apr 18, 2024 at 1:55 PM
Subject: [WiL] Women in formal Mathematics
To: 


hi all,
I am very pleased to announce our workshop as part of the Hausdorff
Institute program on Prospects of Formalized mathematics

https://www.mathematics.uni-bonn.de/him/programs/special-events/women-in-formal-math

please help to announce it to others who may be interested!
(and let me know if I've made mistakes!)

thanks for all you do,
Valeria

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

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

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

[Logica-l] Re: Newton da Costa [1929-2024]

[Joao Marcos]

Obituário publicado pela Filosofia / UFSC:
https://fil.cfh.ufsc.br/nota-de-pesar-newton-carneiro-affonso-da-costa-1929-2024/

JM

On Wed, Apr 17, 2024, 11:24 Joao Marcos  wrote:

> Qual o valor exato das palavras?  Este é aquele momento em que mais
> sentimos falta delas, e em que mais elas nos faltam.
>
> Neste exato momento, vários obituários estão sendo preparados pela
> comunidade.  Abro aqui na lista um espaço para que os colegas da
> Lógica possam registrar, como melhor lhes aprouver, suas ternas
> lembranças e suas homenagens ao mestre da Costa:
> https://twitter.com/antitheorem/status/1780569310894666211
>
> Com pesar,
> Joao Marcos
>

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

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

[Logica-l] Newton da Costa [1929-2024]

[Joao Marcos]

Qual o valor exato das palavras?  Este é aquele momento em que mais
sentimos falta delas, e em que mais elas nos faltam.

Neste exato momento, vários obituários estão sendo preparados pela
comunidade.  Abro aqui na lista um espaço para que os colegas da
Lógica possam registrar, como melhor lhes aprouver, suas ternas
lembranças e suas homenagens ao mestre da Costa:
https://twitter.com/antitheorem/status/1780569310894666211

Com pesar,
Joao Marcos

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

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

[Logica-l] Avi Wigderson, Complexity Theory Pioneer, Wins Turing Award

[Joao Marcos]

https://www.quantamagazine.org/avi-wigderson-complexity-theory-pioneer-wins-turing-award-20240410/


JM

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

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

[Logica-l] Fwd: CfNominations: Beth Dissertation Prize 2024 for dissertations in Logic / Language and Information, deadline: 30 April 2024

[Joao Marcos]

-- Forwarded message -

E W BETH DISSERTATION PRIZE 2024

=
Since 2002, the Association for Logic, Language, and Information
(FoLLI) has been awarding the annual E.W. Beth Dissertation Prize to
outstanding Ph.D. dissertations in Logic, Language, and Information
with financial support of the E.W. Beth Foundation.  Nominations are
now invited for the best dissertation in these areas resulting in a
Ph.D. degree awarded in 2023.
=

Qualifications:

  - A Ph.D. dissertation on a topic concerning Logic, Language, or
Information is eligible for the Beth Dissertation Prize 2024, if the
degree was awarded between January 1st and December 31st, 2023.

  - There are no restrictions on the nationality, ethnicity, age,
gender or employment status of the author of the nominated
dissertation, nor on the university, academic department or scientific
institution formally conferring the Ph.D. degree, nor on the language
in which the dissertation has originally been written.

  - In accordance with the aim of the Beth Foundation to continue and
extend the work of the Dutch logician Evert Willem Beth, nominations
are invited of excellent dissertations on topics in the broad remit of
ESSLLI, including current topics in philosophical and mathematical
logic, computer science logic, philosophy of science, philosophy of
language, history of logic, history of the philosophy of science and
scientific philosophy in general, as well as the current theoretical
and foundational developments in information and computation,
language, and cognition. Dissertations with results more broadly
impacting various research areas in their interdisciplinary
investigations are especially solicited.

  - If a nominated dissertation has originally been written in a
language other than English, its dossier should still contain the
required 10 page English abstract, see below. If the committee decides
that a nominated dissertation in a language other than English
requires translation to English for proper evaluation, the committee
can transfer its nomination to the competition in 2025. The English
translation must in such cases be submitted before the deadline of the
call for nominations in 2025. The committee may recommend the Beth
Foundation to consider supporting such nominated dissertations for
English translation, upon request by the author of the dissertation.

The prize consists of:

  - a certificate

  - a donation of 3000 euros, provided by the E.W. Beth Foundation. In
case two dissertations are selected, the prize will be split between
the winners.

  - an invitation to submit the dissertation, possibly after revision,
for publication in FoLLI Publications on Logic, Language and
Information (Springer).

Only digital submissions are accepted, without exception. Hard copy
submissions are not allowed. The following documents are to be
submitted in the nomination dossier:

  - The original dissertation in pdf format (ps/doc/rtf etc. not acceptable).

  - A ten-page English abstract of the dissertation, presenting the
main results of each chapter.

  - A letter of nomination from the dissertation supervisor, which
concisely describes the scope and significance of the dissertation,
stating when the degree was officially awarded and the members of the
Ph.D. committee. Nominations should contain the address, phone and
email details of the nominator.

  - Two additional letters of support, including at least one from a
referee not affiliated with the academic institution that awarded the
Ph.D. degree, nor otherwise related to the nominee (e.g. former
teachers, supervisors, co-authors, publishers or relatives) or the
dissertation.

  - Self-nominations are not possible.

All pdf documents must be submitted electronically, *as one pdf file*,
via EasyChair by following the link

https://easychair.org/conferences/?conf=beth24

***The deadline is April 30, 2024.***

In case of any problems or questions please contact the chair of the
committee Elaine Pimentel (e.pimen...@ucl.ac.uk).

The prize will be awarded by the chair of the FoLLI board at a
ceremony during the 35th ESSLLI summer school in Leuven, Belgium, 29
July - 9 August 2024.

Beth dissertation prize committee 2024 (more TBA):

Guy Emerson (University of Cambridge)
Chris Fermüller (TU-Wien)
Herman Geuvers (Radboud University Nijmegen) Erich Gr??del (RWTH
Aachen University) Sandra Kiefer (University of Oxford) Laura Kovacs
(TU Wien) Clemens Kupke (University of Strathclyde) Larry Moss
(Indiana University Bloomington) Reinhard Muskens (ILLC, University of
Amsterdam) Alberto Naibo (IHPST - Universit?? Paris 1
Panthéon-Sorbonne) Elaine Pimentel (University College London, chair)
Francesca Poggiolesi (IHPST - Universit?? Paris 1 Panthéon-Sorbonne)
Lutz Schröder (FAU Erlangen-Nürnberg) Ana Sokolova (University of
Salzburg) Benjamin Spector (CNRS/E

[Logica-l] Fwd: CfNomination: 'Dov Gabbay Prize" for Logic and Foundation, deadline: 30 April 2024

[Joao Marcos]

-- Forwarded message -

The ''Dov Gabbay Prize for Logic and Foundations'' is an international
research prize aimed at outstanding and inspirational contributions in
Logic and Foundations. It targets active researchers combining
foundational insight and conceptual innovation with sophisticated
theoretical analysis.

The theme of 2024 is: "Mathematical Logic and its Foundations"

The prize honours the extraordinary, multi-faceted and lifelong
scientific and editorial work of Dov Gabbay, known among others for
editing an extensive collection of Logic Handbooks (Short
bio: https://dgp.iloaf.org/dov.html).

Submission:

Each nomination of a researcher should provide an accessible
justification and list the main publications considered relevant. It
also has to include the name, affiliation, and email address of the
nominator.
Self-nominations are excluded and the nominee should not be in a
hierarchical relationship with the nominator. Last year's submissions
from Mathematical Logic will be reincluded by default.

Proposals in pdf-format should be sent to "dgp[at]iloaf[dot]org".

The deadline for this call is April 30, 2024.

Decision:

The selection is made by an independent jury consisting of seven
renowned logicians representing Mathematical, Philosophical, and
Computational
logic:

John T. Baldwin (University of Illinois Chicago) Johan van Benthem
(University of Amsterdam/Stanford University) Christoph Benzmueller
(University of Bamberg) Agata Ciabattoni (TU Vienna) Laura Giordano
(Università del Piemonte Orientale) Hannes Leitgeb (LMU Munich) Philip
Welch (University of Bristol)

The winner/s will be awarded a cash prize of 2001 EUR and be invited
to give a talk. The details of the ceremony will be determined after
the recipient/s and their areas are known.

The decision will be announced in July 2024.

Organisation:

The prize is currently organized by the "Initiative for Logic and
Foundations asbl"
(https://iloaf.org), a registered non-profit organization.

Contact:

For any questions, please contact the organizing committee via
"dgp[at]iloaf[dot]org".

Web: https://dgp.iloaf.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/CAO6j_LiszW7nAg5GheA54cTyFghgfKy1DJTqb9xCr%3Dq4kRHymw%40mail.gmail.com.

[Logica-l] Fwd: CfNominations: Ackermann Award 2024 PhD Dissertation in Logic in CS, deadline: 1 July 2024.

[Joao Marcos]

-- Forwarded message -

  ACKERMANN AWARD 2024

EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE

  CALL FOR NOMINATIONS

  Nominations are now invited for the 2024 Ackermann Award. PhD
dissertations in topics specified by the CSL and LICS conferences,
which were formally accepted as PhD theses at a university or
equivalent institution between 1 January 2023 and 31 December 2023 are
eligible for nomination for the award.

The deadline for submission is 1 July 2024.

Nominations should be submitted by the candidate or the supervisor via
Easychair: https://easychair.org/my/conference?conf=ackermann2024

Please submit a pdf file containing:

1. a summary in English of the thesis (maximum 10 pages), providing a
gentle introduction and overview of the thesis, highlighting the novel
results and their impact and including a link to the thesis in the
first page (please do not include the thesis itself);

2. a supporting letter by the PhD advisor and two supporting letters
by other senior researchers (in English);

3. a copy of a document stating that the thesis was accepted as a PhD
thesis at a recognised University (or equivalent institution) and that
the candidate was awarded the PhD degree within the specified period;

4. a short CV of the candidate.

*** The Award

The 2024 Ackermann award will be presented to the recipient(s) at CSL 2025.

The award consists of a certificate, an invitation to present the
thesis at the CSL conference, the publication of the laudatio in the
CSL proceedings, an invitation to the winner to publish the thesis in
the FoLLI subseries of Springer LNCS, and financial support to attend
the conference.



*** Ackermann Jury

The jury consists of:

  * Albert Atserias (UPC Barcelona)
  * Christel Baier (TU Dresden)
  * Andrej Bauer (U Ljubljana)
  * Javier Esparza (TU Munich)
  * Maribel Fernandez (King’s College London), EACSL president
  * Joost-Pieter Katoen (RWTH Aachen U), ACM SigLog rep.
  * Delia Kesner (IRIF, U Paris Cite)
  * Slawomir Lasota (U Warsaw)
  * Florin Manea (U Goettingen), EACSL vice-president
  * Prakash Panangaden (McGill U)

For more information please contact Maribel Fernandez:

maribel.fernan...@kcl.ac.uk

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

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

[Logica-l] vaga para Docente Permanente no Instituto de Computação da UFRJ

[Joao Marcos]

Esta vaga em *Teoria da Computação* pode eventualmente interessar a
alguém nesta lista?
https://concursos.pr4.ufrj.br/images/Edital-54-2024-MS-efetivos/5-Conteudo-Programatico-e-Sistematizacao/5.2-Conteudo-Programatico-e-Sistematizacao-25-03-24/MC-095_conteudo_programatico_edital_54-retificado.pdf


JM

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

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

[Logica-l] evento: Monism vs. Pluralism in Logic, Metaphysics, and Philosophical Methodology

[Joao Marcos]

Evento:

Monism vs. Pluralism in Logic, Metaphysics, and Philosophical Methodology
Bergen, 02.05.2024 - 09.30–17.00
https://www.uib.no/en/fof/169442/workshop-monism-vs-pluralism-logic-and-metaphyiscs

precedido por:

A two-day master class by Owen Griffiths (UCL/Cambridge) and Alex
Paseau (Oxford) on their recent book One True Logic (OUP, 2022)
https://www.uib.no/en/fof/169423/two-day-master-class-owen-griffiths-uclcambridge-and-alex-paseau-oxford-their-recent-book


JM

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

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

[Logica-l] Fwd: [LAST CALL] C-FORS Graduate Conference (Oslo): Constructional Approaches in the Foundations of Mathematics and Philosophy

[Joao Marcos]

O evento a seguir pode interessar jovens pesquisadores da área.

JM


-- Forwarded message -

*C-FORS Graduate Conference:*
*Constructional Approaches in the Foundations of Mathematics and Philosophy*

*Important Informations:*

   - *Topics*: Philosophy of Mathematics, (Philosophy of) Set Theory and
   Logic; Formal Metaphysics and Ontology (grounding and constructional
   approaches).
   - *Call for*: 1500 words abstract;
   - *Contributed talks*: 35-40 min. + 5-10 min. commentators + 10-15 min.
   for discussion;
   - *Keynotes*: Joel David Hamkins (Notre Dame); Jon Erling Litland (UT
   Austin)
   - *Commentators*: Deborah Kant (Hamburg), Sam Roberts (Konstanz); Chris
   Scambler (Oxford)

*Important Dates*:

   - *Conference*: 19-20 June 2024
   - *Deadline* for Submission: 14 April
   - Notification of *Acceptance*: 12 May


The advanced ERC project “C-FORS: Construction in the Formal Sciences” led
by Professor Øystein Linnebo (University of Oslo) is glad to announce its
first graduate conference. The topic is constructional approaches to
foundations of mathematics and philosophy.

By “constructional approach” we mean a way to account for a domain of
objects by successively constructing its members. The inspiring example for
these methods is the famous Iterative Conception of Set, which states that
sets are “formed” successively by iterated applications of the operation
“set of” (to use Gödel’s terms). The aim of C-FORS is to extend the
approach exemplified by the Iterative Conception — which has proven to be
quite successful as a natural guard against paradoxes and in justifying the
axioms of ZFC — to other formal disciplines. In particular, in the
foundations of mathematics the aim of C-FORS is to extend the iterative
account of sets to other mathematical entities, such as classes or other
intensional objects. On the other hand, in formal philosophy, the aim is to
develop constructional approaches that account for hierarchies of
higher-order entities and of truth predicates.

The aim of the conference is to bring together graduate students working in
the Philosophy of Mathematics and Logic, in Metaphysics and in Ontology and
that are interested in (or critical of) constructional (i.e., iterative or
hierarchical) accounts in these disciplines. Beside the current members of
C-FORS, the discussion shall be guided by the two invited keynotes, Joel
David Hamkins (Notre Dame) and Jon Erling Litland (UT Austin), who are both
leading experts on topics relevant to the main theme of the conference. In
addition, the conference involves the assignment of a commentator to lead
the discussion on the contributed talk by each participant. Comments will
be provided by three scholars that are also experts in their fields, namely
Deborah Kant (Hamburg), Sam Roberts (Konstanz) and Chris Scambler (Oxford).

The conference will take place on *19-20 June 2024* at the *Department of
Philosophy, Classics, History of Art and Ideas at University of Oslo
(Blindern Campus)*.

Graduate students and early-career researchers (within one year from
completion of their PhD) are invited to *submit abstracts (up to 1500
words) on the subject of the conference and prepared for blind review*. We
particularly *encourage submissions from underrepresented groups*. The
proposals should be suitable for a 35-40 minute presentation. The
conference is intended to be in-person.

We can also offer a* limited number of travel bursaries up to 3.000 NOK* to
be awarded to student presenters at the conference, so make sure that you
indicate your interest for them in the Google form if you want to be
considered.

*Submission* shall be sent through the* FOLLOWING FORM
*


*CONFERENCE WEBSITE *

*For Info Contact*:

   - cfors@gmail.com
   - davide.su...@ifikk.uio.no


The Organizers

   - Davide Sutto
   - Øystein Linnebo

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

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

[Logica-l] vaga para Professor Visitante Júnior na UFSC

[Joao Marcos]

PessoALL:

Acabou de ser publicado hoje edital com vaga para *Professor Visitante
Júnior* na área de Lógica Filosófica na UFSC:
https://concursos.ufsc.br/edital-017-2024/
Nesta página também se encontra uma versão em inglês do edital.

As instruções gerais acerca do Programa Professor Visitante e a
resolução normativa correspondente podem ser encontrados aqui:
https://propg.ufsc.br/professorvisitante/
Estamos, eu e Jonas, à disposição para ajudar a dirimir dúvidas
adicionais que os potenciais candidatos possam ter.

O salário é excelente, e as condições de trabalho também.  O
departamento é extremamente amigável, e Florianópolis é possivelmente
o melhor lugar para se viver no Brasil.  O Núcleo de Epistemologia e
Lógica (https://nel.ufsc.br/) daqui é muito bem conhecido, e o
Programa de Pós-Graduação em Filosofia da UFSC, no qual o Professor
Visitante atuará como convidado, é um dos quatro programas nacionais
(juntamente com os programas de Filosofia da USP, da UFMG e da PUC/RS)
que têm nota máxima na avaliação da CAPES.

O que mais preciso dizer?

Abraços,
Joao Marcos

%%%

NOTAS

(0) Do edital:
"Para ser admitida como Professor Visitante Júnior, a pessoa candidata
deverá ser portadora de título de Doutor há, no mínimo, 5 (cinco)
anos, contados a partir da data da obtenção da titulação em
referência, com comprovada experiência acadêmica de ensino (no mínimo
2 anos de exercício profissional no magistério superior) e
orientações/coorientações de pós-graduação stricto sensu e produção
científica relevante com perfil de bolsista de produtividade em
pesquisa do CNPq."

(1) O regime de trabalho é em dedicação exclusiva, e o contrato de
trabalho tem duração de:
- 12 meses para professores visitantes brasileiros, renováveis por mais 12 meses
- 24 meses para professores visitantes estrangeiros, renováveis por
mais 24 meses

(2) O prazo de candidatura é curto:
- entre 08/04/2024 e as 17:00 do dia 26/04/2024

%%%

-- 
https://sites.google.com/site/sequiturquodlibet/

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

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

[Logica-l] Will machines change mathematics?

[Joao Marcos]

volumes especiais do Bulletin of the American Mathematical Society
"Will machines change mathematics?"
https://www.ams.org/journals/bull/-000-00/S0273-0979-2024-01836-9/

tópicos cobertos no primeiro volume, publicado este mês:
- AI and formalization as a tool for traditional mathematics
- Can current AI do serious mathematics, itself?
- What do working mathematicians think about AI?

tópicos que serão cobertos no próximo volume:
- Automation and philosophy
- Technology alters thought
- The interaction of deep learning and mathematics


JM

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

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

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

[Joao Marcos]

Olha, será que já não chega de "[OUF]"?

Talvez este tipo de conversa *sem nenhum esforço de conexão com os
temas centrais desta lista* deveria ir para os "grupos de WhatsApp da
família"?

[]s, JM

On Thu, Mar 28, 2024 at 7:14 PM jean-yves beziau  wrote:
>
> https://www.change.org/p/boycott-norway-to-stop-rampant-antisemitism
>
> On Thu, Mar 28, 2024 at 7:40 PM Frode Alfson Bjørdal 
>  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.
>>
>> --
>> 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.
>
> --
> 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/CAF2zFLDTR0rYbtW0jBBPtu%2BX_Atwjw-nL32qWxCj%3DbDqjAymGA%40mail.gmail.com.



-- 
https://sites.google.com/site/sequiturquodlibet/

-- 
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.ufr

[Logica-l] on the formalization of mathematical proofs

[Joao Marcos]

Timothy Gowers @wtgowers:
"Formalization of mathematical proofs has been talked about a lot
recently. Today a new journal is launched, the Annals of Formalized
Mathematics, aimed principally at mathematicians rather than computer
scientists. 🧵"
https://twitter.com/wtgowers/status/1771180074055696603


JM

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

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

[Logica-l] Fwd: Reminder – Women in Logic Online with Valeria de Paiva, March 20, virtual event

[Joao Marcos]

Vale lembrar aqui a palestra da Valeria amanhã!

JM

-- Forwarded message -

Dear Women in Logic,

this is a reminder that the first talk in the new seminar series
"Women in Logic Online" will be given by Valeria de Paiva on
Wednesday!

Date:Wednesday, March 20, 2024
Time:   17:00 CET
Venue: Online via Zoom (link for free registration:
https://tuwien.zoom.us/webinar/register/WN_UrB27nExRpaKjvxQXmNlZQ)

There will also be a livestream on the youtube channel of VCLA:
https://www.youtube.com/watch?v=SE5vIeBEGWI

ABSTRACT

This is the first talk in a new series of seminars we are calling
"Women in Logic Online". As such, I want to start by discussing our
collective "Women in Logic", our successes and challenges, as well as
our future plans. Still, for most of our work as women in logic in the
past seven years, we have vouched to discuss not only our problems and
actions, but mostly real work in logic, be that in Computing, AI,
Linguistics, Mathematics, Philosophy, and any of the intersections
thereof. Thus, I also want to talk about my project "Network
Mathematics", which puts together previous strands of work in
language, logic, and mathematics. This means that I will tell you
about three small prototypes designed to make use of the new tools of
AI to improve access to mathematics, especially to Category Theory.

Short Bio:

Valeria de Paiva is a mathematician, logician, and AI scientist,
working on natural language processing, logical inference, and all
kinds of semantics, especially Dialectica categories. Before Topos,
Valeria worked at top industry NLP labs, including Samsung Research
America, Nuance, Deem, Cuil, and for many years at Xerox PARC. Before
that, she was a professor at the University of Birmingham, UK. She is
very keen on making sure that women are not too short-changed in their
professional lives. For that, she maintains the “Women in Logic”
website, Facebook group, and blog, helps the ACM-W Scholarship
program, and started the international workshop “Women in Logic”, now
going for its 7th year.

For more information, please visit:
https://www.vcla.at/2024/02/women-in-logic-online/

We hope to see you there!

Agata Ciabattoni & Josephine Dik

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

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

[Logica-l] Fwd: Call for applications: Summer School on Mathematical Philosophy for Female Students 2024

[Joao Marcos]

-- Forwarded message -

Idea and Motivation
The Munich Center for Mathematical Philosophy (MCMP) is organizing the
Summer School for Widening Participation in Mathematical Philosophy,
which will take place from Monday 22 July to Friday 26 July, 2024 in
Munich, Germany. Following a series of eight successful MCMP-organized
summer schools on mathematical philosophy for female students, the
MCMP will this year broaden its offering, with a summer school for
women and members of other groups that are under-represented in
mathematical philosophy. These groups include under-represented gender
identities, races and ethnicities, people with disabilities, people
from low income and non-academic family backgrounds.

The school's aim is to encourage students to engage with mathematical
and scientific approaches to philosophical problems, and thereby help
to redress the under-representation of women and other marginalized
groups in mathematical philosophy. It offers the opportunity for study
in an informal and interdisciplinary setting, for lively debate, and
for the development of a network of students and professors interested
in the application of formal methods to philosophy.

This edition of the summer school will feature lectures by:
Jingyi Wu (LSE): “Computational Models of Diversity and Injustice”
Sara Uckelman (Durham University): “What History of Logic Can Teach Us
About the Future of Logic”

In addition, there will be an evening lecture by Barbara Vetter (FU
Berlin): “First-generation philosophers: why they matter, and how to
support them”.

The summer school will also feature talks on mathematical philosophy
by members of the MCMP.

Please see the "Call for Application" below. For more information
about the program, please consult the summer school website at
. If you have any
further questions about the summer school, please contact the
organizing committee at mathsum...@lrz.uni-muenchen.de.

The organizing committee consists of Nicola Bonatti, Vanessa Carr,
John Dougherty, Marta Ferreira Esteves, Levin Hornischer, Alessandra
Marra, Francesco Nugnes, Hannah Pillin, Toby C.P. Solomon, Tom
Sterkenburg, Zhouwanyue Yang.

Call for Application
We welcome applications from women and members of other
under-represented groups (including under-represented gender
identities, races and ethnicities, people with disabilities, people
from low income and non-academic family backgrounds) who want to
specialize in mathematical philosophy. The school is targeted to
students at an early stage of their philosophical careers – especially
MA and PhD students – and will introduce them to a selection of core
topics in mathematical philosophy.

The school will include structured lectures by the invited lecturers,
exercise sessions, short talks by members of the MCMP, as well as more
relaxed conversational settings for sharing ideas. There will be a
chance for students to present their own work, by taking part in a
poster session. We will also provide space for students to discuss
their experiences of academic philosophy within a roundtable session.
In addition, there will be an evening lecture on the topic of
first-generation philosophers.

When: 22 -26 July, 2024
Where: in-person, in Munich, Germany.
Participation fee: 75 euro. We have the possibility to grant a small
number of travel bursaries.
How to apply: Please submit a cv and a letter of motivation
highlighting i) your interest in mathematical philosophy, ii) your
belonging to the school’s target group, and (if applicable) iii) your
motivation for requesting a travel bursary. For administrative
reasons, travel bursaries require the recipients to present a poster
at the students’ poster session. Please submit your application
material to 

Application Deadline: March 29, 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/CAO6j_LgtU%3DT-fTdNBF-z-AVOacBF%3DQBz%3DZ0T85dcc4nQ9xbr8A%40mail.gmail.com.

[Logica-l] Re: on math as art, math as language, and math as abstract thought

[Joao Marcos]

Sim, claro, igualmente interessante:

(early career section)
How to Make a Portrait of a Bird
Claire Voisin
https://www.ams.org/journals/notices/202206/rnoti-p950.pdf

thx, Valeria!
JM

On Sun, Mar 17, 2024 at 8:44 AM Joao Marcos  wrote:
>
> ‘The Rest of the World Disappears’: Claire Voisin on Mathematical Creativity
> The recipient of the 2024 Crafoord Prize in Mathematics discusses math
> as art, math as language, and math as abstract thought.
> https://www.quantamagazine.org/a-mathematician-on-creativity-art-logic-and-language-20240313/
>
> Entrevista com Claire Voisin, para quem a Valeria me chamou a atenção
> na excelente intervenção dela na primeira mesa-redonda do SOL, na
> última 6a-feira.
>
> JM



-- 
https://sites.google.com/site/sequiturquodlibet/

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

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

[Logica-l] on math as art, math as language, and math as abstract thought

[Joao Marcos]

‘The Rest of the World Disappears’: Claire Voisin on Mathematical Creativity
The recipient of the 2024 Crafoord Prize in Mathematics discusses math
as art, math as language, and math as abstract thought.
https://www.quantamagazine.org/a-mathematician-on-creativity-art-logic-and-language-20240313/

Entrevista com Claire Voisin, para quem a Valeria me chamou a atenção
na excelente intervenção dela na primeira mesa-redonda do SOL, na
última 6a-feira.

JM

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

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

[Logica-l] Fwd: [PHILOS-L] Rolf Schock prize in Logic and philosophy 2024

[Joao Marcos]

-- Forwarded message -
Prize announcement.

The Rolf Schock Prize in Logic and philosophy 2024 is awarded jointly to
Hans Kamp, Stuttgart, and Irene Heim, MIT,

"for the (mutually independent) conception and early development of dynamic
semantics for natural language".

Read more about the Rolf Schock Prizes at

https://www.kva.se/en/news/science-art-and-music-meet-in-the-rolf-schock-prizes-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/CAO6j_Lg0WXUp%2BEy_BNC%3DtUCa4RvTD9mFC08en0EOtjcLszOL5g%40mail.gmail.com.

Re: [Logica-l] Fwd: SBPC - sobre grave situação de C&T na Argentina

[Joao Marcos]

Estão de parabéns SBL e SBFA por se empenharem nesta luta!

Penso que as instituições brasileiras devem fazer o possível ---e o
impossível!--- para dar uma mão aos colegas argentinos neste momento
de dificuldade --- que infelizmente replica o que vivemos nestas
plagas há pouco...

Força,
Joao Marcos

On Tue, Mar 12, 2024 at 4:48 PM Marcos Silva  wrote:
>
> Parabéns pela iniciativa, Hugo!
>
> A Sociedade Brasileira de Filosofia Analítica (SBFA) também enviou 
> recentemente de uma carta de apoio e solidariedade aos acadêmicos argentinos.
>
> Abraços de Recife,
> Marcos
>
> On Tue, Mar 12, 2024 at 1:55 PM Hugo Luiz Mariano  wrote:
>>
>> Oi João Marcos,
>>
>> Sim, infelizmente a  situação de nossos vizinhos é gravíssima.
>>
>> As manifestações podem ajudar pressionando para a minimizar o problema 
>> orçamentário
>>
>> A SBL enviou uma carta de apoio há cerca de  semana e a SBPC também já o fez.
>>
>> De fato, está havendo, se iniciou neste momento, um "reforço" da SBPC junto 
>> às entidades filiadas sobre estas manifestações de apoio.
>>
>> Abraços
>> Hugo
>>
>> Abraços
>> Hugo
>>
>> Em ter., 12 de mar. de 2024 às 17:47, Joao Marcos  
>> escreveu:
>>>
>>> Importantíssimo, Hugo!  Muito preocupante a situação da ciência 
>>> cis-cis-platina!  Valeria a pena, talvez, a SBL também se manifestar 
>>> oficialmente?
>>>
>>> []s, João Marcos
>>>
>>> On Tue, Mar 12, 2024, 13:42 Hugo Luiz Mariano  wrote:
>>>>
>>>> Prezad@s coleg@s,
>>>>
>>>> Dada a importância e gravidade do assunto, tomo a liberdade de encaminhar 
>>>> à lista de Lógica esta mensagem vinda do professor Renato Janine, 
>>>> presidente da SBPC.
>>>>
>>>> Abraços
>>>> Hugo
>>>>
>>>> -- Forwarded message -
>>>> De: Presidência SBPC 
>>>> Date: ter., 12 de mar. de 2024 às 16:09
>>>> Subject: SBPC - sobre grave situação de C&T na Argentina
>>>> To: 
>>>>
>>>>
>>>> Aos presidentes das Sociedades Científicas afiliadas à SBPC
>>>>
>>>>
>>>>
>>>> Prezados Colegas,
>>>>
>>>>
>>>>
>>>> Envio, anexo, carta enviada no último dia 29 de fevereiro ao Ministro 
>>>> Chefe de Gabinete, Engenheiro Nicolas Posse, com cópia ao Presidente e 
>>>> membros do Conselho Diretor do CONICET, sobre a grave situação do Sistema 
>>>> de Ciência e Tecnologia da Argentina.
>>>>
>>>>
>>>>
>>>> Abraços,
>>>>
>>>>
>>>>
>>>> Renato Janine Ribeiro
>>>>
>>>> Presidente da SBPC.
>>>>
>>>>
>>>>
>>>> --
>>>> You received this message because you are subscribed to the Google Groups 
>>>> "Sociedades Afiliadas (todas recadastradas)" group.
>>>> To unsubscribe from this group and stop receiving emails from it, send an 
>>>> email to afiliadas+unsubscr...@sbpcnet.org.br.
>>>>
>>>> --
>>>> 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/CAOf4PqiL6%2BY98_Txuhw1C-wrcrZO-Vcc%2B%2B%3DE38QLDCO-F_hJQw%40mail.gmail.com.
>>
>> --
>> LOGICA-L
>> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 
>> 
>> ---
>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
>> Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie 
>> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> Para acessar essa discussão na Web, acesse 
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4PqiL1LPBkBCuhD3cFZPXnkdZR%3DaEkm5qD7V-NyQGfUNTSw%40mail.gmail.com.
>
>
>
> --
> Marcos Silva (UFPE/CNPq)
> Philosophy Department
> Federal University of Pernambuco, Brazil
> President of the Brazilian Society for Analytical Philosophy (SBFA)
> Director of Graduate Studies (PPGFIL/UFPE)
> Editor-in-chief Revista Perspectiva Filosófica
> https://sites.google.com/view/marcossilvaphilosophy
> "amar e mudar as coisas me interessa mais"



-- 
https://sites.google.com/site/sequiturquodlibet/

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

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

Re: [Logica-l] Fwd: SBPC - sobre grave situação de C&T na Argentina

[Joao Marcos]

Importantíssimo, Hugo!  Muito preocupante a situação da ciência
cis-cis-platina!  Valeria a pena, talvez, a SBL também se manifestar
oficialmente?

[]s, João Marcos

On Tue, Mar 12, 2024, 13:42 Hugo Luiz Mariano  wrote:

> Prezad@s coleg@s,
>
> Dada a importância e gravidade do assunto, tomo a liberdade de encaminhar
> à lista de Lógica esta mensagem vinda do professor Renato Janine,
> presidente da SBPC.
>
> Abraços
> Hugo
>
> -- Forwarded message -
> De: Presidência SBPC 
> Date: ter., 12 de mar. de 2024 às 16:09
> Subject: SBPC - sobre grave situação de C&T na Argentina
> To: 
>
>
> *Aos presidentes das Sociedades Científicas afiliadas à SBPC*
>
>
>
> Prezados Colegas,
>
>
>
> Envio, anexo, carta enviada no último dia 29 de fevereiro ao Ministro
> Chefe de Gabinete, Engenheiro Nicolas Posse, com cópia ao Presidente e
> membros do Conselho Diretor do CONICET, sobre a grave situação do Sistema
> de Ciência e Tecnologia da Argentina.
>
>
>
> Abraços,
>
>
>
> Renato Janine Ribeiro
>
> Presidente da SBPC.
>
>
>
> --
> You received this message because you are subscribed to the Google Groups
> "Sociedades Afiliadas (todas recadastradas)" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to afiliadas+unsubscr...@sbpcnet.org.br.
>
> --
> 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/CAOf4PqiL6%2BY98_Txuhw1C-wrcrZO-Vcc%2B%2B%3DE38QLDCO-F_hJQw%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/CAO6j_LiNfUmGAPV-mhQ%2BaYUd%3D5aCMxCHoNMewVS0V4GX6%3DpffQ%40mail.gmail.com.

[Logica-l] [XX SLALM] Call for Contributions, Registration and Grant Application

[Joao Marcos]

+++

CALL FOR CONTRIBUTIONS

XX SLALM - 20th Latin American Symposium on Mathematical Logic
Uruguay
July 1 to 5, 2024

https://xxslalm.cmat.edu.uy/

+++

The Latin American Symposium on Mathematical Logic (SLALM) is an event
supported by the Association of Symbolic Logic that gathers the
community of researchers in Logic from all Latin America and counts
with the participation of leading researchers from all over the world.
SLALM has served to reinforce mathematical logic on the continent.

XX SLALM will take place in Uruguay. Previous editions of SLALM have
been organized in Chile, Brazil, Colombia, Venezuela, Argentina, Costa
Rica, and Mexico.

Topics of interest to SLALM include, but are not limited to:

* Model Theory
* Set Theory
* Computability
* Logic in Computer Science
* Non-classical Logic
* Algebraic Logics
* Proof Theory
* History and Philosophy of Logic

PLENARY SPEAKERS


Carlos di Prisco, Universidad de los Andes, Colombia
Alejandro Díaz-Caro, Universidad de Buenos Aires, Argentina
Itala d'Ottaviano, Universidade de Campinas, Brazil
Alexandre Miquel, Universidad de la República, Uruguay
Samaria Montenegro, Universidad de Costa Rica, Costa Rica
Davide Sangiorgi, Universita' di Bologna, Italy
Peter Selinger, Dalhousie University, Canada

TUTORIALS
=

* Set Theory
Natasha Dobrinen, University of Notre Dame, USA
* Model Theory
Nadja Hempel, Universität Düsseldorf, Germany
* Philosophy
Marcos Silva, Universidade Federal de Pernambuco, Brazil

TALK SUBMISSION
===

XX SLALM will be divided in five thematic sessions:

* Set Theory
* Model Theory
* Logic in Computer Science and Computability
* Non-classical Logics
* Philosophical logic

We welcome contributions in the form of an abstract which will be
submitted to a specific thematic session. The abstracts will be
reviewed by the chairs of the selected session to ensure that it fits
within the scope of the session.

Abstracts must be written in English and must not exceed one page
(excluding bibliography). To produce the abstract follow this LaTeX
format: article style, font size 10pt, A4, empty page style and plain
bibliography style.

Abstracts must be uploaded as a PDF file via EasyChair at:

https://easychair.org/conferences/?conf=20slalm

IMPORTANT DATES
===

We will accept submissions in two periods.

- Early submission deadline: March 31, 2024
- Notification: April 15, 2024
- Late submission deadline: From April 16 till May 31, 2024
- Notification: June 15

Early submissions are strongly encouraged. Late submissions may not be
accepted due to space constraints of the sessions.

REGISTRATION


Registration is open!

Information on the registration fees can be found on the XX SLALM homepage:

https://xxslalm.cmat.edu.uy/

To register, you must first register as a user of the system by
filling out the form at:

https://xxslalm.cmat.edu.uy/register

It is possible to register and then make the payment later (the fee
applied will be the one valid at the time of payment). In that case,
to make the payment, please log in using the email and password you
provided for registration.
Early registration deadline: April 30, 2024, 23:59 GMT-3 (Uruguay time).

GRANTS
==

XX SLALM will be able to offer a limited number of grants to support
participation in the symposium. The amount of financial support will
be subject to availability.

Grant applications are made as part of the registration procedure.
Applicants must first register and then upload a short (one page) CV.
It is not required to have paid the registration fee to apply for a
grant.

Deadline for grant application: March 30 at 23:59 GMT-3 (Uruguay time).
Acceptance or rejection of grant application will be notified by April 15.

VENUE
=

Information on the venue will be provided soon.

SCIENTIFIC COMMITTEE


Cristina Brech, Universidade de São Paulo, Brazil
Manuela Busaniche, Universidad Nacional del Litoral, Argentina
Andrés Caicedo, University of Michigan, USA
Xavier Caicedo Ferrer, Universidad de los Andes, Colombia
Russell Miller, University of New York, USA
Lourdes del Carmen González Huesca, Universidad Nacional Autónoma de
México, México
Deidre Haskell, McMaster University, Canada
Octavio Malherbe, Universidad de la República, Uruguay
Antonio Montalbán, University of California - Berkeley, USA (chair)
Alf Onshuus, Universidad de los Andes, Colombia
Héctor Pasten, Pontificia Universidad Católica de Chile, Chile
Luiz Carlos Pereira, Pontifícia Universidade Católica do Rio de Janeiro, Brazil
Elaine Pimentel, University College London, UK

LOCAL COMMITTEE
===

Walter Ferrer
Juan Pablo García
Mauricio Guillermo (chair)
Octavio Malherbe
Alberto Pardo
Universidad de la República, Uruguay

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

[Logica-l] Re: regras induzindo um conjunto

[Joao Marcos]

Vox twitteri, vox dei: ;-)
https://twitter.com/antitheorem/status/1763573386054095173

JM

On Fri, Mar 1, 2024 at 6:02 PM Joao Marcos  wrote:
>
> Let R be a set of rules inducing a set S of individuals. What is your 
> favorite way of defining S from R?
>
>
> [A] Nothing is a member of S unless it is produced by the rules in R.
> [B] S is the smallest set closed under R.
> [C] S is generated by R through a fixed-point construction.
> [D] None of the above.
>
> https://twitter.com/antitheorem/status/1763573386054095173



-- 
https://sites.google.com/site/sequiturquodlibet/

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

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

[Logica-l] regras induzindo um conjunto

[Joao Marcos]

Let R be a set of rules *inducing a set S of individuals*. What is your
favorite way of defining S from R?


[A] Nothing is a member of S unless it is produced by the rules in R.
[B] S is the smallest set closed under R.
[C] S is generated by R through a fixed-point construction.
[D] None of the above.
https://twitter.com/antitheorem/status/1763573386054095173

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

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

[Logica-l] CFP: Non-Classical Logics: Theory and Applications 2024

[Joao Marcos]

NCL'24: Non-Classical Logics: Theory and Applications 2024
University of Lodz Conference Center
Łódź, Poland, September 5-8, 2024

Conference website https://easychair.org/smart-program/NCL'24/
Submission link https://easychair.org/conferences/?conf=ncl24
Conference program https://easychair.org/smart-program/NCL'24/

Abstract registration deadline April 20, 2024
Submission deadline April 25, 2024
Notification June 15, 2024
Registration opens June 15, 2024
Final version due July 10, 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/CAO6j_LicWH9Grn%2BOT2%2BgWzOrFQ5PUVDzbOFgbCvDshMm1QxuZA%40mail.gmail.com.

[Logica-l] Fwd: Logic Colloquium 2024, Gothenburg, 24-28 June 2024

[Joao Marcos]

-- Forwarded message -

Registration open
Contributed talks deadline extended
Student travel grants deadline approaching
Scientific Programme available

Logic Colloquium 2024
Gothenburg, Sweden
24-28 June 2024
web: http://lc2024.se
contact: i...@lc2024.se

The Logic Colloquium is the European Summer Meeting of the Association
for Symbolic Logic, an annual gathering to present current research in
all aspects of logic. In 2024, the meeting will be held 24-28 June at
the University of Gothenburg in Sweden.

==
IMPORTANT DATES
==
29 February 2024: Deadline for ASL student travel applications
1 March (extended to 8 March): Deadline for contributed talks
28 March: Notification of student travel grants
2 April: Notification of acceptance of contributed talks
17 April: Early registration deadline
24-28 June: Conference

==
Scientific Programme
==
The 2024 meeting will comprise 28 invited talks. In addition, the 2024
Gödel Lecture will be delivered at the meeting. Programme available
from https://lc2024.se/program/

Tutorials
==
- Anuj Dawar, University of Cambridge: Model theory of tame classes of
finite structures
- Alberto Marcone, Università Di Udine: WQOs and BQOs in logic
- Andrei Sipoș, University of Bucharest: An exploration of proof mining

Plenary talks
==
- Daisuke Bekki, Ochanomizu University: From Dependent Types to
Natural Language Semantics
- Johanna Franklin, Hofstra University: Structural highness notions
- James Freitag, University of Illinois at Chicago: When any three
solutions are independent
- Marianna Girlando, University of Amsterdam: A decision algorithm for
intuitionistic S4
- Stephen Jackson, University of North Texas: Recent advances in the
combinatorics of determinacy models
- Leszek Kołodziejczyk, University of Warsaw: Models of arithmetic
that satisfy more collection than induction
- Paul-André Melliès, Université Paris Denis Diderot: Recent advances
in higher-order automata and profinite lambda-calculus

Gödel Lecture
==
Thomas Scanlon, University of California at Berkeley

Special Sessions
==
Applied Model Theory, chairs: Gareth Jones and Tamara Servi
- Vincent Bagayoko, Université Paris Cité
- Anna Dmitrieva, University of East Anglia
- Adele Padgett, McMaster University

Computable Structures, chairs: Uri Andrews and Julia Knight
- Meng-Che (Turbo) Ho, California State University
- Matthew Harrison-Trainor, University of Illinois
- David Gonzalez, University of California, Berkeley

Logic, Language and Computation, chairs: Robin Cooper and Stergios
Chatzikyriakidis
- Kristina Liefke, Ruhr-University, Bochum
- Zhaohui Luo, Royal Holloway, University of London
- Peter Sutton, Universitat Pompeu Fabra, Barcelona

Logic in Philosophy, chairs: Volker Halbach and Heinrich Wansing
- Agata Ciabattoni, Technische Universität Wien
- Andrzej Indrzejczak, University of Łódź
- Johannes Stern, University of Bristol

Proof Theory, chairs: Anton Freund and Sonia Marin
- Valentin Blot, ENS Paris-Saclay
- Lukas Melgaard, University of Birmingham
- Takako Nemoto, Tohuku University

Set Theory, chairs: Dana Bartošová and Slawomir Solecki
- Tamás Kátay, Eötvös Loránd University, Budapest
- Claudio Agostini, Technische Universität Wien
- Chris Lambie-Hanson, Czech Academy of Sciences

==
Contributed Talks
==
The programme committee invites proposals for contributed talks. These
can be on published or unpublished work, as well as work in progress.
Instructions for submission will be made available through the
conference webpage.

Abstracts for contributed talks should conform to the Rules for
Abstracts of the ASL and papers must be prepared using ASL template
and class which is from the conference webpages
https://lc2024.se/contributed_talks/

==
Programme Committee
==
Bahareh Afshari (Gothenburg, Sweden)
Gal Binyamini (Jerusalem, Israel)
Natasha Dobrinen (Notre Dame, USA)
Ulrich Kohlenbach (Darmstadt, Germany)(chair)
Keng Meng Ng (Singapore)
Francesca Poggiolesi (Paris, France)
Mehrnoosh Sadrazadeh (London, UK)
Reed Solomon (Connecticut, USA)
Szymon Toruńczyk (Warsaw, Poland)

==
Venue
==
All lectures and talks will take place in Humanisten Building,
Renströmsgatan 6, 41255 Göteborg. This is a new and stylish building
with all rooms integrated with conference equipment. The venue is 5
minutes from a large transport interchange (Korsvägen) and 15 walk to
the centre of Gothenburg.

==
Registration
==
Early registration closes on 17 April. Please follow the instructions
on the homepage.

3500 SEK Standard
2500 SEK Student

==
ASL Student travel award
==
Graduate st

[Logica-l] Fwd: CFA: MCMP Summer School for Widening Participation in Mathematical Philosophy

[Joao Marcos]

-- Forwarded message -

[Idea and Motivation]
The Munich Center for Mathematical Philosophy (MCMP) is organizing the
Summer School for Widening Participation in Mathematical Philosophy,
which will take place from Monday 22 July to Friday 26 July, 2024 in
Munich, Germany.  Following a series of eight successful MCMP-organized
summer schools on mathematical philosophy for female students, the MCMP
will this year broaden its offering, with a summer school for women and
members of other groups that are under-represented in mathematical
philosophy. These groups include under-represented gender identities,
races and ethnicities, people with disabilities, people from low income
and non-academic family backgrounds.

The school's aim is to encourage students to engage with mathematical
and scientific approaches to philosophical problems, and thereby help to
redress the under-representation of women and other marginalized groups
in mathematical philosophy. It offers the opportunity for study in an
informal and interdisciplinary setting, for lively debate, and for the
development of a network of students and professors interested in the
application of formal methods to philosophy.

This edition of the summer school will feature lectures by:
Jingyi Wu (LSE): “Computational Models of Diversity and Injustice”
Sara Uckelman (Durham University): “What History of Logic Can Teach Us
About the Future of Logic”

In addition, there will be an evening lecture by Barbara Vetter (FU
Berlin): “First-generation philosophers: why they matter, and how to
support them”.
The summer school will also feature talks on mathematical philosophy by
members of the MCMP.

Please see the "Call for Application" below.  For more information about
the program, please consult the summer school website at
. If you have any
further questions about the summer school, please contact the organizing
committee at mathsum...@lrz.uni-muenchen.de.

The organizing committee consists of Nicola Bonatti, Vanessa Carr, John
Dougherty, Marta Ferreira Esteves, Levin Hornischer, Alessandra Marra,
Francesco Nugnes, Hannah Pillin, Toby C.P. Solomon, Tom Sterkenburg,
Zhouwanyue Yang.

[Call for Application]
We welcome applications from women and members of other
under-represented groups (including under-represented gender identities,
races and ethnicities, people with disabilities, people from low income
and non-academic family backgrounds) who want to specialize in
mathematical philosophy.

The school is targeted to students at an early stage of their
philosophical careers – especially MA and PhD students – and will
introduce them to a selection of core topics in mathematical philosophy.
The school will include structured lectures by the invited lecturers,
exercise sessions, short talks by members of the MCMP, as well as more
relaxed conversational settings for sharing ideas. There will be a
chance for students to present their own work, by taking part in a
poster session. We will also provide space for students to discuss their
experiences of academic philosophy within a roundtable session. In
addition, there will be an evening lecture on the topic of
first-generation philosophers.

*When*: 22 -26 July, 2024

*Where*: in-person, in Munich, Germany.

*Participation fee*:  75 euro. We have the possibility to grant a small
number of travel bursaries.

*How to apply*: Please submit a cv and a letter of motivation
highlighting i) your interest in mathematical philosophy, ii) your
belonging to the school’s target group, and (if applicable) iii) your
motivation for requesting a travel bursary. For administrative reasons,
travel bursaries require the recipients to present a poster at the
students poster session. Please submit your application material to


*Application Deadline*: March 29, 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/CAO6j_Lj5KLhm%3DbmNHQ6atKBBqULTRDyWQeE_4K-WZFJUGPpMkQ%40mail.gmail.com.

[Logica-l] Fwd: CfR: Lindström Lectures: Phokion G. Kolaitis, 15 & 17 April, Hybrid: Gothenburg and Online

[Joao Marcos]

-- Forwarded message -

On 15-17 April, 2024 the University of Gothenburg will host the 2024
edition of its annual Lindström Lectures. The Lindström Lectures is a
distinguished lecture series initiated in 2013 celebrating the memory
of Per (Pelle) Lindström, former (and first) professor in logic at the
University of Gothenburg. For information about the Lindström lecture
series see: https://www.gu.se/en/flov/the-lindstrom-lectures

We are proud to announce that the 2024 Lindström Lectures will be
delivered by Phokion G. Kolaitis, Distinguished Research Professor at
UC Santa Cruz and a Principal Research Staff Member at the IBM Almaden
Research Center, US. Professor Kolaitis will deliver a public lecture
on Monday, 15 April 2024, 1800–2000 and a research lecture on
Wednesday, 17 April at 10–12. Both lectures will be held at the
University of Gothenburg. The public lecture will also be broadcast
over Zoom. Title and abstracts are appended to this message.

A Zoom link for the public lecture will be distributed on the Nordic
Online Logic Seminar mailing list
(https://listserv.gu.se/sympa/subscribe/nordiclogic). Alternatively,
contact Graham Leigh mailto:graham.le...@gu.se>>
directly.

Best wishes,
Graham

Public Lindström Lecture
Monday, 15 April 2024 at 18:00 (UTC+2) at the Faculty of Humanities,
University of Gothenburg and over Zoom
Phokion G. Kolaitis (University of California Santa Cruz and IBM Research)
Characterizing Rule-based Languages
Abstract: There is a mature body of work in logic aiming to
characterize logical formalisms in terms of their structural or
model-theoretic properties. The origins of this work can be traced to
Alfred Tarski’s program to characterize metamathematical notions in
“purely mathematical terms” and to Per Lindström’s abstract
characterizations of first-order logic. For the past forty years,
rule-based logical languages have been widely used in databases and in
related areas of computer science to express integrity constraints and
to specify transformations in data management tasks, such as data
exchange and ontology-based data access. The aim of this talk is to
present an overview of more recent results that characterize various
classes of rule-based logical languages in terms of their structural
or model-theoretic properties.

Research Lindström Lecture
Wednesday, 17 April 2024 at 10:00 (UTC+2) at the Faculty of
Humanities, University of Gothenburg
Phokion G. Kolaitis (University of California Santa Cruz and IBM Research)
Homomorphism Counts: Expressive Power and Query Algorithms
Abstract: A classical result by Lovász asserts that two graphs G and H
are isomorphic if and only if they have the same left profile, that
is, for every graph F, the number of homomorphisms from F to G
coincides with the number of homomorphisms from F to H. A similar
result is also known to hold for right profiles, that is, two graphs G
and H are isomorphic if and only if for every graph F, the number of
homomorphisms from G to F coincides with the number of homomorphisms
from H to F. During the past several years, there has been a study of
equivalence relations that are relaxations of isomorphism obtained by
restricting the left profile or the right profile to suitably
restricted classes of graphs, instead of the class of all graphs.
Furthermore, a notion of a query algorithm based on homomorphism
counts was recently introduced and investigated. The aim of this talk
is to present an overview of some of the main results in this area
with emphasis on the differences between left homomorphism counts and
right homomorphism counts.

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

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

[Logica-l] Fwd: [WiL] Invitation – Women in Logic Online with Valeria de Paiva, March 20, virtual event

[Joao Marcos]

-- Forwarded message -

Dear Women in Logic,

we are starting a new seminar series called "Women in Logic Online"!
The first talk will be given by Valeria de Paiva.

Date:Wednesday, March 20, 2024
Time:   17:00 CET
Venue: Online via Zoom (link for free registration:
https://tuwien.zoom.us/webinar/register/WN_UrB27nExRpaKjvxQXmNlZQ)

ABSTRACT

This is the first talk in a new series of seminars we are calling
"Women in Logic Online". As such, I want to start by discussing our
collective "Women in Logic", our successes and challenges, as well as
our future plans. Still, for most of our work as women in logic in the
past seven years, we have vouched to discuss not only our problems and
actions, but mostly real work in logic, be that in Computing, AI,
Linguistics, Mathematics, Philosophy, and any of the intersections
thereof. Thus, I also want to talk about my project "Network
Mathematics", which puts together previous strands of work in
language, logic, and mathematics. This means that I will tell you
about three small prototypes designed to make use of the new tools of
AI to improve access to mathematics, especially to Category Theory.

Short Bio:

Valeria de Paiva is a mathematician, logician, and AI scientist,
working on natural language processing, logical inference, and all
kinds of semantics, especially Dialectica categories. Before Topos,
Valeria worked at top industry NLP labs, including Samsung Research
America, Nuance, Deem, Cuil, and for many years at Xerox PARC. Before
that, she was a professor at the University of Birmingham, UK. She is
very keen on making sure that women are not too short-changed in their
professional lives. For that, she maintains the “Women in Logic”
website, Facebook group, and blog, helps the ACM-W Scholarship
program, and started the international workshop “Women in Logic”, now
going for its 7th year.

For more information, please visit:
https://www.vcla.at/2024/02/women-in-logic-online/

We hope to see you there!

Agata Ciabattoni & Josephine Dik

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

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

[Logica-l] idiotas e picadas de abelhas

[Joao Marcos]

https://twitter.com/antitheorem/status/1758641575763337657

Uma piada do Mark Twain, e exercício de lógica do Copi.  Aparentemente
amplamente mal entendido, há 140 anos!

Joao Marcos

-- 
https://sites.google.com/site/sequiturquodlibet/

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

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

[Logica-l] Quando ensinar Lógica Formal, em um curso de graduação?

[Joao Marcos]

Opiniões podem ser registradas aqui:
https://twitter.com/antitheorem/status/1757812328366539213?t=3J5BBarav5vooDvVBd2wVA&s=19

[]s, JM

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

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

Re: [Logica-l] Logic puzzle: CLIMATE JOURNEY

[Joao Marcos]

E por falar em CSPs
(https://en.wikipedia.org/wiki/Constraint_satisfaction_problem),
aproveito para perguntar se alguém teria referências a oferecer aqui
sobre procedimentos de tradução automática entre soluções para estes
tipos de problemas e derivações em cálculo de sequentes ou outros
formalismos dedutivos "parecidos" (método de resolução ou tableaux
analíticos não valem como resposta à minha pergunta!).

[]s, Joao Marcos


On Wed, Jan 31, 2024 at 8:48 AM Walter Carnielli  wrote:
>
> Em tempo:
>
> Eu escrevi K PROLOG mas o correto é Constraint Logicc Pograming.
>
> Obviamente o puzzle  tem o propósito de fazer raciocinar sobre o clima,  e 
> parece que o sol tem um papel importante:
>
> https://judithcurry.com/2023/11/04/solving-the-climate-puzzle-the-suns-surprising-role/
>
>
> Abs
> W.
>
>
>
>
> Em qua., 31 de jan. de 2024 08:39, Walter Carnielli  
> escreveu:
>>
>> Este puzzle é  analogo ao famoso "Zebra Puzzle" ou "Enstein's Puzzle", e se 
>> resolve facilmente com Prolog:
>>
>> https://github.com/pjpjq/zebra-puzzle
>>
>> Escrevi uma vez um programinha numa versao de K-Prolog, mas não me lembro 
>> mais. Com paciência talvez o encontre, se alguém se interessar...
>>
>> No fundo é  lógica proposicional, tratando-se de encontrar o único modelo 
>> que resolve, com informações minimas mas suficientes- a mesma coisa que o 
>> Sudoku.
>>
>> É um daqueles problemas que a inteligência artificial simbólica resolve, mas 
>> a estocástica não-   vida longa a lógica!!
>>
>> Abs
>> Walter
>>
>>
>>
>> Em ter., 30 de jan. de 2024 21:44, Joao Marcos  escreveu:
>>>
>>> Five persons make separate journeys within Europe using different
>>> modes of transport. Match the travelers with their respective
>>> journey and mode of transport and calculate the amount of CO2
>>> emissions that they cause in the process!
>>> https://www.vcla.at/wp-content/uploads/2024/01/VCLA_Raetsel_A5.pdf
>>>
>>> This puzzle was created by Anouk Michelle Oudshoorn, doctoral student
>>> in the program LogiCS@TUWien.
>>>
>>> (the solution may be found online, if you search for it)
>>>
>>>
>>> JM
>>>
>>> --
>>> LOGICA-L
>>> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 
>>> 
>>> ---
>>> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" 
>>> dos Grupos do Google.
>>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie 
>>> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>>> Para acessar esta discussão na web, acesse 
>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lhm4p2hCqZs%3DZS-OhegcTtfOpEujLn84qbTXTmzj-OzTQ%40mail.gmail.com.



-- 
https://sites.google.com/site/sequiturquodlibet/

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

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

Re: [Logica-l] Re: "Funções são conjuntos"

[Joao Marcos]

> * 
>   
>   O encapsulamento do código evita que o cliente faça perguntas 
> bobas,
> como "será que {a}∈(a,b)?"
> *
>
> ... Ao que eu responderia sorrindo, SIM !!!  8-) 8-) 8-)

Perguntas bobas merecem respostas bobas. ;-b

(Definição de trabalho: Chamaremos de _boba_ qualquer pergunta cuja
resposta depende da escolha de uma implementação específica.  Exemplo:
"será que 0∈1?")

[]s, JM

-- 
https://sites.google.com/site/sequiturquodlibet/

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

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

[Logica-l] Re: calcular é fazer dobraduras

[Joao Marcos]

> E conversando com uns amigos aqui apareceu a seguinte referência (mais 
> técnica) que chega
> a criar o "corpo dos números origamicos" (!!!)

Bacana!

Veja aí com os seus amigos se eles não produzem uma referência técnica
também sobre os números espirográficos! (ou ao menos uma referência
geral sobre a construtibilidade via espirógrafos)

Abraços,
Joao Marcos


--
https://sites.google.com/site/sequiturquodlibet/

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

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

Re: [Logica-l] Re: "Funções são conjuntos"

[Joao Marcos]

> Essa questao da "coisa" x "implementacao da coisa", eu confesso que em geral 
> os teoristas de conjuntos ficamos meio viciados nisso (guilty as charged),

Os matemáticos poderiam aqui (e não só aqui) aprender algo, talvez,
com os cientistas da computação, que estão acostumados a implementar
novos tipos de dados, *encapsulá-los* e entregá-los para os clientes
compiladinhos, sem a possibilidade de consulta ao código original da
implementação.

> Entao se você me perguntar o que *é* o par ordenado (a,b) a tendência é que 
> eu diga que
>
> (a,b) = { {a}, {a,b} }

O encapsulamento do código evita que o cliente faça perguntas bobas,
como "será que {a}∈(a,b)?"

Sempre me parece um tanto estranho que os clientes (nós todos!)
tenham(os) acesso aos códigos conjuntistas implementando ênuplas
ordenadas, funções, ou números naturais.

> Mas esse tipo de pensamento "muito estrutural" ajuda a gente a fazer contas 
> de "rank" e ver por exemplo
> que boa parte das noçoes de Matemática "padrao" (partes, uniao, relacoes, 
> funcoes, pares ordenados e tal...) nao sobem muito o rank dos objetos 
> envolvidos, em geral somando omega em cima dá e sobra.
>
> (No caso aí do par ordenado, olhando de cima e fazendo a conta de cabeça o 
> rank vai para o máximo entre o rank(a) e rank(b) mais dois)

Fato.  Mas para isto basta detalhes _mínimos_ sobre a dita
implementação conjuntista.  (E as ditas contas só são de interesse, de
qualquer forma, para quem está comprometido com a ontologia minimal
conjuntista.)

> PS: Sobre "a descricao extensional de uma funcao sem formula" preciso pensar 
> mais antes de responder
> e talvez fique devendo 8-), mas desconfio que essa questao entre mais no que 
> é "existência em matemática",
> enfim. Que aí a coisa da matemática construtiva vem em cheio também.

Isto daria uma discussão deveras interessante!

Abraços, Joao Marcos

-- 
https://sites.google.com/site/sequiturquodlibet/

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

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

[Logica-l] Re: calcular é fazer dobraduras

[Joao Marcos]

> ... Sobre origamis,
>
> Origamis (principalmente por permitir movimentos do tipo "deslizar", o que aí 
> já entra topologia além
> da geometria) sao capazes de "performar" operacoes que a régua e o compasso 
> nao permitem
> (nao sei se isso aparece na reportagem que nao consegui ler, se estou 
> chovendo no molhado
> me desculpem).
>
> Mas sempre achei muito interessante isso, por exemplo existe um procedimento 
> em origami
> que trissecta um ângulo dado (um dos três problemas clássicos de régua e 
> compasso que nao tem
> solucao, conforme se deduz da álgebra das extensoes de corpos - os outros 
> dois sao
> a quadratura do círculo e a duplicacao do cubo).

O artigo em questão não menciona isso.  Um local onde isto é
apresentado de maneira elementar e minimamente detalhada é o livro
"Lectures on the Foundations of Mathematics" [0] (um livro sobre
*fundamentos da matemática* BEM diferente dos tradicionais), do
Hamkins.  Na seção 4.3 o autor explica que as construções com régua e
compasso podem ser efetuadas, equivalentemente, com o auxílio de sete
dobraduras de origami fundamentais.  Se formas adicionais de dobradura
forem permitidas, pode-se ir estritamente além da construtibilidade
euclidiana [1].  Com efeito, com a adição de apenas mais uma dobradura
fundamental, é possível resolver equações cúbicas arbitrárias sobre os
números racionais (o teorema de Gauss-Wantzel mostra que isto não é
possível usando apenas régua e compasso).  Como corolário, é possível
resolver assim o problema da trissecção do ângulo.

Outras formas de construção geométrica são mencionadas no livro do
Hamkins.  Uma delas é a construtibilidade via espirógrafo [2], a qual
também transcende a construtibilidade euclidiana (o Hamkins não
menciona uma referência para este resultado, e eu também não
procurei).  Parece-me que um bom problema (em aberto?) para uma
estudante de pós-graduação que queira aparecer na Quanta Magazine
seria o de mostrar que espirógrafos também são Turing-completos.

Abraços,
Joao Marcos


[0] Hamkins, Joel David. Lectures on the Philosophy of Mathematics.
MIT Press, 2021.
[1] Geretschläger, Robert. "Euclidean constructions and the geometry
of origami." Mathematics Magazine 68.5 (1995): 357-371.
[2] https://pt.wikipedia.org/wiki/Espir%C3%B3grafo

-- 
https://sites.google.com/site/sequiturquodlibet/

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

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

[Logica-l] Logic puzzle: CLIMATE JOURNEY

[Joao Marcos]

Five persons make separate journeys within Europe using different
modes of transport. Match the travelers with their respective
journey and mode of transport and calculate the amount of CO2
emissions that they cause in the process!
https://www.vcla.at/wp-content/uploads/2024/01/VCLA_Raetsel_A5.pdf

This puzzle was created by Anouk Michelle Oudshoorn, doctoral student
in the program LogiCS@TUWien.

(the solution may be found online, if you search for it)


JM

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

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

[Logica-l] calcular é fazer dobraduras

[Joao Marcos]

da Turing-completude dos origamis
https://www.quantamagazine.org/how-to-build-an-origami-computer-20240130/


JM

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

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

Re: [Logica-l] Re: "Funções são conjuntos"

[Joao Marcos]

> Pro aluno que acha que "funcao tem que ter fórmula"...
>
> O Axioma da Escolha nao significa nada... Porque o que sai dele é uma funcao 
> que nao
> tem fórmula, imaginem.

Pois já pensou: não tem nem fórmula, que sentido fará em pensar na sua
---completamente desconhecida--- descrição extensional?

[]s, Joao Marcos

-- 
https://sites.google.com/site/sequiturquodlibet/

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

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

Re: [Logica-l] Re: "Funções são conjuntos"

[Joao Marcos]

Viva, Eduardo!

> Muitos alunos daqui de Rio das Ostras têm muita dificuldade de
> entender que isto aqui é _uma_ função:
>
>   $f(x) =
>\begin{cases}
>  x^3 & \text{se $x<0$}, \\
>  x^2 & \text{se $x \ge 0$} \\
>\end{cases}
>   $
>
> Eles acham que isso é (são?) duas funções, e eles têm muita
> dificuldade pra nomes pras coisas, então eles não conseguem dizer que
> as duas funções são estas (que eu vou escrever sem domínios e
> contradomínios por motivos de correria):
>
>   $f_1(x) = x^3$
>
>   $f_2(x) = x^2$
>
> Depois que a gente escreve isso fica mais ou menos claro que nós
> estamos falando de pelo menos três funções, e que se os alunos não
> derem nomes pra elas melhores do que chamar elas de "a função", "a
> função", "a função", "a função" e "a função", muita coisa pode dar
> errado...
>
> Um modo de decidir qual definição de função é mais "elementar" é
> descobrir qual é mais acessível pra pessoas que sabem pouquíssima
> matemática - ou pra um certo grupo de pessoas que sabem pouquíssima
> matemática. E já que os alunos daqui têm muita dificuldade com nomes e
> letras isso me leva a concluir que isso aqui é uma função "bem
> elementar (pra eles)",
>
>   {(0,0), (1,1), (2,4), (3,9)}

O que dirão os seus alunos se você apresentar a definição desta função
quadrática (e de todas as outras funções do seu curso) também "por
casos", como no exemplo lá de cima?
   f(x) =
IF x=0 THEN 0,
ELSE IF x=1 THEN 1
  ELSE IF x=2 THEN 4
ELSE IF x=3 THEN 9

Alternativamente, o que dirão se você apresentar-lhes definições que
usam "reconhecimento de padrões"?
  f(x)=y SSE f é descrita pelo gráfico {..., (x,y),...}

Em ambos os casos, e também no exemplo que você deu lá em cima, claro,
as definições apresentadas precisam de informações ou testes
adicionais para garantir que definem (o gráfico de) "relações
funcionais".

Em qualquer situação, a pergunta que ainda poderia ser feita (mas,
admito, talvez não tenha interesse no contexto das suas aulas) é: Qual
destas coisas _é_ a função f?

[]s, Joao Marcos

-- 
https://sites.google.com/site/sequiturquodlibet/

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

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

Re: [Logica-l] Re: "Funções são conjuntos"

[Joao Marcos]

Viva, Juan!

> Acho que o resultado de sua pesquisa só mostra quanto estamos acostumados com 
> a formalização de funções na Teoría de Conjuntos. Particularmente, acho que a 
> formalização de funções como conjuntos de pares ordenados é só uma 
> codificação que funciona, mas que não mostra seu caráter 
> procedimental/computacional, e que é bastante contraintuitiva.

Digo mais: confundir o que a coisa *é* com uma mera *implementação* da
coisa pode até ser perigoso! (e não raro leva a articulações
filosóficas de má qualidade, baseadas em aspectos inteiramente
incidentais dos objetos ou fenômenos em consideração)

> Acho muito mais intuitiva a formalização de funções na Teoria de Tipos, onde 
> funções são representadas por meio de termos do cálculo lambda, que são 
> algoritmos que permitem nao só expresar mas também calcular funções.

De acordo!  Você conhece livros-textos introdutórios *sobre lógica de
primeira ordem* que usem cálculo lambda de maneira judiciosa e
essencial?

[]s, Joao Marcos

-- 
https://sites.google.com/site/sequiturquodlibet/

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

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

[Logica-l] Re: "Funções são conjuntos"

[Joao Marcos]

E o vencedor é...

On Wed, Jan 24, 2024, 17:08 Joao Marcos  wrote:

> O que vocês pensam desta asserção?  Podem registrar suas opiniões aqui:
>
> https://twitter.com/antitheorem/status/1750241375164014824?t=tIUhYdS_2OGHUOCPOT_aSQ&s=19
>
> JM
>

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

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

[Logica-l] "Funções são conjuntos"

[Joao Marcos]

O que vocês pensam desta asserção?  Podem registrar suas opiniões aqui:
https://twitter.com/antitheorem/status/1750241375164014824?t=tIUhYdS_2OGHUOCPOT_aSQ&s=19

JM

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

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

[Logica-l] ThEdu'24 - Call for Extended Abstracts & Demonstrations

[Joao Marcos]

  Call for Extended Abstracts & Demonstrations
**
ThEdu'24
   Theorem proving components for Educational software
  2 July 2024
  http://www.uc.pt/en/congressos/thedu/ThEdu24
**
 at IJCAR 2024,  July 1-6, 2024,  Nancy, France
**

THedu'24 Scope:

   Computer Theorem Proving is becoming a paradigm as well as a
   technological base for a new generation of educational software in
   science, technology, engineering and mathematics. The workshop brings
   together experts in automated deduction with experts in education in
   order to further clarify the shape of a new software generation and
   to discuss existing systems.

Important Dates

  * Extended Abstracts: 10 April 2024
  * Author Notification: 8 May 2024
  * Workshop Day: 2 July 2024

Topics of interest include:

  * interactive and automated theorem provers designed or adapted
  for education;
  * methods of automated deduction applied to checking students' input;
  * combinations of deduction and computation enabling systems to
  propose next step guidance;
  * combination of symbolic artificial intelligence and machine
  learning for the teaching of proof and proving;
  * design of libraries of statements and/or formal proofs for use
  in educational systems;
  * graphical user interfaces for theorem proving in the classroom;
  * specific systems integrated in educational components such as
  dynamic geometry software, automatic provers providing readable
  output or explicit counter examples, etc.;
  * the role of logic and formal systems in the didactic of proof
  and proving in mathematics education;
  * experience reports about the use of automatic or interactive
  theorem provers for teaching.

Submission

   We welcome submission of extended abstracts and demonstration
   proposals presenting original unpublished work which is not been
   submitted for publication elsewhere.

   All accepted extended abstracts and demonstrations will be presented
   at the workshop. Abstracts will be made available online.

   Extended abstracts and demonstration proposals should be submitted
   via easychair, https://easychair.org/conferences/?conf=thedu24
   formatted according to
http://www.easychair.org/publications/easychair.zip

   Extended abstracts and demonstration proposals should be 5-10 pages
   in length and are to be submitted in PDF format.

   At least one of the authors of each accepted extended
   abstract/demonstration proposal is expected to attend THedu'24 and
   presents their extended abstract/demonstration.


Program Committee (tentative)

   David Cerna, Johannes Kepler University, Austria
   Joao Marcos, Federal University of Rio Grande do Norte, Brazil
   Filip Maric, University of Belgrade, Serbia
   Julien Narboux, University of Strasbourg, France, (co-chair)
   Walther Neuper,  Johannes Kepler University, Linz, Austria (co-chair)
   Pedro Quaresma, University of Coimbra, Portugal (co-chair)
   Philppe R. Richard, University of Montréal, Canada
   Vanda Santos, University of Aveiro, Portugal
   Anders Schlichtkrull, Aalborg University, Denmark
   Wolfgang Schreiner, Johannes Kepler University, Austria
   Athina Thoma, University of Southampton, UK
   M. Pilar Velez, Nebrija University, Spain
   Jorgen Villadsen, Technical University of Denmark, Denmark
   Kitty Yan, University of Toronto, Canada


Proceedings

   Abstracts and system descriptions will be available in ThEdu'24
   Web-wage. After the Workshop an open call for papers will be
   issued. It is expected that authors of accepted extended abstract
   can submit a substantially revised version, extended to 14-20 pages,
   for publication by the Electronic Proceedings in Theoretical
   Computer Science (EPTCS).

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

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

[Logica-l] Re: What came first, math or computing?

[Joao Marcos]

> https://cacm.acm.org/magazines/2023/11/277437-what-came-first-math-or-computing/fulltext
> -- por Moshe Vardi

A palestra está agora disponível online:
https://youtu.be/CiD2Hm4GmpQ?si=RdepvkF2D3vT7vp_

Abraços, Joao Marcos

-- 
https://sites.google.com/site/sequiturquodlibet/

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

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

Re: [Logica-l] Concurso de Lógica / Fil. da Linguagem na UFU

[Joao Marcos]

A notícia do concurso bem na nossa área é excelente! (a menos da exigência
tola do título de _graduação_ em Filosofia)

Não posso, de todo modo, deixar de manifestar nesta ocasião minhas saudades
do amigo Carlos González!
http://www.ifilo.ufu.br/acontece/2021-09-nota-de-falecimento

Abraços, Joao Marcos


On Fri, Jan 19, 2024 at 2:09 PM Newton Peron  wrote:

> Olá, pessoal.
>
> Passando para divulgar o concurso em dpto de filosofia para a disciplina
> de Lógica e áreas afins na UFU (Univ. Federal de Uberlândia - MG). A maior
> parte dos pontos diz respeito à lógica, filosofia da matemática, filosofia
> da lógica e filosofia da linguagem. Eis o link:
>
>
> https://www.portalselecao.ufu.br/servicos/Edital/cronograma/1456?fbclid=IwAR3gppKfM6BBmjzl-bUeVhZLI6Ghtxuo3Rh8Ni3s9EO25lHqMpcfnE4fVLQ
>
> O concurso pede graduação e doutorado em filosofia. Dúvidas, ilações,
> reclamações, etc recomendo escrever diretamente para algum dos emails
> listados nesse link:
>
> http://www.ifilo.ufu.br/contato
>
> *POR FAVOR, DIVULGUEM!!!*
>
> Abraços e boa sorte para quem for prestar.
>
> Newton.
>
> --
> 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/CAO6PHV04VgJ9qOgTKgFLoBfwiUgrkOhhv_PG5tKNESHy6owW%3DA%40mail.gmail.com
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6PHV04VgJ9qOgTKgFLoBfwiUgrkOhhv_PG5tKNESHy6owW%3DA%40mail.gmail.com?utm_medium=email&utm_source=footer>
> .
>


-- 
https://sites.google.com/site/sequiturquodlibet/

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

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

[Logica-l] Fwd: Postdoctoral Research Fellowship (4 years): Arché, University of St Andrews

[Joao Marcos]

-- Forwarded message -

Dear colleagues,

The University of St Andrews is seeking qualified candidates for a
four-year postdoctoral research fellowship, to work with Prof. Franz
Berto on the project “What If? Knowing by Imagining”.

The job advertisement details are here


The application deadline is April 30, with a projected start date of
January 1, 2025.  A short description of the project and its aims
follows.

‘What if?'-counterfactual questions are of momentous importance for
scientific explanations (‘Would we see that particle track if the atom
was ionized?’), to ascertain responsibilities (‘Would he have hit the
brakes, had he not been distracted?’), to choose what to do (‘Would I
get to the other side if I jumped the stream?’). We address them by
imagining that a hypothetical situation obtains and wondering what
would follow. But how can imagination give us knowledge of reality, if
it's free departure from reality? WIKI will apply in the philosophy of
imagination tools from formal epistemology, in particular epistemic
and probabilistic logic, to address this issue. If we start by taking
counterfactual imagination as a kind of simulated belief revision, we
can then analyze it using formal theories of belief revision, in
qualitative (focusing on full, all-or-nothing belief) and quantitative
clothing (focusing on credences/degrees of belief). In three
interrelated subprojects, WIKI will (1) develop a logic and formal
epistemology of imagination as suppositional thinking, (2) apply them
to analyse the workings of scientific thought experiments, and (3)
compare them to empirical results from the psychology of reasoning, to
provide an account of how we can become better hypothetical reasoners.

Please feel free to forward this notice to any qualified candidates.

Cheers,

Greg

--
Greg Restall [he/him]
Shelby Cullom Davis Professor of Philosophy
Director, Arché Philosophical Research Centre for Logic, Language,
Metaphysics and Epistemology
Department of Philosophy, University of St Andrews
https://consequently.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/CAO6j_LjjC6Vc9%3DJ-XrVjHZJQWYReki4nzH5xwfMT1tUovziGtQ%40mail.gmail.com.

[Logica-l] para ensinar recursão é preciso ensinar recursão

[Joao Marcos]

Salve, lógicos de plantão!

Buscam-se recursos didáticos a nível de graduação para ensinar sobre
RECURSÃO (ESTRUTURAL) *para filósofos e linguistas*:
https://twitter.com/antitheorem/status/1744730134765351143

Desde já agradeço pelos ponteiros compartilhados,
Joao Marcos


PS1: Agradeço aos colegas por todas as referências compartilhadas
recentemente sobre *ensinar a traduzir*:
https://groups.google.com/a/dimap.ufrn.br/g/logica-l/c/zZSy3qiiLH8/m/vObqtfXKCQAJ
Outras referências específicas sempre serão bem-vindas!

PS2: Ligado ao ponto anterior, pareceu-me interessante apontar este
livro introdutório, muito bem feito e em português, de um professor da
USP, sobre a *interpretação de sentenças da linguagem natural* (usando
cálculo lambda):
https://www.martinsfontespaulista.com.br/semantica-998434/p

PS3: Gostaria de apontar que este fio, sobre o uso da Lógica no ensino
de *Matemática* a nível secundário e terciário, recebeu pouquíssimas
contribuições desta comunidade:
https://groups.google.com/a/dimap.ufrn.br/g/logica-l/c/3z34nQdCB_k/m/yn8utORiAgAJ
Sempre é tempo de colher mais opiniões sobre este assunto!

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

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

[Logica-l] talk: Formalising 21st-Century Mathematics

[Joao Marcos]

Pode ser de interesse a alguns membros desta lista:

%%%

Date/Time: 15 January 2024, 4-6pm GMT
Speaker: Lawrence C. Paulson FRS, University of Cambridge
Web: https://www.cl.cam.ac.uk/~lp15/

Registration: https://www.lms.ac.uk/events/lms-bcs-facs-seminar-2024

Title: Formalising 21st-Century Mathematics

Abstract: The formalisation of mathematics is an ongoing process that
arguably started as early as the 19th century, intensified with the
foundational crisis at the start of the 20th century, and since the
1970s has been conducted with the help of computers. Recent decades
have seen the machine formalisation of lengthy and technically
complicated proofs, but some have argued that even these were not
representative of modern mathematics. Recent achievements by a number
of different groups are starting to challenge this scepticism. The
speaker will outline some of these, while also noting some of the
remaining trouble spots.

Biography: Lawrence Paulson FRS is an American computer scientist. He
is a Professor of Computational Logic at the University of Cambridge
Computer Laboratory and a Fellow of Clare College, Cambridge. He is
best known for the cornerstone text on the programming language ML, ML
for the Working Programmer. His research is based around the
interactive theorem prover Isabelle, which he introduced in 1986. He
has worked on the verification of cryptographic protocols using
inductive definitions, and he has also formalised the constructible
universe of Kurt Gödel. Recently he has built a new theorem prover,
MetiTarski, for real-valued special functions.

%%%

JM

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

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

Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro????

[Joao Marcos]

> Sou amplamente a favor de cotas (em especial as raciais) de 
> representatividade e de diversidade, o que implica que por exemplo, em um 
> comitê assessor com 10 pessoas, tem que haver ao menos uma pessoa que se 
> identifique como mulher, não importa a % de representação da área -- vide o 
> que acontece no momento com o CA da Matemática...
[...]
>> a menos que eu esteja olhando no lugar errado, entre titulares e
>> suplentes do comitê de "Matemática e Estatística"
>> (https://www.gov.br/cnpq/pt-br/composicao/comites-de-assessoramento/membros/membros-dos-comites-assessores-da-dcti#matem-tica-e-estat-stica---ma)
>> há, aparentemente, 6 homens e 4 mulheres.

Agradeço à Elaine por gentilmente me apontar que a falta de
representatividade feminina neste comitê foi corrigida a partir da
metade de 2022, quando a comunidade relevante se movimentou para
exigir uma mudança.  Parece que mudanças têm ocorrido, de fato: a
julgar somente pelos nomes das pessoas que constam do link acima,
neste momento 45% dos membros de comitês são do sexo feminino, e 25
dos 49 comitês de assessoramento possuem pelo menos metade de seus
membros do sexo feminino.  Vale notar, não obstante, que 9 dos 49
comitês possuem atualmente apenas 1 membro do sexo feminino e outros 5
possuem apenas 1 membro do sexo masculino; curiosamente, o comitê com
maior desequilíbrio de gênero, neste momento, é o de *Psicologia e
Serviço Social* (dos 9 membros, 8 são do sexo feminino).

Esclareço que não tenho informações, infelizmente, sobre identidade de
gênero, raça/cor, ou ---importante para a presente discussão--- sobre
maternidade (ou paternidade?).

Esperemos que o futuro traga ainda mais progressos na gestão pública
brasileira --- e estejamos atentos para isto!
JM

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

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

Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro????

[Joao Marcos]

 mulher (nem muito menos quem se identifica com membro das
categorias "menos visíveis" de não-brancos, PCD, ou outras), mas a
menos que eu esteja olhando no lugar errado, entre titulares e
suplentes do comitê de "Matemática e Estatística"
(https://www.gov.br/cnpq/pt-br/composicao/comites-de-assessoramento/membros/membros-dos-comites-assessores-da-dcti#matem-tica-e-estat-stica---ma)
há, aparentemente, 6 homens e 4 mulheres.  Em ligeiro contraste, no
comitê de Filosofia parece haver 3 mulheres e 2 homens.  A Itala,
atual coordenadora deste último comitê, poderá me corrigir se eu
estiver errado.

[]s, Joao Marcos

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

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

[Logica-l] Nicholas Rescher (1928-2024)

[Joao Marcos]

https://dailynous.com/2024/01/05/nicholas-rescher-1928-2024/


JM

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

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

Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro????

[Joao Marcos]

> Sem querer estender muito mais este assunto OFF, parece-me essencial
> enfatizar o conteúdo deste tweet da professora Carlotto:
> https://twitter.com/maria___maria/status/1740070734318502251?t=jWvYDt6r6Zggo2PX-YZyeg&s=08
> Fala-se pouco nisso, mas "mulheres" e
> "mulheres-com-filhos-para-cuidar" são duas categorias *quase que
> completamente distintas*, na Academia (mesmo aqui neste fórum, temos
> aparentemente bem menos representantes desta última categoria do que
> da primeira), e entendo que há que se fazer uma forcinha para elaborar
> políticas públicas efetivas que levem isto seriamente em consideração.

Pronto:
https://www.gov.br/cnpq/pt-br/assuntos/noticias/cnpq-em-acao/nota-informativa
"Considerando que os critérios de julgamento adotados pelos CAs devem
ser revistos a cada três anos e a próxima revisão será feita a partir
de março deste ano, a Diretoria Executiva determinou tornar
obrigatório incluir o critério de que o período de avaliação da
produtividade científica da(o)s proponentes seja estendido por dois
anos, para cada parto ou adoção que ocorrer dentro do prazo estipulado
na chamada."

Uma das múltiplas repercussões disto na imprensa, hoje:

CNPq torna obrigatória extensão de 2 anos por gestação em editais de
bolsas de produtividade no país
- Avaliação anterior penalizava pesquisadoras que são mães; parecer
preconceituoso de professora suscitou debate sobre igualdade de gênero
na ciência
https://www1.folha.uol.com.br/ciencia/2024/01/cnpq-torna-obrigatoria-extensao-de-2-anos-por-gestacao-em-editais-de-bolsas-de-produtividade-no-pais.shtml

Está de parabéns o CNPq pela justa e expedita reação! (mesmo que ainda
não tenha ficado inteiramente claro, do que está escrito na nota do
CNPq, quem seriam os beneficiados pelo "parto ou adoção", e como isto
seria computado na prática)

> Como já disse antes Elaine, neste mesmo fio, nossos órgãos de fomento,
> via de regra, "recrutam pareceristas sem o mínimo treinamento e
> orientação".  (Aliás, treinamento não é o forte das nossas
> universidades, onde professores são frequentemente recrutados sem
> receber qualquer treinamento ou orientação --- nem sequer para se
> apresentarem em público, que dirá para dar aulas minimamente bem
> organizadas, motivadoras e inclusivas.)  Isso precisa mudar!

Da nota acima, parece que esta mudança também será iniciada, mas tudo
indica que levará mais tempo para acontecer --- afinal, "Códigos de
Ética" raramente têm o mesmo efeito de "treinamento ou orientação", e
o efeito é ainda menor se o desrespeito aos ditos códigos não tiver
implicações práticas.

[]s, JM

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

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

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