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

В. Г. КОРОЛЕНКО ЯК ІДЕОЛОГ УКРАЇНСЬКОГО КУЛЬТУРНОГО НАЦІОНАЛІЗМУ

У статті розкриті погляди одного з найбільш відомих українських мислителів, письменників і громадських діячів кінця ХІХ – на початку ХХ століття Володимира Галактіоновича Короленка на проблему націоналізму. Проаналізован...

ART OF COMMUNICATION OF SOLOIST AND THE ACCOMPANIST IN DOMESTIC EXECUTION

The article analyzes the possibilities of the art of communication between the soloist and the accompanist on the materials of the history of the national performance. Analyzing the problems that can arise at each stage...

UKRAINIAN STATE IDEA OF IVAN VYHOVSKY HETMANSHIP: THE VISION OF MYKHAILO HRUSHEVSKY

The key problems of Ivan Vyghovsky’s rule (the main problem among them – is Gadiatskiy pact in 1658) in Mykhailo Grushevskiy’s works are considered in the article. It’s emphasized the scientist’s ambiguity in treatment o...

WORLD AND DOMESTIC EXPERIENCE OF APPLICATION OF EDUCATIONAL MANAGEMENT AS TO MECHANISM OF MODERNIZATION

Philosophical and objectivity educational management determined its entry forms general social management activities and integrative social and managerial phenomenon that plays a role in relation system-creating educatio...

SPIRIT OF LONELINESS OF DMITRY MEREZHKOVSKY

The author refers to the analysis of the creative work and its fundamentals of one of the most extraordinary thinkers of the first half of the twentieth century − Dmitry Merezhkovsky. One of Russia’s most readable philos...

Download PDF file
  • EP ID EP503072
  • DOI 10.5281/zenodo.1133234
  • Views 107
  • 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