Alan Turing gets royal pardon for his 1952 conviction for “gross indecency.”
Twenty years ago this month I submitted my Diplomarbeit (MA thesis) on the proof theory of finite valued logics. Still kinda proud of it.
The main results of this report are: the use of signed formula expressions and partial normal forms to provide a unifying framework in which clause translation calculi, sequent calculi, natural deduction, and also tableaux can be represented; bounds for partial normal forms for general and induced quantifiers; and negative resolution. The cut-elimination theorems extend previous results, and the midsequent theorem, natural deduction systems for many-valued logics as well as results on approximation of axiomatizable propositional logics by many-valued logics are all new.
Here’s an old blog post on the whole idea.
The North American Summer School in Logic, Language and Information wil be held June 23-27, 2014 in College Park, MD. A call for papers for the student session was just issued; deadline is February 24.
The North American Summer School for Logic, Language and Information (NASSLLI) welcomes paper submissions for presentation at its Student Session. Submissions may be in any of the fields related to the school (logic and language, logic and computation, or language and computation) and should represent original, unpublished work by individuals who will not yet have received their Ph.D. by the time of the conference.
The Student Session will co-occur with NASSLLI and provides students an excellent opportunity to present their work to experts in their field as well as to a broader, well-informed interdisciplinary audience. All submissions will be reviewed by at least three specialists who will provide commentary on the paper regardless of its acceptance status.
Submissions should be prepared for blind review (i.e., should not contain any information identifying the author) and should be uploaded as a .pdf file to the Student Session’s EasyChair site. Submissions should not exceed 10 pages and should be formatted standardly (11 or 12 point font, 1 inch margins).
No more than one-single authored and one co-authored paper should be submitted by an individual. (All co-authors should also be students.) Authors whose submissions have been accepted and who intend to present will be required to register for NASSLLI.
Submissions due: February 28, 2014 (by midnight)
Notifications: April 14, 2014
Wow, awesome. Lecturers include Rachael Briggs, Sonja Smets, and Florian Steinberger.
The Munich Center for Mathematical Philosophy (MCMP) is organizing the first Summer School on Mathematical Philosophy for Female Students, which will be held from July 27 to August 2, 2014 in Munich, Germany. The summer school is open to excellent female students who want to specialize in mathematical philosophy.
Since women are significantly underrepresented in philosophy generally and in formal philosophy in particular, this summer school is aimed at encouraging women to engage with mathematical methods and apply them to philosophical problems. The summer school will provide an infrastructure for developing expertise in some of the main formal approaches used in mathematical philosophy, including theories of individual and collective decision-making, agent-based modeling, and epistemic logic. Furthermore, it offers study in an informal setting, lively debate, and a chance to strengthen mathematical self-confidence and independence for female students. Finally, being located at the MCMP, the summer school will also provide a stimulating and interdisciplinary environment for meeting like-minded philosophers.
Alan Richardson writes on HOPOS-L:
Professor Maria Reichenbach passed away on 28 November at the age of 104. She survived her husband, Hans Reichenbach, by over 60 years. Within the HOPOS community, Maria Reichenbach is best known for her efforts to keep alive the work of Hans, including her translations of several of his early books and her editorship (jointly with Robert S. Cohen) of his selected writings. Less well known is the fact that she donated funds from a German compensation scheme for academics who lost their jobs due to Nazism to fund a variety of activities at UCLA’s Department of Philosophy, including the annual Hans Reichenbach Lecture and the Hans Reichenbach Chair of Scientific Philosophy, held from its inception by David Kaplan.