. Each predicate of the Aristotelian square of opposition includes the word “is”. Through a twofold interpretation of this word the square includes both classical logic and non-classical logic. All theses embodied by the square of opposition are preserved by the new interpretation, except for contradictories, which are substituted by incommensurabilities. Indeed, the new interpretation of the square of opposition concerns the relationships among entire theories, each represented by means of a characteristic predicate. (...) A generalization of the square of opposition is achieved by not adjoining, according to two Leibniz’ suggestions about human mind, one more choice about the kind of infinity; i.e., a choice which was unknown by Greek’s culture, but which played a decisive role for the birth and then the development of modern science. This essential innovation of modern scientific culture explains why in modern times the Aristotelian square of opposition was disregarded. (shrink)

In this paper, I will show to what extent we can use our modern understanding of the Square of Opposition in order to make sense of Kant 's double standard solution to the cosmological antinomies. Notoriously, for Kant, both theses and antitheses of the mathematical antinomies are false, while both theses and antitheses of the dynamical antinomies are true. Kantian philosophers and interpreters have criticized Kant 's solution as artificial and prejudicial. In the paper, I do not dispute (...) such claims, but I show that our modern understanding of the Square of Opposition enables us to more naturally deliver the result Kant was aiming at. Accordingly, the paper does not pretend to be exegetically accurate. It is an attempt to revise the antinomies with the help of standard classical logic. And although such a revision entails some re-interpretation, in the end, it will actually help to unveil some of Kant 's thoughts. (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.

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)

Papers... "selected from a larger number of contributions most of them based on talks presented at the First World Congress on the Square of Opposition organized in Montreux in June 2007"--Preface, p. 12.

In Aristotelian logic, categorical propositions are divided in Universal Affirmative, Universal Negative, Particular Affirmative and Particular Negative. Possible relations between two of the mentioned type of propositions are encoded in the square of opposition. The square expresses the essential properties of monadic first order quantification which, in an algebraic approach, may be represented taking into account monadic Boolean algebras. More precisely, quantifiers are considered as modal operators acting on a Boolean algebra and the square of (...) class='Hi'>opposition is represented by relations between certain terms of the language in which the algebraic structure is formulated. This representation is sometimes called the modal square of opposition. Several generalizations of the monadic first order logic can be obtained by changing the underlying Boolean structure by another one giving rise to new possible interpretations of the square. (shrink)

The theory of the square of opposition has been worked out many centuries ago as a part of Aristotelian logic of terms.In spite of its inexactness (for instance it is not possible to decide whether the termsquare of opposition is a logical or a metalogical term) this theory is included without any changes in the usual elementary course of logic.The author defines the square of opposition in the language of the logic of propositions (see Def. (...) 1.000) and derives from this definition the usual laws of the square of opposition and several new theorems. (shrink)

Can an appeal to the difference between contrary and contradictory statements, generated by a non-uniform behaviour of negation, deal adequately with paradoxical cases like the sorites or the liar? This paper offers a negative answer to the question. This is done by considering alternative ways of trying to construe and justify in a useful way (in this context) the distinction between contraries and contradictories by appealing to the behaviour of negation only. There are mainly two ways to try to do (...) so: i) by considering differences in the scope of negation, ii) by considering the possibility that negation is semantically ambiguous. Both alternatives are shown to be inapt to handle the problematic cases. In each case, it is shown that the available alternatives for motivating or grounding the distinction, in a way useful to deal with the paradoxes, are either inapplicable, or produce new versions of the paradoxes, or both. (shrink)

In this paper a set of categorical sentences called an antilogistic tetrad is presented as a perspective on Aristotle's square of opposition. An antilogistic tetrad is formed by collecting the premises of a pair of valid syllogisms the conclusions of which are contradictory categorical sentences. A set of such premises serves to bring together Aristotle's concern with debate and the syllogism, and as such may be seen as a way of “completing” Aristotle's analysis of the square of (...) opposition.The debate context is characterized by opposing views for which arguments are offered. The square of opposition captures that contending of opposing views; and is also basic to the presentation of categorical sentences, a necessary condition for the syllogism. By using C. S. Peirce's notion of abductive argument to produce the middle term, and hence to construct deductive syllogistic arguments, antilogistic tetrads may be formed on any contended subject. For that reason, the process sketched above for forming antilogistic tetrads is called “completing the square of opposition.”. (shrink)

This is a collection of new investigations and discoveries on the theory 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.

