Concept
Symbol (formal)
Overview
basic element of strings in a formal language
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Related ideas
- Formal language
- First-order logic
- Type–token distinction
- Formal grammar
- Mathematics
- Noam Chomsky
- Predicate (logic)
- Theorem
- Nonsense
- Formal system
- Well-formed formula
- Logical constant
- Generative grammar
- George Lakoff
- Logic
- Syntax (logic)
- Richard Montague
- Concept
- Montague grammar
- Cognitive linguistics
- Stevan Harnad
Place in the tradition
Part of First-order logic.