Logical Terminology＆Symbols

[BFGriffith]

λογικός

• deductive arguments
• inductive arguments
• abductively inferential arguments
• ampliative arguments

historical Logical Systems:

• Aristotelian Logic
• Stoic Logic
• Nyaya
• Mohism
• metalogic
• mathematical logic
• computational logic
• formal semantics of natural language

---

epistemology of logic:

• first-order logics
• higher-order logics
• informal logic
• deviant＆intuitionistic＆paraconsistent logics
• extended logics
• propositional logic
• modal logic
• categorical propositions
• deontoligcal logics, obligation＆permission
• a priori
• a posteriori
• inferences
• syllogism
• major term, minor term, middle term

---

• premises
• predicates

---

• connectives
• conclusions
• tautologies
• truth tables
• axioms
• semantics
• soundness
• validity

---

Bayesian inferences

• skeptical
• historical
• falsificationism