[Logica-l] Paraconsistent Newsletter Fall-Spring 2023

[jean-yves beziau]

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

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

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

[Logica-l] Fwd: [members-philmathpractice] 18-month Postdoc (IUSS Pavia): Epistemology / Philosophy of Mathematics

[Gisele Secco]

-- Forwarded message -
From: Silvia De Toffoli 
Date: Mon, Dec 18, 2023 at 11:25 PM
Subject: [members-philmathpractice] 18-month Postdoc (IUSS Pavia):
Epistemology / Philosophy of Mathematics
To: 


*18-month Postdoc (with possible 6-month extension): Epistemology /
Philosophy of Mathematics*

*Project: Disagreement in Mathematics*

*School of Advanced Studies IUSS Pavia*

*https://www.iusspavia.it/en* 


The School of Advanced Studies IUSS Pavia invites applications for an
18-month Postdoctoral Fellowship (with the possibility of a 6-month
extension) in epistemology and/or philosophy of mathematics. The
postdoctoral fellow will work as part of the Italian National Research
Project (PRIN) *Understanding Scientific Disagreement and its Impact on
Society* with PI: Silvia De Toffoli  (co-PI:
Filippo Ferrari, University of Bologna).


The main task will be to investigate foundational and epistemological
questions concerning disagreement, focusing mainly on the occurrence of
disagreement in scientific and mathematical contexts. Some of the main
questions that will guide the research are: Is rational disagreement
possible at all in mathematics? What are the popular misconceptions about
scientific disagreement? What is the epistemic significance of mathematical
and scientific disagreement?


The postdoc will also collaborate with the other people working on the
project and will contribute to planning the project activities.


Monthly after-tax salary: approximately €2100 (higher than average for
Italy and adequate to living costs).

Tentative starting date: March 1, 2024.


Call HERE

 - *English at the end.*

Application: https://pica.cineca.it/iuss/assegni-suv-12-2023/

*Be sure to upload the (optional) motivation letter!*


Deadline: January 15, 2024, 12.00 CET

Info: silvia.detoff...@iusspavia.it



---
Silvia De Toffoli
www.silviadetoffoli.net

-- 
You received this message because you are subscribed to the Google Groups
"APMP members list" group.
To unsubscribe from this group and stop receiving emails from it, send an
email to members-philmathpractice+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/members-philmathpractice/CDE9E94C-D51D-46D6-9BD2-A0BBE9D67437%40iusspavia.it

.


-- 
Gisele Dalva Secco

ORCID 
PhilPeople 

-- 
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/CADjHNnoomL%3DEiQWHssVc2rDM1EoOgY0FMo%3DTNP9fF4QHJumpaQ%40mail.gmail.com.

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

[Hermógenes Oliveira]

Prezadas(os),

Sobre esta temática, acho que sanções são absolutamente indispensáveis.

Denunciantes precisam ter total transparência sobre os procedimentos para 
tratamentos das denúncias, a expectativa de serem levadas(os) à sério e 
protegidas(os) de eventuais retaliações, e que suas denúncias, caso 
contundentes, conduzam a reais consequências. Caso contrário, ninguém se 
prestará a denunciar qualquer coisa.

--
Hermógenes Oliveira

-- 
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/2049fcd3-c2dc-44d4-8be9-e89af90f45b6n%40dimap.ufrn.br.

[Logica-l] CiE 2024 -- 2nd call for papers

[Elaine Pimentel]

Computability in Europe 2024
Twenty years of theoretical and practical synergies

Amsterdam, The Netherlands
July 08-12, 2024
https://events.illc.uva.nl/CiE/CiE2024/

Submission link: https://equinocs.springernature.com/service/CiE2024

IMPORTANT DATES:
Deadline for article submission: February 10, 2024 (AOE)
Notification of acceptance: April 20, 2024
Final versions due: May 1, 2024
Deadline for informal presentations submission: May 15, 2024 (The
notifications of acceptance for informal presentations will be sent a few
days after submission)
Early registration before: May 20, 2024
Conference: July 08-12, 2024

