Prerequisite

Notation

? No check.

Resources

Canonical

Complement

https://philosophy.stackexchange.com/questions/39933/where-can-i-learn-mathematical-logic/39937#39937

Goal

<aside> 🏌🏼‍♂️ You're able to make sound arguments and evaluate them by logic.

</aside>

Story

Historical Development of Logic

Informal logic

Informal logic

Formal logic, Formal system

Formal logic

Inductive logic

Inductive logic

Mathematical Logic

<aside> 💡 I reject beauty, I want formalism! Kevin Buzzard

</aside>