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. | ||
