Основы логики
Логика – это наука, изучающая закономерности структуры и развития правильного мышления как процесса познавательной деятельности, осуществляемой с помощью языка. 

Мыслить логически — значит устанавливать истинность и ложность суждений, неопределенность и бессмысленность утверждений, находить связи между явлениями и внутренние причины явлений, уметь выдвигать новые идеи в процессе рассуждений. 

Главная цель логики заключается в установлении принципов и правил обоснования рассуждений в процессу познания действительности. Каждое рассуждение является процессом познания. Логика учит думать, аргументированно и правильно дискутировать, спорить. При изучении этой науки вырабатывается привычка думать правильно. 

FYI. Мнение. Михаил Васильевич Ломоносов: "для научного познания необходим природный рассудок, подкрепленный логикой, которая после грамматики, есть первая предводительница ко всем наукам"

Формы мышления
Структуры которые изучает логика - формы абстрактного мышления: понятие, суждение, умозаключение. 
  • Понятие — форма мышления, в которой отражаются существенные общие и отличительные признаки предмете или класса предметов. 
  • Суждение — форма мышления, в котором что-либо утверждается или отрицается о предметах, их свойствах или отношениях.
  • Умозаключение — форма мышления, с помощью которой из одного или нескольких суждений (посылок) по определенным правилам вывода получают заключение. Логическая форма — это способ связи элементов мысли, ее структура. Это способ не составная часть.

Логические формы:
  • Логическая форма понятий — это способ связи совокупности существенных признаков предметов (А) с классом самих предметов (Х), который можно выразить формулой ХА (Х). 
  • Логическая форма суждений — это способ связи понятий о предмете с понятиями о свойствах (признаках) предметов или об отношениях между предметами. 
  • Логическая форма умозаключений — это способ связи суждений.

Логические постоянные: 
  1. логические союзы (и, или, если…)
  2. кванторы, или кванторные слова которые указывают на количество (все, некоторые…)
  3. связки (имеет, есть, является) 

Логический закон
Логический закон — это закон, отражающий необходимые, существенные и устойчивые связи между мыслями в процессе рассуждения. В формальной логике изучается два типа законов:
  1. Законы, которые выражают обходимые общие требования к понятиям, суждениям, умозаключениям и логическим операциям с ними. (тождества, не против...)
  2. Законы, которые выражают логические формы (схемы, структуры) правильно построенных рассуждений, умозаключений и высказываний.


Правильные логические формы рассуждений — это такие, в которых всегда из истинных суждений с необходимостью получается новое истинное суждение. К наиболее общим требованиям, по которым можно судить о правильном мышлении человека, относятся следующие:
  1. требование определенности мышления
  2. требование последовательности мышления
  3. требование доказательности

Язык
Язык — это система знаков, выполняющая функцию формирования, хранения и передачи информации в процессе познания действительности и общения. Логика изучает формы мышления, мышление неразрывно связано с языком. 

Типы знаков:
  1. знаки-индексы, связанные с представляемыми или объектами как следствие с причинами (дым — это знак свидетельствующий о наличии огня)
  2. знаки-образы, являющиеся знаками, сами по себе несущими информацию о представляемых или объектах, поскольку находятся с обозначаемыми объектами в отношении подобия (карта местности, картина, чертеж)
  3. знаки-символы, не имеющие сходства с обозначаемыми предметами (знаки сигналы или знаки цифры) 

Язык логики не однороден. В наиболее общем виде можно выделить два его разновидности:
  1. язык логики высказываний, используемый для описания структуры высказываний, рассуждений, предложений.
  2. язык логики предикатов, используемый для описания внутренней структуры высказываний.

Неклассические логики
Логик много. О которые идет речь - формальная классическая логика, родоначальником которой является Аристотель. В современное время появилось множество вариантов неклассических логик. Некоторые из них: 
  • Многозначная логика — тип формальной логики, в которой допускается более двух истинностных значений для высказываний.
  • Конструктивная логика — это раздел современной логики, изучающий рассуждения о конструктивных объектах и процессах.
  • Интуиционистская логика — это раздел современной математической логики, имеющий своей логико-философской предпосылкой программу интуиционизма, которая рассматривает математику как совокупность «интуитивно убедительных» умственных построений.
  • Модальная логика — логика, в которой кроме стандартных логических связок, переменных и/или предикатов есть модальности (модальные операторы).
  • Релевантная логика — это раздел современной (неклассической) символической логики, который введён в качестве альтернативы классической символической логике.
  • Паранепротиворечивая логика — класс логических исчислений, в которых логический принцип «из противоречия следует все, что угодно», не имеет места.

Некоторые понятия логики

  • Истина — согласие познания с предметом. Истина всегда конкретна. Вопрос о общей истине глуп (Кант, Критика чистого разума: нельзя искать всеобщего признака истины познаний со стороны их содержания, ибо он противоречит самому себе). 
  • Познание – это процесс отражения действительности в человеческом сознании.
  • Правильность — это показатель соответствия рассуждения логическим законам и операциям мышления.

Некоторые направления философии

  • Стоицизм — их логика явилась основой направления математической логики — логики высказываний.
  • Патристика — доктринальная форма построения христианской культуры.
  • Схоластика — попытка дать логическое обоснование доктринальным формам христианской культуры.
  • Материализм — В основу универсума положено материальное начало. Под материальным началом понимается воздух, огонь, вода, атом, материал, алейрон и природа в целом.
  • Идеализм — Основу универсума составляет духовное начало – мировая воля, Бог, идея, дух. Порождением некоего духовного начала является человек.
  • Дуализм — Дуализм является устойчивым философским течением. Основу универсума составляют два самостоятельных начала: духовное и материальное, сознание и материя.

Некоторые значимые философы

  • Пьер Абеляр (1079-1142) — «Понимаю чтобы верить!» Разработал ряд вопросов в модальной логике.
  • Иоан Дунс Скотт (1266-1308) — «Противоречие влечет произвольное утверждение»
  • Уильям Оккам (ок 1285-1349) — Категорическое положение («бритва Оккама»): «Сущности не должны быть умножаемы сверх необходимости». Иными словами бесполезно делать посредством многого то, что может быть сделано посредством меньшего.
  • Иммануил Кант (1724-1804) — окончательно закрепил современную ему логику как формальную. Формальность — это не только сосредоточенность на структуре и схемах мышления, но и отвлечение внимания от содержания.
  • Георг Гегель (1770-1831) — Создатель диалектической логики.
  • Ян Лукасевич (1878-1956) — Разработал трехзначную логику и создал систему модальной логики.

Древнегреческие слова

В логику попало множество слов из древнегреческого языка. Спасибо древнегреческим мыслителям и в частности Аристотелю. Вот некоторые из них: 
  • Абстракция - теоретическое обобщение как результат абстрагирования.
  • Аналогия - подобие, равенство отношений, сходство предметов, явлений, процессов, величин и т. п.
  • Гипотеза - предположение или догадка: утверждение, предполагающее доказательство, но, в отличие от аксиом, постулатов, не требующих доказательств.
  • Дихотомия - способ логического деления класса на подклассы.
  • Дедукция - это логико-методологическая процедура, посредством которой осуществляется переход от общего к частному в процессе рассуждения.
  • Индукция - это познавательная процедура, посредством которой из сравнения наличных фактов выводится обобщающее их утверждение.
March 1, 2020