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

ТРАНСФОРМАЦІЯ МЕТОДОЛОГІЧНИХ ОБРАЗІВ НАУКИ В ЛОГІЧНИХ ДОКАЗАХ ПОСТПОЗИТИВІЗМУ

У статті аналізується процес зміни розуміння образу і смислу науки в аргументах постпозитивізму. Показана еволюція логіки формування концепту філософії науки від «парадигми» Т. Куна до множини конкуруючих «дослідницьких...

MORAL PROBLEMS OF MODERN SOCIETY AND STATUS OF ETHICS

The article examines the status of ethics, according to the moral problems of modern society and to changes within this science. In the article, we analyze the state of modern morality, which is characterized by consider...

МОДИФІКАЦІЇ «ДОБРА» І «ЗЛА» В МИСЛЕННЄВИХ РЕФЛЕКСІЯХ ТЕОЦЕНТРИЗМУ: СОЦІОФІЛОСОФСЬКИЙ АСПЕКТ

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

SUFFERINGSOF OLD AGE ASA STIMULUSFOR SELF-PERFECTION (GERONTOSOPHICAL ASPECTSOF BUDDHISM)

Introduction.Europe is fast becoming an aging society with problems of ageism and gerontophobia. The spiritual heritage of Buddhism may be useful in improving relationships between generations. Buddhist depictions of ag...

ЦІННІСНО-СМИСЛОВИЙ КОНТЕКСТ ЛЮДСЬКОЇ БУТТЄВОСТІ В МОДЕЛІ ЯПОНСЬКОЇ КУЛЬТУРИ

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

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