looking for a way around the liar and logic contradictions I have introduced a new logical dimension:
Statements are not absolutely true or false anymore but true or false related to a viewing angel or kind of logical layer or meta-level.
With this new dimension problems become solvable that are unsolvable with classical logic.
Most contradictions are not contradicional anymore, as the truth values belong to different layers.
The good news (in my theory): The liar´s paradox, Cantor´s diagonal argument, Russell´s set and Goedel´s incompleteness theorem are valid no more.
The bad news: There is no more absolute truth and we have to get used to a new mathematics where numbers might have multiple prime factorisations.
Over all, infinity and paradoxes will be much easier to handle in layer theory, finite sets and natural numbers more complicated, but possible (but it will be a new kind of natural numbers...).
The theory was in the beginning just a ´Gedankenexperiment´, and my formal description and axioms may still be incorrect an incomplete. Perhaps someone will help me?
Here my axioms of layer logic:
Axiom 0: There is a inductive set T of layers: t=0,1,2,3,? (We can think of the classical natural numbers, but we need no multiplication)
Axiom 1: Statements A are entities independent of layers, but get a truth value only in connection with a layer t, referred to as W(A,t).
Axiom 2: All statements are undefined (=u) in layer 0. VA: W(A,0)=u (We need u to have a symmetric start.)
Axiom 3: All statements in positive layers have either the truth value ´w´ (true) or ´-w´ (false). Vt>0:VA: W(A,t)= either w or ?w. (We could have u in all layers, but things would be more complicated).
Axiom 4: Two statements A an B are equal in layer logic, if they have the same truth values in all layers t=0,1,2,3,... VA:VB: ( A=B := Vt: W(A,t)=W(B,t) )
Axiom 5: (Meta-)statements M about a layer t are constant = w or = -w for all layers d >= 1. For example M := ´W(-w,3)= -w´, then w=W(M,1)=W(M,2)=W(M,3)=... (Meta statements are similar to classic statements)
Axiom 6: (Meta-)statements about ´W(A,t)=...´ are constant = w or = -w for all layers d >= 1.
Axiom 7: A statement A can be defined by defining a truth value for every layer t. This may also be done recursively in defining W(A,t+1) with W(A,t). It is also possible to use already defined values W(B,d) and values of meta statements (if t>=1). For example: W(H,t+1) := W( W(H,t)=-w v W(H,t)=w,1)
A0-A7 are meta statements, i.e. W(An,1)=w.
Although inspired by Russell´s theory of types, layer theory is different.
For example there are more valid statements (and sets) than in classical logic and set theory (or ZFC), not less. And (as we will see in layer set theory) we will have the set of all sets as a valid set.
Last not least a look onto the liar in layer theory:
Classic: LC:= This statement LC is not true (LC is paradox)
Layer logic: We look at: ´The truth value of statement L in layer t is not true´ And define L by (1): Vt: W(L, t+1) := W ( W(L,t) -= w , 1 )
Axiom 2 gives us: W(L,0)=u (1) with t=0 gives us: W(L,1) = W ( u-=w , 1 ) = -w (2) with t=1 : W(L,2) = W ( -w-=w , 1 ) = w (3) with t=2 : W(L,3) = W ( -w-=w , 1 ) = -w
L is a statement with different truth values in different layers, but L is not paradox.