Elements of Symbolic Logic |
From inside the book
Results 1-3 of 74
Page 2
... analysis of thought the expression should be interpreted so as to leave no doubt that it is not actual thought which we pretend to analyze . It is rather a substitute for thinking processes , their rational reconstruction , which ...
... analysis of thought the expression should be interpreted so as to leave no doubt that it is not actual thought which we pretend to analyze . It is rather a substitute for thinking processes , their rational reconstruction , which ...
Page 133
... analysis of formulas containing free argu- ment variables . Thus in the case analysis of formula ( 7 , § 21 ) we see from table II that , if f ( x ) is of the A - kind , both implicans and implicate are true ; therefore the formula is ...
... analysis of formulas containing free argu- ment variables . Thus in the case analysis of formula ( 7 , § 21 ) we see from table II that , if f ( x ) is of the A - kind , both implicans and implicate are true ; therefore the formula is ...
Page 137
... analysis . For 14c we use the first two columns of table II , for 14a - b we also use the last column . Formulas ( 7 ) and ( 8 ) possess two operators ; but they include only one - place functions and can therefore also be dealt with by ...
... analysis . For 14c we use the first two columns of table II , for 14a - b we also use the last column . Formulas ( 7 ) and ( 8 ) possess two operators ; but they include only one - place functions and can therefore also be dealt with by ...
Contents
Logic and language | 1 |
Different levels of language | 9 |
Continued PAGE | 14 |
Copyright | |
60 other sections not shown
Other editions - View all
Common terms and phrases
adjunctive implication all-operators all-statement analysis apply argument variables asserted bound variable calculus of functions calculus of propositions called combination conception connective implication connective operations constructed contradiction conversational language corresponding defined definition denote derivation disjunction disjunctive normal form elementary propositions equisignificance example existence existential operators false follows formula free variables func function f(x given higher calculus holds implicans instance interpretation introduced kind left-hand side meaning ment metalanguage metatheorem modalities negation line nomological statements notation object language operand ɔ g(x Peter possible predicate premises proof of consistency propositional expression propositional function propositional operations propositional variables reference regarded relation represents result right-hand side rule for free rule of inference rule of substitution schema sentence simple calculus square of opposition synthetic formulas T-cases tautology theorem things tion token transformed transition truth tables truth-values two-place function usage word