Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
logic [2015/10/10 12:54] nikolaj |
logic [2015/10/10 12:58] nikolaj |
||
---|---|---|---|
Line 1: | Line 1: | ||
===== Logic ===== | ===== Logic ===== | ||
- | ==== Note ==== | + | ==== Framework ==== |
To speak about foundations of mathematics, we need some formal logic. | To speak about foundations of mathematics, we need some formal logic. | ||
Here, a //logic// is a framework comprising a syntactic language and agreed upon derivation $\text{rules}$, with //sentences// that typically represent statements of reasoning about certain things. | Here, a //logic// is a framework comprising a syntactic language and agreed upon derivation $\text{rules}$, with //sentences// that typically represent statements of reasoning about certain things. |