Що таке логіка:
Логіка Це формальна наука, яка вивчає структуру або форми людської думки (наприклад, пропозиції, концепції та міркування), щоб встановити діючі закони та принципи для отримання критеріїв істини.
Як прикметник, логічний або логічний означає, що щось відповідає правилам логіки та розуму. Це також вказує на очікувані природні або нормальні наслідки.
Він також використовується для позначення так званого "здорового глузду". Походить від латинської логіка, і в свою чергу від грец λογική (логіка, 'маючи розум, "інтелектуальний", "діалектичний", "аргументований"), що, в свою чергу, походить від слова λόγος (логотипи, 'слово', 'думка', 'причина', 'ідея', 'аргумент').
Пропозиційна, математична або символічна логіка
Пропозиційна логіка - це розділ логіки, який вивчає пропозиційні змінні, логічні сполучники (
). Деякі автори також ототожнюють її з математичною логікою або символічною логікою, оскільки вона використовує ряд спеціальних символів, які наближають її до математичної мови. Твердження можуть бути істинними або хибними.
Філософська логіка
Зазвичай логіка вважається частиною філософії, хоча логіка як така застосовується в різних сферах та діяльності людини.
Філософська логіка використовує чотири основоположні принципи, які встановлюють правильні процеси мислення. Цими принципами є принцип ідентичності, принцип несуперечності, принцип виключеної третьої сторони та принцип достатньої підстави.
Формальна логіка та неформальна логіка
Формальна логіка - це об’єкт дослідження, технічним висновком за допомогою дедуктивних систем та формальних мов та семантики. Неформальна логіка, зі свого боку, вивчає природні системи міркувань та аргументації за допомогою мови та повсякденної думки.
Арістотелівська логіка
Саме логіка ґрунтується на дослідженнях Арістотеля, грецького філософа IV століття до н. Аристотелівська логіка використовує так звані силогізми, що є дедукцією або формою міркування, в якій встановлюються передумови, з яких робиться висновок.
Отже, це поняття, подібне до дедуктивно валідних аргументів. Класичним прикладом арістотелівської логіки є: 'Всі люди смертні. Всі греки - чоловіки. Тому всі греки смертні ''. Перші два речення будуть приміщеннями, а третє - висновком.
Дифузна логіка
Поняття дифузна логіка походить з англійської ('нечітка логіка'). Це тип логіки, що використовує випадкові значення, але контекстуалізовані та пов’язані між собою, встановлюючи відносне значення того, що спостерігається як диференціальне положення. Нечітка логіка застосовується в різних сферах, таких як інформатика та промисловість.
