TARK XI

Juin 2007, Bruxelles : Theoretical Aspects of
Rationality and Knowledge, XI. Call for paper.

Thomas Hofweber

It seems that Thomas Hofweber's paper “Inexpressible properties and propositions" has justwon the APA Article Prize.

Williamson : The philosophy of philosophy.

Tim Williamson's Hempel Lectures are online here : "The Philosophy of Philosophy" ( full manuscript (.pdf, 392p.) here).
[via Fragments of consciousness]

Deuxième congrès de la SPS

La Société de Philosophie des Sciences tiendra son deuxième congrès du jeudi 29 au samedi 31 mars 2007. Pour cette deuxième édition, le congrès aura lieu à Genève (Suisse) sur invitation de l’Unité Histoire et Philosophie des Sciences de l’Université de Genève, partenaire et coorganisateur de l’événement.
Download Informations (.pdf)
Deadline pour les contributions : 15 décembre 2006.

Under the heading "Consequence relations" in the the "logic" page of theorem(e), I've linked to the following two very useful "papers" :
L. Humberstone : The connectives (.pdf, 1200 p., incomplete draft)
Arnon Avron : Simple Consequence relations (.pdf,50p.,1990).

Suite à la conférence de Paul Horwich vendredi dernier à l'IJN, voici le lien vers la discussion en ligne à laquelle il a été fait allusion.

Oxford-Paris Philosophy of language Workshop

The workshop, organized by F. Moltmann (IHPST) and J. Hawthorne (Oxford) will take place on December 16-17 at the IHPST.
Download the Program here.

Théorème évolue vers la nouvelle version de Blogger. A la plupart des messages seront maintenant assignée une catégorie. L'harmonisation des différentes pages se fera progressivement.

Luc Schneider

Mardi 5 Décembre, 16-18, à IHPST, Luc Schneider (Université de Genève) donnera une conférence: « Une Logique et Ontologie d'Instance des Propriétés »
[Dans le cadre du séminaire semantic structure and ontological structure]

Chine, aout 2007

En août 2007 deux colloques internationaux se succèderont en Chine.
Le premier est le 13th International Congress of Logic Methodology and Philosophy of Science, qui se tiendra à Pékin du 9 au 15 août. Les exposés soumis doivent être calibrés pour une intervention de 15-20 min.
Deadline pour les soumissions électroniques : 10 mars 2007.



Puis le 2nd World Congress and School on Universal Logic se tiendra à Xi'an du 16 au 22 août. Une école est organisée du 16 au 19, puis le congrès proprement dit se déroulera du 20 au 22. Deadline pour les contributions (abstract de deux pages) : 15 mars 2007.

C. Dégremont et L. Keiff

Lundi 27 novembre, de 14h à 16h, Philform reçoit L. Keiff et C. Dégremont pour un exposé intitulé : "Dialogues non-monotones, explorations" (détails ici).

Paul Horwich

[correction]
Paul Horwich fera une série d'exposés à Paris en cette fin d'année 2006. 21/11 : 1ère séance d'une série de 4 cours à l'ENS, pavillon Pasteur, salle de philosophie, le mardi de 17h à 19h (détails ici) - 27/11 : séance additionnelle le lundi 27, 17h à 19h30 (ENS, Salle des actes) - 28/11 : 2ème cours. - 5/12 : 3ème cours - 8/12 : Conférence à l'Institut Jean Nicod 11h-13h (détails ici). - 12/12 : 4ème et dernier cours de la série à l'ENS.

Patrick Girard

Lundi 20 novembre, Philform reçoit Patrick Girard (Stanford, Amsterdam). La conférence est intitulée "La logique des preferences ceteris paribus".

Soutenance Denis Bonnay : Attention, changement d'horaire.
La soutenance de thèse de Denis Bonnay, annoncée dans le message précédent, commencera à 9h45 et non 9h comme initialement prévu.

Denis Bonnay