Contrary to received opinion, the Aristotelian Square of Opposition (square) is logically sound, differing from standard modern predicate logic (SMPL) only in that it restricts the universe U of cognitively constructible situations by banning null predicates, making it less unnatural than SMPL. U-restriction strengthens the logic without making it unsound. It also invites a cognitive approach to logic. Humans are endowed with a cognitive predicate logic (CPL), which checks the process of cognitive modelling (world construal) for consistency. (...) The square is considered a first approximation to CPL, with a cognitive set-theoretic semantics. Not being cognitively real, the null set Ø is eliminated from the semantics of CPL. Still rudimentary in Aristotle’s On Interpretation (Int), the square was implicitly completed in his Prior Analytics (PrAn), thereby introducing U-restriction. Abelard’s reconstruction of the logic of Int is logically and historically correct; the loca (Leaking O-Corner Analysis) interpretation of the square, defended by some modern logicians, is logically faulty and historically untenable. Generally, U-restriction, not redefining the universal quantifier, as in Abelard and loca, is the correct path to a reconstruction of CPL. Valuation Space modelling is used to compute the effects of U-restriction. (shrink)

This paper contains two traditions of diagrammatic studies namely one, the Euler–Venn–Peirce diagram and the other, following tradition of Aristotle, the square of oppositions. We put together both the traditions to study representations of singular propositions, their negations and the inter relationship between the two. Along with classical negation we have incorporated negation of another kind viz. absence. We have also considered the changes that take place in the context of open universe.

The square of opposition is a diagram related to a theory of oppositions that goes back to Aristotle. Both the diagram and the theory have been discussed throughout the history of logic. Initially, the diagram was employed to present the Aristotelian theory of quantification, but extensions and criticisms of this theory have resulted in various other diagrams. The strength of the theory is that it is at the same time fairly simple and quite rich. The theory of oppositions (...) has recently become a topic of intense interest due to the development of a general geometry of opposition (polygons and polyhedra) with many applications. A congress on the square with an interdisciplinary character has been organized on a regular basis (Montreux 2007, Corsica 2010, Beirut 2012, Vatican 2014, Rapa Nui 2016). The volume at hand is a sequel to two successful books: The Square of Opposition - A General Framework of Cognition, ed. by J.-Y. Béziau & G. Payette, as well as Around and beyond the Square of Opposition, ed. by J.-Y. Béziau & D. Jacquette, and, like those, a collection of selected peer-reviewed papers. The idea of this new volume is to maintain a good equilibrium between history, technical developments and applications. The volume is likely to attract a wide spectrum of readers, mathematicians, philosophers, linguists, psychologists and computer scientists, who may range from undergraduate students to advanced researchers. (shrink)

Ontological commitments and other problems concerning existence arise in connection with various aspects of logical theories. The semantics of quantification theory is usually formulated in such a manner that theorems are all and only those formulae which come out true under all interpretations in all non-empty domains. There are several approaches to include the empty domain. Paradoxically this apparent semantic extension means surrendering several formulae which are valid and intuitively plausible.

We discuss the idea that superpositions in quantum mechanics may involve contradictions or contradictory properties. A state of superposition such as the one comprised in the famous Schrödinger’s cat, for instance, is sometimes said to attribute contradictory properties to the cat: being dead and alive at the same time. If that were the case, we would be facing a revolution in logic and science, since we would have one of our greatest scientific achievements showing that real contradictions exist.We analyze that (...) claim by employing the traditional square of opposition.We suggest that it is difficult to make sense of the idea of contradiction in the case of quantum superpositions. From a metaphysical point of view the suggestion also faces obstacles, and we present some of them. (shrink)

Jean-Yves Béziau Abstract In this paper I relate the story about the new rising of the square of opposition: how I got in touch with it and started to develop new ideas and to organize world congresses on the topic with subsequent publications.

. In logic, diagrams have been used for a very long time. Nevertheless philosophers and logicians are not quite clear about the logical status of diagrammatical representations. Fact is that there is a close relationship between particular visual (resp. graphical) properties of diagrams and logical properties. This is why the representation of the four categorical propositions by different diagram systems allows a deeper insight into the relations of the logical square. In this paper I want to give some examples.

In this paper is constructed an analogue of the square of opposition for propositions about relations between two non-empty sets. Unlike the classical square of opposition, the proposed scheme uses all logically possible syllogistic constants, formulated in V.I. Markin’s universal language for traditional positive syllogistic theories. This scheme can be called “Logical lantern”. The basic constants of this language are representing the five basic relations between two non-empty sets: equity, strict inclusion, reversed strict inclusion, intersection and (...) exclusion (considered are only the relations between sets, but not the relations of the sets to the universe). The other relations between sets are combinations (disjunctions) of the basic ones. There are 32 constants and 32 respective propositions, and the proposed diagram expresses and/or allows to deduce the logical relations among those propositions. The constructed scheme, making it possible to visually see the logical relations among propositions about relations between two non-empty sets, allows us to suggest considering logical relations not discussed previously: many-place Aristotelian-like logical relations among propositions: exhaustive _n_-place contrariety and exhaustive _n_-place subcontrariety (_n_ is a natural number, \(n>2\) ). (shrink)

