In the system of
Aristotelian logic
In philosophy, term logic, also known as traditional logic, syllogistic logic or Aristotelian logic, is a loose name for an approach to formal logic that began with Aristotle and was developed further in ancient history mostly by his followers, ...
, the logical cube is a
diagram
A diagram is a symbolic representation of information using visualization techniques. Diagrams have been used since prehistoric times on walls of caves, but became more prevalent during the Enlightenment. Sometimes, the technique uses a three ...
representing the different ways in which each of the eight
proposition
In logic and linguistics, a proposition is the meaning of a declarative sentence. In philosophy, "meaning" is understood to be a non-linguistic entity which is shared by all sentences with the same meaning. Equivalently, a proposition is the no ...
s of the
system is logically related ('opposed') to each of the others. The system is also useful in the analysis of
syllogistic logic, serving to identify the allowed logical conversions from one type to another.
[Paul Dekker, 2015, "Not Only Barbara", Journal of Logic, Language, and Information 24(2), pp. 95-129.]
See also
*
Logical hexagon
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises ...
*
Square of opposition
In term logic (a branch of philosophical logic), the square of opposition is a diagram representing the relations between the four basic categorical propositions.
The origin of the square can be traced back to Aristotle's tractate '' On Interpr ...
References
Conceptual models
Term logic
{{logic-stub