The Bulletin of Symbolic Logic

Volume 12, Issue 01, March 2006

  • What is Tarski’s common concept of consequence?, by Ignacio Jané, pages 1 — 42.
  • Computing with functionals—computability theory or computer science?, by Dag Normann, pages 43 — 59.
  • What is neologicism?, by Bernard Linsky and Edward N. Zalta, pages 60 — 99.
  • Nonstandard arithmetic and reverse mathematics, by H. Jerome Keisler, pages 100 — 125.

  • Reviews, pages 126 — 142.
  • In this issue:

  • I. Farah, Analytic quotients, reviewed by D. H. Fremlin, page 126.
  • K. R. Apt, Principles of constraint programming, reviewed by Hubie Chen, page 128.
  • G. Priest, J. C. Beall, and B. Armour-Garb (editors), The law of non-contradiction: New philosophical essays, reviewed by Francis Jeffry Pelletier, page 131.
  • H.-C. Schmidt am Busch and K. F. Wehmeier (editors), Heinrich Scholz. Logiker, Philosoph, Theologe, reviewed by Matthias Wille, page 135.
  • V. F. Hendricks, Logical lyrics: From philosophy to poetics, reviewed by Amirouche Moktefi, page 137.
  • V. Peckhaus (editor), Oskar Becker und die Philosophie der Mathematik, reviewed by Risto Vilkko, page 137.
  • M. van Lambalgen and F. Hamm, The proper treatment of events, reviewed by Marcus Kracht, page 139.
  • R. Wolf, A tour through mathematical logic, reviewed by Michael Stob, page 141.

  • Meetings of the Association
  • 2005 Annual Meeting of the Association for Symbolic Logic, Stanford University, Stanford, CA, March 19—22, 2005, pages 143 — 167.

  • Notices, pages 168 — 173.

  • The Association for Symbolic Logic holds the Copyright to the articles in the Bulletin of Symbolic Logic, and these articles cannot be reprinted without permission from the Association. They can be downloaded from this site for personal and educational uses only.