Theorem(e)

Richard Craven

2009-12-04T09:06:00.000+01:00

La prochaine séance du séminaire Philform aura lieu lundi 7 décembre, de 15h à 17h à l'IHPST.

Richard Craven (Bristol University) interviendra sur le thème suivant : "The Axes of Actualism: a Response to Karen Bennett"

Absolute generality Workshop

2009-09-07T21:33:00.003+02:00

Starting tomorrow in Paris, the Absolute generality Workshop, organized by David Nicolas at the Institut Jean Nicod.

Program :
Tuesday, Sept 8: Salle de conférence, 46 rue d'Ulm
09:30 - 11:00: Glanzberg: Unrestricted quantification and extraordinary context dependence?
11:15 - 12:30: Karlsson: Unrestricted quantification and model-theoretic semantics based on NFU
14:00 - 15:30: Nicolas: Semantics for plurals
15:45 - 17:15: Uzquiano: How many angels can dance on the point of a needle?

Wednesday, Sept 9: Salle Paul Lapie, 29 rue d'Ulm
09:30 - 11:00: Linnebo: Modality and absolute generality
11:15 - 12:30: Studd: The iterative conception of set: a modal reading
14:00 - 15:30: Rayo: Confessions

Vagueness and decision theory Workshop

2009-05-18T12:29:00.003+02:00

Vagueness and decision theory :
May 29, 2009.
Ecole Normale Supérieure, 45 rue d'Ulm, 75005, Paris.
Salle des Actes.
Speakers:
* Mikaël Cozic (Institut Jean Nicod)
* Paul Egré (Institut Jean-Nicod)
* Leon Horsten (Bristol University)
* Kris de Jaegher (Utrecht)
* Robert van Rooij (ILLC, Amsterdam)
* Maurice Salles (Université de Caen)

Benson Mates

2009-05-18T11:11:00.001+02:00

The Philosophy Department (Berkeley) announces with great sadness the death, on May 13, 2009, of Prof. Emeritus Benson Mates.

Balder ten Cate & Dietmar Berwanger

2009-05-18T10:42:00.002+02:00

Le lundi 18 Mai de 14h à 16h à l'IHPST, Philform recevra un joint-session avec deux exposés de Balder ten Cate (Amsterdam-ENS Cachan) et Dietmar Berwanger (ENS Cachan).

Colloquium : Carnap's Ideal of explanation

2009-05-14T15:04:00.003+02:00

Carnap's Ideal of Explication: Logic, Metalogic, and Wissenschaftslogik
14, 15, 16 May 2009
Venue :
Université Paris 1 Panthéon-Sorbonne - 12, place du Panthéon, Paris
Aile Soufflot - Escalier A - 4th floor - Room 419 B
No fee, no registration

Thursday, May 14th 2009
Morning session. Chair: Pierre Wagner

8:50 – 9:00 Welcoming address and introduction. Pierre WAGNER.
9:00 – 9:55 Wolfgang KIENZLER (Universität Jena)
On Carnap's Ideal of Philosophy. The Scope of Tolerance and the Double-Faced Ideal of Explication
10:00 – 10:55 Juliet FLOYD (Boston University)
Carnap, Turing and Wittgenstein: Contrasting Notions of Analysis
11:15 – 12:10 Juha MANNINEN (University of Helsinki)
14:00 – 14:55 Michael BEANEY (University of York)
Flexplication: Fashioning Frege's Functional Framework
15:00 – 15:55 Richard CREATH (Arizona State University)
16:15 – 17:10 Erich RECK (University of California, Riverside)
Carnapian Explication and its Rivals
17:15 – 18:10 Xavier VERLEY (Université de Toulouse le Mirail)
Interpretation, Explication, and Logic of Science

Friday, May 15th 2009

9:00 – 9:55 Alan RICHARDSON (University of British Columbia)
15:00 – 15:55 Daniel ISAACSON (University of Oxford)
Carnap’s Conception of Mathematics as Analytic
16:15 – 17:10 Philippe de ROUILHAN (IHPST, CNRS, Paris)
Carnap and the Semantical Explication of Truth and Logical Consequence

Saturday, May 16th 2009

9:00 – 9:55 Peter HYLTON (University of Illinois at Chicago)
Quine and the Aufbau: the Problem of Objective Knowledge
10:00 – 10:55 Gottfried GABRIEL (Universität Jena)
Carnap, Pseudo-Problems, and Ontological Questions
15:00 – 15:55 Jacques BOUVERESSE (IHPST, Collège de France, Paris)
Carnap and the Legacy of Aufklärung
16:15 – 17:10 André CARUS (University of Cambridge)
Engineers and Drifters

The Fundamental Idea of Proof Theory

2009-04-11T20:27:00.002+02:00

