- •Введение
- •1 Логика: предмет, значение и типология
- •1.1 Объект и предмет логики
- •1.2 Значение логики
- •1.3 Типы логических учений
- •2 Общие законы логики
- •2.1 Сущность и виды законов логики
- •2.2 Закон тождества
- •2.4 Закон достаточного основания
- •В потому, что а.
- •2.3 Закон противоположности и исключённого третьего
- •3 Понятие
- •3.1 Определение и структура понятия
- •3.2 Виды понятий
- •3.3 Отношения между понятиями
- •3.4 Логические действия с понятиями по содержанию
- •3.5 Логические действия с понятиями по объёму
- •3.6 Логические действия с понятиями по содержанию и объёму
- •4. В обобщении нельзя использовать тождественные понятия.
- •5. Объемы всех понятий, используемых при обобщении, должны иметь общие элементы, чтобы обобщение было возможным.
- •4 Суждение
- •4.1 Определение и структура суждения
- •4.2 Виды суждений
- •S есть р.
- •S не есть р
- •S есть р.
- •S не есть р.
- •¬( S есть р).
- •4.3 Модальность суждений
- •(S не есть p) .
- •(S не есть p).
- •4.4 Виды сложных суждений
- •4.5 Отношения между видами суждений
- •4.6 Логические действия с суждениями
- •5.1 Основные понятия алгебры логики
- •5.2 Таблицы истинности
- •5.3 Равносильные формулы алгебры логики
- •5.4 Решение логических задач методами алгебры логики
- •Р исунок 16 – Переключательная схема конъюнкции
- •6 Умозаключение
- •6.1 Определение и структура умозаключения
- •6.2 Виды умозаключений: дедуктивные умозаключения. Простой категорический силлогизм
- •1. В силлогизме должно быть только три термина: меньший, средний и больший.
- •2. Средний термин должен быть распределен как минимум в одной из посылок.
- •3. Не распределенный в посылке крайний термин не может быть распределен в заключении.
- •3. Если одна из посылок отрицательна, то и заключение с необходимостью отрицательно.
- •4. Если одна из посылок частная или единичная, то и заключение с необходимостью является соответственно частным либо единичным.
- •6.3 Виды простого категорического силлогизма
- •6.4 Отношения между фигурами и модусами простого категорического силлогизма
- •6.5 Логические действия с видами простого категорического силлогизма
- •6.6 Сложные и сокращённые силлогизмы
- •6.7 Условные и разделительные силлогизмы
- •6.8 Индуктивные умозаключения
- •6.9 Традуктивные умозаключения
- •1. Переносимый признак должен быть закономерно связан с признаками, общность которых для данных объектов уже установлена.
- •7 Доказательство
- •7.1 Определение и структура доказательства
- •7.2 Виды и правила доказательства
- •7.3 Ошибки в процессе доказательства
- •Литература
- •Содержание
- •7 Доказательство 105
- •Логика Учебное пособие
1 Логика: предмет, значение и типология
1.1 Объект и предмет логики
Этимологически термин «логика» восходит к древнегреческому слову «λογοσ» (logos), означающему «мысль», «слово», «учение». Он многозначен: логикой могут отличаться не только мысли, но и поступки, и действия человека, развитие общества и культуры, связь знаков языка и т. д.
Логика – это философская наука о законах и формах теоретического мышления, о взаимосвязи указанных форм, об ошибках в процессе мышления и способах их преодоления.
Статус и роль любой науки в познании характеризуются, прежде всего, ее объектно-предметной областью.
Объектом науки в широком смысле является область действительности, на которую направлены исследовательские усилия ученых.
Предмет науки, в свою очередь, - это определенная сторона объекта, способствующая его качественно-количественному уточнению.
Предмет науки уточняет ее объект, выделяет ее в ряду других наук, исследующих данный объект.
Объект логики – человеческое мышление. Мышление является объектом и других разделов философии и наук: онтологии, физиология, психологии, генетика, кибернетика и др.
Сущность мышления, его происхождение, отношение его к материальному миру и его познавательные возможности изучает онтология. Физиология интересуется тем, как зависит мышление от состояния мозга, материального субстрата мысли. Психология изучает условия нормального развития и функционирования мышления, влияние на него социально-психологической среды. Генетика старается раскрыть тайны наследования детьми от родителей способностей к какой-либо деятельности. Ученые-кибернетики изучают технические возможности моделирования мышления на машинах.
Из всех сторон мышления прямое отношение к логике имеет его опо-средованность, т.е. способность переходить от старых знаний к новым, не обращаясь каждый раз непосредственно к опыту. Логика интересуется формой построения мыслей и отвлекается при этом от конкретной информации. Поэтому она называется формальной логикой. Основательную и систематическую разработку формальной логики впервые осуществил Аристотель. Его работы объединены под названием «Органон» (орудие знания). В конце 16 - начале 17 века английский ученый Фрэнсис Бэкон создал «Новый Органон» - учение об индукции, обнаружение причинных связей между явлениями окружающего мира посредством наблюдений и экспериментов.
Таким образом, предмет логики – это сложная система, объединяющая всеобщие, обеспечивающие истинность мышления условия, которые необходимо соблюдать независимо от содержания мыслей.
Предмет логики составляют:
1) формы теоретического мышления– понятие, суждение, умозаключение;
2) общие законы мышления, или принципы логики, называемые ее основными законами (к ним относятся законы тождества, исключенного третьего, противоположности и достаточного основания);
3) всеобщие методы науки, теоретического мышления в целом, такие как анализ, синтез, абстрагирование, обобщение и др.;
4) структурные законы и правила отдельных форм мысли, например, закон обратного отношения объема и содержания понятия, правила посылок и терминов, специальные правила фигур простого категорического силлогизма и т. д.;
5) язык логики как система специализированных символов для обозначения форм мысли и их связей;
6) обосновываемые в логике теоремы и определения;
7) логические ошибки, возможные в процессе мыслительной деятельности.
Любая наука о мышлении различает два уровня познания: эмпирический и теоретический.
Предметом эмпирического познания является непосредственно данная в восприятии реальность, которую можно наблюдать, над которой можно экспериментировать. Формами эмпирического познания являются: ощущение, восприятие и представление. Эмпирическое познание даёт представление о внешних отдельных свойствах и качествах мышления. Человек же стремиться к познанию глубинных свойств и сущностей вещей, закономерностей мира. Поэтому он прибегает к исследованию интересующих его проблем на абстрактно-теоретическом уровне. На этом уровне складываются такие формы теоретического познания как понятие, суждение и рассуждение (умозаключение).
Относительно каждой из форм теоретического познания в логике определен конкретный круг специфических логических проблем.
Для анализа понятия как логической формы теоретического познания такими проблемами являются правила и способы их определения и классификации, а также прояснение логических отношений между понятиями.
Анализ суждения как логической формы теоретического познания предполагает уточнение его логической структуры, прояснение логических условий его истинности в различных логически возможных ситуациях, а также определение логических отношений между суждениями.
Анализ рассуждения как логической формы теоретического познания сводится к выработке методов и средств контроля за логической корректностью доказательственных процедур в процессе интеллектуального общения и познания.
Особую роль в логике играет язык, поскольку это единственный инструмент, позволяющий в лаконичной, предельно краткой символической форме отобразить логическую структуру мысли и тем самым сделать возможной формализацию последующих логических операций– действий с рациональными формами мысли. Следовательно, язык обеспечивает главную научную цель логики – вывод одних логических форм из других согласно установленным в ней правилам и законам.