Burgess-Jackson has recently suggested that the debate between theism and atheism can be represented by means of a classical square of opposition. However, in light of the important role that the position of agnosticism plays in Burgess-Jackson’s analysis, it is quite surprising that this position is not represented in the proposed square of opposition. I therefore argue that the square of opposition should be extended to a slightly larger, more complex Aristotelian diagram, viz., a hexagon of (...) opposition. Since this hexagon does represent the position of agnosticism, it arguably yields a more helpful representation of the theism/atheism debate. It would be naïve to presume that Aristotelian diagrams can, by themselves, lead to a comprehensive solution of debates as intricate as that between theism and atheism. Nevertheless, this paper aims to show that these diagrams — especially if they are chosen carefully — have an important methodological role to play, by systematically organizing and clarifying the debate. (shrink)

Various semantics for studying the square of opposition and the hexagon of opposition have been proposed recently. We interpret sentences by imprecise (set-valued) probability assessments on a finite sequence of conditional events. We introduce the acceptability of a sentence within coherence-based probability theory. We analyze the relations of the square and of the hexagon in terms of acceptability. Then, we show how to construct probabilistic versions of the square and of the hexagon of opposition (...) by forming suitable tripartitions of the set of all coherent assessments. Finally, as an application, we present new versions of the square and of the hexagon involving generalized quantifiers. (shrink)

Modal logic like many others sustains a hexagon of opposition, with the two “additional” vertices expressing contingency and non-contingency. We first illustrate hexagons of opposition generally by treating them as cut-down entailment lattices with order distinctions among multiple arguments suppressed. We then approach the modal case by treating it heuristically as a particular case of the hexagon for quantified propositions. Historically, possibility and contingency were sometimes confused: we show using the notion of duality that contingency, as (...) negation-symmetric, is logically less interesting than possibility. (shrink)

This article considers distinct ways of understanding the world, referred to in psychology as Functions of Consciousness or as Cognitive Modes, having as the scope of interest epistemology and natural sciences. Inspired by C.G. Jung's Simile of the Spectrum, we consider three basic cognitive modes associated to: (R) embodied instinct, experience, and action; (G) reality perception and learning; and (B) concept abstraction, rational thinking, and language. RGB stand for the primary colors: red, green, and blue. Accordingly, a conceptual map between (...) cognitive modes and primary and secondary colors is built based on the physics and physiology of color perception and epistemological characteristics of the aforementioned cognitive modes, leading to logical relations structured as an Hexagon of Opposition. Finally, this model of cognitive modes is applied to the analysis and interpretation of some important episodes in the historical development of physics and technology. (shrink)

Although logical consistency is desirable in scientific research, standard statistical hypothesis tests are typically logically inconsistent. To address this issue, previous work introduced agnostic hypothesis tests and proved that they can be logically consistent while retaining statistical optimality properties. This article characterizes the credal modalities in agnostic hypothesis tests and uses the hexagon of oppositions to explain the logical relations between these modalities. Geometric solids that are composed of hexagons of oppositions illustrate the conditions for these modalities to be (...) logically consistent. Prisms composed of hexagons of oppositions show how the credal modalities obtained from two agnostic tests vary according to their threshold values. Nested hexagons of oppositions summarize logical relations between the credal modalities in these tests and prove new relations. (shrink)

This article considers distinct ways of understanding the world, referred to in psychology as functions of consciousness or as cognitive modes, having as the scope of interest epistemology and natural sciences. Inspired by C.G. Jung’s simile of the spectrum, we consider three basic cognitive modes associated to: (R) embodied instinct, experience, and action; (G) reality perception and learning; and (B) concept abstraction, rational thinking, and language. RGB stand for the primary colors: red, green, and blue. Accordingly, a conceptual map between (...) cognitive modes and primary and secondary colors is built based on the physics and physiology of color perception and epistemological characteristics of the aforementioned cognitive modes, leading to logical relations structured as an hexagon of opposition. Finally, this model of cognitive modes is applied to the analysis and interpretation of some important episodes in the historical development of physics and technology. (shrink)

