CFP - Special Issue of Logic and Logical Philosophy: "Logics and Their Interpretations"

[Henrique Antunes]

Olá a tod@s,

Espero que estejam bem.

Gostaria de divulgar o CFP de um volume especial da Logic and Logical
Philosophy que eu e o Damián Szmuc (IIF-SADAF-CONICET & UBA) estamos
editando.

Será um enorme prazer receber submissões dos membros da lista.

Os detalhes do processo estão descritos abaixo e em:

http://www.home.umk.pl/~llp/Special_Issue-LLP.pdf

Abraços

--
Henrique Antunes

#####

CALL FOR PAPERS: “Logics and Their Interpretations”

Special Issue of Logic and Logical Philosophy

SPECIAL ISSUE EDITORS

Henrique Antunes (UFMG) and Damian Szmuc (IIF-SADAF-CONICET & UBA)

CALL FOR PAPERS

Submissions must be in English and use the form of a source LaTeX file.
Instructions for authors can be found at:

http://llp.umk.pl/inf4a.html

A LaTeX template for full-text submissions can be found at:

https://bit.ly/2W58Hgt

Although not required, authors are invited to send a one-page abstract to:

antunes....@outlook.com; or

szmuc...@conicet.gov.ar

by the end of September 2020.

Full-text submissions must be sent to one of the addresses above by the
end of January 2021.

Contributions are welcome from philosophers, logicians, mathematicians,
linguists, and computer scientists.

FOCUS OF THE SPECIAL ISSUE

Logical systems of classical and Non-classical sorts are often endowed
with a variety of interpretations: semantic, proof-theoretic, metaphysic,
epistemic, pragmatic, informational, dialogical, and more. Work along
these lines has led to the connection of logic to many other areas of
knowledge and research. The attempt to draw these connections is, however,
sometimes met with a number of criticisms. On the one hand, many of these
interpretations have been subject to discussion, trying to determine if
the conceptual and the formal aspects align as required. On the other
hand, scholars who reject some contentions interpretations of certain
formal systems debate whether these logics should be dispensed with in
light of their philosophical interpretations, or whether it is possible to
embrace them without endorsing such interpretations. Examples of the above
are the debates between the fictionalist and the realist interpretations
of possible worlds for modal logics, and between the dialetheic and the
epistemic interpretations of paraconsistent logics. Furthermore, there is
a question of which if any is the canonical application of logic as a
discipline and therefore of any given logical system. In this vein, some
scholars believe that a distinction between pure logic and applied logic
needs to be taken into account, which may or may not resemble the Medieval
divide between logica docens and logica utens. The aim of this special
issue is to discuss these topics and to assess the effect of the answers
provided in the relation between logic and the many disciplines related
to it.


SCOPE OF THE SPECIAL ISSUE

All papers related to one or more of the following topics are welcome:

Interpretations of classical logic
Interpretations of non-classical logic
Interpretations of modal and epistemic logics
Interpretations of many-valued logics
Interpretations of paracomplete and paraconsistent logics
Interpretations of intuitionistic and subintuitionistic logics
Interpretations of relevant logics
Interpretations of substructural logics
Interpretations of fuzzy logics
Interpretations of free and inclusive logics
Interpretations of probability logics
Interpretations of possibilistic logics
Interpretations of contra-classical logics (connexive, Abelian, and more)
Canonical and non-canonical interpretations of logic as a discipline
The pure logic - applied logic distinction
The logica docens - logica utens distinction

IMPORTANT DATES

July 2020: Release of the Call for papers

September 2020: Deadline for expression of interest and abstract
submissions (500-word abstracts)

October 2020: Feedback / Invitation to submit full-text submissions

January 2021: Full-text submissions deadline

May 2021: Comprehensive peer review and feedback