NASSLLI 22 的一些东西 还有HOM workshop(Call for paper一栏列了很多intro articles)
HOM
Ted Sider Seminar on HOM Sp 20
Lucas Skiba HOM (short introductory article
Intro to non-extensional higher order logics and their applications to propositional attitudes
码 假如稍微能看懂一点的话再回来看看能不能讲清楚一点（先爬去看ted sider的crash course了）
基本的顺序：
higher order logic 4 steps：
-
Types
-
complex predicates 把 lambda notation 和 first-order predicate 结合起来 (Extensional Beta/Beta 区别是 Beta 可以 go as deep as it wants to substitute easily)
-
higher-order predicates 这样first-order quantifiers can be seen as higher-order predicates eg. $\forall (\lambda v. P)$ 可以把 $\forall$ 当作 $(e \to t) \to t$ 先把 $(\lambda v. P)$ 吃进去再return a truth value （假如没有Beta 需要introduce Eta Rule to make $\diamond (\lambda x .Fx \wedge Gx)a \to \diamond (Fa \wedge Ga)$ ）
-
complex higher-order predicates $(\lambda v:\sigma . A):\sigma \to \tau$
-
higher-order quantifiers and identity $\forall_\sigma :(\sigma \to t)\to t \text{ and } =_\sigma: \sigma \to \sigma \to t$ and formulate Hibert-style axiomatic systems to see how they behave.（先不用看 model theoretic results and see how we can interpret them）
然后讲了各种strengthening of $H_0$: Extensionalism, Classicism。 然后警惕了 Russell-Myhill theorem.
快速地讲了 Models and Hyperintensionality （留了一堆论文）
然后讲 Propositional Attitudes: Hesperus/Phosphorus case causes inconsistency in $H_0$ Bacon and Russel [2019] 有一个很清晰的图景 然后就是围绕着 LL’, Leibniz’s Law, Quantified Substitution, L(xy) 在那儿绕
Classical Opacity 讨论了丢掉 Booleanism 或者 Leibniz Equivalence 的可能性
最后试图讲了 Logic of Opacity (Bacon and Russell 2019)
Introduction to Propositional Quantifiers
加油！白小葵！暑假读完PF的draft就可以去Logic WG装逼了！
中间提到了Galois Connection 这些链接存一下：[1 Peter Smith 的文章] [2前面那个文章的post] [3比较简短的介绍] [4知乎]
NASSLLI
周末的两门bootcamp移到HOM了
Normality-based approaches to inductive knowledge, epistemic logic, and belief-revision
五天讲完 Epistemology Normalized
相关的东西：Pacuit and Holliday’s short course on epistemic puzzles
Holliday’s Simplifying the Surprise Exam
Topology, logic, and epistemology
拓扑哥❤️ 网站链接
第一次课的 example 经常提 甚至有个 berkeley 本科生写了个computational model on this 其中说明了这个的出处：（Adam博导写的课本的一个例题）
The logic and grammar of context-sensitivity
貌似是讲她2017年的书 Justin Khoo’s review
Possibility Semantics: Theory and application
假期开天书 见课程网站
假期暴论：”EVERYONE KNOWS THIS DEFINITION” “LATTICES ARE VERY BEAUTIFUL” “IT’S PRETTY OBVIOUS” “THAT’S ALSO NOT HARD TO SEE” “SO THAT’S VERY EASY” “THIS IS GONNA BE THE MOST BEAUTIFUL OBJECT THAT EVER EXISTS” （见第一次课slides p38）