Colors can be understood in a logical way through the theory of opposition. This approach was recently developed by Dany Jaspers, giving a new and fresh approach to the theory of colors, in particular with a hexagon of colors close to Goethe’s intuitions. On the other hand colors can also be used at a metalogical level to understand and characterize the relations of opposition, including the relations of opposition between colors themselves. In this paper we furthermore (...) develop a theory of psychic dispositions, using the hexagon of opposition of colors. We present a hexagon of psychic dispositions based on colors that we compare in particular with Plutchick’s wheel of emotions. (shrink)

The hexagon of opposition is an improvement of the square of opposition due to Robert Blanché. After a short presentation of the square and its various interpretations, we discuss two important problems related with the square: the problem of the I-corner and the problem of the O-corner. The meaning of the notion described by the I-corner does not correspond to the name used for it. In the case of the O-corner, the problem is not a wrong-name problem (...) but a no-name problem and it is not clear what is the intuitive notion corresponding to it. We explain then that the triangle of contrariety proposed by different people such as Vasiliev and Jespersen solves these problems, but that we don’t need to reject the square. It can be reconstructed from this triangle of contrariety, by considering a dual triangle of subcontrariety. This is the main idea of Blanché’s hexagon. We then give different examples of hexagons to show how this framework can be useful to conceptual analysis in many different fields such as economy, music, semiotics, identity theory, philosophy, metalogic and the metatheory of the hexagon itself. We finish by discussing the abstract structure of the hexagon and by showing how we can swing from sense to non-sense thinking with the hexagon. (shrink)

This is a collection of new investigations and discoveries on the theory of opposition (square, hexagon, octagon, polyhedra of opposition) by the best specialists from all over the world. The papers range from historical considerations to new mathematical developments of the theory of opposition including applications to theology, theory of argumentation and metalogic.

This paper first investigates logical characterizations of different structures of opposition that extend the square of opposition in a way or in another. Blanché’s hexagon of opposition is based on three disjoint sets. There are at least two meaningful cubes of opposition, proposed respectively by two of the authors and by Moretti, and pioneered by philosophers such as J. N. Keynes, W. E. Johnson, for the former, and H. Reichenbach for the latter. These cubes exhibit (...) four and six squares of opposition respectively. We clarify the differences between these two cubes, and discuss their gradual extensions, as well as the one of the hexagon when vertices are no longer two-valued. The second part of the paper is dedicated to the use of these structures of opposition for discussing the comparison of two items. Comparing two items usually involves a set of relevant attributes whose values are compared, and may be expressed in terms of different modalities such as identity, similarity, difference, opposition, analogy. Recently, J.-Y. Béziau has proposed an “analogical hexagon” that organizes the relations linking these modalities. Elementary comparisons may be a matter of degree, attributes may not have the same importance. The paper studies in which ways the structure of the hexagon may be preserved in such gradual extensions. As another illustration of the graded hexagon, we start with the hexagon of equality and inequality due to R. Blanché and extend it with fuzzy equality and fuzzy inequality. Besides, the cube induced by a tetra-partition can account for the comparison of two items in terms of preference, reversed preference, indifference and non-comparability even if these notions are a matter of degree. The other cube, which organizes the relations between the different weighted qualitative aggregation modes, is more relevant for the attribute-based comparison of items in terms of similarity. (shrink)

The aim of this paper is to elucidate the relationship between Aristotelian conceptual oppositions, commutative diagrams of relational structures, and Galois connections.This is done by investigating in detail some examples of Aristotelian conceptual oppositions arising from topological spaces and similarity structures. The main technical device for this endeavor is the notion of Galois connections of order structures.

In the recent debate on future contingents and the nature of the future, authors such as G. A. Boyd, W. L. Craig, and E. Hess have made use of various logical notions, such as the Aristotelian relations of contradiction and contrariety, and the ‘open future square of opposition.’ My aim in this paper is not to enter into this philosophical debate itself, but rather to highlight, at a more abstract methodological level, the important role that Aristotelian diagrams can play (...) in organizing and clarifying the debate. After providing a brief survey of the specific ways in which Boyd and Hess make use of Aristotelian relations and diagrams in the debate on the nature of the future, I argue that the position of open theism is best represented by means of a hexagon of opposition. Next, I show that on the classical theist account, this hexagon of opposition ‘collapses’ into a single pair of contradictory statements. This collapse from a hexagon into a pair has several aspects, which can all be seen as different manifestations of a single underlying change. (shrink)

