Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Algebraic logic.

  1. Apr 19, 2006 #1


    User Avatar
    Gold Member

    i searched at amazon for books, and find some books about this topic, and i wonder what does this topic cover?
    in one book it states that:"The main theme is that standard algebraic results (representations) translate into standard logical results (completeness). "
    ok i understand what completeness is, but what does it have to do with (if i'm right here) represntation theory of groups (unless there are other representations)?

    and the book also says that it covers:"...gaggles, distributoids, partial- gaggles, and tonoids", what are they? (i tried wiki and mathworld and didn't find anything about them).

    here's a link to the book:
  2. jcsd
  3. Apr 19, 2006 #2


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    I know part of what the book is doing -- I'm a little familiar with universal algebra.

    Universal algebra is an approach that can study many diverse kinds of algebraic structures simultaneously, such as:
    groups, abelian groups, rings, modules over a ring, vector spaces over a particular field, algebraic lattices, algebras over a ring, representations of a discrete group acting on a vector space over a particular field, etc.

    (but not fields!)

    The connecting theme is that all of these structures can be defined by writing down the allowed operations, and some equational identities they satisfy.

    For example, let Omega (that should be the capital Greek letter) be the type consisting of a binary operation *, a unary operation ^-1, and a nullary operation 1. (Yes, that's essentially just a constant, but it's fruitful to think of it as a function with no arguments)

    The category of structures that have those three operations are called Omega-algebras.

    The category of groups is a variety of Omega-algebras, defined by taking the quotient by the following relations:

    1 * x = x
    x * 1 = x
    x * x^-1 = 1
    x^-1 * x = 1
    x * (y * z) = (x * y) * z

    This is the general idea behind the foundations of universal algebra. Another example is vector spaces over a field K.

    The type for this structure consists of the binary operation +, the unary operation -, the nullary operation 0, and one unary operation for every element of K.

    Then, the equational identities include (among other things) one equation of the form
    k (v + w) = k(v) + k(w)

    for every element k of K.

    Anyways, if you were reading what I said above, you knew logic but not algebra, you would have thought I was talking about model theory. :smile:

    Specifying the underlying type of a universal algebra is essentially the same thing as specifying a formal language -- they're both simply a list of symols and how many arguments they accept.

    The structures of this language are precisely the Omega-algebras.

    In the univeral algebra setting, we take the quotient by certain algebraic identities to create the structures of interest.

    In the logical setting, we look for structures that satisfy those algebraic identities. (i.e. models of those identities)

    To repeat...

    From the universal point of view, a group is nothing more than the quotient of Omega-algebra by a particular set of relations.

    From the logical point of view, a group is nothing more than a structure in a particular language that satisfies a particular set of propositions.

    So, foundationally at least, universal algebra is simply a special case of model theory where the statements to model take a particular form.
  4. Apr 19, 2006 #3


    User Avatar
    Gold Member

    okay, thank for your input.
    what about the terms i have specified, such as gaggle and tonoid?
  5. Apr 19, 2006 #4


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    I've no idea.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook