Burgess : Philosophical Logic (Draft)

Zeitgeist : Now J.Burgess has his own Philosophical Logic textbook online (Word document).

[HT: Semantics etc. , Nothing of Consequence, ...]

Chaire d'excellence "Ideals of proof"

Michael Detlefsen exposera les grandes lignes de son programme de recherche 2008-2011 sur la notion de preuve, le mercredi 30 JANVIER 2008 à 17 heures,Salle des Actes (G04), Université Nancy 2, 23 Boulevard Albert 1er, 54015 NANCY

Site web du projet 'Ideals of Proof'.

Merci de confirmer votre participation auprès de :
Anny Begard (Anny.Begard AT univ-nancy2.fr) &
Fabien Schang (Fabien.Schang AT univ-nancy2.fr)

Ted Sider : Logic for Philosophy

Most of you are probably already aware of this, but I know some who are not : Ted Sider has a draft Logic for Philosophy.

Getting published : advices by P. Smith

Those two articles by Peter Smith (Cambridge University, former editor of Analysis) are very useful : Getting Published and
Developing a writing style

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.

Francesco Berto

Lundi 29 octobre, à 17h30 dans la grande salle de l'IHPST, le séminaire Philmath reçoit Francesco Berto (IHPST-CNRS-ENS):

Abstract:
Some of the strangest outcomes of paraconsistency have to do with inconsistent arithmetic and impossible numbers. Traditional-minded logicians usually get puzzled when one mentions the astonishing applications of paraconsistency in formal arithmetic. However, at the cost of some incredulous stares (which usually begin when one mentions the fact that paraconsistent arithmetics include contradictory numbers, and especially numbers which are identical to their immediate successor), one gets a world in which even well-established limitative results of ordinary metamathematics, such as Gödel’s Theorems, begin to fluctuate. In this talk I summarize some of the main results around, which are as unfamiliar to the general audience as they are innovative and interesting. The presentation is focused on *relevant* arithmetics, i.e., on formal systems for arithmetic whose underlying logic is some relevantlogic. After giving bits of relevant proof theory, I switch to a model-theoretic approach (which I find philosophically much more stimulating). I introduce a useful *collapsing filter*, which turns the so-called standard model of arithmetic into interesting inconsistent models by shrinking in an appropriate way its cardinality.

V. Hendricks

Philform reçoit Vincent Hendricks (Roskilde University, Denmark) le lundi 22 octobre de 14h à 16h dans la grande salle de l'IHPST.

Limiting Skepticism

Abstract/ Modal operator epistemology is a formal epistemological paradigm obtained by mixng modal, tense and epistemic logic with rudimentary elements from formal learning theory. The paradigm was developed in The Convergence of Scientific Knowledge (Springer: 2001) and used there and elsewhere to study the validity of limiting convergent knowledge(Mainstream and Formal Epistemology (Cambridge UniversityPress, 2006)).Studying knowledge is also studying skepticism. Skepticism is usually considered to being a short-run strategy. Using modal operator epistemology this paper scrutinizes what happens to skepticism in the long run: Can skepticism outstrip knowledge in the limit?

The dancer

Left or Right ?







[via Probably Possible]

Atelier sur la causalité à l'IHPST

IHPST, lundi 15 octobre 2007, Grande Salle
Organisé par Mikaël Cozic (IHPST/GREGHEC) et Philippe Mongin (GREGHEC/IHPST)

Programme :
14h30-15h30 : D. Hausman (University of Wisconsin, Madison), “Explaining by Citing Causes ”
15h30-16h30 : I. Drouet (IHPST), “Utiliser les réseaux bayésiens pour inférer des causes”
16h30-17h30 : Ph. Huneman (IHPST), titre à venir

Fundamenta Mathematicae

Archives of the famous journal Fundamenta Mathematicae are available online free.

[via LogBlog]

Joe Salerno

Joe Salerno has given a talk at Philform seminar yesterday, on "Counterpossible Conditionals"

ABSTRACT: Subjunctive conditionals with impossible antecedents (or counterpossibles) are standardly treated as vacuously true---the classical lore being that if an impossibility were to obtain, then anything would be the case. We'll discuss and develop a non-vacuous reading for (some) counterpossibles. The account provides resources for capturing some illusive philosophical notions---including the intuitive difference between essence and necessity, and an intuitive account of epistemic possibility.