GENERAL INFORMATION
CiE 2024 will be an anniversary event. It is the 20th conference organized
by CiE (Computability in Europe), in the same place as the first edition,
Amsterdam.

CiE is a European association of mathematicians, logicians, computer
scientists, philosophers, physicists and others interested in new
developments in computability and their underlying significance for the
real world.

Previous meetings have taken place in Amsterdam (2005), Swansea (2006),
Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia
(2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest (2015),
Paris (2016), Turku (2017), Kiel (2018), Durham (2019), Salerno (2020,
virtually), Ghent (2021, virtually), Swansea (2022) and Batumi (2023).

TUTORIAL SPEAKERS
Matthew Harrison-Trainor (University of Illinois Chicago)
Sonja Smets (University of Amsterdam)

INVITED SPEAKERS
Arnold Beckmann (Swansea University)
Rod Downey (Victoria University of Wellington)
Elvira Mayordomo (University of Zaragoza)
Alexandre Miquel (Universidad de la República)
Monika Seisenberger (Swansea University)
Mariya Soskova (University of Wisconsin–Madison)

SPECIAL SESSIONS
- Computable aspects of symbolic dynamics and tilings (chairs: Benjamin
Hellouin and Ilkka Torma)
- Algorithmic randomness and Kolmogorov complexity session (chairs: Rupert
Hölzl abd Denis Hirschfeldt)
- Quantum Computation (chairs: Delaram Kahrobaei and Mehrnoosh Sadrzadeh)
- History and Philosophy of Computing (HaPoC) (chairs: Ekaterina
Koubychkina and Marianna Girlando)
- Bio-inspired Computation (BiC) (chairs: Gianluca Della Vedova and Jasmin
Baaijens)
- Computable Structure Theory (chairs: Stefan Vatev and Ekaterina Fokina)

CONFERENCE TOPICS
The CiE conferences serve as an interdisciplinary forum for research in all
aspects of computability, foundations of computer science, logic, and
theoretical computer science, as well as the interplay of these areas with
practical issues in computer science and with other disciplines such as
biology, mathematics, philosophy, or physics.

PAPER SUBMISSION
THE PROGRAM COMMITTEE cordially invites all researchers, European and
non-European, to submit their papers in all areas related to the above for
presentation at the conference and inclusion in the proceedings of CiE 2024
at https://equinocs.springernature.com/service/CiE2024

CONFERENCE PROCEEDINGS
Papers submitted to the conference proceedings should represent original
work, not simultaneously submitted to another journal or conference with
formal proceedings.
The Program Committee will rigorously review and select submitted papers.
Accepted papers will be published as a proceedings volume in the Lecture
Notes in Computer Science (LNCS) series from Springer-Verlag.

Papers to be considered in the conferences proceedings must be submitted in
PDF format, using the LNCS style (available at
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines)
and must have a maximum of 12 pages, including references but excluding a
possible appendix in which one can include proofs and other additional
material. Papers building bridges between different parts of the research
community are particularly welcome.

INFORMAL PRESENTATIONS
Continuing the tradition of past CiE conferences, we invite researchers to
present informal presentations of their recent work. A proposal for an
informal presentation must be submitted via e-mail (e.pimen...@ucl.ac.uk),
using the LNCS style file (available at
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines),
and be 1 page long; a brief description of the results suffices and an
abstract is not required. Informal presentations will not be published in
the LNCS conference proceedings. Results presented as informal
presentations at CiE 2024 may appear or may have appeared in other
conferences with formal proceedings and/or in journals.

PROGRAM COMMITTEE
Contributed papers will be selected from submissions received by the
PROGRAM COMMITTEE consisting of:

Bahareh Afshari (University of Amsterdam & University of Gothenburg)
Nathalie Aubrun (CNRS, Université Paris-Saclay)
Marie-Pierre Béal (Université Gustave Eiffel)
Benno van den Berg (University of Amsterdam)
Sebastian Berndt (University of Lübeck)
Patricia Bouyer-Decitre (CNRS)
Jin-Yi Cai (University of Wisconsin-Madison)

[Logica-l] Fwd: [PF]Call for Papers: Contemporary perspectives in philosophy of logic

[Mateus Alves]

Repassando

-- Forwarded message -
De: Perspectiva Filosófica 
Date: qua., 20 de dez. de 2023 às 12:10
Subject: [PF]Call for Papers: Contemporary perspectives in philosophy of
logic
To:


Chamada de artigos para compor o *Número especial: Perspectivas
Contemporâneas em Filosofia da Lógica*, sob a organização de Evelyn
Erickson (UFSC) e Ederson Safra Melo (UFMA). Submissões até 31 de Maio de
2024.

Discussões recentes em filosofia da lógica têm cogitado a possibilidade de
que seja um erro atribuir à lógica certas propriedades que tradicionalmente
justificavam bem seus fundamentos, como aprioricidade, analiticidade ou
normatividade. Diferentes posições buscam re-caracterizar a Lógica como
disciplina, divergindo sobre qual objeto de estudo lhe é apropriado, sobre
como proceder em investigação e sobre o quê lógicas podem nos dizer sobre o
mundo, se é que podem dizer algo. O panorama de lógicas não-clássicas
disponíveis e a polissemia do termo lógica, engrossam o caldo do debate.
Embora haja muito a ser dito sobre lógica, talvez nem sempre estejamos
falando sobre a mesma coisa. A lógica sempre foi considerada terreno seguro
para resolver uma série de disputas, mas o que acontece quando são as
próprias teorias lógicas que estão em disputa?

A presente chamada de artigos  busca trabalhos em filosofia da lógica que
possam contribuir com  o panorama contemporâneo sobre o que é isso que
chamamos de lógica, qual é seu escopo, que propriedades tem, que papel
cumpre com relação a nossas práticas argumentativas e sobre qual a
relevância filosófica disso tudo. Delimita-se o escopo de interesse em
discussões filosóficas sobre lógica, e não trabalhos técnicos ou de
aplicação instrumental de lógicas à problemas filosóficos. Serão aceitos
trabalhos em português ou inglês.

Lista não-exaustiva de temas de interesse:

-Definição de teoria lógica
-Constantes lógicas
-Relação de consequência
-Desacordos teóricos em lógica
-Mudança de significado
-Revisão de teorias
-Princípio da tolerância
-Escopo da lógica
-Instrumentalismo lógico
-Normatividade da lógica
-Filosofia da paraconsistência
-Epistemologia da lógica

*Submissões até* 31/05/2024 (devem seguir as diretrizes da Revista
Perspectiva:
https://periodicos.ufpe.br/revistas/perspectivafilosofica/about/submissions#authorGuidelines
)
Previsão de publicação em dezembro de 2024

*Editores convidados: *Evelyn Erickson (UFSC) e Ederson Safra Melo (UFMA)
Dúvidas podem enviadas diretamente para evelyn.f.erick...@gmail.com

*Editor-chefe: *Marcos Silva (UFPE/CNPq)

--

*Call for Papers: Contemporary perspectives in philosophy of logic*

Recent discussions in philosophy of logic have entertained the possibility
that it is a mistake to attribute to logic certain properties which
traditionally justified its foundation, such as aprioricity, analyticity or
normativity. Different views seem to re-characterize Logic as a discipline,
diverging on what object of study is appropriate for it, how to go about
investigating it and what, if anything, logics can tell us about the world.
The panorama of non-classical logics available and the polissemy of the
term logic thicken the stew. Even though there is a lot to say about logic,
perhaps we’re not even talking about the same thing. Logic has always been
considered safe terrain to resolve many disputes, but what happens when its
logical theories themselves which are in dispute?

The current call for papers seeks works in philosophy of logic which can
contribute to the contemporary panorama about what it is this thing called
logic, what is its scope, which properties does it have, which role it
plays in our argumentative practices and about what is the philosophical
relevance of all this. The scope of interest is delimited by philosophical
discussions about logic, and not technical works or the application of
logic as instrument to philosophical problems. Works in Portuguese or
English are accepted.

Non-exhaustive list of themes of interest:

-Definition of logical theory
-Logical constants
-Consequence relation
-Theoretical disagreements in logic
-Meaning change
-Theory revision
-Principle of tolerance
-The scope of logic
-Logical instrumentalism
-Normativity of logic
-Philosophy of paraconsistency
-Epistemology of logic

*Submission by* May 31,2024 (It must follow the guidelines of Revista
Perspectiva:
https://periodicos.ufpe.br/revistas/perspectivafilosofica/about/submissions#authorGuidelines
)
*Publication expected by* December 2024

*Invited editors: *Evelyn Erickson e Ederson Safra Melo
Questions can be send directly to evelyn.f.erick...@gmail.com

*Editor-chief: *Marcos Silva (UFPE/CNPq)

-- 
Agradecemos seu interesse e apoio contínuo em nosso trabalho.
Atenciosamente,

Revista Perspectiva Filosófica
https://linktr.ee/PerspectivaFilosofica
https://www.instagram.com/perspectivafilosofica/
https://periodicos.ufpe.br/revistas/perspectivafilosofica

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da 

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

[Marcos Silva]

Car@s,

A rede brasileira de mulheres filósofas está fazendo um excelente trabalho
neste quesito também. Elas publicaram, no mês passado, um protocolo de
enfrentamento da violência de gênero na academia.
https://www.filosofas.org/post/protocolo-de-enfrentamento-da-viol%C3%AAncia-de-g%C3%AAnero

A ANPOF organizou um bate papo bacana para divulgar este protocolo:
https://youtu.be/LrxY9IV9WFQ

Abraços do Recife,
Marcos

On Sun, Dec 17, 2023 at 5:27 AM Valeria de Paiva 
wrote:

> Caro Walter,
>
> A ideia e' termos os códigos bem claros, como a AMS e a ASL (não
> exatamente as organizações mais politicamente corretas que conhecemos) os
> têm, para que as pessoas que forem desrespeitadas possam ter uma maneira
> clara e imediata de reclamar. Sanções são claramente importantes, mas
> esperamos que a pressão dos colegas seja também um deterrente do
> comportamento antissocial.
>
> Muito obrigada Elaine pelo trabalho todo nessa área!!!
>
> Abraços,
> Valeria
>
> On Sat, Dec 16, 2023 at 1:40 PM Walter Carnielli 
> wrote:
>
>> Prezada Elaine:
>>
>> Parabéns pela iniciativa, os códigos estão claros!
>> A questão agora é como agiremos com aqueles colegas que insistem num
>> comportamento desrespeitoso e descordial.
>>
>> Abraços,
>>
>> Walter
>>
>> Em sáb., 16 de dez. de 2023 03:16, Itala Maria Loffredo D'Ottaviano <
>> it...@unicamp.br> escreveu:
>>
>>> Caríssima Elaine:
>>> Excelente providência da SBL e da ASL!
>>> Esperamos que nossos colegas já se sensibilizem sobre a necessidade de
>>> um comportamento sempre respeitoso e cordial.
>>> Itala
>>>
>>> Prof. Dr. Itala M. Loffredo D'Ottaviano
>>> Full Professor in Logic and the Foundations of Science
>>> Member and Researcher of the *Centre for Logic, Epistemology and the* 
>>> *History
>>> of Science* at the University of Campinas
>>> Research Fellow of the *Brazilian National Council for Scientific and
>>> Technological Development*
>>> Titular Member, *Brazilian Academy of Philosophy* (Rio de Janeiro)
>>> Emeritus Member, *Académie Internationale de Philosophie de Sciences *
>>> (Bruxelles)
>>> Titular Member, *Institut International de Philosophie *(Paris-Nancy)
>>> Editor of *Coleção CLE, *by the *Centre for Logic, Epistemology and the*
>>>  *History of Science.*
>>>
>>>
>>> Em qui., 14 de dez. de 2023 às 14:09, Elaine Pimentel <
>>> elaine.pimen...@gmail.com> escreveu:
>>>
 Prezados colegas,

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

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

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

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

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

 --
 LOGICA-L
 Lista acadêmica brasileira dos profissionais e estudantes da área de
 Lógica 
 ---
 Você 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/CAHQVs%2BW8zhd2sJeJCci9dfTfHYpob_UnUssdPmbRhUTpqCssWA%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
