Fundamental Knowledge-Part 1: The Language Loop

We must start with a language.  A language can be defined in two ways.  First let us begin with the axioms of pairing, union, and powerset and schema of separation.  This gives us a cartesian product of sets, and hence functions.

Definition 1.1.  An nary operation on a set X is a map O:X^n\to X.  A structure is a set X together with an n-ary operation.  The signature of a structure X is the sequence (n_1,...,n_k,...) where n_k is the number of k-ary operations.

Definition 1.2.  Let X and Y be structures with the same signature such that each k-ary operation of X is assigned to a k-ary operation of Y (i.e. f(O_i)=O^i where O_i is the ith k-ary operation of X).  A homomorphism between structures X and Y is a map \varphi:X\to Y such that

\displaystyle \varphi(O_i(x_1,...,x_n))=O^i(\varphi(x_1),...,\varphi(x_n)).

Note that a nullary operation on X is a map O:\varnothing\to X.  That is, it is simply an element of X.  Now let A be a set which we will call an alphabet, and its elements will be called letters.  A monoid X has a nullary operation, 1\in X called a space, and a binary operation, which will simply be denoted by concatenation.  We define the free monoid on A as the monoid A^* consisting of all strings of elements in A.  We now have two definitions of a language, of which the first is traditional and the second is mine:

Definition 1.3.  A language is a subset of A^*.

Alt Definition 1.3.  Let W\subset A^*, T be a relational structure (a set together with an n-ary relation), and F be a structure.  The language \mathcal{L}_{F,T,W} is defined as F[T[W]] where X[Y] is the free X-structure on Y.  In particular elements of W are called words, elements of T[W] are called terms, and elements of \mathcal{L}_{F,T,W} are called formulas.

Definition 1.4.  A theory of \mathcal{L}_{F,T,W} is a subset X\subset\mathcal{L}_{F,T,W}.  Elements of a theory are called axioms.  Elements of F[X] are called propositions.  A theory X of \mathcal{L}_{F,T,W} is called a reduced theory if for all \phi,\psi\in X, \psi\neq O(\phi,x_1,...,x_{n-1}) for all n-ary operations of F and all placements of \phi in evaluation of the operation.  (That is, the theory is reduced if no axiom is in the orbit of another).

For example, the theory \mathcal{L}_{F,T,W} is called the trivial theory.  The theory \varnothing is called the empty (or agnostic) theory.

Definition 1.5.  An nary logic system on a theory X is a homomorphism \varphi:F[X]\to V where F and V have the same signature and V has cardinality n.  We may also say the logic system is normal if \varphi(\phi)=\varphi(\psi) for all \phi,\psi\in X.

In traditional logic V is a two element boolean algebra.  Traditional logic also has a special kind of function on its language.

Definition 1.6.  A quantifier on \mathcal{L}_{F,T,W} is a function \exists:T[W]\times\mathcal{L}_{F,T,W}\to\mathcal{L}_{F,T,W}.  We may write:

\exists(x\in X,\phi)=(\exists x\in X)\phi.

In particular it is a pseudo operation, and gives the language a pseudo structure.  This is similar to modules, where in this case a product of a term and a formula are sent to a formula.

Hence our initial assumption of four axioms (as well as the ability to understand the English language), have in turn given us the ability to create a notion of a language of which a degenerate English can be construed as a special case.  This is certainly circular in some sense, but in foundations we must appeal to some cyclic process.  One subtlety worth noting is that the secondary language created will always be “strictly bounded above” by the initial language;  they aren’t truly equivalent.  (In fact this last statement is similar to the antecedent of Godel’s Second Incompleteness theorem).

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: