How to Understand Mathematical Logic

••• SDI Productions/E+/GettyImages

How to Understand Mathematical Logic. Mathematical logic is a branch of mathematics derived from symbolic logic and includes the subfields of model theory, proof theory, recursion theory and set theory. It is closely related to the formal logic in philosophy originated by Aristotle, but mathematical logic is a more complete method of checking arguments. Mathematical logic uses formal proof systems that are used to prove certain theorems. Here's how to understand mathematical logic.

    Study sentential logic as the first encounter with mathematical logic. This includes truth tables and the use of "and," "or" and "not" in symbolic logic. This level of study should also include first order logic, which adds quantifiers such as "for all" and "there exists" to the language.

    Continue with proof theory, which is the study of symbolic manipulation. This will require a formal language consisting of a set of symbols and a syntax. These elements comprise formulas that are used to build axioms for the theories of that language.

    Advance to first order model theory, which describes the structures that will satisfy a set of axioms. Logical formulas are used to determine the sets that may be defined in a given structure.

    Begin a study of set theory. This should include very large infinite sets to show that a "set" is an ambiguous concept.

    Take up recursion theory next. This field is the study of membership of a given set by determining what can be calculated about that set in a finite number of steps. Recursion theory involves concepts such as degree structures, ideas about reducibility and relative computability.

Related Articles

What Are the Applications of Discrete Math?
How to Calculate Cardinality
How to Find Fraction Sequences
What are Subsets of Real Numbers?
What Is the Meaning of Unbounded & Bounded in Math?
How to Calculate With the Taylor Series
What Is a Counterexample in Algebra?
Why You Should Take Math — No Matter What Science You...
How to Pass a Finite Math Course
How to Prepare for Precalculus
How to Calculate Calibration Curves
What Are Addends in Math Addition Problems?
How to Find the Domain of a Set of Numbers
10 Characteristics of a Science Experiment
How to Find the Midpoint of the Interval
To Calculate Arcsine, What Buttons Do You Press on...
Distinguishing Between Descriptive & Causal Studies
What Is Precalculus?
How to Calculate Binomial Probability

Dont Go!

We Have More Great Sciencing Articles!