Switch to: References

Citations of:

Béziau’s Contributions to the Logical Geometry of Modalities and Quantifiers

In Arnold Koslow & Arthur Buchsbaum (eds.), The Road to Universal Logic (2015)

Add citations

You must login to add citations.
  1. Using Syllogistics to Teach Metalogic.Lorenz Demey - 2017 - Metaphilosophy 48 (4):575-590.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • The Porphyrian Tree and Multiple Inheritance. A Rejoinder to Tylman on Computer Science and Philosophy.Lorenz Demey - 2018 - Foundations of Science 23 (1):173-180.
    Tylman has recently pointed out some striking conceptual and methodological analogies between philosophy and computer science. In this paper, I focus on one of Tylman’s most convincing cases, viz. the similarity between Plato’s theory of Ideas and the object-oriented programming paradigm, and analyze it in some more detail. In particular, I argue that the platonic doctrine of the Porphyrian tree corresponds to the fact that most object-oriented programming languages do not support multiple inheritance. This analysis further reinforces Tylman’s point regarding (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Combinatorial Bitstring Semantics for Arbitrary Logical Fragments.Lorenz6 Demey & Hans5 Smessaert - 2018 - Journal of Philosophical Logic 47 (2):325-363.
    Logical geometry systematically studies Aristotelian diagrams, such as the classical square of oppositions and its extensions. These investigations rely heavily on the use of bitstrings, which are compact combinatorial representations of formulas that allow us to quickly determine their Aristotelian relations. However, because of their general nature, bitstrings can be applied to a wide variety of topics in philosophical logic beyond those of logical geometry. Hence, the main aim of this paper is to present a systematic technique for assigning bitstrings (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  • Oppositional Geometry in the Diagrammatic Calculus CL.Jens Lemanski - 2017 - South American Journal of Logic 3 (2):517-531.
    The paper presents the diagrammatic calculus CL, which combines features of tree, Euler-type, Venn-type diagrams and squares of opposition. In its basic form, `CL' (= Cubus Logicus) organizes terms in the form of a square or cube. By applying the arrows of the square of opposition to CL, judgments and inferences can be displayed. Thus CL offers on the one hand an intuitive method to display ontologies and on the other hand a diagrammatic tool to check inferences. The paper focuses (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations