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)

Direct download(3 more)   Export citation   Bookmark   2 citations  

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)

Direct download(4 more)   Export citation   Bookmark   1 citation  

Duality in Logic and Language [draft--do not cite this article] Duality phenomena occur in nearly all mathematically formalized disciplines, such as algebra, geometry, logic and natural language semantics. However, many of these disciplines use the term ‘duality’ in vastly different senses, and while some of these senses are intimately connected to each other, others seem to be entirely … Continue reading Duality in Logic and Language →.

Direct download   Export citation   Bookmark   5 citations  

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)

Direct download(4 more)   Export citation   Bookmark   3 citations  

This article describes a specific pedagogical context for an advanced logic course and presents a strategy that might facilitate students’ transition from the object-theoretical to the metatheoretical perspective on logic. The pedagogical context consists of philosophy students who in general have had little training in logic, except for a thorough introduction to syllogistics. The teaching strategy tries to exploit this knowledge of syllogistics, by emphasizing the analogies between ideas from metalogic and ideas from syllogistics, such as existential import, the distinction (...) between contradictories and contraries, and the square of opposition. This strategy helps to improve students’ understanding of metalogic, because it allows the students to integrate these new ideas with their previously acquired knowledge of syllogistics. (shrink)

Direct download(2 more)   Export citation   Bookmark   4 citations  

Several authors have recently studied Aristotelian diagrams for various metatheoretical notions from logic, such as tautology, satisfiability, and the Aristotelian relations themselves. However, all these metalogical Aristotelian diagrams focus on the semantic (model-theoretical) perspective on logical consequence, thus ignoring the complementary, and equally important, syntactic (proof-theoretical) perspective. In this paper, I propose an explanation for this discrepancy, by arguing that the metalogical square of opposition for semantic consequence exhibits a natural analogy to the well-known square of opposition for the categorical (...) statements from syllogistics, but that this analogy breaks down once we move from semantic to syntactic consequence. I then show that despite this difficulty, one can indeed construct metalogical Aristotelian diagrams from a syntactic perspective, which have their own, equally elegant characterization in terms of the categorical statements. Finally, I construct several metalogical Aristotelian diagrams that incorporate both semantic and syntactic consequence (and their interaction), and study how they are influenced by the underlying logical system’s soundness and/or completeness. All of this provides further support for the methodological/heuristic perspective on Aristotelian diagrams, which holds that the main use of these diagrams lies in facilitating analogies and comparisons between prima facie unrelated domains of investigation. (shrink)

Direct download(2 more)   Export citation   Bookmark   2 citations