65 found
Order:
Disambiguations
Lorenz Demey [50]Lorenz6 Demey [16]
  1.  63
    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   25 citations  
  2. Some remarks on the model theory of epistemic plausibility models.Lorenz Demey - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):375-395.
    The aim of this paper is to initiate a systematic exploration of the model theory of epistemic plausibility models (EPMs). There are two subtly different definitions in the literature: one by van Benthem and one by Baltag and Smets. Because van Benthem's notion is the most general, most of the paper is dedicated to this notion. We focus on the notion of bisimulation, and show that the most natural generalization of bisimulation to van Benthem-type EPMs fails. We then introduce parametrized (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  3. Logical Geometries and Information in the Square of Oppositions.Hans Smessaert & Lorenz Demey - 2014 - Journal of Logic, Language and Information 23 (4):527-565.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  4.  36
    Morphisms Between Aristotelian Diagrams.Alexander De Klerck, Leander Vignero & Lorenz Demey - 2024 - Logica Universalis 18 (1):49-83.
    In logical geometry, Aristotelian diagrams are studied in a precise and systematic way. Although there has recently been a good amount of progress in logical geometry, it is still unknown which underlying mathematical framework is best suited for formalizing the study of these diagrams. Hence, in this paper, the main aim is to formulate such a framework, using the powerful language of category theory. We build multiple categories, which all have Aristotelian diagrams as their objects, while having different kinds of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  50
    Metalogical Decorations of Logical Diagrams.Lorenz Demey & Hans Smessaert - 2016 - Logica Universalis 10 (2-3):233-292.
    In recent years, a number of authors have started studying Aristotelian diagrams containing metalogical notions, such as tautology, contradiction, satisfiability, contingency, strong and weak interpretations of contrariety, etc. The present paper is a contribution to this line of research, and its main aims are both to extend and to deepen our understanding of metalogical diagrams. As for extensions, we not only study several metalogical decorations of larger and less widely known Aristotelian diagrams, but also consider metalogical decorations of another type (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  6.  82
    Contemporary Epistemic Logic and the Lockean Thesis.Lorenz Demey - 2013 - Foundations of Science 18 (4):599-610.
    This paper studies the Lockean thesis from the perspective of contemporary epistemic logic. The Lockean thesis states that belief can be defined as ‘sufficiently high degree of belief’. Its main problem is that it gives rise to a notion of belief which is not closed under conjunction. This problem is typical for classical epistemic logic: it is single-agent and static. I argue that from the perspective of contemporary epistemic logic, the Lockean thesis fares much better. I briefly mention that it (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  7.  38
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  51
    Schopenhauer’s Partition Diagrams and Logical Geometry.Jens Lemanski & Lorenz Demey - 2021 - In Stapleton G. Basu A., Diagrams 2021: Diagrammatic Representation and Inference. pp. 149-165.
    The paper examines Schopenhauer’s complex diagrams from the Berlin Lectures of the 1820 s, which show certain partitions of classes. Drawing upon ideas and techniques from logical geometry, we show that Schopenhauer’s partition diagrams systematically give rise to a special type of Aristotelian diagrams, viz. (strong) α -structures.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  52
    Boolean considerations on John Buridan's octagons of opposition.Lorenz Demey - 2018 - History and Philosophy of Logic 40 (2):116-134.
    This paper studies John Buridan's octagons of opposition for the de re modal propositions and the propositions of unusual construction. Both Buridan himself and the secondary literature have emphasized the strong similarities between these two octagons (as well as a third one, for propositions with oblique terms). In this paper, I argue that the interconnection between both octagons is more subtle than has previously been thought: if we move beyond the Aristotelian relations, and also take Boolean considerations into account, then (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  10.  22
    The Interaction between Logic and Geometry in Aristotelian Diagrams.Lorenz6 Demey & Hans5 Smessaert - 2016 - Diagrammatic Representation and Inference, Diagrams 9781:67 - 82.
    © Springer International Publishing Switzerland 2016. We develop a systematic approach for dealing with informationally equivalent Aristotelian diagrams, based on the interaction between the logical properties of the visualized information and the geometrical properties of the concrete polygon/polyhedron. To illustrate the account’s fruitfulness, we apply it to all Aristotelian families of 4-formula fragments that are closed under negation and to all Aristotelian families of 6-formula fragments that are closed under negation.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  11.  17
    Computing the Maximal Boolean Complexity of Families of Aristotelian Diagrams.Lorenz6 Demey - 2018 - Journal of Logic and Computation 28 (6):1323-1339.
    © The Author 2018. Published by Oxford University Press. All rights reserved. Logical geometry provides a broad framework for systematically studying the logical properties of Aristotelian diagrams. The main aim of this paper is to present and illustrate the foundations of a computational approach to logical geometry. In particular, after briefly discussing some key notions from logical geometry, I describe a logical problem concerning Aristotelian diagrams that is of considerable theoretical importance, viz. the task of finding the maximal Boolean complexity (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  12.  14
    Schopenhauer’s Partition Diagrams and Logical Geometry.Jens Lemanski & Lorenz Demey - 2021 - In Stapleton G. Basu A., Diagrams 2021: Diagrammatic Representation and Inference. pp. 149-165.
    The paper examines Schopenhauer’s complex diagrams from the Berlin Lectures of the 1820 s, which show certain partitions of classes. Drawing upon ideas and techniques from logical geometry, we show that Schopenhauer’s partition diagrams systematically give rise to a special type of Aristotelian diagrams, viz. (strong) α -structures.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  13. Logic and Probability.Lorenz Demey, Barteld Kooi & Joshua Sack - 2012 - In Ed Zalta, Stanford Encyclopedia of Philosophy. Stanford, CA: Stanford Encyclopedia of Philosophy.
     
    Export citation  
     
    Bookmark   10 citations  
  14.  12
    Interactively Illustrating the Context-Sensitivity of Aristotelian Diagrams.Lorenz6 Demey - 2015 - Modeling and Using Context 9405:331 - 345.
    This paper studies the logical context-sensitivity of Aristotelian diagrams. I propose a new account of measuring this type of context-sensitivity, and illustrate it by means of a small-scale example. Next, I turn toward a more large-scale case study, based on Aristotelian diagrams for the categorical statements with subject negation. On the practical side, I describe an interactive application that can help to explain and illustrate the phenomenon of context-sensitivity in this particular case study. On the theoretical side, I show that (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  15.  20
    Structures of oppositions in public announcement logic.Lorenz Demey - 2012 - In Jean-Yves Béziau & Dale Jacquette, Around and Beyond the Square of Opposition. New York: Springer Verlag. pp. 313--339.
  16.  17
    The Dynamics of Surprise.Lorenz6 Demey - 2015 - Logique Et Analyse 58 (230):251 - 277.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  17. Agreeing to disagree in probabilistic dynamic epistemic logic.Lorenz Demey - 2014 - Synthese 191 (3):409-438.
    This paper studies Aumann’s agreeing to disagree theorem from the perspective of dynamic epistemic logic. This was first done by Dégremont and Roy (J Phil Log 41:735–764, 2012) in the qualitative framework of plausibility models. The current paper uses a probabilistic framework, and thus stays closer to Aumann’s original formulation. The paper first introduces enriched probabilistic Kripke frames and models, and various ways of updating them. This framework is then used to prove several agreement theorems, which are natural formalizations of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  18.  50
    Duality in Logic and Language.Lorenz Demey, and & Hans Smessaert - 2016 - Internet Encyclopedia of Philosophy.
    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  
  19.  18
    The Unreasonable Effectiveness of Bitstrings in Logical Geometry.Hans5 Smessaert & Lorenz6 Demey - 2016 - In Jean-Yves Béziau & Gianfranco Basti, The Square of Opposition: A Cornerstone of Thought (Studies in Universal Logic). Cham, Switzerland: Birkhäuser. pp. 197 - 214.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  20. Aristotelian Diagrams in the Debate on Future Contingents: A Methodological Reflection on Hess's Open Future Square of Opposition.Lorenz Demey - 2019 - Sophia 58 (3):321-329.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  21.  52
    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  
  22.  12
    Béziau’s Contributions to the Logical Geometry of Modalities and Quantifiers.Hans5 Smessaert & Lorenz6 Demey - 2015 - In Arnold Koslow & Arthur Buchsbaum, The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziauvol. 1, Cham, Heidelberg, etc.: Springer-Birkhäuser. Springer-Birkhäuser.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  23.  32
    On the Logical Geometry of Geometric Angles.Hans Smessaert & Lorenz Demey - 2022 - Logica Universalis 16 (4):581-601.
    In this paper we provide an analysis of the logical relations within the conceptual or lexical field of angles in 2D geometry. The basic tripartition into acute/right/obtuse angles is extended in two steps: first zero and straight angles are added, and secondly reflex and full angles are added, in both cases extending the logical space of angles. Within the framework of logical geometry, the resulting partitions of these logical spaces yield bitstring semantics of increasing complexity. These bitstring analyses allow a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  64
    A Hexagon of Opposition for the Theism/Atheism Debate.Lorenz Demey - 2019 - Philosophia 47 (2):387-394.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  45
    Between Square and Hexagon in Oresme’s Livre du Ciel et du Monde.Lorenz Demey - 2019 - History and Philosophy of Logic 41 (1):36-47.
    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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  26.  48
    Aristotelian diagrams for semantic and syntactic consequence.Lorenz Demey - 2018 - Synthese 198 (1):187-207.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  60
    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   2 citations  
  28.  28
    Logic and Probabilistic Update.Lorenz6 Demey & Barteld Kooi - 2014 - Johan van Benthem on Logic and Information Dynamics 5:381 - 404.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  29.  17
    Logical and Geometrical Distance in Polyhedral Aristotelian Diagrams in Knowledge Representation.Lorenz6 Demey & Hans5 Smessaert - 2017 - Symmetry 9 (10).
    © 2017 by the authors. Aristotelian diagrams visualize the logical relations among a finite set of objects. These diagrams originated in philosophy, but recently, they have also been used extensively in artificial intelligence, in order to study various knowledge representation formalisms. In this paper, we develop the idea that Aristotelian diagrams can be fruitfully studied as geometrical entities. In particular, we focus on four polyhedral Aristotelian diagrams for the Boolean algebra B4, viz. the rhombic dodecahedron, the tetrakis hexahedron, the tetraicosahedron (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  30.  44
    Thomas van Aquino, niet-normale modale logica's en het probleem van toekomstige contingenties.Luca Gili & Lorenz Demey - 2017 - Tijdschrift Voor Filosofie 79 (2):259-276.
    Thomas Aquinas maintained that God foreknows future contingent events and that his foreknowledge does not entail that they are necessarily the case. More specifically, he stated that if God knows a future contingent event, this future contingent event will be necessarily the case de sensu composito, but not de sensu diviso. After emphasizing the unified nature of Aquinas’ notion of necessity, we propose an interpretation of his theses by restating them within the framework of non-normal modal logics. In this framework, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  12
    Duality Patterns in 2-PCD Fragments.Hans5 Smessaert & Lorenz6 Demey - 2017 - South American Journal of Logic 3.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  9
    Strategic Interaction in Kantian Utopia: The Prisoner's Dilemma.Edward Roussel & Lorenz Demey - forthcoming - Theoria:e12588.
    What does the Kantian realm of ends look like? To partially answer that question, game theory will be used to analyse how Kantians would handle situations of strategic interaction. Starting from a thorough understanding of Kant's categorical imperative, three purportedly Kantian game theoretical models will be analysed and argued to be inconsistent with the categorical imperative. As these existing models are unfit for analysing strategic interaction in the realm of ends, a genuinely Kantian model will be constructed by adding the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  40
    The perfect surprise: a new analysis in dynamic epistemic logic.Leander Vignero & Lorenz Demey - 2020 - Logic Journal of the IGPL 28 (3):341-362.
    In this article, we present a new logical framework to think about surprise. This research does not just aim to better understand, model and predict human behaviour, but also attempts to provide tools for implementing artificial agents. Moreover, these artificial agents should then also be able to reap the same epistemic benefits from surprise as humans do. We start by discussing the dominant literature regarding propositional surprise and explore its shortcomings. These shortcomings are of both an empirical and a conceptual (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  15
    Aristotelian and Duality Relations Beyond the Square of Opposition.Lorenz6 Demey & Hans5 Smessaert - 2004 - In A. Blackwell, K. Marriott & A. Shimojima, Diagrammatic Representation and Inference. Springer.
    © 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 (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  35.  17
    Alpha-Structures and Ladders in Logical Geometry.Alexander De Klerck & Lorenz Demey - forthcoming - Studia Logica:1-36.
    Aristotelian diagrams, such as the square of opposition and other, more complex diagrams, have a long history in philosophical logic. Alpha-structures and ladders are two specific kinds of Aristotelian diagrams, which are often studied together because of their close interactions. The present paper builds upon this research line, by reformulating and investigating alpha-structures and ladders in the contemporary setting of logical geometry, a mathematically sophisticated framework for studying Aristotelian diagrams. In particular, this framework allows us to formulate well-defined functions that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  24
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  42
    Believing in Logic and Philosophy, KU Leuven, Belgium, 2014. Supervised by Stefaan Cuypers.Lorenz Demey - 2018 - Bulletin of Symbolic Logic 24 (2):201-202.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  16
    Geometric and Cognitive Differences between Logical Diagrams for the Boolean Algebra B_4.Lorenz6 Demey & Hans5 Smessaert - 2018 - Annals of Mathematics and Artificial Intelligence 83 (2):185-208.
    © 2018, Springer International Publishing AG, part of Springer Nature. Aristotelian diagrams are used extensively in contemporary research in artificial intelligence. The present paper investigates the geometric and cognitive differences between two types of Aristotelian diagrams for the Boolean algebra B4. Within the class of 3D visualizations, the main geometric distinction is that between the cube-based diagrams and the tetrahedron-based diagrams. Geometric properties such as collinearity, central symmetry and distance are examined from a cognitive perspective, focusing on diagram design principles (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  34
    De logische geometrie van Johannes Buridanus' modale achthoek.Lorenz Demey & Philipp Steinkrüger - 2017 - Tijdschrift Voor Filosofie 79 (2):217-238.
    In order to elucidate his logical analysis of modal quantified propositions (e.g. ‘all men are necessarily mortal’), the 14th century philosopher John Buridan constructed a modal octagon of oppositions. In the present paper we study this modal octagon from the perspective of contemporary logical geometry. We argue that the modal octagon contains precisely six squares of opposition as subdiagrams, and classify these squares based on their logical properties. On a more abstract level, we show that Buridan’s modal octagon precisely captures (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  23
    Visualising the Boolean Algebra B_4 in 3D.Hans5 Smessaert & Lorenz6 Demey - 2016 - Diagrammatic Representation and Inference, Diagrams 9781:289 - 292.
    This paper compares two 3D logical diagrams for the Boolean algebra B4, viz. the rhombic dodecahedron and the nested tetrahedron. Geometric properties such as collinearity and central symmetry are examined from a cognitive perspective, focussing on diagram design principles such as congruence/isomorphism and apprehension.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Syntactical Treatment of Modalities, 6 February.Lorenz Demey & Jan Heylen - 2013 - The Reasoner 7 (4):45-45.
    The workshop took place in Leuven, Belgium, and was hosted by the KU Leuven's Centre for Logic and Analytic Philosophy. The workshop’s theme was the syntactical treatment of (alethic, epistemic, etc.) modalities. The standard view on modalities nowadays is that they are operators. Syntactic theories, however, treat modalities as predicates, and thus have to assume a background theory which is sufficiently strong to encode its own formulas (usually, one works with some system of arithmetic and Gödel coding). As a consequence, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42. The Region Connection Calculus, Euler Diagrams and Aristotelian Diagrams (14th edition).Claudia Anger & Lorenz Demey - 2024 - In Jens Lemanski, Mikkel Willum Johansen, Emmanuel Manalo, Petrucio Viana, Reetu Bhattacharjee & Richard Burns, Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 – October 1, 2024, Proceedings. Cham: Springer. pp. 476-479.
    The Region Connection Calculus (RCC) is a qualitative spatial reasoning formalism, developed in knowledge representation and geographical information systems. We argue that RCC can be viewed as a more fine-grained approach to the use of Euler diagrams to visualize categorical statements like ‘all A are B’. We present RCC using the syntax of first-order modal logic and a topological semantics. We compare the Gergonne relations (a well-known set of 5 jointly exhaustive and pairwise disjoint relations between two non-empty sets, visualized (...)
    No categories
     
    Export citation  
     
    Bookmark  
  43.  25
    Boudewijn de Bruin, Explaining Games. The Epistemic Programme in Game Theory. Dordrecht, Springer, 2010.Lorenz Demey - 2011 - Tijdschrift Voor Filosofie 73 (4):789-791.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  34
    Carrie Jenkins, Grounding Concepts. An Empirical Basis for Arithmetical Knowledge. Oxford, Oxford University Press, 2008.Lorenz Demey - 2009 - Tijdschrift Voor Filosofie 71 (4):796-798.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  22
    Charles Travis, Occasion-Sensitivity. Selected Essays. Oxford, Oxford University Press, 2008.Lorenz Demey - 2009 - Tijdschrift Voor Filosofie 71 (3):633-635.
  46. Een geünificeerde theorie van bepaalde en onbepaalde beschrijvingen.Lorenz Demey - 2009 - Algemeen Nederlands Tijdschrift voor Wijsbegeerte 101 (2):82-98.
     
    Export citation  
     
    Bookmark  
  47.  20
    Frank Jackson, Language, Names, and Information. Cambridge (MA), Wiley-Blackwell, 2010.Lorenz Demey - 2011 - Tijdschrift Voor Filosofie 73 (3):594-596.
  48. Fenrong Liu, Reasoning about Preference Dynamics. Springer, Dordrecht, 2011 (forthcoming).Lorenz Demey - 2012 - Tijdschrift Voor Filosofie 74 (4):818-820.
    No categories
     
    Export citation  
     
    Bookmark  
  49.  25
    Gillian Russell, Truth in Virtue of Meaning. Oxford, Oxford University Press, 2008.Lorenz Demey - 2009 - Tijdschrift Voor Filosofie 71 (2):408-410.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  67
    Herman Cappelen and John Hawthorne, Relativism and Monadic Truth. Oxford, Oxford University Press, 2009.Lorenz Demey - 2010 - Tijdschrift Voor Filosofie 72 (1):173-174.
1 — 50 / 65