Logic definition ۱ Logic is the formal study, and use, of the interrelationship between statements in order to determine whether arguments yield useful, coherent and correct results, or bullshit. Branches Model theory Model theory Proof theory Proof theory Foundation for mathematics Foundation for mathematics Levels Critical Thinking Critical Thinking Classical logic Classical logic Extended logics Extended logics Non-classical logics Non-classical logics