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

THE MOBILIZATION POTENTIAL OF THE RELIGIOUSLY-MOTIVATED RHETORIC OF THE PROJECT «RUSSIAN WORLD»DURING THE EVENTS THAT TOOK PLACE IN DONBASS IN 2014

The article analyzes the religious rhetoric and markers originated from the project «Russian World». At the present stage of its develop-ment, the appeal to religious rhetoric and markers allowed modeling potential threa...

КОНЦЕПТУАЛІЗАЦІЯ ФІЛОСОФІЇ ІСТОРІЇ У ПОСТНЕКЛАСИЧНІЙ МЕТОДОЛОГІЇ (стаття 2)

У статті доводиться, що із виникненням методології іс-торичної глобалістики, історичної проекції геополітичних ідей, «світ-системної» теорії змінюється характер постнекласичної методології. Основною відмінністю цих теорі...

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...

CONCEPT COURTESY AS SOCIAL AND CULTURAL PHENOMENON CLASSICAL MIDDLE AGES

The analysis of the concept courtesy as a social and religious phenomenon of classical Middle Ages. Through the analysis of primary sources and philosophical and cultural literature, we are able to recreate the changing...

WHAT IS THE NATIONAL PHILOSOPHY – THE IDEOLOGEME OR METAPHILOSOPHY CONCEPT?

One of the evidences of mainstreaming in Ukrainian philosophy discourse of the problem of philosophy national attribution has become the international discussion, recently initiated by Sententiae magazine. While analyzin...

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