Carnap as a Beall-style logical monist

Logical Truth and Analyticity in Carnap S "logical Syntax of Language"

Throughout his philosophical career, Carnap places the foundations of logic and mathematics at the center of his inquiries: he is concerned above all with the Kantian question "How is mathematics (both pure and applied) possible?" Although he changes his mind about many particular issues, Carnap never gives up his belief in the importance and centrality of this question—nor does he ever waver i...

A logical interpretation of Java-style exceptions

This paper presents a novel, type-based exception analysis for EC (an Exception Calculus)—a higher-order, typed programming language with first-class, Java-style exceptions. EC exceptions are predeclared and are subject to a nominal subtyping relation. Every exception has its own type, and generic exception handling is performed by handling a supertype of all applicable exceptions. Typing is ba...

Mechanizing Proofs with Logical Relations – Kripke-style

Proofs with logical relations play a key role to establish rich properties such as normalization or contextual equivalence. They are also challenging to mechanize. In this paper, we describe two case studies using the proof environment Beluga: first, we explain the mechanization of the weak normalization proof for the simply-typed lambda-calculus; second, we outline how to mechanize the complet...

People Profile: Jeffrey Beall

How monist is heterodoxy?

Some heterodox economists, most notably Tony Lawson, have come under suspicion of not being true pluralists, but ‘strategic pluralists’: their advocacy of pluralism is thought to be merely instrumental to a hidden monist agenda. This paper does not aim to judge the accused but rather to assess the accusations; the focus is on clarifying the notion of pluralism itself. First a paradox is found t...