| Incipit: | In hoc libro vellem tractatre de consequentiis, tradendo sicut possem causas earum |
| Manuskript: | ------ |
| Autorschaft: | echt |
| Verfügbarkeit: | kritisch ediert |
| Entstehungszeit: | 1335 |
| Daten zur Entstehung: |
Datierung nach Hubien (1976), 9: "très plausible". |
| Einzelbemerkungen: |
Ed.: Hubien, H., Iohannis Buridani Tractatus de consequentiis, Louvain / Paris 1976 (Philosophes Médiévaux XVI).
E. A. Moody, Truth and Consequence, p.8: "Buridan's Consequentiae is one of the most interesting works of medieval logic, because it undertakes an axiomatic derivation of the laws of valid deduction, and in so doing takes the laws of propositional logic as the basic and elementary part of the theory of deduction. This is apparently the first attempt in the history of logic to give a deductive derivation of the laws of deduction. Buridan states in his preface that although others had treated the 'consequences' in a posteriori manner, he proposes to investigate the 'causes' of the validity of these laws of inference."
H. Hubien, Introduction, p.14: "La méthode est très moderne: nous avons ici ce qui est sans doute la première tentative, certes bien imparfaite, d'une exposition axiomatique de la logique sur la base du calcul des propositions. La succession des théorèmes, 'conclusiones', est précédée de l'énonc‚ de 'suppositiones', qui sont bien les ancêtres des axiomes modernes; 'haec suppositio', ‚crit Buridan au début du chapitre II du premier livre, 'non indiget probatione'. Ce que préfigurent les Consequentiae de Buridan, ce n'est pas la Logique du Port-Royal, ce sont les Grundgesetze de Frege et la première partie des Principia mathematica." |
| Stichwörter: | ------ |
|
Benutzte Literatur zu diesem Werk: |
|