The Logic Text can be accessed from within the Software. For convenience, I am also posting direct links to each chapter here:
What is Logic? Reasons and Arguments. Hidden Premises. Soundness and Validity. Formal Validity
Symbolizing ‘if’ and ‘not’.
Reading: Chapter 1.1-3
- How to use the parsing module: https://youtu.be/oMkr02YZIb0
- How to use the symbolization module: https://youtu.be/_S8sZuJoN1E
This second video was made by Luca Struble, who has made an entire set of instructional videos keyed to our software and our text, which you are welcome to check out.
EVERYTHING CANCELLED DUE TO WEATHER AND BROKEN BONES
ONLINE INSTRUCTION DUE TO BROKEN BONES
Class will not meet on Monday. We might meet on Wednesday, depending on how quickly my recovery goes. Look for an announcement early next week.
In lieu of class, I would like you to watch several videos from Luca Struble, which introduce the key concepts and ideas for derivations, and then I would like you attempt to complete derivations in the software. These are taken from an online course that he teaches at another University, that covers the same material as our course. I know that videos are not an adequate replacement for classroom instruction, but they should help you get started!
I hope to have “online” office hours, so you can get help from me if you are stuck. Again, details will depend on how quickly my recovery goes.
I have also notified the logic tutors. You are welcome to make an appointment with a tutor to get help in person (but keep in mind that if everyone tries to make an appointment, they won’t be able to accommodate you all). Tutor contact information is now on the syllabus.
For Monday: Symbolization:
Reading: Reread Chapter 1.2 and 1.3. Viewing:
- Symbolization Principles 1: https://youtu.be/eoafP5dAo9I
- Symbolization Principles 2: https://youtu.be/Y-buIcTdlzc
- Symbolization Principles 3: https://youtu.be/WMmltaxofSg
- Symbolization Principles 4: https://youtu.be/W8KdoPMUGwU
- Symbolization Examples: https://youtu.be/f5kBbhAOVCA
- Symbolization Examples 2: https://youtu.be/VWO1xb-TB5A
Complete HW02: https://logiclx.humnet.ucla.edu/Logic/Student/Course/613/
For Wednesday: Derivations
Reading: Chapter 1.4-7 Viewing:
- Informal Introduction to Derivations: https://youtu.be/ccqrl54cGgQ
- Rules: Double Negation: https://youtu.be/Ad13ggFlqG4
- Rules: Modus Ponens: https://youtu.be/k6EfnZ8SRtA
- Rules: Modus Tollens: https://youtu.be/71v2JpblCfM
- Rules: Modus Tollens, continued: https://youtu.be/41WqAAwrF5g
- Rules: Repetition: https://youtu.be/4gMCAEsEOWs
- Rules: Overview: https://youtu.be/4PB-mw4x8Cs
- Recognizing Rules Module: https://youtu.be/bxY8q3vSv68
Complete the exercises in HW03 from the Recognizing Rules Module: https://logiclx.humnet.ucla.edu/Logic/Student/Course/613/
Formal Introduction to Constructing Derivations: https://youtu.be/J7Z6_gs9kDw
- Demonstration of how to use the Derivation Module: https://youtu.be/FD6tNU8CiC8
- Sample Solution to a Derivation involving MP and DN: https://youtu.be/UJYRyIuYisA
- Derivations involving MT: https://youtu.be/j9I4rOMoEVI
Sample Solution to a Derivation involving complex conditionals: https://youtu.be/-HBPfrCP5Gs
Complete the rest of HW03: https://logiclx.humnet.ucla.edu/Logic/Student/Course/613/
For the next Monday:
Reread Chapter 1.6-7
- Conditional Derivations: https://youtu.be/YClP6q0lFN8
- Conditional Derivations, continued: https://youtu.be/L7e3ZGDAwSI
- Indirect Derivations: https://youtu.be/-McaKUP2xW4
- Indirect Derivations, continued: https://youtu.be/EnFaQPUkj_o
Complete HW04: https://logiclx.humnet.ucla.edu/Logic/Student/Course/613/
Subderivations and Theorems
Reading: Chapter 1.8-11
First Midterm Exam, Wednesday
More connectives: ‘and’, ‘or’ and ‘if and only if’; Truth Tables
Reading: Chapter 2.1; 2.10-11
Reading: Chapter 2.3-5
Reading: Chapter 2.4-6
Theorems and Derived Rules
Reading: Chapter 2.7-9
Second Midterm Exam, Wednesday
Names, Variables, Predicates, and Quantifiers
Reading: Chapter 3.1-4
Reading: Chapter 3.5
Reading: Chapter 3.6-10
Practice and Review.
Final Exam, at the appointed time during Finals Week.