Mindblown: a blog about philosophy.
-
New in Print: forall x (Summer 2017 edition), and Incompleteness and Computability
New on Amazon: the print version of the Summer 2017 edition of forall x: Calgary Remix, as well as the text I made for Phil 479 (Logic III) last term, Incompleteness and Computability. The new edition of forall x includes a number of corrections submitted by Richard Lawrence, who taught from it at Berkeley in…
-
Aldo Antonelli’s last paper
Aldo Antonelli’s last paper, “Completeness and Decidability of General First-Order Logic (with a Detour Through the Guarded Fragment)” is now out in the most recent issue of the Journal of Philosophical Logic. This paper investigates the “general” semantics for first-order logic introduced to Antonelli (Review of Symbolic Logic 6(4), 637–58, 2013): a sound and complete…
-
Association for Symbolic Logic at the Pacific APA
The ASL Spring Meeting will take place on Wednesday and Thursday at the Pacific APA in Seattle! Note that the ASL Reception will take place on Thursday, April 13, 5:00–7:00 p.m. There will be snacks and wine! Here’s the program: WEDNESDAY MORNING, APRIL 12, 9:00 A.M.–12:00 P.M. Invited Speaker Session: MODALITY AND MODAL LOGIC Chair:…
-
New Textbook on Incompleteness
I made a textbook on incompleteness for my Logic III course. See it/read about it over at the Open Logic Project.
-
CfP: Quantifiers and Determiners (part of ESSLI 2017)
QUAD: QUantifiers And Determiners http://www.lirmm.fr/quad Toulouse, Monday July 17 — Friday July 21: 17:00-18:30 ESSLLI 2017 workshop Schedule: deadline for submissions: 17 March 2017 submission website: https://easychair.org/conferences/?conf=quad2017 notification to authors: 15 April 2017 final version due: 19 May 2017 conference: 17-21 July 2017 Presentation: The compositional interpretation of determiners relies on quantifiers — in a…
-
Jack Howard Silver, 1942-2016
From the Group in Logic and the Methodology of Science: It is with great sadness that we announce that Professor Jack Howard Silver died on Thursday, December 22, 2016. Professor Silver was born April 23, 1942 in Missoula, Montana. After earning his A.B. at Montana State University (now the University of Montana) in 1961, he…
-
Courant’s Home Movies
Legendary mathematicians: They’re just like us! Hilbert shovels the snow Alexandroff and Göppert hang by the pool Lewy, Friedrichs, and van der Waerden correct proofs in Courant‘s garden.
-
Bjarni Jónsson, 1920-2016
Sad news via the FOM list today: Published in Tennessean on Nov. 6, 2016 Bjarni Jónsson, originally of Draghals, Iceland, passed away in Cincinnati, OH on Friday, September 30, 2016 at the age of 96. Beloved husband of the late Harriet P. (nee Parkes) Jonsson. Devoted father of Eric (Kaye) Jonsson, Meryl (Bob) Runion Rose…
-
(SEP ∧ SSHAP) → Calgary
In May 2017, both the Society for Exact Philosophy and the Society for the Study of the History of Analytic Philosophy will hold their annual meetings at the University of Calgary. Come for one, stay for the other, or come for both and stay for Banff National Park in the Canadian Rockies! Keynotes will be…
-
My First Paper!
I went through old floppies when I went back home over the summer and found the first logic paper I ever wrote! It was on proof theory and general algebra (I guess I must have taken courses in both at the time–1992). For your amusement: A Paedagogical Example of Cut-Elimination [pdf-embedder url=”http://richardzach.org/files/2016/09/cutel.pdf” title=”A paedagogical Example…
Got any book recommendations?