Formal Logic Discipline

A Formal Logic Discipline is an academic discipline that studies formal logic systems.

• See: Propositional Logic, First Order Logic.

---

---

References

2013

• (Genesereth & Kao, 2013) ⇒ Michael Genesereth, and Eric Kao. (2013). “Introduction to Logic." Morgan & Claypool Publishers. doi:10.2200/S00432ED1V01Y201207CSL005
  • QUOTE: This book is a gentle but rigorous introduction to formal logic. … The approach to teaching logic used here emerged from more than 20 years of teaching logic to students at Stanford University and from teaching logic to tens of thousands of others via online courses on the World Wide Web. … Like many other books on logic, this one covers logical syntax and semantics and proof theory plus induction. However, unlike other books, this book begins with Herbrand semantics rather than the more traditional Tarskian semantics. …

---