Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
logic [2015/10/10 12:15] nikolaj |
logic [2015/10/10 12:59] nikolaj |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ===== Logic ===== | ===== Logic ===== | ||
| - | ==== Framework ==== | + | ==== Note ==== |
| 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. | ||
