blob: cb405082036daa7ee018fe0f895fd2025d544146 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
|
%%
%% This is file `ptolemaicastronomy.ins',
%% generated with the docstrip utility.
%%
%% The original source files were:
%%
%% ptolemaicastronomy.dtx (with options: `install')
%%
%% ptolemaicastronomy
%% ==================
%%
%% Diagrams of sphere models for variably strict conditionals (Lewis
%% counterfactuals)
%%
%% Author: Richard Zach
%% E-mail: rzach@ucalgary.ca
%% License: Released under the LaTeX Project Public License v1.3c or later
%% See: http://www.latex-project.org/lppl.txt
%%
%% 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. It has nothing to do with Ptolemy or with
%% astronomy, sorry.
%%
%% 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.
%%
%% for documentation and source code see
%% https://github.com/rzach/ptolemaic-astronomy
%%
\input docstrip.tex
\keepsilent
\askforoverwritefalse
\preamble
ptolemaicastronomy
==================
Diagrams of sphere models for variably strict conditionals (Lewis
counterfactuals)
Author: Richard Zach
E-mail: rzach@ucalgary.ca
License: Released under the LaTeX Project Public License v1.3c or later
See: http://www.latex-project.org/lppl.txt
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. It has nothing to do with Ptolemy or with
astronomy, sorry.
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.
for documentation and source code see
https://github.com/rzach/ptolemaic-astronomy
\endpreamble
\usedir{tex/latex/ptolemaicastronomy}
\generate{
\file{\jobname.sty}{\from{\jobname.dtx}{package}}
}
\endbatchfile
\endinput
%%
%% End of file `ptolemaicastronomy.ins'.
|
