DOI: https://doi.org/10.33989/2075-1443.2017.38.174768

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

L. M. Shengerii, G. M. Boyko

Анотація


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

Ключові слова


Г. В. Ляйбніц; матемізація логіки; необхідна і достатня умова істинності висловлювання; числова характеристика висловлювання; числова характеристика терміну висловлювання

Повний текст:

PDF

Посилання


Subbotin A. L. Logicheskie trudy Leibnitca. Leibnitc G. V. Sochineniia : v 4 t. T. 3. Moskva: Mysl, 1984. S. 41 53.

Leibnitc G. V. ob universalnoi nauke ili filosofskom ischislenii. Leibnitc G. V. Sochineniia : v 4 t. T. 3. Moskva: Mysl, 1984. S. 493 500.

Leibnitc G. V. Vilgelma Patcidiia Leibnitca Avrora. Leibnitc G. V. Sochineniia : v 4 t. T. 3. Moskva: Mysl, 1984. S. 401-403.

Leibnitc G. V. Nachala i obraztcy vseobshchei nauki. Leibnitc G. V. Sochineniia : v 4 t. T. 3. Moskva: Mysl, 1984. S. 435-443.

Leibnitc G. V. istoriia idei universalnoi kharakteristiki. Leibnitc G. V. Sochineniia : v 4 t. T. 3. Moskva: Mysl, 1984. S. 412-418.

Leibnitc G. V. Elementy universalnoi kharakteristiki. Leibnitc G. V. Sochineniia : v 4 t. T. 3. Moskva: Mysl, 1984. S. 506-513.


Посилання

  • Поки немає зовнішніх посилань.