Inferences and proofs
3, place Victor Hugo - case 39 - 13331– MARSEILLE Cedex 03
Marseille
Italy
Sponsor(s):
- A*MIDEX
Speakers:
Organisers:
Topic areas
Talks at this conference
Add a talkDetails
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.
Registration
Yes
May 30, 2016, 7:45pm CET
Who is attending?
1 person is attending:
Will you attend this event?
Custom tags:
#Inferences, #Proofs, #Proof-theory, #Proof-theoretic semantics, #Logic, #Mathematical Logic, #Philosophy of Logic