The aim of this work is to revisit the proposal made by Dag Westerståhl a decade ago when he provided a modern reading of the traditional square of opposition and of related structures. We propose a formalization of this modern view and contrast it with the classical one. We discuss what may be a modern hexagon of opposition and a modern cube, and show their interest in particular for relating quantitative expressions.

In this article I will show why and how it is useful to exploit the hexagon of opposition to have a better and new understanding of the relationships between morality and violence and of fundamental axiological concepts. I will take advantage of the analysis provided in my book Understanding Violence. The Intertwining of Morality, Religion, and Violence: A Philosophical Stance. Springer, Heidelberg/Berlin, 2011) to stress some aspects of the relationship between morality and violence, also reworking some ideas by (...) John Woods concerning the so-called epistemic bubbles, to reach and describe my own concept of moral bubbles. The study aims at providing a simple theory of basic concepts of moral philosophy, which extracts and clarifies the strict relationship between morality and violence and more, for example the new philosophical concept of overmorality. I will also conclude that this kind of hybrid diagrammatic reasoning is a remarkable example of manipulative explanatory abduction—through drawing—in the spirit of “conceptual structuralism”, promoted by Robert Blanché and further developed by Jean-Yves Béziau. (shrink)

The hexagonal structure for ‘the geometry of logical opposition’, as coming from Aristoteles–Apuleius square and Sesmat–Blanché hexagon, is presented here in connection with, on the one hand, geometrical ideas on duality on triangles (construction of ‘companion’), and on the other hand, constructions of tripartitions, emphasizing that these are exactly cases of borromean objects. Then a new case of a logical interest introduced here is the double magic tripartition determining the semi-ring ${\mathcal{B}_3}$ and this is a borromean object again, (...) in the heart of the semi-ring ${{\rm Mat}_{3}(\mathbb{B}_{\rm Alg})}$ . With this example we understand better in which sense the borromean object is a deepening of the hexagon, in a logical vein. Then, and this is our main objective here, the Post-Mal’cev full iterative algebra ${\mathbb{P}_4 = \mathbb{P}(\mathbb{F}_4)}$ of functions of all arities on ${\mathbb{F}_4}$ , is proved to be a borromean object, generated by three copies of ${\mathbb{P}_2}$ in it. This fact is induced by a hexagonal structure of the field ${\mathbb{F}_4}$ . This hexagonal structure is seen as precisely a geometrical addition to standard boolean logic, exhibiting ${\mathbb{F}_4}$ as a ‘boolean manifold’. This structure allows to analyze also ${\mathbb{P}_4}$ as generated by adding to a boolean set of logical functions a very special modality, namely the Frobenius squaring map in ${\mathbb{F}_4}$ . It is related to the splitting of paradoxes, to modified logic, to specular logic. It is a setting for a theory of paradoxical sentences, seen as computations of movements on the bi-hexagonal link among the 12 classical logics on a set of 4 values. (shrink)

The main objective of this paper is devoted to two main parts. First, the paper introduces logical interpretations of classical structures of opposition that are constructed as extensions of the square of opposition. Blanché’s hexagon as well as two cubes of opposition proposed by Morreti and pairs Keynes–Johnson will be introduced. The second part of this paper is dedicated to a graded extension of the Aristotle’s square and Peterson’s square of opposition with intermediate quantifiers. These (...) quantifiers are linguistic expressions such as “most”, “many”, “a few”, and “almost all”, and they correspond to what are often called “fuzzy quantifiers” in the literature. The graded Peterson’s cube of opposition, which describes properties between two graded squares, will be discussed at the end of this paper. (shrink)

The paper first introduces a cube of opposition that associates the traditional square of opposition with the dual square obtained by Piaget’s reciprocation. It is then pointed out that Blanché’s extension of the square-of-opposition structure into an conceptual hexagonal structure always relies on an abstract tripartition. Considering quadripartitions leads to organize the 16 binary connectives into a regular tetrahedron. Lastly, the cube of opposition, once interpreted in modal terms, is shown to account for a recent generalization (...) of formal concept analysis, where noticeable hexagons are also laid bare. This generalization of formal concept analysis is motivated by a parallel with bipolar possibility theory. The latter, albeit graded, is indeed based on four graded set functions that can be organized in a similar structure. (shrink)

