FREE BOOKS

Author's List




PREV.   NEXT  
|<   10   11   12   13   14   15   16   17   18   19   20   21   22   23   24   25   26   27   28   29   30   31   32   33   34  
35   36   37   38   39   40   41   42   43   44   45   46   47   48   49   50   51   52   53   54   55   56   57   58   59   >>   >|  
easily produced (the whole of philosophy is full of them). 3.325 In order to avoid such errors we must make use of a sign-language that excludes them by not using the same sign for different symbols and by not using in a superficially similar way signs that have different modes of signification: that is to say, a sign-language that is governed by logical grammar--by logical syntax. (The conceptual notation of Frege and Russell is such a language, though, it is true, it fails to exclude all mistakes.) 3.326 In order to recognize a symbol by its sign we must observe how it is used with a sense. 3.327 A sign does not determine a logical form unless it is taken together with its logico-syntactical employment. 3.328 If a sign is useless, it is meaningless. That is the point of Occam's maxim. (If everything behaves as if a sign had meaning, then it does have meaning.) 3.33 In logical syntax the meaning of a sign should never play a role. It must be possible to establish logical syntax without mentioning the meaning of a sign: only the description of expressions may be presupposed. 3.331 From this observation we turn to Russell's 'theory of types'. It can be seen that Russell must be wrong, because he had to mention the meaning of signs when establishing the rules for them. 3.332 No proposition can make a statement about itself, because a propositional sign cannot be contained in itself (that is the whole of the 'theory of types'). 3.333 The reason why a function cannot be its own argument is that the sign for a function already contains the prototype of its argument, and it cannot contain itself. For let us suppose that the function F(fx) could be its own argument: in that case there would be a proposition 'F(F(fx))', in which the outer function F and the inner function F must have different meanings, since the inner one has the form O(f(x)) and the outer one has the form Y(O(fx)). Only the letter 'F' is common to the two functions, but the letter by itself signifies nothing. This immediately becomes clear if instead of 'F(Fu)' we write '(do): F(Ou). Ou = Fu'. That disposes of Russell's paradox. 3.334 The rules of logical syntax must go without saying, once we know how each individual sign signifies. 3.34 A proposition possesses essential and accidental features. Accidental features are those that result from the particular way in which the propositional sign is produced. Essential
PREV.   NEXT  
|<   10   11   12   13   14   15   16   17   18   19   20   21   22   23   24   25   26   27   28   29   30   31   32   33   34  
35   36   37   38   39   40   41   42   43   44   45   46   47   48   49   50   51   52   53   54   55   56   57   58   59   >>   >|  



Top keywords:

logical

 
function
 

meaning

 

syntax

 

Russell

 

language

 
proposition
 

argument

 

letter

 
theory

propositional

 
signifies
 

produced

 

features

 
accidental
 
Accidental
 
suppose
 

easily

 

prototype

 
contained

Essential

 

statement

 

reason

 

result

 

essential

 

functions

 

disposes

 
common
 

paradox

 

immediately


individual
 
meanings
 
possesses
 

mistakes

 

recognize

 
exclude
 
symbol
 

observe

 

determine

 

notation


philosophy

 
excludes
 

errors

 

symbols

 

superficially

 

governed

 

grammar

 
conceptual
 

signification

 
similar