Elements of Symbolic Logic |
From inside the book
Results 1-3 of 17
Page 26
... major operation . This is the operation introduced in the last step . In ( 1 ) the implication is the major operation ; in ( 2 ) the second implication is the major operation ; in ( 3 ) the major operation is the negation . If the major ...
... major operation . This is the operation introduced in the last step . In ( 1 ) the implication is the major operation ; in ( 2 ) the second implication is the major operation ; in ( 3 ) the major operation is the negation . If the major ...
Page 363
... major operation is used out of place , so to speak ; the operation then suggests connections which do not exist ... operations other 61. Formal Characterization of Connective Operations 363.
... major operation is used out of place , so to speak ; the operation then suggests connections which do not exist ... operations other 61. Formal Characterization of Connective Operations 363.
Page 402
... major operators of a nomological statement are all- operators , and if the major operand contains propositional opera- tions , we can also use the ... operation holds for all possible objects , 402 VIII . Connective Operations and Modalities.
... major operators of a nomological statement are all- operators , and if the major operand contains propositional opera- tions , we can also use the ... operation holds for all possible objects , 402 VIII . Connective Operations and Modalities.
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