Thursday, November 22, 2007

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]

Friday, November 16, 2007

Henry Kyburg


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

Saturday, November 10, 2007

P. Smith : On Subsystems of PA2

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

Friday, November 09, 2007

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.

Wednesday, November 07, 2007

Monday, November 05, 2007

Thursday, November 01, 2007

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.