Introduction

Proposition : nom + verbe, discours dans lequel réside le vrai ou le faux.

Étude systématique : 4 types de propositions.

Tous les mammifères sont des vertébrés (prémisse majeure)

Tous les hommes sont des mammifères (prémisse mineure)

Donc tous les hommes sont des vertébrés (conclusion)

Étude systématique des syllogismes valides (4³× 2 × 2=256 syllogismes)

Tous les hommes sont mortels

Tous les A sont B

Tous les non-mortels sont non hommes

Tous les non A sont non B

S'il fait jour il fait clair

Si p alors q

Donc s'il ne fait pas clair, il ne fait pas jour

Donc si non q alors non p

Notion de schéma et d'instance : variables propositionnelles. Les stoïciens reconnaissent 5 shémas (dont le syllogisme)

Formalisation :