A soft and lightweight tee featuring the formal symbolism for the law of excluded middle in propositional logic.
The formula reads as "P or not-P". It is a foundational axiom in classical logic th...
A soft and lightweight tee featuring the formal symbolism for the law of non-contradiction in propositional logic. The formula reads as "not both P and not-P". It is a foundational axiom in classi...
In this play on symbolic logic, the universal quantifier is used with a heart as a predicate symbol, saying "for every x, love x", or, "love everyone". Together with the rainbow imagery, this can b...
In this play on symbolic logic, the universal quantifier is used with a heart as a predicate symbol, saying "for every x, love x", or, "love everyone". Together with the rainbow imagery, this can b...
A soft and lightweight T-shirt featuring a transgender variant of our "Love Everyone" design.
This design uses the universal quantifier symbol (∀) and employs a pride heart design as a predicate sy...
A soft and lightweight T-shirt featuring an allyship variant of our "Love Everyone" design. This design uses the universal quantifier symbol (∀) and employs a pride heart design as a predicate sym...
A soft and lightweight T-shirt featuring a version of our "Love Everyone" design. This design uses the universal quantifier symbol (∀) and employs a pride heart design with the ubiquitous rainbow ...
It's a phrase that is usually used in ways that make philosophers cringe. This silly shirt about the logical fallacy known as 'begging the question' is sure to get a reaction from those who know th...
The raven paradox notes that, at least formally, if seeing a black raven is evidence for the claim "all ravens are black", then so is any observation of anything that is neither black nor a raven. ...
In this play on symbolic logic, the universal quantifier is used with a heart as a predicate symbol, saying "for every x, love x", or, "love everyone".
Together with the rainbow imagery, this can b...
This is a little bit of teasing for those excited about logical pluralism and its applications. Paraconsistent logics are those that deny the classical law of non-contradiction, where 'P' and 'not ...
The raven paradox notes that, at least formally, if seeing a black raven is evidence for the claim "all ravens are black", then so is any observation of anything that is neither black nor a raven. ...