Ternary Dialectical Informatics

Abstract : Modern binary informatics with its so-called “classical” two-valued logic admits to create an artificial intellect and suppresses the natural intellect of students and other thinking people. Logic that based on dogmatic law of the excluded middle is incompatible with dialectical principle of opposition coexistence. Such logic is deprived of fundamental logical relation – the content consequence, and then cannot reach a conclusion. Aristotle’s syllogistics includes the content consequence as common affirmative premise “All x are y”. However, binarity misinterprets it as a paradoxical material implication that is not a relation at all. Lewis Carroll’s “Symbolic logic” correctly represented syllogistics, but it is not intelligible for modern binary logic. Our paper reveals the essence of content consequence; it explains Carroll’s intentional judgments and syllogistic relations submitted to opposite coexistence.
Type de document :
Communication dans un congrès
John Impagliazzo; Eduard Proydakov. 1st Soviet and Russian Computing (SoRuCom), Jul 2006, Petrozavodsk, Russia. Springer, IFIP Advances in Information and Communication Technology, AICT-357, pp.81-88, 2011, Perspectives on Soviet and Russian Computing. 〈10.1007/978-3-642-22816-2_11〉
Liste complète des métadonnées

Littérature citée [9 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01568386
Contributeur : Hal Ifip <>
Soumis le : mardi 25 juillet 2017 - 11:42:48
Dernière modification le : mardi 25 juillet 2017 - 12:54:46

Fichier

978-3-642-22816-2_11_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Nikolay Brusentsov, Julia Vladimirova. Ternary Dialectical Informatics. John Impagliazzo; Eduard Proydakov. 1st Soviet and Russian Computing (SoRuCom), Jul 2006, Petrozavodsk, Russia. Springer, IFIP Advances in Information and Communication Technology, AICT-357, pp.81-88, 2011, Perspectives on Soviet and Russian Computing. 〈10.1007/978-3-642-22816-2_11〉. 〈hal-01568386〉

Partager

Métriques

Consultations de la notice

35

Téléchargements de fichiers

13