Логіка - це іменник жіночого роду від грецького терміна логотип, пов'язані з логотипи, причина, слово або мовлення, що означає міркування наук.
У переносному значенні слово логіка пов’язане з a конкретний спосіб міркування, правильно. Наприклад: Це ніколи не вийде! Ваш план не має логіки!
ти проблеми або логічні ігри це види діяльності, при яких особа повинна використовувати a логічне міркування вирішити проблему.
Арістотелівська логіка
На думку Арістотеля, об'єктом дослідження логіки є думав, а також закони та правила, які керують нею, щоб ця думка була правильною. Для грецького філософа складовими елементами логіки є концепція, судження і міркування. Закони логіки відповідають зв’язкам і відносинам, які існують між цими елементами.
Деякі наступники Арістотеля відповідали за основи середньовічної логіки, яка проіснувала до XIII століття. Такі середньовічні мислителі, як Гален, Порфірій та Олександр Афродізійські, класифікували логіку як науку про правильне судження, що дозволяє дійти до правильних і формально обгрунтованих міркувань.
Логіка програмування
Логіка програмування - це мова, що використовується для створення комп’ютерної програми. Логіка програмування є важливою для розробки комп'ютерних програм та систем, оскільки вона визначає логічний ланцюг для цього розвитку. Етапи цієї розробки відомі як алгоритм, який складається з логічної послідовності вказівок для функції, яка повинна виконуватися.
Логіка аргументації
Логіка аргументації дозволяє перевірити правильність чи справжність твердження чи ні. Він не складається з відносними або суб’єктивними поняттями. Це відчутні пропозиції, чию дійсність можна перевірити. У цьому випадку логіка має на меті оцінити форму пропозицій, а не зміст. Силогізми (складені з двох передумов та висновку) є прикладом логіки аргументації. Наприклад:
Кукурудзяна мука - собака.
Всі собаки - ссавці.
Тому кукурудзяна крупа - це ссавець.
Математична логіка
Математична логіка (або формальна логіка) вивчає логіку відповідно до її структури або форми. Математична логіка складається з a дедуктивна система висловлювань, які мають на меті створити групу законів і правил для визначення обґрунтованості міркувань. Таким чином, міркування вважаються справедливими, якщо можливо дійти до справжнього висновку з істинних передумов.
Математична логіка також використовується для побудови вагомих міркувань за допомогою інших міркувань. Міркування можуть бути дедуктивний (висновок обов'язково отримується з правдивості приміщення) і індуктивний (імовірнісний).
Формальну логіку можна розділити на дві групи: логіку пропозицій та логіку предикатів.
Багато людей розглядають Лейбніца як розум, який започаткував концепцію формальної логіки або математики, що стосується основних питань математики. Однак лише після 1890 р. З Пеано почався сумнів щодо узгодженості аксіом. Деякі важливі принципи формальної логіки містяться в «Математичному аналізі логіки» Джорджа Буля (автора логіки або алгебри Буля).
пропозиційна логіка
Пропозиційна логіка - це область логіки, яка досліджує міркування відповідно до співвідношень між реченнями (пропозиціями), мінімальними одиницями дискурсу, які можуть бути істинними або хибними.