In recent decades, research in the square of opposition has increased. New interpretations, extensions, and generalizations have been suggested, both Aristotelian and non-Aristotelian ones. The paper attempts to compare different versions of the square of opposition. For this reason, we appeal to the wider categorical model-theoretic framework of the theory of institutions.

The heart of Aristotelian Logic is the square of opposition. This study engaged on further [re]investigation and meta-logical analysis of the validity of the square of opposition. Further, in this paper, it has been modestly established, with greater clarity, the exposition of the strengths, more than the presentation of the defects, loopholes and weaknesses, of the Aristotelian Logic in a descriptive and speculative manner. The unconcealment of the breakdown of the square of opposition marked (...) a rupture and the opening of avenues of alternative reasoning. The critical and analytical exposition of the loopholes of the square of opposition led to a realization that things around us could have been and still be different; and there could have been better alternative reasoning than what we have called, adopted, and worshipped [Greek] logic. Results show that the downfall of the oppositional relationships in the square of opposition provided a proof of the logical illusion of Aristotle or the loophole of Traditional Logic. The laws of opposition, that have been considered the measures of logically deductive inferences, are practically almost totally logical deceptions. By implication, if the laws of subcontrariety, contrariety, and subalternation [and may be contradiction] have collapsed, the square of opposition has also collapsed; hence, Aristotle‟s square of opposition is a fallacy. This means that the square of opposition has errors and in itself an error. (shrink)

While it seems that just about everything is being excavated today, the Square of Opposition might seem a fairly unlikely candidate for such a kind of interest. The square is a very simple device o...

The Aristotelian square of oppositions is a well-known diagram in logic and linguistics. In recent years, several extensions of the square have been discovered. However, these extensions have failed to become as widely known as the square. In this paper we argue that there is indeed a fundamental difference between the square and its extensions, viz., a difference in informativity. To do this, we distinguish between concrete Aristotelian diagrams and, on a more abstract level, the Aristotelian (...) geometry. We then introduce two new logical geometries, and develop a formal, well-motivated account of their informativity. This enables us to show that the square is strictly more informative than many of the more complex diagrams. (shrink)

The sixth chapter discusses the issue of how the reconstruction of the relevant parts of Buridan’s logic and medieval logic in general, using restricted variables, validates the attribution of existential import to affirmative propositions, in turn establishing the validity of all relations of the traditional Square of Opposition. The chapter also discusses how Buridan’s theory of natural supposition handles some objections to this conception concerning law-like statements, and, in general, how his theory of ampliation handles the issue of (...) existential import in intensional contexts. (shrink)

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)

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 this paper, we would show how the logical object “square of opposition”, viewed as semiotic object, has been historically transformed since its appearance in Aristotle’s texts until the works of Vasiliev. These transformations were accompanied each time with a new understanding and interpretation of Aristotle’s original text and, in the last case, with a transformation of its geometric configuration. The initial textual codification of the theory of opposition in Aristotle’s works is transformed into a diagrammatic one, (...) based on a new “reading” of the Aristotelian text by the medieval scholars that altered the semantics of the O form. Further, based on the medieval “Neo-Aristotelian” reading, the logicians of the nineteenth century suggest new diagrammatic representations, based on new interpretations of quantification of judgements within the algebraic and the functional logical traditions. In all these interpretations, the original square configuration remains invariant. However, Nikolai A. Vasiliev marks a turning point in history. He explicitly attacks the established logical tradition and suggests a new alternation of semantics of the O form, based on Aristotelian concepts that were neglected in the Aristotelian tradition of logic, notably the concept of indefinite judgement. This leads to a configurational transformation of the “square” of opposition into a “triangle”, where the points standing for the O and I forms are contracted into one point, the M form that now stands for particular judgement with altered semantics. The new transformation goes beyond the Aristotelian logic paradigm to a new “Non-Aristotelian” logic, i.e. to paraconsistent logic, although the argumentation used in support of it is phrased in Aristotelian style and the context of discovery is foundational. It establishes a bifurcation point in the development of logic. No unique logic is recognized, but different logics concerning different domains. One branch of logic remains to be the “Neo-Aristotelian” one, while the new logic is “Non-Aristotelian”. (shrink)

