Published Online: 15 SEP 2008
Copyright © 2007 by John Wiley & Sons, Inc.
Wiley Encyclopedia of Computer Science and Engineering
How to Cite
Palomino, M. 2008. Formal Logic. Wiley Encyclopedia of Computer Science and Engineering. 1–9.
- Published Online: 15 SEP 2008
Logic studies the validity of arguments. Using as case studies propositional and predicate logic, the model and proof theoretic approaches to what constitute a valid consequence in modern logic are presented, and their decidability is discussed. This first part of the article ends with a brief survey of alternative logics and discussion of the prevalence of predicate logic. The second part of the article presents applications of logic in computer science, focusing on specification, verification, and programming. Computer science has taken the place of mathematics as the driving force behind formal logic, and it will be the applications and needs in that area that are bound to guide the future development of the latter.
- model theory;
- proof theory;
- predicate logic;
- second-order logic;
- formal program verification;
- logic programming;
- functional programming