| |
| |
Logic (Site not responding. Last check: 2007-10-11) |
 | | Mathematical logic refers to two distinct areas of research: The first, primarily of historical interest, is the use of formal logic to study mathematical reasoning, and the second, in the other direction, the application of mathematics to the study of formal logic. |
 | | At the beginning of the twentieth century, philosophical logicians including (Frege, Russell) attempted to prove that mathematics could be entirely reduced to logic. |
 | | As a result, philosophical logicians have contributed a great deal to the development of non-standard logics (e.g., free logics, tense logics) as well as various extensions of classical logic (e.g., modal logics), and non-standard semantics for such logics (e.g., supervaluation semantics). |
| www.1-free-software.com /en/wikipedia/l/lo/logic_1.html (1439 words) |
|