Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math

Topic: Matheology § 224
Replies: 84   Last Post: Apr 20, 2013 4:43 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
fom

Posts: 1,968
Registered: 12/4/12
Re: Matheology S 224
Posted: Apr 17, 2013 2:59 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On 4/16/2013 11:50 PM, Nam Nguyen wrote:
> On 16/04/2013 9:51 PM, fom wrote:
>> On 4/16/2013 10:31 PM, Nam Nguyen wrote:
>> >
>> >

>>
>> <snip>
>>

>> >
>>> the _meta phrase_ "is proven" can not be expressed by a FOL language:
>>> "is proven" pertains to a meta truth, which in turns can't be equated
>>> to a language expression: truth and semantics aren't the same.

>>
>>
>> In case the statements above cause you difficulties.

>
> I don't think it does me, in the context of defining truth as
> part of an encoded finite string. This kind of truth isn't
> of different kind from the truth of finite proof of formal system.
> (Different kinds of rules of "inference" of course, nonetheless _finite_
> is the keyword).

>>
>> Not that you are committed to anything in these links.
>>
>> It is simply evidence that your statement is not
>> without foundation.
>>
>> http://plato.stanford.edu/entries/truth-axiomatic/
>>
>> http://plato.stanford.edu/entries/logic-provability/
>>
>>
>> The first paragraph in this link expresses criticism
>> of Tarski's theory of truth (semantic conception)
>>
>> http://plato.stanford.edu/entries/truth/#CorWitFac

>
> These links are somewhat lengthy and I have to read them before
> I could see any relevance to my Def-1 case. But you certainly
> could let it be known, if you see anything there related to
> my Def-1.
>


I did not provide them for you to necessarily read them.

They serve merely to substantiate that there are opinions
in the literature that may be similar to your own.




Date Subject Author
4/12/13
Read Re: Matheology § 224
Alan Smaill
4/12/13
Read Re: Matheology § 224
namducnguyen
4/12/13
Read Re: Matheology § 224
Frederick Williams
4/12/13
Read Re: Matheology § 224
fom
4/13/13
Read Re: Matheology § 224
namducnguyen
4/13/13
Read Re: Matheology § 224
fom
4/13/13
Read Re: Matheology § 224
namducnguyen
4/13/13
Read Re: Matheology § 224
fom
4/13/13
Read Re: Matheology § 224
namducnguyen
4/13/13
Read Re: Matheology § 224
Peter Percival
4/13/13
Read Re: Matheology § 224
namducnguyen
4/13/13
Read Re: Matheology § 224
Peter Percival
4/13/13
Read Re: Matheology § 224
namducnguyen
4/13/13
Read Re: Matheology § 224
Peter Percival
4/13/13
Read Re: Matheology § 224
namducnguyen
4/13/13
Read Re: Matheology S 224
Jesse F. Hughes
4/14/13
Read Re: Matheology S 224
namducnguyen
4/14/13
Read Re: Matheology S 224
namducnguyen
4/14/13
Read Re: Matheology S 224
namducnguyen
4/14/13
Read Re: Matheology S 224
Peter Percival
4/14/13
Read Re: Matheology S 224
fom
4/14/13
Read Re: Matheology S 224
namducnguyen
4/14/13
Read Re: Matheology S 224
fom
4/14/13
Read Re: Matheology S 224
namducnguyen
4/14/13
Read Re: Matheology S 224
namducnguyen
4/14/13
Read Re: Matheology S 224
fom
4/14/13
Read Re: Matheology S 224
namducnguyen
4/14/13
Read Re: Matheology S 224
namducnguyen
4/14/13
Read Re: Matheology S 224
namducnguyen
4/14/13
Read Re: Matheology S 224
Jesse F. Hughes
4/14/13
Read Re: Matheology S 224
namducnguyen
4/14/13
Read Re: Matheology S 224
Jesse F. Hughes
4/14/13
Read Re: Matheology S 224
namducnguyen
4/16/13
Read Re: Matheology S 224
namducnguyen
4/16/13
Read Re: Matheology S 224
namducnguyen
4/16/13
Read Re: Matheology S 224
Jesse F. Hughes
4/16/13
Read Re: Matheology S 224
namducnguyen
4/16/13
Read Re: Matheology S 224
fom
4/17/13
Read Re: Matheology S 224
namducnguyen
4/17/13
Read Re: Matheology S 224
fom
4/17/13
Read Re: Matheology S 224
namducnguyen
4/17/13
Read Re: Matheology S 224
Jesse F. Hughes
4/17/13
Read Re: Matheology S 224
Jesse F. Hughes
4/17/13
Read Re: Matheology S 224
namducnguyen
4/20/13
Read Re: Matheology S 224
namducnguyen
4/17/13
Read Re: Matheology S 224
Frederick Williams
4/17/13
Read Re: Matheology S 224
Frederick Williams
4/17/13
Read Re: Matheology S 224
fom
4/17/13
Read Re: Matheology S 224
Frederick Williams
4/17/13
Read Re: Matheology S 224
fom
4/17/13
Read Re: Matheology S 224
fom
4/18/13
Read Re: Matheology S 224
namducnguyen
4/18/13
Read Re: Matheology S 224
Frederick Williams
4/18/13
Read Re: Matheology S 224
namducnguyen
4/19/13
Read Re: Matheology S 224
Frederick Williams
4/19/13
Read Re: Matheology S 224
namducnguyen
4/20/13
Read Re: Matheology S 224
Frederick Williams
4/19/13
Read Re: Matheology S 224
Frederick Williams
4/19/13
Read Re: Matheology S 224
namducnguyen
4/20/13
Read Re: Matheology S 224
Frederick Williams
4/14/13
Read Re: Matheology S 224
Jesse F. Hughes
4/14/13
Read Re: Matheology S 224
namducnguyen
4/14/13
Read Re: Matheology S 224
namducnguyen
4/14/13
Read Re: Matheology S 224
Jesse F. Hughes
4/14/13
Read Re: Matheology S 224
namducnguyen
4/14/13
Read Re: Matheology S 224
Peter Percival
4/15/13
Read Re: Matheology § 224
Peter Percival
4/14/13
Read Re: Matheology § 224
namducnguyen
4/14/13
Read Re: Matheology § 224
namducnguyen
4/13/13
Read Re: Matheology § 224
Frederick Williams
4/13/13
Read Re: Matheology § 224
Peter Percival
4/13/13
Read Re: Matheology § 224
Peter Percival
4/13/13
Read Re: Matheology § 224
namducnguyen
4/15/13
Read Re: Matheology § 224
Peter Percival
4/13/13
Read Re: Matheology § 224
fom
4/13/13
Read Re: Matheology § 224
namducnguyen
4/13/13
Read Re: Matheology § 224
Peter Percival
4/13/13
Read Re: Matheology § 224
namducnguyen
4/13/13
Read Re: Matheology § 224
Frederick Williams
4/14/13
Read Re: Matheology § 224
Frederick Williams
4/14/13
Read Re: Matheology § 224
namducnguyen
4/13/13
Read Re: Matheology § 224
Peter Percival
4/13/13
Read Re: Matheology § 224
namducnguyen
4/13/13
Read Re: Matheology § 224
namducnguyen

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.