Tag: paradoxes

Type Theory

A mathematical logic and computer science framework using types to classify expressions…

Bossmind

Revision Theory of Truth

A non-classical theory of truth that allows for the revision of truth…

Bossmind

Relevance Logic

Relevance logic is a non-classical logic designed to ensure premises are relevant…

Bossmind

Ramified Theory of Types

An extension of the simple theory of types, the ramified theory introduces…

Bossmind

New Foundations

Quine's New Foundations is a set theory designed to bypass paradoxes of…

Bossmind

The Liar Paradox

The liar paradox is a self-referential statement that asserts its own falsity.…

Bossmind

Dialethic Logic: Embracing True Contradictions

Dialethic logic, a philosophical approach, challenges the traditional law of non-contradiction by…

Bossmind

Buridan’s Sophismata

A collection of paradoxes and logical exercises attributed to Jean Buridan, challenging…

Bossmind

Time Travel: Exploring the Science and Fiction

Discover the concept of time travel, the theoretical ability to journey to…

Bossmind