Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: layer logic: a new dimension to logic?
Replies: 12   Last Post: May 26, 2013 10:56 AM

 Messages: [ Previous | Next ]
 Oskar Trestone Posts: 22 From: Germany Registered: 9/17/11
Re: layer logic: a new dimension to logic?
Posted: May 26, 2013 10:56 AM

Hello,

trying to use layers of layers was maybe to ambitios.

Therefore I come back to a easier way:

I will alter the following rule:
A7: layers are upstairs and for themselfes "blind":
W ( W(A,t)=v, d ) = u for t >=d ans any v = u or w or -w.

Now the truth value of "W(A,t)=v" is independant of layers (like d).

As now we see W(A,t) as a (fixed) truth value,
therefore statements about W(A,t) (like ?W(A,t)=v?) are statements about truth values an not dependant of layers.

In classic logic a statement A could be substituted by its truth value W(A),
in layer logic A this is possible for every layer t= 0,2,3, ...:
For every layer t statement A can be substituted by W(A,t).

So statements about W(A,t) are de facto classical statements
(where I use a 3rd truth value u "undefined" for symmetrical reasons).

Same with statements about all statements, all layers or about the existence of special properties.

The equality of layer statements is a meta property and easier to define:
W(A=B) = w :<-> for all t: W ( W(A,t) = W(B,t) ) = w. and W(A=B)= f else.
(if A or B are classic and no layer statements, we define W(A,0) :=u and W(A,t):= W(A) else, same for W(B,t))

Equality of layer sets:

W(M1=M2) = W ( For all t: W(xeM1,t) = W(xeM2,t) )
Exspecially: W(M=M)=w .

The succesor set m+ (for the peano axioms) is now more easy:

W(x e m+, t+1) := W ( W(x e m, t) v W(x=m) )

As a whole, layers are just used in a certain "kernel" of logic, the rest remains nearly as usual.

Looking from the perspective of layer logic it still remains a unsolved question,
why in everyday life we so rarely encounter layer effects...

Yours
Trestone

Date Subject Author
9/17/11 Oskar Trestone
9/18/11 Oskar Trestone
9/19/11 Oskar Trestone
9/21/11 Oskar Trestone
9/21/11 frogfoot
10/1/11 Oskar Trestone
10/8/11 Oskar Trestone
10/15/11 Oskar Trestone
12/26/11 Oskar Trestone
12/28/11 Oskar Trestone
1/8/12 Oskar Trestone
12/28/12 Oskar Trestone
5/26/13 Oskar Trestone