Г. В. Ляйбніц: від доведення логічних правил і схем до символічного числення логіки

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 schedule 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: (SaP-true).