p*****g
发帖数: 38 | 1 I believe mathmaticians got clearer idea about this.
I would rather believe that this logic is nothing but
a regulation of how we speak, or a definition in some sense.
the fundermental question is how to define definition.
for example,
1. every A is B
2. a is A, then a is B
this is sort of definition of the word 'every'; when u try
to explain the word to kid or alien, you'll tell them that
1 should be phrase as 2, 1 means 2, etc. (suppose they
understand 2 of course)
in set language
1. set A is |
|
