Category: Uncategorized
-
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.
-
Behmann’s 1921 Lecture on the Decision Problem
Paolo Mancosu‘s and my paper on Heinrich Behmann’s 1921 lecture on the decision problem is out in the new issue of the Bulletin of Symbolic Logic. (Hey you are a member of the Association for Symbolic Logic, right? Comes with subscriptions to the Bulletin, the Review, and the Journal of Symbolic Logic!) This is the…
-
Many-Valued Logics and Slime Moulds
First I just thought, “How weird! Applying many-valued logic to slime moulds.” But then I read it and not only is this a bona-fide application of p-adic logic to the behavior of slime moulds, no, the slime moulds are used as computers in this application! And my own work is used! So, yay to p-adic…
-
In Good Company
The long awaited (by me, at least) article by Paolo Mancosu on the Good Company objection has been out in the Review for a few months and I missed it. You probably didn’t, if you care about these things, but anyway: In a recent article (Mancosu, 2009), I have explored the historical, mathematical, and philosophical…
-
Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics
Organized by Université de Montpellier and LIRMM-CNRS with the support of the ANR project Polymnie, June 10-12 will see a really neat workshop on the use of epsilons and choice functions. The program is now online; if you can, you should go. This workshop aims at promoting work on Hilbert’s Epsilon in a number of…
-
Git for Victorianists, erm, Philosophers (pt. 4)
(Continues part 1, part 2, and part 3; fork the full text on GitHub) Branches Programmers are fond of using “branches” in their code. A code branch is a version of the entire project that shares it change history, but includes some changes the main branch (usually called “master”) does not (yet) contain. This is…
-
Git for Philosophers (pt. 3)
(Continues part 1 and part 2; fork the full text on GitHub) Forks and Pull Requests If you have push access to a repository, you can sync your local clone with the remte on GitHub or GitLab directly. But many projects do allow push access only to a select group of people to make sure…