Jaakko Hintikka

Demain mardi 30 mai, de 14h a 16h, Jaakko Hintikka présentera à Philform un exposé intitulé "Non-Bayesian Epistemology".

Robert Brandom

2005-2006 John Locke Lectures, by Robert Brandom.

[via consequently.org]

Nouveau lien: Gila Sher.

LateX

LateX layouts:
A la ASL(Association for Symbolic Logic)
A laSpringer Verlag (note : for books, the class provided now is "svmono". For the old (?) "CLmono" class click here).
A la Cambridge University Press

There is also the sophisticated memoir class.
And the Simple Thesis class from Melbourne.

For LateX slides : try Beamer.

For Mac users, to manage bibliographies and BibteX files, Bibdesk is very good.

Multi-valued logics

Giovanni Panti (University of Udine Department of Mathematics and Computer Science) wrote a nice survey of the subject for the Handbook of Defensible Reasoning and Uncertainty Management Systems (D. Gabbay and P. Smets eds., Kluwer, 25-74, 1998). It's available via his papers' page:
Giovanni Panti : Multi-valued logics (General survey. Some material on the proof theoretic side is included).

Added (July 2006):
Sigfried Gottwald : Many-Valued Logics (General survey with special emphasis on t-norms and fuzzy logic. Algebraic-semantic point of view).

[For more on the the proof-theoretic side, have a look at Richard Zach's papers on the subject ( available on his publications page), and papers of Arnon Avron.]


Added (July 2006):
Walter Carnielli : Many-valued Models (32 p.)
[Contrary to the above papers, this one gives many-valued methods for independance results, and also has interest in paraconsistant logics.
It is one of the tutorials offered at the 1st World Congress and School on Universal Logic (2005) ]

Events in Analytic Philosophy in Europe

Events in Analytic Philosophy in Europe : a usefull online agenda.

Some blogs:
Mixing memory(Cognitive science and philosophy).
Mathematics and computation (par Andrej Bauer).

[theoreme : nouvel habillage]

Relative truth

First, a Workshop Announcement from the IHPST :"Meaning, Value, and Relative Truth", to be held on Monday, June 26, 2006 (details here). (You can also check F. Moltmann's publication page to get her "First-Person-Oriented Genericity and Relative Truth" in pdf format).

And second, the right time to note that Max Kölbel's homepage includes many papers of his, as does John MacFarlane's (well, for his papers).

Added (June 5 2006) :
Peter Lasersohn : Context Dependence, Disagreement, and Predicates of Personal Taste.
Stephenson, T. (2006) : Assessor-Sensitivity: Epistemic Modals and Predicates of Personal Taste.
A. Egan : Epistemic modals, relativism and assertion
A. Egan, J. Hawthorne, B. Weatherson : Epistemic modals in context

Added (June 18 2006):
Michael Glanzberg :Context, content and relativism.

Logic matters

This is the name of new (good) blog (here is the link), edited by Peter Smith (homepage), lecturer in the Philosophy Faculty at Cambridge.

Call for papers : Third arché graduate conference

The Third aché graduate conference : call for paper (deadline : 16 august 2006).

[via Nothing of consequence]

Logic Daemon and Quizmaster

Disponible en ligne : Logic machine (Logic Daemon, quizmaster, ...).

"The Logic Machine at Texas A&M University hosts interactive logic software used for teaching introductory formal logic. The Daemon Proof Checker checks proofs and can provide hints for students attempting to construct proofs in a natural deduction system for sentential (propositional) and first-order predicate (quantifier) logic. The Quizmaster provides a variety of exercises, from questions about basic concepts such as validity, to wff construction and translation, to proofs, truth tables, and countermodels. The system and exercises are based on Logic Primer (MIT Press, 2000) but the exercises also suitable for use with other texts, such E.J. Lemmon's Beginning Logic."

M.O.T.

Modal operator theory A program in philosophy : un programme de recherche, des discussions methologiques et philosophiques, des propositions de thèses ...

[Department of philosophy, University of Roskilde Denmark.V.F. Hendricks (voir aussi une sorte de curiosité Vince inc. du même auteur) and F.A Pedersen]

Group of logic, language and computation

Here is the link. (But the page has not been updated for long, it seems).

Bertrand Russell

Recherches russelliennes et textes de Russell consultables en ligne via The Bertrand Russell Archives.

Advances in Modal Logic

Sur le site Adavances in modal logic (King's College) la revue du même nom est consultable en ligne (dernier volume : 2005) ainsi que nombre d'annonces concernant le domaine.

Solomon Feferman

Mardi 9 mai à 17h, à l'IHPST, M. Solomon Feferman, Professeur à l'Université de Stanford, donnera une conférence intitulée "The 'logic' question".
Par ailleurs une conférence du Professeur Feferman est prévue au Collège de France (amphithéâtre G. Budé), sur la proposition des professeurs Anne Fagot-Largeault et Jacques Bouveresse, le jeudi 11 mai à 17h sur le sujet suivant : "Gödel's theorem, minds and machines"

From Russell to Tarski

Paolo Mancosu, Richard Zach and Calixto Badesa (2004) : The Development of Mathematical Logic from Russell to Tarski: 1900–1935

Knowledge, Games and Beliefs Group

The Knowledge, Games and Beliefs Group (with eminent members such as M. Fitting, R. Parikh or S.Artemov) has a web site with a publication page.

Florence

La page de preprints/rapports internes du département de Philosophie de l'université de Florence contient des papiers de Cantini et Minari.

Medieval logic and philosophy

The reference site for Medieval logic and philosophy is P.V. Spade's. Materials include translations as well as general introductory and survey papers.
(Noticed in Spade's CV : Ph.D. in Philosophy, University of Toronto, 1972. Specialization in Mediaeval Philosophy. Dissertation: "The Mediaeval Liar: A Study of John Buridan's Position on the Paradox, with a Catalogue of the Insolubilia-Literature of the Middle Ages." Director: Hans G. Herzberger.)

Online philosophy conference

La première grande "conférence philosophique en ligne" a commencé dimanche dernier et se poursuit durant quatre semaines. La première salve d'interventions est d'ores et déjà en ligne. Informations et interventions sont disponibles sur le site dédié.

J. Macfarlane

What does it mean to say that logic is formal ?

Lien ajouté : Theoretical aspects of rationality and knowledge home page (merci à Carlo Proietti).