Upper-convected time derivative: Difference between revisions
en>Michael Hardy No edit summary |
en>Arbitrarily0 m ce |
||
| Line 1: | Line 1: | ||
{{about|theories in a formal language, as studied in mathematical logic||Theory (disambiguation)}} | |||
In [[mathematical logic]], a '''theory''' (also called a '''formal theory''') is a set of [[sentence (mathematical logic)|sentence]]s in a [[formal language]]. Usually a [[deductive system]] is understood from context. An element <math>\phi\in T</math> of a theory <math>T</math> is then called an [[axiom]] of the theory, and any sentence that follows from the axioms (<math>T\vdash\phi</math>) is called a [[theorem]] of the theory. Every axiom is also a theorem. A '''first-order theory''' is a set of [[first-order logic|first-order]] sentences. | |||
== Theories expressed in formal language generally == | |||
When defining theories for foundational purposes, additional care must be taken and normal set-theoretic language may not be appropriate. | |||
The construction of a theory begins by specifying a definite non-empty ''conceptual class'' <math>\mathcal{E}</math>, the elements of which are called ''statements''. These initial statements are often called the ''primitive elements'' or ''elementary'' statements of the theory, to distinguish them from other statements which may be derived from them. | |||
A theory <math>\mathcal{T}</math> is a conceptual class consisting of certain of these elementary statements. The elementary statements which belong to <math>\mathcal{T}</math> are called the ''elementary theorems'' of <math>\mathcal{T}</math> and said to be ''true''. In this way, a theory is a way of designating a subset of <math>\mathcal{E}</math> which consists entirely of true statements. | |||
This general way of designating a theory stipulates that the truth of any of its elementary statements is not known without reference to <math>\mathcal{T}</math>. Thus the same elementary statement may be true with respect to one theory, and not true with respect to another. This is as in ordinary language, where statements such as "He is a terrible person." cannot be judged to be true or false without reference to some interpretation of who "He" is and for that matter what a "terrible person" is under this theory.<ref name="curry">Curry, Haskell, ''Foundations of Mathematical Logic''</ref> | |||
=== Subtheories and extensions === | |||
A theory ''S'' is a '''subtheory''' of a theory ''T'' if ''S'' is a subset of ''T''. If ''T'' is a subset of ''S'' then ''S'' is an '''extension''' or '''supertheory''' of ''T'' | |||
=== Deductive theories === | |||
A theory is said to be a ''deductive theory'' if <math>\mathcal{T}</math> is an [[inductive class]]. That is, that its content is based on some [[formal system|formal deductive system]] and that some of its elementary statements are taken as [[axioms]]. In a deductive theory, any sentence which is a [[logical consequence]] of one or more of the axioms is also a sentence of that theory.<ref name="curry"/> | |||
=== Consistency and completeness === | |||
{{main|Consistency|Completeness}} | |||
A '''syntactically consistent theory''' is a theory from which not every sentence in the underlying language can be proven (with respect to some [[deductive system]] which is usually clear from context). In a deductive system (such as first-order logic) that satisfies the [[principle of explosion]], this is equivalent to requiring that there is no sentence φ such that both φ and its negation can be proven from the theory. | |||
A '''satisfiable theory''' is a theory that has a [[Model (model theory)|model]]. This means there is a structure ''M'' that [[satisfiability|satisfies]] every sentence in the theory. Any satisfiable theory is syntactically consistent, because the structure satisfying the theory will satisfy exactly one of φ and the negation of φ, for each sentence φ. | |||
A '''consistent theory''' is sometimes defined to be a syntactically consistent theory, and sometimes defined to be a satisfiable theory. For [[first-order logic]], the most important case, it follows from the [[Gödel's completeness theorem|completeness theorem]] that the two meanings coincide. In other logics, such as [[second-order logic]], there are syntactically consistent theories that are not satisfiable, such as [[ω-inconsistent theories]]. | |||
A [[complete theory|complete consistent theory]] (or just a '''complete theory''') is a [[consistent]] theory ''T'' such that for every sentence φ in its language, either φ is provable from ''T'' or ''T'' <math>\cup</math> {φ} is inconsistent. For theories closed under logical consequence, this means that for every sentence φ, either φ or its negation is contained in the theory. An '''incomplete theory''' is a consistent theory that is not complete. | |||
See also '''[[ω-consistent theory]]''' for a stronger notion of consistency. | |||
=== Interpretation of a theory === | |||
{{Main|Interpretation (logic)}} | |||
An '''interpretation of a theory''' is the relationship between a theory and some contensive subject matter when there is a [[many-to-one]] correspondence between certain elementary statements of the theory, and certain contensive statements related to the subject matter. If every elementary statement in the theory has a contensive correspondent it is called a ''full interpretation'', otherwise it is called a ''partial interpretation''.<ref>Curry, Haskell, ''Foundations of Mathematical Logic'' p.48</ref> | |||
=== Theories associated with a structure === | |||
Each [[Structure (mathematical logic)|structure]] has several associated theories. The '''complete theory''' of a structure ''A'' is the set of all [[first-order logic|first-order]] [[sentence (mathematical logic)|sentence]]s over the [[Signature (logic)|signature]] of ''A'' which are satisfied by ''A''. It is denoted by Th(''A''). More generally, the '''theory''' of ''K'', a class of σ-structures, is the set of all first-order σ-sentences that are satisfied by all structures in ''K'', and is denoted by Th(''K''). Clearly Th(''A'') = Th({''A''}). These notions can also be defined with respect to other logics. | |||
For each σ-structure ''A'', there are several associated theories in a larger signature σ' that extends σ by adding one new constant symbol for each element of the domain of ''A''. (If the new constant symbols are identified with the elements of ''A'' which they represent, σ' can be taken to be σ <math>\cup</math> A.) The cardinality of σ' is thus the larger of the cardinality of σ and the cardinality of ''A''. | |||
The '''diagram''' of ''A'' consists of all atomic or negated atomic σ'-sentences that are satisfied by ''A'' and is denoted by diag<sub>''A''</sub>. The '''positive diagram''' of ''A'' is the set of all atomic σ'-sentences which ''A'' satisfies. It is denoted by diag<sup>+</sup><sub>''A''</sub>. The '''elementary diagram''' of ''A'' is the set eldiag<sub>''A''</sub> of ''all'' first-order σ'-sentences that are satisfied by ''A'' or, equivalently, the complete (first-order) theory of the natural [[expansion (model theory)|expansion]] of ''A'' to the signature σ'. | |||
== First-order theories == | |||
{{further2|[[List of first-order theories]]}} | |||
A first-order theory <math>\mathcal{QS}</math> is a set of sentences in a first-order [[formal language]] <math>\mathcal{Q}</math>. | |||
=== Derivation in a first order theory === | |||
{{Main|First order logic#Deductive systems}} | |||
There are many formal derivation ("proof") systems for first-order logic. | |||
=== Syntactic consequence in a first order theory === | |||
{{Main|First-order logic#Validity, satisfiability, and logical consequence}} | |||
A [[well-formed formula|formula]] ''A'' is a '''syntactic consequence''' of a first-order theory <math>\mathcal{QS}</math> if there is a [[formal proof|derivation]] of ''A'' using only formulas in <math>\mathcal{QS}</math> as non-logical axioms. Such a formula ''A'' is also called a theorem of <math>\mathcal{QS}</math>. The notation "<math> \mathcal{QS} \vdash A</math>" indicates ''A'' is a theorem of <math>\mathcal{QS}</math> | |||
=== Interpretation of a first order theory === | |||
{{Main|Structure (mathematical logic)}} | |||
An '''interpretation''' of a first-order theory provides a semantics for the formulas of the theory. An interpretation is said to satisfy a formula if the formula is true according to the interpretation. A '''model''' of a first order theory <math>\mathcal{QS}</math> is an interpretation in which every formula of <math>\mathcal{QS}</math> is satisfied. | |||
=== First order theories with identity === | |||
{{Main|First order logic#Equality and its axioms}} | |||
A first order theory <math>\mathcal{QS}</math> is a first-order theory with identity if <math>\mathcal{QS}</math> includes the identity relation symbol "=" and the reflexivity and substitution axiom schemes for this symbol. | |||
=== Topics related to first order theories === | |||
*[[Compactness theorem]] | |||
*[[Consistent set]] | |||
*[[Deduction theorem]] | |||
*[[Enumeration theorem]] | |||
*[[Lindenbaum's lemma]] | |||
*[[Löwenheim–Skolem theorem]] | |||
== Examples == | |||
One way to specify a theory is to define a set of [[axiom]]s in a particular language. The theory can be taken to include just those axioms, or their logical or provable consequences, as desired. Theories obtained this way include [[ZFC]] and [[Peano arithmetic]]. | |||
A second way to specify a theory is to begin with a [[structure (mathematical logic)|structure]] and then let the theory be the set of sentences that are satisfied by the structure. This is one method for producing complete theories, described below. Examples of theories of this sort include the sets of true sentences in the structures ('''N''', +, ×, 0, 1, =) and ('''R''', +, ×, 0, 1, =), where '''N''' is the set of natural numbers and '''R''' is the set of real numbers. The first of these, called the theory of [[true arithmetic]], cannot be written as the set of logical consequences of any [[enumerable]] set of axioms. | |||
The theory of ('''R''', +, ×, 0, 1, =) was shown by Tarski to be [[Decidability (logic)|decidable]]; it is the theory of [[real closed fields]]. | |||
== See also == | |||
* [[Axiomatic system]] | |||
* [[List of first-order theories]] | |||
== References == | |||
{{reflist}} | |||
* {{ cite book | last=Hodges | first=Wilfrid | authorlink=Wilfrid Hodges | publisher=[[Cambridge University Press]] | title=A shorter model theory | year=1997 | isbn=0-521-58713-1 }} | |||
{{logic}} | |||
[[Category:Model theory]] | |||
[[Category:Formal theories]] | |||
[[Category:Concepts]] | |||
[[Category:Syntax (logic)]] | |||
[[Category:Logical expressions]] | |||
[[fr:Théorie_axiomatique]] | |||
Latest revision as of 18:55, 16 August 2013
29 yr old Orthopaedic Surgeon Grippo from Saint-Paul, spends time with interests including model railways, top property developers in singapore developers in singapore and dolls. Finished a cruise ship experience that included passing by Runic Stones and Church. In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually a deductive system is understood from context. An element of a theory is then called an axiom of the theory, and any sentence that follows from the axioms () is called a theorem of the theory. Every axiom is also a theorem. A first-order theory is a set of first-order sentences.
Theories expressed in formal language generally
When defining theories for foundational purposes, additional care must be taken and normal set-theoretic language may not be appropriate.
The construction of a theory begins by specifying a definite non-empty conceptual class , the elements of which are called statements. These initial statements are often called the primitive elements or elementary statements of the theory, to distinguish them from other statements which may be derived from them.
A theory is a conceptual class consisting of certain of these elementary statements. The elementary statements which belong to are called the elementary theorems of and said to be true. In this way, a theory is a way of designating a subset of which consists entirely of true statements.
This general way of designating a theory stipulates that the truth of any of its elementary statements is not known without reference to . Thus the same elementary statement may be true with respect to one theory, and not true with respect to another. This is as in ordinary language, where statements such as "He is a terrible person." cannot be judged to be true or false without reference to some interpretation of who "He" is and for that matter what a "terrible person" is under this theory.[1]
Subtheories and extensions
A theory S is a subtheory of a theory T if S is a subset of T. If T is a subset of S then S is an extension or supertheory of T
Deductive theories
A theory is said to be a deductive theory if is an inductive class. That is, that its content is based on some formal deductive system and that some of its elementary statements are taken as axioms. In a deductive theory, any sentence which is a logical consequence of one or more of the axioms is also a sentence of that theory.[1]
Consistency and completeness
Mining Engineer (Excluding Oil ) Truman from Alma, loves to spend time knotting, largest property developers in singapore developers in singapore and stamp collecting. Recently had a family visit to Urnes Stave Church.
A syntactically consistent theory is a theory from which not every sentence in the underlying language can be proven (with respect to some deductive system which is usually clear from context). In a deductive system (such as first-order logic) that satisfies the principle of explosion, this is equivalent to requiring that there is no sentence φ such that both φ and its negation can be proven from the theory.
A satisfiable theory is a theory that has a model. This means there is a structure M that satisfies every sentence in the theory. Any satisfiable theory is syntactically consistent, because the structure satisfying the theory will satisfy exactly one of φ and the negation of φ, for each sentence φ.
A consistent theory is sometimes defined to be a syntactically consistent theory, and sometimes defined to be a satisfiable theory. For first-order logic, the most important case, it follows from the completeness theorem that the two meanings coincide. In other logics, such as second-order logic, there are syntactically consistent theories that are not satisfiable, such as ω-inconsistent theories.
A complete consistent theory (or just a complete theory) is a consistent theory T such that for every sentence φ in its language, either φ is provable from T or T {φ} is inconsistent. For theories closed under logical consequence, this means that for every sentence φ, either φ or its negation is contained in the theory. An incomplete theory is a consistent theory that is not complete.
See also ω-consistent theory for a stronger notion of consistency.
Interpretation of a theory
Mining Engineer (Excluding Oil ) Truman from Alma, loves to spend time knotting, largest property developers in singapore developers in singapore and stamp collecting. Recently had a family visit to Urnes Stave Church.
An interpretation of a theory is the relationship between a theory and some contensive subject matter when there is a many-to-one correspondence between certain elementary statements of the theory, and certain contensive statements related to the subject matter. If every elementary statement in the theory has a contensive correspondent it is called a full interpretation, otherwise it is called a partial interpretation.[2]
Theories associated with a structure
Each structure has several associated theories. The complete theory of a structure A is the set of all first-order sentences over the signature of A which are satisfied by A. It is denoted by Th(A). More generally, the theory of K, a class of σ-structures, is the set of all first-order σ-sentences that are satisfied by all structures in K, and is denoted by Th(K). Clearly Th(A) = Th({A}). These notions can also be defined with respect to other logics.
For each σ-structure A, there are several associated theories in a larger signature σ' that extends σ by adding one new constant symbol for each element of the domain of A. (If the new constant symbols are identified with the elements of A which they represent, σ' can be taken to be σ A.) The cardinality of σ' is thus the larger of the cardinality of σ and the cardinality of A.
The diagram of A consists of all atomic or negated atomic σ'-sentences that are satisfied by A and is denoted by diagA. The positive diagram of A is the set of all atomic σ'-sentences which A satisfies. It is denoted by diag+A. The elementary diagram of A is the set eldiagA of all first-order σ'-sentences that are satisfied by A or, equivalently, the complete (first-order) theory of the natural expansion of A to the signature σ'.
First-order theories
Template:Further2 A first-order theory is a set of sentences in a first-order formal language .
Derivation in a first order theory
Mining Engineer (Excluding Oil ) Truman from Alma, loves to spend time knotting, largest property developers in singapore developers in singapore and stamp collecting. Recently had a family visit to Urnes Stave Church.
There are many formal derivation ("proof") systems for first-order logic.
Syntactic consequence in a first order theory
Mining Engineer (Excluding Oil ) Truman from Alma, loves to spend time knotting, largest property developers in singapore developers in singapore and stamp collecting. Recently had a family visit to Urnes Stave Church.
A formula A is a syntactic consequence of a first-order theory if there is a derivation of A using only formulas in as non-logical axioms. Such a formula A is also called a theorem of . The notation "" indicates A is a theorem of
Interpretation of a first order theory
Mining Engineer (Excluding Oil ) Truman from Alma, loves to spend time knotting, largest property developers in singapore developers in singapore and stamp collecting. Recently had a family visit to Urnes Stave Church.
An interpretation of a first-order theory provides a semantics for the formulas of the theory. An interpretation is said to satisfy a formula if the formula is true according to the interpretation. A model of a first order theory is an interpretation in which every formula of is satisfied.
First order theories with identity
Mining Engineer (Excluding Oil ) Truman from Alma, loves to spend time knotting, largest property developers in singapore developers in singapore and stamp collecting. Recently had a family visit to Urnes Stave Church.
A first order theory is a first-order theory with identity if includes the identity relation symbol "=" and the reflexivity and substitution axiom schemes for this symbol.
- Compactness theorem
- Consistent set
- Deduction theorem
- Enumeration theorem
- Lindenbaum's lemma
- Löwenheim–Skolem theorem
Examples
One way to specify a theory is to define a set of axioms in a particular language. The theory can be taken to include just those axioms, or their logical or provable consequences, as desired. Theories obtained this way include ZFC and Peano arithmetic.
A second way to specify a theory is to begin with a structure and then let the theory be the set of sentences that are satisfied by the structure. This is one method for producing complete theories, described below. Examples of theories of this sort include the sets of true sentences in the structures (N, +, ×, 0, 1, =) and (R, +, ×, 0, 1, =), where N is the set of natural numbers and R is the set of real numbers. The first of these, called the theory of true arithmetic, cannot be written as the set of logical consequences of any enumerable set of axioms. The theory of (R, +, ×, 0, 1, =) was shown by Tarski to be decidable; it is the theory of real closed fields.
See also
References
43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.
- 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
My blog: http://www.primaboinca.com/view_profile.php?userid=5889534