On 02 Dec 2012, at 19:33, meekerdb wrote:
On 12/2/2012 1:07 AM, Bruno Marchal wrote:
On 30 Nov 2012, at 21:28, meekerdb wrote:
On 11/30/2012 10:02 AM, Roger Clough wrote:
And a transcendent truth could be arithmetic truth or
the truth of necessary logic.
True in logic and formal mathematics is just marker "T" that is
preserved by the rules of inference.
This makes no sense. You confuse the propositional constant T, with
the semantical notion of truth. The first is expressible/definable
formally (indeed by T, or by "0 = 0" in arithmetic), the second is
not (Tarski theorem).
On the contrary, I'm pointing out that they are NOT the same thing.
Apology, but it was not clear.
Bruno
Brent
When we say that truth is preserved by the rules of inference, we
are concerned with the second notion.
In applications it is interpreted as if it were the correspondence
meaning of 'true'.
Like in arithmetic. Truth of "ExP(x)" means that it exists a n such
that P(n), at the "metalevel", which is the bare level in logic
(that explains many confusion).
But like all applications of mathematics, it may be only
approximate.
Yes, but for arithmetic it is pretty clear, as we share our
intuition on the so-called standard finite numbers.
Bruno
http://iridia.ulb.ac.be/~marchal/
No virus found in this message.
Checked by AVG - www.avg.com
Version: 2012.0.2221 / Virus Database: 2634/5431 - Release Date:
12/01/12
--
You received this message because you are subscribed to the Google
Groups "Everything List" group.
To post to this group, send email to everything-
[email protected].
To unsubscribe from this group, send email to [email protected]
.
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en
.
--
You received this message because you are subscribed to the Google
Groups "Everything List" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to [email protected]
.
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 [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en.
