Standard Article

Formal Logic

  1. Miguel Palomino

Published Online: 15 SEP 2008

DOI: 10.1002/9780470050118.ecse535

Wiley Encyclopedia of Computer Science and Engineering

Wiley Encyclopedia of Computer Science and Engineering

How to Cite

Palomino, M. 2008. Formal Logic. Wiley Encyclopedia of Computer Science and Engineering. 1–9.

Author Information

  1. Universidad Complutense, Madrid, Spain

Publication History

  1. Published Online: 15 SEP 2008

Abstract

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.

Keywords:

  • logic;
  • model theory;
  • proof theory;
  • predicate logic;
  • second-order logic;
  • formal program verification;
  • logic programming;
  • functional programming