First Issue of Review of Symbolic Logic Out Soon!

The first issue of the Review of Symbolic Logic will be out soon (Cambridge UP page here). The Review, like the Journal and Bulletin of Symbolic Logic will be mailed to all members of the Association for Symbolic Logic. So if you’re not a member (and you probably should be, if you’re reading this!), join now! (Only 76$ per year–38$ for students– for three of the most important journals in logic, plus all the other benefits of membership)

Table of contents:

A Cut-Free Simple Sequent Calculus for Modal Logic S5
FRANCESCA POGGIOLESI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
How Applied Mathematics Became Pure
PENELOPE MADDY . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
The Closing of the Mind: How the Particular Quantifier Became Existentially Loaded Behind Our Backs
GRAHAM PRIEST . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
Recognizing Strong Random Reals
DANIEL OSHERSON AND SCOTT WEINSTEIN. . . . . . . . . . . . . . . . 56
Truth-Functionality
BENJAMIN SCHNIEDER . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
Probabilistic Conditionals are Almost Monotonic
MATTHEW P. JOHNSON AND ROHIT PARIKH . . . . . . . . . . . . . . . . 73
On Adopting Kripke Semantics in Set Theory
LUCA INCURVATI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
The Iterative Conception of Set
THOMAS FORSTER . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
A Decision Procedure for Probability Calculus with Applications
BRANDEN FITELSON . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
Ultimate Truth vis-à-vis Stable Truth
P.D. WELCH . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126

Leave a Reply

Your email address will not be published. Required fields are marked *