Logic List Mailing Archive

Non-classical abstract logics

27 Jun 2015
Istanbul, Turkey

Non-Classical Abstract Logics

Workshop organized by:

Fabien Schang
(National Research Institute, Higher School of Economics, Moscow)
and
James Trafford
(University for the Creative Arts at Epsom, London)

Keynote speaker: Joao Marcos
(Federal University of Rio Grande do Norte, Brazil)


According to the ?classical? view, logic is a theory of consequence <L,Cn>,
where Cn is taken to be either a relation between sets of formulas in a
language L or an operator on formulas. By ?classical? here, we do not mean
the view of logic which is defined by a semantic model with only two
truth-values (truth and falsity). Rather, we mean the broader sense in which
the foundations of a logic have to do with a basic relation of
truth-preservation. This workshop will question this view, and investigate
alternatives.

There are a number of suggestions available in the literature regarding what
shape such a non-classical ?abstract logic? might take. For example, from
the point of view of semantics, Shramko and Wansing suggest a generalized
theory of truth-values and entailment relations which do not solely preserve
truth. From the point of view of dialogue, reasoning and inferentialism, a
number of authors (e.g. Dutilh-Novaes; Restall; Ripley) both investigate the
foundations of logical deduction and question the centrality of
truth-preservation in the construction of logical systems.

We think that there are three predominant attitudes that can be identified
in the investigation of the abstract properties of logical systems. The
first contends that every logical system has ultimately to do with different
ways to preserve truth from premises to conclusion. The second questions the
centrality of truth and makes room for more relations of consequence between
premises and conclusion. Finally, the third is even more radical by
questioning the very relation of consequence. Should the latter always be
seen as a cornerstone in any abstract study of logic? In this vein,
falsification, and relations of rejection, have been studied on a equal
footing with truth-preservation (e.g. S&#322;upecki, Skura). Such investigations
may be understood as initiating a broader view of logical relations that
could lead to a more comprehensive reflection on the discipline. In this
regard, consequence, rejection, inference, or even mere difference (in the
context of a wider reading of the logical concept of opposition) may be
considered to be equally basic notions to investigate the foundations of logic.


Call for Papers

Any contribution to the renewal of abstract logic (both in a ?classical? or
?non-classical? trend) will be welcome in this workshop, utilising various
working methods (algebraic semantics, proof theory, sequent calculus,
dialogues), and aiming at a unifying abstract theory of logic of the form
<L,?>. This includes questions concerning:
- the notion of consequence and its various facets
- the notion of rejection, as both a dual of consequence or a more complex
(and independent) relation;
- ?non?-classical abstract relations, like rejection or difference;
- logic and language-games;
- investigations regarding consequence and implication, opposition and
duality, and pure negation.


Abstracts (500 words maximum) should be sent via e-mail before November 15th
2014 to:
istanbul2015philosophyncl@gmail.com
Notification of acceptance: December 1st 2014
Intended day for our workshop: June 27th, 2015