Abstract algebraic logic


Abstract algebraic logic

In mathematical logic, abstract algebraic logic (AAL) studies the ways in which classes of algebras may be associated with logical systems, and how these classes of algebras interact with logical systems.

Overview

The archetypal association of this kind, one fundamental to the historical origins of algebraic logic and lying at the heart of all subsequently developed subtheories, is the association between the class of Boolean algebras and classical propositional calculus. This association was discovered by George Boole in the 1850s, and refined by others, especially Ernst Schröder in the 1890s. This work culminated in Lindenbaum-Tarski algebras, devised by Alfred Tarski and his student Adolf Lindenbaum in the 1930s. Later, Tarski and his American students (whose ranks include Don Pigozzi) went on to discover cylindric algebra, which algebraizes all of classical first-order logic, and revived relation algebra, whose models include all well-known axiomatic set theories.

Classical algebraic logic, which comprises all work in algebraic logic until about 1960, studied the properties of specific classes of algebras used to "algebraize" specific logical systems of particular interest to specific logical investigations. Generally, the algebra associated with a logical system was found to be a type of lattice, possibly enriched with one or more unary operations other than lattice complementation.

Abstract algebraic logic is a modern subarea of algebraic logic that emerged in Poland during the 1950s and 60s with the work of Helena Rasiowa, Roman Sikorski, Jerzy Łoś, and Roman Suszko (to name but a few). It reached maturity in the 1980s with the seminal publications of the Polish logician Janusz Czelakowski, the Dutch logician Wim Blok and the American logician Don Pigozzi. The focus of AAL shifted from the study of specific classes of algebras associated with specific logical systems (the focus of classical algebraic logic), to the study of:
#Classes of algebras associated with classes of logical systems whose members all satisfy certain abstract logical properties;
#The process by which a class of algebras becomes the "algebraic counterpart" of a given logical system;
#The relation between metalogical properties satisfied by a class of logical systems, and the corresponding algebraic properties satisfied by their algebraic counterparts.

The passage from classical algebraic logic to abstract algebraic logic may be compared to the passage from "modern" or abstract algebra (i.e., the study of groups, rings, modules, fields, etc.) to universal algebra (the study of classes of algebras of arbitrary similarity types (algebraic signatures) satisfying specific abstract properties).

The two main motivations for the development of abstract algebraic logic are closely connected to (1) and (3) above. With respect to (1), a critical step in the transition was initiated by the work of Rasiowa. Her goal was to abstract results and methods known to hold for the classical propositional calculus and Boolean algebras and some other closely related logical systems, in such a way that these results and methods could be applied to a much wider variety of propositional logics.

(3) owes much to the joint work of Blok and Pigozzi exploring the different forms that the well-known deduction theorem of classical propositional calculus and first-order logic takes on in a wide variety of logical systems. They related these various forms of the deduction theorem to the properties of the algebraic counterparts of these logical systems.

Abstract algebraic logic has become a well established subfield of algebraic logic, with many deep and interesting results. These results explain many properties of different classes of logical systems previously explained only in a case by case basis or shrouded in mystery. Perhaps the most important achievement of AAL has been the classification of propositional logics in a hierarchy, called the abstract algebraic hierarchy or Leibniz hierarchy, whose different levels roughly reflect the strength of the ties between a logic at a particular level and its associated class of algebras. The position of a logic in this hierarchy determines the extent to which that logic may be studied using known algebraic methods and techniques. Once a logic is assigned to a level of this hierarchy, one may draw on the powerful arsenal of results, accumulated over the past 30-odd years, governing the algebras situated at the same level of the hierarchy.

Examples

ee also

*Abstract algebra
*Algebraic logic
*Hierarchy (mathematics)
*Model theory
*Variety (universal algebra)

References

*Blok, W., Pigozzi, D, 1989. "Algebraizable logics". Memoirs of the AMS, 77(396).
*Czelakowski, J., 2001. "Protoalgebraic Logics". Kluwer.
*Font, J. M., Jansana, R., 1996. "A General Algebraic Semantics for Sentential Logics". Lecture Notes in Logic 7, Springer-Verlag.
*--------, and Pigozzi, D., 2003, "A survey of abstract algebraic logic," "Studia Logica 74": 13-79.

External links

*Stanford Encyclopedia of Philosophy: " [http://plato.stanford.edu/entries/consequence-algebraic/ Propositional Consequence Relations and Algebraic Logic] " -- by Ramon Jansana.


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Algebraic logic — In mathematical logic, algebraic logic formalizes logic using the methods of abstract algebra.Logics as models of algebrasAlgebraic logic treats logics as models (interpretations) of certain algebraic structures, specifically as models of bounded …   Wikipedia

  • Algebraic Logic Functional programming language — also known as ALF is a programming language which combines functional and logic programming techniques. Its foundation is Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and… …   Wikipedia

  • logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium

  • Algebraic geometry — This Togliatti surface is an algebraic surface of degree five. Algebraic geometry is a branch of mathematics which combines techniques of abstract algebra, especially commutative algebra, with the language and the problems of geometry. It… …   Wikipedia

  • Algebraic structure — In algebra, a branch of pure mathematics, an algebraic structure consists of one or more sets closed under one or more operations, satisfying some axioms. Abstract algebra is primarily the study of algebraic structures and their properties. The… …   Wikipedia

  • Abstract algebra — This article is about the branch of mathematics. For the Swedish band, see Abstrakt Algebra. The permutations of Rubik s Cube have a group structure; the group is a fundamental concept within abstract algebra. Abstract algebra is the subject area …   Wikipedia

  • Abstract rewriting system — In mathematical logic and theoretical computer science, an abstract rewriting system (also (abstract) reduction system or abstract rewrite system; abbreviation ARS) is a formalism that captures the quintessential notion and properties of… …   Wikipedia

  • logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… …   Universalium

  • Abstract structure — An abstract structure in mathematics is a formal object that is defined by a set of laws, properties, and relationships in a way that is logically if not always historically independent of the structure of contingent experiences, for example,… …   Wikipedia

  • Non-classical logic — Non classical logics (and sometimes alternative logics) is the name given to formal systems which differ in a significant way from standard logical systems such as propositional and predicate logic. There are several ways in which this is done,… …   Wikipedia


We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.