Encyclopedia of Database Systems

Living Edition
| Editors: Ling Liu, M. Tamer Özsu

First-Order Logic: Syntax

  • Val Tannen
Living reference work entry
DOI: https://doi.org/10.1007/978-1-4899-7993-3_999-2

Synonyms

Definition

First-order logic (FOL) is a formalization of the most common kind of mathematical reasoning. It is characterized by the quantification of variables that range over a “universe of discourse” (a set of values). Less complex reasoning is captured by propositional (a.k.a. Boolean or sentential) logic. More complex reasoning is captured by second-order or even higher-order logic.

The syntactic aspects of FOL comprise a vocabulary (a.k.a. language or signature), formulae and, in particular, sentences (a.k.a. assertions), and a proof system (one of many equivalent ones!), structures (a.k.a. models or interpretations), and the satisfaction (a.k.a. truth or validity or “holds in”) relationship between sentences and structures. All are detailed below.

FOL is the source of the relational paradigm that was introduced by E. F. Codd in 1970 and has been dominating database technology for 30+ years.

Key Points

A first-order vocabulary...

This is a preview of subscription content, log in to check access.

Recommended Reading

  1. 1.
    Abiteboul S, Hull R, Vianu V. Foundations of databases: the logical level. Reading: Addison Wesley; 1994.Google Scholar
  2. 2.
    Enderton HB. 1A mathematical introduction to logic. London: Academic; 2000.Google Scholar
  3. 3.
    Libkin L. Elements of finite model theory. Berlin: Springer; 2004.Google Scholar

Copyright information

© Springer Science+Business Media LLC 2016

Authors and Affiliations

  1. 1.Department of Computer and Information ScienceUniversity of PennsylvaniaPhiladelphiaUSA