---------- Forwarded message ---------- TOPOI CFP: INFERENCES AND PROOFS
Call for papers Inferences and proofs: a special issue of TOPOI 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 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.cro...@univ-amu.fr Antonio Piccolomini d'Aragona antonio.piccolomini-darag...@etu.univ-amu.fr Submission deadline: 31 march 2017 -- 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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjnTLFwRcb6aDnsi4kPGFXhDoXgjJ_W-hcz0AMYLxRBLA%40mail.gmail.com.