Spring 2018 Overview
This semester we will focus on coordinate systems, functions, graphs, and logic.We will begin working with two texts. David will cover coordinate systems and Qiong will cover logic.
Textbooks
1. The Method of Coordinates by Gelfand, Glagoleva and Krillov (1990)
The introduction begins thus:
read more below:
2. Logical Labyrinths by Raymond Smullyan (2009)
From the preface:
What is symbolic logic? It is also called “mathematical logic,” though the word “mathematics” here has a totally different meaning than the mathematics usually taught in the schools—arithmetic, algebra and geometry. Mathematical logic, instead of dealing specifically with things like numbers, lines and points, deals rather with propositions and arguments, but codified in symbolic forms to facilitate more precise reasoning...
As valuable as symbolic logic is, I have learned from much teaching experience that it is best to begin by devoting some time to informal reasoning. The logic of lying and truth-telling is admirably suited to this, being both entertaining and highly instructive; so this is how we begin in Part I of this book, in which you follow the remarkable journey of the anthropologist Abercrombie through successively more labyrinthine lands of more and more curious liars and truth-tellers of the most varied and sundry sort, culminating in one grand discovery that generalizes all the problems of the preceding adventures. This prepares the readerfor Part II, which begins the formal study of symbolic logic. Part II begins with the subject known as propositional logic, shows how this logic formalizes the reasoning of the earlier chapters, and then advances to the main subject of this book, which is first-order logic, a subject that has many important applications in philosophy, mathematics and computer science...
This book can be used as a textbook for a one- or two-semester coursein logic. A pre-publication copy has been successfully used in this manner at Harvard.
