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

вікіфікація
[неперевірена версія][неперевірена версія]
Немає опису редагування
(вікіфікація)
'''Форма́льна ло́гіка''' — конструювання і дослідження правил перетворення висловів, що зберігають своє істинне значення безвідносно до змісту вхідних в ці вислови понять. У історії [[філософія|філософії]] — окремий розділ або напрям логіки кінця XIX — початку XX  ст. У сучасному вжитку — [[синонім]] [[символічна логіка|символічної]], або [[математична логіка|математичної логіки]].Арістотель -[[Арістотель]] — автор формальної логіки. Пізніше, в середні віки, формально-логічна частина вчення Арістотеля була відірвана від змістовної і канонізована, використовувалася як методологічна основа середньовічної [[Схоластика|схоластики]].
 
== Література ==
* ''Edmund Husserl''. Formale und transzendentale Logik. Versuch einer Kritik der logischen Vernunft. 2. Auflage. Unveränderter Nachdruck der 1. Auflage 1929. Niemeyer, Tübingen 1981, ISBN 3-484-70129-3.
* ''Richaed Jeffrey''. Formal Logic. Its Scope and Limits. 2. Auflage. McGraw-Hill, New York NY 1981, ISBN 0-07-032321-6.
* Гасяк О. С.  Формальна логіка  : короткий словник-довідник. — Чернівці : Чернівецький нац. ун-т, 2014. — 200 с.
{{ФС}}
{{Math-stub}}