Live briefing
Everything about Syntax (logic)
Rules used for constructing, or transforming the symbols and words of a language
In logic, syntax is an arrangement of well-structured entities in the formal languages or formal systems that express something. Syntax is concerned with the rules used for constructing or transforming the symbols and words of a language, as contrasted with the semantics of a language, which is concerned with its meaning. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Syntax (logic)A 5-minute orientation
- Skim a recent paper: Space Syntax with Logic Programming: An Application to a Modern EstateInfluential work since 2022
- Pick up a classic book: The logical syntax of languageThe most-reprinted book on the subject
- Read the landmark paper: Writing Arden Syntax medical logic modulesCited 92 times
- Go sideways: Formal systemA closely related topic
- Go sideways: MetalogicA closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
Writing Arden Syntax medical logic modules
Vehicle Trajectory Prediction Using Generative Adversarial Network With Temporal Logic Syntax Tree Features
The arden syntax for medical logic modules
Mathematical Logic in the Human Brain: Syntax
Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax
Integrating space syntax with field observations to understand the spatial logic of park infrastructure
Syntax and semantics of multi-adjoint normal logic programming
A Visual Syntax for Logic and Logic Programming
🆕 Influential since 2022
Space Syntax with Logic Programming: An Application to a Modern Estate
THE HISTORICAL SYNTAX OF PHILOSOPHICAL LOGIC
The Architecture of Logic: Diagrammatic Reasoning and Spatial Syntax in Lewis Carroll’s The Game of Logic
Vernacular housing and spatial logic: a space syntax analysis in Évora
Precise integration of attack path and syntax logic analysis for vulnerability severity assessment
📚 Books worth reading
The logical syntax of languageRudolf Carnap · 1937
Introducing MultimodalityCarey Jewitt, Jeff Bezemer · 2016
Pragmatics of conditional markingScott A. Schwenter · 1998- 📕German temporal semanticsJohn A. Nerbonne · 1983
- 📕Prominence and Locality in GrammarJianhua Hu · 2019
Logische Syntax der SpracheRudolf Carnap · 1934
Logical syntax of languageRudolf Carnap · 1959- 📕Toward Logical FormLisa A. Reed · 2014
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Formal system A formal system (or deductive system) is an abstract structure and formalization of an axiomatic system used for deducing, using rules of inference, theorems…
- Metalogic Metalogic is the metatheory of logic. Whereas logic studies how logical systems can be used to construct valid and sound arguments, metalogic studies the…
- Formal proof In logic and mathematics, a formal proof or derivation is a finite sequence of sentences (known as well-formed formulas when relating to formal language)…
- Formation rule In mathematical logic, formation rules are rules for describing well-formed words over the alphabet of a formal language. These rules only address the…
- First-order logic In mathematics, philosophy, linguistics, and computer science, first-order logic (FOL), also called predicate logic, predicate calculus, or quantificational…
- Formal language In logic, mathematics, computer science, and linguistics, a formal language is a set of strings whose symbols are taken from a set called "alphabet". The…
- Outline of logic Logic is the formal science of using reason and is considered a branch of both philosophy and mathematics and to a lesser extent computer science. Logic…
- Theory (mathematical logic) In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. In most scenarios a deductive system is first…