There is a certain conventional interpretation of Aristotle's argument, inMetaphysicsΛ.7, for the identification of the first unmoved mover as God, according to which that argument has the following outline.

The possible-worlds semantics for modality says that a sentence is possibly true if it is true in some possible world. Given classical prepositional logic, one can easily prove that every consistent set of propositions can be embedded in a ‘maximal consistent set’, which in a sense represents a possible world. However the construction depends on the fact that standard modal logics are finitary, and it seems false that an infinite collection of sets of sentences each finite subset of which is (...) intuitively ‘possible’ in natural language has the property that the whole set is possible. The argument of the paper is that the principles needed to shew that natural language possibility sentences involve quantification over worlds are analogous to those used in infinitary modal logic. (shrink)

Voltaire's Pangloss, the man who held among other things that noses were clearly created in order to support spectacles, is the very archetype of the lunatic teleologist; a caricature of sublimely confident faith in the general and undeniable goodness of the world's arrangement, a faith that managed astoundingly to survive the Lisbon earthquake and his own subsequent auto dafé. Voltaire, of course, is poking fun at such conceptions; and, no doubt, in their extreme sanguinity as well as in their apparent (...) imperviousness to devastating empirical counter-evidence, they do seem to be eminently risible notions. In the face of them we might be tempted to abandon ‘métaphysico-théologo-cosmolonigologie’, and to agree with Candide that ‘Cela est bien dit, mais il faut cultiver notre jardin’. (shrink)

Voltaire's Pangloss, the man who held among other things that noses were clearly created in order to support spectacles, is the very archetype of the lunatic teleologist; a caricature of sublimely confident faith in the general and undeniable goodness of the world's arrangement, a faith that managed astoundingly to survive the Lisbon earthquake and his own subsequent auto dafé. Voltaire, of course, is poking fun at such conceptions; and, no doubt, in their extreme sanguinity as well as in their apparent (...) imperviousness to devastating empirical counter-evidence, they do seem to be eminently risible notions. In the face of them we might be tempted to abandon ‘métaphysico-théologo-cosmolonigologie’, and to agree with Candide that ‘Cela est bien dit, mais il faut cultiver notre jardin’. (shrink)