أشكال المنطق المعاصر وتطوراته

La Logique contemporaine a connu une excellente période de développement et de progression, de nombreuses formes de la logique ont été apparu. Le développement de la logique contemporaine a suivi deux étapes principales: la logique classique et la logique non classique. La première étape marque la naissance de l’algèbre de la logique ensuite, vient la logique mathématique bivalente. Dans la deuxième étape, de nombreux systèmes non classique ont été apparu et développé, ces logiques non classique ont dépassé le principe de bivalence, on peut les classifier selon plusieurs méthodes, la plus répondue est celle qui les classes en trois catégories: les logiques plurivalentes, les logiques affaiblies et les logiques modales. Les logiciens ont fait beaucoup d’effort afin de construire un nombre considéré de systèmes non classiques, mais le plus important est qu’on a la possibilité de construire un nombre infini de systèmes logiques.