Research results

Results 1 to 15 from a total of 27 results.

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

Article

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

Monograph

Structural Proof Theory

Jan VON PLATO, Sara NEGRI
Cambridge University Press - 2001

Monograph

Relevant Logic. A Philosophical Interpretation

Edwin David MARES
Cambridge University Press - 2004

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

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

Article

Preuves par excellence

Jacques DUBUCS, Sandra LAPOINTE
In Philosophiques - 2003

Article

Preuves de la déduction automatique et analogie

Régis CURIEN
In Le Concept de preuve à la lumière de l'intelligence artificielle - 1999

Monograph

Physics and Necessity : Rationalist Pursuits from the Cartesian Past to the Quantum Present

Olivier DARRIGOL
Oxford University Press - 2014

Article

Philosophie de l'économie

Mikaël COZIC
In Précis de philosophie des sciences - 2011

Edited volume

Penser par cas

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

Article

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

Gerhard MINNAMEIER
In Erkenntnis - 2004

Monograph

Logique mathématique

Jean-François PABION
Hermann - 1976

Monograph

Les «Principia» de Newton

Michel BLAY
Presses Universitaires de France - 1995

Monograph

Leçons sur l’histoire de la logique

Tadeusz KOTARBINSKI
Presses Universitaires de France - 1964

Sorting methods