Форма́льна ло́гіка — це наука про форми, закони, прийоми та методи абстрактного мислення. Вивчаючи мислення з боку його логічної структури, формальна логіка відхиляється від конкретного змісту думки, тобто це логіка, що вивчає структуру мислення та досліджує закони, за якими людина будує міркування. Формальна логіка поділяє поняття на загальні та одиничні, конкретні та абстрактні, співвідносні та безвідносні, розглядає готові, сформовані знання, поза їх розвитком; її цікавить лише формальний зміст суджень. Вона включає традиційну й сучасну класичну (символічну) логіки. Така логіка є методом отримання нового знання на підставі використання нових результатів для переходу від відомого до невідомого, від пізнаного до непізнаного, а метод реалізується за планом. Це наука про міркування, його структурні елементи та відношення між ними в процесі побудови вивідного знання.
Формальна логіка — конструювання і дослідження правил перетворення висловів, що зберігають своє істинне значення безвідносно до змісту вхідних в ці вислови понять. У історії філософії — окремий розділ або напрям логіки кінця XIX — початку XX ст. У сучасному вжитку — синонім символічної, або математичної логіки. Арістотель — автор формальної логіки. Пізніше, в середні віки, формально-логічна частина вчення Арістотеля була відірвана від змістовної і канонізована, використовувалася як методологічна основа середньовічної схоластики.
Примітки
- Національна академія внутрішніх справ. Кафедра філософії права та юридичної логіки. Мультимедійний підручник. "Логіка" [ 2022-09-11 у Wayback Machine.]. arm.naiau.kiev.ua
- Гасяк О. С. Формальна логіка. Розв'язкові процедури, алгоритми, словник базових термінів і понять: навч. посібник / О.С.Гасяк. — Вид. 2-ге, переробл. та доповн. — Чернівці: Чернівецький нац. ун-т, 2014. — 544с.
Література
- Гасяк О. С. Формальна логіка : короткий словник-довідник. — Чернівці: Чернівецький нац. ун-т, 2014. — 200 с.
- Філософський словник / за ред. В. І. Шинкарука. — 2-ге вид., перероб. і доп. — К. : Головна ред. УРЕ, 1986.
Див. також
![]() | Це незавершена стаття з математики. Ви можете проєкту, виправивши або дописавши її. |
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Forma lna lo gika ce nauka pro formi zakoni prijomi ta metodi abstraktnogo mislennya Vivchayuchi mislennya z boku jogo logichnoyi strukturi formalna logika vidhilyayetsya vid konkretnogo zmistu dumki tobto ce logika sho vivchaye strukturu mislennya ta doslidzhuye zakoni za yakimi lyudina buduye mirkuvannya Formalna logika podilyaye ponyattya na zagalni ta odinichni konkretni ta abstraktni spivvidnosni ta bezvidnosni rozglyadaye gotovi sformovani znannya poza yih rozvitkom yiyi cikavit lishe formalnij zmist sudzhen Vona vklyuchaye tradicijnu j suchasnu klasichnu simvolichnu logiki Taka logika ye metodom otrimannya novogo znannya na pidstavi vikoristannya novih rezultativ dlya perehodu vid vidomogo do nevidomogo vid piznanogo do nepiznanogo a metod realizuyetsya za planom Ce nauka pro mirkuvannya jogo strukturni elementi ta vidnoshennya mizh nimi v procesi pobudovi vividnogo znannya Formalna logika konstruyuvannya i doslidzhennya pravil peretvorennya visloviv sho zberigayut svoye istinne znachennya bezvidnosno do zmistu vhidnih v ci vislovi ponyat U istoriyi filosofiyi okremij rozdil abo napryam logiki kincya XIX pochatku XX st U suchasnomu vzhitku sinonim simvolichnoyi abo matematichnoyi logiki Aristotel avtor formalnoyi logiki Piznishe v seredni viki formalno logichna chastina vchennya Aristotelya bula vidirvana vid zmistovnoyi i kanonizovana vikoristovuvalasya yak metodologichna osnova serednovichnoyi sholastiki PrimitkiNacionalna akademiya vnutrishnih sprav Kafedra filosofiyi prava ta yuridichnoyi logiki Multimedijnij pidruchnik Logika 2022 09 11 u Wayback Machine arm naiau kiev ua Gasyak O S Formalna logika Rozv yazkovi proceduri algoritmi slovnik bazovih terminiv i ponyat navch posibnik O S Gasyak Vid 2 ge pererobl ta dopovn Chernivci Cherniveckij nac un t 2014 544s LiteraturaPortal Matematika Gasyak O S Formalna logika korotkij slovnik dovidnik Chernivci Cherniveckij nac un t 2014 200 s Filosofskij slovnik za red V I Shinkaruka 2 ge vid pererob i dop K Golovna red URE 1986 Div takozhFormalizaciya Neformalna logika Ce nezavershena stattya z matematiki Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi