ptolemaicastronomy – Diagrams of sphere models for variably strict conditionals (Lewis counterfactuals)
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. The macros all make use of TikZ.
|Licenses||The LaTeX Project Public License 1.3c|
|Contained in||TeX Live as ptolemaicastronomy|
MiKTeX as ptolemaicastronomy
Download the contents of this package in one zip archive (243.1k).
Maybe you are interested in the following packages as well.
- tikz-inet: Draw interaction nets with TikZ
- prooftrees: Forest-based proof trees (symbolic logic)
- tikz-page: Small macro to help building nice and complex layout materials
- tikz-dimline: Technical dimension lines using PGF/TikZ