Encyclopédie

Import existentiel - logique -

Importation existentielle , en syllogistique, l'implication logique par une proposition universelle (c'est-à-dire, une proposition de la forme «Tout S est P» ou «Aucun S est P») de l'énoncé particulier correspondant (c'est-à-dire «Certains S est P» ou «Certains S ne sont pas P», respectivement). La validité de certaines figures syllogistiques ( voir syllogisme) dépend de la question de savoir si les énoncés universels sont interprétés comme ayant une portée existentielle.

Cet article a été récemment révisé et mis à jour par Brian Duignan, rédacteur en chef.