Modele deterministe definition

Le déterminisme est l`idée philosophique que tous les événements, y compris les choix moraux, sont déterminés complètement par des causes déjà existantes. Le déterminisme est parfois compris comme empêchant le libre-pouvoir parce qu`il implique que les humains ne peuvent pas agir autrement qu`ils ne le font. Il peut également être appelé comme déterminisme dur de ce point de vue. Le déterminisme dur est une position sur la relation du déterminisme à la libre volonté. La théorie affirme que l`univers est tout à fait rationnel parce que la connaissance complète de n`importe quelle situation donnée assure que la connaissance infaillible de son avenir est également possible. Certains philosophes suggèrent des variantes autour de cette définition de base [1]. [2] les théories déterministes tout au long de l`histoire de la philosophie sont issues de motifs et de considérations divers et parfois chevauchants. L`opposé du déterminisme est une sorte d`indéterminisme (autrement appelé nondéterminisme). Le déterminisme est souvent contrasté avec la volonté libre. 3 [4] en vue de la définition 1, nous recherchons une notion plus large formelle d`un modèle de théorie qui permet à un tel modèle d`être intrinsèquement indéterministe. Nous pouvons prendre une avance de la logique (voir, par exemple, Thomason [1970]), où les modèles indéterministes sont discutés dans le contexte de ce qu`on appelle le «temps de ramification», 15 et de la littérature des processus stochastiques (par exemple, Van Kampen [2007], chapitre 3), dans lequel un modèle d`un processus stochastique comprend non seulement une réalisation unique, mais de nombreuses réalisations incompatibles. L`approche cohérente de l`histoire de la mécanique quantique (voir Griffiths [2002]; La section 5.1.2, ci-dessous) emploie également une représentation temporelle ramification.

Dans toutes ces approches, un modèle est autorisé à être façon modale épais en représentant différentes, des possibilités futures incompatibles dans une structure mathématique. Une condition de cohérence contraint l`ensemble des familles d`histoires admissibles. Une telle famille d`histoires spécifie directement un modèle au sens de la définition 2, et quand une telle famille a plus d`un membre, ce modèle est indéterministe. Topologiquement, l`indéterminisme est du cas (b) variété, comme au moment choisi, différents projecteurs sont attribués. Cette affectation de différents projecteurs garantit également que le modèle de branchement est fidèle dans notre sens. Définition 3: le modèle de branchement du dôme de Norton est le quadruple 〈 M, ⋖, R, f, où M, ⋖ et f sont définis respectivement par les conditions (i), (II) et (III). Définition 2: un modèle, 〈 M, <, S, f, est indéterministe si et seulement si 〈 M, < 1, contient plus d`une chaîne maximale. Le modèle est déterministe si et seulement si 〈 M, < 1 ne contient qu`une chaîne maximale. Définition 1 (déterminisme d`une théorie): une théorie est indéterministe si et seulement si elle a au moins un modèle indéterministe fidèle.

La théorie est déterministe si et seulement si tous ses modèles fidèles sont déterministes. Il faut certainement plus de travail pour développer pleinement l`idée fondamentale de l`indéterminisme en ce qui concerne l`espace-temps qui admet les CTCs. En ce qui concerne notre approche énoncée à la section 4, nous notons ce qui suit: la définition principale de l`approche DBRN, définition 1, est toujours adéquate en raison de son caractère abstrait. Il sera toutefois nécessaire d`élargir la définition d`un modèle indéterministe (définition 2) de telle sorte que les temps d`espace qui admettent les CTCs soient également couverts, en tenant compte des alternatives locales. 35 Parallèlement à cette évolution, il sera nécessaire de examiner les arguments des praticiens. Par exemple, en invoquant l`approche DEQN, on prétend que «le fait qu`il existe des extensions maximales inéquivalentes signifie que les données initiales ne déterminent pas de manière unique un développement maximal. En ce sens, la théorie générale de la relativité n`est pas déterministe» (Ringström [2009], p. 18). Selon les détails de la définition, DMAP et DBRN peuvent ici venir à des verdicts opposés; Voir notre discussion sur l`interrelation des deux approches dans la section 5,2 ci-dessous.