Mindblown: a blog about philosophy.
-
Open Philosophy Textbooks
Since it’s open access week, and since I’ve been thinking about Open Educational Resources a fair bit lately, I thought I’d post briefly about the state of OER in philosophy. First, what’s an OER? It’s any kind of material that you can use in teaching and learning that is openly available. Examples are syllabi, handouts,…
-
Book Symposium on Greg Frost-Arnold’s “Carnap, Tarski, and Quine at Harvard” in Metascience
The book symposium I organized for this year’s Pacific APA on Greg Frost-Arnold’s Carnap, Tarski, and Quine at Harvard: Conversations of Logic, Mathematics, and Science (Chicago: Open Court, 2013) is coming out in the journal Metascience. The papers are now online: Rick Creath, Understandability Gary Ebbs, Quine’s “predilection” for finitism Greg Lavers, Carnap’s surprising views…
-
Antonelli on First-Order Quantifiers
Aldo Antonelli unexpectedly died two days ago, and I can’t write about that without crying yet. Meanwhile, I recommend this beautiful paper to you: On the General Interpretation of First-Order Quantifiers, published in the ASL journal he founded, the Review of Symbolic Logic.
-
Carnap’s Early Metatheory
I know you’ve been waiting for the definitive assessment of what Carnap was up to in his unpublished Untersuchungen zur Allgemeinen Axiomatik from the late 1920s. Georg Schiemer, Erich Reck, and I wrote a paper about it. I’ll leave it to you to judge whether this paper is the definitive assessment you’ve been waiting for. …
-
Intro Logic Lecture Slides
I’ve put the source code for my Logic 1 lecture slides into GitHub. That’s a pretty standard intro logic course, using Language, Proof & Logic as a text. I do have mainly computer science students in the course, and I try to make the material relevant to them as much as possible. There are also…
-
Blanchette and her Critics
At the 2014 Pacific APA I organized a book symposium (aka, author-meets-critics) on Patricia Blanchette‘s Frege’s Conception of Logic (OUP 2012). The contributions by Roy Cook, Marcus Rossberg, and Kai Wehmeier have just been published in the Journal for the History of Analytic Philosophy, together with Paddy’s replies.
-
John Baldwin on Model Theory and the Philosophy of Mathematical Practice
John T. Baldwin (Illinois-Chicago) has a draft of his book Formalism without Foundationalism: Model Theory and the Philosophy of Mathematical Practice. On, FOM he wrote: Martin Davis posted a couple of days ago a message containing this sentence. “Gödel showed us that the wild infinite could not really be separated from the tame mathematical world where…
-
Paid Undergraduate Internships with the Open Logic Project in Calgary, Summer 2016
Nicole and I have openings, through a Canadian agency called MITACS, for advanced undergraduate students with a background in logic, philosophy, or computer science from Australia, Brazil, France, China, India, Mexico, Saudi Arabia, Tunisia, or Vietnam to come to Calgary for 12 weeks over the northern summer of 2016 (i.e. May-Aug). There are two openings,…
-
Jaakko Hintikka, 1929-2015
The AAP reports on facebook that Jaakko Hintikka has died. Update: confirmed by the University of Helsinki. Update 2 from the CLMPS organizing committee in Helsinki: It is my sad duty to tell the news that the Finnish logician and philosopher Jaakko Hintikka died at the age of 86 after a brief illness on August…
-
Git for Philosophers, Packaged with PDF
If you want to print the “Git for philosophers” piece, I made a release of the Git version with PDF and HTML versions. Here’s the PDF of Git for philosophers.
Got any book recommendations?