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

Проблема формування культурної компетентності особистості в контексті реформування вищої школи

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

PHILOSOPHY IN SCHOOL: PROS AND CONS

The article deals with the problem of the formation of intelligent thinking in the process of cognition and learning. The author focuses on “interested thinking”, which combines cognitive, creative, emotional and informa...

NEED FOR AN “A PRIORI” EPISTEME IN THE ARGUMENTS OF “CONCEPTUAL PRAGMATISM”

In the article the philosophy of logic of American thinker Karl Lewis is analyzed, the need to include the concept of «a priori» in knowledge system is proved. A search for new arguments lead to pragmatic choice of possi...

AESTHETIC EDUCATION IN THE POST-CULTURE

The article describes the aims and objectives of aesthetic education, provided in the unity of training and education, in a post-culture. It is shown that for the post-culture is characterized by fragmentation, pluralism...

PHILOSOPHY RYSORDZHYMENTO IN THE WORK OF GIUSEPPE VERDI

The article proved that the legacy of Giuseppe Verdi was the highest flight of philosophy Risorgimento art, the embodiment of its basic ideals. Given the fact that the leading genre of Italian culture first half of the n...

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