Type Theory
A mathematical logic and computer science framework using types to classify expressions…
Revision Theory of Truth
A non-classical theory of truth that allows for the revision of truth…
Relevance Logic
Relevance logic is a non-classical logic designed to ensure premises are relevant…
Ramified Theory of Types
An extension of the simple theory of types, the ramified theory introduces…
The Liar Paradox
The liar paradox is a self-referential statement that asserts its own falsity.…
Dialethic Logic: Embracing True Contradictions
Dialethic logic, a philosophical approach, challenges the traditional law of non-contradiction by…
Buridan’s Sophismata
A collection of paradoxes and logical exercises attributed to Jean Buridan, challenging…
Time Travel: Exploring the Science and Fiction
Discover the concept of time travel, the theoretical ability to journey to…