Diagrams of sphere models for variably strict conditionals
David K. Lewis (Counterfactuals, Blackwell 1973) introduced a sphere semantics for counterfactual conditionals. He jokingly referred to the diagrams depicting such sphere models as Ptolemaic astronomy, hence the name of this package. The macros provided in this package aid in the construction of sphere model diagrams in the style of Lewis.
| Linter | Message | Location |
|---|---|---|
| description Validate package descriptions | sentences in description should be followed by two spaces; possible infraction at 7 |