Экзамен зачет учебный год 2023 / !

1.Логика (от логос -понятие, разум, рассуждение): объективная логика- закономерности в изменении и развитии вещей объективного мира; субъективная логика - особые закономерности в связях и развитии мыслей; логика как наука - наука о закономерностях в связях и развитии мыслей.

Абстрактное мышление - опосредованное и обобщенное отражение мира в сознании человека.

Логические термины выражают наиболее общие связи и характеристики объективной действительности, а также наиболее общие связи и характеристики мыслей.

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

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

По типам л.ф. мысли делятся на классы: понятия, суждения, умозаключения.

Понятие - мысль, в которой обобщены в класс и выделены из некоторого множества предметы на основе системы признаков, общей только для этих выделенных предметов.

Суждение - мысли, в которых утверждается наличие или отсутствие каких-либо положений дел.

Умозаключение - процесс получения знания, выраженного в суждении, из других знаний, тоже выраженных в суждениях.

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

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

2.Формальная логика создавалась в Древней Греции в 6-4 вв до н.э, немного позже фрагменты логической науки возникли независимо в Древней Индии. Греческая логика > Западная и Восточная Европа, Ближний Восток. Индийская > Китай, Япония, Тибет, Монголия, Цейлон, Индонезия.

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

Древняя Греция: Пармеид, Зенон Элейский, Демокрит, Сократ, Платон, Аристотель (4 век до н.э).

1)Аристотель впервые обстоятельно систематизировал логические формы и правила мышления. Сочинения - “Категории”, “Об истолковании”, “Первая аналитика”, “Вторая аналитика”, “Топика”, “О софистических опровержениях”. Впоследствии были объединены под общим названием “Органон” (орудие познания).

2)Стоики (4 - 2 вв до н.э) в Др Греции.

В Риме - Цицерон, Квинтилиан.

Арабы - Аль Фараби.

Средневековая логика - схоластичекая. Расцвет - 14 век, Уильям Оккама, Уолтер Берли, Альберт Саксонский.

Эпоха Возрождения и Новое Время. Труд Фрэнсиса Бэкона “Новый Органон” - основы индуктивных методов, усовершенствованных позже Джоном Стюартом Миллем. > методы установления причинных связей между явлениями (методы Бэкона-Милля).

“Логика Пор-Рояля” - Николь, Арно создали логическое учение, основанное на методологических принципах ученого Декарта.

Логика, основанная на учении Аристотеля, во многом дополненная, развитая и отчасти искаженная, существовала до начала 20 века. Она называется традиционной формальной логикой.

В начале 20 века произошла своеобразная научная революция, связанная с широким применением для исследования отношений между мыслями по логическим формам методов так называемой символической (математической) логики > идеи немецкого ученого Лейбница (17 век). Первым капитальным трудом по символической логике Рассела и Уайтхеда “Principia Mathematica”. В России символическую логику развивали Бочвар, Гливенко, Жегалкин, Колмогоров, Марков, Новиков, Шестаков и пр.

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