Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
logic [2015/10/10 12:58] nikolaj |
logic [2016/07/16 13:34] 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. | ||
| Line 23: | Line 23: | ||
| Wikipedia: | Wikipedia: | ||
| [[http://en.wikipedia.org/wiki/Theory_%28mathematical_logic%29|Theory (formal logic)]], | [[http://en.wikipedia.org/wiki/Theory_%28mathematical_logic%29|Theory (formal logic)]], | ||
| + | [[https://en.wikipedia.org/wiki/List_of_rules_of_inference | List of rules of inference]], | ||
| [[http://en.wikipedia.org/wiki/Table_of_logic_symbols|Table of logic symbols]], | [[http://en.wikipedia.org/wiki/Table_of_logic_symbols|Table of logic symbols]], | ||
| [[http://en.wikipedia.org/wiki/Admissible_rule|Admissible rule]] | [[http://en.wikipedia.org/wiki/Admissible_rule|Admissible rule]] | ||
