Inferences and proofs

May 31, 2016 - June 1, 2016
CEPERC, FRUMAM, University of Aix-Marseille

3, place Victor Hugo - case 39 - 13331– MARSEILLE Cedex 03
Marseille
Italy

Sponsor(s):

  • A*MIDEX

Speakers:

Miloš Adzic
University of Belgrade
Cesare Cozzo
Sapienza University of Rome
Gabriella Crocco
University of Aix-Marseille
Kosta Došen
University of Belgrade
Nissim Francez
Technion, Israel Institute of Technology
Per Martin-Löf
Stockholm University
Dag Prawitz
Stockholm University
Peter Schröder-Heister
Universität Tübingen
Göran Sundholm
University of Leiden
Luca Tranchini
Universität Tübingen
Gabriele Usberti
University of Siena

Organisers:

Gabriella Crocco
University of Aix-Marseille
Antonio Piccolomini d
University of Aix-Marseille

Topic areas

Talks at this conference

Add a talk

Details

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 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 an inference? And why valid inferences have an epistemic force? These question, far from being psychological in nature, involve epistemology, logic and mathematics.

For more informations: [email protected]

For security reasons, the Aix-Marseille University will not allow one to enter if one is not registered. So, please, would mind providing us with your first and second name by writing at [email protected]?

Once there, you can call the number +33668927409 for any help.

Supporting material

Add supporting material (slides, programs, etc.)

Reminders

Registration

Yes

May 30, 2016, 7:45pm CET

Who is attending?

1 person is attending:

Université d'Aix-Marseille III

See all

Will you attend this event?


Let us know so we can notify you of any change of plan.

RSVPing on PhilEvents is not sufficient to register for this event.

Custom tags:

#Inferences, #Proofs, #Proof-theory, #Proof-theoretic semantics, #Logic, #Mathematical Logic, #Philosophy of Logic