Leibnizian tense logic

Abstract

In this chapter we shall present an indeterministic tense logic similar to Prior’s Ockhamistic theory, but modified in the light of the observations made by Hirokazu Nishimura (mentioned in the preceding chapter). Since the system is based on a kind of temporal reasoning very similar to Leibniz’ philosophy, we shall call the system ‘Leibnizian tempo-modal logic’, LT for short. The definition of well-formed formulae within LT is:

• (1) Propositional variables are wff.

• (2) If α and β are wff and x is a positive number, then ∼α, α⊃β, α∧β, ανβ, ∀x:α, εx: α, Nα, Pα, and Fα are all wff.

• (3) There are no other wff.