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.
Calcul des propositionsLe calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique. Il a pour objet l'étude des relations logiques entre « propositions » et définit les lois formelles selon lesquelles les propositions complexes sont formées en assemblant des propositions simples au moyen des connecteurs logiques et celles-ci sont enchaînées pour produire des raisonnements valides. Il est un des systèmes formels, piliers de la logique mathématique dont il aide à la formulation des concepts.
