Saturday, August 01, 2015

on Leibniz on equilibrious things.

“When two incompatible things are equally good, and neither in themselves, nor by their combination with other things, has the one any advantage over the other, God will produce neither of them.”
G. W. Leibniz, Letters to Clark
Suppose that a thing x is equilibrious if and only if there are two things such that one or the other is x but not both and neither one is better than the other. Letting ‘E’ abbreviate ‘equilibrious’ and letting ‘B’ abbreviate ‘better’, we can formalize the nature of the equilibrious as such:
(x)(Ex (y)(z)(((y = x v z = x) • ~(y = xz = x)) • (~Byz • ~Bzy))
Now, according to Leibniz, there are no equilibrious things (see the proof below; the premise 2 in the proof is a formalization of Leibniz’s claim above).  But how does Leibniz know this? Why couldn’t it be the case that the best possible world (which, for Leibniz, is the actual world) requires at least one equilibrious thing?
Logical Vocabulary
Predicates: A, B, C, …
Things: a, b, c, …
Statement placeholders: φ, ψ, ω
Logical equivalence:
Special abbreviations: W: wills   B: better   E: equilibrious   g: God
Propositional attitude abbreviation schema:
e.g.: ‘rW(φ)’ reads ‘r wills that φ’, and  ‘gW(φ)’ reads ‘g wills that φ
Special inference rule:          Divine Decree (DD)
                                                        gW(φ) φ
i.e. If God wills that φ, then infer that φ, and vice versa.


Post a Comment

<< Home

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 United States License.