57 found
Order:
Disambiguations
Lorenz Demey [33]Lorenz6 Demey [24]
See also
  1.  19
    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   9 citations  
  2.  47
    Logical Geometries and Information in the Square of Oppositions.Hans5 Smessaert & Lorenz6 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   16 citations  
  3.  21
    Metalogical Decorations of Logical Diagrams.Lorenz6 Demey & Hans5 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   10 citations  
  4.  51
    Aristotelian Diagrams in the Debate on Future Contingents: A Methodological Reflection on Hess's Open Future Square of Opposition.Lorenz6 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   2 citations  
  5.  75
    Some Remarks on the Model Theory of Epistemic Plausibility Models.Lorenz6 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   9 citations  
  6.  22
    Using Syllogistics to Teach Metalogic.Lorenz6 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 (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  45
    Contemporary Epistemic Logic and the Lockean Thesis.Lorenz6 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   8 citations  
  8. Agreeing to Disagree in Probabilistic Dynamic Epistemic Logic.Lorenz6 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 (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  6
    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   3 citations  
  10.  28
    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   1 citation  
  11.  19
    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  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  12.  1
    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   4 citations  
  13.  11
    Aristotelian Diagrams for Semantic and Syntactic Consequence.Lorenz Demey - forthcoming - Synthese:1-21.
    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 perspective on logical consequence, thus ignoring the complementary, and equally important, syntactic 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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  15
    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   1 citation  
  15.  7
    Structures of Oppositions in Public Announcement Logic.Lorenz Demey - 2012 - In J.-Y. Beziau & Dale Jacquette (eds.), Around and Beyond the Square of Opposition. Birkhäuser. pp. 313--339.
  16.  15
    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  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  17.  1
    Béziau’s Contributions to the Logical Geometry of Modalities and Quantifiers.Hans5 Smessaert & Lorenz6 Demey - 2015 - In Arnold Koslow & Arthur Buchsbaum (eds.), The Road to Universal Logic.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  1
    The Dynamics of Surprise.Lorenz6 Demey - 2015 - Logique Et Analyse 58 (230):251 - 277.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  2
    The Unreasonable Effectiveness of Bitstrings in Logical Geometry.Hans5 Smessaert & Lorenz6 Demey - 2017 - In J. Y. Béziau & G. Basti (eds.), The Square of Opposition: A Cornerstone of Thought. pp. 197 - 214.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  1
    Duality Patterns in 2-PCD Fragments.Hans5 Smessaert & Lorenz6 Demey - 2017 - South American Journal of Logic 3.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  2
    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  
  22.  18
    Believing in Logic and Philosophy, KU Leuven, Belgium, 2014. Supervised by Stefaan Cuypers.Lorenz Demey - 2014 - Bulletin of Symbolic Logic 24 (2):201-202.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  5
    Duality in Logic and Language.Lorenz Demey & 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   1 citation  
  24.  3
    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   1 citation  
  25.  2
    Aristotelian and Duality Relations Beyond the Square of Opposition.Lorenz6 Demey & Hans5 Smessaert - 2018 - In Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Perez-Kriz & Francesco Bellucci (eds.), Diagrammatic Representation and Inference.
    © 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  
  26.  21
    Adriane A. Rini and Max J. Cresswell, The World-Time Parallel. Tense and Modality in Logic and Metaphysics. Cambridge, Cambridge University Press, 2012. [REVIEW]Lorenz Demey - 2013 - Tijdschrift Voor Filosofie 75 (1):168-171.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  17
    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  
  28.  6
    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  
  29.  16
    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  
  30.  3
    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  
  31.  15
    Charles Travis, Occasion-Sensitivity. Selected Essays. Oxford, Oxford University Press, 2008.Lorenz Demey - 2009 - Tijdschrift Voor Filosofie 71 (3):633-635.
  32. Een geünificeerde theorie van bepaalde en onbepaalde beschrijvingen.Lorenz Demey - 2009 - Algemeen Nederlands Tijdschrift voor Wijsbegeerte 101 (2):82-98.
    Translate
     
     
    Export citation  
     
    Bookmark  
  33.  10
    Frank Jackson, Language, Names, and Information. Cambridge (MA), Wiley-Blackwell, 2010.Lorenz Demey - 2011 - Tijdschrift Voor Filosofie 73 (3):594-596.
  34. 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  
  35.  1
    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  
  36.  10
    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  
  37.  34
    Herman Cappelen and John Hawthorne, Relativism and Monadic Truth. Oxford, Oxford University Press, 2009.Lorenz Demey - 2010 - Tijdschrift Voor Filosofie 72 (1):173-174.
  38.  17
    Jerome Kagan, The Three Cultures. Natural Sciences, Social Sciences, and the Humanities in the 21st Century. New York, Cambridge University Press, 2009.Lorenz Demey - 2011 - Tijdschrift Voor Filosofie 73 (1):188-190.
  39.  25
    Johan van Benthem, Amitabha Gupta and Rohit Parikh (Eds.), Proof, Computation and Agency. Logic at the Crossroads. Dordrecht, Springer, 2011. Johan van Benthem, Amitabha Gupta and Eric Pacuit (Eds.), Games, Norms and Reasons. Logic at the Crossroads. Dordrecht, Springer, 2011 (Joint Review). [REVIEW]Lorenz Demey - 2012 - Tijdschrift Voor Filosofie 74 (2):379-381.
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  15
    Kathrin Koslicki, The Structure of Objects. Oxford, Oxford University Press, 2008.Lorenz Demey - 2009 - Tijdschrift Voor Filosofie 71 (2):411-413.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  1
    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  
  42. Logic and Probability.Lorenz Demey, Barteld Kooi & Joshua Sack - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy.
     
    Export citation  
     
    Bookmark   4 citations  
  43.  2
    Looking for the Right Notion of Epistemic Plausibility Model.Lorenz6 Demey - 2012 - In Bart Van Kerckhoven, Thierry Libert, Geert Vanpaemel & Pierre Marage (eds.), Logic, Philosophy and History of Science in Belgium II. Proceedings of the Young Researchers Days 2010. pp. 73-78.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  13
    Leila Haaparanta (Ed.), The Development of Modern Logic. Oxford, Oxford University Press, 2009.Lorenz Demey - 2010 - Tijdschrift Voor Filosofie 72 (3):606-607.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  23
    Martin Peterson, An Introduction to Decision Theory. Cambridge, Cambridge University Press, 2009.Lorenz Demey - 2011 - Tijdschrift Voor Filosofie 73 (3):591-594.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  2
    Ockham on the (In)Fallibility of Intuitive Cognition.Lorenz6 Demey - 2014 - Philosophiegeschichte Und Logische Analyse / Logical Analysis and History of Philosophy 17:193-209.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  2
    Ockham on the (In)Fallibility of Intuitive Cognition.Lorenz Demey - 2014 - History of Philosophy & Logical Analysis 17 (1):193-209.
    The main purpose of this paper is to reassess the debate between Boehner and Karger about Ockham’s views on the infallibility of intuitive cognition, and to present a new account of infallible intuitive cognition. After a detailed overview of Ockham’s theory of intuitive and abstractive cognition, the Boehner/Karger debate is examined. At the center of this debate are two conflicting interpretations of a certain passage in Ockham’s writings. It is shown that neither of these interpretations is ultimately successful. Next, a (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  48.  12
    Paolo Mancosu (Ed.), The Philosophy of Mathematical Practice. Oxford, Oxford University Press, 2008.Lorenz Demey - 2009 - Tijdschrift Voor Filosofie 71 (3):635-637.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  14
    Robert Kowalski, Computational Logic and Human Thinking. Cambridge, Cambridge University Press, 2011.Lorenz Demey - 2013 - Tijdschrift Voor Filosofie 75 (2):395-397.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  17
    Sanford Goldberg, Relying on Others. An Essay in Epistemology. Oxford, Oxford University Press, 2010.Lorenz Demey - 2012 - Tijdschrift Voor Filosofie 74 (1):160-163.
1 — 50 / 57