Логика
Логика является основой Мышления 1. Через математическую логику она «втянута» в Мышление 2, через нить связывания она включена в Мышление 3. В сущности, от времен Аристотеля и до наших дней логика — единственный вполне надежный интеллектуальный инструмент, созданный Человечеством: «Отбросьте все невозможное, тогда оставшееся, каким бы невероятным оно не казалось, будет истиной».
Если миф придает чему-либо смысл, то логика этому «чему-либо» придает форму.
>Логика определяется как наука о формах и законах правильного мышления. Поскольку мышление оформляется в языке в виде рассуждения, частными случаями которого являются доказательство и опровержение, логика иногда определяется как наука о способах рассуждения или наука о способах доказательств и опровержений.
>Логика как наука изучает способы достижения истинны в процессе познания опосредованным путём, не из чувственного опыта, а из знаний, полученных ранее, поэтому её также можно определить как науку о способах получения выводного знания
>Основная цель (функция) логики всегда оставалась неизменной: исследование того, как из одних утверждений можно выводить другие.
>Предполагается, что вывод зависит только от способа связи входящих в него утверждений и их строения (от структуры, т. е. формы, синтаксиса), а не от их конкретного содержания (семантики).
Неформальная логика— исследование аргументации в естественном языке. Одной из главных задач её является исследование логических ошибок. Джонсон и Блэр (1987) определяют неформальную логику как «ответвление логики, задачей которой является разработка неформальных стандартов, критериев и процедур для анализа, интерпретации, оценки, критики и построение аргументации в повседневном дискурсе».
Символическая логика изучает символические абстракции, которые фиксируют формальную структуру логического вывода.
Диалектическая логика— наука о мышлении, которая даёт знание о способе рассуждения, расширяющем возможности формально-логического вывода. Здесь понятие логики употребляется как в собственном логическом, так и в метафорическом смысле. Диалектическое рассуждение учитывает законы формальной логики. Вместе с тем, осуществляет анализ динамики перехода понятий в свою противоположность, допускает, что противоположности совпадают, ориентируется на законы диалектики.
Трёхзначная логика была исторически первой многозначной логикой, и является простейшим расширением двузначной логики. Перечень истинностных значений трёхзначной логики помимо «истинно» и «ложно» включает также третье значение, которое как правило трактуется как «неопределено», «неизвестно» или «ошибочно».