Formalizing categorical propositions of traditional logic in the language of quantifiers and propositional functions is no straightforward matter, especially when modalities get involved. Starting...

The objects called cubes of opposition have been presented in the literature in discordant ways. The aim of the paper is to offer a survey of such various kinds of cubes and evaluate their relation with an object, here called “Aristotelian cube”, which consists of two Aristotelian squares and four squares which are semiaristotelian, i.e. are such that their vertices are linked by some so-called Aristotelian relation. Two paradigm cases of Aristotelian squares are provided by propositions written in the language (...) of the logic of consequential implication, whose distinctive feature is the validity of two formulas, A $$\rightarrow $$ → B $$\supset \lnot $$ ⊃ ¬ (A $$\rightarrow $$ → $$\lnot $$ ¬ B) and A $$\rightarrow $$ → B $$\supset \lnot $$ ⊃ ¬ ($$\lnot $$ ¬ A $$\rightarrow $$ → B), expressing two different forms of contrariety. Part of section 1 is devoted to define the notions of rotation and of r-Aristotelian square, i.e. a square resulting from some rotation of an Aristotelian square. In section 2 this notion is extended to the one of a r-Aristotelian cube, i.e. of a cube resulting from some rotation of some square of an Aristotelian cube. This notion is used in the sequel to analyze various cubes of oppositions which can be found in the literature: (1) the one used by W. Lenzen to reconstruct Caramuel’s Octagon; (2) the one used by D. Luzeaux to represent the implicative relation among S5-modalities; (3) the one introduced by D. Dubois to represent the relations between quantified propositions containing positive predicates and their negations; (4) the one called Moretti cube. None of such cubes is strictly speaking Aristotelian but each of them may be proved to be r-Aristotelian. Section 5 discusses the assertion that Dubois cube was anticipated in a paper published by Reichenbach in 1952. Actually Dubois’ construction was anticipated by the so-called Johnson–Keynes cube, while the Reichenbach cube, unlike Dubois cube, is an instance of an Aristotelian cube in the sense defined in this paper. The dominance of such notion is confirmed by J.F. Nilsson’s cube, representing relations between propositions with nested quantifiers, and also by a cube introduced by S. Read to treat quantifiers with existential import. A cube similar to Read’s cube, introduced by Chatti and Schang, is shown to be r-Aristotelian. In section 6 the author remarks that the logic of the formulas occurring in the cubes of Chatti–Schang and Read have the drawback of not satsfying the law of Identity. He then proposes a definition of non-standard quantifiers which satisfies Identity, are independent of existential assumptions and such that their interrelations are represented by an Aristotelian cube. (shrink)

Around the turn of the 20th century, Keynes and Johnson extended the well-known square of opposition to an octagon of opposition, in order to account for subject negation (e.g., statements like ‘all non-S are P’). The main goal of this paper is to study the logical properties of the Keynes-Johnson (KJ) octagons of opposition. In particular, we will discuss three concrete examples of KJ octagons: the original one for subject-negation, a contemporary one from knowledge representation, and a third one (hitherto (...) not yet studied) from deontic logic. We show that these three KJ octagons are all Aristotelian isomorphic, but not all Boolean isomorphic to each other (the first two are representable by bitstrings of length 7, whereas the third one is representable by bitstrings of length 6). These results nicely fit within our ongoing research efforts toward setting up a systematic classification of squares, octagons, and other diagrams of opposition. Finally, obtaining a better theoretical understanding of the KJ octagons allows us to answer some open questions that have arisen in recent applications of these diagrams. (shrink)

This paper explores the interplay between logic-sensitivity and bitstring semantics in the square of opposition. Bitstring semantics is a combinatorial technique for representing the formulas that appear in a logical diagram, while logic-sensitivity entails that such a diagram may depend, not only on the formulas involved, but also on the logic with respect to which they are interpreted. These two topics have already been studied extensively in logical geometry, and are thus well-understood by themselves. However, the precise details of their (...) interplay turn out to be far more complicated. In particular, the paper describes an elegant and natural interaction between bitstrings and logic-sensitivity, which makes perfect sense when bitstrings are viewed as purely combinatorial entities. However, when we view bitstrings as semantically meaningful entities (which is actually the standard perspective, cf. the term ‘bitstring semantics’!), this interaction does not seem to have a full and equally natural counterpart. The paper describes some attempts to address this situation, but all of them are ultimately found wanting. For now, it thus remains an open problem to capture this interaction between bitstrings and logic-sensitivity from a semantic (rather than merely a combinatorial) perspective. (shrink)

In logic, Aristotelian diagrams are almost always assumed to be closed under negation, and are thus highly symmetric in nature. In linguistics, by contrast, these diagrams are used to study lexicalization, which is notoriously not closed under negation, thus yielding more asymmetric diagrams. This paper studies the interplay between logical symmetry and linguistic asymmetry in Aristotelian diagrams. I discuss two major symmetric Aristotelian diagrams, viz. the square and the hexagon of opposition, and show how linguistic considerations yield various asymmetric versions (...) of these diagrams. I then discuss a pentagon of opposition, which occupies an uneasy position between the square and the hexagon. Although this pentagon belongs neither to the symmetric realm of logic nor to the asymmetric realm of linguistics, it occurs several times in the literature. The oldest known occurrence can be found in the cosmological work of the 14th-century author Nicole Oresme. (shrink)

Aristotelian diagrams, such as the square of opposition and other, more complex diagrams, have a long history in philosophical logic. Alpha-structures and ladders are two specific kinds of Aristotelian diagrams, which are often studied together because of their close interactions. The present paper builds upon this research line, by reformulating and investigating alpha-structures and ladders in the contemporary setting of logical geometry, a mathematically sophisticated framework for studying Aristotelian diagrams. In particular, this framework allows us to formulate well-defined functions that (...) construct alpha-structures and ladders out of each other. In order to achieve this, we point out the crucial importance of imposing an ordering on the elements in the diagrams involved, and thus formulate all our results in terms of ordered versions of alpha-structures and ladders. These results shed interesting new light on the prospects of developing a systematic classification of Aristotelian diagrams, which is one of the main ongoing research efforts within logical geometry today. (shrink)