>>> 

[Logica-l] Fwd: CfR: Workshop 'Proofs, Rules, and Meanings', 11-12 April 2024, University of St Andrews (Scotland)

[Joao Marcos]

-- Forwarded message -

Call for Registration
Workshop: Proofs, Rules, and Meanings

11-12 April 2024
Arché Research Centre
University of St Andrews, Scotland

https://www.st-andrews.ac.uk/arche/event/workshop-proofs-rules-and-meanings/

Proof-theoretic semantics is a research programme that aims to
determine the meaning of linguistic expressions by analysing their
inferential use. It was inspired by general proof theory, the logical
research programme that led to the development of the sequent calculus
and natural deduction systems. Proof-theoretic semantics was
subsequently given its name by Peter Schroeder-Heister (one of our
speakers) in 1987. Since then, it has become a vibrant research field
in philosophical, mathematical, computational and linguistic logic.

Emphasizing the interdisciplinary nature of the topics, this workshop
will feature presentations on:

  1.  the contemporary logical and philosophical dimensions of
proof-theoretic semantics;
  2.  its historical roots and precursors; and
  3.  its fruitful applications in philosophy, linguistics, computer
science, mathematics, and beyond.

Confirmed Speakers

Sara Ayhan (Bochum)
Bogdan Dicher (Lisbon) (keynote speaker)
Catarina Dutilh Novaes (VU Amsterdam)
Viviane Fairbank (St Andrews)
Luca Incurvati (ILLC
Amsterdam)
Robin Martinot (Utrecht)
Sophie 
Nagler
(St Andrews/ILLC Amsterdam)
Elaine 
Pimentel
(UCL)
Greg Restall (St Andrews)
Francisca 
Silva
(St Andrews)
Peter 
Schroeder-Heister
(Tübingen)
Sara Uckelman (Durham)

