Everybody

E421408

"Everybody" is a philosophical logic text by Raymond Smullyan that playfully explores concepts like self-reference, truth, and provability through puzzles and dialogues.

All labels observed (1)

Label Occurrences
Everybody canonical 1

How this entity was disambiguated

Statements (31)

Predicate Object
instanceOf book ⓘ
philosophical logic text ⓘ
author Raymond Smullyan ⓘ
countryOfOrigin United States ⓘ
exploresConcept consistency ⓘ
formal systems ⓘ
incompleteness ⓘ
liar paradox ⓘ
provability predicates ⓘ
self-referential sentences ⓘ
truth-tellers and liars ⓘ
genre logic puzzles ⓘ
philosophical logic ⓘ
hasCreator Raymond Smullyan ⓘ
hasSubject mathematical logic ⓘ
philosophy of logic ⓘ
provability ⓘ
self-reference ⓘ
truth ⓘ
hasTheme Gödelian ideas ⓘ
logical reasoning ⓘ
metalogic ⓘ
paradox ⓘ
intendedAudience general audience interested in philosophy ⓘ
readers interested in logic puzzles ⓘ
students of logic ⓘ
language English ⓘ
style accessible exposition of logic ⓘ
playful ⓘ
usesForm dialogues ⓘ
puzzles ⓘ

How these facts were elicited

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Logic → notableWork → Everybody ⓘ