47 found
Order:
Disambiguations
Lorenz Demey [38]Lorenz6 Demey [9]
See also
  1.  33
    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  
  2.  17
    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   8 citations  
  3.  17
    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.  17
    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  
  5.  69
    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.  35
    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  
  7. 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 (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  8.  40
    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   5 citations  
  9.  11
    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  
  10.  10
    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  
  11. 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  
  12.  22
    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  
  13.  1
    The Interaction Between Logic and Geometry in Aristotelian Diagrams.Lorenz Demey & Hans 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.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  6
    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.
  15.  15
    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   1 citation  
  16.  13
    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
    Visualising the Boolean Algebra B_4 in 3D.Hans Smessaert & Lorenz 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.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  5
    The Perfect Surprise: A New Analysis in Dynamic Epistemic Logic.Leander Vignero & Lorenz Demey - forthcoming - Logic Journal of the IGPL.
    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 (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  5
    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  
  20.  18
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  33
    Herman Cappelen and John Hawthorne, Relativism and Monadic Truth. Oxford, Oxford University Press, 2009.Lorenz Demey - 2010 - Tijdschrift Voor Filosofie 72 (1):173-174.
  22.  30
    Syntactical Treatment of Modalities, 6 February.Lorenz Demey & Jan Heylen - 2013 - The Reasoner 7 (4):45-45.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  16
    The Porphyrian Tree and Multiple Inheritance. A Rejoinder to Tylman on Computer Science and Philosophy.Lorenz6 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  
  24.  23
    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  
  25.  20
    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  
  26.  10
    De dynamische wending in de epistemische logica [The Dynamic Turn in Epistemic Logic].Lorenz Demey - 2016 - Tijdschrift Voor Filosofie 78 (2):365-391.
    This article describes the historical development of epistemic logic, focusing on the dynamic turn that has taken place in the last few decades. Although this dynamic turn was mainly motivated by technical considerations in computer science and game theory, it is argued that it can also be relevant from a more philosophical perspective: the application of dynamic epistemic logics to analyze prima facie static notions, theorems, etc. fits perfectly in a Wittgensteinian approach to philosophy as conceptual elucidation. Furthermore, it turns (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27.  16
    Sanford Goldberg, Relying on Others. An Essay in Epistemology. Oxford, Oxford University Press, 2010.Lorenz Demey - 2012 - Tijdschrift Voor Filosofie 74 (1):160-163.
  28.  20
    Vincent F. Hendricks and Olivier Roy (Eds.), Epistemic Logic: 5 Questions. Sl, Automatic Press/VIP, 2010. Vincent F. Hendricks and Duncan Pritchard (Eds.), Epistemology: 5 Questions. Sl, Automatic Press/VIP, 2008 (Joint Review). [REVIEW]Lorenz Demey - 2011 - Tijdschrift Voor Filosofie 73 (3):596-598.
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  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  
  30.  15
    Charles Travis, Occasion-Sensitivity. Selected Essays. Oxford, Oxford University Press, 2008.Lorenz Demey - 2009 - Tijdschrift Voor Filosofie 71 (3):633-635.
  31. 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  
  32.  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.
  33.  14
    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  
  34.  13
    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  
  35.  14
    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  
  36.  14
    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  
  37.  11
    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  
  38.  12
    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  
  39.  9
    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  
  40.  9
    Frank Jackson, Language, Names, and Information. Cambridge (MA), Wiley-Blackwell, 2010.Lorenz Demey - 2011 - Tijdschrift Voor Filosofie 73 (3):594-596.
  41. 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  
  42. Future Directions for Logic: Proceedings of PhDs in Logic II.Jonas De Vuyst & Lorenz Demey (eds.) - 2012 - College Publications.
    No categories
     
    Export citation  
     
    Bookmark  
  43. Interactively Illustrating the Context-Sensitivity of Aristotelian Diagrams.Lorenz 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  
  44. Logical and Geometrical Distance in Polyhedral Aristotelian Diagrams in Knowledge Representation.Lorenz Demey & Hans 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  
  45. Logic and Probabilistic Update.Lorenz Demey & Barteld Kooi - 2014 - Johan van Benthem on Logic and Information Dynamics 5:381 - 404.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46. The Dynamics of Surprise.Lorenz Demey - 2015 - Logique Et Analyse 58 (230):251 - 277.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47. The Unreasonable Effectiveness of Bitstrings in Logical Geometry.Hans Smessaert & Lorenz 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