All Topics  
Syntax (logic)

 

 
   Email Print
   Bookmark   Link
 

 

Syntax (logic)
 
 
  Topics Syntax (logic) Topic Home

In logic
Logic

Logic is the study of the principles of valid demonstration and inference. Logic is a branch of philosophy, a part of the classical Trivium . The word derives from Greek language ?????? , fem....
, syntax comprises the rules governing the composition of texts in a formal language
Formal language

A formal language is a set of words, i.e. finite string of letters, or symbols. The inventory from which these letters are taken is called the alphabet over which the language is defined....
 that constitute the properly formed formula
Well-formed formula

In computer science and mathematical logic, a well-formed formula or simply formula is a symbol or string of symbols that is generated by the formal grammar of a formal language....
s (WFFs) of a logical system. In providing an interpretation
Interpretation (logic)

In logic an interpretation gives meaning to an artificial or formal language or to a Sentence of such a language by assigning a denotation to each non-logical symbol in that language or in that sentence....
, it does not make sense to assign a meaning to texts that are not well-formed formulas.

In computer science
Computer science

Computer science is the study of the theoretical foundations of information and computation, and of practical techniques for their implementation and application in computer systems....
, the term syntax
Syntax of programming languages

In computer science, the syntax of a programming language is the set of rules that define the combinations of symbols that are considered to be syntactically correct computer programs in that language....
 refers to the rules governing the composition of meaningful texts in a formal language, such as a programming language
Programming language

A programming language is a machine-readable artificial language designed to express computations that can be performed by a machine, particularly a computer....
, that is, those texts for which it makes sense to define the semantics
Semantics

Semantics is the study of meaning in communication. The word is derived from the Greek language word s??a?t???? , "significant", from s??a??? , "to signify, to indicate" and that from s??a , "sign, mark, token"....
 or meaning, or otherwise provide an interpretation.








Discussion
Ask a question about 'Syntax (logic)'
Start a new discussion about 'Syntax (logic)'
Answer questions from other users
Full Discussion Forum



Encyclopedia


In logic
Logic

Logic is the study of the principles of valid demonstration and inference. Logic is a branch of philosophy, a part of the classical Trivium . The word derives from Greek language ?????? , fem....
, syntax comprises the rules governing the composition of texts in a formal language
Formal language

A formal language is a set of words, i.e. finite string of letters, or symbols. The inventory from which these letters are taken is called the alphabet over which the language is defined....
 that constitute the properly formed formula
Well-formed formula

In computer science and mathematical logic, a well-formed formula or simply formula is a symbol or string of symbols that is generated by the formal grammar of a formal language....
s (WFFs) of a logical system. In providing an interpretation
Interpretation (logic)

In logic an interpretation gives meaning to an artificial or formal language or to a Sentence of such a language by assigning a denotation to each non-logical symbol in that language or in that sentence....
, it does not make sense to assign a meaning to texts that are not well-formed formulas.

In computer science
Computer science

Computer science is the study of the theoretical foundations of information and computation, and of practical techniques for their implementation and application in computer systems....
, the term syntax
Syntax of programming languages

In computer science, the syntax of a programming language is the set of rules that define the combinations of symbols that are considered to be syntactically correct computer programs in that language....
 refers to the rules governing the composition of meaningful texts in a formal language, such as a programming language
Programming language

A programming language is a machine-readable artificial language designed to express computations that can be performed by a machine, particularly a computer....
, that is, those texts for which it makes sense to define the semantics
Semantics

Semantics is the study of meaning in communication. The word is derived from the Greek language word s??a?t???? , "significant", from s??a??? , "to signify, to indicate" and that from s??a , "sign, mark, token"....
 or meaning, or otherwise provide an interpretation.

See also


  • Formal grammar
    Formal grammar

    In formal language theory, grammars, also called formal grammars or generative grammars, are a formalism used to describe formal languages – i.e....
  • Syntactic consequence
  • Syntax (linguistics)
    Syntax

    In linguistics, syntax is the study of the principles and rules for constructing Sentence s in natural languages. In addition to referring to the discipline, the term syntax is also used to refer directly to the rules and principles that govern the sentence structure of any individual language, as in "the Irish syntax"....
  • Mathematical logic
    Mathematical logic

    Mathematical logic is a subfield of mathematics and logic with close connections to computer science and philosophical logic. The field includes the mathematical study of logic and the applications of formal logic to other areas of mathematics....