Introduction to Logic
This is, for the most part, a standard introduction to logic textbook. You're completely welcome to use it for self-study, or, if you're a teacher, for a course. I try to make everything as clear, simple, and intuitive as possible while not sacrificing rigor.
While most everything in this book is standard, there are two notable things. First are the rules for the quantifiers, drawn from Kit Fine's Arbitrary Objects and adapted to be suitable for an introductory course, which contain both an universal generalization rule and an existential instantiation rule. Second, the final chapter contains a complete presentation of the paraconsistent logic LP, pitched at a completely introductory level. These two things (chapters 9 and 11) might be interesting to you even if you're not the book's intended audience.
I will be updating it soon with practice problems for each chapters, with answers in the back. Perhaps I will add an additional part with alternative proof systems at some point, but that won't be for a bit.
If you're using the book for self-study or you're an instructor, you can email me for the answers to the exercises at the end of each chapter.
The pdf is completely free. I'll be posting a link to purchase a hardcopy (at just the cost of printing) shortly, once I correct all the typos and add the practice problems and answers.
Handouts containing the key concepts and definitions in each chapter, along with some practice problems, can be found here.
This is, for the most part, a standard introduction to logic textbook. You're completely welcome to use it for self-study, or, if you're a teacher, for a course. I try to make everything as clear, simple, and intuitive as possible while not sacrificing rigor.
While most everything in this book is standard, there are two notable things. First are the rules for the quantifiers, drawn from Kit Fine's Arbitrary Objects and adapted to be suitable for an introductory course, which contain both an universal generalization rule and an existential instantiation rule. Second, the final chapter contains a complete presentation of the paraconsistent logic LP, pitched at a completely introductory level. These two things (chapters 9 and 11) might be interesting to you even if you're not the book's intended audience.
I will be updating it soon with practice problems for each chapters, with answers in the back. Perhaps I will add an additional part with alternative proof systems at some point, but that won't be for a bit.
If you're using the book for self-study or you're an instructor, you can email me for the answers to the exercises at the end of each chapter.
The pdf is completely free. I'll be posting a link to purchase a hardcopy (at just the cost of printing) shortly, once I correct all the typos and add the practice problems and answers.
Handouts containing the key concepts and definitions in each chapter, along with some practice problems, can be found here.
Articulating Meanings: An Inferentialist, Proof-Theoretic Approach
I am currently writing a textbook on inferentialist and proof-theoretic semantics. The book is split into two parts. The first part develops logical inferentialism, considering a number of different kinds of proof systems that might be taken to define the meanings of the logical connectives. The second part, developing global inferentialism, takes off where the first part finishes, using the proof system arrived at as a basis for an inferentialist account of the meanings of content words, as well as a number of contentious semantic phenomena.
Chapter 1 draft. More chapter drafts coming soon!
I am currently writing a textbook on inferentialist and proof-theoretic semantics. The book is split into two parts. The first part develops logical inferentialism, considering a number of different kinds of proof systems that might be taken to define the meanings of the logical connectives. The second part, developing global inferentialism, takes off where the first part finishes, using the proof system arrived at as a basis for an inferentialist account of the meanings of content words, as well as a number of contentious semantic phenomena.
Chapter 1 draft. More chapter drafts coming soon!