| |
|
|
AN
INTERNATIONAL JOURNAL
FOR SYMBOLIC LOGIC
|
REVIEWS
SECTION
|
|
| |
|
|
|
|
| |
|
|
Reviews
Editors
Thomas Bolander
Klaus Frovin
Jørgensen
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
Reviews
Section
|
Studia
Logica publishes reviews of
books and other material within the aim and scope of the
journal.
Studia
Logica encourages authors and publishers to send, for review,
copies of books and other published material to the reviews
editors at the address
stated in the contact section below.
*
This site
includes information for authors, publishers and reviewers as to the
reviews procedure, how to contact the reviews section, titles
currently under review, titles intended to be reviewed and titles already reviewed.
|
|
|
|
Procedure
|
Authors or
publishers should send the material intended for review to the
reviews section. The reviews section will then find a suitable
reviewer(s).
The review should be
completed within about 6 months after receipt of the material, and
to compensate reviewers for their efforts the reviewers get to
keep the reviewed material. Each review should vary between 4 to 6 pages in
length and provide the reader with some insights into the contents
of the book, the intended audience, and the reviewer's opinion of
the book.
Once the review
is published the reviews section will forward the review
to the authors or publishers.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Contact
|
|
Contact
the reviews editors at the following address:
Studia Logica Reviews Editors
Department of Philosophy and Science Studies
Roskilde University,
PA6
P. O. Box 260, DK-4000 Roskilde
Denmark
Fax: (+45) 4674 3012
Email:
tb@imm.dtu.dk,
frovin@ruc.dk
|
|
|
|
|
|
|
|
|
|
|
|
|
|
 |
