Switch to: References

Add citations

You must login to add citations.
  1. Logic-Sensitivity and Bitstring Semantics in the Square of Opposition.Lorenz Demey & Stef Frijters - 2023 - Journal of Philosophical Logic 52 (6):1703-1721.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Representing Uncertainty with Expanded Ueberweg Diagrams.Amirouche Moktefi, Reetu Bhattacharjee & Jens Lemanski - 2024 - In Jens Lemanski, Mikkel Willum Johansen, Emmanuel Manalo, Petrucio Viana, Reetu Bhattacharjee & Richard Burns (eds.), Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 – October 1, 2024, Proceedings. Cham: Springer. pp. 207–214.
    Euler diagrams often require several figures to adequately represent propositions and syllogisms. Euler’s followers, notably Friedrich Ueberweg, endeavored to overcome this difficulty with the use of dotted lines to express uncertainty about the relation between the terms of a proposition. Subsequently, Venn regarded such attempts as ineffectual and went to construct his own celebrated scheme. In this paper, we argue that Ueberweg’s method could be expanded to meet Venn’s expectations, and hence, produce alternative Venn-like diagrams.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Aristotelian and Boolean Properties of the Keynes-Johnson Octagon of Opposition.Lorenz Demey & Hans Smessaert - 2024 - Journal of Philosophical Logic 53 (5):1265-1290.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark