Präsentiert durch Paradigm Publishing Services
Mcgill-queen's University Press
Kapitel
Lizenziert
Nicht lizenziert
Erfordert eine Authentifizierung
Introduction
Sie haben derzeit keinen Zugang zu diesem Inhalt.
Sie haben derzeit keinen Zugang zu diesem Inhalt.
Kapitel in diesem Buch
- Front Matter i
- Contents vii
- Acknowledgements xiii
- Introduction 1
-
Prepositional Logic
- Propositions and arguments 9
- Connectives and argument forms 20
- Truth tables 36
- Trees 55
- Vagueness and bivalence 77
- Conditionally 88
- Natural deduction 102
-
Predicate Logic
- Predicates, names and quantifiers 113
- Models for predicate logic 128
- Trees for predicate logic 149
- Identity and functions 168
- Definite descriptions 183
- Some things do not exist 192
- What is a predicate? 205
- What is logic? 212
- Bibliography 218
- Index 221
Kapitel in diesem Buch
- Front Matter i
- Contents vii
- Acknowledgements xiii
- Introduction 1
-
Prepositional Logic
- Propositions and arguments 9
- Connectives and argument forms 20
- Truth tables 36
- Trees 55
- Vagueness and bivalence 77
- Conditionally 88
- Natural deduction 102
-
Predicate Logic
- Predicates, names and quantifiers 113
- Models for predicate logic 128
- Trees for predicate logic 149
- Identity and functions 168
- Definite descriptions 183
- Some things do not exist 192
- What is a predicate? 205
- What is logic? 212
- Bibliography 218
- Index 221