The science of logic (Q2534147)

L'A. se propose de trouver dans cet article le sens et la portée de la logique présentée comme système formel. Son analyse le conduit à la conclusion que la logique formalisée n'est pas une science à même titre que la géométrie ou la mécanique, etc. Or en cela it trouve une base historique dans la conception d'Aristote, des logiciens scolastiques, et de Wittgenstein et F. Waismann. La logique comme système formel n'a pas d'axiomes et de théorèmes, car si on la conçoit construite de la sorte, on arrive seulement à des définitions idem per idem et à des démonstrations circulaires. La conclusion de l'A. est que les tautologies du système formel logique sont des schémas de déduction exprimant toutes, d'une manière plus ou moins compliquée, non des principes différents de déduction, mais le principe de contradiction, le seul principe qui sert à la déduction formelle. Enfin, le système formel de la logique à une valeur indiscutable, d'ordre purement méthodologique et par cela pratique.