визначення логіки
Логіка - це формальна наука, тобто, як і будь-яка з формальних наук, вона створює власний об'єкт дослідження і міркування, а створення ідей розумом - це її методологія роботи та знання, але також, логіка, це одна з Найважливіші та найпопулярніші галузі філософії, об'єктом вивчення яких є принципи доказування і дійсного умовиводу, які є методами, які в кінцевому підсумку дозволять нам відрізнити правильне від неправильного міркування .
Походження логіки бере свій початок у золотий вік класичної Греції, і грецький філософ Арістотель вважається її творцем і батьком , оскільки він першим застосував це поняття і надав йому сутності, яку вона зберігає донині, вивчення аргументів як проявів істини в науці.
Цю логіку, яку ми описали вище і основою якої є Арістотель, також називають формальною логікою , тоді як існує також неформальна логіка, яка зосередить свою увагу на методичному вивченні тих ймовірних аргументів, заснованих на філософії, риториці та ораторському мистецтві, серед яких інші науки, які цим займаються.
В основному, неформальна логіка витрачає всі зусилля на виявлення помилок та парадоксів та на правильну структуру дискурсів.
Але у формальній та неформальній логіці питання не вичерпується, оскільки ми також знаходимо інші типи логіки, які пропонують абсолютно різні методології, такі як природна логіка, яка пропонується природною думкою, як вона працює, не вдаючись до формальної науки як до база підтримки.
Тоді існує нечітка, або її також називають нечітка логіка, яка приймає певні ліцензії щодо інших і допускає певну двозначність між істинністю чи хибністю її висловлювань, у тісній згоді та взаємозв'язку з людським розумом.
В іншому порядку ми можемо знайти математичну логіку, яка обробляється за допомогою штучної та символічної мови та робить абстракцію змісту. І нарешті, двійкова логіка, яка працює зі змінними, які допускають лише два дискретні значення.
