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 100
- Downloads 0
«БГАГАВАД-ГІТА» – ПЕРШИЙ ДОСВІД МЕТАФІЗИЧНОГО СИНТЕЗУ
У статті розкривається своєрідність метафізичного знання видатної памятки давньоіндійської літератури «Бгагавад-Гіти» як універсальної теоретичної моделі індуістської метафізики Шляху.
PHILOSOPHICAL PRINCIPLES OF THE MODELING EVENTS OF THE LARGE HISTORY IN THE TRAGEDY G.T. FARMANA "I COME TO DESTROY YOU"
The article analyzes the philosophical principles of modeling the events of ancient history on the basis of the tragedy G.T. Farman “I come to Destroy You”, artistic features of the reproduction of the cultural foundatio...
THE CRISIS OF GENDER IDENTITY IN THE MODERN WORLD
The article gives a philosophical understanding of the concept of “gender identity”, reveals its structure, place and role in the formation of a person’s social identity. The gender identity phenomenon is disclosed throu...
НЕОБХІДНІСТЬ ЕПІСТЕМИ «АПРІОРНОГО» В АРГУМЕНТАХ «КОНЦЕПТУАЛЬНОГО ПРАГМАТИЗМУ»
У статті аналізується філософія логіки американського мислителя К. Льюїса, в якій доводиться необхідність включення поняття «апріорного» в систему пізнання. Пошук нових аргументів приводить до прагматичного вибору можлив...
О НЕКОТОРЫХ АСПЕКТАХ МЕЖДИСЦИПЛИНАРНОЙ ПАРАДИГМЫ ИССЛЕДОВАНИЯ
В статье анализируется положение о том, что общепринятое мнение относительно принципиального противопоставления естественных и фундаментальных наук наукам общественным является не корректным. Делается вывод о возможнос...