## You are here

Homelogic

## Primary tabs

# logic

Generally, by logic, people mean first order logic, a formal set of rules for building mathematical statements out of symbols like $\neg$ (negation) and $\rightarrow$ (implication) along with quantifiers like $\forall$ (for every) and $\exists$ (there exists).

More generally, a *logic* is any set of rules for forming sentences (the logic’s *syntax*) together with rules for assigning truth values to them (the logic’s *semantics*). Normally it includes a (possibly empty) set of *types* $T$ (also called *sorts*), which represent the different kinds of objects that the theory discusses (typical examples might be sets, numbers, or sets of numbers). In addition it specifies particular quantifiers, connectives, and variables. Particular theories in the logic can then add relations and functions to fully specify a logical language.

## Mathematics Subject Classification

03B15*no label found*03B10

*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff
- Corrections

## Comments

## Model theoretic logic view

In model theoretic logic one very often speaks of a logic as a tuple <L,M,|=,D> where L is a language, M is a class of models, |= \subseteq MxL is the truth-in-model relation and D is a deductive system. Also the notion of a full logic and the related concepts from model theoretic logics could be introduced here.