2. Inférences logiques

Mais informações

Système de TVA

por Jarod Kinet

Programme de Physique

por Moine Baptiste

doudoulinux

por PHILIPPE HERVY

fonction logique de base

por abdelwaheb arbi

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