Search
Search Results
-
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...
-
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...
-
Testing a Formally Verified Compiler
We report on how we combine tests and formal proofs while develo** extensions to the CompCert formally verified compiler. -
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... -
Combinatorial Bitstring Semantics for Arbitrary Logical Fragments
Logical geometry systematically studies Aristotelian diagrams, such as the classical square of oppositions and its extensions. These investigations...
-
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...
-
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... -
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... -
The Square of Opposition: A Cornerstone of Thought
We first describe how after having started in Montreux, Switzerland in 2007, the congress on the square of opposition moved to the American... -
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...
-
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.... -
ON EXPLICATING THE CONCEPT THE POWER OF AN ARITHMETICAL THEORY
In this paper I discuss possible ways of measuring the power of arithmetical theories, and the possiblity of making an explication in Carnap’s sense...
-
Applications of Polytypism in Theorem Proving
Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include...