週次 |
日期 |
單元主題 |
第1週 |
2/18 |
Introduction: classical logic |
第2週 |
2/25 |
Permitting gaps: K3 |
第3週 |
3/04 |
Tomorrow there will be a sea battle: Ł3 |
第4週 |
3/11 |
Grappling with true contradictions: LP |
第5週 |
3/18 |
How a computer should think: FDE |
第6週 |
3/25 |
A stronger implication: relevant logics |
第7週 |
4/01 |
Ways to combine assumptions: Proofs for relevant logics |
第8週 |
4/08 |
Where even logic can be fail: Models for relevant logics |
第9週 |
4/15 |
Logic of resources: linear logic |
第10週 |
4/22 |
Proofs and programs: intuitionistic logic |
第11週 |
4/29 |
Models for intuitionistic logic |
第12週 |
5/06 |
Meaning containment: analytic implication |
第13週 |
5/13 |
Contradicting classical logic: Connexive logic |
第14週 |
5/20 |
Truth comes in degrees: fuzzy logic |
第15週 |
5/27 |
Returning to three values: ST and TS |
第16週 |
6/03 |
Conclusion and presentations |
第17週 |
6/10 |
Flexible class |
第18週 |
6/17 |
Flexible class |