Abstract

Although modern modal logic came about largely after Peirce's death, he anticipated some of its key aspects, including strict implication and possible worlds semantics. He developed the Gamma part of Existential Graphs with broken cuts signifying possible falsity, but later identified the need for a Delta part without ever spelling out exactly what he had in mind. An entry in his personal Logic Notebook is a plausible candidate, with heavy lines representing possible states of things where propositions denoted by attached letters would be true, rather than individual subjects to which predicates denoted by attached names are attributed as in the Beta part. New transformation rules implement various commonly employed formal systems of modal logic, which are readily interpreted by defining a possible world as one in which all the relevant laws for the actual world are facts, each world being partially but accurately and adequately described by a closed and consistent model set of propositions. In accordance with pragmaticism, the relevant laws for the actual world are represented as strict implications with real possibilities as their antecedents and conditional necessities as their consequents, corresponding to material implications in every possible world.