This entry traces the historical development of the Square of Opposition, a collection of logical relationships traditionally embodied in a square diagram. This body of doctrine provided a foundation for work in logic for over two millenia. For most of this history, logicians assumed that negative particular propositions ("Some S is not P") are vacuously true if their subjects are empty. This validates the logical laws embodied in the diagram, and preserves the doctrine against modern criticisms. Certain (...) additional principles ("contraposition" and "obversion") were sometimes adopted along with the Square, and they genuinely yielded inconsistency. By the nineteenth century an inconsistent set of doctrines was widely adopted. Strawson's 1952 attempt to rehabilitate the Square does not apply to the traditional doctrine; it does salvage the nineteenth century version but at the cost of yielding inferences that lead from truth to falsity when strung together. (shrink)

© Springer International Publishing AG, part of Springer Nature 2018. Nearly all squares of opposition found in the literature represent both the Aristotelian relations and the duality relations, and exhibit a very close correspondence between both types of logical relations. This paper investigates the interplay between Aristotelian and duality relations in diagrams beyond the square. In particular, we study a Buridan octagon, a Lenzen octagon, a Keynes-Johnson octagon and a Moretti octagon. Each of these octagons is a natural (...) extension of the square, both from an Aristotelian perspective and from a duality perspective. The results of our comparative analysis turn out to be highly nuanced. (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.

The square of opposition has never been drawn by classical Arabic logicians, such as al-Fārābī and Avicenna. However, in some later writings, we do find squares, which their authors call rather ‘tables’ (sing. _lawḥ_). These authors are Shihāb al-Dīn al-Suhrawardī and Muhammed b. Yūsuf al-Sanūsī. They do not pertain to the same geographic area, but they both provide squares of opposition. The aim of this paper is to analyse these two squares, to compare them with each other (...) and with the traditional square of opposition drawn by Apuleius and Boethius, with regard to their particular structure and their vertices and to evaluate their validity. We will show that both squares are different from each other and from the traditional square both with regard to their vertices, and to the arrangements of the oppositional relations. In addition, while al-Suhrawardī uses the notion of matter modalities to define the oppositions, al-Sanūsī relies rather on al-Rāzī’s and al-Khūnajī’s distinctions. Both authors agree, however, on the fact that affirmatives have an import while negatives do not. For this reason, their squares are valid from a logical viewpoint. As diagrams, these squares are nevertheless entirely original, due to the particular arrangements of their oppositional relations. Our analysis shows also that the later author does not seem to know the square drawn by the earlier one and that both authors do not seem to know Apuleius’ or Boethius’ squares. (shrink)

This essay explores the validity of Gregory Boyd’s open theistic account of the nature of the future. In particular, it is an investigation into whether Boyd’s logical square of opposition for future contingents provides a model of reality for free will theists that can preserve both bivalence and a classical conception of omniscience. In what follows, I argue that it can.

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...

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)

. 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)

During the last decades, the psychology of reasoning has identified experimentally many fallacies committed by spontaneous reasoners. Given these experimental results, some theories have been developed about this phenomenon, mainly algorithmic theories. This paper develops instead a computational modelling of these current fallacies which appear as simplifications in the treatment of information that do not respect the formal rules of classical propositional logic. These fallacies are explained as crushes in the Klein group structure and so, in squares of opposition. (...) These crushes are an effect of not to take into account the dual of the binary operator at work in the major premise of the inference. This analysis allows predictions on fallacies not identified before, which are fallacies produced when reasoning with incompatibilities. The paper concludes with consequences of the analysis on pedagogical strategies for the teaching of logic. (shrink)

In this paper, we provide an overview of some of the results obtained in the mathematical theory of intermediate quantifiers that is part of fuzzy natural logic. We briefly introduce the mathematical formal system used, the general definition of intermediate quantifiers and define three specific ones, namely, “Almost all”, “Most” and “Many”. Using tools developed in FNL, we present a list of valid intermediate syllogisms and analyze a generalized 5-square of opposition.

Modelling consent is a process prior to any discussion about it, be it theoretical or practical. Here, after examining consent, I shall attempt to present a “logical generator” that produces all different cases of consent, so that afterwards we may articulate a two-dimensional model which will enable us to coherently demonstrate all possible types of consent. The resulting model will be combined with Aristotle’s square of opposition, offering us even greater insight. I shall claim that full informed consent (...) is an archetype, not realized in most cases; it is just one case out of hundreds more. I shall conclude with an educational model for consent, the principle of specificity, arguing that if we wish to both understanding consent and become more adept in exercising it, we need a targeted educational system – not just “better education” in general. (shrink)