Логіка

Що таке логіка:

Логіка - іменник жіночого роду, що походить з грецького терміну logiké, пов'язаний з логосом, розумом, словом або мовою, що означає науку міркування .

У переносному сенсі слово логіка пов'язане з певним правильним способом міркування . Наприклад: Це ніколи не спрацює! Ваш план взагалі не має логіки!

Проблеми або логічні ігри є діяльністю, в якій людина має використовувати логічні міркування для вирішення проблеми.

Арістотелівська логіка

За Арістотелем, логіка має як об'єкт вивчення думки, так само як і закони і правила, які контролюють її, так що ця думка правильна. Для грецького філософа складовими логіки є поняття, судження та міркування . Закони логіки відповідають зв'язкам і відносинам, що існують між цими елементами.

Деякі наступники Аристотеля були відповідальними за основи середньовічної логіки, яка тривала до тринадцятого століття. Середньовічні мислителі, такі як Гален, Порфирій і Олександр Афродисії, класифікували логіку як науку правильно судити, що дає можливість прийти до правильних і формально обгрунтованих міркувань.

Логіка програмування

Логіка програмування - це мова, яка використовується для створення комп'ютерної програми. Логіка програмування має важливе значення для розробки програм і комп'ютерних систем, оскільки вона визначає логічне посилання для цього розвитку. Етапи цього розвитку відомі як алгоритм, який складається з логічної послідовності інструкцій для виконання функції.

Аргумент логіка

Логіка аргументації дозволяє нам перевірити чинність або твердження чи ні. Це не робиться з відносними або суб'єктивними поняттями, вони є матеріальними пропозиціями, чию справедливість можна перевірити. У цьому випадку логіка має на меті оцінити форму пропозицій, а не змісту. Силогізми (складаються з двох передумов і висновку) є прикладом логіки аргументації. Наприклад:

Фуба - собака.

Всі собаки є ссавцями.

Тому Fubá є ссавцем.

Математична логіка

Математична логіка (або формальна логіка) вивчає логіку за своєю структурою або формою. Математична логіка складається з дедуктивної системи тверджень, яка спрямована на створення сукупності законів і правил для визначення обгрунтованості міркування. Таким чином, міркування вважається дійсним, якщо можна дійти до істинного висновку з істинних передумов.

Математична логіка також використовується для побудови достовірних міркувань за допомогою інших міркувань. Аргументація може бути дедуктивною (висновок обов'язково виходить з істини приміщення) і індуктивний (імовірнісний).

Формальну логіку можна розділити на дві групи: пропозиційну логіку і предикатну логіку.

Лейбніц розглядається багатьма як розум, який ініціював концепцію формальної або математичної логіки, яка вирішує центральні питання математики. Однак лише після 1890 р. З Пеано почалося питання про відповідність аксіом. Деякі важливі принципи формальної логіки знайдені в «Математичному аналізі логіки» Джорджа Буля (автор логічної або булевої алгебри).

Пропозиційна логіка

Логіка пропозицій - це область логіки, яка досліджує міркування відповідно до відносин між реченнями (пропозиціями), мінімальними одиницями дискурсу, які можуть бути істинними або помилковими.