Changes

Sometimes two theories have exactly the same explanatory [[power]] because they make the same predictions. A pair of such theories is called indistinguishable, and the [[choice]] between them reduces to convenience or philosophical preference.

Sometimes two theories have exactly the same explanatory [[power]] because they make the same predictions. A pair of such theories is called indistinguishable, and the [[choice]] between them reduces to convenience or philosophical preference.

The form of theories is studied [[formal]]ly in [[mathematical]] [[logic]], especially in [[model]] theory. When theories are studied in mathematics, they are usually expressed in some formal language and their statements are closed under application of certain procedures called rules of [[inference]]. A special case of this, an [[axiomatic]] theory, consists of axioms (or axiom schemata) and rules of inference. A theorem is a statement that can be derived from those axioms by application of these rules of inference. Theories used in applications are abstractions of observed phenomena and the resulting theorems provide solutions to real-world problems. Obvious examples include [[arithmetic]] (abstracting concepts of [[number]]), [[geometry]] (concepts of [[space]]), and [[probability]] (concepts of [[random]]ness and likelihood).[http://en.wikipedia.org/wiki/Theory]

The form of theories is studied [[formal]]ly in [[mathematical]] [[logic]], especially in [[model]] theory. When theories are studied in mathematics, they are usually expressed in some formal language and their statements are closed under application of certain procedures called rules of [[inference]]. A special case of this, an [[axiomatic]] theory, consists of axioms (or axiom schemata) and rules of inference. A theorem is a statement that can be derived from those axioms by application of these rules of inference. Theories used in applications are abstractions of observed phenomena and the resulting theorems provide solutions to real-world problems. Obvious examples include [[arithmetic]] (abstracting concepts of [[number]]), [[geometry]] (concepts of [[space]]), and [[probability]] (concepts of [[random]]ness and likelihood).[https://en.wikipedia.org/wiki/Theory]

==See also==

==See also==

*[[Contemplation]]

*[[Contemplation]]

==Notes==

==Notes==

# Frisk; derivation from θεός was suggested by Koller Glotta 36, 273ff.

# Frisk; derivation from θεός was suggested by Koller Glotta 36, 273ff.

# Harper, Douglas. "theory". Online Etymology Dictionary. http://www.etymonline.com/index.php?term=theory. Retrieved 2008-07-18.  

# Harper, Douglas. "theory". Online Etymology Dictionary. https://www.etymonline.com/index.php?term=theory. Retrieved 2008-07-18.  

# Curry, Haskell, Foundations of Mathematical Logic

# Curry, Haskell, Foundations of Mathematical Logic

# Merriam-Webster.com Merriam-Webster Dictionary: Theory in Science

# Merriam-Webster.com Merriam-Webster Dictionary: Theory in Science