3

This question already has an answer here:

Where should I start when learning logic? Should I start with syllogistic logic, predicate logic, etc?

marked as duplicate by Greek - Area 51 Proposal, James Kingsbery, Nick R, Joseph Weissman Mar 4 '16 at 20:59

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

  • 1
    Check out: Priest, G., "Logic", Oxford University Press, 2000, and Priest, G., "An Introduction to Non-Classical Logic", Cambridge University Press, 2nd Edition, 2008. The first book ist very short, the second quite long and comprehensive. – Moritz Dec 2 '15 at 0:06
  • 1
    It depends on what you need it for. If it is philosophy or law then syllogistic, and translating colloquial reasoning into it, is a canonical starting point. If it is more mathematics or linguistics you can probably skip syllogistic and start with modern propositional logic, then predicate/quantifier logic. – Conifold Dec 2 '15 at 1:18
  • 1
    I agree with Conifold. Please give more context. – Keelan Dec 2 '15 at 7:22
3

In general, one starts with propositional logic. It is a 2-valued logic. Every statement can be proved with the help of truth tables. Propositional logic is also the logic we use in our every-day reasoning.

The study of propositional logic was initiated by Aristole, e.g. in his books of metaphysics.

You can learn propositional logic from any elementary textbook of logic or introduction into logic.

The next step could be either predicate calculus or modal logic.

3

In standard logic courses, students start with simple propositional logic in order to familiarise with logical operators ("and", "or", " not", "if then"...) that connect propositions. They learn deduction rules for the operators and the truth tables associated with them. Then they go on and analyze propositions in terms of predicates, constants, variables and quantifiers ("for all", "there exists"): this is predicate logic. They learn the deduction rules for quantifiers and sometimes they learn to use Venn diagrams. Only then they might learn other logics (modal, intuitionist, many valued...) or other related aspects (proof theory, model theory...).

In mathematics curriculum, logic is often introduced through Boolean logic, which is just the algebra that corresponds to propositional logic. Syllogistic is interesting for an historical perspective on the development of logic from antiquity. It is the ancestor of modern predicate logic.

1

I would start with first order predicate logic, which is foundational to others. Then move on to non-classical logics and modal logics.

If you want some book recommendations, I suggest Mendelson's Introduction to Mathematical Logic, Priest's Introduction to Non-Classical Logics, and Hughes and Cresswell's New Introduction to Modal Logic.

Not the answer you're looking for? Browse other questions tagged or ask your own question.