Hi Bruno Marchal 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.
[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.