G.W. LEIBNIZ: FROM PROVING OF LOGICAL RULES AND SCHEMES TO SYMBOLIC CALCULATION OF LOGIC
Journal Title: Філософські обрії - Year 2017, Vol 0, Issue 38
Abstract
The article deals with the study of logic work of G.W. Leibniz in the context of establishment of interrelations of logic and mathematical knowledge towards logic mathematization. There have been defined essential characteristics of the scientist’s ideas as to creation of mathematical logic. There has been shown that introduction of the mathematized knowledge to the sphere of logic contributes to transformation of logic into an evidential science. The analytical method acts as a primary method of argumentation. True necessary statements allow for the finished analytical sched-ule for equivalences in contrast to true contingent statements the schedule of which is endless. Mathematization of logic knowledge in works of G.W. Leibniz becomes possible through establishment of correspondence in the form of a function between simple categorical statements, their truth value and set of rational numbers.There has been made a logic and mathematical reconstruction of calculation of simple categorical statements according to the unified classification. There has been given author’s interpretation of formation of conditions of the truth of simple categorical statements according to the unified classification, which gives new op-portunities in the sphere of study of mathematization of traditional and contempo-rary logic. On the basis of establishment of correspondence as a function between simple categorical statements, their truth value and the set of rational fractions there have been determined the following correspondences
Authors and Affiliations
Людмила Миколаївна ШЕНГЕРІЙ, Галина Миколаївна БОЙКО
Keywords
Related Articles
- EP ID EP503072
- DOI 10.5281/zenodo.1133234
- Views 109
- Downloads 0
ЛОГІКО-АНАЛІТИЧНА РЕКОНСТРУКЦІЯ СТАНОВЛЕННЯ МАТЕМАТИЧНОЇ ПАРАДИГМИ (НА ПРИКЛАДІ СТВОРЕННЯ НЕЕВКЛІДОВИХ ГЕОМЕТРІЙ)
У статті на прикладі створення та обґрунтування неевклідових геометрій як фундаментального відкриття проводиться логіко-аналітична реконструкція становлення математичної парадигми. Показано, що неевклідовим геометріям пр...
PROBLEM OF IDENTITY: MASSIVIZATION VRS. INDIVIDUALIZATION
The theoretical approaches of mass man’s analysis are considered, the factors of his/her formation and the models of existence are investigated. The phenomenon of mass in the conditions of a postindustrial society, its t...
ФІЛОСОФСЬКЕ ПІДҐРУНТЯ РОМАНУ ГАРРІЄТ БІЧЕР-СТОУ «ХАТИНА ДЯДЬКА ТОМА» ТА ЙОГО ВТІЛЕННЯ В КІНЕМАТОГРАФІ ХХ СТОЛІТТЯ
У статті здійснено аналіз роману Гаррієт Бічер-Стоу «Ха-тина дядька Тома» та виявлено його філософське підґрунтя ‒ запе-речення можливості будь-яких форм рабської експлуатації людини людиною, розкрито головні образи рома...
RECEPTION OF MARTIN BUBER’S VIEWS IN RUSSIAN PHILOSOPHICAL THOUGHT (L.Shestov, N.Berdyaev, S.Frank. M.Bakhtin)
The creator of the ingenious philosophical direction – “the philosophy of dialogue”, Martin Buber, to this day remains one of the most mysterious and controversial thinkers. His creative legacy has not been definitely st...
ФІЛОСОФСЬКІ ЗАСАДИ МОДЕЛЮВАННЯ ПОДІЙ ДАВНЬОЇ ІСТОРІЇ В ТРАГЕДІЇ Г.Т. ФАРМАНА «Я ПРИЙШОВ ВАС ЗНИЩИТИ»
У статті здійснено аналіз філософських засад моделюван¬ня подій стародавньої історії на основі трагедії Г.Т. Фармана «Я прийшов вас знищити», з’ясовано художні особливості відтворен¬ня культурних основ співіснування наро...