Eubulide

de Cyrène • Arété de Cyrène • Aristippe le Jeune • Ptolémée d'Éthiopie • Antipatros de Cyrène • Théodore l'Athée • Hégésias de Cyrène École mégarique Euclide de Mégare • Diodore Cronos • Ichthyas • Pasiclès • Thrasymaque de Corinthe • Clinomaque • Eubulide • Stilpon de Mégare • Apollonios Cronos • Euphante • Bryson d'Achaïe • Alexinos École d'Élis Phédon d'Élis • Ménédème d'Érétrie v · m Écoles de philosophie antique Philosophie présocratique École ionienne · École milésienne · École éphésienne ·

les « Réfutations sophistiques » est de savoir comment se produit l’apparence alors que ce raisonnement est faux. L’énigme d’Epiménide le crétois : Crétois : toujours menteur, mauvaise bête, ventre paresseux. Ce paradoxe est relativement facile. Eubulide dit : « je mens ». La logique que développe Aristote : l’Organon. C’est l’instrument qui doit permettre de reconnaitre, de déterminer les raisonnements corrects et ceux qu’ils ne le sont pas. Il y a deux moments de l’analyse : un premier moment

, Y ∈ Y . Si en revanche Y ∈ Y alors, e / / par d´finition de Y , Y ∈ Y . Dans les deux cas, on aboutit a une contradiction. Ceci exclut e ` l’existence d’un ensemble de tous les ensembles. premi`re version du paradoxe du menteur est attribu´e ` Eubulide, philosophe grec du IVe si`cle avant e e a e J.C. 2 Bertrand Russell (1872–1970) est un logicien britannique, auteur d’un monumental trait´ de logique e math´matique, Principia Mathematica, ´crit en commun avec A.N.Whitehead (1861–1947) entre 1910

e H´raclite (philosophe grec, VI `me si`cle av. J.-C.) e e [ Toutes choses ] se r´pandent et de nouveau se contractent, s’approchent et s’´loignent. e e Logique Proposition Op´rateurs e logique Pr´dicat e Je suis en train demementir. ` e Eubulide (philosophe grec, IV si`cle av. J.-C.) e Arithm´tique e Relation D´nombrement e Arithm´tique e CS1 Outils math´matiques pour l’informatique e D´partement SRC IUT de Saint-Di´-des-Vosges e e 27/160 Proposition CS1 Outils math´matiques