## Elements of symbolic logic |

### What people are saying - Write a review

User Review - Flag as inappropriate

THANKS FOR SUCH A WONDERFUL BOOK ONLINE

### Contents

INTRODUCTION 1 Logic and language | 1 |

Language | 4 |

Different levels of language | 9 |

Copyright | |

66 other sections not shown

### Other editions - View all

### Common terms and phrases

adjunctive implication all-operator all-statement analysis apply argument variables assertion bound variable calculus of functions calculus of propositions called conception connective implication connective operations constructed contains conversational language copula corresponding defined definiens definition denotative derivation disjunction elementary equivalence example existence existential operator false follows free variables func function-name given higher calculus holds implicans indicate instance interpretation introduce kind logical terms major operation major terms meaning ment metalanguage metatheorem modalities negation line nomological formula nomological statements notation nouns object language operand Peter physical possible predicate premises proof of consistency propositional function propositional operations propositional variables reference regarded relation replaced represents result rule for free rule of inference rule of substitution schema sea serpent sense sentence simple calculus square of opposition symbolic logic synthetic T-cases tautology tense theorem things tion token transformed transition true truth tables truth-value two-place function usage verb word