В любой науке логика служит одним из основных инструментов[1]

Грегор Рейш «Логика представляет её центральные темы», Margarita Philosophi-ca, 1503/08 (?). Две собаки veritas (лат. истина) и falsitas (лат. ложь) преследуют зайца problema (лат. проблема), логика, вооруженная мечом силлогизма, спешит позади. Слева внизу в гроте изображён Парменид, с которым логическая аргуме-ментация проложила себе путь в философию.

Ло́гика (др.-греч. λογική – раздел философии, «наука о правильном мышле-нии», «искусство рассуждения» от λόγος – «речь», «рассуждение», «мысль») – наука о формах, методах и законах интеллектуальной познавательной деятель-ности, формализуемых с помощью логического языка. Поскольку это знание по-лучено разумом, логика также определяется как наука о формах и законах пра-вильного мышления. Поскольку мышление оформляется в языке в виде рассуж-дения, частными случаями которого являются доказательство и опровержение, логика иногда определяется как наука о способах рассуждения или наука о спо-собах доказательств и опровержений. Логика как наука изучает способы дости-жения истины в процессе познания опосредованным путём, не из чувственного опыта, а из знаний, полученных ранее, поэтому её также можно определить как науку о способах получения выводного знания.

Одна из главных задач логики – определить, как прийти к выводу из предпосы-лок (правильное рассуждение) и получить истинное знание о предмете размыш-ления, чтобы глубже разобраться в нюансах изучаемого предмета мысли и его соотношениях с другими аспектами рассматриваемого явления.

В любой науке логика служит одним из основных инструментов[1].

Содержание

· 1 Сущность логики

o 1.1 Значение слова

o 1.2 Неформальная, формальная, символическая и диалектическая логика

o 1.3 Отношение к другим наукам

· 2 Металогика

o 2.1 Метатеоретические проблемы логики

o 2.2 Концепции логики

o 2.3 Проблемы аксиоматизации теории множеств

· 3 История логики

o 3.1 Логика в Древнем Китае

o 3.2 Индийская логика

o 3.3 Европейская и ближневосточная логика

§ 3.3.1 Логика античности

§ 3.3.2 Логика в Средневековье

§ 3.3.3 Логика в эпоху Возрождения и в Новое время

o 3.4 Современная логика

· 4 Основные понятия науки логики

· 5 Традиционная логика

o 5.1 Дедуктивное и индуктивное рассуждение в традиционной логике

o 5.2 Силлогистика

· 6 Классическая математическая логика

o 6.1 Аппарат математической логики

o 6.2 Пропозициональная логика

o 6.3 Логика предикатов

o 6.4 Исчисления и логические методы

o 6.5 Логическая семантика

o 6.6 Законы логики

o 6.7 Теория моделей

o 6.8 Теория доказательств

o 6.9 Теории логического вывода

· 7 Неклассические логики

o 7.1 Логики с неклассическим пониманием следования

o 7.2 Логики, отменяющие закон исключённого третьего

o 7.3 Логики, меняющие таблицы истинности

o 7.4 Логики, расширяющие состав высказывания

o 7.5 Модальная логика

o 7.6 Недедуктивные логические теории

o 7.7 Другие неклассические логики

· 8 Приложения логики

o 8.1 Приложения логики в анализе познавательных процедур

o 8.2 Приложения логики в методологии науки

o 8.3 Приложения логики в философии

o 8.4 Приложения логики в психологии

o 8.5 Приложения логики в лингвистике

o 8.6 Приложения логики в компьютерных науках

· 9 Примечания

· 10 Литература

o 10.1 Литература по истории логики

§ 10.1.1 Литература по китайской логике

· 11 См. также

12 Ссылки