In the course of the last few decades, Bolzano has emerged as an important player in accounts of the history of philosophy. This should be no surprise. Few authors stand at a more central junction in the development of modern thought. Bolzano's contributions to logic and the theory of knowledge alone straddle three of the most important philosophical traditions of the 19th and 20th centuries: the Kantian school, the early phenomenological movement and what has come to be known as analytical (...) philosophy. This paper identifies three Bolzanian theoretical innovations that warrant his inclusion in the analytical tradition: the commitment to ‘logical realism’, the adoption of a substitutional procedure for the purpose of defining logical properties and a new theory of a priori cognition that presents itself as an alternative to Kant's. All three innovations concur to deliver what counts as the most important development of logic and its philosophy between Aristotle and Frege. In the final part of the paper, I defend Bolzano against a common objection and explain that these theoretical innovations are also supported by views on syntax, which though marginal are both workable and philosophically interesting. (shrink)

We present a number of, somewhat unusual, ways of describing what Craig’s interpolation theorem achieves, and use them to identify some open problems and further directions.

Attempts to articulate the real meaning or ultimate significance of a famous theorem comprise a major vein of philosophical writing about mathematics. The subfield of mathematical logic has supplie...

volumes of his work, in his discussions of what underlay a Wissenschaftslehre or theory of science in the sense of his conception; he did so with such purity and scientific strictness, and with such a rich store of original, scientifically confirmed and fruitful thoughts, that we must count him as one of the greatest logicians of all time. He must be placed historically in fairly close proximity to Leibniz, with whom he shares important thoughts and fundamental conceptions, and to whom (...) he is also philosophically akin in other respects.". (shrink)