2. Inférences logiques

tous les hommes sont mortels

Socrate est un homme

donc

Socrate est mortel

tous les amis de Jeans sont mes amis

tous mes amis sont sympathiques

tous les amis de Jean sont sympathiques

conclusion découle logiqmt prémisses

Aucun des amis de Jean n'est mon ami

Aucun des amis de Jean n'est sympathique

Aucun de mes amis n'est sympathique

conclusion découle pas logiqmt prémisses

Inférence inductive de

A chaque fois que je croise un corbeau, je constate qu'il est noir

= tous les corbeaux sont noirs

Prédiction générale

symbole continuera de représenter un fait

Inférence abductive de

tous les haricots de ce sacs sont blancs. Ces haricots sont blancs

= ces haricots proviennent de ce sac

seule hypothèse raisonnable compte tenu de ce que l'on sait grâce aux prémisses

nécessité d'énoncer une conclusion dans des circonstances problématiques

logique

≠idée qui germe aléatoirement

opération de l'esprit

règle ou loi au-dessus d'un fait

A la base des progrès, tout savoir nv

validé

par induction (vérifications xp)

par déduction

Inférence analogique de

Thimbou est au Bhoutan ce que Paris est à la France

= Thimbou est la capitale du Bhoutan

"logique", Xénocrate

Xénocrate

dérivé de "logos"

raison, langage et raisonnement

Relève du rationnel et du langage

Aristotélicienne

portent sur

proposi° sémantiq tenues pour vraies
(prémisses)

et concluant à la vérité d'une nouvelle proposition en vertu de sa liaison avec les premières

structure des propositions garante de la
validité logique

≠contenu