A tentative demarcation:
LOGICISM: New atomic propositions (see definition below) CAN be
derived. Example (Carnot):
(p, q) -> r, where
p: Heat is an indestructible substance.
q: Perpetuum mobile of the first kind is impossible.
r: All heat engines working between the same two temperatures have the
same maximal efficiency.
POSTLOGICISM: New atomic propositions CANNOT be derived unless the
premises are inconsistent. Examples:
[p, (p->q)] -> q
(p, not-p) -> q
DEFINITION. NEW atomic proposition is one that does not participate in
the FORMAL presentation of the premises. For instance, in [p,(p->q)]->q
the derived proposition q is NOT new. However in (p,q)->r the derived
proposition r IS new.
Pentcho Valev
.
|