Denis Bonnay soutiendra le jeudi 16 novembre une thèse intitulée "Qu'est-ce qu'une constante logique ?". La soutenance aura lieu à l'ENS, 45 rue d'Ulm, en salle des résistants, à partir de 9h.
Il y aura ensuite l'apres-midi un workshop sur les constantes logiques, à l'IHPST, 13 rue du Four, à partir de 14h30, avec la
participation de Johan van Benthem, Gila Sher, Gabriel Sandu et Dag Westerstahl.
Vous trouverez les renseignements détaillés ici.

Leon Henkin

Leon Henkin has died on Nov. 1. 2006. He was 85.(Obituary)

[via LogBlog]

Amelie Gheerbrant

Lundi prochain, 13 novembre, Philform accueille (à 14h en GS de l'IHPST) Amelie Gheerbrant (IHPST) qui donnera une conférence intitulée: "La sémantique de Carnap, pour quoi faire?" (abstract).

Pavel Materna et Marie Duzie

Lundi 6 novembre à 14h dans la grand salle de l'IHPST, Philform reçoit Pavel Materna et Marie Duzie qui donneront une conférence sur le thème suivant: "The principle of compositionality in transparent intensional logic".

A new PhD thesis on deflationism :
Deflationism: A Use-Theoretic Analysis of the Truth-Predicate, by Arvid Båve, Stockholm University
Abstract and fulltext download at : Publications from Stockholm University

[merci à Cédric pour le lien]

Joint Session in Paris : Calculability and constructivity

Organized by Jacques Dubucs, the Joint Session of the two Divisions of the International Union for History and Philosophy of Science is fothcoming in Paris, November 17-18, at the Ecole Normale Supérieure. The thema of the conference is:

Calculability and Constructivity: Historical and Philosophical Aspects.

[⇒Home⇒Program ⇒Participants ]

Added to the homepages, a link to Leon Horsten's page (with online papers).

Rohit Parikh

Jeudi prochain, à 15h30 (notez l'horaire et la date inhabituelles), Philform reçoit Rohit Parikh. (Informations et abstract ici)

Carlo Proietti

La prochaine séance du séminaire Philform aura lieu lundi 23 octobre de 14 h 00 à 16 h 00 dans la grande salle de l'ihpst.
Carlo Proietti nous parlera du paradoxe de Fitch.(abstract).

The University of Michigan Historical Mathematics Collection

The University of Michigan Historical Mathematics Collection : bibliothèque numérisée ouverte. On y trouve (entre autres !) les Principia Mathematica (B. Russell & A.N. Whitehead).

Logic books (online)

Ajoutés à la page "logique" :
J. v. Benthem : A manual of intensional logic (.pdf, 147p., Attention: 37Mo ). Disponible depuis cette page.
A.S. Troelstra : Lectures on Linear logic (.pdf, 215p., Attention : 47Mo)

Tous les articles de la revue Logic and logical philosophy (Torun) sont accessibles en ligne (free access).

The online books page

Have a look at The Online Books Page. (Some logic books).

Semantic Structure and Ontological Structure

Le séminaire
Semantic Structure and Ontological Structure
Tropes and their Role in the Semantics of Natural Language
organisé par F. Moltmann, débute mardi prochain (le 17octobre 2006 de 16h à 18h).

David Makinson

Le séminaire Philform reprend son cours, et pour commencer l'année ce lundi 16 octobre 2006, de 14h à 16h, David Makinson (King's College) présentera une conférence intitulée : "Logic and probability: an uneasy partnership" (joint work with James Hawthorne). [abstract ici]

Philosophy Dissertations

To make read philosophical dissertations, J. Dever is making them available via a dissertations database (thesis are in .pdf format).
[via Leiter reports]

Roots of Pragmasemantics

8th Szklarska Poreba Workshop on the Roots of Pragmasemantics
February 23--27, 2007

Davidson interviewed by Lepore

Life, time, philosophy : here.

Computation and Logic in the Real World

Un colloque a ne pas manquer!

Conference themes and location: Computability has played a crucial role in mathematics and computer science, leading to the discovery, understanding and classification of decidable/undecidable problems, paving the way to the modern computer era, and affecting deeply our view of the world. Recent new paradigms of computation, based on biological and physical models, address in a radically new way questions of efficiency and challenge assumptions about the so-called Turing barrier.

CiE 2007 will address various aspects of the ways computability and theoretical computer science enable scientists and philosophers to deal with mathematical and real world issues, ranging through problems related to logic, mathematics, physical processes, real computation and learning theory. At the same time it will focus on different ways in which computability emerges from the real world, and how this affects our way of thinking about everyday computational issues.

http://www.amsta.leeds.ac.uk/~pmt6sbc/cie07.html

Laurence Jonathan Cohen, philosopher, born May 7 1923; died September 26 2006. Obituary in The Gardian.
[via Leiter reports]

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]

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).

