We are improving our search experience. To check which content you have full access to, or for advanced search, go back to the old search.

Search

Please fill in this field.
Filters applied:
Philosophy

Search Results

Showing 1-9 of 9 results

  1. Logic-Sensitivity and Bitstring Semantics in the Square of Opposition

    This paper explores the interplay between logic-sensitivity and bitstring semantics in the square of opposition. Bitstring semantics is a...

    Lorenz Demey, Stef Frijters in Journal of Philosophical Logic
    Article 06 October 2023

  2. Aristotelian and Boolean Properties of the Keynes-Johnson Octagon of Opposition

    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...

    Lorenz Demey, Hans Smessaert in Journal of Philosophical Logic
    Article 24 June 2024

  3. Testing a Formally Verified Compiler

    We report on how we combine tests and formal proofs while develo** extensions to the CompCert formally verified compiler.
    David Monniaux, Léo Gourdin, ... Olivier Lebeltel in Tests and Proofs
    Conference paper 2023

  4. The Unreasonable Effectiveness of Bitstrings in Logical Geometry

    This paper presents a unified account of bitstrings—i.e. sequences of bits (0/1) that serve as compact semantic representations—for the analysis of...
    Hans Smessaert, Lorenz Demey in The Square of Opposition: A Cornerstone of Thought
    Chapter 2017

  5. Aristotelian Diagrams in the Debate on Future Contingents

    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...

    Lorenz Demey in Sophia
    Article 15 January 2018

  6. An Arithmetization of Logical Oppositions

    An arithmetic theory of oppositions is devised by comparing expressions, Boolean bitstrings, and integers. This leads to a set of correspondences...
    Fabien Schang in The Square of Opposition: A Cornerstone of Thought
    Chapter 2017

  7. Logic and Colour in Cognition, Logic and Philosophy

    Colour has been on the minds of philosophers, logicians and linguists for a very long time: its connection with logic; the relation between percepts...
    Dany Jaspers in How Colours Matter to Philosophy
    Chapter 2017

  8. Logical Geometries and Information in the Square of Oppositions

    The Aristotelian square of oppositions is a well-known diagram in logic and linguistics. In recent years, several extensions of the square have been...

    Hans Smessaert, Lorenz Demey in Journal of Logic, Language and Information
    Article 13 September 2014

  9. In the Beginning was Game Semantics?

    This chapter presents an overview of computability logic—the game-semantically constructed logic of interactive computational tasks and resources....
    Giorgi Japaridze in Games: Unifying Logic, Language, and Philosophy
    Chapter 2009
Did you find what you were looking for? Share feedback.