Téléchargement au format .pdf

38 La categorisation et la quantication dans la tradition logico-philosophique
L'ideographie de Frege
A
A
A
La theorie des modeles
v(A) = >
A
v(A) = ?
Frege introduit un autre predicat, le predicat de l'identite, deni par :
A B
Ce symbole se lit : L'equivalence des contenus propositionnels de A et
de B est armee ou AetBontlem^eme contenu conceptuel.
2.2.1.6 Les regles d'inference
Frege considere comme regles d'inference le \modus ponens", une de ses variantes
consideree par Aristote et BARBARA.
Le \modus ponens" :
B A,B
A
La traduction du \modus ponens" dans l'ideographie est :
La variante d'Aristote est :
A
B
B
A
C (B A),C,B
A
Sa traduction dans l'ideographie est :