Luokat: Kaikki - logique

jonka Lolita Grasset 1 vuosi sitten

100

2. Inférences logiques

Les inférences logiques sont des processus de raisonnement permettant de tirer des conclusions à partir de prémisses données. Le syllogisme est un type d'inférence où la conclusion découle nécessairement des prémisses, comme dans l'

2. Inférences logiques

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