Г. В. ЛЯЙБНІЦ: ВІД ДОВЕДЕННЯ ЛОГІЧНИХ ПРАВИЛ І СХЕМ ДО СИМВОЛІЧНОГО ЧИСЛЕННЯ ЛОГІКИ

Анотація

У статті досліджується логічний доробок Г. В. Ляйбніца з точки зору встановлення взаємозв’язків логічного та математичного знання у напрямку математизації логіки. Показано, що уведення до царини логіки математизованого знання сприяє перетворенню логіки на доказову науку. Аналітичний метод виступає як стрижневий метод доведень. Істинні необхідні висловлювання допускають скінченний аналітичний розклад до тотожностей на відміну від істинних випадкових висловлювань, розклад яких є нескінченим. Математизація логічного знання у працях Г. В. Ляйбніца уможливлюється через встановлення відповідності у вигляді функції між простими категоричними висловлюваннями, їх значеннями істинності та множиною раціональних чисел. Здійснено логіко-математичну реконструкцію числення простих категоричних висловлювань згідно об’єднаної класифікації. Подано авторську інтерпретацію формалізації умов істинності простих категоричних висловлювань, що відкриває нові можливості у сфері досліджень матемізації традиційної та сучасної логіки.