Fedora Packages

texlive-ptolemaicastronomy Subpackage of texlive

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.

Releases Overview

Release Stable Testing
Fedora Rawhide svn50810-74.fc42 -
Fedora 41 svn50810-73.fc41 -
Fedora 40 svn50810-71.fc40 -
File a new bug report »
Package Info
Related Packages

You can contact the maintainers of this package via email at texlive dash maintainers at fedoraproject dot org.



Sources on Pagure