<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://en.formulasearchengine.com/w/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=117.214.0.0%2F16</id>
	<title>formulasearchengine - User contributions [en]</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/w/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=117.214.0.0%2F16"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/wiki/Special:Contributions/117.214.0.0/16"/>
	<updated>2026-08-07T13:23:18Z</updated>
	<subtitle>User contributions</subtitle>
	<generator>MediaWiki 1.47.0-wmf.7</generator>
	<entry>
		<id>https://en.formulasearchengine.com/w/index.php?title=P%E2%80%93n_diode&amp;diff=269547</id>
		<title>P–n diode</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/w/index.php?title=P%E2%80%93n_diode&amp;diff=269547"/>
		<updated>2015-01-08T07:09:40Z</updated>

		<summary type="html">&lt;p&gt;117.214.209.188: /* Forward bias */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&lt;br /&gt;
&lt;br /&gt;
To start with, It really is The TV - and additionally attempting to keep that will at heart, this may outstanding career with that.  Basically no smart attributes, no web simply tv using a good show. Each vary will fantastic, additionally the tones tend to be intense yet not exaggerated. The full 1080p can make viewing whats up-def site content a enjoyment and then for extra go with as being a top track, there can be no significant dawdle when online gaming (really without the need for the exact video&#039;s possess &amp;quot;action&amp;quot; place). I am a little bit of confused about where earphone jerk is in fact - there could be seriously the port option great mass (beside the further HDMI slot) but up above this item is created &amp;quot;program Just&amp;quot; when the connect some of the headphones through your the exclusively audio prepared can a rhythmical beeping. Having said that, looking into its range, some of the tv&#039;s individual audio speakers create a healthier audio. Largemouth bass is definitely pleasing and also high pitch is incredibly crispy, with the eliminate mids providing you keep your quantity under semi (easily done). the won&#039;t be able to understand some of the other evaluation on the &amp;quot;turn - regarding&amp;quot; matter since mine functioned okay on coming and also primary create. I have been using this situation your day present since each of them a tv and also laptop track.	  &amp;lt;br&amp;gt;&amp;lt;br&amp;gt;	Spectacular picture. Sounds very good. You will find theres person claimimg this situation TV doesn&#039;t have a the 120hz replenish charge. That is not genuine whatsoever. Precisely what she is reading regarding the back of poised alleges &amp;quot;air conditioning unit 100-240 v~50/60hz&amp;quot;.This situation relates to the capability consumption and has now absolutely nothing to would aided by the change charge. Perform a little study before whenever you compose a poor overview boasting bogus advertising, individual. The only thing that additionally, this particular tv is excellent. the commonly use my own aided by the Ps4 and and I also enjoyed. I&#039;d claim that if you are selecting your tv concerning gamimg and blue sun along with no frill at excellent final price finally this is certainly it. This situation looks attractive and. It is alot of a greyish coloring versus it seems within the picture. Some of the only fairly little problem You will find is always that the most important test will be able select up a tiny bit blaze wearing a bright area. It is not your obvious, but. Vivid hues, favorable blacks, no obvious games flip. I&#039;ll upgrade if you find the go into any kind of difficulty.	 &amp;lt;br&amp;gt;&amp;lt;br&amp;gt;	3.) The most important separated/sensor is in fact not great at every plus the community of pardon on the subject of that you really have to point the paint in generating this tool read is definitely laughable. The 1st Tv looked finally discriminating in addition to nothing but worked in inside 1-2 foot or so radius round the base kept regarding the Television (it did&#039;nt matter about how way I stood away it simply must be pointed as certain region.  The most important replacement 15 [http://www.youtube.com/watch?v=ONcdlD2exwQ lcd] tv ([http://www.youtube.com/watch?v=esPwgJhIhVA http://www.youtube.com/watch?v=esPwgJhIhVA]) programs a new more beneficial choice of regarding a 5-6&#039; spoke across the end kept regarding the Tv. I tried brand-new batteries, really infront or perhaps near to the detector, practically nothing served. Quite awful. I acquired the most important Qwerty Vizio rural as well as it been successful some superior to the finally change yet the computer keyboard exclusively works for some some factors and several of programs normally do not allow the exact keys insight so it is pointless, what type brings stay in order to the last obstacles.&lt;/div&gt;</summary>
		<author><name>117.214.209.188</name></author>
	</entry>
	<entry>
		<id>https://en.formulasearchengine.com/w/index.php?title=Schmitt_trigger&amp;diff=4420</id>
		<title>Schmitt trigger</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/w/index.php?title=Schmitt_trigger&amp;diff=4420"/>
		<updated>2014-01-26T11:47:04Z</updated>

		<summary type="html">&lt;p&gt;117.214.245.102: /* Fundamental idea */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;In [[mathematics]], there is an ample supply of [[duality of categories|categorical dualities]] between certain [[category theory|categories]] of [[topological space]]s and categories of [[partially ordered set]]s. Today, these dualities are usually collected under the label &#039;&#039;&#039;Stone duality&#039;&#039;&#039;, since they form a natural generalization of [[Stone&#039;s representation theorem for Boolean algebras]]. These concepts are named in honor of [[Marshall Stone]]. Stone-type dualities also provide the foundation for [[pointless topology]] and are exploited in [[theoretical computer science]] for the study of [[Semantics of programming languages|formal semantics]].&lt;br /&gt;
&lt;br /&gt;
This article gives pointers to special cases of Stone duality and explains a very general instance thereof in detail.&lt;br /&gt;
&lt;br /&gt;
==Overview of Stone-type dualities==&lt;br /&gt;
Probably the most general duality which is classically referred to as &amp;quot;Stone duality&amp;quot; is the duality between the category &#039;&#039;&#039;Sob&#039;&#039;&#039; of [[sober space]]s with [[continuous function]]s and the category &#039;&#039;&#039;SFrm&#039;&#039;&#039; of spatial [[complete Heyting algebra|frames]] with appropriate frame homomorphisms. The [[dual (category theory)|dual category]] of &#039;&#039;&#039;SFrm&#039;&#039;&#039; is the category of [[complete Heyting algebra|locales]] denoted by &#039;&#039;&#039;SLoc&#039;&#039;&#039;. The [[equivalence of categories|categorical equivalence]] of &#039;&#039;&#039;Sob&#039;&#039;&#039; and &#039;&#039;&#039;SLoc&#039;&#039;&#039; is the basis for the mathematical area of [[pointless topology]], that is devoted to the study of &#039;&#039;&#039;Loc&#039;&#039;&#039; – the category of all locales of which &#039;&#039;&#039;SLoc&#039;&#039;&#039; is a full subcategory. The involved constructions are characteristic for this kind of duality, and are detailed below.&lt;br /&gt;
&lt;br /&gt;
Now one can easily obtain a number of other dualities by restricting to certain special classes of sober spaces:&lt;br /&gt;
&lt;br /&gt;
* The category &#039;&#039;&#039;CohSp&#039;&#039;&#039; of [[coherent space|coherent]] sober spaces (and coherent maps) is equivalent to the category &#039;&#039;&#039;CohLoc&#039;&#039;&#039; of [[coherent locale|coherent (or spectral) locales]] (and coherent maps), on the assumption of the [[Boolean prime ideal theorem]] (in fact, this statement is equivalent to that assumption). The significance of this result stems from the fact that &#039;&#039;&#039;CohLoc&#039;&#039;&#039; in turn is dual to the category &#039;&#039;&#039;DLat&#039;&#039;&#039; of [[distributivity (order theory)|distributive]] [[lattice (order)|lattices]]. Hence, &#039;&#039;&#039;DLat&#039;&#039;&#039; is dual to &#039;&#039;&#039;CohSp&#039;&#039;&#039; – one obtains [[Stone&#039;s representation theorem for distributive lattices]].&lt;br /&gt;
&lt;br /&gt;
* When restricting further to coherent sober spaces which are [[Hausdorff space|Hausdorff]], one obtains the category &#039;&#039;&#039;Stone&#039;&#039;&#039; of so-called [[Stone space]]s. On the side of &#039;&#039;&#039;DLat&#039;&#039;&#039;, the restriction yields the subcategory &#039;&#039;&#039;Bool&#039;&#039;&#039; of [[Boolean algebra (structure)|Boolean algebras]]. Thus one obtains [[Stone&#039;s representation theorem for Boolean algebras]].&lt;br /&gt;
&lt;br /&gt;
* Stone&#039;s representation for distributive lattices can be extended via an equivalence of coherent spaces and [[Priestley space]]s (ordered topological spaces, that are [[compact space|compact]] and totally order-disconnected). One obtains a representation of distributive lattices via ordered topologies: [[Priestley&#039;s representation theorem for distributive lattice]]s.&lt;br /&gt;
&lt;br /&gt;
Many other Stone-type dualities could be added to these basic dualities.&lt;br /&gt;
&lt;br /&gt;
== Duality of sober spaces and spatial locales ==&lt;br /&gt;
This section motivates and explains one of the most basic constructions of Stone duality: the duality between topological spaces which are &#039;&#039;sober&#039;&#039; and frames (i.e. [[complete Heyting algebra]]s) which are &#039;&#039;spatial&#039;&#039;. This classical piece of mathematics requires a substantial amount of abstraction that usually tends to puzzle beginners. It should therefore be considered as graduate level mathematics. Some prior exposure to the basics of [[category theory]] is recommended, although a deep understanding of the concepts of adjunction and duality may well arise from examples such as the result below. Furthermore, concepts of [[topology]] and [[order theory]] are naturally involved as well, where the latter is probably more important for a thorough understanding.&lt;br /&gt;
&lt;br /&gt;
=== The lattice of open sets ===&lt;br /&gt;
The starting point for the theory is the fact that every topological space is characterized by a set of points &#039;&#039;X&#039;&#039; and a system &amp;amp;Omega;(&#039;&#039;X&#039;&#039;) of [[open set]]s of elements from &#039;&#039;X&#039;&#039;, i.e. a subset of the [[powerset]] of &#039;&#039;X&#039;&#039;. It is known that &amp;amp;Omega;(&#039;&#039;X&#039;&#039;) has certain special properties: it is a [[complete lattice]] within which [[supremum|suprema]] and finite [[infimum|infima]] are given by set unions and finite set intersections, respectively. Furthermore, it contains both &#039;&#039;X&#039;&#039; and the [[empty set]]. Since the [[order embedding|embedding]] of &amp;amp;Omega;(&#039;&#039;X&#039;&#039;) into the powerset lattice of &#039;&#039;X&#039;&#039; [[limit preserving (order theory)|preserves]] finite infima and arbitrary suprema, &amp;amp;Omega;(&#039;&#039;X&#039;&#039;) inherits the following distributivity law:&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;x \wedge \bigvee S = \bigvee \{\, x \wedge s : s \in S \,\}, &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
for every element (open set) &#039;&#039;x&#039;&#039; and every subset &#039;&#039;S&#039;&#039; of &amp;amp;Omega;(&#039;&#039;X&#039;&#039;). Hence &amp;amp;Omega;(&#039;&#039;X&#039;&#039;) is not an arbitrary complete lattice but a &#039;&#039;complete Heyting algebra&#039;&#039; (also called &#039;&#039;frame&#039;&#039; or &#039;&#039;locale&#039;&#039; – the various names are primarily used to distinguish several categories that have the same class of objects but different morphisms: frame morphisms, locale morphisms and homomorphisms of complete Heyting algebras). Now an obvious question is: To what extent is a topological space characterized by its locale of open sets?&lt;br /&gt;
&lt;br /&gt;
As already hinted at above, one can go even further. The category &#039;&#039;&#039;Top&#039;&#039;&#039; of topological spaces has as morphisms the continuous functions, where a function &#039;&#039;f&#039;&#039; is continuous if the [[inverse image]] &#039;&#039;f&#039;&#039;&amp;lt;sup&amp;gt; &amp;amp;minus;1&amp;lt;/sup&amp;gt;(&#039;&#039;O&#039;&#039;) of any open set in the [[codomain]] of &#039;&#039;f&#039;&#039; is open in the [[domain of a function|domain]] of &#039;&#039;f&#039;&#039;. Thus any continuous function &#039;&#039;f&#039;&#039; from a space &#039;&#039;X&#039;&#039; to a space &#039;&#039;Y&#039;&#039; defines an inverse mapping &#039;&#039;f&#039;&#039;&amp;lt;sup&amp;gt; &amp;amp;minus;1&amp;lt;/sup&amp;gt; from &amp;amp;Omega;(&#039;&#039;Y&#039;&#039;) to &amp;amp;Omega;(&#039;&#039;X&#039;&#039;). Furthermore, it is easy to check that &#039;&#039;f&#039;&#039;&amp;lt;sup&amp;gt; &amp;amp;minus;1&amp;lt;/sup&amp;gt; (like any inverse image map) preserves finite intersections and arbitrary unions and therefore is a &#039;&#039;morphism of frames&#039;&#039;. If we define &amp;amp;Omega;(&#039;&#039;f&#039;&#039;) = &#039;&#039;f&#039;&#039;&amp;lt;sup&amp;gt; &amp;amp;minus;1&amp;lt;/sup&amp;gt; then &amp;amp;Omega; becomes a [[contravariant functor]] from the category &#039;&#039;&#039;Top&#039;&#039;&#039; to the category &#039;&#039;&#039;Frm&#039;&#039;&#039; of frames and frame morphisms. Using the tools of category theory, the task of finding a characterization of topological spaces in terms of their open set lattices is equivalent to finding a functor from &#039;&#039;&#039;Frm&#039;&#039;&#039; to &#039;&#039;&#039;Top&#039;&#039;&#039; which is [[adjoint functors|adjoint]] to &amp;amp;Omega;.&lt;br /&gt;
&lt;br /&gt;
=== Points of a locale ===&lt;br /&gt;
The goal of this section is to define a functor pt from &#039;&#039;&#039;Frm&#039;&#039;&#039; to &#039;&#039;&#039;Top&#039;&#039;&#039; that in a certain sense &amp;quot;inverts&amp;quot; the operation of &amp;amp;Omega; by assigning to each locale &#039;&#039;L&#039;&#039; a set of points pt(&#039;&#039;L&#039;&#039;) (hence the notation pt) with a suitable topology. But how can we recover the set of points just from the locale, though it is not given as a lattice of sets? It is certain that one cannot expect in general that pt can reproduce all of the original elements of a topological space just from its lattice of open sets – for example all sets with the [[indiscrete topology]] yield (up to isomorphism) the same locale, such that the information on the specific set is no longer present. However, there is still a reasonable technique for obtaining &amp;quot;points&amp;quot; from a locale, which indeed gives an example of a central construction for Stone-type duality theorems.&lt;br /&gt;
&lt;br /&gt;
Let us first look at the points of a topological space &#039;&#039;X&#039;&#039;. One is usually tempted to consider a point of &#039;&#039;X&#039;&#039; as an element &#039;&#039;x&#039;&#039; of the set &#039;&#039;X&#039;&#039;, but there is in fact a more useful description for our current investigation. Any point &#039;&#039;x&#039;&#039; gives rise to a continuous function &#039;&#039;p&#039;&#039;&amp;lt;sub&amp;gt;&#039;&#039;x&#039;&#039;&amp;lt;/sub&amp;gt; from the one element topological space 1 (all subsets of which are open) to the space &#039;&#039;X&#039;&#039; by defining &#039;&#039;p&#039;&#039;&amp;lt;sub&amp;gt;&#039;&#039;x&#039;&#039;&amp;lt;/sub&amp;gt;(1) = &#039;&#039;x&#039;&#039;. Conversely, any function from 1 to &#039;&#039;X&#039;&#039; clearly determines one point: the element that it &amp;quot;points&amp;quot; to. Therefore the set of points of a topological space is equivalently characterized as the set of functions from 1 to &#039;&#039;X&#039;&#039;.&lt;br /&gt;
&lt;br /&gt;
When using the functor &amp;amp;Omega; to pass from &#039;&#039;&#039;Top&#039;&#039;&#039; to &#039;&#039;&#039;Frm&#039;&#039;&#039;, all set-theoretic elements of a space are lost, but – using a fundamental idea of category theory – one can as well work on the [[function space]]s. Indeed, any &amp;quot;point&amp;quot; &#039;&#039;p&#039;&#039;&amp;lt;sub&amp;gt;&#039;&#039;x&#039;&#039;&amp;lt;/sub&amp;gt;: 1 &amp;amp;rarr; &#039;&#039;X&#039;&#039; in &#039;&#039;&#039;Top&#039;&#039;&#039; is mapped to a morphism &amp;amp;Omega;(&#039;&#039;p&#039;&#039;&amp;lt;sub&amp;gt;&#039;&#039;x&#039;&#039;&amp;lt;/sub&amp;gt;): &amp;amp;Omega;(&#039;&#039;X&#039;&#039;) &amp;amp;rarr; &amp;amp;Omega;(1). The open set lattice of the one-element topological space &amp;amp;Omega;(1) is just (isomorphic to) the two-element locale 2 = { 0, 1 } with 0 &amp;lt; 1. After these observations it appears reasonable to define the set of points of a locale &#039;&#039;L&#039;&#039; to be the set of frame morphisms from &#039;&#039;L&#039;&#039; to 2. Yet, there is no guarantee that every point of the locale &amp;amp;Omega;(&#039;&#039;X&#039;&#039;) is in one-to-one correspondence to a point of the topological space &#039;&#039;X&#039;&#039; (consider again the indiscrete topology, for which the open set lattice has only one &amp;quot;point&amp;quot;).&lt;br /&gt;
&lt;br /&gt;
Before defining the required topology on pt(&#039;&#039;X&#039;&#039;), it is worthwhile to clarify the concept of a point of a locale further. The perspective motivated above suggests to consider a point of a locale &#039;&#039;L&#039;&#039; as a frame morphism &#039;&#039;p&#039;&#039; from &#039;&#039;L&#039;&#039; to 2. But these morphisms are characterized equivalently by the inverse images of the two elements of 2. From the properties of frame morphisms, one can derive that &#039;&#039;p&#039;&#039;&amp;lt;sup&amp;gt; &amp;amp;minus;1&amp;lt;/sup&amp;gt;(0) is a lower set (since &#039;&#039;p&#039;&#039; is [[monotone]]), which contains a greatest element &#039;&#039;a&#039;&#039;&amp;lt;sub&amp;gt;&#039;&#039;p&#039;&#039;&amp;lt;/sub&amp;gt; = V &#039;&#039;p&#039;&#039;&amp;lt;sup&amp;gt; &amp;amp;minus;1&amp;lt;/sup&amp;gt;(0) (since &#039;&#039;p&#039;&#039; preserves arbitrary suprema). In addition, the [[ideal (order theory)|principal ideal]] &#039;&#039;p&#039;&#039;&amp;lt;sup&amp;gt; &amp;amp;minus;1&amp;lt;/sup&amp;gt;(0) is a [[ideal (order theory)|prime ideal]] since &#039;&#039;p&#039;&#039; preserves finite infima and thus the principal &#039;&#039;a&#039;&#039;&amp;lt;sub&amp;gt;&#039;&#039;p&#039;&#039;&amp;lt;/sub&amp;gt; is a [[prime (order theroy)|meet-prime element]]. Now the set-inverse of &#039;&#039;p&#039;&#039;&amp;lt;sup&amp;gt; &amp;amp;minus;1&amp;lt;/sup&amp;gt;(0) given by &#039;&#039;p&#039;&#039;&amp;lt;sup&amp;gt; &amp;amp;minus;1&amp;lt;/sup&amp;gt;(1) is a [[filter (mathematics)|completely prime filter]] because &#039;&#039;p&#039;&#039;&amp;lt;sup&amp;gt; &amp;amp;minus;1&amp;lt;/sup&amp;gt;(0) is a principal prime ideal. It turns out that all of these descriptions uniquely determine the initial frame morphism. We sum up:&lt;br /&gt;
&lt;br /&gt;
A point of a locale &#039;&#039;L&#039;&#039; is equivalently described as:&lt;br /&gt;
* a frame morphism from &#039;&#039;L&#039;&#039; to 2&lt;br /&gt;
* a principal prime ideal of &#039;&#039;L&#039;&#039;&lt;br /&gt;
* a meet-prime element of &#039;&#039;L&#039;&#039;&lt;br /&gt;
* a completely prime filter of &#039;&#039;L&#039;&#039;.&lt;br /&gt;
&lt;br /&gt;
All of these descriptions have their place within the theory and it is convenient to switch between them as needed.&lt;br /&gt;
&lt;br /&gt;
=== The functor pt ===&lt;br /&gt;
Now that a set of points is available for any locale, it remains to equip this set with an appropriate topology in order to define the object part of the functor pt. This is done by defining the open sets of pt(&#039;&#039;L&#039;&#039;) as &lt;br /&gt;
&lt;br /&gt;
:&amp;amp;phi;(&#039;&#039;a&#039;&#039;) = { &#039;&#039;p&#039;&#039; &amp;amp;isin; pt(&#039;&#039;L&#039;&#039;) | &#039;&#039;p&#039;&#039;(&#039;&#039;a&#039;&#039;) = 1 },&lt;br /&gt;
&lt;br /&gt;
for every element &#039;&#039;a&#039;&#039; of &#039;&#039;L&#039;&#039;. Here we viewed the points of &#039;&#039;L&#039;&#039; as morphisms, but one can of course state a similar definition for all of the other equivalent characterizations. It can be shown that setting &amp;amp;Omega;(pt(&#039;&#039;L&#039;&#039;)) = {&amp;amp;phi;(&#039;&#039;a&#039;&#039;) | &#039;&#039;a&#039;&#039; &amp;amp;isin; &#039;&#039;L&#039;&#039;} does really yield a topological space (pt(&#039;&#039;L&#039;&#039;), &amp;amp;Omega;(pt(&#039;&#039;L&#039;&#039;))). It is common to abbreviate this space as pt(&#039;&#039;L&#039;&#039;).&lt;br /&gt;
&lt;br /&gt;
Finally pt can be defined on morphisms of &#039;&#039;&#039;Frm&#039;&#039;&#039; rather canonically by defining, for a frame morphism &#039;&#039;g&#039;&#039; from &#039;&#039;L&#039;&#039; to &#039;&#039;M&#039;&#039;, pt(&#039;&#039;g&#039;&#039;): pt(&#039;&#039;M&#039;&#039;) &amp;amp;rarr; pt(&#039;&#039;L&#039;&#039;) as pt(&#039;&#039;g&#039;&#039;)(&#039;&#039;p&#039;&#039;) = &#039;&#039;p&#039;&#039; o &#039;&#039;g&#039;&#039;. In words, we obtain a morphism from &#039;&#039;L&#039;&#039; to 2 (a point of &#039;&#039;L&#039;&#039;) by applying the morphism &#039;&#039;g&#039;&#039; to get from &#039;&#039;L&#039;&#039; to &#039;&#039;M&#039;&#039; before applying the morphism &#039;&#039;p&#039;&#039; that maps from &#039;&#039;M&#039;&#039; to 2. Again, this can be formalized using the other descriptions of points of a locale as well – for example just calculate (&#039;&#039;p&#039;&#039; o &#039;&#039;g&#039;&#039;)&amp;lt;sup&amp;gt; &amp;amp;minus;1&amp;lt;/sup&amp;gt;(0).&lt;br /&gt;
&lt;br /&gt;
=== The adjunction of Top and Loc===&lt;br /&gt;
As noted several times before, pt and &amp;amp;Omega; usually are not inverses. In general neither is &#039;&#039;X&#039;&#039; [[homeomorphism|homeomorphic]] to pt(&amp;amp;Omega;(&#039;&#039;X&#039;&#039;)) nor is &#039;&#039;L&#039;&#039; [[order isomorphism|order-isomorphic]] to &amp;amp;Omega;(pt(&#039;&#039;L&#039;&#039;)). However, when introducing the topology of pt(&#039;&#039;L&#039;&#039;) above, a mapping &amp;amp;phi; from &#039;&#039;L&#039;&#039; to &amp;amp;Omega;(pt(&#039;&#039;L&#039;&#039;)) was applied. This mapping is indeed a frame morphism. Conversely, we can define a continuous function &amp;amp;psi; from &#039;&#039;X&#039;&#039; to pt(&amp;amp;Omega;(&#039;&#039;X&#039;&#039;)) by setting &amp;amp;psi;(&#039;&#039;x&#039;&#039;) = &amp;amp;Omega;(&#039;&#039;p&#039;&#039;&amp;lt;sub&amp;gt;&#039;&#039;x&#039;&#039;&amp;lt;/sub&amp;gt;), where &#039;&#039;p&#039;&#039;&amp;lt;sub&amp;gt;&#039;&#039;x&#039;&#039;&amp;lt;/sub&amp;gt; is just the characteristic function for the point &#039;&#039;x&#039;&#039; from 1 to &#039;&#039;X&#039;&#039; as described above. Another convenient description is given by viewing points of a locale as meet-prime elements. In this case we have &amp;amp;psi;(&#039;&#039;x&#039;&#039;) = &#039;&#039;X&#039;&#039; \ Cl{&#039;&#039;x&#039;&#039;}, where Cl{&#039;&#039;x&#039;&#039;} denotes the topological closure of the set {&#039;&#039;x&#039;&#039;} and \ is just set-difference.&lt;br /&gt;
&lt;br /&gt;
At this point we already have more than enough data to obtain the desired result: the functors &amp;amp;Omega; and pt define an adjunction between the categories &#039;&#039;&#039;Top&#039;&#039;&#039; and &#039;&#039;&#039;Loc&#039;&#039;&#039; = &#039;&#039;&#039;Frm&#039;&#039;&#039;&amp;lt;sup&amp;gt;op&amp;lt;/sup&amp;gt;, where pt is right adjoint to &amp;amp;Omega; and the [[natural transformation]]s &amp;amp;psi; and &amp;amp;phi;&amp;lt;sup&amp;gt;op&amp;lt;/sup&amp;gt; provide the required unit and counit, respectively.&lt;br /&gt;
&lt;br /&gt;
=== The duality theorem ===&lt;br /&gt;
The above adjunction is not an equivalence of the categories &#039;&#039;&#039;Top&#039;&#039;&#039; and &#039;&#039;&#039;Loc&#039;&#039;&#039; (or, equivalently, a duality of &#039;&#039;&#039;Top&#039;&#039;&#039; and &#039;&#039;&#039;Frm&#039;&#039;&#039;). For this it is necessary that both &amp;amp;psi; and &amp;amp;phi; are isomorphisms in their respective categories.&lt;br /&gt;
&lt;br /&gt;
For a space &#039;&#039;X&#039;&#039;, &amp;amp;psi;: &#039;&#039;X&#039;&#039; &amp;amp;rarr; pt(&amp;amp;Omega;(&#039;&#039;X&#039;&#039;)) is a homeomorphism [[if and only if]] it is [[bijective]]. Using the characterization via meet-prime elements of the open set lattice, one sees that this is the case if and only if every meet-prime open set is of the form &#039;&#039;X&#039;&#039; \ Cl{&#039;&#039;x&#039;&#039;} for a unique &#039;&#039;x&#039;&#039;. Alternatively, every join-prime closed set is the closure of a unique point, where &amp;quot;join-prime&amp;quot; can be replaced by [[irreducible (order theory)|(join-) irreducible]] since we are in a distributive lattice. Spaces with this property are called &#039;&#039;&#039;sober&#039;&#039;&#039;.&lt;br /&gt;
&lt;br /&gt;
Conversely, for a locale &#039;&#039;L&#039;&#039;, &amp;amp;phi;: &#039;&#039;L&#039;&#039; &amp;amp;rarr; &amp;amp;Omega;(pt(&#039;&#039;L&#039;&#039;)) is always surjective. It is additionally injective if and only if any two elements &#039;&#039;a&#039;&#039; and &#039;&#039;b&#039;&#039; of &#039;&#039;L&#039;&#039; for which &#039;&#039;a&#039;&#039; is not less-or-equal to &#039;&#039;b&#039;&#039; can be separated by points of the locale, formally:&lt;br /&gt;
&lt;br /&gt;
: if not &#039;&#039;a&#039;&#039; &amp;amp;le; &#039;&#039;b&#039;&#039;, then there is a point &#039;&#039;p&#039;&#039; in pt(&#039;&#039;L&#039;&#039;) such that p(&#039;&#039;a&#039;&#039;) = 1 and p(&#039;&#039;b&#039;&#039;) = 0.&lt;br /&gt;
&lt;br /&gt;
If this condition is satisfied for all elements of the locale, then the locale is &#039;&#039;&#039;spatial&#039;&#039;&#039;, or said to have enough points. (See also [[well-pointed category]] for a similar condition in more general categories.)&lt;br /&gt;
&lt;br /&gt;
Finally, one can verify that for every space &#039;&#039;X&#039;&#039;, &amp;amp;Omega;(&#039;&#039;X&#039;&#039;) is spatial and for every locale &#039;&#039;L&#039;&#039;, pt(&#039;&#039;L&#039;&#039;) is sober. Hence, it follows that the above adjunction of &#039;&#039;&#039;Top&#039;&#039;&#039; and &#039;&#039;&#039;Loc&#039;&#039;&#039; restricts to an equivalence of the full subcategories &#039;&#039;&#039;Sob&#039;&#039;&#039; of sober spaces and &#039;&#039;&#039;SLoc&#039;&#039;&#039; of spatial locales. This main result is completed by the observation that for the functor pt o &amp;amp;Omega;, sending each space to the points of its open set lattice is right adjoint to the [[inclusion functor]] from &#039;&#039;&#039;Sob&#039;&#039;&#039; to &#039;&#039;&#039;Top&#039;&#039;&#039;. For a space &#039;&#039;X&#039;&#039;, pt(&amp;amp;Omega;(&#039;&#039;X&#039;&#039;)) is called its &#039;&#039;&#039;soberification&#039;&#039;&#039;. The case of the functor &amp;amp;Omega; o pt is symmetric but a special name for this operation is not commonly used.&lt;br /&gt;
&lt;br /&gt;
==References==&lt;br /&gt;
* Burris, Stanley N., and H.P. Sankappanavar, H. P., 1981. &#039;&#039;[http://www.thoralf.uwaterloo.ca/htdocs/ualg.html A Course in Universal Algebra.]&#039;&#039;  [[Springer-Verlag]]. ISBN 3-540-90578-2. (available free online at the website mentioned)&lt;br /&gt;
* P. T. Johnstone, &#039;&#039;Stone Spaces&#039;&#039;, Cambridge Studies in Advanced Mathematics 3, [[Cambridge University Press]], Cambridge, 1982. ISBN 0-521-23893-5.&lt;br /&gt;
* {{cite book | editor1-last=Pedicchio | editor1-first=Maria Cristina | editor2-last=Tholen | editor2-first=Walter | title=Categorical foundations. Special topics in order, topology, algebra, and sheaf theory | series=Encyclopedia of Mathematics and Its Applications | volume=97 | location=Cambridge | publisher=[[Cambridge University Press]] | year=2004 | isbn=0-521-83414-7 | zbl=1034.18001 }}&lt;br /&gt;
* {{cite book | last=Vickers | first=Steven | authorlink=Steve Vickers (computer scientist) | title=Topology via logic | series=Cambridge Tracts in Theoretical Computer Science | volume=5 | location=Cambridge | publisher=[[Cambridge University Press]] | year=1989 | isbn=0-521-36062-5 | zbl=0668.54001 }}&lt;br /&gt;
* [http://paultaylor.eu/ASD/ Abstract Stone Duality]&lt;br /&gt;
&lt;br /&gt;
[[Category:Topology]]&lt;br /&gt;
[[Category:Order theory]]&lt;br /&gt;
[[Category:Duality theories]]&lt;/div&gt;</summary>
		<author><name>117.214.245.102</name></author>
	</entry>
	<entry>
		<id>https://en.formulasearchengine.com/w/index.php?title=Data_stream&amp;diff=1515</id>
		<title>Data stream</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/w/index.php?title=Data_stream&amp;diff=1515"/>
		<updated>2014-01-25T18:39:15Z</updated>

		<summary type="html">&lt;p&gt;117.214.96.109: /* Formal definition */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{pp-protected|expiry=2014-02-27 15:46:56|small=yes}}{{About|the general notion of determinism in philosophy}}&lt;br /&gt;
{{Distinguish|Fatalism|Predeterminism|Predictability|Theological determinism}}&lt;br /&gt;
{{Certainty}}&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;Determinism&#039;&#039;&#039; is the philosophical position that for every event exist conditions that could cause no other event. &amp;quot;There are many determinisms, depending upon what pre-conditions are considered to be determinative of an event.&amp;quot;&amp;lt;ref name=Doyle&amp;gt;A list of a dozen varieties of determinism is provided in {{cite book |title=Free Will: The Scandal in Philosophy |author=Bob Doyle |pages=145–146 &#039;&#039;ff&#039;&#039; |isbn=0983580200 |year=2011 |publisher=I-Phi Press |url=http://books.google.com/books?id=SeA_gFfHMgoC&amp;amp;pg=PA145}}&amp;lt;/ref&amp;gt; Deterministic theories throughout the history of philosophy have sprung from diverse and sometimes overlapping motives and considerations. Some forms of determinism can be [[empirically]] tested with ideas from physics and its [[philosophy of physics|philosophy]].   Opposing determinism is some kind of [[indeterminism]] (otherwise called &#039;&#039;nondeterminism&#039;&#039;). Determinism is often contrasted with [[free will]].&amp;lt;ref name=Franklin&amp;gt;For example, see {{cite book |title=Freewill and determinism: a study of rival conceptions of man |author=Richard Langdon Franklin |year=1968 |publisher=Routledge &amp;amp; K. Paul |url=http://books.google.com/books?id=51wIAQAAIAAJ}}&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Determinism often is taken to mean &#039;&#039;causal determinism,&#039; which in physics is known as cause-and-effect. It is the concept that [[Event (philosophy)|event]]s within a given [[paradigm]] are so [[causality|causally]] bound that prior states of any object or event completely determine its later states. This meaning can be distinguished from other varieties of determinism mentioned below.&lt;br /&gt;
&lt;br /&gt;
Other debates often concern the scope of determined systems, with some maintaining that the entire universe is a single determinate system and others identifying other more limited determinate systems (or [[multiverse]]).  Numerous historical debates involve many philosophical positions and varieties of determinism, some concerning determinism and [[free will]], technically denoted as [[compatibilistic]] (allowing the two to coexist) and [[incompatibilistic]] (denying their coexistence is a possibility).&lt;br /&gt;
&lt;br /&gt;
Determinism should not be confused with [[Self-determination (philosophy)|self-determination]] of human actions by reasons, motives, and desires. Determinism rarely requires that perfect [[prediction]] be practically possible.&lt;br /&gt;
&lt;br /&gt;
==Varieties==&lt;br /&gt;
{{Expert-subject|Philosophy|date=July 2011}}&lt;br /&gt;
Below appear some of the more common viewpoints meant by, or confused with &amp;quot;determinism&amp;quot;.&lt;br /&gt;
&lt;br /&gt;
[[File:Willow path.jpg|thumb|right|140px|Many philosophical theories of determinism frame themselves with the idea that reality follows a sort of predetermined path]]&lt;br /&gt;
&lt;br /&gt;
* Causal determinism is &amp;quot;the idea that every event is necessitated by antecedent events and conditions together with the laws of nature&amp;quot;.&amp;lt;ref name=stanfordcausaldeterminism&amp;gt;{{cite encyclopedia|last=Hoefer |first=Carl | title=Causal Determinism | encyclopedia=The Stanford Encyclopedia of Philosophy (Winter 2009 edition) |date=Apr 1, 2008 |editor=Edward N. Zalta, ed |url=http://plato.stanford.edu/archives/win2009/entries/determinism-causal/}}&amp;lt;/ref&amp;gt; However, causal determinism is a broad enough term to consider that &amp;quot;one&#039;s deliberations, choices, and actions will often be necessary links in the causal chain that brings something about. In other words, even though our deliberations, choices, and actions are themselves determined like everything else, it is still the case, according to causal determinism, that the occurrence or existence of yet other things depends upon our deliberating, choosing and acting in a certain way&amp;quot;.&amp;lt;ref name=stanfordmoralresponsibility&amp;gt;{{cite encyclopedia|last=Eshleman |first=Andrew |editor=Edward N. Zalta, ed |title=Moral Responsibility | encyclopedia=The Stanford Encyclopedia of Philosophy| edition=Winter 2009 |date=Nov 18, 2009 | url=http://plato.stanford.edu/archives/win2012/entries/moral-responsibility/}}&amp;lt;/ref&amp;gt; Causal determinism proposes that there is an unbroken chain of prior occurrences stretching back to the origin of the universe. The relation between events may not be specified, nor the origin of that universe. Causal determinists believe that there is nothing uncaused or [[causa sui|self-caused]]. [[Historical determinism]] (a sort of [[path dependence]]) can also be synonymous with causal determinism. - Causal determinism has also been considered more generally as the idea that everything that happens or exists is caused by antecedent conditions.&amp;lt;ref name=StanfordIncompatibilism&amp;gt;[http://plato.stanford.edu/entries/incompatibilism-arguments/ Arguments for Incompatibilism (Stanford Encyclopedia of Philosophy)]&amp;lt;/ref&amp;gt; In the case of nomological determinism, these conditions are considered events also, implying that the future is determined completely by preceding events - a combination of prior states of the universe and the laws of nature.&amp;lt;ref name=stanfordcausaldeterminism&amp;gt;{{cite encyclopedia|last=Hoefer |first=Carl |editor=Edward N. Zalta | title=Causal Determinism | encyclopedia=The Stanford Encyclopedia of Philosophy| edition=Spring 2010 | year=2010 | url=http://plato.stanford.edu/archives/win2009/entries/moral-responsibility}}&amp;lt;/ref&amp;gt; Yet they can also be considered metaphysical of origin (such as in the case of theological determinism).&amp;lt;ref name=stanfordmoralresponsibility /&amp;gt;&lt;br /&gt;
&lt;br /&gt;
** [[Nomological determinism]] is the most common form of causal determinism. It is the notion that the past and the present dictate the future entirely and necessarily by rigid natural laws, that every occurrence results inevitably from prior events. [[Quantum mechanics]] and various [[interpretations of quantum mechanics|interpretations]] thereof pose a serious challenge to this view. Nomological determinism is sometimes illustrated by the [[thought experiment]] of [[Laplace&#039;s demon]].&amp;lt;ref name=laplace&amp;gt;&lt;br /&gt;
[[Laplace]] posited that an omniscient observer knowing with infinite precision all the positions and velocities of every particle in the universe could predict the future entirely. For a discussion, see {{cite book |title=The Big Questions: A Short Introduction to Philosophy |author=Robert C. Solomon, Kathleen M. Higgins |url=http://books.google.com/books?id=ekh2AKqXdqgC&amp;amp;pg=PA232 |page=232 |isbn=0495595152 |publisher=Cengage Learning |chapter=Free will and determinism|year=2009 |edition=8th}} Another view of determinism is discussed by {{cite book |title=The Structure of Science: Problems in the Logic of Scientific Explanation |author=Ernest Nagel |url=http://books.google.com/books?id=u6EycHgRfkQC&amp;amp;pg=PA285 |pages =285–292 |chapter=§V: Alternative descriptions of physical state |quote=a theory is deterministic if, and only if, given its state variables for some initial period, the theory logically determines a unique set of values for those variables for any other period. |isbn=0915144719 |year=1999 |publisher=Hackett |edition=2nd }}&lt;br /&gt;
&amp;lt;/ref&amp;gt; Nomological determinism is sometimes called &#039;scientific&#039; determinism, although that is a misnomer. [[Physical determinism]] is generally used synonymously with nomological determinism (its opposite being [[Indeterminism|physical indeterminism]]).&lt;br /&gt;
&lt;br /&gt;
** [[Necessitarianism]] is very related to the causal determinism described above. It is a [[Metaphysics|metaphysical]] principle that denies all mere possibility; there is exactly one way for the world to be. [[Leucippus]] claimed there were no uncaused events, and that everything occurs for a reason and by necessity.&amp;lt;ref&amp;gt;Leucippus, Fragment 569 - from Fr. 2 Actius I, 25, 4&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
* [[Predeterminism]] is the idea that all events are determined in advance.&amp;lt;ref name=&amp;quot;McKewan&amp;quot;&amp;gt;{{cite encyclopedia |last=McKewan |first=Jaclyn |editor=H. James Birx&amp;quot;|encyclopedia=Encyclopedia of Time: Science, Philosophy, Theology, &amp;amp; Culture |title=Predeterminism |url=http://dx.doi.org/10.4135/9781412963961.n191 |accessdate=20 December 2012 |year=2009 |publisher=SAGE Publications, Inc. |doi=10.4135/9781412963961.n191 |pages=1035–1036}}&amp;lt;/ref&amp;gt;&amp;lt;ref&amp;gt;{{cite encyclopedia |encyclopedia=Oxford Dictionaries |title=Predeterminism |url=http://oxforddictionaries.com/definition/english/predeterminism |accessdate=20 December 2012 |date=April 2010 |publisher=Oxford Dictionaries}}. See also {{cite encyclopedia |encyclopedia=Collins English Dictionary |title=Predeterminism |url=http://www.collinsdictionary.com/dictionary/english/predeterminism |accessdate=20 December 2012 |publisher=Collins}}&amp;lt;/ref&amp;gt; The concept of predeterminism is often argued by invoking causal determinism, implying that there is an unbroken [[chain of prior occurrences]] stretching back to the origin of the universe. In the case of predeterminism, this chain of events has been pre-established, and human actions cannot interfere with the outcomes of this pre-established chain. Predeterminism can be used to mean such pre-established causal determinism, in which case it is categorised as a specific type of determinism.&amp;lt;ref name=&amp;quot;McKewan&amp;quot; /&amp;gt;&amp;lt;ref&amp;gt;{{cite web |url=http://philosophy.lander.edu/ethics/notes-determinism.html |title=Some Varieties of Free Will and Determinism |author=&amp;lt;!--Staff writer(s); no by-line.--&amp;gt; |date=09.10.09 |work=Philosophy 302: Ethics |publisher=philosophy.lander.edu |accessdate=19 December 2012| quote=Predeterminism: the philosophical and theological view that combines God with determinism. On this doctrine events throughout eternity have been foreordained by some supernatural power in a causal sequence.}}&amp;lt;/ref&amp;gt; It can also be used interchangeably with causal determinism - in the context of its capacity to determine future events.&amp;lt;ref name=&amp;quot;McKewan&amp;quot; /&amp;gt;&amp;lt;ref&amp;gt;See for example {{cite journal |author=Hooft, G. |title=How does god play dice? (Pre-)determinism at the Planck scale |quote=Predeterminism is here defined by the assumption that the experimenter&#039;s &#039;free will&#039; in deciding what to measure (such as his choice to measure the x- or the y-component of an electron&#039;s spin), is in fact limited by deterministic laws, hence not free at all |journal=arXiv preprint hep-th/0104219 |year=2001}}, and {{cite journal |author=Sukumar, CV |title=A new paradigm for science and architecture |quote=Quantum Theory provided a beautiful description of the behaviour of isolated atoms and nuclei and small aggregates of elementary particles. Modern science recognized that predisposition rather than predeterminism is what is widely prevalent in nature. |journal=City |volume=1 |issue=1-2 |pages=181–183 |year=1996| publisher=Taylor &amp;amp; Francis}}&amp;lt;/ref&amp;gt; Despite this, predeterminism is often considered as independent of causal determinism.&amp;lt;ref&amp;gt;{{cite journal |author=Borst, C. |title=Leibniz and the compatibilist account of free will |quote=Leibniz presents a clear case of a philosopher who does not think that predeterminism requires universal causal determinism |journal=Studia leibnitiana |pages=49-58 |year=1992 |publisher=JSTOR}}&amp;lt;/ref&amp;gt;&amp;lt;ref name=Society1971&amp;gt;{{cite book|author=Far Western Philosophy of Education Society|title=Proceedings of the Annual Meeting of the Far Western Philosophy of Education Society|url=http://books.google.com/books?id=spkpAQAAMAAJ|accessdate=20 December 2012|year=1971|publisher=Far Western Philosophy of Education Society.|page=12|quote=&amp;quot;Determinism&amp;quot; is, in essence, the position which holds that all behavior is caused by prior behavior. &amp;quot;Predeterminism&amp;quot; is the position which holds that all behavior is caused by conditions which predate behavior altogether (such impersonal boundaries as &amp;quot;the human conditions,&amp;quot; instincts, the will of God, inherent knowledge, fate, and such).}}&amp;lt;/ref&amp;gt; The term predeterminism is also frequently used in the context of biology and hereditary, in which case it represents a form of [[biological determinism]].&amp;lt;ref&amp;gt;{{cite encyclopedia |encyclopedia=Merriam-Webster Dictionary |title=Predeterminism |url=http://www.merriam-webster.com/dictionary/predeterminism |accessdate=20 December 2012 |publisher=Merriam-Webster, Incorporated}} See for example {{cite journal |author=Ormond, A.T. |title=Freedom and psycho-genesis |quote=The problem of predeterminism is one that involves the factors of heredity and environment, and the point to be debated here is the relation of the present self that chooses to these predetermining agencies |journal=Psychological Review |volume=1 |issue=3 |pages=217 |year=1894 |publisher=Macmillan &amp;amp; Company}}, and {{cite journal |author=Garris, M.D. and others |title=A Platform for Evolving Genetic Automata for Text Segmentation (GNATS) |quote=However, predeterminism is not completely avoided. If the codes within the genotype are not designed properly, then the organisms being evolved will be fundamentally handicapped. |journal=Science of Artificial Neural Networks |volume=1710 |pages=714–724 |year=1992| publisher=Citeseer}}&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
* [[Fatalism]] is normally distinguished from &amp;quot;determinism&amp;quot;.&amp;lt;ref name=SEPDeterminism&amp;gt;[http://plato.stanford.edu/entries/determinism-causal/ SEP, Causal Determinism]&amp;lt;/ref&amp;gt; Fatalism is the idea that everything is fated to happen, so that humans have no control over their future. [[Fate]] has arbitrary power, and need not follow any causal or otherwise deterministic [[law]]s.&amp;lt;ref name=StanfordIncompatibilism&amp;gt;[http://plato.stanford.edu/entries/incompatibilism-arguments/ Arguments for Incompatibilism (Stanford Encyclopedia of Philosophy)]&amp;lt;/ref&amp;gt; Types of Fatalism include hard [[theological determinism]] and the idea of [[predestination]], where there is a [[God]] who determines all that humans will do. This may be accomplished either by knowing their actions in advance, via some form of [[omniscience]]&amp;lt;ref name = &amp;quot;Fischer&amp;quot;&amp;gt;Fischer, John Martin (1989) &#039;&#039;God, Foreknowledge and Freedom&#039;&#039;. Stanford, CA: Stanford University Press. ISBN 1-55786-857-3&amp;lt;/ref&amp;gt; or by decreeing their actions in advance.&amp;lt;ref name=&amp;quot;Watt&amp;quot;&amp;gt;Watt, Montgomery (1948) &#039;&#039;Free-Will and Predestination in Early Islam&#039;&#039;. London:Luzac &amp;amp; Co.&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
* [[Theological determinism]] is a form of determinism which states that all events that happen are pre-ordained, or [[predestination|predestined]] to happen, by a [[monotheism|monotheistic]] [[deity]], or that they are [[destiny|destined]] to occur given its [[omniscience]]. Two forms of theological determinism exist, here referenced as strong and weak theological determinism.&amp;lt;ref name=JordanTate2004&amp;gt;{{cite book|author1=Anne Lockyer Jordan|author2=Anne Lockyer Jordan Neil Lockyer Edwin Tate|author3=Neil Lockyer|coauthors=Edwin Tate|title=Philosophy of Religion for A Level OCR Edition|url=http://books.google.com/books?id=uBVuNip8qjkC|accessdate=22 December 2012|date=25 June 2004|publisher=Nelson Thornes|isbn=978-0-7487-8078-5|page=211}}&amp;lt;/ref&amp;gt; The first one, strong theological determinism, is based on the concept of a [[creator deity]] dictating all events in history: &amp;quot;everything that happens has been predestined to happen by an omniscient, omnipotent divinity&amp;quot;.&amp;lt;ref name=Iannone2001&amp;gt;{{cite book|author=A. Pabl Iannone|title=Dictionary of World Philosophy|url=http://books.google.com/books?id=7wBmBO3vpE4C|accessdate=22 December 2012|year=2001|publisher=Taylor &amp;amp; Francis|isbn=978-0-415-17995-9|page=194|chapter=determinism|quote=theological determinism, or the doctrine of predestination: the view that everything which happens has been predestined to happen by an omniscient, omnipotent divinity. A weaker version holds that, though not predestined to happen, everything that happens has been eternally known by virtue of the divine foreknowledge of an omniscient divinity. If this divinity is also omnipotent, as in the case of the Judeo-Christian religions, this weaker version is hard to distinguish from the previous one because, though able to prevent what happens and knowing that it is going to happen, God lets it happen. To this, advocates of free will reply that God permits it to happen in order to make room for the free will of humans.}}&amp;lt;/ref&amp;gt; The second form, weak theological determinism, is based on the concept of divine foreknowledge - &amp;quot;because [[God]]&#039;s omniscience is perfect, what God knows about the future will inevitably happen, which means, consequently, that the future is already fixed&amp;quot;.&amp;lt;ref name=Huyssteen2003&amp;gt;{{cite book|author=Wentzel Van Huyssteen|title=Encyclopedia of science and religion|url=http://books.google.com/books?id=HIcYAAAAIAAJ|accessdate=22 December 2012|volume=1|year=2003|publisher=Macmillan Reference|isbn=978-0-02-865705-9|page=217|chapter=theological determinism|quote=Theological determinism constitutes a fifth kind of determinism. There are two types of theological determinism, both compatible with scientific and metaphysical determinism. In the first, God determines everything that happens, either in one all-determining single act at the initial creation of the universe or through continuous divine interactions with the world. Either way, the consequence is that everything that happens becomes God&#039;s action, and determinism is closely linked to divine action and God&#039;s omnipotence. According to the second type of theological determinism, God has perfect knowledge of everything in the universe because God is omniscient. And, as some say, because God is outside of time, God has the capacity of knowing past, present, and future in one instance. This means that God knows what will happen in the future. And because God&#039;s omniscience is perfect, what God knows about the future will inevitably happen, which means, consequently, that the future is already fixed.}}&amp;lt;/ref&amp;gt; There exist slight variations on the above categorisation. Some claim that theological determinism requires [[predestination]] of all events and outcomes by the divinity (i.e. they do not classify the weaker version as &#039;theological determinism&#039; unless libertarian free will is assumed to be denied as a consequence), or that the weaker version does not constitute &#039;theological determinism&#039; at all.&amp;lt;ref name=VanArragon2010&amp;gt;{{cite book|author=Raymond J. VanArragon|title=Key Terms in Philosophy of Religion|url=http://books.google.com/books?id=JyTohO1AMzwC|accessdate=22 December 2012|date=21 October 2010|publisher=Continuum International Publishing Group|isbn=978-1-4411-3867-5|page=21|quote=Theological determinism, on the other hand, claims that all events are determined by God. On this view, God decree that everything will go thus-and-so and ensure that everything goes that way, so that ultimately God is the cause of everything that happens and everything that happens is part of God&#039;s plan. We might think of God here as the all-powerful movie director who writes script and causes everything to go accord with it. We should note, as an aside, that there is some debate over what would be sufficient for theological determinism to be true. Some people claim that God&#039;s merely knowing what will happen determines that it will, while others believe that God must not only know but must also cause those events to occur in order for their occurrence to be determined.}}&amp;lt;/ref&amp;gt; With respect to free will, &amp;quot;theological determinism is the thesis that God exists and has infallible knowledge of all true propositions including propositions about our future actions&amp;quot;, more minimal criteria designed to encapsulate all forms of theological determinism.&amp;lt;ref name=stanfordincompatibilismarguments&amp;gt;{{cite encyclopedia|last=Vihvelin |first=Kadri |editor=Edward N. Zalta | title=Arguments for Incompatibilism | encyclopedia=The Stanford Encyclopedia of Philosophy| edition=Spring 2011 | year=2011 | url=http://plato.stanford.edu/archives/spr2011/entries/incompatibilism-arguments}}&amp;lt;/ref&amp;gt; Theological determinism can also be seen as a form of causal determinism, in which the antecedent conditions are the nature and will of God.&amp;lt;ref name=stanfordmoralresponsibility&amp;gt;{{cite encyclopedia|last=Eshleman |first=Andrew |editor=Edward N. Zalta | title=Moral Responsibility | encyclopedia=The Stanford Encyclopedia of Philosophy| edition=Winter 2009 | year=2009 | url=http://plato.stanford.edu/archives/spr2010/entries/determinism-causal}}&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
* Logical determinism or Determinateness is the notion that all propositions, whether about the past, present, or future, are either [[Law of excluded middle|true or false]]. Note that one can support Causal Determinism without necessarily supporting Logical Determinism and vice versa (depending on one&#039;s views on the nature of [[time]], but also [[randomness]]). The problem of free will is especially salient now with Logical Determinism: how can choices be free, given that propositions about the future already have a truth value in the present (i.e. it is already determined as either true or false)? This is referred to as the [[problem of future contingents]].&lt;br /&gt;
[[File:Iimatyas.jpg|thumb|right|140px|Adequate determinism focuses on [[quantum mechanics|the fact that]], even without a full understanding of microscopic physics, we can predict the distribution of 1000 coin tosses]]&lt;br /&gt;
&lt;br /&gt;
** Often synonymous with Logical Determinism are the ideas behind Spatio-temporal Determinism or [[Eternalism (philosophy of time)|Eternalism]]: the view of special relativity. [[J. J. C. Smart]], a proponent of this view, uses the term &amp;quot;tenselessness&amp;quot; to describe the simultaneous existence of past, present, and future. In physics, the &amp;quot;block universe&amp;quot; of [[Hermann Minkowski]] and [[Albert Einstein]] assumes that time is a fourth dimension (like the three spatial dimensions). In other words, all the other parts of time are real, like the city blocks up and down a street, although the order in which they appear depends on the driver (see [[Rietdijk–Putnam argument]]).&lt;br /&gt;
&lt;br /&gt;
* Adequate determinism is the idea that [[quantum indeterminacy]] can be ignored for most macroscopic events. This is because of [[quantum decoherence]]. Random quantum events &amp;quot;average out&amp;quot; in the [[Expected value|limit of large numbers]] of particles (where the laws of quantum mechanics asymptotically approach the laws of classical mechanics).&amp;lt;ref&amp;gt;[http://www.informationphilosopher.com/freedom/adequate_determinism.html The Information Philosopher website], &amp;quot;Adequate Determinism&amp;quot;, from the site: &amp;quot;&#039;&#039;We are happy to agree with scientists and philosophers who feel that quantum effects are for the most part negligible in the macroscopic world. We particularly agree that they are negligible when considering the causally determined will and the causally determined actions set in motion by decisions of that will.&#039;&#039;&amp;quot;&amp;lt;/ref&amp;gt; [[Stephen Hawking]] explains a similar idea: he says that the microscopic world of [[quantum mechanics]] is one of determined probabilities. That is, quantum effects rarely alter the predictions of [[classical mechanics]], which are quite accurate (albeit still [[Uncertainty principle|not perfectly certain]]) at larger scales.&amp;lt;ref&amp;gt;[[The Grand Design (book)|Grand Design]] (2010), page 32: &amp;quot;the molecular basis of biology shows that biological processes are governed by the laws of physics and chemistry and therefore are as determined as the orbits of the planets.&amp;quot;, and page 72: &#039;&#039;&amp;quot;Quantum physics might seem to undermine the idea that nature is governed by laws, but that is not the case. Instead it leads us to accept a new form of determinism: Given the state of a system at some time, the laws of nature determine the probabilities of various futures and pasts rather than determining the future and past with certainty.&amp;quot;&#039;&#039; (emphasis in original, discussing a [[Many worlds interpretation]])&amp;lt;/ref&amp;gt; Something as large as an [[cell (biology)|animal cell]], then, would be &amp;quot;adequately determined&amp;quot; (even in light of quantum indeterminacy).&lt;br /&gt;
&lt;br /&gt;
==Philosophical connections==&lt;br /&gt;
&lt;br /&gt;
===With nature/nurture controversy===&lt;br /&gt;
[[File:JuliusOttoGrimm-Sculpture.jpg|thumb|140px|Nature and nurture interact in humans. A scientist looking at a sculpture after some time does not ask whether we are seeing the effects of the starting materials or of environmental influences.]]&lt;br /&gt;
Although some of the above forms of determinism concern human behaviors and [[cognition]], others frame themselves as an answer to the debate on [[nature and nurture]]. They will suggest that one factor will entirely determine behavior. As scientific understanding has grown, however, the strongest versions of these theories have been widely rejected as a [[single cause fallacy]].&amp;lt;ref name=&amp;quot;melo-martin&amp;quot;&amp;gt;{{cite journal |author=de Melo-Martín I|title=Firing up the nature/nurture controversy: bioethics and genetic determinism |journal=J Med Ethics|volume=31 |issue=9|pages=526–30 |year=2005 |month=|pmid=16131554 |pmc=1734214|doi=10.1136/jme.2004.008417|url=}}&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
In other words, the modern deterministic theories attempt to explain how the interaction of both nature &#039;&#039;and&#039;&#039; nurture is entirely predictable. The concept of [[heritability]] has been helpful to make this distinction.&lt;br /&gt;
&lt;br /&gt;
[[Biological determinism]], sometimes called [[Genetic determinism]], is the idea that each of our behaviors, beliefs, and desires are fixed by our genetic nature.&lt;br /&gt;
&lt;br /&gt;
[[Behaviorism]] is the idea that all behavior can be traced to specific causes—either environmental or reflexive. This Nurture-focused determinism was developed by [[John B. Watson]] and [[B. F. Skinner]].&lt;br /&gt;
&lt;br /&gt;
[[Cultural determinism]] or [[social determinism]] is the nurture-focused theory that it is the culture in which we are raised that determines who we are.&lt;br /&gt;
&lt;br /&gt;
[[Environmental determinism]] is also known as climatic or geographical determinism. It holds the view that the physical environment, rather than social conditions, determines culture. Supporters often also support [[Behaviorism|Behavioral determinism]]. Key proponents of this notion have included Ellen Churchill Semple, Ellsworth Huntington, [[Thomas Griffith Taylor]] and possibly Jared Diamond, although his status as an environmental determinist is debated.&amp;lt;ref&amp;gt;{{cite journal&lt;br /&gt;
  |last = Andrew&lt;br /&gt;
  |first = Sluyter&lt;br /&gt;
  |authorlink =&lt;br /&gt;
  |coauthors =&lt;br /&gt;
  |title=Neo-Environmental Determinism, Intellectual Damage Control, and Nature/Society Science&lt;br /&gt;
  |journal = Antipode&lt;br /&gt;
  |volume = 4&lt;br /&gt;
  |issue = 35}}&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
===With particular factors===&lt;br /&gt;
[[File:Using Mobile Phone 0251.JPG|thumb|right|150px|A technological determinist might suggest that technology like the mobile phone is the greatest factor shaping human civilization.]]&lt;br /&gt;
Other &#039;deterministic&#039; theories actually seek only to highlight the importance of a particular factor in predicting the future. These theories often use the factor as a sort of guide or constraint on the future. They need not suppose that complete knowledge of that one factor would allow us to make perfect predictions.&lt;br /&gt;
&lt;br /&gt;
[[Psychological determinism]] can mean that humans must act according to reason, but it can also be synonymous with some sort of [[Psychological egoism]]. The latter is the view that humans will always act according to their perceived best interest.&lt;br /&gt;
&lt;br /&gt;
[[Linguistic determinism]] claims that our language determines (at least limits) the things we can think and say and thus know. The [[Sapir–Whorf hypothesis]] argues that individuals experience the world based on the grammatical structures they habitually use.&lt;br /&gt;
&lt;br /&gt;
[[Economic determinism]] is the theory which attributes primacy to the economic structure over politics in the development of human history. It is associated with the [[dialectical materialism]] of [[Karl Marx]].&lt;br /&gt;
&lt;br /&gt;
[[Technological determinism]] is a reductionist theory that presumes that a society&#039;s technology drives the development of its social structure and cultural values. Media determinism, a subset of technological determinism, is a philosophical and sociological position which posits the power of the media to impact society. Two leading media determinists are the Canadian scholars [[Harold Innis]] and [[Marshall McLuhan]].&lt;br /&gt;
&lt;br /&gt;
===With free will===&lt;br /&gt;
{{Main|Free will}}&lt;br /&gt;
[[File:DeterminismXFreeWill.svg|thumb|right|300px|A table showing the different positions related to free will and determinism]]&lt;br /&gt;
Philosophers have debated both the truth of determinism, and the truth of free will. This creates the four possible positions in the figure. [[Compatibilism]] refers to the view that [[free will]] is, in some sense, compatible with determinism. The three [[incompatibilist]] positions, on the other hand, deny this possibility. The [[hard incompatibilism|hard incompatibilists]] hold that both determinism and free will do not exist, the [[Libertarianism (metaphysics)|libertarianists]] that determinism does not hold, and free will might exist, and the [[hard determinism|hard determinists]] that determinism does hold and free will does not exist.&lt;br /&gt;
&lt;br /&gt;
The [[standard argument against free will]], according to philosopher [[J. J. C. Smart]] focuses on the implications of determinism for &#039;free will&#039;.&amp;lt;ref&amp;gt;J. J. C. Smart, &amp;quot;Free-Will, Praise and Blame,&amp;quot;&#039;&#039;Mind&#039;&#039;, July 1961, p.293-4.&amp;lt;/ref&amp;gt; However, he suggests free will is denied whether determinism is true or not. On one hand, if determinism is true, all our actions are predicted and we are assumed not to be free; on the other hand, if determinism is false, our actions are presumed to be random and as such we do not seem free because we had no part in controlling what happened.&lt;br /&gt;
&lt;br /&gt;
In his book, &#039;&#039;[[The Moral Landscape]]&#039;&#039;, author and neuroscientist [[Sam Harris (author)|Sam Harris]] also argues against incompatibilist free will. He offers one thought experiment where a mad scientist represents determinism. In Harris&#039; example, the mad scientist uses a machine to control all the desires, and thus all the behavior, of a particular human. Harris believes that it is no longer as tempting, in this case, to say the victim has &amp;quot;free will&amp;quot;. Harris says nothing changes if the machine controls desires at random - the victim still seems to lack free will. Harris then argues that we are also the victims of such unpredictable desires (but due to the unconscious machinations of our brain, rather than those of a mad scientist). Based on this introspection, he writes &amp;quot;This discloses the real mystery of free will: if our experience is compatible with its utter absence, how can we say that we see any evidence for it in the first place?&amp;quot;&amp;lt;ref&amp;gt;Sam Harris, The Moral Landscape (2010), pg.216, note102&amp;lt;/ref&amp;gt; adding that &amp;quot;Whether they are predictable or not, we do not cause our causes.&amp;quot;&amp;lt;ref&amp;gt;Sam Harris, The Moral Landscape (2010), pg.217, note109&amp;lt;/ref&amp;gt; That is, he believes there is compelling [[evidence of absence]] of free will. Harris&#039; viewpoint implicitly assumes a philosophy of [[materialism]], that is, that mental events are reducible to neurological occurrences.&lt;br /&gt;
&lt;br /&gt;
Some research (founded by the [[John Templeton Foundation]]) suggested that reducing a person&#039;s belief in free will is dangerous, making them less helpful and more aggressive.&amp;lt;ref&amp;gt;Baumeister RF, Masicampo EJ, Dewall CN. (2009). Prosocial benefits of feeling free: disbelief in free will increases aggression and reduces helpfulness. Pers Soc Psychol Bull. 35(2):260-8. PMID 19141628 {{DOI|10.1177/0146167208327217}}&amp;lt;/ref&amp;gt; This could occur because the individual&#039;s sense of [[self-efficacy]] suffers.&lt;br /&gt;
&lt;br /&gt;
===With the &amp;quot;soul&amp;quot; ===&lt;br /&gt;
Some determinists argue that [[materialism]] does not present a complete understanding of the universe, because while it can describe determinate interactions among material things, it ignores the [[mind]]s or [[Soul (spirit)|soul]]s of conscious beings.&lt;br /&gt;
&lt;br /&gt;
A number of positions can be delineated:&lt;br /&gt;
&lt;br /&gt;
# Immaterial souls are all that exist ([[Idealism]]).&lt;br /&gt;
# Immaterial souls exist and exert a non-deterministic causal influence on bodies. (Traditional free-will, [[interactionist dualism]]).&amp;lt;ref&amp;gt;By &#039;soul&#039; in the context of (1) is meant an [[Wiktionary:autonomy|autonomous]] immaterial agent that has the power to control the body but not to be controlled by the body (this theory of determinism thus conceives of conscious agents in [[dualism|dualistic]] terms). Therefore the soul stands to the activities of the individual agent&#039;s body as does the creator of the universe to the universe. The creator of the universe put in motion a deterministic system of material entities that would, if left to themselves, carry out the chain of events determined by ordinary causation. But the creator also provided for souls that could exert a causal force analogous to the primordial causal force and alter outcomes in the physical universe via the acts of their bodies. Thus, it emerges that no events in the physical universe are uncaused. Some are caused entirely by the original creative act and the way it plays itself out through time, and some are caused by the acts of created souls. But those created souls were not created by means of physical processes involving ordinary causation. They are another order of being entirely, gifted with the power to modify the original creation. However, determinism is not necessarily limited to matter; it can encompass energy as well. The question of how these immaterial entities can act upon material entities is deeply involved in what is generally known as the [[mind-body problem]]. It is a significant problem which philosophers have not reached agreement about&amp;lt;/ref&amp;gt;&amp;lt;ref&amp;gt;[http://plato.stanford.edu/entries/freewill/ Free Will (Stanford Encyclopedia of Philosophy)]&amp;lt;/ref&amp;gt;&lt;br /&gt;
# Immaterial souls exist, but are part of deterministic framework.&lt;br /&gt;
# Immaterial souls exist, but exert no causal influence, free or determined ([[epiphenomenalism]], [[occasionalism]])&lt;br /&gt;
# Immaterial souls do not exist — there is no [[mind-body problem|mind-body]] [[dichotomy]], and there is a [[Materialism|Materialistic]] explanation for intuitions to the contrary.&lt;br /&gt;
&lt;br /&gt;
===With ethics and morality===&lt;br /&gt;
Another topic of debate is the implication that Determinism has on [[Ethics|morality]]. [[Hard determinism]] (a belief in determinism, and not free will) is particularly criticized for seeming to make traditional moral judgments impossible. Some philosophers, however, find this an acceptable conclusion.&lt;br /&gt;
&lt;br /&gt;
Philosopher and incompatibilist Peter van Inwagen introduces this thesis as such:&lt;br /&gt;
&lt;br /&gt;
Argument that Free Will is Required for Moral Judgments&lt;br /&gt;
# The moral judgment that you shouldn&#039;t have done X implies that you should have done something else instead&lt;br /&gt;
# That you should have done something else instead implies that there was something else for you to do&lt;br /&gt;
# That there was something else for you to do implies that you could have done something else&lt;br /&gt;
# That you could have done something else implies that you have free will&lt;br /&gt;
# If you don&#039;t have free will to have done other than X we cannot make the moral judgment that you shouldn&#039;t have done X.&amp;lt;ref&amp;gt;{{cite book|last=van Inwagen|first=Peter|title=The Powers of Rational Beings: Freedom of the Will|year=2009|publisher=Oxford}}&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
However, a compatibilist might have an issue with Inwagen&#039;s process because one can not change the past like his arguments center around. A compatibilist who centers around plans for the future might posit:&lt;br /&gt;
# The moral judgment that you shouldn&#039;t have done X implies that you can do something else instead&lt;br /&gt;
# That you can do something else instead implies that there is something else for you to do&lt;br /&gt;
# That there is something else for you to do implies that you can do something else&lt;br /&gt;
# That you can do something else implies that you have free will for planning future recourse&lt;br /&gt;
# If you have free will to do other than X we can make the moral judgment that you should do other than X, and punishing you as a responsible party for having done X that you know you should not have done can help you remember to not do X in the future.&lt;br /&gt;
&lt;br /&gt;
== History ==&lt;br /&gt;
Some of the main philosophers who have dealt with this issue are [[Marcus Aurelius]], [[Omar Khayyám]], [[Thomas Hobbes]], [[Baruch Spinoza]], [[Gottfried Leibniz]], [[David Hume]], [[Baron d&#039;Holbach]] (Paul Heinrich Dietrich), [[Pierre-Simon Laplace]], [[Arthur Schopenhauer]], [[William James]], [[Friedrich Nietzsche]], [[Albert Einstein]], [[Niels Bohr]], [[Ralph Waldo Emerson]] and, more recently, [[John Searle]], [[Ted Honderich]], and [[Daniel Dennett]].&lt;br /&gt;
&lt;br /&gt;
Mecca Chiesa notes that the [[probabilistic]] or selectionistic determinism of [[B.F. Skinner]] comprised a wholly separate conception of determinism that was not [[Mechanism (philosophy)|mechanistic]] at all. Mechanistic determinism assumes that every event has an unbroken chain of prior occurrences, but a selectionistic or probabilistic model does not.&amp;lt;ref&amp;gt;Chiesa, Mecca (2004) &#039;&#039;Radical Behaviorism: The Philosophy &amp;amp; The Science&#039;&#039;.&amp;lt;/ref&amp;gt;&amp;lt;ref&amp;gt;Ringen, J. D. (1993). Adaptation, teleology, and selection by consequences. &#039;&#039;Journal of Applied Behavior Analysis. 60,&#039;&#039;3–15. [http://www.pubmedcentral.nih.gov/articlerender.fcgi?artid=1322142]&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
=== Eastern tradition ===&lt;br /&gt;
{{Section OR|date=December 2010}}&lt;br /&gt;
The idea that the entire universe is a [[deterministic system (philosophy)|deterministic system]] has been articulated in both Eastern and non-Eastern religion, philosophy, and literature.&lt;br /&gt;
&lt;br /&gt;
In &#039;&#039;[[I Ching]]&#039;&#039; and [[Philosophical Taoism]], the ebb and flow of favorable and unfavorable conditions suggests the path of least resistance is effortless (see [[wu wei]]).&lt;br /&gt;
&lt;br /&gt;
In the philosophical schools of India, the concept of precise and continual effect of laws of [[Karma]] on the existence of all sentient beings is analogous to western deterministic concept. Karma is the concept of &amp;quot;action&amp;quot; or &amp;quot;deed&amp;quot; in Indian religions. It is understood as that which causes the entire cycle of cause and effect (i.e., the cycle called saṃsāra) originating in ancient India and treated in Hindu, Jain, Sikh and Buddhist philosophies. Karma is considered predetermined and deterministic in the universe, and in combination with the decisions (free will) of living beings, accumulates to determine futuristic situations that the living being encounters. See [[Karma in Hinduism]].{{Citation needed|date=December 2010}}&lt;br /&gt;
&lt;br /&gt;
===Western tradition===&lt;br /&gt;
In the West, some elements of determinism seem to have been expressed by the Presocratics Heraclitus&amp;lt;ref&amp;gt;Stobaeus &#039;&#039;Eclogae&#039;&#039; I 5 ([[Heraclitus]])&amp;lt;/ref&amp;gt; and Leucippus.&amp;lt;ref&amp;gt;Stobaeus &#039;&#039;Eclogae&#039;&#039; I 4 ([[Leucippus]])&amp;lt;/ref&amp;gt; The first full-fledged notion of determinism appears to originate with the [[Stoics]], as part of their theory of universal causal determinism.&amp;lt;ref&amp;gt;[[Susanne Bobzien]] &#039;&#039;Determinism and Freedom in Stoic Philosophy&#039;&#039; (Oxford 1998) chapter 1.&amp;lt;/ref&amp;gt; The resulting philosophical debates, which involved the confluence of elements of Aristotelian Ethics with Stoic psychology, led in the 1st-3rd centuries CE in the works of [[Alexander of Aphrodisias]] to the first recorded Western debate over determinism and freedom,&amp;lt;ref&amp;gt;Susanne Bobzien &#039;&#039;The Inadvertent Conception and Late Birth of the Free-Will Problem&#039;&#039; (Phronesis 43, 1998).&amp;lt;/ref&amp;gt; an issue that is known in theology as the [[Argument from free will|paradox of free will]]. The writings of [[Epictetus]] as well as [[Middle Platonist]] and early Christian thought were instrumental in this development.&amp;lt;ref&amp;gt;[[Michael Frede]] &#039;&#039;A Free Will: Origins of the Notion in Ancient Thought&#039;&#039; (Berkeley 2011).&amp;lt;/ref&amp;gt; The Jewish philosopher [[Moses Maimonides]] said of the deterministic implications of an omniscient god:&amp;lt;ref&amp;gt;Though Moses Maimonides was not arguing against the existence of God, but rather for the incompatibility between the full &#039;&#039;&#039;exercise&#039;&#039;&#039; by God of his [[omniscience]] and genuine human [[free will]], his argument is considered by some as affected by Modal Fallacy. See, in particular, the article by Prof. Norman Swartz for &#039;&#039;Internet Encyclopedia of Philosophy&#039;&#039;, [http://www.iep.utm.edu/f/foreknow.htm Foreknowledge and Free Will] and specifically [http://www.iep.utm.edu/f/foreknow.htm#section6 Section 6: The Modal Fallacy]&amp;lt;/ref&amp;gt; &amp;quot;Does God know or does He not know that a certain individual will be good or bad? If thou sayest &#039;He knows&#039;, then it necessarily follows that [that] man is compelled to act as God knew beforehand he would act, otherwise God&#039;s knowledge would be imperfect.…&amp;quot;&amp;lt;ref name=maimonides&amp;gt;&#039;&#039;The Eight Chapters of Maimonides on Ethics (Semonah Perakhim)&#039;&#039;, edited, annotated, and translated with an Introduction by Joseph I. Gorfinkle, pp. 99–100. (New York: AMS Press), 1966.&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Determinism in the West is often associated with [[Newtonian physics]], which depicts the physical matter of the universe as operating according to a set of fixed, knowable laws. The &amp;quot;billiard ball&amp;quot; hypothesis, a product of Newtonian physics, argues that once the initial conditions of the universe have been established, the rest of the history of the universe follows inevitably. If it were actually possible to have complete knowledge of physical matter and all of the laws governing that matter at any one time, then it would be theoretically possible to compute the time and place of every event that will ever occur (&#039;&#039;[[Laplace&#039;s demon]]&#039;&#039;). In this sense, the basic particles of the universe operate in the same fashion as the rolling balls on a billiard table, moving and striking each other in predictable ways to produce predictable results.&lt;br /&gt;
&lt;br /&gt;
Whether or not it is all-encompassing in so doing, Newtonian mechanics deals only with caused events, e.g.: If an object begins in a known position and is hit dead on by an object with some known velocity, then it will be pushed straight toward another predictable point. If it goes somewhere else, the Newtonians argue, one must question one&#039;s measurements of the original position of the object, the exact direction of the striking object, gravitational or other fields that were inadvertently ignored, etc. Then, they maintain, repeated experiments and improvements in accuracy will always bring one&#039;s observations closer to the theoretically predicted results. When dealing with situations on an ordinary human scale, Newtonian physics has been so enormously successful that it has no competition. But it fails spectacularly as velocities become some substantial fraction of the [[speed of light]] and when interactions at the atomic scale are studied. Before the discovery of [[Introduction to quantum mechanics|quantum]] effects and other challenges to Newtonian physics, &amp;quot;uncertainty&amp;quot; was always a term that applied to the accuracy of human knowledge about causes and effects, and not to the causes and effects themselves.&lt;br /&gt;
&lt;br /&gt;
[[Newtonian mechanics]] as well as any following physical theories are results of observations and experiments, and so they describe &amp;quot;how it all works&amp;quot; within a tolerance. However, old western scientists believed if there are any logical connections found between an observed cause and effect, there must be also some absolute natural laws behind. Belief in perfect natural laws driving everything, instead of just describing what we should expect, led to searching for a set of universal simple laws that rule the world. This movement significantly encouraged deterministic views in western philosophy,&amp;lt;ref&amp;gt;Swartz, Norman (2003) The Concept of Physical Law / Chapter 10: Free Will and Determinism ( http://www.sfu.ca/philosophy/physical-law/)&amp;lt;/ref&amp;gt; as well as the related theological views of [[Classical Pantheism]].&lt;br /&gt;
&lt;br /&gt;
== Modern scientific perspective ==&lt;br /&gt;
=== Generative processes ===&lt;br /&gt;
{{Main|Emergence}}&lt;br /&gt;
Although it was once thought by scientists that any indeterminism in quantum mechanics occurred at too small a scale to influence biological or neurological systems, there is indication that [[nervous system]]s are influenced by quantum indeterminism due to [[chaos theory]]. It is unclear what implications this has for [[free will]] given various possible reactions to the [[Standard argument against free will|standard problem]] in the first place.&amp;lt;ref&amp;gt;{{cite journal | doi=10.1142/S0219635206001112 | last=Lewis | first=E.R. |coauthors=MacGregor, R.J. | year=2006 | title=On Indeterminism, Chaos, and Small Number Particle Systems in the Brain | journal=[[Journal of Integrative Neuroscience]] | volume=5 | issue=2 | pages=223–247 |url=http://www.eecs.berkeley.edu/~lewis/LewisMacGregor.pdf }}&amp;lt;/ref&amp;gt; Not all biologists grant determinism: Christof Koch argues against it, and in favour of [[Libertarianism (metaphysics)|libertarian free will]], by making arguments based on generative processes ([[emergence]]).&amp;lt;ref name=Koch&amp;gt;{{cite book |last1=Koch |first1=Christof |authorlink1=Christof Koch |editor1-first=Nancy|editor1-last=Murphy |editor2-first=George |editor2-last=Ellis |editor3-first=Timothy|editor3-last=O&#039;Connor |title=Downward Causation and the Neurobiology of Free Will |url= |date=September 2009 |publisher=[[Springer Science+Business Media|Springer]] |location=New York, USA|isbn=978-3-642-03204-2 |pages= |trans_chapter= |chapter=Free Will, Physics, Biology and the Brain}}&amp;lt;/ref&amp;gt; Other proponents of emergentist or [[emergence|generative philosophy]], [[cognitive science]]s and [[evolutionary psychology]], argue that determinism is true.&amp;lt;ref name= &amp;quot;Kenrick&amp;quot;&amp;gt;Kenrick, D. T., Li, N. P., &amp;amp; Butner, J. (2003) &amp;quot;Dynamical evolutionary psychology: Individual decision rules and emergent social norms,&amp;quot; Psychological Review 110: 3–28.&amp;lt;/ref&amp;gt;&amp;lt;ref name= &amp;quot;Nowak&amp;quot;&amp;gt;Nowak A., Vallacher R.R., Tesser A., Borkowski W., (2000) &amp;quot;Society of Self: The emergence of collective properties in self-structure,&amp;quot; Psychological Review 107.&amp;lt;/ref&amp;gt;&amp;lt;ref name= &amp;quot;Axtell&amp;quot;&amp;gt;Epstein J.M. and Axtell R. (1996) Growing Artificial Societies - Social Science from the Bottom. Cambridge MA, MIT Press.&amp;lt;/ref&amp;gt;&amp;lt;ref name= &amp;quot;Epstein&amp;quot;&amp;gt;Epstein J.M. (1999) Agent Based Models and Generative Social Science. Complexity, IV (5)&amp;lt;/ref&amp;gt; They suggest instead that an illusion of free will is experienced due to the generation of infinite behaviour from the interaction of finite-deterministic set of [[:wikt:rule|rule]]s and [[parameter]]s. Thus the unpredictability of the emerging behaviour from deterministic processes leads to a perception of free will, even though free will as an [[Ontology|ontological]] entity does not exist.&amp;lt;ref name= &amp;quot;Kenrick&amp;quot;/&amp;gt;&amp;lt;ref name= &amp;quot;Nowak&amp;quot;/&amp;gt;&amp;lt;ref name= &amp;quot;Axtell&amp;quot;/&amp;gt;&amp;lt;ref name= &amp;quot;Epstein&amp;quot;/&amp;gt; Certain experiments looking at the [[neuroscience of free will]] can be said to support this possibility.{{citation needed|date=August 2012}}&lt;br /&gt;
&lt;br /&gt;
[[File:Gospers glider gun.gif|thumb|right|120px|In [[Conway&#039;s Game of Life]], the interaction of just four simple rules creates patterns that seem somehow &amp;quot;alive&amp;quot;.]]&lt;br /&gt;
&lt;br /&gt;
As an illustration, the strategy board-games [[chess]] and [[Go (board game)|Go]] have rigorous rules in which no information (such as cards&#039; face-values) is hidden from either player and no [[randomness|random]] events (such as dice-rolling) happen within the game. Yet, chess and especially Go with its extremely simple deterministic rules, can still have an extremely large number of unpredictable moves. By this analogy, it is suggested, the experience of free will emerges from the interaction of finite rules and deterministic parameters that generate nearly infinite and practically unpredictable behaviourial responses. In theory, if all these events could be accounted for, and there were a known way to evaluate these events, the seemingly unpredictable behaviour would become predictable.&amp;lt;ref name= &amp;quot;Kenrick&amp;quot;/&amp;gt;&amp;lt;ref name= &amp;quot;Nowak&amp;quot;/&amp;gt;&amp;lt;ref name= &amp;quot;Axtell&amp;quot;/&amp;gt;&amp;lt;ref name= &amp;quot;Epstein&amp;quot;/&amp;gt; Another hands-on example of generative processes is [[John Horton Conway]]&#039;s playable [[Conway&#039;s Game of Life|Game of Life]].&amp;lt;ref&amp;gt;[http://www.bitstorm.org/gameoflife/ John Conway&#039;s Game of Life]&amp;lt;/ref&amp;gt; [[Nassim Nicholas Taleb|Nassim Taleb]] is wary of such models, and coined the term &amp;quot;[[ludic fallacy]]&amp;quot;.&lt;br /&gt;
&lt;br /&gt;
=== Mathematical models ===&lt;br /&gt;
Many [[mathematical models]] of physical systems are deterministic. This is true of most models involving [[differential equations]] (notably, those measuring rate of change over time). Mathematical models that are not deterministic because they involve randomness are called [[stochastic]]. Because of [[sensitive dependence on initial conditions]], some deterministic models may appear to behave non-deterministically; in such cases, a deterministic interpretation of the model may not be useful due to [[numerical instability]] and a finite amount of [[accuracy and precision|precision]] in measurement. Such considerations can motivate the consideration of a stochastic model even though the underlying system is governed by deterministic equations.&amp;lt;ref&amp;gt;Werndl, Charlotte (2009). &#039;&#039;[http://dx.doi.org/10.1016/j.shpsb.2009.06.004 Are Deterministic Descriptions and Indeterministic Descriptions Observationally Equivalent?]&#039;&#039;. Studies in History and Philosophy of Modern Physics 40, 232-242.&amp;lt;/ref&amp;gt;&amp;lt;ref&amp;gt;Werndl, Charlotte (2009). &#039;&#039;[http://philsci-archive.pitt.edu/archive/00004775/ Deterministic Versus Indeterministic Descriptions: Not That Different After All?]&#039;&#039;. In: A. Hieke and H. Leitgeb (eds), Reduction, Abstraction, Analysis, Proceedings of the 31st International Ludwig Wittgenstein-Symposium. Ontos, 63-78.&amp;lt;/ref&amp;gt;&amp;lt;ref&amp;gt;J. Glimm, D. Sharp, &#039;&#039;Stochastic Differential Equations: Selected Applications in Continuum Physics&#039;&#039;, in: R.A. Carmona, B. Rozovskii (ed.) &#039;&#039;Stochastic Partial Differential Equations: Six Perspectives&#039;&#039;, American Mathematical Society (October 1998) (ISBN 0-8218-0806-0).&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
=== Quantum mechanics and classical physics ===&lt;br /&gt;
&lt;br /&gt;
====Day-to-day physics====&lt;br /&gt;
{{further|Macroscopic quantum phenomena}}&lt;br /&gt;
Since the beginning of the 20th century, [[quantum mechanics]]—the physics of the extremely small—has revealed previously concealed aspects of [[Phenomenon|event]]s. Before that, [[classical mechanics|Newtonian physics]]—the physics of everyday life—dominated. Taken in isolation (rather than as an [[approximation]] to quantum mechanics), Newtonian physics depicts a universe in which objects move in perfectly determined ways. At the scale where humans exist and interact with the universe, Newtonian mechanics remain useful, and make relatively accurate predictions (e.g. calculating the trajectory of a bullet). But whereas in theory, [[Universality (philosophy)|absolute knowledge]] of the forces accelerating a bullet would produce an absolutely accurate prediction of its path, modern quantum mechanics casts reasonable doubt on this main thesis of determinism.&lt;br /&gt;
&lt;br /&gt;
Relevant is the fact that [[certainty]] is never absolute in practice (and not just because of David Hume&#039;s [[problem of induction]]). The equations of Newtonian mechanics can exhibit sensitive dependence on initial conditions. This is an example of the [[butterfly effect]], which is one of the subjects of [[chaos theory]]. The idea is that something even as small as a butterfly could cause a chain reaction leading to a hurricane years later. Consequently, even a very small error in knowledge of initial conditions can result in arbitrarily large deviations from predicted behavior. Chaos theory thus explains why it may be practically impossible to [[predict]] real life, whether determinism is true or false. On the other hand, the issue may not be so much about human abilities to &#039;&#039;predict&#039;&#039; or attain &#039;&#039;certainty&#039;&#039; as much as it is the nature of reality itself. For that, a closer, scientific look at nature is necessary.&lt;br /&gt;
&lt;br /&gt;
====Quantum realm====&lt;br /&gt;
Quantum physics works differently in many ways from Newtonian physics. Physicist [[Aaron D. O&#039;Connell]] explains that understanding our universe, at such small scales as atoms, requires a different logic than day to day life does. O&#039;Connell does not deny that it is all interconnected: the scale of human existence ultimately does emerge from the quantum scale. O&#039;Connell argues that we must simply use different models and constructs when dealing with the quantum world.&amp;lt;ref&amp;gt;[http://blog.ted.com/2011/06/02/struggling-with-quantum-logic-qa-with-aaron-oconnell/?utm_content=awesm-bookmarklet&amp;amp;utm_medium=on.ted.com-static&amp;amp;utm_source=facebook.com &amp;quot;Struggling with quantum logic: Q&amp;amp;A with Aaron O&#039;Connell]&amp;lt;/ref&amp;gt; Quantum mechanics is the product of a careful application of the [[scientific method]], [[logic]] and [[empiricism]]. The [[Heisenberg uncertainty principle]] is frequently confused with the [[observer effect (physics)|observer effect]]. The uncertainty principle actually describes how precisely we may measure the position and momentum of a particle at the same time &amp;amp;mdash; if we increase the accuracy in measuring one quantity, we are forced to lose accuracy in measuring the other. &amp;quot;These uncertainty relations give us that measure of freedom from the limitations of classical concepts which is necessary for a consistent description of atomic processes.&amp;quot;&amp;lt;ref name=&amp;quot;Heisenberg1930&amp;quot;&amp;gt;{{cite book |first=Werner |last=Heisenberg |year=1930 (1949) |title=Physikalische Prinzipien der Quantentheorie |trans_title=Physical Principles of Quantum Theory |location=Leipzig |publisher=Hirzel/University of Chicago Press |page=4 |url=http://books.google.com/books?id=NzMBh4ZxKJsC&amp;amp;pg=PA4}}&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
[[File:Double-slit experiment results Tanamura 2.jpg|thumb|right|Although it is not possible to predict the trajectory of any one particle, they all obey determined probabilities which do permit some prediction.]]&lt;br /&gt;
This is where [[statistical mechanics]] come into play, and where physicists begin to require rather unintuitive mental models: A particle&#039;s path simply cannot be exactly specified in its full quantum description. &amp;quot;Path&amp;quot; is a classical, practical attribute in our every day life, but one which quantum particles do not meaningfully possess. The probabilities discovered in quantum mechanics do nevertheless arise from measurement (of the perceived path of the particle). As [[Stephen Hawking]] explains, the result is not traditional determinism, but rather determined probabilities.&amp;lt;ref name=GDesign&amp;gt;[[The Grand Design (book)|Grand Design]] (2010), page 32: &#039;&#039;&amp;quot;the molecular basis of biology shows that biological processes are governed by the laws of physics and chemistry and therefore are as determined as the orbits of the planets...so it seems that we are no more than biological machines and that free will is just an illusion&amp;quot;&#039;&#039;, and page 72: &#039;&#039;&amp;quot;Quantum physics might seem to undermine the idea that nature is governed by laws, but that is not the case. Instead it leads us to accept a new form of determinism: Given the state of a system at some time, the laws of nature determine the probabilities of various futures and pasts rather than determining the future and past with certainty.&amp;quot;&#039;&#039; (discussing a [[Many worlds interpretation]])&amp;lt;/ref&amp;gt; In some cases, a quantum particle may indeed trace an exact path, and the probability of finding the particles in that path is one (certain).{{Clarify|date=July 2011}} In fact, as far as prediction goes, the quantum development is at least as predictable as the classical motion, but the key is that it describes [[wave function]]s that cannot be easily expressed in ordinary language. As far as the thesis of determinism is concerned, these probabilities, at least, are quite determined. These findings from quantum mechanics have found many [[Quantum mechanics#Applications|applications]], and allow us to build [[transistors]] and [[lasers]]. Put another way: personal computers, Blu-ray players and the internet all work because humankind discovered the determined probabilities of the quantum world.&amp;lt;ref name=WhatIsItGoodFor?&amp;gt;[http://www.scientificamerican.com/article.cfm?id=everyday-quantum-physics Scientific American, &amp;quot;What is Quantum Mechanics Good For?&amp;quot;]&amp;lt;/ref&amp;gt; None of that should be taken to imply that other aspects of [[quantum mechanics]] are not still [[Interpretations of quantum mechanics|up for debate]].&lt;br /&gt;
&lt;br /&gt;
On the topic of predictable probabilities, the [[double-slit experiment]]s are a popular example. [[Photon]]s are fired one-by-one through a double-slit apparatus at a distant screen. Curiously, they do not arrive at any single point, nor even the two points lined up with the slits (the way you might expect of bullets fired by a fixed gun at a distant target). Instead, the light arrives in varying concentrations at widely separated points, and the distribution of its collisions with the target can be calculated reliably. In that sense the behavior of light in this apparatus is deterministic, but there is no way to predict where in the resulting [[Interference (wave propagation)|interference]] pattern any individual [[photon]] will make its contribution (although, there may be ways to use [[weak measurement]] to acquire more information without violating the [[Uncertainty principle]]).&lt;br /&gt;
&lt;br /&gt;
Some (including [[Albert Einstein]]) argue that our inability to predict any more than probabilities is simply due to ignorance.&amp;lt;ref&amp;gt;[[Albert Einstein]] insisted that, &amp;quot;I am convinced God does not play dice&amp;quot; in a private letter to [[Max Born]], 4 December 1926, [http://www.alberteinstein.info/db/ViewDetails.do?DocumentID=38009 Albert Einstein Archives] reel 8, item 180&amp;lt;/ref&amp;gt; The idea is that, beyond the conditions and laws we can observe or deduce, there are also hidden factors or &amp;quot;[[Hidden variable theory|hidden variable]]s&amp;quot; that determine &#039;&#039;absolutely&#039;&#039; in which order photons reach the detector screen. They argue that the course of the universe is absolutely determined, but that humans are screened from knowledge of the determinative factors. So, they say, it only appears that things proceed in a merely probabilistically determinative way. In actuality, they proceed in an absolutely deterministic way. These matters continue to be subject to some dispute. A critical finding was that quantum mechanics can make statistical predictions which would be violated if local hidden variables really existed. There have been a number of experiments to verify such predictions, and so far they do not appear to be violated. This would suggest there are no hidden variables, although many physicists believe better experiments are needed to conclusively settle the issue (see also [[Bell test experiments]]). Furthermore, it is possible to augment quantum mechanics with non-local hidden variables to achieve a deterministic theory that is in agreement with experiment. An example is the [[Bohm interpretation]] of quantum mechanics.&lt;br /&gt;
This debate is relevant because it is easy to imagine specific situations in which the arrival of an electron at a screen at a certain point and time would trigger one event, whereas its arrival at another point would trigger an entirely different event (e.g. see [[Schrödinger&#039;s cat]] - a thought experiment used as part of a deeper debate).&lt;br /&gt;
&lt;br /&gt;
Thus, quantum physics casts reasonable doubt on the traditional determinism of classical, Newtonian physics in so far as reality does not seem to be absolutely determined. This was the subject of the famous [[Bohr–Einstein debates]] between Einstein and [[Niels Bohr]] and there is [[Interpretations of quantum mechanics|still no consensus]].&amp;lt;ref&amp;gt;{{cite book |last1=Bishop |first1=Robert C. |editor1-first=Robert |editor1-last=Kane |title=The Oxford Handbook of Free Wil |edition=Second |year=2011 |publisher=Oxford University Press |location=Oxford, New York |isbn=978-0-19-539969-1 |page=90 |chapter=Chaos, Indeterminism, and Free Will |chapterurl=http://books.google.com/books?id=kzcFDsWg0GEC&amp;amp;pg=PA90 |quote=The key question is whether to understand the nature of this probability as epistemic or ontic. Along epistemic lines, one possibility is that there is some additional factor (i.e., a hidden mechanism) such that once we discover and understand this factor, we would be able to predict the observed behavior of the quantum stoplight with certainty (physicists call this approach a &amp;quot;hidden variable theory&amp;quot;; see, e.g., Bell 1987, 1-13, 29-39; Bohm 1952a, 1952b; Bohm and Hiley 1993; Bub 1997, 40-114, Holland 1993; see also the preceding essay in this volume by Hodgson). Or perhaps there is an interaction with the broader environment (e.g., neighboring buildings, trees) that we have not taken into account in our observations that explains how these probabilities arise (physicists call this approach decoherence or consistent histories&amp;lt;sup&amp;gt;15&amp;lt;/sup&amp;gt;). Under either of these approaches, we would interpret the observed indeterminism in the behavior of stoplights as an expression of our ignorance about the actual workings. Under an ignorance interpretation, indeterminism would not be a fundamental feature of quantum stoplights, but merely epistemic in nature due to our lack of knowledge about the system. Quantum stoplights would turn to be deterministic after all.}}&amp;lt;/ref&amp;gt;&amp;lt;ref&amp;gt;{{cite book|last1=Baggott|first1=Jim E.|title=Beyond Measure: Modern Physics, Philosophy, and the Meaning of Quantum Theory|accessdate=2013-02-04|year=2004|publisher=Oxford University Press|location=Oxford, New York|isbn=0-19-852536-2|page=203|chapter=Complementarity and Entanglement|chapterurl=http://books.google.nl/books?id=uVdjwsqrgz8C&amp;amp;pg=PA203&amp;amp;dq=scientific+consensus+determinism+bell+theorem&amp;amp;hl=nl&amp;amp;sa=X&amp;amp;ei=4v8PUaL5MarK0QWk8oCwBw&amp;amp;ved=0CFgQ6AEwBw#v=onepage&amp;amp;q=scientific%20consensus%20determinism%20bell%20theorem&amp;amp;f=false|quote=So, was Einstein wrong? In the sense that the EPR paper argued in favour of an objective reality for each quantum particle in an entangled pair independent of the other and of the measuring device, the answer must be yes. But if we take a wider view and ask instead if Einstein was wrong to hold to the realist&#039;s belief that the physics of the universe should be objective and deterministic, we must acknowledge that we cannot answer such a question. It is in the nature of theoretical science that there can be no such thing as certainty. A theory is only &#039;true&#039; for as long as the majority of the scientific community maintain a consensus view that the theory is the one best able to explain the observations. And the story of quantum theory is not over yet.}}&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Adequate determinism (see [[Determinism#Varieties|Varieties]], above) is the reason that Stephen Hawking calls [[Libertarianism (metaphysics)|Libertarian free will]] &amp;quot;just an illusion&amp;quot;.&amp;lt;ref name=&amp;quot;GDesign&amp;quot;/&amp;gt; [[Compatibilistic]] free will (which is deterministic) may be the only kind of &amp;quot;free will&amp;quot; that can exist. However, Daniel Dennett, in his book [[Elbow Room (book)|Elbow Room]], says that this means we have the only kind of free will &amp;quot;worth wanting&amp;quot;. For even more discussion, see [[Free will]].&lt;br /&gt;
&lt;br /&gt;
====Other matters of quantum determinism====&lt;br /&gt;
[[File:HEUraniumC.jpg|thumb|150px|left|Chaotic radioactivity is the next explanatory challenge for physicists supporting determinism]]&lt;br /&gt;
All uranium found on earth is thought to have been synthesized during a [[supernova]] explosion that occurred roughly 5 billion years ago. Even before the laws of quantum mechanics were developed to their present level, the [[radioactivity]] of such elements has posed a challenge to determinism due to its unpredictability. One gram of [[uranium-238]], a commonly occurring radioactive substance, contains some 2.5 x 10&amp;lt;sup&amp;gt;21&amp;lt;/sup&amp;gt; atoms. Each of these atoms are identical and indistinguishable according to all tests known to modern science. Yet about 12600 times a second, one of the atoms in that gram will decay, giving off an [[alpha particle]]. The challenge for determinism is to explain why and when decay occurs, since it does not seem to depend on external stimulus. Indeed, no extant theory of physics makes [[testable]] predictions of exactly when any given atom will decay. At best scientists can discover determined probabilities in the form of the element&#039;s [[half life]].&lt;br /&gt;
&lt;br /&gt;
The time dependent [[Schrödinger equation]] gives the first time [[derivative]] of the [[quantum state]]. That is, it explicitly and uniquely predicts the development of the [[wave function]] with time.&lt;br /&gt;
::&amp;lt;math&amp;gt;i\hbar\frac{\partial\psi(x,t)}{\partial t} = - \frac{\hbar^2}{2m} \frac{\partial^2\psi(x,t)}{\partial x^2}+V(x)\psi&amp;lt;/math&amp;gt;&lt;br /&gt;
So if the wave function itself is reality (rather than probability of classical coordinates), quantum mechanics can be said to be deterministic.&lt;br /&gt;
&lt;br /&gt;
According to some,{{Citation needed|date=December 2009}} quantum mechanics is more strongly ordered than Classical Mechanics, because while Classical Mechanics is [[Chaos theory|chaotic]], quantum mechanics is not. For example, the [[Three-body problem|classical problem of three bodies]] under a force such as [[gravity]] is not [[Integrability conditions for differential systems|integrable]], while the quantum mechanical three body problem is tractable and integrable, using the [[Faddeev Equations]].{{Clarify|date=July 2011}} This does not mean that quantum mechanics describes the world as more deterministic, unless one already considers the wave function to be the true reality. Even so, this does not get rid of the probabilities, because we can&#039;t do anything without using classical descriptions, but it assigns the probabilities to the classical approximation, rather than to the quantum reality.&lt;br /&gt;
&lt;br /&gt;
Asserting that quantum mechanics is deterministic by treating the wave function itself as reality implies a [[Universal wavefunction|single wave function for the entire universe]], starting at the origin of the universe. Such a &amp;quot;wave function of everything&amp;quot; would carry the probabilities of not just the world we know, but every other possible world that could have evolved. For example, large voids in the distributions of [[galaxy|galaxies]] are believed by many cosmologists to have originated in quantum fluctuations during the big bang. (&#039;&#039;See&#039;&#039; [[cosmic inflation]], [[primordial fluctuations]] and [[large-scale structure of the cosmos]].)&lt;br /&gt;
&lt;br /&gt;
== See also ==&lt;br /&gt;
{{col-begin}}&lt;br /&gt;
{{col-break}}&lt;br /&gt;
* [[Amor fati]]&lt;br /&gt;
* [[Block time]]&lt;br /&gt;
* [[Calvinism]]&lt;br /&gt;
* [[Causality]]&lt;br /&gt;
* [[Chaos theory]]&lt;br /&gt;
* [[Digital physics]]&lt;br /&gt;
* [[False necessity]]&lt;br /&gt;
* [[Fatalism]]&lt;br /&gt;
* [[Fractal]]&lt;br /&gt;
* [[Game theory]]&lt;br /&gt;
* [[Ilya Prigogine]]&lt;br /&gt;
* [[Interpretation of quantum mechanics]]&lt;br /&gt;
* [[Neuroscience of free will]]&lt;br /&gt;
* [[Open theism]]&lt;br /&gt;
* [[Predestination]]&lt;br /&gt;
* [[Philosophical interpretation of classical physics]]&lt;br /&gt;
* [[Radical behaviorism]]&lt;br /&gt;
* [[Voluntarism (metaphysics)|Voluntarism]]&lt;br /&gt;
* [[Wheeler-Feynman absorber theory]]&lt;br /&gt;
{{col-break}}&lt;br /&gt;
===Types of determinism===&lt;br /&gt;
* [[Genetic determinism]]&lt;br /&gt;
* [[Biological determinism]]&lt;br /&gt;
* [[Social determinism]]&lt;br /&gt;
* [[Cultural determinism]]&lt;br /&gt;
* [[Economic determinism]]&lt;br /&gt;
* [[Geographic determinism]]&lt;br /&gt;
* [[Technological determinism]]&lt;br /&gt;
* [[Environmental determinism]]&lt;br /&gt;
* [[Theological determinism]]&lt;br /&gt;
&lt;br /&gt;
{{col-end}}&lt;br /&gt;
==References==&lt;br /&gt;
&lt;br /&gt;
===Notes===&lt;br /&gt;
{{Reflist|2}}&lt;br /&gt;
&lt;br /&gt;
===Bibliography===&lt;br /&gt;
* [[Daniel Dennett]] (2003) &#039;&#039;Freedom Evolves&#039;&#039;. Viking Penguin.&lt;br /&gt;
* [[John Earman]] (2007) &amp;quot;Aspects of Determinism in Modern Physics&amp;quot; in Butterfield, J., and Earman, J., eds., &#039;&#039;Philosophy of Physics, Part B&#039;&#039;. North Holland: 1369-1434.&lt;br /&gt;
* [[George Francis Rayner Ellis|George Ellis]] (2005) &amp;quot;Physics and the Real World,&amp;quot; &#039;&#039;Physics Today&#039;&#039;.&lt;br /&gt;
* Epstein J.M. (1999) &amp;quot;Agent Based Models and Generative Social Science,&amp;quot; &#039;&#039;Complexity&#039;&#039; IV (5).&lt;br /&gt;
* -------- and Axtell R. (1996) &#039;&#039;Growing Artificial Societies — Social Science from the Bottom&#039;&#039;. MIT Press.&lt;br /&gt;
* Kenrick, D. T., Li, N. P., &amp;amp; Butner, J. (2003) &amp;quot;Dynamical evolutionary psychology: Individual decision rules and emergent social norms,&amp;quot; &#039;&#039;Psychological Review&#039;&#039; 110: 3–28.&lt;br /&gt;
* [[Albert Messiah]], &#039;&#039;Quantum Mechanics&#039;&#039;, English translation by G. M. Temmer of &#039;&#039;Mécanique Quantique&#039;&#039;, 1966, John Wiley and Sons, vol. I, chapter IV, section III.&lt;br /&gt;
* {{cite journal |author=Ernest Nagel |title=Determinism in history&lt;br /&gt;
|journal=Philosophy and Phenomenological Research,&lt;br /&gt;
|volume=20&lt;br /&gt;
|number=8 &lt;br /&gt;
|date=March 3, 1960 &lt;br /&gt;
|pages=291-317 &lt;br /&gt;
|publisher=International Phenomenological Society&lt;br /&gt;
|url=http://www.jstor.org/stable/2105051 }} (Online version [http://www.drabruzzi.com/NAGEL_Determinism%20In%20History.pdf found here])&lt;br /&gt;
* {{cite book |title=The Philosophy of Science: A-M |editor=Sahotra Sarkar, Jessica Pfeifer, eds |author=John T Roberts |chapter=Determinism |url=http://books.google.com/books?id=UchIDBrAQEMC&amp;amp;pg=PA197 |pages=pp. 197 &#039;&#039;ff&#039;&#039; |isbn=0415977096 |publisher=Taylor &amp;amp; Francis |year=2006}}&lt;br /&gt;
* Nowak A., Vallacher R.R., Tesser A., Borkowski W., (2000) &amp;quot;Society of Self: The emergence of collective properties in self-structure,&amp;quot; &#039;&#039;Psychological Review&#039;&#039; 107.&lt;br /&gt;
* {{Literatur|Autor=Schimbera, Jürgen / Schimbera, Peter|Titel=Determination des Indeterminierten. Kritische Anmerkungen zur Determinismus- und Freiheitskontroverse|Verlag=Verlag Dr. Kovac|Ort=Hamburg|Jahr=2010|ISBN=978-3-8300-5099-5}}&lt;br /&gt;
* [[Reinhold Zippelius]], &#039;&#039;Das Problem der Willensfreiheit&#039;&#039;, in: &#039;&#039;Rechtsphilosophie, § 25&#039;&#039;, 6th ed. 2011, C.H. Beck, Munich, ISBN 978-3-406-61191-9&lt;br /&gt;
&lt;br /&gt;
== External links ==&lt;br /&gt;
* [http://plato.stanford.edu/entries/determinism-causal/ Stanford Encyclopedia of Philosophy entry on Causal Determinism]&lt;br /&gt;
* [http://etext.lib.virginia.edu/cgi-local/DHI/dhi.cgi?id=dv2-02 Determinism in History] from the &#039;&#039;Dictionary of the History of Ideas&#039;&#039;&lt;br /&gt;
* [http://www.ucl.ac.uk/~uctytho/dfwIntroIndex.htm Philosopher Ted Honderich&#039;s Determinism web resource]&lt;br /&gt;
* [http://www.informationphilosopher.com/freedom/determinism.html Determinism on Information Philosopher]&lt;br /&gt;
* [http://www.galilean-library.org/int13.html An Introduction to Free Will and Determinism] by Paul Newall, aimed at beginners.&lt;br /&gt;
* [http://www.determinism.com The Society of Natural Science]&lt;br /&gt;
* [http://www.chabad.org/article.asp?AID=3017 Determinism and Free Will in Judaism]&lt;br /&gt;
* [http://www.jottings.ca/john/cogitations.html Snooker, Pool, and Determinism]&lt;br /&gt;
&lt;br /&gt;
{{Navboxes&lt;br /&gt;
|list=&lt;br /&gt;
{{Time travel}}&lt;br /&gt;
{{Determinism}}&lt;br /&gt;
{{Philosophy topics}}&lt;br /&gt;
{{belief systems}}&lt;br /&gt;
{{Time in philosophy}}&lt;br /&gt;
{{metaphysics}}&lt;br /&gt;
{{epistemology}}&lt;br /&gt;
{{philosophy of science}}&lt;br /&gt;
}}&lt;br /&gt;
{{Use dmy dates|date=June 2011}}&lt;br /&gt;
&lt;br /&gt;
[[Category:Determinism| ]]&lt;br /&gt;
[[Category:Philosophy of science]]&lt;br /&gt;
[[Category:Metaphysical theories]]&lt;br /&gt;
[[Category:Randomness]]&lt;br /&gt;
[[Category:Causality]]&lt;/div&gt;</summary>
		<author><name>117.214.96.109</name></author>
	</entry>
</feed>