Deflationism on the web

I've added some references to the february 19th post on deflationism.

LSE - Discussion Papers

Arhat Virdi, PhD student at the LSE, has pointed out to me the Discussion Papers page at the LSE. Thanks.

Seminar: Relative Truth and the Language of Value

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.

Multi-valued logics (2)

Sigfried Gottwald's Many-Valued Logics is another nice introduction-like paper to the topic. Usefull too are some papers by Richard Zach ( to be found on his publications page), and papers of Arnon Avron.

[see the first post (May 23rd 2006)]

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).

Brice Halimi

Lundi 24 avril, Philform a reçu Brice Halimi (Paris VIII) pour un exposé intitulé: Validité, nécessité, modalité.

Tim Maudlin : Truth and paradox

Le livre de Tim W. Maudlin est disponible en ligne : Truth and paradox : solving the riddles (via the web page for the 2003 NYU Research seminar on language and mind)

Torkel Franzen

[via LogBlog]

Torkel Franzen est décédé il y a 3 jours, le 19 avril, à l'âge de 56 ans.

L. Humberstone : The Connectives

[via semantics resources :] De Lloyd Humberstone (ci-contre), disponible en ligne, une version non definitive et incomplète de The Connectives ( env. 1200 p., .pdf, 5.6 Mo).

Paul Égré et Denis Bonnay

La prochaine séance de Philform aura lieu ce lundi 17 avril, de 14h a 16h. Paul Egré et Denis Bonnay proposeront "A non-standard Semantics for Inexact Knowledge with Introspection".

[via Varia] The School of Philosophy at Leeds is host to the Centre for Metaphysics and Mind. Online papers by Ross Cameron, Joseph Melia, Bryan Frances, on Ontology, modality, philosophy of mathematics here.

La page Logic est en cours d'amélioration. Si vous avez des suggestions, laissez un message ( theoremeblog AT gmail DOT com ).

Brian Hill

Lundi 10 avril, de 14h à 16h, Brian Hill (IHPST) présentera à Philform un exposé intitulé : "Logique et psychologie : le cas de la révision de croyances" (détail ici).

K. Gödel

[Via LogBlog] Notices of the American Mathematical Society, numéro special :
A Tribute to Kurt Gödel
April 2006 marks the centennial of the birth of Kurt Gödel. The Notices marks this occasion with a collection of articles about Gödel, his work, and its impact on mathematics.
Content : A Tribute in Photographs ⁄ The Incompleteness Theorem
par Martin Davis ⁄ How Gödel Transformed Set Theory par Juliet Floyd and Akihiro Kanamori ⁄ Pictures at an Exhibition par Karl Sigmund ⁄ The Impact of the Incompleteness Theorem on Mathematics par Solomon Feferman ⁄ The Popular Impact of Gödel's Incompleteness Theorem par Torkel Franzén ⁄ In Quest of Kurt Gödel: Reflections of a Biographer par John W. Dawson Jr.⁄ Incompleteness--A Book Review by Juliette Kennedy ⁄ 2006 Events Celebrating the Gödel Centenary.

