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

ФЕНОМЕН ІНТЕЛІГЕНТНОСТІ: ПРОБЛЕМИ ФІЛОСОФСЬКОЇ ІНТЕРПРЕТАЦІЇ

Проаналізовано сучасний стан і тенденції в філософській інтерпретації феномену інтелігентності. Робиться акцент на необхідності з’ясування ролі та значення інтелігенції у сучасному суспільстві. Підкреслюється необхідніст...

АКТИВНА РОЛЬ ПРАВОСВІДОМОСТІ В ПРАВОВІЙ РЕГЛАМЕНТАЦІЇ ЛЮДСЬКОЇ ДІЯЛЬНОСТІ

Доведено, що поряд з відображенням правової дійсності правосвідомість виконує активну функцію регулятора поведінки людей. Їй притаманна дієва роль в правовій регламентації людської діяльності на основі відображення і оці...

ФІЛОСОФІЯ РИССОРДЖИМЕНТО В ТВОРЧОСТІ ДЖУЗЕППЕ ВЕРДІ

У статті доведено, що спадщина Джузеппе Верді стала найвищим злетом філософії Рисорджименто в мистецтві, втіленням її основних ідеалів. Зважаючи на те, що провідним жанром італійської культури першої половини ХІХ столітт...

PHILOSOPHICAL APPROACHES TO UNDERSTANDING CATEGORY «ENVIRONMENT»

Category «environment» has a lot of aspects. It is studied by various sciences, is used in everyday life. Speaking of the natural environment, we mean the «natural environment», which is the object of study of geography...

REFLECTIONS ON HISTORICAL FATE OF COMMUNIST IDEALS BY KARL MARX

The article examines the fate of the humanistic ideals by Karl Marx where a person is in the center. It is proved that «a dialogue», which is constantly going on between a person and nature, enriches both counterparts o...

Download PDF file
  • EP ID EP503072
  • DOI 10.5281/zenodo.1133234
  • Views 87
  • Downloads 0

How To Cite

Людмила Миколаївна ШЕНГЕРІЙ, Галина Миколаївна БОЙКО (2017). G.W. LEIBNIZ: FROM PROVING OF LOGICAL RULES AND SCHEMES TO SYMBOLIC CALCULATION OF LOGIC. Філософські обрії, 0(38), 127-136. https://europub.co.uk/articles/-A-503072