[DIVERS] Re: logique tetravalente

[BEA <bea@evc.net>]

Le 14 déc. 05 à 21:40, jmfa a écrit :

> Bonsoir,
>
> un autre lien qui exprime mieux la pensée de Brouwer en logique:
> http://www.univ-nancy2.fr/poincare/colloques/symp02/abstracts/ 
> barreau.pdf
----------
" Cette logique intuitionniste
diffère par exemple de la logique moderne devenue classique en ce que  
la pre-
mière autorise certes l’opération de contraposition mais ne fait pas  
du résultat
l’équivalent de la formule de départ, si bien qu’il est interdit de  
remonter de la
formule contraposée, supposée vraie, à la formule initiale. "

il faudrait l'inviter à notre prochaine rencontre, ah,ah

===========================================================
Liste de diffusion UMMO "DIVERS" (Tout ce qui n'entre pas dans les 4 autres listes).
Pour envoyer un message: soit fonction "répondre", soit 
mailto:ummo.open@ummo-sciences.org
Soumis à la charte: 
https://www.ummo-sciences.org/nvle_charte.htm
Archives de la liste: 
http://archives.ummo-sciences.org/ml/ummo.open-AAAAMM/maillist.html ( en remplacant AAAA par l'année et MM par le N° du mois)
Pour se désinscrire : 
mailto:ummo.open_request@ummo-sciences.org?subject=unsubscribe
===========================================================
	
	
	
	
	
	
	--=_Listar-UnMime-Boundary--