Jonathan Bain Dept. of Technology, Culture and Society NYU-Tandon

---

PL-UY 2004  Symbolic Logic

[Courses]

This is the homepage for PL-UY 2004 Symbolic Logic, Spring 2016, NYU-Tandon.  Choose from the selection below.  This page will be updated periodically.   Syllabus Lecture Slides 01. Intro 02. PL Syntax and Semantics 03. Truth Functions 04. Tautological Entailment 05. PLC Syntax and Semantics 06. PL Trees 07. PL Tree Rules 08. PLC Trees and PL Trees Vindicates 09. QL 10. QL Translations 11. QL Trees 12. QL Syntax 13. QL Semantics 14. QL Semantics, cont. 15. QL Tree Rules 16. QL Trees Vindicated 17. QL= 18. Definite Descriptions 19. Functions 20. Godel Assignments hw01 hw01-key hw02 hw02-key hw03 hw03-key hw04 hw04-key hw05 hw05-key hw06 hw06-key hw07 hw07-key hw08 hw08-key hw09 hw09-key hw10 hw10-key hw11 hw11-key hw12 hw12-key hw13 hw13-key Handouts PLC Tree Rules QLf Semantics QLf Tree Rules