athena AT services.cnrs.fr
Objet : Histoire des techniques
Archives de la liste
[Athena] [IHPST] Séminaire de Logiques Non Classiques "Failure in The Verificationist Procedure"
Chronologique Discussions
- From: Virginie Bellot <Virginie.Bellot AT univ-paris1.fr>
- To: equipe-ihpst AT services.cnrs.fr, athena AT services.cnrs.fr, emetis AT listes.univ-paris1.fr, philoso AT free.fr, educasup.philo AT ml.free.fr, theuth AT listes.univ-rennes1.fr
- Subject: [Athena] [IHPST] Séminaire de Logiques Non Classiques "Failure in The Verificationist Procedure"
- Date: Fri, 10 Apr 2015 15:21:54 +0200
Dear all,
We are glad to announce you the next session of the Non Classical Logics seminar, that will take place on Thursday, 16th of April at 16:00 at the conference room of IHPST (13 rue du Four, 75006). We are pleased to welcome Wagner de Campos Sanz (Universidade de Goiás, Brazil) with the talk "Failure in The Verificationist Procedure". You can find the abstract for his talk below or on the site of IHPST:
http://ihpst.cnrs.fr/activites/seminaires/seminaires-de-logiques-non-classiques-wagner-de-campos-sanz
Best regards,
Ekaterina Kubyshkina
Bonjour,
Nous avons le plaisir de vous annoncer la prochaine séance du séminaire "Logiques Non Classiques", qui aura lieu le jeudi 16 avril à 16h, dans la salle de conférence à l'IHPST (13 rue du Four, 75006). Nous accueillerions Wagner de Campos Sanz (Universidade de Goiás, Brésil), qui présentera une communication intitulée "Failure in The Verificationist Procedure". Veuillez trouver le résumé de cette intervention ci-dessous, ainsi que sur le site de l'IHPST:
http://ihpst.cnrs.fr/activites/seminaires/seminaires-de-logiques-non-classiques-wagner-de-campos-sanz
_______________________________________________________________________
Wagner de Campos Sanz
Universidade de Goiás, Brazil
Failure in The Verificationist Procedure
We are going to consider closely Dummett's proposal of a verificationist procedure for logical constants. This procedures, by contrast with the pragmatist one, takes introduction rules as self justified and is supposed to offer a validity criterion for non-introduction arguments/inferences. Many different authors criticized it. Now, we have reasons to believe that it validates non-intuitionist arguments, constituting a partial failure for the overall program that the author envisaged in his LBM.
_______________________________________________________________________
Cordialement,
Ekaterina Kubyshkina
Université Paris 1 Panthéon - Sorbonne,
IHPST - Institut d'Hisoire et de Philosophie des Sciences et des Techniques
--
Ce message a ete verifie par MailScanner
pour des virus ou des polluriels et rien de
suspect n'a ete trouve.
- [Athena] [IHPST] Séminaire de Logiques Non Classiques "Failure in The Verificationist Procedure", Virginie Bellot, 10/04/2015
Archives gérées par MHonArc 2.6.18.