Research results

Results 1 to 15 from a total of 27 results.

Article

Règles, déduction, grammaire et langage

Ryszard ZUBER
In Le Concept de preuve à la lumière de l'intelligence artificielle - 1999

Monograph

Proofs and refutations. The logic of mathematical discovery

Élie G. ZAHAR, John WORALL
Cambridge University Press - 1976

Monograph

Structural Proof Theory

Jan VON PLATO
Cambridge University Press - 2001

Article

Le raisonnement par analogie dans les mathématiques chinoises du premier millénaire de notre ère

Alexeï VOLKOV
In L’Analogie dans la démarche scientifique. Perspective historique - 2008

Article

La théorie bolzanienne du fondement et de la conséquence

Armin TATZEL
In Philosophiques - 2003

Article

La notion bolzanienne de la déductibilité

Mark SIEBEL
In Philosophiques - 2003

Edited volume

Penser par cas

Edited by Jacques REVEL
Éditions de l’École des Hautes Études en Sciences Sociales (EHESS) - 2005

Monograph

Leçons sur l’histoire de la logique

Jean-Claude PASSERON
Presses Universitaires de France - 1964

Monograph

Logique mathématique

Sara NEGRI
Hermann - 1976

Article

Peirce-Suit of Truth – Why Inference to the Best Explanation and Abduction Ought Not to be Confused

Gerhard MINNAMEIER
In Erkenntnis - 2004

Monograph

De l'explication dans les sciences : Tome II

Émile MEYERSON
Payot - 1921

Article

Sur les preuves non déductives en intelligence artificielle

Pierre MARQUIS
In Le Concept de preuve à la lumière de l'intelligence artificielle - 1999

Monograph

Relevant Logic. A Philosophical Interpretation

Edwin David MARES
Cambridge University Press - 2004

Article

Sur la capacité de la raison à discerner : rationalité substantive et rationalité procédurale d’Aristote à H.A. Simon, par Descartes et Vico

Tadeusz KOTARBINSKI
In Le Modèle et l’enquête. Les usages du principe de rationalité dans les sciences sociales - 1995

Monograph

Kant’s Transcendental Deduction : An Analysis of Main Themes in His Critical Philosophy

Robert HOWELL
Springer Science+Business Media B.V. - 1992

Sorting methods