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 of America
surface form: 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