## Introduction to the basic concepts and problems of modern logic |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

PREFACE | 9 |

LOGIC AS ONTOLOGY | 27 |

LOGIC AS LINGUISTIC THEORY | 47 |

Copyright | |

6 other sections not shown

### Common terms and phrases

4-thing application arbitrary assumption atomic formulas attributes axioms basic rules basic theorems basis C2 records calculus comprehensor concept connexion construction coregular corresponding deduction theorem deductive defined definition degrees of certainty demonstrable derivable described discrete ontology distributions domain of objects equipossibility equivalent example expressed extensions fact false finite number functors holds interpretation introduced language of predicate linguistic logical function mathematics means modern logic modes of inference modus ponens monadic predicate logic n-tuples natural numbers non-theorem obtain occur ordinal number possible predicate logic predicate variables premises probability problem complex proof properly regular properties propositional logic propositional variables refer regarded relation resp ro(A ro(B rules of inference schema semantic sense sequence set of theorems sign strings specific structure sub-sets substitution syllogistic symbolic notation theory things traditional logic truth values truth-functions validity value assignment wffs yield