Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Obversion
Résumé
In traditional logic, obversion is a "type of immediate inference in which from a given proposition another proposition is inferred whose subject is the same as the original subject, whose predicate is the contradictory of the original predicate, and whose quality is affirmative if the original proposition's quality was negative and vice versa". The quality of the inferred categorical proposition is changed but the truth value is the same to the original proposition. The immediately inferred proposition is termed the "obverse" of the original proposition, and is a valid form of inference for all types (A, E, I, O) of categorical propositions.
In a universal affirmative and a universal negative proposition the subject term and the predicate term are both replaced by their negated counterparts:
The universal affirmative ("A" proposition) is obverted to a universal negative ("E" proposition).
"All S are P" and "No S are non-P"
"All cats are animals" and "No cats are non-animals"
The universal negative ("E" proposition) is obverted to a universal affirmative ("A" proposition).
"No S are P" and "All S are non-P"
"No cats are friendly" and "All cats are non-friendly"
In the particular affirmative the quantity of the subject term remains unchanged, but the predicate term of the inferred proposition negates the complement of the predicate term of the original proposition. The particular affirmative ("I" proposition) is obverted to a particular negative ("O" proposition).
"Some S are P" and "Some S are not non-P"
"Some animals are friendly creatures" and "Some animals are not unfriendly creatures."
In the obversion of a particular negative to a particular affirmative the quantity of the subject also remains unchanged, and the predicate term is changed from simple negation to a term of the complementary class. The particular negative ("O") proposition is obverted to a particular affirmative ("I" proposition).
"Some S are not P" and "Some S are non-P"
"Some animals are not friendly creatures" and "Some animals are unfriendly creatures.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.