Introduction to Semantics and Formalization of Logic |
Contents
A SEMIOTIC AND ITS PARTS | 3 |
B SEMANTICS | 22 |
The Relation of Designation | 49 |
Copyright | |
15 other sections not shown
Other editions - View all
Common terms and phrases
analogous atomic sentences basis C-ambivalent C-comprehensive C-consistent C-dependent C-determinate C-equivalent C-exclusive C-inconsistent C-perfect called cConn cept closed sentences coincide components concept of L-range Conn connectives constructed contains PC corresponding defined definiens definitions designata designated direct C-implicate directly C-false directly derivable disc disjunction equivalent examples exhaustive calculus expression extensional factual false following holds form of PC formulation fulfilled full sentence hence implication interpretation for K junctives K₁ K₂ kind L-complete L-concepts L-content L-disjunct L-exhaustive L-terms L-true lemma likewise metalanguage negationc negc non-extensional non-normal interpretations normal interpretation object language PC₁ postulates predicate primitive sentence Proof propositional calculus propositional logic provable radical concepts relation rule of refutation rules of deduction rules of inference S₁ semantical concepts semantical rules semantical system sentence in K sentential classes sentential function singulary state-description syntactical syntax tences terminology theorems concerning tion transfinite true interpretation truth truth-tables truth-value