Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Mathematical logic & its branches

  1. Oct 10, 2012 #1
    What branches of mathematical logic are there? I've taken formal logic (that is, the logic where one has various operators, like conjunction, disjunction, etc). What other fields of logic should I take to become better at mathematical logic? Which fields of logic are the most useful and essential?
  2. jcsd
  3. Oct 10, 2012 #2


    User Avatar
    Science Advisor

    Hey Cinitiator.

    One idea to help includes looking at a computational logic implementation known as ProLog:


    This will give you a lot of experience if you use the platforms and get to used to the paradigm for these applications.

    Getting used to using the software, doing a few queries and seeing how it all works and the feedback you will get will give you knowledge about how people think about not only describing logical systems, but also proving them or enumerating them.
  4. Nov 5, 2012 #3
    There are four main branches of mathematical logic:

    1. Set theory
    2. Model theory
    3. Computability and recursion theory
    4. Proof theory

    (At least this is how the Handbook of Mathematical Logic is divided.)

    You can study a book which touches on all subjects. For example:


    Or you can try an introductory book in a subject of your choice. If your major is maths then first learn set theory. If your major is computer science then first learn Computability theory.
    Last edited by a moderator: May 6, 2017
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook