Логика (рассказ).
Ло́гика (др.-греч. λογική — «наука о правильном мышлении», «способность к рассуждению» от др.-греч. λόγος — «логос», «рассуждение», «мысль», «разум», «смысл») — раздел философии, нормативная[1] наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых на логическом языке[источник не указан 60 дней]. Поскольку новое знание получают посредством разума, логика также определяется как наука о формах и законах мышления. Так как мышление оформляется в языке в виде рассуждения, частными случаями которого являются доказательство и опровержение, логика иногда определяется как наука о способах рассуждения или наука о способах доказательств и опровержений. Поскольку мышление выражается в языке, то логика, исследуя законы мысли, обращается к языку как к единственному доступному ей материалу, через который проявляет себя мышление[2]. Логика как наука изучает методы достижения истины в процессе познания опосредованным путём, не из чувственного опыта, а из знаний, полученных ранее, поэтому её также можно определить как науку о способах получения выводного знания.
В любой науке логика служит одним из основных инструментов[3]. Логика является подразделом не только философии, но и математики, а булева алгебра — одной из основ информатики.
Содержание 1 Сущность логики 1.1 Значение слова
1.2 Неформальная, формальная, символическая и диалектическая логика
1.3 Отношение к другим наукам 2 Металогика 2.1 Метатеоретические проблемы логики
2.2 Концепции логики
2.3 Проблемы аксиоматизации теории множеств 3 История логики 3.1 Логика в Древнем Китае
3.2 Индийская логика
3.3 Европейская и ближневосточная логика 3.3.1 Логика античности
3.3.2 Логика в Средневековье
3.3.3 Логика в эпоху Возрождения и в Новое время 3.4 Современная логика 4 Основные понятия науки логики
5 Традиционная логика 5.1 Дедуктивное и индуктивное рассуждение в традиционной логике
5.2 Силлогистика 6 Классическая математическая логика 6.1 Аппарат математической логики
6.2 Пропозициональная логика
6.3 Логика предикатов
6.4 Исчисления и логические методы
6.5 Логическая семантика
6.6 Законы логики
6.7 Теория моделей
6.8 Теория доказательств
6.9 Теории логического вывода 7 Неклассические логики 7.1 Логики с неклассическим пониманием следования
7.2 Логики, отменяющие закон исключённого третьего
7.3 Логики, меняющие таблицы истинности
7.4 Логики, расширяющие состав высказывания
7.5 Модальная логика
7.6 Недедуктивные логические теории
7.7 Другие неклассические логики 8 Приложения логики 8.1 Приложения логики в анализе познавательных процедур
8.2 Приложения логики в методологии науки
8.3 Приложения логики в философии
8.4 Приложения логики в психологии
8.5 Приложения логики в лингвистике
8.6 Приложения логики в компьютерных науках 9 См. также
10 Примечания
11 Литература 11.1 Исследования
11.2 Учебная и справочная литература
11.3 Литература по истории логики 12 Ссылки
Предмет и значение логики