Causal Modal Logic
Causal modal logic extends standard modal logic with modalities for necessity, possibility,…
Category Theory: A Foundation for Mathematical Structures
A category is a fundamental structure in mathematics and logic, comprising objects…
Categorical Syllogism
A categorical syllogism is a deductive reasoning form in Aristotelian logic. It…
Carnap-Ramsey Sentence
A Carnap-Ramsey sentence, from logical positivism, isolates a theory's empirical content by…
Buridan’s Sophismata
A collection of paradoxes and logical exercises attributed to Jean Buridan, challenging…
Brouwerian Modal Logic
A modal logic inspired by L.E.J. Brouwer's intuitionism. It grounds possibility in…