I hear that the graduate @Philosophy programme at Yale is dropping the #logic requirement, and now will have a broader choice of 'formal methods'.
We went through something similar at Cambridge a few years ago, where the old 2-year Logic Paper (Ia and Ib) got ditched, and replaced with a compulsory 'Formal Methods' paper in the first year... 🧵
#énigme#puzzle#logique#logic#math
Les enfants peuvent résoudre ce casse-tête en 5 minutes, mais les adultes prennent 60 minutes environ.
Trouvez le nombre manquant (voir Figure).
Répondez en mode CW, et indiquez le temps passé chronométré.⏱️
if you start with a logic system and introduce a binary operator “:”, where “x: y” means “x is of type y,” alongside a few types, probably a universal type, probably a type type, a function type operator, etc., is that meaningfully inferior to many-sorted logic?
asking because i plan to prove some things in a system like this, and i’m wondering if i should figure out how many-sorted logic works instead. #logic #mathematicallogic #proof #typetheory