Résultats de la recherche

Résultats 1 à 15 sur un total de 27 résultats

Article

Règles, déduction, grammaire et langage

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

Monographie

Proofs and refutations. The logic of mathematical discovery

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

Monographie

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
Dans L’Analogie dans la démarche scientifique. Perspective historique - 2008

Article

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

Armin TATZEL
Dans Philosophiques - 2003

Article

La notion bolzanienne de la déductibilité

Mark SIEBEL
Dans Philosophiques - 2003

Collectif

Penser par cas

Sous la direction de Jacques REVEL
Éditions de l’École des Hautes Études en Sciences Sociales (EHESS) - 2005

Monographie

Leçons sur l’histoire de la logique

Sara NEGRI, Jean-Claude PASSERON
Presses Universitaires de France - 1964

Article

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

Gerhard MINNAMEIER
Dans Erkenntnis - 2004

Monographie

De l'explication dans les sciences : Tome II

Émile MEYERSON
Payot - 1921

Article

Sur les preuves non déductives en intelligence artificielle

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

Monographie

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
Dans Le Modèle et l’enquête. Les usages du principe de rationalité dans les sciences sociales - 1995

Monographie

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

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

Article

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

Méthodes de tri