Trends

If your not a TAR reader, this is a pointer to Brian Weatherson's post (march 2006) on (some) recent Big Ideas in philosophy.
The exercise seems both worth doing and worth reading, and it would probably be a good thing if it could be somewhat generalized along author and subject matter variables.

The Margaret Thatcher Illusion (here).

[from Mixing memory via Semantics etc.]

Recently added to the courseware page :
A nice course in modal logic (syntax, semantics, completness, logic of provability, logic of tense, intuitionist logic) : F. Veltman and Dick de Jongh : Intensional Logics (.pdf, 109p.)
Lambek's classic :JoachimLambek:The mathematics of sentence structure (1958)
And a general introduction to algebra somewhat logically-oriented, with chapters on lattices, on application to model theory etc. : Stanley N. Burris et H.P. Sankappanavar : A course in universal algebra (.pdf, 331p, millenium edition)

Blogs

Via Philotropes, je découvre le blog d' Alphapsy, et via Alphapsy je découvre The Edge, avec entre autre une mine d'entretiens filmés avec des grands noms des "sciences cognitives" (mais pas seulement).

Links added to the tutorial page :
H.A. Priestley : Ordered sets and complete lattices(.pdf, 75p., 2001)
M. Erné, J. Koslowski, A. Melton and G.E. Strecker : A primer on Galois Connections (.ps, 22p.)
R. Backhouse : Galois connections and fixed point calculus (.pdf, 105p., 2001).

Martin Lob

Martin Löb has died on Monday August 28th 2006 at the age of 85. Obituary by Stan Wainer.

J. Perry

John Perry has several old, recent and fothcoming papers on his homepage.

to appear

Handbook of Modal Logic

Links recently added to the logic-tutorial page :
G. Sandu : Appendix to Jaakko Hintikka's, the principles of Mathematics Revisited (truth definition in IF-logic, en français)
Melvin Fitting : Notes on mathematical aspects of Kripke's theory of truth
Melvin Fitting : On quantified modal logic(1998, .pdf, 18p)
Melvin Fitting : First-order intensional logic (2003, .pdf, 21p.)
Melvin Fitting : First order intensional logic axiomatized (.pdf, 22p)
Melvin Fitting : Higher-order modal logic - a sketch (.pdf, 17p.)
P. Blackburn and J. Van Benthem : Modal logic : a semantic perspective(.pdf , 75p.)
P. Blackburn and Maarten Marx : Lectures on Hybrid logic
D. Bonnay et M. Cozic :La théorie de la correspondance (50 p. , .pdf, en français)
M. Cozic et P. Egré : Logique des conditionnels (.pdf, 2006, en français)
Samuel Buss : An introduction to proof theory (.pdf, 78p., chap.1 of the Handbook of proof theory)
Samuel Buss : First-order theory of arithmetic(.pdf, 70p., chap.2 of the Handbook of proof theory)
Samuel Buss : Bounded Arithmetic (.pdf, 1986)

There will be free access to all articles published in the Journal of Moral Philosophy from now until 18th October 2006. The main journal website is http://mpj.sagepub.com/ .

Tarski : On the concept of following logically

A. Tarski : On the concept of following logically (.pdf). Translated (2002) from the Polish and German by Magda Stroiska and David Hitchcock; with English<->Polish glossaries.

John Hawthorne et Herman Cappelen

Mardi 12 septembre à 16 heure, à l'IHPST, John Hawthorne et Herman Cappelen (Oxford Universiy) donneront une conférence intitulée : RELATIVISM AND AGREEMENT
(organisation F. Moltmann)

2-D

Scott Soames : The Substance and Significance of the Dispute over Two-Dimensionalism (.pdf).

Philosophical Review

At the present time, The Philosophical Review is online with free access to latest issues (2000 - now).

24-30 September 2006: Logical Workshop "Logic and Games" in Kazimierz

The annual Logical Workshop of the Warsaw Logic Group is this year entitled "Logic and Games" and takes place in Kazimierz (beautiful city on the Vistula river) in Poland. For the first time the Workshop is organized in cooperation with Institute for Logic, Language and Computation (University of Amsterdam) and with participation of logicians from Helsinki and Paris. All tutorials will be in English.
There is also a call for papers for the evening session.

The "logic" page of Theorem(e) has been improved and links have been updated.

Colloque : Towards Mathematical Philosophy - 2006

Studia Logica International Conference - Towards Mathematical Philosophy, Toruñ, Poland, September 1 - 4, 2006 (Universitas Nicolai Copernici).

SOPHA 2006

Le colloque tri-annuel de la Société de philosophie analytique se tiendra à la rentrée, les 1, 2, et 3 septembre 2006. Informations ici.

Proof-theory

Jean Yves Girard has two textbooks on the web :

Jean Yves Girard, Yves Lafont and Paul Taylor: Proofs and types (175 p.).
("Based on a short graduate course on typed lambda-calculus given at the Université Paris VII in the autumn term of 1986-7")

Jean Yves Girard: The blind spot (.pdf , 500 p.)
(Complete english version of a book to be published soon (in french) - From Lectures on proof-theory, Roma Tre, October-December 2004 ).

Many-valued logic (3)

Walter Carnielli : Many-valued Models (one of the tutorials offered at the 1st World Congress and School on Universal Logic (2005)).

[see the reference post for many-valued logics]