Логика (рассказ).
Ло́гика (др.-греч. λογική — «наука о правильном мышлении», «способность к рассуждению» от др.-греч. λόγος — «логос», «рассуждение», «мысль», «разум», «смысл») — нормативная наука о законах логики и приемах интеллектуальной (мыслительной) познавательной деятельности
Поскольку новое знание получают посредством разума, логика также определяется как наука о формах и законах мышления. Так как мышление оформляется в языке в виде рассуждения, частными случаями которого являются доказательство и опровержение, логика иногда определяется как наука о способах рассуждения или наука о способах доказательств и опровержений. Поскольку мышление проявляется только в языке, то логика, исследуя законы мысли, обращается к языку как к единственному доступному ей материалу. Логика как наука изучает методы достижения истины в процессе познания опосредованным путём, не из чувственного опыта, а из знаний, полученных ранее, поэтому её также можно определить как науку о способах получения выводного знания.
В любой науке логика служит одним из основных инструментов. Логика является подразделом не только философии, но и математики, а булева алгебра — одной из основ информатики.
Основными разделами логики являются теория рассуждений (имеющая 2 варианта: теорию дедуктивных рассуждений и теорию правдоподобных рассуждений), металогика и логическая методология.
Содержание 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 Законы логики
7 Классическая математическая логика 7.1 Аппарат математической логики
7.2 Пропозициональная логика
7.3 Логика предикатов
7.4 Исчисления и логические методы
7.5 Логическая семантика
7.6 Теория моделей
7.7 Теория доказательств
7.8 Теории логического вывода 8 Неклассические логики 8.1 Логики с неклассическим пониманием следования
8.2 Логики, отменяющие закон исключённого третьего
8.3 Логики, меняющие таблицы истинности
8.4 Логики, расширяющие состав высказывания
8.5 Модальная логика
8.6 Недедуктивные логические теории
8.7 Другие неклассические логики 9 Приложения логики 9.1 Приложения логики в анализе познавательных процедур
9.2 Приложения логики в методологии науки
9.3 Приложения логики в философии
9.4 Приложения логики в психологии
9.5 Приложения логики в лингвистике
9.6 Приложения логики в компьютерных науках 10 См. также
11 Примечания
12 Литература 12.1 Исследования
12.2 Учебная и справочная литература
12.3 Литература по истории логики 13 Ссылки
Логика как наука