АРІСТОТЕЛЬ ПРО ОНТОЛОГІЧНІ ТА ГНОСЕОЛОГІЧНІ ПІДСТАВИ СТВОРЕННЯ ФОРМАЛІЗОВАНОЇ МОВИ

I. Vasylkevych

Анотація


Основні принципи філософського мислення Арістотель розумів як світоглядну теорію, яка не суперечила досвіду і враховувала всі існуючі фактори. Таку теорію він розглядав як інструмент досягнення знань і пізнання.

Аналіз творчості Аристотеля показує, що ідея створення формалізованої мови є основою для розвитку теорії силогізмів. Вчення Арістотеля про силогізм можна розглядати як інструмент для визначення того, які відносини між засновками та висновком є послідовними. Концепція силогізмів, модулів і змінних є основою сучасних мов програмування та алгоритмізації.

Створення гносеологічно та онтологічно мотивованої системи формалізованої мови допомагає визначити філософію як окрему науку.

Ключові слова: формалізована мова, мислення, істина, силогістика Арістотеля.


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

PDF

Посилання


1. Аристотель. Метафизика: В 4-х т. – М., 1976. – Т. 1. – 410 с.

2. Аристотель. Сочинения: В 4-х т. – М.,1978. – Т. 2. – 49 с.

3. Лукасевич Я. Аристотельская силлогистика с точки зрения современной формальной логики. – М., 1959. – 95 с.

4. Черч А. Введение в математическую логику. – М., 1960. – 84 с.


Посилання

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


Lviv University Journal of Philosophy