# Re: Numbers in the Platonic Realm

```
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- l...@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 .
```

--
```
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