Home |
How EthicaWeb Works
Obviously, and as done before, Ethica's original deductive self-references are made into hyperlinks. But not only the 76 defined terms are turned into hyperlink targets, also 55 philosophical primitive terms used but not formally defined in Ethica are linked to a note page of their own (see lists through geometrical report). As a result, e.g. 1p06 substantia produci substantia reads like this (the sample is not a screenshot but clickable html that leads into Ethica Help-Web)
1p06 substantia produci substantia [geomap] | |
PROP. VI. One substance cannot be produced by another substance. | PROPOSITIO VI: Una substantia non potest produci ab alia substantia. |
Proof.-It is impossible that there should be in the universe two substances with an identical attribute, i.e. which have anything common to them both (Prop. ii.), and, therefore (Prop. iii.), one cannot be the cause of the other, neither can one be produced by the other. Q.E.D. | DEMONSTRATIO: In rerum natura non possunt dari duae substantiae ejusdem attributi (per propositionem praecedentem {1p05}) hoc est (per propositionem 2 {1p06}) quae aliquid inter se commune habent. Adeoque (per propositionem 3 {1p03}) una alterius causa esse nequit sive [mng eqv] ab alia non potest produci. Q.E.D. |
o The proposition has code "1p06" and mnemonic "substantia produci
substantia" ο the link "[geomap]" is explained below ο Only the deductive elements are on grey background (not scholia, appendices, explications, etc.), ο Ethica's defined terms are italicized ο Philosophical primitive terms not italicized ο Propositions used in the demonstration of {1p06} linked to their locus. |
clicking on the link "[geomap]" yields the geomap of {1p06}. Below is a screenshot
Geomap sample screen shot
[go the the real
web geomap]
- to the left you see the original references made in the
proposition Ethica-{1p06},
- to right you see other
deductive elements
and philosophical
primitives that use the element
{1p06}, for instance proposition pages that, in
Ethica, use proposition
{1p06} as a premise in their
proofs.
- the deduction of
Ethica moves from left (start of exposition) to right (towards end of
exposition).
- you can move backward in the deductive system by clicking on an element in the
left column. This will move that element to the centre. You can repeat this
until you reached an initial geomap. Initial geomaps have no
elements in the left column and read: "REFERS TO 0". It could be a philosophical
primitive, or definition when it does not use any philosophical primitive.
The second possibility does not occur in Ethica, hence backward clicking always ends at a philosophical primitive.
- In the right column of the geomap of
{1p06} you see where
{1p06} is used:
{1p06} is used in the demonstrations of two propositions only,
{1p12} and
{1p30}. If you keep moving right-column elements to the centre you will
usually end at one of Ethica's
terminal
propositions. A terminal proposition's geomap's right column is empty and
reads "IS REFERRED TO BY 0" . But not only propositions are terminal in
Ethica. Some other deductive elements: axioms, postulates and definitions
are terminal as well (find all terminal elements through the
geometrical report,
under usage frequency of
zero).
Structure of
notes pages (example:
pp1d02 cogitare, cogitatio NOT cognitio.html
):
Every one of the 76 defined and 55
philosophical primitive terms has its own
notes page, containing salient passages using a term, truncated but linked to the source,
with in bold the reason why selected and displayed. The notes pages
link naming (as in the "all
entries"- and "terms
alphabetical"-view) is as follows:
Every notes page ends with a list of strings presented in Ethica as equivalents (see equivalence claims) in which the term occurs, that is, all loci where Ethica uses connectors of the "in other words"-family (that is: some senses of sive, seu, aut, hoc est, etc.)