Greg Restall is live-blogging from Nancy here (merci Greg).
Thursday, June 29, 2006
Wednesday, June 28, 2006
par henri galinon à 7:04 PM
Tuesday, June 27, 2006
Thursday, June 22, 2006
Sunday, June 18, 2006
Monday, June 12, 2006
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) .
par henri galinon à 8:38 PM
Sunday, June 11, 2006
Friday, June 09, 2006
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).
par henri galinon à 11:33 AM
Tuesday, June 06, 2006
Monday, June 05, 2006
Seminar: Relative Truth and the Language of Value. Org.: Friederike Moltmann (IHPST).
"What is the semantics of evaluative sentences such as 'Walking in the park is nice'? Recently philosophers have argued that such sentences (and others, especially epistemic ones) express a proposition that needs to be further relativized to an agent or standard of evaluation in order to be true or false. In this seminar we will discuss some of the most important philosophical literature on relative truth and evaluative sentences as well as a range of linguistic data relating to it. The seminar will be a preparation for the workshop 'Meaning, Value, and Relative Truth' on June 26 ."
Session 1: June 6, 11-13, ENS, salle Langevin, 29 rue d'Ulm, 1er étage, gauche.
Relative Truth: The Intuitions and the Standard Account readings by MacFarlane, Koelbel, Lasersohn.
Voir aussi le le message du 17 mai sur cette page.
par henri galinon à 7:32 AM