The On-Line Encyclopedia of Integer Sequences

1,2,3,6,11,23,47,106,235 reminds you of something, but can't say what exactly ?
Wish to hear the sound of a Fibonacchi sequence ?
The On-Line Encyclopedia of Integer Sequences may help you and do much more.

[h.t. Nicolas le Thierry d'Ennequin]

Henry Kyburg

Professor of Philosophy and Computer Science (Rochester University) Henry E. Kyburg dies. Obituary.

P. Smith : On Subsystems of PA2

An user-friendly introduction to subsystems of PA2. Peter Smith : On Some Subsystems of Second-Order Arithmetic

An introduction to finite model theory

J. Vaananen "A short course on finite model theory"

Context-dependence, Perspective and Relativity in Language and Thought

Conference, 9th to the 11th of November, 2007. Information, program etc., here.

Michael Rathjen on Ordinal Analysis of Proofs

Here is useful survey by Michael Rathjen : The art of ordinal analysis.
[via Logic Matters]

Colin McGinn has a blog

colinmcginnblog.com.

CSLI Publications online free

A Stanford digitalized library.
[h.t. LogBlog]

Advances in Modal Logic : call for paper

AiML-2008 ♥ ADVANCES in MODAL LOGIC ♥ http://aiml08.loria.fr
9-12 September 2008, LORIA, Nancy, France
invites submission of short or long papers on various aspects of modal logic, its applications, its history, philosophy etc.

DEADLINE: 31 March 2008

Paradoxes and contemporary logic

Paradoxes and contemporary logic is a new SEP entry, written by A. Cantini.
The is also a new entry on Philosophy of mathematics by L. Horsten, one on Frege-Hilbert Controversy by P. Blanchette and one on Bolzano's logic by J. Sebestik.