Предмет и основные понятия логики 1. Краткая история логики. 2. Логика как наука. Объект логики. 3. Предмет и категориальный аппарат логики.

Античность Зенон (ок гг. до н.э.) Слово "логика" для обозначения науки о мышлении, о формах и законах его, ввел в самом начале III в. до н.э. основатель стоического направления в философии –Зенон из г. Китиона

Демокрит ( до н.э.). Создатель системы логики. Трактат "О логике, или Каноны", состоявшем из трех книг. Название "Каноны" означает "правила", "критерии". Свою логику Демокрит строит на эмпирической основе, поэтому он выступает как один из основателей индуктивной логики.

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

Платон ( до н.э.) Значительное место отводил в своих взглядах вопросам теории познания и логики. Он стремился образовать понятия и затем осуществить деление понятия на его виды. Излюбленным логическим приемом Платона была дихотомия, т.е. деление понятия "А" на "В" и "не-В" (например, животные делятся на позвоночных и беспозвоночных).

Основатель логики Аристотель ( гг. до н. э.) Основные труды "Категории "Об истолковании "Аналитики "Топика" "О софистических опровержениях Органон

Предмет логики основные формы мысли, их структурные особенности и зависимости, законы и наиболее распространенные ошибки, возможные при нарушении этих законов. Аристотель

Средние века Логика в Европе церковно школьная дисциплина, приспособленная к нуждам вероучения христианства, В арабских странах, в странах арабоязычной культуры логика сохраняет самостоятельное значение (Аль-Фараби, Ибн-Син, Ибн-Рушд и др.).

Период средневековья Длительный период средневековой схоластики в логике проявляется в детальной разработке различий ее языка, символики, ее техники. несхоластическая логика - Абеляр, У. Шервуд, П. Раме, И.Д. Скот, В. Бурли, У. Оккам, Ж. Буридан, Альберт Саксонский и др.

Период средневековья В рамках различения формального и фактического следования разрабатывалось учение о дедукции, способствовавшее аксиоматизации логики высказываний; Формировалась идея о "машинизации" мышления.

Период средневековья попытки практического использования логики: создание Альбертом Великим «робота» Р. Луллием «логической машины», Д. Бруно (потом и Б. Паскалем) «логики открытий» и т.п.,

Эпоха Возрождения Леонардо да Винчи, Г. Галилей своими разработками, своей логикой «естественного мышления» дали толчок для возрождения индукции

Новое время Ф. Бэкон ( ) Р. Декарт( ), выступили против аристотелевской логики, схоластизированной средневековьем. Они предприняли попытку создать логику открытий, позволяющую с помощью наблюдений, опыта, экспериментов отражать естественный мир и его свойства соответственно природе этого мира.

Новое время Г.В. Лейбниц ( ) считал, что логика дает другим наукам метод открытия и доказательства. Разработал принципы логики, систему логических модальностей, Ему приписывают открытие закона достаточного основания в логике. С именем Лейбница связывается формирование математический логики.

Новое время Единая линия истории логики как бы раздваивается на историю традиционной формальной логики и историю математической (символической) логики, называемой тогда еще и логистикой.

И. Кант ( ) предложил для преодоления ограниченности общей (формальной) логики создать новую логику (Кант назвал ее трансцендентальной), выясняющую возможность, безусловно, всеобщих и необходимых априорных истин.

Г. Гегель ( ) Создатель диалектической логики, логикой абсолютной идеи, т.е. идеалистической логикой.

Логика в России М.И. Каринский ( ) внес значительный вклад в разработку классификации умозаключений. Основной замысел его логической теории характеризуется стремлением построить аксиоматико-дедуктивную систему логики, исходя из основного отношения равенства (т.е. "тождества"); описать в ней дедуктивные и индуктивные умозаключения.

Логика в России Л.В. Рутковский - автор труда "Основные типы умозаключений" (1888) считал возможным признать равноправными с отношениями тождества и такие, как отношения сходства, сосуществования и др. Умозаключения делятся им на интенсивные (т.е. рассматриваемые в логике содержания) и экстенсивные (рассматриваемые в логике объема)

Современная логика С начала XX столетия формальная логика получает дальнейшее развитие. Возникла математическая логика, широко применившая метод математической формализации и специальный аппарат символов к определенному кругу логических операций. Представляют математическую логику Г. Фреге ( ), Б. Рассел ( ), Б. Аккерман ( ) и другие мыслители.

Современная логика Значительный вклад в разработку современной математической логики внесли наши отечественные ученые математики: А.П. Колмогоров, А.А. Марков, П.С. Новиков, М.В. Келдыш и др.

Определение логики Логика есть наука о законах и формах правильного мышления.

Специфика мышления Отражает действительность в обобщенных образах. Процесс опосредствованного отражения действительности. Мышление неразрывно связано с языком. Мышление процесс активного отражения действительности.

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

Формы абстрактного мышления Суждение представляет собой форму мышления, в которой что- либо утверждается или отрицается о предметах, их свойствах или отношениях. Суждение выражается в форме повествовательного предложения. Суждения бывают простыми и сложными.

Формы абстрактного мышления Умозаключение - это такая форма мышления, посредством которой из одного или нескольких суждений, называемых посылками, по определенным правилам получается заключение. Виды умозаключений и изучает логика.

Пример умозаключения Все металлы - вещества Железо - металл Железо - вещество Первые два суждения, которые находятся над чертой, называются посылками, а третье суждение называется заключением.

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

Задача формальной логики установить правила обеспечения стройности и последовательности истинного мышления.

Объект и предмет логики Объект логики как науки - абстрактное мышление. Предмет формальной логики изучает объективно сложившуюся структуру мыслительного процесса, установившиеся связи понятий и суждений при выведении нового знания в умозаключениях.

Управление мышлением осуществляется 1. со стороны содержания, т.е. предельно просто и всесторонне отражать основные признаки исследуемого объекта; 2. со стороны логической формы (структуры) нашей мысли, добиваясь ее определенности, непротиворечивости, последовательности и обоснованности.

Формальная логика позволяет отвлекаться от содержания объекта и концентрировать внимание только на формах, в которых протекает тот или иной мыслительный процесс.

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

Предмет логики составляют: 1. Законы, которым подчиняется мышление в процессе познания объективного мира. 2. Формы мыслительного процесса - понятия, суждения и умозаключения. 3. Методы получения нового выводного знания - сходства, различия сопутствующих изменений, остатков и другие. 4. Способы доказательства истинности полученных знаний: прямое и косвенное доказательство, опровержение и т.д.

Элементы науки логики принципы (основные законы), принимаемые или разделяемые этой наукой; методы, т.е. инструментарий данной науки; основные понятия (категории), т.е. "язык"; открываемые в рамках самой науки внутренние законы, положения - определения, или теоремы; ошибочные (неправильные) мыслительные структуры, просто ошибки.

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