Institut für Mathematische Logik und Grundlagenforschung

Ansten Klev informs me that the institute for foundational research in
Münster has some logic texts on their website: here.
In english :

W. Pohlers : Computability theory of hyperarithmetical sets
W. Pohlers : Infinitary proof theory
W. Pohlers & T. Grass : A introduction to mathematical logic

Notre Dame Mathematical Lectures

In Notre Dame Mathematical Lectures series, one finds (.pdf):

Skolem : Abstract Set Theory (1962)
Curry : A Theory of Formal Deducibility(1950)

Sider's Logic for Philosophy (update)

Here's an updated link to Ted Sider's draft : Logic for Philosophy

[h.t. David Nicolas]

Handbook on the philosophy of information

Versions of the chapters are online here.
"This handbook is one volume in a 14 volumes set entitled Handbook of the philosophy of science, dealing with all aspects of the philosophy of science.
This multi-volume Handbook is to be published by Elsevier under the general editorship of Dov Gabbay, Paul Thagard, and John Woods. Editors : Johan van Benthem, Pieter Adriaans

Thomas Forster

Found on T.E. Forster's page.



As a matter of fact, I'm reading Forster's nice book Logic, Induction, and Sets and was looking for a list of errata. A list that, unfortunately, I didn't find.
If you're familiar with the book, by the way, I was concerned with the second paragraph on page 59 : ok, on the third line, I guess, "continuous" should be replaced by "complete" and on the tenth line, it is the set of fn(x) for *n* in N that is of interest (I write fn(x) for the nth iteration of the function f). But on line 6-7, what's going on exactely ? Is it tacitly assumed that x is sound in the sense that x≤ f(x) [for the sup of {x, fx, etc} to be a fixed point of the continuous operator f defined on a poset assumed to be chain-complete] ? Or does it have something to do with inflationary functions, defined a few pages earlier ? The intuition on continuity is, I think, clear enough, but I'm a bit baffled by the details of the development of the discussion in this paragraph.

Abramsky & Jung on Domain Theory

A corrected and expanded version of Abramsky & Jung's survey for the Handbook for logic in computer sciences is available online: Domain Theory

intuitionism.org

intuitionism.org :
"This website has as its goal to investigate the opinions of the mathematical community on intuitionism. To this end it presents ten slightly provocative questions and collects answers to these questions from as many people as possible."

[H.T. Gonçalo SANTOS]

Definitions

The SEP has a new entry on Definitions, by A. Gupta.

ESAP

Le site de l'ESAP a été amélioré, notamment le calendrier des conférences européennes

M. Makkai

M. Makkai has a set of lecture notes on set theory and model theory that may be useful to teachers and students ( to be added soon to the logic toolbox of theorem(e)... )

M.Detlefsen & D.Prawitz

W. Goldfarb

Le lundi 18 février 2008, le séminaire Philmath de l'IHPST reçoit le professeur Warren Goldfarb sur le thème :

ON DUMMETT'S 'PROOF-THEORETIC JUSTIFICATIONS OF LOGICAL LAWS'


IHPST, Grande Salle, 17h30-19h30

Francesca Poggiolesi

Francesca Poggiolesi soutient sa thèse le 4 février à 10h à l'Università degli Studi di Firenze, Dipartimento di Filosofia (Via Bolognese 52, Sala Conferenze).
:
"Sequent Calculi for Modal Logic"

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.

P. Smith : On Subsystems of PA2

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

Kurt Godel

The Kurt Gödel entry of the Stanford Encyclopedia of Philosophy, writen by Juliette Kennedy, has just been published. At first glance, a much interesting entry with a comprehensive overview of Gödel's logical and philsophical work.

Logica Universalis

The first issue of Logica Universalis is online with free access (at least at the time I'm writing this)

From the preface by J.Y. Béziau :
"Universal logic corresponds to the spirit of this new period. It is an attempt to study and develop some fundamental concepts and tools to navigate within the jungle of all existing logics, build new ones and to have a better understanding of what logic is."[...]
"In this journal will be published papers not dealing with a particular system of logic, but studying general concepts, tools, and techniques for the study of logics, such as consequence operators, sequent systems, logical matrices, tableaux, Kripke structures, institutions. Papers dealing with the study of classes of logics are also welcome as well as those examining the scope of validity and domain of application of fundamental theorems such as cut-elimination, compactness, completeness. We encourage furthermore some philosophical and historical papers dealing with the comparative study of logic in different cultures, the very nature of logic and its basic concepts such as truth, proof, definition, identity, negation, implication,modality, quantification."

Antony Eagle

Those who teach first-course logic may have a look at Antony Eagle's introductory logic textbook : Elements of deductive logic (electronic version here) (.pdf, 164 p.)
Consider also, for other purposes, his useful paper on probability and propension : Twenty-one arguments against Propensity analyses of probability(.pdf, 49 p., 2004)