Introducing
Your new presentation assistant.
Refine, enhance, and tailor your content, source relevant images, and edit visuals quicker than ever before.
Trending searches
Figure 1
Conversion, Obversion, and Contrapostion build off of the well know square of opposition (Figure 1) developed by Aristotle.
These operators allow us to change propositions from one categorical statement to another (under certain rules).
A quick refresher on the rules of these operators.
3
Conversion is the process of swapping the position of the Subject and the Predicate within a proposition.
Conversion only holds truth value if it is used on an E or an I proposition, A and O propositions will produce a different meaning than the original proposition.
Obversion is the process of negating both the Subject and the Predicate.
Obversion holds truth value in all propositions no matter what categorical statement.
Contraposition uses the rules of both Conversion, and Obversion to complete it's operation.
To Contrapose a proposition, you must first obvert (Negate S and P), then Convert (swap positions of S and P), finally Obvert Again. Your result should be a proposition with both S and P negated, and swapped positions. Only A and O propositions hold truth value (opposite of conversion).
During my time of repeatedly writing these in my BNR, I learned a couple of tricks that helped me to really understand and optimize this logic.
A=Subject
B=Predicate
Dashed lines=Empty
X=Existence
Examples:
All men are mortals. (A Prop)
Some plants are nonroses. (I Prop)
4
Categories of the Proposition (placed at the beggining):
5
Original: Some non-Fords are nonautomobiles.
Translated: I-x+y
Converted: Iy+-x
Translated Back: Some nonautomobiles are non-Fords
Original: Some Las Vegas casinos are not places likely to increase your wealth.
Translated: Ix-+y
Obverted: Ix(--)+-y
Translated Back: Some Las Vegas casinos are non-places likely to increase your wealth.
6
Original: All college students are entities having IQs of at least 100
Translated: Ax+y
Contraposed:
Obverted: Ex+-y
Converted: E-y+x
Obverted: A-y+-x
Translated Back: All non-entities having IQs of at least 100 are non-college students
Copi, Irving et al. "Essentials Of Logic", Routledge, 2016.
Smith, Robin. "Aristotle’s Logic", Stanford Encyclopedia of Philosophy, 2000 Mar 18.
Venn, John “I. On the diagrammatic and mechanical representation of propositions and reasonings.” Philosophical Magazine Series 1 10: 1-18.