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