Skip to Content.
Sympa Menu

athena - [Athena] [IHPST] Séminaire de Logiques Non Classiques "Failure in The Verificationist Procedure"

athena AT services.cnrs.fr

Subject: Histoire des techniques

List archive

[Athena] [IHPST] Séminaire de Logiques Non Classiques "Failure in The Verificationist Procedure"


Chronological Thread 
  • 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, 04/10/2015

Archive powered by MHonArc 2.6.18.

Top of Page