Jon Barwise (1942–2000)

The software that comes with this book is really useful for teaching students, and helping them get practice with lots of proofs and translations, without needing a TA to stand over them and answer questions the whole time. Unfortunately, the book doesn't provide enough problems in any chapter. And the authors push some of their own somewhat unusual agenda - the focus on a distinction between "logical validity" and "first-order validity" certainly seems controversial. (From my understanding of the field, it seems that most people limit logic to what they call first-order validity, and make the notion of analytic consequence, to the extent that it exists, linguistic, rather than logical. One of the other TAs for the class using this said that this conceptual fuzziness turned her best student away from taking future logic classes.)

The focus on other non-logical features, like conversational implicature and the like, is certainly nice for teaching a logic course aimed at linguists and a general audience, rather than just philosophers and mathematicians. And it helps motivate the seemingly-odd truth tables for disjunction and implication. But one of my students pointed out to me that their argument for the status of disjunction as inclusive or was conceptually weak - I think it can be shored up, but not the way they did it, and not as quickly either. It's nice to have those topics available, but you should be careful about assigning them (or reading them, if you're using this book for self-study).

Of course, despite its flaws, this is certainly one of the best introductory logic texts around. For more mathematically-versed audiences I recommend Enderton, or Hodges' "Shorter Model Theory" for people with abstract algebra training. I'll have to look at Boolos, Burgess, and Jeffrey to see how that compares.… (mais)

SUMÁRIO:

[ XI ] - 00 How to Use This Book
[ XII] - 00.01 To the student
[ XII] - 00.02 To the instructor
[ XV ] - 00.03 Acknowledgements
[ XV ] - 00.04 What’s new in this edition?
[ XVI] - 00.05 More acknowledgements
(.)
[003] - I. Exercises
(.)
[003] - 01.01 Instructions About the Exercises
[009] - 01.02 Exercises on Propositional Logic
[025] - 01.03 Exercises on First-order Logic
[053] - 01.04 More Theoretical Exercises
(.)
[067] - II. Using the Software
[067] - 02.05 Using Tarski’s World
[067] - 02.05.01 Getting started
[068] - 02.05.01.01 Opening saved files
[068] - 02.05.01.02 Starting new files
[068] - 02.05.01.03 Saving a file
[069] - 02.05.01.04 Closing Tabs
[069] - 02.05.01.05 Reverting a File
[070] - 02.05.01.06 Printing
[070] - 02.05.01.07 Quitting (Exiting) Tarski’s World .
(.)
[070] - 02.05.02 The World Panel
[070] - 02.05.02.01 Adding blocks
[070] - 02.05.02.02 Selecting blocks
[070] - 02.05.02.03 Moving blocks
[070] - 02.05.02.04 Sizing and shaping blocks
[071] - 02.05.02.05 Naming blocks
[071] - 02.05.02.06 Deleting blocks
[071] - 02.05.02.07 Cutting, copying, and pasting blocks
[072] - 02.05.02.08 Hiding labels
[072] - 02.05.02.09 2-D view
[072] - 02.05.02.10 Rotating Worlds
[072] - 02.05.03 The Sentence Panel
[072] - 02.05.03.01 Writing formulas
[073] - 02.05.03.02 Commenting your sentences
[073] - 02.05.03.03 Creating a list of sentences
[073] - 02.05.03.04 Moving from sentence to sentence
[074] - 02.05.03.05 Deleting sentences
[074] - 02.05.03.06 Typing symbols from the keyboard
[075] - 02.05.03.07 Cutting, copying, and pasting
[075] - 02.05.04 Verifying syntax and truth
[076] - 02.05.05 Playing the game
[076] - 02.05.05.01 Picking blocks and sentences
[076] - 02.05.05.02 Backing up and giving up
[078] - 02.05.05.03 When to play the game
[078] - 02.05.06 Preferences.
(.)
[081] - 02.06 Using Submit
[081] - 02.06.01 Getting started
[083] - 02.06.02 Choosing files to submit
[085] - 02.06.03 How you know your files were received
[085] - 02.06.04 Saving your user data.
(.)
[089] - Appendixes
[089] - A First-order Logic
[089] - A.01 First-order languages
[089] - A.02 Individual constants
[000] - A.03 Predicate symbols
[091] - A.04 Atomic sentences
[092] - A.05 Connectives
[095] - A.06 Variables
[096] - A.07 Atomic wffs
[096] - A.08 Quantifiers
[097] - A.09 Wffs and sentences
[100] - A.10 Satisfaction and truth
[101] - A.11 Game rules
[103] - A.12 Logical equivalences
[104] - A.13 Validity and logical consequence .
(.)
[107] - B Using Tarski’s World 5.x
[107] - B.01 Getting started
[107] - B.01.01 Launching Tarski’s World
[107] - B.01.02 The main windows
[107] - B.01.03 Opening saved files
[107] - B.01.04 Starting new files
[107] - B.01.05 Saving a file
[107] - B.01.06 Quitting (Exiting) Tarski’s World
(.)
[111] - B.02 The world window
[111] - B.02.01 Adding blocks
[111] - B.02.02 Naming blocks
[111] - B.02.03 Moving blocks
[112] - B.02.04 Sizing and shaping blocks
[112] - B.02.05 Deleting blocks
[112] - B.02.06 Hiding labels
[112] - B.02.07 2-D view
[113] - B.02.08 Rotating Worlds.
(.)
[113] - B.03 The keyboard and sentence windows
[113] - B.03.01 Writing formulas
[114] - B.03.02 Commenting your sentences
[114] - B.03.03 Creating a list of sentences
[115] - B.03.04 Moving from sentence to sentence
[115] - B.03.05 Deleting sentences
[116] - B.03.06 Typing symbols from the keyboard
[116] - B.03.07 Cutting, copying, and pasting
[116] - B.03.08 Printing.
(.)
[116] - B.04 The evaluation box / sentence inspector
[116] - B.04.01 Verifying syntax and truth.
(.)
[117] - B.05 Playing the game
[118] - B.05.01 Picking blocks and sentences
[119] - B.05.02 Backing up and giving up B.5.3 When to play the game .
(.)
[125] - General Index
[125] - File Index… (mais)