DSpace
 

DSpace of Korolenko Poltava National Pedagogical University >
Наукові видання >
Філософські обрії >
2017(38) >

Please use this identifier to cite or link to this item: http://dspace.pnpu.edu.ua/handle/123456789/8984

Название: Г. В. Ляйбніц: від доведення логічних правил і схем до символічного числення логіки
Авторы: Шенгерій, Л.М.
Бойко, Г.М.
Ключевые слова: Г. В. Ляйбніц
матемізація логіки
необхідна і достатня умова істинності висловлювання
числова характеристика висловлювання
числова характеристика терміну висловлювання
Issue Date: 2017
Краткий осмотр (реферат): У статті досліджується логічний доробок Г. В. Ляйбніца з точки зору встановлення взаємозв’язків логічного та математичного знання у напрямку математизації логіки. Показано, що уведення до царини логіки математизованого знання сприяє перетворенню логіки на доказову науку. Аналітичний метод виступає як стрижневий метод доведень. Істинні необхідні висловлювання допускають скінченний аналітичний розклад до тотожностей на відміну від істинних випадкових висловлювань, розклад яких є нескінченим. Математизація логічного знання у працях Г. В. Ляйбніца уможливлюється через встановлення відповідності у вигляді функції між простими категоричними висловлюваннями, їх значеннями істинності та множиною раціональних чисел. Здійснено логіко-математичну реконструкцію числення простих категоричних висловлювань згідно об’єднаної класифікації. Подано авторську інтерпретацію формалізації умов істинності простих категоричних висловлювань, що відкриває нові можливості у сфері досліджень матемізації традиційної та сучасної логіки.
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).
Описание: Шенгерій Л. М., Бойко Г. М. Г. В. Ляйбніц: від доведення логічних правил і схем до символічного числення логіки / Л.М. Шенгерій, Г.М. Бойко // Філософські обрії : Наук.-теорет. журн. / Ін-т філософії імені Г. С. Сковороди HAH України, Полтав. нац. пед. ун-т імені В. Г. Короленка. – Вип. 38. – С. 127-136.
URI: http://dspace.pnpu.edu.ua/handle/123456789/8984
Appears in Collections:2017(38)

Files in This Item:

File Description SizeFormat
15.pdf269,38 kBAdobe PDFView/Open
View Statistics

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback