Re: "Friendly Premises"


Torkel Franzen <torkel@xxxxxxxxxx> wrote:
>"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

Nope. They were right on target.

> that are better set aside

Nope. That request only serves a false agenda.

>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.

I have the answers to all my questions in this thread. Most
of the answers you did supply were at least misleading. You were
exactly correct in naming the "pioneers" (of mathematical logic),
but your error rate is too high to accept what you say on this
subject by authority. I'm quite sure it's no lack of knowledge,
but just the result of the mathematical logic agenda wrt logic
in general.

The correct answer to the question at the top is "Boole -
mid-19th century, after syllogistic and propositional logic, but
before some improvements to propositional logic, most notably
truth tables, and entirely before predicate logic." This answer
is sufficient for googling the detail.

Larry
.

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 ... > Does the Kneale & Kneale book cover that historical question ... history. ...
    (sci.logic)