Logic List Mailing Archive

CfP special issue of Topoi on "Inferences and Proofs"

*TOPOI *CFP: INFERENCES AND PROOFS

Call for papers

*Inferences and proofs: a special issue of **TOPOI
<http://www.springer.com/philosophy/journal/11245>*

*Guest edited by Gabriella Crocco (Aix-Marseille University) and Antonio 
Piccolomini d'Aragona (Aix-Marseille University, "La Sapienza" University 
of Rome)*


Since its birth, logic has been concerned with the study of correct 
reasonings or, more specifically, of proofs. A proof should have the 
epistemic power to provide us with justification for the judgement or 
assertion which it ends with. This power is, from a different point of 
view, the power to compel one to accept the conclusion of the proof. Which 
forms of reasoning can be said to have such power? And above all, how can 
they exert an epistemic power of compulsion?

According to Descartes, a correct reasoning is nothing but a chain of 
valid inferences. The epistemic power of proofs should therefore depend on 
the epistemic power of valid inferences. The problem then becomes: what is 
a (valid) inference? And why do valid inferences have an epistemic force? 
These questions, far from being psychological in nature, rather involve 
epistemology, logic and mathematics.

*TOPOI <http://www.springer.com/philosophy/journal/11245>* invites 
submissions to the special issue "Inferences and proofs", edited by 
Gabriella Crocco (Aix-Marseille University) and Antonio Piccolomini 
d'Aragona (Aix-Marseille University, "La Sapienza" University of Rome).

*Confirmed invited contributors*:

    Cesare Cozzo ? "Sapienza" University of Rome -
    Gabriella Crocco ? Aix-Marseille University
    Nissim Francez ? Technion Israel Institute of Technology
    Per Martin-L?f ? Stockholm University
    Antonio Piccolomini d'Aragona ? Aix-Marseille University, ?Sapienza?
    University of Rome
    Dag Prawitz ? Stockholm University
    Peter Schroeder-Heister ? T?bingen University
    G?ran Sundholm ? Leyden University
    Luca Tranchini ? T?bingen University
    Gabriele Usberti ? Siena University

*Main areas of interest*:

    Dag Prawitz's proof-theoretic semantics and recent theory of grounds;
    Per Martin-L?f intuitionistic type theory;
    Category theory;
    Contextual approaches to epistemic issues;
    Kurt G?del's notion of absolute proof.

*Possible topics include*:

    the adequate order of explanation that the notions of inference and
    proof should be formally and conceptually provided with;

    the relevance of epistemic contexts in the description of (valid)
    inferences;

    the idea that hypothetical proofs should take priority over the
    categorical ones ? and not the other way around;

    a demand of transparency that formal objects of evidence should satisfy;

    the nature of judgements or assertions occurring in inferences, and
    their ?ethic? relevance;

    differences and relationship between valid inferences, proofs and
    logical consequence;

    axioms, assumptions and dependence relationships in proofs;

    a proof-theoretic treatment of paradoxes;

    identity of proofs;

    G?del's ideas about set-theory and absolute proof, also in connection
    with Georg Kreisel's well-know distinction between formal and informal
    rigour, and their relevance for (valid) inferences and epistemic procedures.


SUBMISSION PROCEDURE

Papers must be written in English. Also, they should not exceed 50.000 
characters ? spaces and references included ? and follow *Topoi*'s 
formatting guidelines at

http://www.springer.com/philosophy/journal/11245.

All manuscripts will undergo double-blind peer-review. They have to be 
submitted exclusively through the Online Manuscript Submission System, 
i.e. the Editorial Manager at

http://www.editorialmanager.com/topo.

When submitting, ensure you select the appropriate article type ? "S.I.: 
Inferences and proofs (Crocco/Piccolomini)" ? from the scroll-down menu.


For further information please contact:

Gabriella Crocco gabriella.crocco@univ-amu.fr

Antonio Piccolomini d'Aragona antonio.piccolomini-daragona@etu.univ-amu.fr

Submission deadline: *31 march 2017*
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam