LOGIQUE DE PORT ROYAL

Formalisation de la théorie du syllogisme

Logique modale

L'emploi de la théorie du syllogisme telle qu'elle est formalisée par les logiciens de Port-Royal nous est apparue intéressante. En effet, en substituant à certains termes propres à la logique des termes de technique musicale, on voyait émerger un véritable traité de contrepoint.

A Universelle affirmative

"tout vicieux est esclave"

E Universelle négative

"nul vicieux n'est heureux"

I Particulière affirmative

"quelque vicieux est riche"

O Particulière négative

"quelque vicieux n'est pas riche"

A A A (U+ U+ U+) BARBARA

A I I (U+ P+ P+) DARII

E A E (U- A+ U-) CELARENT

E I O (U- P+ P-) FERIO

Les exemples du traité...