La théorie de la logique est un domaine de la philosophie et de la mathématiques qui étudie les structures formelles utilisées pour représenter les raisonnements et les déductions. On peut considérer que cette théorie a été inventée ou développée par plusieurs personnes à travers l'histoire, mais il est particulièrement célèbre pour avoir défini et étudié certaines de ses structures formelles les plus importantes.
Le philosophe grec Aristote (384 av. J.-C.- 322 av. J.-C.) a fait une contribution importante à la logique en développant la syllogisme, une forme de raisonnement déductif basée sur des assertions générales et des relations entre ces assertions. Son ouvrage "Organon" contient plusieurs traités sur la logique, notamment le "Prior Analytics", qui traite de la syllogisme et du raisonnement déductif en général.
Le philosophe médiévale, Saint-Thomas d'Aquin (1225-1274) a également eu une grande influence sur la logique. Il est connu pour avoir développé la proposition logique, qui représente une assertion ou un jugement sur une certaine entité. Son ouvrage "Summa Theologica" contient une théorie de la proposition et du raisonnement déductif qui a été largement utilisée dans la philosophie et la théologie médiévale.
Le philosophe, mathématicien et logician allemand Gottlob Frege (1848-1925) est connu pour avoir développé une forme de logique formelle appelée la "logique prédicative" qui permet d'exprimer des propositions universelles et particulières. Il a également été le premier à développer un système de représentation des nombres entiers abstraits, ce qui a été important pour le développement de l'analyse mathématique moderne.
Le philosophe autrichien Ludwig Wittgenstein (1889-1951) est connu pour avoir développé la "logique du langage" et la "philosophie de la logique", qui étudient les langages naturels et les structures formelles de manière connexe. Son ouvrage le plus célèbre est "La grammaire générale", où il propose une théorie de la signification des mots et de la structure du langage.
Enfin, le philosophe américain Willard Van Orman Quine (1908-2000) est connu pour avoir développé la "théorie des descriptions" qui permet d'exprimer les propriétés d'objets en utilisant des expressions logiques plutôt que des noms propres. Il a également été un important défenseur de la théorie de l'indetermination ontologique, selon laquelle certaines phrases ne peuvent pas être résolues en vraies ou fausses sans recours à certaines hypothèses non-empiriques.
Le philosophe grec Aristote (384 av. J.-C.- 322 av. J.-C.) a fait une contribution importante à la logique en développant la syllogisme, une forme de raisonnement déductif basée sur des assertions générales et des relations entre ces assertions. Son ouvrage "Organon" contient plusieurs traités sur la logique, notamment le "Prior Analytics", qui traite de la syllogisme et du raisonnement déductif en général.
Le philosophe médiévale, Saint-Thomas d'Aquin (1225-1274) a également eu une grande influence sur la logique. Il est connu pour avoir développé la proposition logique, qui représente une assertion ou un jugement sur une certaine entité. Son ouvrage "Summa Theologica" contient une théorie de la proposition et du raisonnement déductif qui a été largement utilisée dans la philosophie et la théologie médiévale.
Le philosophe, mathématicien et logician allemand Gottlob Frege (1848-1925) est connu pour avoir développé une forme de logique formelle appelée la "logique prédicative" qui permet d'exprimer des propositions universelles et particulières. Il a également été le premier à développer un système de représentation des nombres entiers abstraits, ce qui a été important pour le développement de l'analyse mathématique moderne.
Le philosophe autrichien Ludwig Wittgenstein (1889-1951) est connu pour avoir développé la "logique du langage" et la "philosophie de la logique", qui étudient les langages naturels et les structures formelles de manière connexe. Son ouvrage le plus célèbre est "La grammaire générale", où il propose une théorie de la signification des mots et de la structure du langage.
Enfin, le philosophe américain Willard Van Orman Quine (1908-2000) est connu pour avoir développé la "théorie des descriptions" qui permet d'exprimer les propriétés d'objets en utilisant des expressions logiques plutôt que des noms propres. Il a également été un important défenseur de la théorie de l'indetermination ontologique, selon laquelle certaines phrases ne peuvent pas être résolues en vraies ou fausses sans recours à certaines hypothèses non-empiriques.
