21. Возникновение и определение логики. Формальная, символическая, диалектическая логика.

Термин «логика» происходит от древнегреческого «logos», что означает «мысль», «слово», «разум», «закономерность».

Логика–этофилософскаянаукаозаконахиформахправильногомышления. Следует отметить, что правильным мышлением называют мышление ведущее к истине, а истина – это знание соответствующее действительности. Предметом изучения логики является абстрактное мышление как средство познания объективного мира. Элементами мышления выступают формы мышления.Логическаяформаили форма мысли – это структура, строение наших мыслей, то есть способ связи их составных частей. Переход от одной логической формы к другой определяется законами мышления.Законмышления– это необходимая, существенная, устойчивая, повторяющаяся связь между мыслями.Основныеформыабстрактногомышления-понятие,суждениеиумозаключение. Каждая из этих форм, а также основные законы правильного мышления будут рассматриваться в следующих темах.

Формальная логика проходит в своем развитии два основных этапа. Ее основателем является великий древнегреческий философ Аристотель, сформулировавший три из четырех основных законов правильного мышления. Логику, основанную Аристотелем, называют традиционной, или аристотелевской, логикой. Ее основным содержанием является силлогистика (теория вывода от общего к частному). Учение Аристотеля в Новое время получило дальнейшее развитие в трудах английского философа Ф. Бэкона, разработавшего теорию индукции (вывода от частного к общему). Второй основной этап становления формальной логики – развитие математической (символической) логики - начинается с 19 века, когда в логике стали широко применяться математические методы, использоваться формализованные языки. Математическая логика в эпоху всеобщей компьютеризации находит широкое применение в теории программирования.

22. Понятие - форма абстрактного мышления. Содержание и объем понятия.

Одной из форм абстрактного мышления является понятие. Понятие – это форма мышления, которая отражает предметы и явления в их самых существенных признаках и свойствах. Основными логическими приёмами формирования понятий являются анализ и синтез, сравнение, абстрагирование и обобщение. Всякое понятие имеет содержание и объём. Содержание понятия – совокупность отличительных признаков предмета, мыслимых в данном понятии. Объём понятия – совокупность предметов, которые обладают признаками, мыслимыми в содержании понятия. Выделяют пустые понятия (вечный двигатель, математический маятник и т.д.), единые и общие.

23. Общая характеристика суждений. Структура суждения: субъект, предикат, связка, квантор.

Второй формой абстрактного мышления является суждение (предложение). В нём отражаются объективные связи и отношения реального мира, например: «Иванов студент заочного факультета». Таким образом, суждение – форма мышления, в которой что-либо утверждается или отрицается о существовании, свойствах и отношениях предметов. Суждение может быть истинным и ложным. В его структуре выделяют субъект, предикат, связку и квантор. Субъект (S) – это та часть суждения, вкоторой отображается предмет мысли. Предикат (P) – это та часть суждения, в которой что-то говорится о субъекте. Отношения между субъектом и предикатом выражается связкой «есть», «не есть», «является», «не является» и др. Перед субъектом суждения иногда находится квантор («все», «ни один», «некоторые»), который указывает полностью или частично суждение выражает понятие субъекта.