THE FUNDAMENTAL IDEA OF PROOF THEORY
Date : 15-16 April 2009
Venue: ENS (45 rue d'Ulm, Paris 75005), salle Dussane.
Program:
Wednesday, April 15th / Mercredi 15 avril

8h30: Per Martin-Löf, Proof theory as conceived by Hilbert and logic in the
traditional sense
10h30: Albert Visser, Look again. Syntax is no syntax.
12h30 Lunch/ Dejeuner
14h00: Göran Sundholm, Proofs as chains of mental operations; could Brouwer be
right after all?"
16h00: Peter Schroeder-Heister, Bidirectional reasoning

Thursday, April 16th / Jeudi 16 avril
10h00: Dag Prawitz, Conflicting intuitions about deductive reasoning
12h: Lunch / Dejeuner
14h00: Rafael Nunez, Towards the cognitive foundations of proof
16h00: Wilfried Sieg, Uncovering aspects of the mathematical mind"

IP Workshop : Floyd-Kanamori

2009-04-11T20:21:00.003+02:00

IP Workshop: "Proof: Mathematical Knowledge, Sense, and Context"
Date: May 26, 2009
Place: Salle Campanille (room 897C), Grands Moulins, U of Paris-Diderot
Time: 14h00--18h00

Session I: 14h00--15h55
Professor Juliet Floyd (Philosophy, Boston):
"Proof: Mathematical Knowledge, Sense, and Context"

Session II: 16h05--18h00
Professor Akihiro Kanamori (Mathematics, Boston)
"Mathematical Knowledge and Complexities in Proof"

Hintikka

2009-03-10T15:17:00.002+01:00

J. Hintikka donnera une conférence à l'IHPST vendredi 13 mars, à 14h, salle 302:
Some reflections on the continuum hypothesis.

IP Seminar

2009-02-12T09:13:00.002+01:00

The 3rd Ideal of Proof Seminar will be held on Friday, February 27th at 9h30 in salle 417B of the Halle aux Farines building on the Grands Moulins campus of Paris-Diderot.

Program:
Session I: 9h30--11h00
Sebastien Maronne: "Ideal elements and projective geometry in early modern mathematics"
Session II: 11h15--12h45
Oliver Schlaudt: "Abstraction and Ideation. A constructivist approach to the nature of
mathematical concepts"
Lunch
Session III (Focus Session): 14h00--15h30
Paul McCallion: "Ideal numbers vs ideal numerical properties"
Session IV (Focus Session): 15h45--17h15
John Mumma: "Contentful reasoning and rigor in elementary geometry"

It's Only a Theory

2009-02-05T09:16:00.002+01:00

A new philosophy blog for Philosophy of Science : It's Only a Theory.
Contributors : Michael Strevens, M.Suárez, Chris Pincock, Craig Callender, Matteo Morganti, Otavio Bueno, Roman Frigg, Christopher Hitchcock, Elaine Landry, Gabriele Contessa, Martin Thomson-Jones, Steven French, Antony Eagle, Jonah Schupbach, Robert Northcott, Anna Alexandrova, Michael Weisberg.

[via Thoughts, Arguments and Rants]

Ideal of Proof Seminar

2009-01-14T15:53:00.002+01:00

Thursday, January 22nd (ENS, 45 rue d'Ulm,75005. Salle Dussane).

-Session I (9:00--10:25): Mattia Petrolo (IP Fellow),
``Ideal proofs and logical constructivity: From intuitionistic to classical logic''
-Session II (10:30--11:55): Renaud Chorlay (IP Fellow),
``Ways out of the Grey''
-Session III (13:15--14:40): Paola Cantu (IP Fellow),
``Ideal numbers and magnitudes: a matter of degree?''
-Session IV (14:45--16:10): Andrei Rodin (IP Fellow),
``How Mathematical Concepts Get Their Bodies: The example of Forcing''
-Session V (16:15--17:45): Agustin Rayo (IP visitor),
``Towards a Trivialist Account of Mathematics'' *

Agustin Rayo (updated)

2009-01-05T17:19:00.006+01:00

Agustin Rayo is going to give a series of lectures at the ENS : "On Possibility and Content".
Dates and venue :
- mercredi 7, 10h à 12h, salle de réunion IJN-LSCP (au 29 rue d'Ulm, 75005 Paris)
-mardi 13, 10h à 12h, salle Weil (au programme: 'Broad Content')
-mercredi 21, 10h à 12h, salle de réunion IJN/LSCP, 29, rue d'Ulm.
-mardi 27, 10h à 12h, salle Weil

Abstract:
The seminar will be on possibility and content. I will argue that these two notions are closely related, and cannot be understood independently of one another. The core idea can be stated simply: to describe a sentence's truth-conditions is to explain how the world must be in order for the truth-conditions to be satisfied. But it has far reaching consequences. I will argue that it can help address puzzles in modal epistemology, ontology and vagueness.
The seminar will draw on material from a book manuscript I am working
on, which is based on the following papers:
A account of possibility
A actualist's Guide to quantifying in
On specifying truth-conditions
Vague Representation
For a more user-friendly introduction to some of the main themes of
the seminar, I recommend:
Succes by default ?

Paul McCallion

2009-01-05T17:17:00.002+01:00

Le 12 janvier 2009, le séminaire Philmath accueillera Paul McCallion (Philosophie, Université de St Andrews): "The Ontology of Formalism". IHPST, Grande Salle, 17h30-19h30.

.

REPHA - (CFP)

2009-01-04T17:54:00.004+01:00

Je signale la naissance de la Revue Etudiante de Philosophie Analytique, une revue francophone de philosophie avec comité de lecture. Le site de la revue, est déjà en place à l'adresse suivante : www.repha.fr/. La revue encourage les contributions d'étudiants. Premier numéro prévu vers mars 2009.
L'appel à contribution est ici.

Flow chart

2008-12-18T10:02:00.010+01:00

[Xkcd via Nothing of Consequence]

Science in Flux '08

2008-12-09T17:57:00.005+01:00

The Colloquium "Science in Flux ’08", organized by P.Wagner will be held Friday 12 December and Saturday 13 December. Venue : IHPST, 13 rue du Four 75006 Paris.
The theme will be "Formal Approaches to Belief Change and Inquiry, and the Philosophy of Science"
Program :
Friday 12 DECEMBER 2008
9h00
PIERRE WAGNER (IHPST, Paris)
Keynote address
9h15-10h15
BENGT HANSSON (Lund): Explanatory Equilibrium
10h25-11h25
FRANCK ZENKER (Lund): The Formalization of Revolutionary Theory Change
11h45-12h45
SEBASTIAN ENQVIST (Lund): An Architectonic for Scientific Theory Change
14h30-15h30
ISAAC LEVI (Columbia/New York): Doxastic States
15h40-16h40
ERIK OLSSON (Lund): Interrogative Belief Change: Contraction and Ties
17h00–18h00
HANS ROTT (Regensburg): Defending the Ramsey Test for the Interpretation of Conditionals: A Constructive Approach
Saturday 13 DECEMBER 2008
9h15-10h15
EMMANUEL GENOT (Lille): Belief Revision and the Interrogative Approach to Inquiry
10h25-11h25
GERHARD SHURTZ (Duesserldorf): Abduction and Belief Revision In Science
11h45-12h45
HERVÉ ZWIRN (IHPST, Paris): Abductive Logic In A Belief Revision Framework
14h30-15h30
JAAKKO HINTIKKA (Boston): Who is Afraid of Thomas Bayes?
15h40–16h40
GABRIEL SANDU (IHPST, Paris):Probabilistic Reading of Quantifiers

Philosophy and Foundations of Mathematics : Epistemological and Ontological Aspects

2008-12-04T08:57:00.001+01:00

The conference Philosophy and Foundations of Mathematics :Epistemological and Ontological Aspects, dedicated to
Per Martin-Löf on the occasion of his retirement, will be held in Uppsala, May 5-8, 2009.
Webpage.

Conférences Duhem : J. Elster et I. Ekeland

2008-11-24T16:52:00.005+01:00

Les troisièmes Conférences Duhem (Société de Philosophie des Sciences) auront lieu le vendredi 28 novembre 2008 de 13h30 à 18h30 à l’Ecole normale supérieure(45, rue d’Ulm,75005 Paris) en salle Dussane.

Programme :

13h30- Accueil par M. Canto-Sperber, dir. de l'ENS, et D. Andler, président de la SPS.

14h- Jon ELSTER (Collège de France) : "L'indétermination de la théorie du choix rationnel"
Discutants : Mikaël Cozic (IHPST, GREGHEC), Nicolas Houy (Ecole polytechnique)

16h30- Ivar EKELAND (University of British Columbia) : "Mathématiques et économie, fécondité et limites d'une formalisation"

Discutants : Jean-Philippe Bouchaud (CEA/Saclay), Jean-Paul Delahaye (LIFL, Lille)

PhD's in Logic

2008-11-19T14:19:00.004+01:00

Here

Konrad Zdanowski

2008-11-17T09:11:00.001+01:00

Lundi 17 novembre de 14h00 à 16h00 dans la grande salle de l'IHPST, Philform accueille Konrad Zdanowski (Polish Academy of Sciences / Université Paris 7) :
"On the second order intuitionistic propositional logic without a universal quantifier".

Télécharger l'article ici.

Michael von Boguslawski

2008-10-31T17:16:00.001+01:00

Prochaine séance du séminaire Philform :
lundi 03 novembre de 14h00 à 16h00 dans la grande salle de l'IHPST
Michael von Boguslawski (université d'Helsinki): "Ketonen's logical discovery".

Abstract :
In this talk I will describe Oiva Ketonen's work on logic, in particular his discovery of a sequent calculus with invertible rules. Additionally I will give a brief overview of how logic arrived in Finland. Ketonen being the only student of Gerhard Gentzen - the father of sequent calculus - some recent research on the latter will also be presented.

Allen Mann

2008-10-26T17:07:00.002+01:00

Prochaine séance du séminaire Philform :
lundi 27 octobre, grande salle de l'IHPST, 14h-16h.
Allen Mann : IF logic and Kleene algebras

Abstract:
It is well known that the Principle of Bivalance fails in IF logic--there are sentences that are neither true nor false. We will use the techniques of algebraic logic to show that the Principle of Trivalence holds--every sentence has one of exactly three possible truth-values. We will further show that IF logic can be viewed an a first-order extension of Kleene's strong three-valued logic.

Institut für Mathematische Logik und Grundlagenforschung

2008-10-15T20:18:00.003+02:00

Ansten Klev informs me that the institute for foundational research in
Münster has some logic texts on their website: here.
In english :

W. Pohlers : Computability theory of hyperarithmetical sets
W. Pohlers : Infinitary proof theory
W. Pohlers & T. Grass : A introduction to mathematical logic

B. Weatherson : Decision Theory book

2008-10-08T16:26:00.000+02:00

Here

Michael Freund

2008-10-08T16:11:00.002+02:00

Lundi 13 octobre de 14h à 16h dans la grande salle de l'IHPST, le séminaire Philform reçoit Michael Freund (Paris IV):
'Une théorie de la catégorisation pour les concepts constructibles'.

Résumé: Les concepts constructibles sont ceux que l'on peut définir à l'aide de concepts plus simples dans un processus similaire à celui de l'apprentissage. Pour cette classe de concepts, les notions de base de la théorie de la categorisation et de la théorie du prototype peuvent être simplement modélisées par des relations qualitatives. On obtient ainsi un formalisme qui permet de mieux cerner les problèmes classiques liés à l'appartenance, la typicité relative et la ressemblance. En particulier, le modèle proposé est cohérent avec l'opération de compositionalité, et rend fidèlement compte de phénomènes expérimentaux peu ou mal expliqués par les théories antérieures. La réinterprétation, enfin, de la notions de trait essentiel et de trait typique en termes de relation d'inférence conduit à traitement intéressant dans le cadre de la logique non monotone des notions d'induction catégorielle.

"Logic tutorials" page of Theorem(e)

2008-10-06T19:09:00.006+02:00

~~Our "logic tutorials" page needs to be updated, and I hope I'll be able to do that soon. Meanwhile, you can also check out the "Intext" category which also contains links to online logic courses...~~ Done. The new URL is : http://sites.google.com/site/theoremeorg/.

[Thanks to Richard Zach and Peter Smith for advertising on their blogs.]

Nuel Belnap : The Art and Science of Logic

2008-10-02T16:13:00.004+02:00

Nuel Belnap now has two logic texbook drafts on his webpage :

Notes on the Art of Logic (.pdf, 310 p.)
Notes on the Science of Logic (.pdf, 237p.)

Journal rankings

2008-09-30T13:27:00.002+02:00

More on journal rankings: the case of Australasia.

Philosophy Journals

2008-09-30T13:01:00.005+02:00

To read before submission, an old post of the Leiter Reports containing valuable information on response times, feedback quality etc. of a bunch of proeminent philosophy journals : Philosophy Journals: Which Ones are Responsible, Which Ones Not?.

M. Detlefsen

2008-09-27T17:41:00.003+02:00

Mic Detlefsen's ENS lectures "In Search of Formalism" :

Fri. Oct 10, Salle Cavaillès. 16:00--18:00
Fri. Oct 17, Salle Cavaillès. 16:00--18:00
Fri. Oct 24, Salle Cavaillès. 16:00--18:00
Fri. Oct 31, Salle des Actes. 16:00--18:00

Ecole Normale Supérieure, 45 rue d'Ulm 75005 Paris.

PALMYR 7 - Demandez le programme

2008-09-24T08:56:00.005+02:00

Le site internet de PALMYR a été mis à jour. Vous pouvez également consulter le programme en .pdf ici.

Merci à Abel Poucet pour l'affiche. Voyez ici pour des informations concernant l'illustration.

Large Hadron Rap

2008-09-11T12:41:00.003+02:00

Cours de physique + communication scientifique au CERN :

[H.T. LogBlog]

Henri Cartan

2008-08-19T14:26:00.003+02:00

"Le mathématicien français Henri Cartan est décédé le 13 août à l'âge de 104 ans, a-t-on appris lundi auprès du ministère de la Recherche.
Médaille d'or en 1976 du Centre national de la Recherche scientifique (CNRS) et récompensé en 1980 par le prix international Wolf de mathématiques, Henri Cartan était un spécialiste des fonctions analytiques de plusieurs variables complexes, ainsi que de la théorie du potentiel, de la topologie algébrique et de l'algèbre homologique."
(afp)

[via theuth]

Lindsay Waters

2008-07-25T11:17:00.002+02:00

Avec un peu de retard, je signale la parution en français (aux éditions Allia) du livre intitulé "L'éclipse du Savoir" par Lindsay Waters, éditeur pour les sciences humaines chez Harvard University Press.

Collective Wisdom : Principles and mechanisms

2008-06-30T09:08:00.005+02:00

For those interested, (the preliminary version of) the contributed papers to the colloquium "Collective Wisdom : Principles and mechanisms" (held on 22-23 may 2008) are online.

Perspectives philosophiques sur l'agrégation des jugements

2008-06-26T11:06:00.003+02:00

Séminaire « Perspectives philosophiques sur l'agrégation des jugements »
Lundi 30 juin 2008 à l'IHPST et Mardi 1 juillet à l' Université Paris-Dauphine (détails ci-dessous)

Programme
Lundi 30 juin | Lieu : Institut d'histoire et de philosophie des sciences et des techniques, 13 rue du Four, 75006 Paris (métro Mabillon). Grande salle, 2e étage
14h-15h30: Mikaël Cozic (IHPST & GREGHEC, Paris)« Une introduction à la théorie de l'agrégation logique »
15h30-17h : Philippe Mongin (GREGHEC & IHPST, Paris)« Quelques difficultés inattendues du principe d'unanimité de Pareto »
17h-18h30 : Christian List (London School of Economics)« Group Deliberation and the Revision of Judgments: An Impossibility Result »
Atelier « Theory of Logical Aggregation »

Mardi 1er juillet 2008 | Lieu : Université Paris-Dauphine, Place du Maréchal de Lattre de Tassigny, 75116 Paris (métro Porte Dauphine). Salle A 709 de la nouvelle aile (bâtiment A).

9h30-11h : Elad Dokow (Technion, Haifa) et Ron Holzman (Technion, Haifa & Paris-Dauphine) « Aggregation of Non-Binary Evaluations: Towards a Characterization of Impossibility Domains »
11h-12h30 : Franz Dietrich (Universiteit de Maastricht & London School of Economics) et Philippe Mongin (GREGHEC & IHPST, Paris)« The Premiss-Based Approach to Judgment Aggregation » (voir ici)
14h-15h30 : Klaus Nehring (University of California at Davis) et Clemens Puppe (Universität Karlsruhe)« Efficient Judgment Aggregation » (voir ici
16h-17h30 : Franz Dietrich (Universiteit Maastricht & London School of Economics) et Christian List (London School of Economics)« Majority Voting on Restricted Domains » (voir ici)

Paris-Oxford Workshop

2008-06-25T22:51:00.001+02:00

Paris-Oxford Workshop
LANGUAGE & ONTOLOGY
June 26-28 2008, grande salle de l'IHPST, 13 rue du Four, Paris
Program here

Notre Dame Mathematical Lectures

2008-06-19T10:21:00.004+02:00

In Notre Dame Mathematical Lectures series, one finds (.pdf):

Skolem : Abstract Set Theory (1962)
Curry : A Theory of Formal Deducibility(1950)

Sider's Logic for Philosophy (update)

2008-06-10T18:04:00.003+02:00

Here's an updated link to Ted Sider's draft : Logic for Philosophy

[h.t. David Nicolas]

Thibault Gajdos

2008-06-09T09:05:00.001+02:00

Lundi 9 juin (14h-16h), le séminaire Philform (IHPST) reçoit Thibault Gajdos(CNRS-Paris 1):

"The Ignorant Observer"

Most prominent models of economic justice (and especially those proposed by Harsanyi and Rawls) are based on the assumption that impartiality is required for making moral decisions. However, although Harsanyi and Rawls agree on that and furthermore agree on the notion that impartiality can be obtained under appropriate conditions of ignorance, they strongly disagree on the consequences of these assumptions. According to Harsanyi, they provide a justification for the utilitarian doctrine, whereas Rawls considers that they imply egalitarianism. We propose here an extension of Harsanyi's Impartial Observer Theorem, that is based on the representation of ignorance as the set of all possible probability distributions over individuals. We obtain a characterization of the observer's preferences that, under our most restrictive conditions, is a convex combination of Harsanyi's and Rawls' criteria. Furthermore, this representation is ethically meaningful, in the sense that individuals' utilities are cardinally measurable and fully comparable. This allows us to conclude that the impartiality requirement cannot be used to decide between Rawls' and Harsanyi's positions. Finally, we defend the view that a (strict) combination of Harsanyi's and Rawls' criteria provides a reasonable rule for social decisions.

"Mathematical Understanding"

2008-06-09T08:40:00.004+02:00

Workshop « Mathematical Understanding » | 9-13 juin 2008
Département Histoire et Philosophie des Sciences, Université Denis Diderot Paris 7,
Les Grands Moulins, Salle du Campanile, Accès C - 8ème étage.
10 Esplanade des Grands Moulins - Paris 13ème ardt.
Plans et itinéraires

Programme
Lundi 9 juin
9h30-11h00 :Jeremy Gray (Open University London)« Understanding [and] Riemann surfaces »
11h15-12h45 : Karine Chemla (CNRS Rehseis)« Understanding while proving the correctness of algorithms. Reflexions based on ancient Chinese sources »
14h30-16h00 : Alain Michel (Université d’Aix-Marseille) « La théorie de la mesure: origines et prolongements »
16h15-17h45 : Renaud Chorlay (Université de Paris 8 - Rehseis)« Making sense of it with structures : the mathematical (and philosophical) background to Charles Ehresmann's work »
18h00-19h30 : Andrei Rodin (Université Denis Diderot de Paris 7)« Category theory, Mathematical Structuralism and Mathematical Hermeneutics »
Mardi 10 juin
14h00-15h30 : Ken Manders (University of Pittsburgh)« On Mathematical Understanding »
15h45-17h15 : Catherine Goldstein (CNRS, Institut de Mathématiques, Paris 6)« Charles Hermite, Mathematical Understanding and Mathematical Nature »
17h30-19h00 :Ivahn Smadja (Université Denis Diderot Paris 7)« Diverging Thrusts. Contrasting Insightful Plasticity with Articulate Embeddings »
Mercredi 11 juin
9h30-11h00 : Jeremy Avigad (Carnegie Mellon)« The role of the diagram in Euclid's Elements »
11h15-12h45 : Philippe Nabonnand (Université de Nancy 2)« La polémique entre Poncelet et Von Staudt : comprendre la dualité »
14h30-16h00 : Gerhard Heinzmann (Université de Nancy 2)« Mathematical Comprehension and Intuition »
16h15-17h45 : Mark Steiner (University of Jerusalem)« Getting more out of mathematics than we put in: the case of complex numbers and their generalizations »
18h00-19h30 :Michel Paty (CNRS Rehseis)« La structure du rationnel dans l’invention de la théorie de la relativité et de la théorie quantique »
Jeudi 12 juin
9h30-11h00 : Jan von Plato (University of Helsinki)« A combinatorial view of mathematical proofs »
11h15-12h45 : Joël Merker (ENS Ulm, DMA & LATP)« Insights towards the speculative thought of formal computation »
14h30-16h45 : Andrew Arana (Kansas State University) & Mic Detlefsen (University of Notre-Dame)« Purity and Understanding »
17h-18h30 :Jean-Jacques Szczeciniarz (Université Denis Diderot Paris 7)« Le galoisisme de Grothendieck »
Vendredi 13 juin
9h30-11h00 : Paolo Mancosu (University of Berkeley)« Understanding, Explanation and Unification »
11h15-12h45 : Stewart Shapiro (Ohio State University)« An 'i' for an i. Reference and indiscernibility »
14h30-16h00 : Marco Panza (CNRS, Rehseis)« From naturals to reals using abstraction »
16h15-17h45 José Ferreiros (University of Sevilla)« Conceptual understanding, logical consistency, and mathematical existence »
18h Discussion générale

Newton international fellowships

2008-06-05T17:34:00.003+02:00

Newton international fellowships. The closing date for the first round of applications is 4 August 2008.

YouTube Classics

2008-05-29T09:31:00.002+02:00

On the Ideas of Quine: Section 1

Hilary Putnam on the Philosophy of Science: Section 1

Searle on the Philosophy of Language : Section 1

Ayer on Frege and Russell :

Lucie Menager

2008-05-25T21:42:00.001+02:00

lundi prochain 26 mai de 14h à 16h dans la grande salle de l'IHPST, Philform reçoit Lucie Ménager (Paris II): "La connaissance interactive en économie et en théorie des jeux"

P. Mancosu

2008-05-21T15:55:00.002+02:00

La prochaine séance du séminaire général de l'IHPST se tiendra le jeudi 22 mai (à l'IHPST) de 11H à 13H. Paolo Mancosu (Université de Berkeley) fera une conférence sur le sujet suivant :
"Quine and Tarski on nominalism"

Le même jour à l'ENS, salle Weil à 16h, se tiendra la première séance de son séminaire sur les théories de la vérité.

Abstract (Quine and Tarski on nominalism):

Quine and Tarski were kindred philosophical spirits. They rejected the
analytic/synthetic distinction and shared a strong distaste for modal
notions. Moreover, both had nominalistic leanings. In this talk I
trace the nominalistic engagement of these two giants of contemporary
analytic philosophy. Using recently discovered materials from the
Quine archive at Harvard, I begin by describing Quine's engagement
with nominalism up to 1940. I will then summarize the impact of the
1940-1941 discussions on nominalism between Carnap, Quine and Tarski
and mention their influence on Goodman. The third part of the talk
will be on Quine's allegiance to nominalism and his subsequent
reluctant acceptance of Platonism. The fourth part of the talk will
then focus on Tarski's defense of nominalism in Amersfoort in 1953.
Finally, I will compare Quine's and Tarski's approaches to nominalism
with some contemporary nominalistic programs (Field, Hellman etc.)

Albert J.J. Angelberger

2008-05-19T08:55:00.001+02:00

Albert J.J. Angelberger (Salzburg) est l'invité du séminaire Philform ce lundi 19 mai 2008 : "Dynamic Deontic Logic".

Handbook on the philosophy of information

2008-05-16T18:44:00.002+02:00

Versions of the chapters are online here.
"This handbook is one volume in a 14 volumes set entitled Handbook of the philosophy of science, dealing with all aspects of the philosophy of science.
This multi-volume Handbook is to be published by Elsevier under the general editorship of Dov Gabbay, Paul Thagard, and John Woods. Editors : Johan van Benthem, Pieter Adriaans

Thomas Forster

2008-05-07T16:44:00.004+02:00

Found on T.E. Forster's page.

As a matter of fact, I'm reading Forster's nice book Logic, Induction, and Sets and was looking for a list of errata. A list that, unfortunately, I didn't find.
If you're familiar with the book, by the way, I was concerned with the second paragraph on page 59 : ok, on the third line, I guess, "continuous" should be replaced by "complete" and on the tenth line, it is the set of fn(x) for *n* in N that is of interest (I write fn(x) for the nth iteration of the function f). But on line 6-7, what's going on exactely ? Is it tacitly assumed that x is sound in the sense that x≤ f(x) [for the sup of {x, fx, etc} to be a fixed point of the continuous operator f defined on a poset assumed to be chain-complete] ? Or does it have something to do with inflationary functions, defined a few pages earlier ? The intuition on continuity is, I think, clear enough, but I'm a bit baffled by the details of the development of the discussion in this paragraph.

Abramsky & Jung on Domain Theory

2008-05-06T17:36:00.004+02:00

A corrected and expanded version of Abramsky & Jung's survey for the Handbook for logic in computer sciences is available online: Domain Theory

M. Gomez-Torrente

2008-05-05T08:49:00.002+02:00

Mercredi à 17h30 à l'IHPST, le séminaire Philmath reçoit M. Gomez-Torrente (Philosophie, Université de Mexico) :
"Rereading Tarski on Logical Consequence"

Le matin M. Gomez-Torrente donnera un premier exposé de 10h à 12h en salle de réunion du DEC-IJN, sur le thème
"The Sorites, Linguistic Preconceptions, and the Dual Picture of Vagueness".

Abstract ( Rereading Tarski on Logical Consequence):
I will argue against some recent defenses of the view that, in 1936, Tarski always required all interpretations of a language to share one same domain of quantification. I hope to offer a more detailed examination of some of the relevant textual evidence on the issue than in my earlier work. If time permits, I will also offer some new considerations on subsisting issues of interpretation concerning Tarski's views on the logical correctness of certain omega arguments, on the Tarskian proof that Etchemendy took to be modal and fallacious, or on Tarski's appeals to the "common concept of consequence".

Survey (2)

2008-04-23T17:04:00.003+02:00

A results sheet for the online toy survey on Existence and circularity can be found here and will be regularly updated.
[see the post below on do-it-yourself surveys using google docs]

Créer un questionnaire en ligne

2008-04-23T15:10:00.002+02:00

Julien a eu récemment la bonne idée de poster sur son blog un lien vers un message de Mikaël qui indiquait lui-même une page du XPhi Blog expliquant comment créer facilement un questionnaire en ligne.
Un exemple très rudimentaire ici :
Existence and circularity

M. Detlefsen à l'IHPST

2008-04-23T12:31:00.002+02:00

La prochaine séance du séminaire général de l’IHPST se tiendra le 24 avril de 11h à 13h à l’IHPST, 13, rue du Four (75006 Paris).
Michael Detlefsen interviendra sur le thème suivant:
"On the nature and value of construction"

Abstract: In this paper various notions of construction are examined and their possible roles in the justification of mathematical beliefs considered.

Semantics and Philosophy in Europe

2008-04-23T12:23:00.002+02:00

SPE colloquium will take place in Paris, May 2-4, 2008.
Arché (St Andrews), the IHPST/Chaire d'Excellence 'Ontological Structure and Semantic Structure' (Paris), Logos (Barcelona), and CSMN (Oslo) are organizing new annual colloquium 'Semantics and Philosophy in Europe' (SPE).

The purpose of the colloquium is to enhance the dialogue between linguists and philosophers and to provide a new forum for presenting research in the interface between linguistic semantics and the various related areas of philosophy (philosophy of language, epistemology, metaphysics, philosophy of mathematics, and philosophy of mind). The colloquium is to take place every year, alternating between Paris, St Andrews, Barcelona, and Oslo.

intuitionism.org

2008-04-23T12:17:00.001+02:00

intuitionism.org :
"This website has as its goal to investigate the opinions of the mathematical community on intuitionism. To this end it presents ten slightly provocative questions and collects answers to these questions from as many people as possible."

[H.T. Gonçalo SANTOS]

LateX to HTML

2008-04-16T08:15:00.003+02:00

Stefan Ionescu has pointed out to me the following link : A Brief Description of LaTeXMathML (thanks!)
The abstract reads : "This is a short article that illustrates those aspects of LaTeX that are transformed by LaTeXMathML into a mathml plus html format. While limited in scope, LaTeXMathML nonetheless is capable of transforming a large subset of those elements found in a typical LaTeX article into a mathml empowered webpage. The goal of LaTeXMathML is that of making pure latex coding a "web-friendly" enterprise."

Definitions

2008-04-10T22:06:00.001+02:00

The SEP has a new entry on Definitions, by A. Gupta.

P. Mancosu

2008-04-07T09:34:00.001+02:00

A new SEP entry : Explanation in Mathematics, by P. Mancosu.

ESAP

2008-04-06T12:22:00.002+02:00

Le site de l'ESAP a été amélioré, notamment le calendrier des conférences européennes

Cumul d'activités dans la fonction publique (Circulaire 11 mars)

2008-03-25T09:50:00.003+01:00

Information relative à la nouvelle circulaire sur le cumul d'activités des fonctionnaires et agents de la fonction publique sur Fabula

[HT : Nadja Cohen]

H. Leitgeb

2008-03-23T09:00:00.001+01:00

Mardi 25 mars, de 16h à 18h, Philform recevra Hannes Leitgeb :
On the Justification of Objectivist Bayesianism
(joint paper with Richard Pettigrew)
Abstract:
The fundamental problem of epistemology is to say when the evidence in an agent's possession justifies the beliefs she holds. In this paper, we defend an Objectivist Bayesian's solution to this problem by appealing to the following fundamental norm: Try to get as close to the truth as possible; in other words: minimize inaccuracy.
We make the underlying notion of inaccuracy mathematically precise, and derive the tenets of Objectivist Bayesianism from the mathematical version of the norm. Finally, we use our account of accuracy to assess Richard Jeffrey's proposed generalization of part of the Bayesian creed, and identify a weakness in his proposal.

Ph. de Rouilhan

2008-03-16T19:21:00.000+01:00

Lundi 17 mars (de 14h à 16h dans la grande salle de l'IHPST) Philippe de Rouilhan sera l'invité du séminaire Philform :

Vérité, traduction, signification

Abstract :

— Si la définition tarskienne de la vérité répondait au critère tarskien d’adéquation (la fameuse Convention-T), toute équivalence-T, par exemple:

“Snow is white” est vrai ssi la neige est blanche,

serait déductible de cette définition, et donc logiquement vraie. Mais ce n’est pas le cas, car, si “Snow is white” avait signifié que la neige est rouge, par exemple, cette équivalence-T aurait été fausse.
— Quoi?! Le grand Tarski mis à bas par un petit argument de rien du tout ?! A moins qu’il ne s’agisse d’un paralogisme. Mais alors, où est l’erreur? Etc.

Pierre Joray

2008-03-10T09:12:00.001+01:00

Lundi 10 mars, 17H30-19H30, à l'IHPST, le séminaire Philmath reçoit Pierre Joray (Philosophie, Université de Rennes): "Définitions explicites et créativité"

Edward Zalta

2008-03-09T20:13:00.000+01:00

Mardi 11 mars à 16h30 Ed Zalta sera l'invité d'une séance spéciale de Philform :
Title: New Results in Computational Metaphysics (coauthors: Branden Fitelson and Paul Oppenheimer)

Maria J. Frapolli

2008-03-05T09:59:00.000+01:00

Lundi 10 mars, le séminaire Philform recevra María J. Frápolli (Department of Philosophy I, University of Granada ) : "Nothing but the Truth".

Abstract :

Abstract Objects in Semantics and Philosophy of Mathematics

2008-02-28T10:26:00.001+01:00

Abstract Objects in Semantics and Philosophy of Mathematics, IHPST, Paris, 28 Février-1 Mars, 2008

Logic of change, change of logic

2008-02-21T19:01:00.002+01:00

Just out: call for papers for the Prague International Colloquium Logic of change, change of logic. The colloquium is dedicated to formal approaches to attitude change. The aim is to bring together the different strands of research on the topic - whether they be logical or probabilistic, whether they deal with change of beliefs or desires or preferences etc. - with an eye to better understanding the philosophical and methodological challenges that change poses, and to getting a clear idea of where the field should be going.

M. Makkai

2008-02-14T21:22:00.002+01:00

M. Makkai has a set of lecture notes on set theory and model theory that may be useful to teachers and students ( to be added soon to the logic toolbox of theorem(e)... )

ABSTRACT OBJECTS IN SEMANTICS AND THE PHILOSOPHY OF MATHEMATICS

2008-02-13T13:53:00.003+01:00

Thursday, February 28 (salle R), Friday, February 29 (Amphi Rataud) and
Saturday, March 1 (Amphi Rataud), 2008 :

ABSTRACT OBJECTS IN SEMANTICS AND THE PHILOSOPHY OF MATHEMATICS

Taking place at the École Normale Supérieure, 45 rue d'Ulm, Paris

M.Detlefsen & D.Prawitz

2008-02-07T17:42:00.001+01:00

W. Goldfarb

2008-02-07T16:31:00.000+01:00

Le lundi 18 février 2008, le séminaire Philmath de l'IHPST reçoit le professeur Warren Goldfarb sur le thème :

ON DUMMETT'S 'PROOF-THEORETIC JUSTIFICATIONS OF LOGICAL LAWS'

IHPST, Grande Salle, 17h30-19h30

Francesca Poggiolesi

2008-01-31T11:00:00.000+01:00

Francesca Poggiolesi soutient sa thèse le 4 février à 10h à l'Università degli Studi di Firenze, Dipartimento di Filosofia (Via Bolognese 52, Sala Conferenze).
:
"Sequent Calculi for Modal Logic"

Kit Fine

2008-01-29T21:51:00.000+01:00

KIT FINE DAY: ONTOLOGY TALKS, FEBRUARY 11, 2008, IHPST.

Burgess : Philosophical Logic (Draft)

2008-01-29T14:16:00.000+01:00

Zeitgeist : Now J.Burgess has his own Philosophical Logic textbook online (Word document).

[HT: Semantics etc. , Nothing of Consequence, ...]

Chaire d'excellence "Ideals of proof"

2008-01-14T13:17:00.000+01:00

Michael Detlefsen exposera les grandes lignes de son programme de recherche 2008-2011 sur la notion de preuve, le mercredi 30 JANVIER 2008 à 17 heures,Salle des Actes (G04), Université Nancy 2, 23 Boulevard Albert 1er, 54015 NANCY

Site web du projet 'Ideals of Proof'.

Merci de confirmer votre participation auprès de :
Anny Begard (Anny.Begard AT univ-nancy2.fr) &
Fabien Schang (Fabien.Schang AT univ-nancy2.fr)

Ted Sider : Logic for Philosophy

2008-01-05T16:52:00.000+01:00

Most of you are probably already aware of this, but I know some who are not : Ted Sider has a draft Logic for Philosophy.

Getting published : advices by P. Smith

2007-12-19T15:28:00.001+01:00

Those two articles by Peter Smith (Cambridge University, former editor of Analysis) are very useful : Getting Published and
Developing a writing style

The On-Line Encyclopedia of Integer Sequences

2007-11-22T09:41:00.000+01:00

1,2,3,6,11,23,47,106,235 reminds you of something, but can't say what exactly ?
Wish to hear the sound of a Fibonacchi sequence ?
The On-Line Encyclopedia of Integer Sequences may help you and do much more.

[h.t. Nicolas le Thierry d'Ennequin]

Henry Kyburg

2007-11-16T17:46:00.000+01:00

Professor of Philosophy and Computer Science (Rochester University) Henry E. Kyburg dies. Obituary.

P. Smith : On Subsystems of PA2

2007-11-10T10:24:00.000+01:00

An user-friendly introduction to subsystems of PA2. Peter Smith : On Some Subsystems of Second-Order Arithmetic

An introduction to finite model theory

2007-11-09T14:50:00.000+01:00

J. Vaananen "A short course on finite model theory"

Context-dependence, Perspective and Relativity in Language and Thought

2007-11-09T11:06:00.000+01:00

Conference, 9th to the 11th of November, 2007. Information, program etc., here.

Michael Rathjen on Ordinal Analysis of Proofs

2007-11-07T11:56:00.000+01:00

Here is useful survey by Michael Rathjen : The art of ordinal analysis.
[via Logic Matters]

Colin McGinn has a blog

2007-11-07T11:39:00.000+01:00

colinmcginnblog.com.

CSLI Publications online free

2007-11-05T12:23:00.001+01:00

A Stanford digitalized library.
[h.t. LogBlog]

Advances in Modal Logic : call for paper

2007-11-01T15:17:00.000+01:00

AiML-2008 ♥ ADVANCES in MODAL LOGIC ♥ http://aiml08.loria.fr
9-12 September 2008, LORIA, Nancy, France
invites submission of short or long papers on various aspects of modal logic, its applications, its history, philosophy etc.

DEADLINE: 31 March 2008

Paradoxes and contemporary logic

2007-11-01T11:54:00.000+01:00

Paradoxes and contemporary logic is a new SEP entry, written by A. Cantini.
The is also a new entry on Philosophy of mathematics by L. Horsten, one on Frege-Hilbert Controversy by P. Blanchette and one on Bolzano's logic by J. Sebestik.

Francesco Berto

2007-10-29T09:00:00.000+01:00

Lundi 29 octobre, à 17h30 dans la grande salle de l'IHPST, le séminaire Philmath reçoit Francesco Berto (IHPST-CNRS-ENS):

Abstract:
Some of the strangest outcomes of paraconsistency have to do with inconsistent arithmetic and impossible numbers. Traditional-minded logicians usually get puzzled when one mentions the astonishing applications of paraconsistency in formal arithmetic. However, at the cost of some incredulous stares (which usually begin when one mentions the fact that paraconsistent arithmetics include contradictory numbers, and especially numbers which are identical to their immediate successor), one gets a world in which even well-established limitative results of ordinary metamathematics, such as Gödel’s Theorems, begin to fluctuate. In this talk I summarize some of the main results around, which are as unfamiliar to the general audience as they are innovative and interesting. The presentation is focused on *relevant* arithmetics, i.e., on formal systems for arithmetic whose underlying logic is some relevantlogic. After giving bits of relevant proof theory, I switch to a model-theoretic approach (which I find philosophically much more stimulating). I introduce a useful *collapsing filter*, which turns the so-called standard model of arithmetic into interesting inconsistent models by shrinking in an appropriate way its cardinality.

V. Hendricks

2007-10-19T12:34:00.000+02:00

Philform reçoit Vincent Hendricks (Roskilde University, Denmark) le lundi 22 octobre de 14h à 16h dans la grande salle de l'IHPST.

Limiting Skepticism

Abstract/ Modal operator epistemology is a formal epistemological paradigm obtained by mixng modal, tense and epistemic logic with rudimentary elements from formal learning theory. The paradigm was developed in The Convergence of Scientific Knowledge (Springer: 2001) and used there and elsewhere to study the validity of limiting convergent knowledge(Mainstream and Formal Epistemology (Cambridge UniversityPress, 2006)).Studying knowledge is also studying skepticism. Skepticism is usually considered to being a short-run strategy. Using modal operator epistemology this paper scrutinizes what happens to skepticism in the long run: Can skepticism outstrip knowledge in the limit?

The dancer

2007-10-16T21:12:00.000+02:00

Left or Right ?

[via Probably Possible]

Atelier sur la causalité à l'IHPST

2007-10-10T21:04:00.000+02:00

IHPST, lundi 15 octobre 2007, Grande Salle
Organisé par Mikaël Cozic (IHPST/GREGHEC) et Philippe Mongin (GREGHEC/IHPST)

Programme :
14h30-15h30 : D. Hausman (University of Wisconsin, Madison), “Explaining by Citing Causes ”
15h30-16h30 : I. Drouet (IHPST), “Utiliser les réseaux bayésiens pour inférer des causes”
16h30-17h30 : Ph. Huneman (IHPST), titre à venir

Fundamenta Mathematicae

2007-10-09T21:28:00.000+02:00

Archives of the famous journal Fundamenta Mathematicae are available online free.

[via LogBlog]

Joe Salerno

2007-10-09T21:24:00.000+02:00

Joe Salerno has given a talk at Philform seminar yesterday, on "Counterpossible Conditionals"

ABSTRACT: Subjunctive conditionals with impossible antecedents (or counterpossibles) are standardly treated as vacuously true---the classical lore being that if an impossibility were to obtain, then anything would be the case. We'll discuss and develop a non-vacuous reading for (some) counterpossibles. The account provides resources for capturing some illusive philosophical notions---including the intuitive difference between essence and necessity, and an intuitive account of epistemic possibility.

Cedric Paternotte

2007-09-29T14:01:00.000+02:00

Cedric Paternotte soutient sa thèse ce samedi 29 septembre 2007, en Sorbonne, Salle Durosselle.
Titre de la thèse : « Coopération et actions collectives ».
Directeur de thèse :
M. Jacques Dubucs : Directeur de Recherche à l’IHPST (CNRS/Paris1/ENS), Directeur de l’IHPST.
Jury :
Marc Fleurbaey (Directeur de Recherche au Centre de Recherche Sens, Ethique, Société (CERSES)), Pierre Livet (Professeur à l’Université de Provence Aix-Marseille I), Thierry Martin (Professeur à l’Université de Franche-Comté), Raimo Tuomela (Professeur à l’Université de Helsinki), Bernard Walliser (Professeur à l’Ecole Nationale des Ponts et Chaussées, Directeur d’Etudes à l’Ecole des Hautes Etudes en Sciences Sociales).

Résumé : Pour que l'on puisse dire que des individus ont coopéré, quels doivent être leurs états mentaux et leurs relations, quelles actions doivent-ils accomplir ? Et comment expliquer qu'ils choisissent de coopérer au prix de certains risques ? Ces deux questions de définition et d'explication, bien qu'au centre des théories de la coopération humaine, sont traditionnellement traitées de façon indépendante. Ce travail se propose de concilier ces deux aspects par l'étude d'une forme cruciale de coopération minimale dans un cadre unifié mobilisant notamment des outils de théorie des jeux. L'analyse détaillée des concepts fondamentaux liés à la coopération (objectifs collectifs et connaissance commune), alliée à l'élaboration d'une explication rationnelle et cognitivement réaliste du comportement coopératif dans des contextes stratégiques statique et dynamique (à partir des notions-clés d'identification et de perception de groupe), mènent ainsi à une définition cohérente éclairant la nature de ce phénomène.

Abstract :
To be able to say that people have cooperated, what do their mental states and relations need to be, what actions must they accomplish ? And how can the fact that they choose to cooperate in risky situations be explained ?
Although these two questions about definition and explanation form the core of the theories of human cooperation, they are usually answered independantly. This dissertation aims at reconciling these two aspects by studying a crucial form of minimal cooperation in a unified framework including game theoretic tools. The detailed analysis of fundamental concepts
underlying cooperation (collective goals and common knowledge), combined with the crafting of a rational and realistic explanation of cooperative behavior in static and dynamic strategic
contexts (based on the key notions of group identification and group perception), thus lead to a coherent definition that shed light on the nature of cooperation.

La soutenance sera suivie d’un pot.

Eric Martin

2007-09-21T08:59:00.000+02:00

Le séminaire Philform reprend (lieu et horaire habituels). Lundi 24 septembre de 14h à 16h Eric Martin (Department of Artificial Intelligence School of Computer Science and Engineering University of New South Wales)parlera présentera un exposé intitulé : "Logique déductive et logique inductive, une généralisation".

SEP : Logic of Conditionals

2007-09-19T09:42:00.000+02:00

The SEP has a new entry on The logic of conditionals, written by Horacio Arlo-Costa.

Theorem(e) 's new feature : The Reader

2007-09-16T11:47:00.000+02:00

Theorem(e) now uses Google's Reader (have a look at the side bar) to share relevant news from the philosophy blogs all over the web...

Denis Bonnay

2007-09-11T20:46:00.000+02:00

Denis Bonnay has a new homepage !

Convention

2007-09-07T12:31:00.000+02:00

The Stanford Encyclopedia has a new entry on Convention by M. Rescorla.