Règles, déduction, grammaire et langage
Ryszard ZUBER
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Proofs and refutations. The logic of mathematical discovery
Élie G. ZAHAR, John WORALL
Cambridge University Press - 1976
Structural Proof Theory
Jan VON PLATO
Cambridge University Press - 2001
Le raisonnement par analogie dans les mathématiques chinoises du premier millénaire de notre ère
Alexeï VOLKOV
Dans L’Analogie dans la démarche scientifique. Perspective historique - 2008
La théorie bolzanienne du fondement et de la conséquence
Armin TATZEL
Dans Philosophiques - 2003
La notion bolzanienne de la déductibilité
Mark SIEBEL
Dans Philosophiques - 2003
Penser par cas
Sous la direction de Jacques REVEL
Éditions de l’École des Hautes Études en Sciences Sociales (EHESS) - 2005
Leçons sur l’histoire de la logique
Sara NEGRI, Jean-Claude PASSERON
Presses Universitaires de France - 1964
Peirce-Suit of Truth – Why Inference to the Best Explanation and Abduction Ought Not to be Confused
Gerhard MINNAMEIER
Dans Erkenntnis - 2004
De l'explication dans les sciences : Tome II
Émile MEYERSON
Payot - 1921
Sur les preuves non déductives en intelligence artificielle
Pierre MARQUIS
Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Relevant Logic. A Philosophical Interpretation
Edwin David MARES
Cambridge University Press - 2004
Sur la capacité de la raison à discerner : rationalité substantive et rationalité procédurale d’Aristote à H.A. Simon, par Descartes et Vico
Tadeusz KOTARBINSKI
Dans Le Modèle et l’enquête. Les usages du principe de rationalité dans les sciences sociales - 1995
Kant’s Transcendental Deduction : An Analysis of Main Themes in His Critical Philosophy
Robert HOWELL
Springer Science+Business Media B.V. - 1992
Essai sur la genèse de la méthode des tableaux de Beth
Marcel GUILLAUME
Dans Philosophia Scientiae. Travaux d’histoire et de philosophie des sciences - 1999