Hans van Ditmarsch

Jeudi 6 avril 2006, de 10h a 12h, Philform reçoit Hans van Ditmarsch(University of Otago, New Zealand) pour un exposé intitulé "Introduction a la logique des annonces publiques" (plus d'informations ici).

Colloque à Cracovie

"Comme chaque année l'Institut de Logique de l'Université de Cracovie (U.J.)
organise un colloque consacré à l'histoire, mais pas seulement, de la
logique. Voici le lien (en anglais):
http://www.iphils.uj.edu.pl/conf/log/1komkhl52_e.htm
Cordialement"
Michal Glabiszewski

Isabelle Drouet

Lundi 3 avril de 14h à 16h Isabelle Drouet présentera à Philform un exposé intitulé "Réflexions sur la notion de réseau bayésien causal". Plus de détails ici.

Analytiques in situ

Via Philotropes, un blog de Julien Dutant (et je signale aussi en passant, du même auteur, le site (en développement) Epistémologie pour l'équipe "Rationalités Contemporaines" de Paris-IV), nous apprenons la jeune existence du club très fermé des lagonautes, voué au culte du Langage et de l'Ontologie selon le rite ancien et accepté de l'Analyse, et dont les membres se comptent, pour le moment, ainsi : Yves Bouchard, François Loth, Pascal Ludwig, Frederic Nef. Longue vie.

The Center for logic and philosophy of science (see yesterday's post) has a specialization in "adaptative logics" and, it's worth pointing out, maintains a nice introductory page to the subject here, including many references to papers available via the "writings" section of website.

Centre for Logic and Philosophy of Science (Gand)

Kristof De Clercq ("Logic in communication" - voir son site très bien fait), m'a signalé un lien vers le Centre for Logic and Philosophy of Science à l' Université de Gand (Belgique).
Il y a une liste avec les Homepages des membres du Centre et une liste Writings avec des publications online.

History of Fitch's paradox and A. Church

Whose paradox is "Fitch's paradox" ? see Certain doubts (here) ...
(and see here (SEP entry) for a statement of the paradox.)

Anti-(Anti-luminosity argument)

Available via Jean Nicod Archive, this paper by Denis Bonnay and Paul Egré should be of interest to those concerned with Williamson's anti-luminosity argument: "A non-standard Semantics for Inexact Knowledge with Introspection".
I pick out from the abstract : "We show how the semantics helps to solve Williamson's luminosity paradox, and argue that it corresponds to an integrated model of perceptual and introspective knowledge that is psychologically more plausible than the one defended by Williamson. A generalized version of the semantics is formulated, in which modalities are iteration-sensitive up to degree n and insensitive beyond n."

Le 1 avril se tiendront les premières conférences Pierre Duhem, organisées par la Société de philosophie des sciences.
Philippe de Rouilhan inaugurera le cycle à 10h avec une conférence intitulée "La théorie des modèles et l'architecture des mathématiques" (le document de travail est disponible en ligne). Puis Paul Gauchet parlera à 14h de "La formalisation du savoir-faire" (document en ligne).

W. Sellars

L'excellent site Problems for Wilfrid Sellars contient une mine d'informations et d'études sur W. Sellars et son oeuvre, nombre de ses textes (articles et livres, y compris "Empirism and the philosophy of mind" et "Le concept d'emergence"), certaines correspondances de l'auteur (avec Castaneda, avec G.Harman (inédite), avec Ruth Marcus et d'autres), etc.

Use-theories of meaning and foundational issues in semantics

A debate on this subject, initiated by Jason Stanley and now involving Mark Lance, Ned Block, Richard Heck and others, is going on at Leiters report(web site). Here is the link.

Augustin Rayo

Philform accueille Augustin Rayo (MIT), Vendredi 10 mars, de 10h à 12h. :
"Commitment in Mathematics and Higher-order logic" (Détails ici).

Gabriel Sandu

Lundi 6 mars, de 16h-18h, Philform reçoit Gabriel Sandu (IHPST) qui exposera sur le thème: "Two dimensional modal semantics".(.)

Deflationary conceptions of truth on the web

The following authors have papers related to this topic on the web :
Nic Damnjanovic
Hartry Field (recent articles on truth and paradoxes)
Douglas Patterson (deflationism, meaning and truth-conditions, convention-T ...)
Michael Glanzberg (deflationism and paradoxes)
Scott Soames ("Understanding deflationism")
Christopher Gauker (semantics for deflationists...)
Richard Heck ("Truth and Disquotation")
Panu Raatikainen (various critics mostly grounded on logical features of deflationist's theories)
Jeffrey Ketland (the "reflection" or "conservativity" argument against deflationism)
Neil Tennant (Deflationism and Gödel phenomena...)
G. Sandu et T.Hyttinen ("Deflationism and truth")
Peter Milne (un article sur la vérité chez Tarski)
Greg Restall ("Minimalists about Truth can (and should) be Epistemicists, and it helps if they are revision theorists too")
JC Beall (Truth and paradox : a philosophical sketch)
Kevin Sharp ("fragmentary theories of truth", paradoxes and revenge problems...)

Added june 2006 :
Huw Price (for exemple : Three norms of assertibility, or how the MOA became extinct)
Gila Sher ("In search of a substantive theory of truth", and some papers on Tarski's theory)
There is also a discussion paper by A. Virdi on the discussion papers page et the LSE.

Added october 2006 :
Deflationism: A Use-Theoretic Analysis of the Truth-Predicate, by Arvid Båve, Stockholm University
Abstract and fulltext download at : Publications from Stockholm University

Peter Strawson est décédé lundi dernier, 13 février 2006, à l'âge de 86 ans. Voir l'article du Times .

Arché (St Andrews) publie son blog

The Arche weblog vient d'ouvrir. Etant donnée la qualité des intervenants dans le projet Arché, on peut s'attendre à des discussions d'un grand intérêt.

2D

David Chalmers, 2-dimensionnaliste prosélyte, accuse son accusateur infatiguable ( les livres qu'il a consacré à la cause ne sont pas minces), Scott Soames, de (crypto?)-2-dimensionalisme ! Le détail de l'outrage (texte intégral) via l'adresse suivante : http://fragments.consc.net/djc/2006/02/scott_soames_tw.html.
(Note : Pour plus ample information, les pièces du dossier sont largement disponibles via les sites des deux auteurs).

Online Papers of philosophy : changement d'adresse

Le site de preprints sera désormais édité par Jonathan Ichikawa, un étudiant de Brown, à l'adresse suivante : http://blogs.brown.edu/other/opp/.

Cédric Paternotte

Lundi 30 janvier 2006, Philform accueille Cédric Paternotte, qui présentera un exposé intitulé "Pour une formalisation cognitivement réaliste de la connaissance commune". Abstract ici.

Christian List

Lundi 23 janvier, de 14h a 16h, Philform reçoit Christian List (London School of Economics)pour une conférence intitulée "strategy-proof judgment aggregation". Les détails ici.

Vendredi 20 janvier 2006 : ASSERTION ET CONNAISSANCE. Lieu : Université Paris IV, UFR de philosophie, escalier E, 2ème etage, salle F 042 à la Sorbonne , 1, rue Victor cousin 75005 Paris.
Programme : 9h 30-Peter Pagin (Stockholm) The knowledge account of assertion./11h15-Maria Van der Schaar "Knowledge and the First Person,the Knowledge Account of Assertion from a Constructivist Perspective."/14h30-David Owens (Sheffield)"Testimony and assertion"/16h15-Manuel Garcia Carpintero (Barcelona) "Gricean saying and social character of assertion.".

Thomas Hofweber

Mardi 10 janvier de 16h à 18h, l'IHPST (Philform) reçoit Thomas Hofweber pour une conférence intitulée "Logicism without logic" (notez la date et l'horaire inhabituelles). Plus de détails ici.