Logical Terminology＆Symbols #9
Description
λογικός
- 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