Presented to you through Paradigm Publishing Services
Mcgill-queen's University Press
Chapter
Publicly Available
Contents
Chapters in this book
- 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
Chapters in this book
- 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