Registration Details

This will be a hybrid workshop, and there are no fees to attend.
Please register using this online form:
https://forms.office.com/e/ET0Jzv0eh7

For any questions, please contact
pro...@st-andrews.ac.uk

Student Travel Awards

The Association of Symbolic Logic (ASL) is offering (limited) student
travel awards to attend this workshop. The ASL strongly encourages
applications from women and members of minority groups. Applicants
must be student members of the ASL. Applications must be received by
10th January 2024. For more details, and to apply, see:
https://aslonline.org/meetings/student-travel-awards/

The Analysis Trust is also offering (limited) student awards to attend
this workshop, up to 50% of the full cost of accommodation. Travels
costs are not covered by this bursary. To apply for this funding,
please fill out the dedicated section of the workshop registration
form (https://forms.office.com/e/ET0Jzv0eh7).  Applications must be
received by 10th February 2024.

Partners

The workshop is organised in partnership with the Arché Metaphysics
and Logic Research
Group
and the Arché Medieval Logic Research
Group. It
is funded by the Arché Research
Centre, the Scots Philosophical
Association, the British Logic
Colloquium, the Association for Symbolic Logic
(ASL), and the Analysis
Trust.

Organisers (St Andrews)

Viviane Fairbank
Sophie Nagler
Stephen Read
Greg Restall
Francisca Silva

Best wishes on behalf of the organisers,
Sophie Nagler [she/they]

PhD Student in Philosophy, Logic, Language and Computation
Arché Research Centre, University of St
Andrews
Institute for Logic, Language and Computation, University of
Amsterdam

-- 
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_Ljp6%2BaU2QEzJzUkdWCUS2zEnSREWGRNntsRPcmWcYFavg%40mail.gmail.com.