Concept

Formal language

Overview

set of strings of symbols that may be constrained by rules that are specific to it; words whose letters are taken from an alphabet and are well-formed according to a specific set of rules

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Philosophers who discussed Formal language

• Edmund Husserl
• Henryk Hiż

Related ideas

• Automata theory
• First-order logic
• Gottfried Wilhelm Leibniz
• Computability theory
• Truth value
• Formalism (philosophy of mathematics)
• Foundations of mathematics
• Formal grammar
• Proof theory
• Mathematics
• Axiomatic system
• Mathematical logic
• Model theory
• Natural language
• Natural number
• Noam Chomsky
• Linguistics
• Intersection (set theory)
• Symbol (formal)
• Rule of inference
• Set (mathematics)
• Syntax
• Subset
• Semantics

Place in the tradition

Part of First-order logic.

Explore Formal language in the interactive graph →