Sur les preuves non déductives en intelligence artificielle
Pierre MARQUIS
In Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Sur la capacité de la raison à discerner : rationalité substantive et rationalité procédurale d’Aristote à H.A. Simon, par Descartes et Vico
Jean-Louis LE MOIGNE
In Le Modèle et l’enquête. Les usages du principe de rationalité dans les sciences sociales - 1995
Structural Proof Theory
Jan VON PLATO, Sara NEGRI
Cambridge University Press - 2001
Relevant Logic. A Philosophical Interpretation
Edwin David MARES
Cambridge University Press - 2004
Règles, déduction, grammaire et langage
Ryszard ZUBER
In Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Proofs and refutations. The logic of mathematical discovery
Imre LAKATOS, John WORALL, Élie G. ZAHAR
Cambridge University Press - 1976
Preuves par excellence
Jacques DUBUCS, Sandra LAPOINTE
In Philosophiques - 2003
Preuves de la déduction automatique et analogie
Régis CURIEN
In Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Physics and Necessity : Rationalist Pursuits from the Cartesian Past to the Quantum Present
Olivier DARRIGOL
Oxford University Press - 2014
Philosophie de l'économie
Mikaël COZIC
In Précis de philosophie des sciences - 2011
Penser par cas
Edited by Jean-Claude PASSERON, Jacques REVEL
Éditions de l’École des Hautes Études en Sciences Sociales (EHESS) - 2005
Peirce-Suit of Truth – Why Inference to the Best Explanation and Abduction Ought Not to be Confused
Gerhard MINNAMEIER
In Erkenntnis - 2004
Logique mathématique
Jean-François PABION
Hermann - 1976
Les «Principia» de Newton
Michel BLAY
Presses Universitaires de France - 1995
Leçons sur l’histoire de la logique
Tadeusz KOTARBINSKI
Presses Universitaires de France - 1964