05.07.2014 Views

Téléchargement au format .pdf

Téléchargement au format .pdf

Téléchargement au format .pdf

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

74 Critique de la quantication fregeenne par les arguments des ante-fregeens<br />

le predicat 1-aire:<br />

Pierre envie y.<br />

Ce predicat peut ^etre combine avec le symbole de generalite \quelqu'un" et<br />

on obtient:<br />

Pierre envie quelqu'un.<br />

En enlevant le nom propre \Pierre" et en le remplacant par la variable x, on<br />

obtient le predicat 1-aire:<br />

x envie quelqu'un.<br />

Ce predicat peut ^etre combine avec le symbole de generalite \chacun" et on<br />

obtient:<br />

Chacun envie quelqu'un.<br />

Le probleme qui se pose est d'etablir la nature ontologique d'une proposition<br />

et particulierement dedenir et de donner la nature du sujet logique. D'ou la<br />

question derivee qui se pose:<br />

La proposition atomique existe-t-elle?<br />

Sommers commente les analyses de Frege faites par les post-fregeens. Il<br />

presente le schema propose par Dummett pour l'analyse de Frege:<br />

{ (1) On commence avec une proposition singuliere comportant deux noms<br />

propres et on supprime un nom propre. On obtient un predicat.<br />

{ (2) On combine le predicat avec un symbole de generalite. On obtient une<br />

proposition.<br />

{ (3) On supprime l'<strong>au</strong>tre nom propre. On obtient un <strong>au</strong>tre predicat.<br />

{ (4) On combine ce predicat avec un <strong>au</strong>tre symbole de generalite. On obtient<br />

une proposition generale multiple. 2<br />

La suppression du nom propre equiv<strong>au</strong>t a son remplacementparunevariable,<br />

parce que pour Frege la fonction est une entite non-saturee qui attend la saturation.<br />

Soit la proposition:<br />

Pierre envie Jean.<br />

D'apres le schema ci-dessus il y deux analyses possibles.<br />

2 Dans la terminologie de Dummett une proposition singuliere ne contient pas de quanti-<br />

cateurs, une proposition generale singuliere contient un seul quanticateur, une proposition<br />

generale multiple pusieurs quanticateurs.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!