Г. В. ЛЯЙБНІЦ: ВІД ДОВЕДЕННЯ ЛОГІЧНИХ ПРАВИЛ І СХЕМ ДО СИМВОЛІЧНОГО ЧИСЛЕННЯ ЛОГІКИ
Journal Title: Філософські обрії - Year 2017, Vol 0, Issue 38
Abstract
У статті досліджується логічний доробок Г. В. Ляйбніца з точки зору встановлення взаємозв’язків логічного та матема-тичного знання у напрямку математизації логіки. Показано, що уведення до царини логіки математизованого знання сприяє пере-творенню логіки на доказову науку. Аналітичний метод виступає як стрижневий метод доведень. Істинні необхідні висловлювання допускають скінченний аналітичний розклад до тотожностей на відміну від істинних випадкових висловлювань, розклад яких є не-скінченим. Математизація логічного знання у працях Г. В. Ляйб-ніца уможливлюється через встановлення відповідності у вигляді функції між простими категоричними висловлюваннями, їх зна-ченнями істинності та множиною раціональних чисел. Здійснено логіко-математичну реконструкцію числення простих катего-ричних висловлювань згідно об’єднаної класифікації. Подано ав-торську інтерпретацію формалізації умов істинності простих категоричних висловлювань, що відкриває нові можливості у сфе-рі досліджень матемізації традиційної та сучасної логіки.
Authors and Affiliations
Людмила Миколаївна ШЕНГЕРІЙ, Галина Миколаївна БОЙКО
Keywords
Related Articles
- EP ID EP503065
- DOI 10.5281/zenodo.1133234
- Views 114
- Downloads 0
ОСНОВНІ ВІХИ ІСТОРІЇ КАФЕДРИ ФІЛОСОФІЇ ПНПУ ІМЕНІ В.Г.КОРОЛЕНКА (до 100-річчя заснування)
У статті висвітлені основні віхи історії кафедри філософії як окремого структурного підрозділу Полтавського національно-го (державного) педагогічного університету (інституту) імені В. Г. Короленка. На основі аналізу пере...
INNOVATIVE ACTIVITY OF THE PERSONALITY AS AN ESSENTIAL CONDITION OF THE CULTURAL AND EDUCATIONAL SPACE HARMONIZATION: PHILOSOPHICAL AND EDUCATIONAL ASPECT
The article deals with innovative activity as one of the most important components of modern cultural and educational space, based on the preservation and development of the creative potential and active life position of...
G.W. LEIBNIZ: FROM PROVING OF LOGICAL RULES AND SCHEMES TO SYMBOLIC CALCULATION OF LOGIC
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 charac...
КРИЗА ГЕНДЕРНОЇ ІДЕНТИЧНОСТІ У СУЧАСНОМУ СВІТІ
У статті подається філософське розуміння поняття «ген¬дерної ідентичності», розкривається її структура, місце і роль у формуванні соціальної ідентичності людини. При розгляді кризи гендерної ідентичності у сучасному світ...
ONTOLOGICAL BASES OF POSTMODERN MORALITY
The joint life of people in society needs certain rules and norms that regulate human behavior and ensure the achievement of individual and generally significant goals. For many centuries, this regulation was carried out...