Формальна логіка: відмінності між версіями

нема опису редагування
[неперевірена версія][неперевірена версія]
Немає опису редагування
'''Форма́льна ло́гіка''' — конструювання і дослідження правил перетворення висловів, що зберігають своє істинне значення безвідносно до змісту вхідних в ці вислови понять. У історії [[філософія|філософії]] — окремий розділ або напрям логіки кінця XIX — початку XX ст. У сучасному вжитку — [[синонім]] [[символічна логіка|символічної]], або [[математична логіка|математичної логіки]].Арістотель - автор формальної логіки. Пізніше, в середні віки, формально-логічна частина вчення Арістотеля була відірвана від змістовної і канонізована, використовувалася як методологічна основа середньовічної схоластики.
 
== Література ==
Анонімний користувач