Re: The Nature of Truth

2014-01-09 Thread Bruno Marchal
On 09 Jan 2014, at 05:55, meekerdb wrote: Bruno writes Bp & p, where "Bp" ambiguously means "Proves p" (Beweisbar?) and "Believes p". What is ambiguous? I said that I limit the interview to Platonist *correct* machine, believing in arithmetic or in recursively enumerable extension of ari

Re: The Nature of Truth

2014-01-09 Thread Bruno Marchal
On 08 Jan 2014, at 23:11, John Mikes wrote: Bruno and Brent: did you agree whether "TRUE BELIEF" means in your sentences 1. one's belief that is TRUE, (not likely), It is that one. "Bp & p" means that p is believed (by some machine) and that it is the case that p. or 2. the TRUTH tha

Re: The Nature of Truth

2014-01-08 Thread meekerdb
Bruno writes Bp & p, where "Bp" ambiguously means "Proves p" (Beweisbar?) and "Believes p". "Believes p and P" is then a belief that is "true". I put scare quotes around "true" because I think it just means "is a consequence of some (Peano's) axioms", which is not necessarily the same as "expre

Re: The Nature of Truth

2014-01-08 Thread John Mikes
Bruno and Brent: did you agree whether *"TRUE BELIEF*" means in your sentences 1. one's belief that is TRUE, (not likely), or 2. the TRUTH that one believes in it (a maybe)? (none of the two may be 'true'). JM On Wed, Jan 1, 2014 at 5:50 AM, Bruno Marchal wrote: > > On 31 Dec 2013, at 21:09

Re: The Nature of Truth

2014-01-01 Thread Bruno Marchal
On 31 Dec 2013, at 21:09, meekerdb wrote: On 12/31/2013 1:07 AM, Bruno Marchal wrote: only rules to extract knowledge from assumed beliefs. ? I answered "no" to your question. Knowledge is not extracted in any way from belief (assumed or not). knowledge *is* belief, when or in the world

Re: The Nature of Truth

2013-12-31 Thread meekerdb
On 12/31/2013 1:07 AM, Bruno Marchal wrote: only rules to extract knowledge from assumed beliefs. ? I answered "no" to your question. Knowledge is not extracted in any way from belief (assumed or not). knowledge *is* belief, when or in the world those beliefs are true, but this you can never

Re: The Nature of Truth

2013-12-31 Thread Bruno Marchal
inal" thing. I think we can always thing of a "final" theory. What we can never do it is to know it is final. But this we will never know, at least in normal state of consciousness but probably in all state of consciousness in which communication can make sense. What would be li

Re: The Nature of Truth

2013-12-31 Thread Bruno Marchal
Edgar L. Owen wrote: All, In response to the discussion of the possibility of a "Final Theory" I'm starting a new topic on the Nature of Truth since this is an important and separate issue from previous discussions. 1, it is impossible to directly know the external fund

Re: The Nature of Truth

2013-12-30 Thread John Mikes
a "Final" Theory. John Mikes On Mon, Dec 30, 2013 at 6:39 AM, Edgar L. Owen wrote: > All, > > In response to the discussion of the possibility of a "Final Theory" I'm > starting a new topic on the Nature of Truth since this is an important and > separate i

Re: The Nature of Truth

2013-12-30 Thread Platonist Guitar Cowboy
On Mon, Dec 30, 2013 at 9:21 PM, LizR wrote: > On 31 December 2013 08:20, Platonist Guitar Cowboy < > multiplecit...@gmail.com> wrote: > >> On Mon, Dec 30, 2013 at 8:02 PM, Alberto G. Corona >> wrote: >> >>> To summarize, there is no possible pure knowledge, only rules to extract >>> knowledge f

Re: The Nature of Truth

2013-12-30 Thread Platonist Guitar Cowboy
gt; >>>> On 30 Dec 2013, at 15:25, Alberto G. Corona wrote: >>>> >>>> >>>> >>>> >>>> 2013/12/30 Bruno Marchal >>>> >>>>> >>>>> On 30 Dec 2013, at 12:39, Edgar L. Owen wrote: >>>

Re: The Nature of Truth

2013-12-30 Thread Alberto G. Corona
25, Alberto G. Corona wrote: >>> >>> >>> >>> >>> 2013/12/30 Bruno Marchal >>> >>>> >>>> On 30 Dec 2013, at 12:39, Edgar L. Owen wrote: >>>> >>>> All, >>>>> >>>>> In resp

Re: The Nature of Truth

2013-12-30 Thread LizR
On 31 December 2013 08:20, Platonist Guitar Cowboy wrote: > On Mon, Dec 30, 2013 at 8:02 PM, Alberto G. Corona wrote: > >> To summarize, there is no possible pure knowledge, only rules to extract >> knowledge from assumed beliefs. Thanks. But I already knew so. >> >> But i the realm of reality, >

Re: The Nature of Truth

2013-12-30 Thread meekerdb
On 12/30/2013 3:39 AM, Edgar L. Owen wrote: All, In response to the discussion of the possibility of a "Final Theory" I'm starting a new topic on the Nature of Truth since this is an important and separate issue from previous discussions. 1, it is impossible to directly kn

Re: The Nature of Truth

2013-12-30 Thread Platonist Guitar Cowboy
; > > 2013/12/30 Bruno Marchal > >> >> On 30 Dec 2013, at 15:25, Alberto G. Corona wrote: >> >> >> >> >> 2013/12/30 Bruno Marchal >> >>> >>> On 30 Dec 2013, at 12:39, Edgar L. Owen wrote: >>> >>> All, &g

Re: The Nature of Truth

2013-12-30 Thread Alberto G. Corona
wrote: > > > > > 2013/12/30 Bruno Marchal > >> >> On 30 Dec 2013, at 12:39, Edgar L. Owen wrote: >> >> All, >>> >>> In response to the discussion of the possibility of a "Final Theory" I'm >>> starting a new to

Re: The Nature of Truth

2013-12-30 Thread Bruno Marchal
On 30 Dec 2013, at 15:25, Alberto G. Corona wrote: 2013/12/30 Bruno Marchal On 30 Dec 2013, at 12:39, Edgar L. Owen wrote: All, In response to the discussion of the possibility of a "Final Theory" I'm starting a new topic on the Nature of Truth since this is an

Re: The Nature of Truth

2013-12-30 Thread Alberto G. Corona
2013/12/30 Bruno Marchal > > On 30 Dec 2013, at 12:39, Edgar L. Owen wrote: > > All, >> >> In response to the discussion of the possibility of a "Final Theory" I'm >> starting a new topic on the Nature of Truth since this is an important an

Re: The Nature of Truth

2013-12-30 Thread Bruno Marchal
On 30 Dec 2013, at 12:39, Edgar L. Owen wrote: All, In response to the discussion of the possibility of a "Final Theory" I'm starting a new topic on the Nature of Truth since this is an important and separate issue from previous discussions. 1, it is impossible to di

The Nature of Truth

2013-12-30 Thread Edgar L. Owen
All, In response to the discussion of the possibility of a "Final Theory" I'm starting a new topic on the Nature of Truth since this is an important and separate issue from previous discussions. 1, it is impossible to directly know the external fundamental reality, we know e