The Present and the Past of Miscellanea Logica
Miscellanea Logica came into being as an occasional bulletin of the Department of Logic of the Faculty of Philosophy and Arts of the Charles University in Prague. The first five issues, published between the years 1998 and 2003, the first four of them in Czech, were of a truly miscellaneous nature: they contained different kinds of contributions to logic due mostly to the members and students of the department. (The are all available, in an electronic format, from Archive.) The people who deserve most of the credit for bringing Miscellanea Logica to life and editing the first issues were Petr Jirků (by that time the head of the department), Vítězslav Švejdar and Kamila Bendová.
When I moved to the position of the head of the Department of Logic I started to feel that time has come for a step forward. The idea of a new series of Miscellanea Logica, the first issue of which you are reading, is that it should be no longer miscellaneous, but rather much more narrow-focused. Each volume will be devoted to a single topic and bring together papers addressing urgent problems of contemporary logic (including the logic/mathematics and logic/philosophy interfaces); hence the new series should be more of a book series than a journal. The list of contributors should also not be restricted to people directly related to the department — we hope that by timely issuing CFPs for future volumes we turn Miscellanea Logica into a truly international enterprise.
Contents of actual issue
- Consequence & Inference
- Inferential Semantics in the Pragmatic Theory of Trurh and Reference
- Gödel’s Theorem and the Synthetic-Analytic Distinction
- The Discrete Charm of Non-standard Real Numbers
- Consequence and Semantics in Carnap’s Syntax
Next issue - Consequence, Inference, Structure
- Models for Substructural Arithmetics
- Semantics for Sub-intuitionistic Logics
- Normal forms, Distributive laws, and Uniform interpolants
- Consequence Relations in Inferential Erotetic Logic
- A Quick Guide to Independence Results in Set Theory