真確與真實

“Real” is for objects (zeroth-order statements):

it is a real X

= it is an X

e.g.

it is not a real car

= it looks like a car, but it is not a car

“True” is for statements (first-order statements).

“Y” is true

= Y

“Y” is false

= Not Y

e.g.

“Snow is white” is true

= Snow is white

“Snow is white” is false

= Snow is not white

The relation between “Real” and “True” is:

“it looks like an X and it is X” is true

= X is real

Explanation:

“it looks like an X and it is X” is true

= it looks like an X and it is X

= X is real

— Me@2012.10.05

— Me@2013.11.01

2013.11.01 Friday (c) All rights reserved by ACHK