Non-logical symbol

Non-logical symbol

In logic, the formal languages used to create expressions consist of symbols which can be broadly divided into constants and variables. The constants of a language can further be divided into logical symbols and non-logical symbols (sometimes also called logical and non-logical constants).

The non-logical symbols of a language of first-order logic consist of predicates and individual constants. These include symbols which, in an interpretation, may stand for individual constants, variables, functions, or predicates. A language of first-order logic is a formal language over the alphabet consisting of its non-logical symbols and its logical symbols. The latter include logical connectives, quantifiers, and variables that stand for statements.

A non-logical symbol only has meaning or semantic content when one is assigned to it by means of an interpretation. Consequently, a sentence containing a non-logical symbol lacks meaning except under an interpretation, so a sentence is said to be true or false under an interpretation. Main article: first order logic especially Syntax of first-order logic

The logical constants, by contrast, have the same meaning in all interpretations. They include the symbols for truth-functional connectives (such as and, or, not, implies, and logical equivalence) and the symbols for the quantifiers "for all" and "there exists".

The equality symbol is sometimes treated as a non-logical symbol and sometimes treated as a symbol of logic. If it is treated as a logical symbol, then any interpretation will be required to interpret the equality sign using true equality; if interpreted as a nonlogical symbol, it may be interpreted by an arbitrary equivalence relation.

Contents

Signatures

A signature is a set of non-logical constants together with additional information identifying each symbol as either a constant symbol, or a function symbol of a specific arity n (a natural number), or a relation symbol of a specific arity. The additional information controls how the non-logical symbols can be used to form terms and formulas. For instance if f is a binary function symbol and c is a constant symbol, then f(xc) is a term, but c(xf) is not a term. Relation symbols cannot be used in terms, but they can be used to combine one or more (depending on the arity) terms into an atomic formula.

For example a signature could consist of a binary function symbol +, a constant symbol 0, and a binary relation symbol <.

Models

Structures over a signature, also known as models, provide formal semantics to a signature and the first-order language over it.

A structure over a signature consists of a set D, known as the domain of discourse, together with interpretations of the non-logical symbols: Every constant symbol is interpreted by an element of D, and the interpretation of an n-ary function symbol is an n-ary function on D, i.e. a function Dn → D from the n-fold cartesian product of the domain to the domain itself. Every n-ary relation symbol is interpreted by an n-ary relation on the domain, i.e. by a subset of Dn.

An example of a structure over the signature mentioned above is the ordered group of integers. Its domain is the set {\mathbb Z} = {…, –2, –1, 0, 1, 2, …} of integers. The binary function symbol + is interpreted by addition, the constant symbol 0 by the additive identity, and the binary relation symbol < by the relation less than.

Informal semantics

Outside a mathematical context, it is often more appropriate to work with more informal interpretations.

Descriptive signs

Rudolf Carnap introduced a terminology distinguishing between logical and non-logical symbols (which he called descriptive signs) of a formal system under a certain type of interpretation, defined by what they describe in the world.

A descriptive sign is defined as any symbol of a formal language which designates things or processes in the world, or properties or relations of things. This is in contrast to logical signs which do not designate any thing in the world of objects. The use of logical signs is determined by the logical rules of the language, whereas meaning is arbitrarily attached to descriptive signs when they are applied to a given domain of individuals.[1]

External links

See also

References

  1. ^ Carnap, Rudolf, Introduction to Symbolic Logic and its Applications.
  • Hinman, P. (2005), Fundamentals of Mathematical Logic, A K Peters, ISBN 978-1-56881-262-5 

Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Logical constant — In symbolic logic, a logical constant of a language L is a symbol that has the same semantic value in all models of (the expressions of) L . Two important types of logical constants are logical connectives and quantifiers. The equality predicate… …   Wikipedia

  • Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… …   Wikipedia

  • Logical positivism — (also known as logical empiricism, scientific philosophy, and neo positivism) is a philosophy that combines empiricism the idea that observational evidence is indispensable for knowledge with a version of rationalism incorporating mathematical… …   Wikipedia

  • Logical truth — is one of the most fundamental concepts in logic, and there are different theories on its nature. A logical truth is a statement which is true and remains true under all reinterpretations of its components other than its logical constants. It is… …   Wikipedia

  • Non-classical logic — Non classical logics (and sometimes alternative logics) is the name given to formal systems which differ in a significant way from standard logical systems such as propositional and predicate logic. There are several ways in which this is done,… …   Wikipedia

  • Non-monotonic logic — A non monotonic logic is a formal logic whose consequence relation is not monotonic. Most studied formal logics have a monotonic consequence relation, meaning that adding a formula to a theory never produces a reduction of its set of consequences …   Wikipedia

  • Logical consequence — Therefore redirects here. For the symbol, see therefore sign. Logical consequence is a fundamental concept in logic. It is the relation that holds between a set of sentences (or propositions) and a sentence (proposition) when the former entails… …   Wikipedia

  • Non-standard model — See also Interpretation (logic) In model theory, a discipline within mathematical logic, a non standard model is a model of a theory that is not isomorphic to the intended model (or standard model). If the intended model is infinite and the… …   Wikipedia

  • Non-cognitivism — This article is about the meta ethical theory. For non cognitivism regarding religious language, see theological noncognitivism. Non cognitivism is the meta ethical view that ethical sentences do not express propositions and thus cannot be true… …   Wikipedia

  • Non-standard analysis — Abraham Robinson Gottfried Wilhelm Leibniz argued tha …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”