We have two main aims: to construct mathematical models for analysing determinism, causality and supervenience; and then to use these to demonstrate the possibility of constructing an ontic construal of the operation of free will - one requiring both the presentation of genuine alternatives to an agent and their selecting between them in a manner that permits the attribution of responsibility. Determinism is modelled using trans-temporal ontic links between discrete juxtaposed universe states and shown to be distinct from predictability. Causality is defined on a temporal sequence of δ-algebras and quantified using a measure. The measure leads to definitions of causal overdetermination and epiphenomena. Proofs are constructed to demonstrate deterministic universes must carry their properties essentially but not necessarily locally. We argue determinism and causality are separate doctrines. These models and results are marshalled to put the case that a counterfactual construal of ontic choice cannot work. In response we propose ‘immanence' - a modified form of indeterminism whereby a universe can present choices to its denizens. We prove that beings subsumed within a universe cannot pilot their own actions. We then argue these beings can exercise free will only when selecting between choices inhering within immanent relata. A being is responsible for its selections if and only if it is constituted of a temporally evolving deterministic substructure. Our proposal is novel: it avoids injecting indeterminism into the decision process. Topological models for property supervenience are developed and used to reconstruct standard definitions from the literature. These are then used to demonstrate considerations of supervenience do not affect our arguments. We have demonstrated that a model of the exercise of free will involving both genuine choices and responsibility is possible but can only operate within a non-deterministic universe possessing specific traits.

Whether Aristotle wrote the treatises of Metaphysics with different conceptions of the science of Being in mind has long puzzled scholars. The particular question that causes them unease is whether Aristotle's enterprise in establishing the science of Being through the several treatises of Metaphysics is marked by a general science of Being, studying all departments of Being whatsoever (metaphysica generalis), or whether his investigation of this science reflects an attitude towards a special metaphysics (metaphysica specialis) seeking knowledge of a special department of Being, in this case, God, and therefore should be regarded as a science that is eminently theological. In this thesis, I aim to show that Aristotle's enterprise in Metaphysics does not necessarily hinder reconciliation between the universal and the theological dimensions of the science of Being and that although Aristotle's conception of the science of Being is eminently theological it does not conflict with its also being universal. Furthermore, I aim to show that had the conception of the science of Being in Aristotle's mind not been theological, it would not be universal either.