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]

Petit guide pour accéder aux métiers
de la recherche dans les établissements d'enseignement supérieur et les organismes publics de recherche (documentation officielle).
[via Paris-1]

Brian Hill

Le lundi 3 juillet 2006, Brian HILL soutiendra sa thèse (sous la direction de Jacques Dubucs), intitulée :
Jouer avec le faux. Recherches sur les processus mentaux à l'œuvre dans la lecture des textes de fiction.
[Informations complémentaires (jury, abstract) ici].
La soutenance aura lieu salle J. B. Duroselle à la Sorbonne (galerie Dumas).

Colloque Realisme-antirealisme à Nancy

Greg Restall is live-blogging from Nancy here (merci Greg).

Update your links : OPP and B. Weatherson's pages are moving

B. Weatherson's web pages have moved to : http://tar.weatherson.org/.

Online Papers in philosophy has moved to : http://philosophy.jollyutter.net/opp/.

Philosophy and Computation (blog)

Paula Quinon has a blog : Philosophy and computation, with papers, informations etc.

Marges linguistiques

Marges linguistiques : une revue, des thèses et livres en ligne, des annonces de colloques, etc. dans le "vaste champ des sciences du langage".

PALMYR 3

PALMYR 3: 3rd Paris-Amsterdam Logic Meeting of Young Researchers. For more info, please visit: http://www.illc.uva.nl/palmyr/palmyr-3.

Relative truth (2)

There's a new (draft) paper related to the subject. Michael Glanzberg : Context, content and relativism. (On relative truth, see also this post dated may 17th. 2006).

[via OPP]

Fibring logics : the Portuguese School

Can we think of predicate temporal logic as resulting from a "combination operation" on first-order logic and propositionnal temporal logic ? Given two logics enjoying properties like completness, decidability, compactness etc., is there a systematic way to combine them in a new logic that enjoy these properties too (or : is it possible to find a way of caracterizing logic and then to define an operation of combining logics which have nice preservation properties? ) etc. Those questions have nice technical and philosophical aspects, and probably the best place to study them today is the IST - Instituto Superior Técnico, Lisboa, in The Center for Logic and Computation. Among distinguished members of the institute are A. Sernadas, C. Sernadas, W. Carnielli, or C. Caleiro.
For those interested in learning about these matters, let me mention three nice introductions to the subject of combining logic (especially fibring), both mathematically and philosophically motivated. Each of them extends its predecessors in the list, with overlap. The shorter one is Combining logic systems: Why, how, what for? (2003, 7 pages), and the second one is Fibring logics: Past, present and future (published in Artemov and al. (ed.) We Will Show Them: Essays in Honour of Dov Gabbay, 2005. 22 p.). The last one was published in the Handbook of Philosophical Logic (2nd Edition, volume 13, 2005. 61 p.) : Fibring of logics as a universal construction (available from the IST web site) .

Francesca Poggiolesi

Francesca Poggiolesi (IHPST ⁄ Firenze) présentera mardi 13 juin, à Philform, de 14H à 16h, "A new sequent calculus for modal logic".(abstract).

Alan Berger

Lundi 12 juin, 14h-16h, Philform reçoit Alan Berger (Brandeis University). L'exposé est intitulé : "The Quinean Quandary: Can Logic be Naturalized?". Attention, le séminaire se tiendra exceptionnellement en salle 302 (au troisième étage du 13, rue Du Four).

nouveau lien dans "Homepages" : Huw Price.

Centre Romand de Logique Histoire et Philosophie des Sciences

Alessandro Facchini m'indique le site du Centre Romand de Logique Histoire et Philosophie des Sciences à Lausanne et quelques liens :

-La page personnelle du prof. Duparc (directeur du Centre ), avec en particulier une introduction à la théorie des jeux, Games and their application in computer science.
- Quelques autres tutorials sur cette page.
- Trois autres institutions (mais je n'ai pas trouvé d'archives d'articles): le Departement de Logique, Histoire et Philo. des Sciences à Barcelone, le Research Group in Non-Classical Logics et le groupe LOGOS (toujours UBarcelone).