Description: Stoic logic Thema 4
version a.
Statement T4 of [Bobzien] p. 117 shows a
reconstructed version of Stoic
logic thema 4: "When from two assertibles a third follows, and
from the
third and one (or both) of the two and one (or more) external
assertible(s) another follows, then this other follows from the first
two and the external(s)."
We use to
represent the "external" assertibles. This is version
a, which is without the phrase "or both"; see stoic4b 1433 for the version
with the phrase "or both". (Contributed by David A. Wheeler,
17-Feb-2019.) |