-4 [deleted] 13 July 2012 07:24PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Sort By: Best

You are viewing a single comment's thread.

Comment author: 13 July 2012 07:49:20PM *  2 points [-]

I don't understand most of what you said (did you really need Greek letters to spell English names of logical predicates derived from German words?), but here is my instrumental understanding of this idea. If you perceive an apple as green, any model of apples/colors/light/perceptions/truths should output "green" in reply to "what color is this apple?".

Comment author: [deleted] 13 July 2012 08:28:31PM *  1 point [-]

I don't understand most of what you said (did you really need Greek letters to spell English names of logical predicates derived from German words?)

All my greek letters are just variables standing in for sentences, not logical predicates (and none of them have english names). I explained that here:

t is a theoretical language and ‘α ‘is a sentence within it, n is the normal language and ‘a’ is a sentence within it. E is the Egan property. Now that we’ve defined the Egan property of a theory, we can move on to Egan’s law.

-

If you perceive an apple as green, any model of apples/colors/light/perceptions/truths should output "green" in reply to "what color is this apple?".

Right, or some translation of 'green' like 'such and such a wavelength'.

Comment author: 13 July 2012 09:32:17PM 4 points [-]

All my greek letters are just variables standing in for sentences, not logical predicates (and none of them have english names).

Comment author: [deleted] 13 July 2012 09:36:48PM 3 points [-]

Yikes, that's not what I see. But I think I know what the problem is, and I'll try to fix it. Thanks for pointing it out.