DSpace
 

DSpace of Korolenko poltava national pedagogical university >
Наукові видання >
Філософські обрії >
2017(38) >

Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: http://dspace.pnpu.edu.ua/handle/123456789/8984

Назва: Г. В. Ляйбніц: від доведення логічних правил і схем до символічного числення логіки
Автори: Шенгерій, Л.М.
Бойко, Г.М.
Ключові слова: Г. В. Ляйбніц
матемізація логіки
необхідна і достатня умова істинності висловлювання
числова характеристика висловлювання
числова характеристика терміну висловлювання
Дата публікації: 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
Розташовується у зібраннях:2017(38)

Файли цього матеріалу:

Файл Опис РозмірФормат
15.pdf269,38 kBAdobe PDFПереглянути/Відкрити
Перегляд статистики

Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.

 

Valid XHTML 1.0! Програмне забезпечення DSpace Авторські права © 2002-2005 Массачусетський технологічний інститут та Х’юлет Пакард - Зворотний зв’язок