Lesson 5 - Logic Flashcards
“The study of truths based completely on the meanings of the terms they contain.”
Logic
foundation of a logical argument
proposition, or statement.
-accurate/not
propositions used to build the argument.
Premises
built on premises.
argument
typical version of logic
classical elementary logic or classical first-order logic.
Four types of Logic
Informal Logic
Formal Logic
Symbolic Logic
Mathematical Logic
what’s typically used in daily reasoning. This is
the reasoning and arguments you make in your personal exchanges with others.
Informal Logic
use deductive reasoning and the premises
must be true. You follow the premises to reach a formal conclusion.
Formal Logic
deals with how symbols relate to each other.
Symbolic Logic
you apply formal logic
to math. This type of logic is part of the
basis for the logic used in computer
sciences.
Mathematical Logic