LogiqueLa logique — du grec , qui est un terme dérivé de signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature).
Chrysippe de Solesthumb|Chrysippe, marbre d'époque romaine impériale Chrysippe de Soles est un philosophe stoïcien né vers -280 à Soles, en Cilicie et mort en -206. Il fut le deuxième scholarque du Portique, après Cléanthe, de -232 à sa mort. Il est le « second fondateur du stoïcisme », après Zénon de Kition en -301. Les indications sur la vie de Chrysippe sont aussi peu nombreuses que l'influence de celui-ci fut grande. Aussi bien la date que le lieu de naissance de Chrysippe posent problème. La tradition le fait naître à Soles (Cilicie).
Syllogisme disjonctifEn logique classique, un syllogisme disjonctif (où plus anciennement ponens modus tollendo) est une forme d'argument valide, qui prend la forme d'un syllogisme ayant une déclaration disjonctive dans l'une de ses prémisses. Soit la brèche est une brèche sécurisée, soit elle sera soumis à une amende. La brèche n'est pas une brèche de sécurité. Par conséquent, elle sera soumis à une amende. En logique propositionnelle, une syllogisme disjonctif (aussi connu sous le nom de l'argument de kneecapper, élimination ou, ou abrégé vE), est une règle d'inférence valide.
ÉpictèteÉpictète (en Ἐπίκτητος / Epíktêtos, qui signifie « homme acheté, serviteur » ; Hiérapolis, Phrygie, 50 - Nicopolis, Épire 125 ou 130) était un philosophe de l’école stoïcienne. Sa vie est relativement peu connue et il ne laissa aucune œuvre écrite de sa main. Son disciple Arrien assura la transmission de son œuvre en publiant les notes prises lors des leçons de son maître, en huit livres, dont la moitié sont aujourd'hui perdus, ainsi qu'un condensé de doctrine morale, le Manuel, textes qui eurent une influence certaine sur Marc Aurèle.
Stoïcismevignette|Buste de Zénon de Kition, le fondateur du stoïcisme. Le stoïcisme est une école de philosophie hellénistique fondée par Zénon de Kition à la fin du à Athènes. Le stoïcisme est une philosophie de l'éthique personnelle influencée par son système logique et ses vues sur le monde naturel. Selon ses enseignements, en tant qu'êtres sociaux, la voie de l’eudaimonia (, le bonheur, la prospérité) pour les êtres humains consiste à accepter le moment tel qu'il se présente, à ne pas se laisser contrôler par le désir du plaisir ni la peur de la douleur, à utiliser son esprit pour comprendre le monde et à faire sa part dans le plan de la nature, à œuvrer avec les autres et à les traiter de manière juste et équitable.
Syllogisme hypothétiqueEn logique classique, un syllogisme hypothétique est une règle d'inférence valide, qui prend la forme d'un syllogisme ayant une implication pour un ou deux de ses prémisses. Si je ne me réveille pas, alors je ne peux pas aller travailler. Si je ne peux pas aller travailler, alors je ne vais pas être payé. Par conséquent, si je ne me réveille pas, alors je ne vais pas être payé. En logique propositionnelle, un syllogisme hypothétique est le nom d'une règle d'inférence valide (souvent abrégé HS et parfois aussi appelé l'argument de la chaîne, la règle de la chaîne, ou le principe de transitivité de l'implication).
NéoplatonismeLe néoplatonisme est une doctrine philosophique, élaborée par des platoniciens de l'Antiquité tardive à la suite du médio-platonisme. Philon d'Alexandrie est le précurseur de ce mouvement vers 40, puis il se développe à Rome à partir de 232 par Ammonios Saccas, maître de Plotin, et les élèves de ce dernier, Porphyre et Jamblique. Le néoplatonisme est une école très influente dans l'Antiquité, avec de grands continuateurs comme Proclus, jusqu'à l'exil de ses derniers représentants comme Damascios et Simplicios de Cilicie en 529, à la suite de la fermeture des écoles et lieux de culte païens par l'empereur Justinien.
Modus tollensEn logique propositionnelle, le modus tollens (aussi nommé modus tollendo tollens, du Latin : « mode qui, en niant, nie ») est une forme d'argument valide et une règle d'inférence. Celui-ci est une application de la vérité générale selon laquelle, si une proposition est vraie, alors il en est de même pour sa proposition contraposée. Les premiers à décrire explicitement le modus tollens étaient les stoïciens. La règle d'inférence modus tollens est l'inférence selon laquelle « P implique Q » et la négation du conséquent Q entraînent la négation de l'antécédent P.
Philosophie hellénistiquevignette|L'école d'Athènes par Raphaël. La philosophie hellénistique est une expression par laquelle on désigne l'ensemble des courants philosophiques de la période hellénistique qui s'étend de 323 av. J.-C., date de la mort d'Alexandre le Grand, à 30 av. J.-C., date de la mort de Cléopâtre. Il existe plusieurs courants, formés en partie en se différenciant des écoles socratiques, et institués à Athènes après le règne d'Alexandre le Grand : Le platonisme hellénistique ou Moyenne, Nouvelle, quatrième et cinquième Académies, représenté par Arcésilas de Pitane (cinquième scolarque de l'Académie en 268 av.