2. Inférences logiques

Plus de détails

La vérité doit-elle se soumettre aux faits?

par FLORENCE Grégoire

Calcul de l'impôt net

par Poirier Véronique

7ème année de base

par Fatma Bouaziz

1600 Métiers

par Théo Buisine

2. Inférences logiques

Définition

Aristotélicienne

structure des propositions garante de la validité logique

≠contenu

portent sur

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

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

"logique", Xénocrate

Xénocrate

Relève du rationnel et du langage

dérivé de "logos"

raison, langage et raisonnement

réalité de représenta° pour un interprète particulier

Inférence analogique de

Thimbou est au Bhoutan ce que Paris est à la France

= Thimbou est la capitale du Bhoutan

Inférence abductive de

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

= ces haricots proviennent de ce sac

logique

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 déduction

par induction (vérifications xp)

≠idée qui germe aléatoirement

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

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

Syllogisme

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

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

tous les hommes sont mortels

Socrate est un homme

donc

Socrate est mortel