. This papers examines formal properties of logical squares and their generalizations in the form of hexagons and octagons. Then, several applications of these constructions in philosophical analysis are elaborated. They concern contingency (accidentality), possibility, permission, axiological concepts (bonum and malum), the generalized Hume thesis (deontic and epistemic modalities), determinism, truth and consistency (in various senses. It is shown that relations between notions used in various branches of philosophy fall into the same formal scheme.

In 1995 Slater argued both against Priest’s paraconsistent system LP (1979) and against paraconsistency in general, invoking the fundamental opposition relations ruling the classical logical square. Around 2002 Béziau constructed a double defence of paraconsistency (logical and philosophical), relying, in its philosophical part, on Sesmat’s (1951) and Blanche’s (1953) “logical hexagon”, a geometrical, conservative extension of the logical square, and proposing a new (tridimensional) “solid of opposition”, meant to shed new light on the point raised by Slater. (...) By using n-opposition theory (NOT) we analyse Beziau’s anti-Slater move and show both its right intuitions and its technical limits. Moreover, we suggest that Slater’s criticism is much akin to a well-known one by Suszko (1975) against the conceivability of many-valued logics. This last criticism has been addressed by Malinowski (1990) and Shramko and Wansing (2005), who developed a family of tenable logical counter-examples to it: trans-Suszkian systems are radically many-valued. This family of new logics has some strange logical features, essentially: each system has more than one consequence operator. We show that a new, deeper part of the aforementioned geometry of logical oppositions (NOT), the “logical poly-simplexes of dimension m”, generates new logical-geometrical structures, essentially many-valued, which could be a very natural (and intuitive) geometrical counterpart to the “strange”, new, non-Suszkian logics of Malinowski, Shramko and Wansing. By a similar move, the geometry of opposition therefore sheds light both on the foundations of paraconsistent logics and on those of many-valued logics. (shrink)

. This paper aims to highlight some peculiarities of the semiotic square, whose creation is due in particular to Greimas’ works. The starting point is the semiotic notion of complex term, which I regard as one of the main differences between Greimas’ square and Blanché’s hexagon. The remarks on the complex terms make room for a historical survey in Aristotle’s texts, where one can find the philosophical roots of the idea of middle term between two contraries and its relation (...) to notions such as difference, position and motion. In the Stagirite’s non-logical works, the theory of the intermediate, or middle term, represents an important link between opposition issues and ethics: this becomes a privileged perspective from which to reconsider the semiotic use of the square, i.e., its inclusion in the semio-narrative structures articulating the sense of texts. (shrink)

This paper investigates some classical oppositional categories, like synthetic vs. analytic, posterior vs. prior, imagination vs. grammar, metaphor vs. hermeneutics, metaphysics vs. observation, innovation vs. routine, and image vs. sound, and the role they play in epistemology and philosophy of science. The epistemological framework of objective cognitive constructivism is of special interest in these investigations. Oppositional relations are formally represented using algebraic lattice structures like the cube and the hexagon of opposition, with applications in the contexts of modern (...) color theory, Kantian philosophy, Jungian psychology, and linguistics. (shrink)

The logical hexagon (or hexagon of opposition) is a strange, yet beautiful, highly symmetrical mathematical figure, mysteriously intertwining fundamental logical and geometrical features. It was discovered more or less at the same time (i.e. around 1950), independently, by a few scholars. It is the successor of an equally strange (but mathematically less impressive) structure, the “logical square” (or “square of opposition”), of which it is a much more general and powerful “relative”. The discovery of the former (...) did not raise interest, neither among logicians, nor among philosophers of logic, whereas the latter played a very important theoretical role (both for logic and philosophy) for nearly two thousand years, before falling in disgrace in the first half of the twentieth century: it was, so to say, “sentenced to death” by the so-called analytical philosophers and logicians. Contrary to this, since 2004 a new, unexpected promising branch of mathematics (dealing with “oppositions”) has appeared, “oppositional geometry” (also called “n-opposition theory”, “NOT”), inside which the logical hexagon (as well as its predecessor, the logical square) is only one term of an infinite series of “logical bi-simplexes of dimension m”, itself just one term of the more general infinite series (of series) of the “logical poly-simplexes of dimension m”. In this paper we recall the main historical and the main theoretical elements of these neglected recent discoveries. After proposing some new results, among which the notion of “hybrid logical hexagon”, we show which strong reasons, inside oppositional geometry, make understand that the logical hexagon is in fact a very important and profound mathematical structure, destined to many future fruitful developments and probably bearer of a major epistemological paradigm change. (shrink)

Peters and Westerståhl (Quantifiers in Language and Logic, 2006), and Westerståhl (New Perspectives on the Square of Opposition, 2011) draw a crucial distinction between the “classical” Aristotelian squares of opposition and the “modern” Duality squares of opposition. The classical square involves four opposition relations, whereas the modern one only involves three of them: the two horizontal connections are fundamentally distinct in the Aristotelian case (contrariety, CR vs. subcontrariety, SCR) but express the same Duality relation of internal (...) negation (SNEG). Furthermore, the vertical relations in the classical square are unidirectional, whereas in the modern square they are bidirectional. The present paper argues that these differences become even bigger when two more operators are added, namely the U ( ${{\equiv} {\rm A}\,{\vee} \,{\rm E} }$ , all or no) and Y ( ${\equiv{\rm I} \,{\wedge} \,{\rm O}}$ , some but not all) of Blanché (Structures Intellectuelles, 1969). In the resulting Aristotelian hexagon the two extra nodes are perfectly integrated, yielding two interlocking triangles of CR and SCR. In the duality hexagon by contrast, they do not enter into any relation with the original square, but constitute a independent pair of their own, since they are their own SNEGs. Hence, they not only stand in a relation of external NEG, but also in one of duality. This reflexive nature of the SNEG will be shown to result in defective monotonicity configurations for the pair, namely the absence of right-monotonicity (on the predicate argument). In the second half of the paper, we present an overview of those hexagonal structures which are both Aristotelian and Duality configurations, and those which are only Aristotelian. (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)

The square of opposition and many other geometrical logical figures have increasingly proven to be applicable to different fields of knowledge. This paper seeks to show how Blanché generalizes the classical theory of oppositions of propositions and extends it to the structure of opposition of concepts. Furthermore, it considers how Blanché restructures the Apuleian square by transforming it into a hexagon. After presenting G. Kalinowski’s formalization of Blanché’s hexagonal theory, an illustration of its applicability to mathematics, to (...) modal logic, and to the logic of norms is depicted. The paper concludes by criticizing Blanché’s claim according to which, his logical hexagon can be considered as the objective basis of the structure of the organisation of concepts, and as the formal structure of thought in general. It is maintained that within the frame of diagrammatic reasoning Blanché’s hexagon keeps its privileged place as a “nice” and useful tool, but not necessarily as a norm of thought. (shrink)

The square of opposition (as part of a lattice) is used as a natural way to represent different and opposite ways of who makes decisions, and in what way, in/for a group or a society. Majority logic is characterized by multiple logical squares (one for each possible majority), with the “discursive dilemma” as a consequence. Three-valued logics of majority decisions with discursive dilemma undecided, of veto, consensus, and sequential voting are analyzed from the semantic point of view. For instance, (...) the paraconsistent and paracomplete logics M3, M3veto and C3 are described. The distinction of designated and non-designated values is not used, and instead, the consequence relation is defined as a preservation of the minimum truth-value of the implying set of sentences. The consequence and opposition relations of the logics described are compared, and an ordering of the logics with respect to their opposition relations is established. (shrink)

Following the speech act theory, we take hypotheses and assertions as linguistic acts with different illocutionary forces. We assume that a hypothesis is justified if there is at least a scintilla of evidence for the truth of its propositional content, while an assertion is justified when there is conclusive evidence that its propositional content is true. Here we extend the logical treatment for assertions given by Dalla Pozza and Garola (1995, Erkenntnis, 43, 81–109) by outlining a pragmatic logic for assertions (...) and hypotheses. On the basis of this extension we analyse the standard logical opposition relations for assertions and hypotheses. We formulate a pragmatic square of oppositions for assertions and a hexagon of oppositions for hypotheses. Finally, we give a mixed hexagon of oppositions to point out the opposition relations for assertions and hypotheses. (shrink)

Contradiction is often confused with contrariety. We propose to disentangle contrariety from contradiction using the hexagon of opposition, providing a clear and distinct characterization of three notions: contrariety, contradiction, incompatibility. At the same time, this hexagonal structure describes and explains the relations between them.

In this paper we criticize the way possibility is characterized in contemporary modal logic through the diamond operator. We explain that it does not match with the usual notion of possibility and that this notion is better described by the vertex Y of the hexagon of opposition usually called contingency.

I present two logical systems to show the “analogy of proportionality„ common to several interpretations: modality (necessity and possibility), quantification, truth-functional relations, moral attitudes (deontic logic), states of knowledge (epistemic logic), and states of belief (doxastic logic). To display the two underlying analogical relations, I call upon the originally Scholastic convention, recently put to use again, of using squares, hexagons, and octagons “of opposition„. A combined epistemic–deontic logic happens to be found in the traditional “probabilist„ theory of the “good (...) conscience„, and I shall then briefly explain how this is so. (shrink)

Following the speech act theory, we take hypotheses and assertions as linguistic acts with different illocutionary forces. We assume that a hypothesis is justified if there is at least a scintilla of evidence for the truth of its propositional content, while an assertion is justified when there is conclusive evidence that its propositional content is true. Here we extend the logical treatment for assertions given by Dalla Pozza and Garola by outlining a pragmatic logic for assertions and hypotheses. On the (...) basis of this extension we analyse the standard logical opposition relations for assertions and hypotheses. We formulate a pragmatic square of oppositions for assertions and a hexagon of oppositions for hypotheses. Finally, we give a mixed hexagon of oppositions to point out the opposition relations for assertions and hypotheses. (shrink)

Our aim is to show that translating the modal graphs of Moretti’s “n-opposition theory” (2004) into set theory by a suited device, through identifying logical modal formulas with appropriate subsets of a characteristic set, one can, in a constructive and exhaustive way, by means of a simple recurring combinatory, exhibit all so-called “logical bi-simplexes of dimension n” (or n-oppositional figures, that is the logical squares, logical hexagons, logical cubes, etc.) contained in the logic produced by any given modal graph (...) (an exhaustiveness which was not possible before). In this paper we shall handle explicitly the classical case of the so-called 3(3)-modal graph (which is, among others, the one of S5), getting to a very elegant tetraicosahedronal geometrisation of this logic. (shrink)

I present a conceptual framework for classifying generalist and particularist approaches to conspiracy theories (CTs). Specifically, I exploit a probabilistic version of the hexagon of opposition which allows for systematically visualising the logical relations among basic philosophical positions concerning CTs. The probabilistic interpretation can also account for positions, which make weaker claims about CTs: e.g. instead of claiming ‘every CT is suspicious’ some theorists might prefer to claim ‘most CTs are suspicious’ and then ask about logical consequences of (...) such claims. Finally, I illustrate the proposed conceptual framework by selected claims about CTs drawn from the CT research literature. (shrink)

The central aim of this paper is to present a Boolean algebraic approach to the classical Aristotelian Relations of Opposition, namely Contradiction and (Sub)contrariety, and to provide a 3D visualisation of those relations based on the geometrical properties of Platonic and Archimedean solids. In the first part we start from the standard Generalized Quantifier analysis of expressions for comparative quantification to build the Comparative Quantifier Algebra CQA. The underlying scalar structure allows us to define the Aristotelian relations in Boolean (...) terms and to propose a 3D visualisation by transforming a cube into an octahedron. In part two, the architecture of the CQA is shown to carry over, both to the classical quantifiers of Predicate Calculus and to the modal operators—which are given a Generalized Quantifier style re-interpretation. In this way we provide an algebraic foundation for Blanché’s Aristotelian hexagon as well as a 3D alternative to his 2D star-like visualisation. In a final part, a richer scalar structure is argued to underly the realm of Modality, thus generalizing the 3D algebra with eight (2 3 ) operators to a 4D algebra with sixteen (2 4 ) operators. The visual representation of the latter structure involves a transformation of the hypercube to a rhombic dodecahedron. The resulting 3D visualisation allows a straightforward embedding, not only of the classical Blanché star of Aristotelian relations or the paracomplete and paraconsistent stars of Béziau (Log Investig 10, 218–232, 2003) but also of three additional isomorphic Aristotelian constellations. (shrink)

Normative positions are sometimes illustrated in diagrams, in particular in didactic contexts. Traditional examples are the Aristotelian polygons of opposition for deontic modalities (squares, triangles, hexagons, etc.), and the Hohfeldian squares for obligative and potestative concepts. Relying on previous work, we show that Hohfeld’s framework can be used as a basis for developing several Aristotelian polygons and more complex diagrams. Then, we illustrate how logical theories of increasing strength can be built based on these diagrams, and how those theories (...) enable us to determine in a computably efficient way whether a set of normative positions can be derived from another set of normative positions. (shrink)

This paper introduces pragmatic hypotheses and relates this concept to the spiral of scientific evolution. Previous works determined a characterization of logically consistent statistical hypothesis tests and showed that the modal operators obtained from this test can be represented in the hexagon of oppositions. However, despite the importance of precise hypothesis in science, they cannot be accepted by logically consistent tests. Here, we show that this dilemma can be overcome by the use of pragmatic versions of precise hypotheses. These (...) pragmatic versions allow a level of imprecision in the hypothesis that is small relative to other experimental conditions. The introduction of pragmatic hypotheses allows the evolution of scientific theories based on statistical hypothesis testing to be interpreted using the narratological structure of hexagonal spirals, as defined by Pierre Gallais. (shrink)

Whereas geometrical oppositions (logical squares and hexagons) have been so far investigated in many fields of modal logic (both abstract and applied), the oppositional geometrical side of “deontic logic” (the logic of “obligatory”, “forbidden”, “permitted”, . . .) has rather been neglected. Besides the classical “deontic square” (the deontic counterpart of Aristotle’s “logical square”), some interesting attempts have nevertheless been made to deepen the geometrical investigation of the deontic oppositions: Kalinowski (La logique des normes, PUF, Paris, 1972) has proposed a (...) “deontic hexagon” as being the geometrical representation of standard deontic logic, whereas Joerden (jointly with Hruschka, in Archiv für Rechtsund Sozialphilosophie 73:1, 1987), McNamara (Mind 105:419, 1996) and Wessels (Die gute Samariterin. Zur Struktur der Supererogation, Walter de Gruyter, Berlin, 2002) have proposed some new “deontic polygons” for dealing with conservative extensions of standard deontic logic internalising the concept of “supererogation”. Since 2004 a new formal science of the geometrical oppositions inside logic has appeared, that is “ n -opposition theory”, or “NOT”, which relies on the notion of “logical bi-simplex of dimension m ” ( m = n − 1). This theory has received a complete mathematical foundation in 2008, and since then several extensions. In this paper, by using it, we show that in standard deontic logic there are in fact many more oppositional deontic figures than Kalinowski’s unique “hexagon of norms” (more ones, and more complex ones, geometrically speaking: “deontic squares”, “deontic hexagons”, “deontic cubes”, . . ., “deontic tetraicosahedra”, . . .): the real geometry of the oppositions between deontic modalities is composed by the aforementioned structures (squares, hexagons, cubes, . . ., tetraicosahedra and hyper-tetraicosahedra), whose complete mathematical closure happens in fact to be a “deontic 5-dimensional hyper-tetraicosahedron” (an oppositional very regular solid). (shrink)

The paper proposes two logical analyses of (the norms of) justification. In a first, realist-minded case, truth is logically independent from justification and leads to a pragmatic logic LP including two epistemic and pragmatic operators, namely, assertion and hypothesis. In a second, antirealist-minded case, truth is not logically independent from justification and results in two logical systems of information and justification: AR4 and AR4¢, respectively, provided with a question-answer semantics. The latter proposes many more epistemic agents, each corresponding to a (...) wide variety of epistemic norms. After comparing the different norms of justification involved in these logical systems, two hexagons expressing Aristotelian relations of opposition will be gathered in order to clarify how (a fragment of) pragmatic formulas can be interpreted in a fuzzy-based question-answer semantics. (shrink)

Democracy has been a flawed hegemony since the fall of communism. Its flexibility, its commitment to equality of representation, and its recognition of the legitimacy of opposition politics are all positive features for political institutions. But democracy has many deficiencies: it is all too easily held hostage by powerful interests; it often fails to advance social justice; and it does not cope well with a number of features of the political landscape, such as political identities, boundary disputes, and environmental (...) crises. Although democracy is valuable it fits uneasily with other political values and is in many respects less than equal to the demands it confronts. In this volume prominent political theorists and social scientists present original discussions of such central issues. Democracy's Values deals with the nature and value of democracy, particularly the tensions between it and such goods as justice, equality, efficiency, and freedom. (shrink)

After explaining the interdisciplinary aspect of the series of events organized around the square of opposition since 2007, we discuss papers related to the 4th World Congress on the Square of Opposition which was organized in the Vatican at the Pontifical Lateran University in 2014. We distinguish three categories of work: those dealing with the evolution and development of the theory of opposition, those using the square as a metalogical tool to give a better understanding of various (...) systems of logic and those related with applications of the theory of opposition to conceptual analysis and pedagogy. (shrink)

We are pleased to present this special issue of the journal History and Philosophy of Logic dedicated to the square of opposition.The square of opposition is a diagram and a theory of opposition re...

The theory of the square of opposition has been studied for over 2,000 years and has seen a resurgence in new theories and research since the second half of the twentieth century. This volume collects papers presented at the Sixth World Congress on the Square of Opposition, held in Crete in 2018, developing an interdisciplinary exploration of the theory. Chapter authors explore subjects such as Aristotle’s ontological square, logical oppositions in Avicenna’s hypothetical logic, and the power of the (...) square of opposition to solve theological problems regarding predestination and theodicy. Other topics covered include: Hegel’s opposition to diagrams De Morgan’s unpublished octagon of opposition turnstile figures of opposition institutional model-theoretic treatment of oppositions Lacan’s four formulas of sexuation the theory of oppositional poly-simplexes The Exoteric Square of Opposition will appeal to pure logicians, historians of logic, semioticians, philosophers, theologians, mathematicians, and psychoanalysts. (shrink)

In this work we provide an analysis of some issues arising with geometrical representations of a family of deontic and potestative relations that can be classified as Hohfeldian modalities, traditionally illustrated on two diagrams, the Hohfeldian squares. Our main target is the lack of symmetry to be found in various formal accounts by drawing analogies with the square of opposition for alethic modalities. We argue that one should rather rely on an analogy with the alethic hexagon of (...) class='Hi'>opposition and exploit the notions of contingency and absoluteness in order to restore the symmetry of Hohfeldian modalities in accordance to the diagrams presented by Hohfeld. Interestingly, the investigation unveils three potestative squares defined at different levels of granularity (force, outcome and change) and allows us to further elaborate on the connections between deontic and potestative relations. (shrink)

In this paper I propose a set-theoretical interpretation of the logical square of opposition, in the perspective opened by generalized quantifier theory. Generalized quantifiers allow us to account for the semantics of quantificational Noun Phrases, and of other natural language expressions, in a coherent and uniform way. I suggest that in the analysis of the meaning of Noun Phrases and Determiners the square of opposition may help representing some semantic features responsible to different logical properties of these expressions. (...) I will conclude with some consideration on scope interactions between quantifiers. (shrink)

Various semantics for studying the square of opposition have been proposed recently. So far, only [14] studied a probabilistic version of the square where the sentences were interpreted by (negated) defaults. We extend this work by interpreting sentences by imprecise (set-valued) probability assessments on a sequence of conditional events. We introduce the acceptability of a sentence within coherence-based probability theory. We analyze the relations of the square in terms of acceptability and show how to construct probabilistic versions of the (...) square of opposition by forming suitable tripartitions. Finally, as an application, we present a new square involving generalized quantifiers. (shrink)

We show that we in ways related to the classical Square of Opposition may define a Cube of Opposition for some useful statements, and we as a by-product isolate a distinct directive of being inviolable which deserves attention; a second central purpose is to show that we may extend our construction to isolate hypercubes of opposition of any finite cardinality when given enough independent modalities. The cube of opposition for obligations was first introduced publically in a (...) lecture for the Square of Opposition Conference in the Vatican in May 2014. -/- A COLORFUL ERRATUM: The article Cubes and Hypercubes of Opposition, with Ethical Ruminations on Inviolability, suffered a couple of mishaps when it was published in Logica Universalis, ISSN 1661-8297, 10(2-3), p. 373–376. The worst of them was that the colorful cube was printed in shades of grey, instead of decorating the sides with two transparent sides, and then a red, a yellow, a blue and a green side. The text of the article is not quite understandable because of this mishap, so I avail a colorfully updated version of the original article here. -/- . (shrink)