Lieu: SND, Université Paris-Sorbonne, Maison de la Recherche, 28 rue Serpente, salle D223
Nous avons le plaisir de vous annoncer la cinquième séance du séminaire « Interactions entre informatique, logique et langage: histoire et philosophie », Vendredi 15 Mai à 14.30h, SND, Université Paris-Sorbonne, Maison de la Recherche, 28 rue Serpente, salle D223, avec la participation de Per Martin-Löf (Stockholm University) et Göran Sundholm (Leiden University)
Per Martin-Löf (Stockholm University), Is logic part of normative ethics?
The general question to be discussed is to what extent logic is part of normative ethics. Specifically, it will be maintained that the semantic consistency argument, to the effect that the false proposition (falsum) cannot be demonstrated to be true, relies on the principle that ought implies can (impossibilium nulla obligatio est).
Göran Sundholm (Leiden University), Ontological descriptivism
My title refers to the view that
The ontology is ultimately responsible for the norms of meaning, truth, and knowledge.
It is usually taken for granted by its adherents, and may be seen as an “Absolute Presupposition” in the sense of Collingwood. As a rule, it is not commented upon. My talk will trace it to a number of writers. American post-Quinean philosophy of language is perhaps the clearest example, and Wittgenstein’s Tractatus is another, but also more surprising adherents will be considered: Bishop Berkeley, L.E.J. Brouwer, Michael Dummett, and Kurt Gödel.