#Apple announces Final Cut Pro and #Logic Pro for #iPad, available as subscriptions on May 23; Final Cut requires an M1 chip or newer and Logic needs A12 or newer
Hi! I am a philosopher and logician, and if you would like to understand the kind of work I do, the easiest way to get up to speed is to start with my little slip of a book “Proofs and Models in Philosophical Logic”. https://consequently.org/writing/pmpl-elements/
Arcane Cache: Review to "Luggage Retrieval Officer", a logic homebrew game for the GBA that combines sly charm with - literal - mathematically precise constructed puzzles.
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... 🧵
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
#é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é.⏱️