|
|
|
|
|
|
|
| Title |
Author |
Publisher |
Processed |
Status |
| The Oxford Handbook of Philosophy of Mathematics and Logic | S. Shapiro (ed) | OUP | Feb. 6, 06 | Under review |
| Logical Pluralism | J. C. Beall and G. Restall | OUP | April 27, 06 | Under review |
| Alfred Tarski: Life and Logic | A. and S. Feferman | CUP | Aug. 28, 06 | Under review |
| Incompleteness in the Land of Sets | Melvin Fitting | College Pub. | Jul. 25, 07 | Under review |
| Absolute Generality | A. Rayo and G. Uzquiano (eds) | OUP | Dec. 1, 09 | Under review |
| Applied Proof Theory | U. Kohlenbach | Springer | Aug. 4, 08 | Under review |
| One Hundred Years of Intuitionism | M. van Atten et al. (eds) | Birkhäuser | Aug. 15, 08 | Under review |
| Analysis and Synthesis of Logics -- How to Cut and Paste Reasoning Systems | W. Carnielli et al. | Springer | Aug 26, 08 | Under review |
| Constructive Negations and Paraconsistency | S.P. Odintsov | Springer | Aug. 26, 08 | Under review |
| Information and Knowledge | G. Primiero | Springer | Aug. 26, 08 | Under review |
| Modalities and Multimodalities | W.A. Carnielli and C. Pizzi | Springer | Dec. 18, 08 | Under review |
| Proof Theory: The first step into impredicativity | W. Pohlers | Springer | Dec. 23, 08 | Under review |
| New Computational Paradigms | S.B. Cooper, B. Loewe & A. Sorbi | Springer | Feb. 12, 09 | Under review |
| Generalized Galois Logics | K. Bimbo and J. Michael Dunn | CSLI | Jun. 18, 09 | Completed |
| Human Reasoning and Cognitive Science | K. Stenning and M. van Lambalgen | MIT Press | Aug. 27, 09 | Under review |
| Axiom of Determinacy, forcing axioms, and the nonstationary ideal | W.H. Woodin | de Gruyter | Aug. 27, 09 | Locating reviewer |
| Descriptive Set Theory | Moschovakis | AMS | Jan. 5, 10 | Locating reviewer |
| Vagueness and Degrees of Truth | Nicholas J. J. Smith | OUP | Jan. 5, 10 | Under review |
| New essays on the knowability paradox | Joe Salerno (ed) | OUP | Jan 5, 10 | Under review |
| Institution-independent Model Theory | R. Diaconescu | Birkhaüser | Jan 15, 10 | Locating reviewer |
| Logic for Philosophy | T. Sider | OUP | Jan 15, 10 | Locating reviewer |
| The development of modern logic | L. Haaparanta (ed) | OUP | Jan 15, 10 | Locating reviewer |
| The Structure of Models of Peano Arithmetic | Kossak and Schmerl | Oxford | Jan 26, 10 | Locating reviewer |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Title |
Author |
Publisher |
Reviewer |
Publication |
| The Blackwell Guide to Philosophical Logic | L. Goble | Blackwell | D. Jehle | vol 84(1), Oct 2006 |
| Relation Algebras by Games | Hirsh & Hodkinson | Elsevier | Maarten Marx | vol 77 |
| Change, Choice and Inference | Rott | OUP | S.O. Hansson | vol 77 |
| Algebraic Methods in Philosophical Logic | Dunn & Hardegree | OUP | A. Urquhart | vol 79, 2005 |
| Types, Tableaus and Gödels God | Fitting | Kluwer | Girle | vol 81, 2005 |
| The Companion to Philosophical Logic | Jacquette (ed.) | Blackwell | Torsten Jepsen | vol 77, 2004 |
| Possibilities and Paradox | Beall & Van Fraassen | OUP | Graham Priest | vol 79, 2005 |
| Continuous Lattices and Domains | Gierz et al. | CUP | Ulrich Berger | vol 87(1), Oct 2007 |
| Towards a Philosophy of Real Mathematics | Corfield | CUP | Jim Brown | vol 81 |
| Problems in Set Theory, Mathematical Logic | Lavrov & Maksimova | Kluwer / PP | E. Mendelson | vol 79 |
| Foundations of Logic and Mathematics | Nievergelt | Birkhäuser | W.A. Carnielli | vol 78, 2004 |
| Paradox and Paraconsistency | Woods | CUP | Andrew Irvine | vol 85(2), March 07 |
| Deduction | Bonevac | Blackwell | Stig Alstrup Rasmussen | vol 77 |
| Meaning and Argument | Lepore | Blackwell | R.A. Girle | vol 79 |
| Logic, Induction and Sets | Forster | CUP | Jan Wolenski | vol 81, 2005 |
| The Shaping of Deduction in Greek Mathematics | Netz | CUP | J. Hoeyrup | vol 80, 2005 |
| Many-Dimensional Modal Logic | Gabbay et al | Elsevier | Mark Reynolds | vol 81, 2005 |
| Reasoning about Uncertainty | Halpern & van der Hoek | MIT | Igor Kozine | vol 87(2), Nov. 07 |
| Bayesian Epistemology | Bovens & Hartmann | OUP | | vol 81, 2005 |
| The Stag Hunt | Skyrms | OUP | R. van Rooij | vol 85(1), Feb. 2007 |
| Incomplete Information | Demri, Orlowska | Springer | Jouni Järvinen | vol 84(3), Dec. 2006 |
| Mild Contraction | Levi | OUP | S.O. Hansson | vol 82 |
| Knowledge and Lotteries | Hawthorne | Clarendon | Cliff S. Hill | vol 84(1), Oct. 2006 |
| Bridges Between Classical and Nonmonotonic Logic | Makinson | KCP | Choh Man Teng | vol 89(3), Aug. 2008 |
| Representation and Inference for Natural Languages | Blackburn and Bos | CSLI | Anders Soegaard, CST | vol 86(1), Jun. 2007 |
| Truth and Paradox | Tim Maudlin | Oxford | Roy Cook | vol 85(2), Mar. 2007 |
| Computability Theory | Cooper | CRC | Lars Kristiansen | vol 86(3), Aug. 2007 |
| Relevant Logic | Mares | CUP | R. Kahle | vol 86(1), Jun. 2007 |
| Doubt truth to be a liar | Graham Priest | OUP | Bartosz Wieckowski | vol 87(1), Oct. 2007 |
| Mystic, Geometer, and Intuitionist: The Life of L.E.J. Brouwer. Volume II. | Dirk van Dalen | OUP | van Bendegem | vol 87(1), Oct. 2007 |
| Category Theory | S. Awodey | OUP | Birkedal, Lars | vol 86(3), Aug. 2007 |
| The Seventeen Provers of the World | F. Wiedijk (ed) | Springer | R. Kahle | vol 87(2), Nov. 2007 |
| Universal Logic | Ross Brady | CSLI | Mark Jago | vol 87(2), Nov. 2007 |
| Mainstream and Formal Epistemology | V.F. Hendricks | CUP | Paul Gochet | vol 86(3) Aug. 2007 |
| Mathematical Problems from Applied Logic | Dov Gabbay et al. (eds) | Springer | Anders Søgaard | vol 87(2), Nov. 2007 |
| Handbook of Modal Logic (vol 3) | Blackburn et al. (eds) | Elsevier | Martin M. Bentzen | vol 96(1), Oct. 2010 |
| Self-reference | Bolander et al. (eds) | CSLI | Roy Cook | vol 91(1), Feb. 2009 |
| Game Theory | V.F. Hendricks, P.G. Hansen (eds) | Automatic Press | Jeffrey Helzner | vol 89(1), Jun. 2008 |
| What is Category Theory | G. Sica | Polimetrica | John Symons | vol 89(2), Jul. 2008 |
| Dynamic Epistemic Logic | H. van Ditmarsch, W. van der Hoek, B. Kooi | Springer | Andreas Herzig | vol 89(3), Aug. 2008 |
| Elements of Argumentation | P. Besnard and A. Hunter | MIT Press | Jenny Eriksson Lundström | vol 93(1), 2009 |
| The Philosphy of Mathematical Practice | P. Mancosu | Oxford | Jessica Carter | vol. 92(1), 2009 |
| Completeness Theory for Propositional Logics | W.A. Pogorzelski & P. Wojtylak | Birkhäuser | Tomasz Polacik | vol. 95(3), 2010 |
| Saving Truth from Paradox | Hartry Field | Oxford | David Ripley | vol. 94(1), 2010 |
| Temporal Logic and State Systems | F. Kröger and S. Merz | Springer | Valentin Goranko | vol 94(3), 2010 |
| Hypercomputation: Computing Beyond the Church-Turing Barrier | A. Syropoulos | Springer | Philip Welch | vol 96(3), Dec. 2010 |
| Quantification in Nonclassical Logic | D.M. Gabbay, D. Skvortsov and V. Shehtman | Elsevier | Silvio Ghilardo | vol 95(3), Aug. 2010 |
|
| |
|
|
|
|
|
|
| |
|
|
|
|
|
|
Studia
Logica - An International Journal for Symbolic Logic covers
contemporary formal logic and its applications and relations to
other disciplines. These include artificial intelligence,
informatics, cognitive science, philosophy of science, and the
philosophy of language. However this list is not exhaustive,
moreover, the range of applications, comparisons and sources of
inspiration is open and evolves over time.
Studia
Logica is published by Springer Verlag.
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|