Re: "Friendly Premises"

"Acme Diagnostics" <LFinezapthis@xxxxxxxxxxxxxxxx> writes:

> I am specifically interested in the exact point, historically,
> among syllogistic, propositional, and predicate logic where the
> words "axiom," "theorem," and "proof" (in the same sense as proof
> in predicate logic) were introduced among those three logics, and
> any accompanying departures from the previous logics that did not
> predominately use those three terms.
>
> Does the Kneale & Kneale book cover that historical question
> comprehensively?

Your questions are based on preconceptions that are better set aside
if you wish to learn something about formal logic and its
history. Just pick up any book on the subject that seems readable to
you, and go on from there.
.

Relevant Pages

  • Re: "Friendly Premises"
    ... >> I am specifically interested in the exact point, historically, ... >> any accompanying departures from the previous logics that did not ... >> Does the Kneale & Kneale book cover that historical question ... >history. ...
    (sci.logic)
  • Re: "Friendly Premises"
    ... >> any accompanying departures from the previous logics that did not ... >history. ... exactly correct in naming the "pioneers", ... but just the result of the mathematical logic agenda wrt logic ...
    (sci.logic)