Формальна логіка: відмінності між версіями
[неперевірена версія] | [неперевірена версія] |
Немає опису редагування |
Немає опису редагування |
||
Рядок 15: | Рядок 15: | ||
* Гасяк О. С. Формальна логіка : короткий словник-довідник. — Чернівці: Чернівецький нац. ун-т, 2014. — 200 с. |
* Гасяк О. С. Формальна логіка : короткий словник-довідник. — Чернівці: Чернівецький нац. ун-т, 2014. — 200 с. |
||
{{ФС}} |
{{ФС}} |
||
== Див. також == |
|||
* [[Формалізація]] |
|||
{{Math-stub}} |
{{Math-stub}} |
||
Версія за 14:16, 11 вересня 2022
Форма́льна ло́гіка — це наука про форми, закони, прийоми та методи абстрактного мислення. Вивчаючи мислення з боку його логічної структури, формальна логіка відхиляється від конкретного змісту думки, тобто це логіка, що вивчає структуру мислення та досліджує закони, за якими людина будує міркування.[1]
Формальна логіка — конструювання і дослідження правил перетворення висловів, що зберігають своє істинне значення безвідносно до змісту вхідних в ці вислови понять. У історії філософії — окремий розділ або напрям логіки кінця XIX — початку XX ст. У сучасному вжитку — синонім символічної, або математичної логіки. Арістотель — автор формальної логіки. Пізніше, в середні віки, формально-логічна частина вчення Арістотеля була відірвана від змістовної і канонізована, використовувалася як методологічна основа середньовічної схоластики.
Примітки
- ↑ Національна академія внутрішніх справ. Кафедра філософії права та юридичної логіки. Мультимедійний підручник. "Логіка". arm.naiau.kiev.ua
Література
- J. M. Bocheński. Formale Logik. 5. unveränderte Auflage. Alber, Freiburg (Breisgau) u. a. 1996, ISBN 3-495-44115-8, (Orbis academicus 3, 2).
- Walter Bröcker. Formale, transzendentale und spekulative Logik. Klostermann, Frankfurt am Main 1962.
- Paul Hoyningen-Huene. Formale Logik. Eine philosophische Einführung. Reclam, Stuttgart 1998, ISBN 3-15-009692-8.
- 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 с.
- Філософський словник / за ред. В. І. Шинкарука. — 2-ге вид., перероб. і доп. — К. : Головна ред. УРЕ, 1986.
Див. також
Це незавершена стаття з математики. Ви можете допомогти проєкту, виправивши або дописавши її. |