Logical Methods
By Greg Restall and Shawn Standefer
By Greg Restall and Shawn Standefer
By Greg Restall and Shawn Standefer
By Greg Restall and Shawn Standefer
Category: Philosophy
Category: Philosophy
-
$40.00
Jan 03, 2023 | ISBN 9780262544849
-
Jan 03, 2023 | ISBN 9780262372701
YOU MAY ALSO LIKE
Not Sure Who Needs to Hear This, But . . . : WE THE URBAN
The Years of Theory
The Goddess Path
You Can Heal Your Life
Inner Magic
Witch in Darkness
The Sacred Cookbook
The Obstacle is the Way Expanded 10th Anniversary Edition
The Blooming of a Lotus
Praise
“The book can be recommended not only to students and teachers of mathematics and philosophy, but also to a wider circle of readers interested in all aspects of applications of modern symbolic logic in linguistics, computer science, and philosophy and methodology of science. The authors’ style, way of presentation and choice of topics add to the real
pleasure of reading this book.”
—MathSciNet
Table Of Contents
How to Read This Book xi
I Propositional Logic
1 Introduction 3
2 Connectives: and & if 19
3 More Connectives: not & or 35
4 Facts about Proofs & Provability 49
5 Models & Counterexamples 75
6 Soundness & Completeness 91
II Modal Logic
7 Necessity & Possibility 117
8 Actuality & 2D Logic 153
9 Modal Natural Deduction 167
III Predicate Logic
10 Proofs for Predicate Logic 189
11 Models for Predicate Logic 217
12 Coda 245
Glossary 255
References 261
Symbol Index 267
Subject Index 269
21 Books You’ve Been Meaning to Read
Just for joining you’ll get personalized recommendations on your dashboard daily and features only for members.
Find Out More Join Now Sign In