Hi Bruno Marchal
The 2p appears to be in synthetic logic such as in epistemology
(phenomenology or perception) and presumably in Boolean
synthetic logic operations such as AND, OR, XOR and NAND
operations, where apparently some form of
combination is used ?

Advertising

http://en.wikipedia.org/wiki/Logic_synthesis
"History of logic synthesis
The roots of logic synthesis can be traced to the treatment of logic by
George Boole (1815 to 1864), in what is now termed Boolean algebra.
In 1938, Claude Shannon showed that the two-valued Boolean algebra
can describe the operation of switching circuits.
In the early days, logic design involved manipulating the truth table
representations as Karnaugh maps. The Karnaugh map-based minimization
of logic is guided by a set of rules on how entries in the
maps can be combined. A human designer can typically only work with
Karnaugh maps containing up to four to six variables.
Logic operations usually consist of boolean AND, OR, XOR and NAND operations,
and are the most basic forms of operations in an electronic circuit.
Arithmetic operations are usually implemented with the use of logic operators.
Circuits such as a binary multiplier or a binary adder are examples
of more complex binary operations that can be implemented using basic
logic operators. "
This shows how 2p is used in perception:
http://www.cspeirce.com/menu/library/bycsp/newlist/nl-frame.htm
The Categories as used in perception:
I 1p--Quality (Reference to a Ground),
II 2p-- Relation (Reference to a Correlate),
II 3p--Representation (Reference to an Interpretant),
I 1p-- Quale (that which refers to a ground),
II 2p--Relate (that which refers to a ground and correlate, )
III 3p--Representamen (that which refers to ground, correlate, and
interpretant. )
[Roger Clough], [rclo...@verizon.net]
12/29/2012
"Forever is a long time, especially near the end." - Woody Allen
----- Receiving the following content -----
From: Bruno Marchal
Receiver: everything-list
Time: 2012-12-28, 14:48:04
Subject: Re: On the truth of comp -->Fw: 1p= pragmatic or experiential
truthvs3p = truth by calculation
Hi Roger,
On 28 Dec 2012, at 13:53, Roger Clough wrote:
Thanks for the clarification, I was wrong about 3p.
But according to Leibniz, 1p is always in God's eye,
but our personal pov is never undistorted or perfectly clear,
and operates down here, which is why I classified it as
being contingent.
3p have necessities and contingencies, but they have also their divine and
terrestrial aspect. Here, Divine just means True, and Terrestrial just means
effectively believed (and true as I study ideally correct machines).
So there is an OUTER GOD, which is the ONE, and which is 3p, in the comp
theory, as it is the collection of true arithmetical propositions.
There is a knower, and it is the INNER GOD, it is the one "available" in the
mystical experience. For the ideally correct machine it is both terrestrial and
divine (S4Grz = S4Grz*).
The No?, i.e. the "accessible" 3p, and the Matter splits into divine and
terrestrial parts.
Eventually we get 8 person points of view, which gives 8 ways to see
arithmetical truth from inside:
TRUTH (outer God) 0p
INTELLIGIBLE (by Man) INTELLIGIBLE (by God) 3p
SOUL (inner God) 1p
Intelligible MATTER (by Man) Intelligible MATTER (by God) 3p
sensible MATTER (by Man) sensible MATTER (by God) 1p
This sum up an interpretation of Plotinus in term of the naturally existing
intensional variant of self-reference. This gives eight different
logics/mathematics.
if G del's incompleteness theorem was false, or if Church thesis was false, the
8 hypostases would collapse into effective truth. But things are not that easy
for the machine looking inward.
I have no 2p, as I am not studying the private life of couples of machines :)
Bruno
[Roger Clough], [rclo...@verizon.net]
12/28/2012
"Forever is a long time, especially near the end." - Woody Allen
----- Receiving the following content -----
From: Bruno Marchal
Receiver: everything-list
Time: 2012-12-27, 06:09:25
Subject: Re: On the truth of comp -->Fw: 1p= pragmatic or experiential truth
vs3p = truth by calculation
On 26 Dec 2012, at 17:33, Roger Clough wrote:
Note that
1p = contingent truth
Not at all. Each person pov has its own set of necessities and contingencies.
3p = necessary truth
Not correct (in comp, and weakening of comp). There are many pure 3p
arithmetical contingencies. This is highly counter-intuitive and is a
consequence of G?el's incompleteness, mainly. More on this later (perhaps on
FOAR).
So the question of whether comp is true or not is
whether or when or where
1p = 3p
In God's eye, and nowhere else. In the computationalist theory.
Bruno
----- Have received the following content -----
Sender: Roger Clough
Receiver: everything-list
Time: 2012-12-26, 11:26:27
Subject: 1p= pragmatic or experiential truth vs 3p = truth by calculation
Hi everything-list
IMHO that comp iis true or not is equalvalent to the question
does
1p = 3p ?
where
1p= truth by experience (or actuality) and
3p = truth by description (by theory)
[Roger Clough], [rclo...@verizon.net]
12/26/2012
"Forever is a long time, especially near the end." -Woody Allen
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com.
To unsubscribe from this group, send email to
everything-list+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en.
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com.
To unsubscribe from this group, send email to
everything-list+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en.
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com.
To unsubscribe from this group, send email to
everything-list+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en.