Reverse Mathematics: Problems, Reductions, and Proofs, by UConn Logic Group's very own Damir Dzhafarov, and Carl Mummert!! Available for pre-order: https://t.co/TKOZyI0cqs
This week in the Logic Colloquium: (our very own) Julian Schlöder on “Neo-Pragmatist Truth and Supervaluationism”. Friday, Feb 11, 2:30 EST, on Zoom. Details on how to join and abstract here: https://t.co/D94csunR08
This week in the Logic Colloquium: Friday, Nov 12th, 2:30 - 4 pm, a talk by @RrrichardZach: "Semantics of First-order Logic: the Early Years" – abstract and details here: https://t.co/D94csunjaA
The Logic Group is off to a great start! This week in the Logic Colloquium: Rashed Ahmad – "A Recipe for Paradox (A Better Schema than the Inclosure Schema)" – abstract and details here: https://t.co/D94csunjaA
@evanewashington Feys 1937 called the system “t”. Sobociński calls it “T”. I don’t think either of them gives a rationale. Feys’s article is in French though... perhaps there’s something in the later book?
@ajcotnoir@ajcotnoir @alexusmcleod Let’s form a club. I’m the first (and so far only) in my family to finish high school. Books were alien creatures when I grew up, definitely not for people like us.