Téléchargement au format .pdf

62 La categorisation et la quantication dans la tradition logico-philosophique
Ce systeme de notions represente une categorisation qui s'avere tres exploitable
pour la formalisation des modeles semantiques du langage.
Les principales critiques du systeme fregeen peuvent ^etre formulees dedeux
points de vue :
{ Du point de vue de la logique moderne la theorie de Frege est une theorie extensionnelle.
Peut-^etre cette caracteristique n'est pas vraiment une critique
tenant compte du fait que la plupart des theories mathematiques modernes
sont construites sur une theorie extensionnelle des ensembles.
{ Du point de vue de son application a l'analyse du langage, le systemefregeen
par son interpretation de la proposition comme fonction { arguments et par
la theorie de la quantication eace la categorisation traditionnelle sujet {
predicat et tous les problemes linguistiques qui en resultent.
Le deuxieme trait caracteristique du systeme fregeen est beaucoup plus important
et sa remise en cause a engendre d'autres \semantiques du langages" que
nous allons decrire dans les chapitres suivants. La notion fregeenne de concept
reste une notion de base dans plusieurs semantiques du langage plus (J.P. Descles
[Des90b]) ou moins formalisees (B. Pottier [Pot92]), m^eme si sa notion d'objet
subit des modications epistemologiques (voir la LDO { chapitre 6).
2.3 La categorisation et la quantication de
Peirce
Entre 1867 et 1893, S. C. Peirce developpe le calcul du premier ordre dans un
systeme categoriel propre et un symbolisme propre [Pei76], [Pei84].
La semantique de Peirce est construite a partir de quelques denitions :
{ Une proposition vraie est une proposition qui au passe, present ou futur
rend une pensee et qui a les trois caracteristiques suivantes :
1. Elle ne peut ^etre niee par personne, elle s'asserte elle-m^eme
2. Il n'y a aucun raisonnement qui peut la nier
3. Toute presupposition basee sur cette proposition sera veriee si les
conditions dans lesquelles la proposition initiale est armee sont veri-
ees
{ La realite est tout ce qui est represente par une proposition vraie.