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

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

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

Понятие — форма мысли, в которой выделяются и обобщаются предметы по их существенным признакам.

Содержание понятия — совокупность существенных признаков, присущих определенному классу предметов.

Признак— все то, в чем предметы сходны друг с другом или отличаются один от другого.

Объем понятия — класс предметов, выделяемых и обобщаемых на основе совокупности существенных признаков.

Часть объема — совокупность элементов объема (подкласс), которая обладает каким-то особым признаком, отличающим ее от других.

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

Закон обратного отношения между объемом и содержанием — соотношение, согласно которому при увеличении содержания понятия уменьшается его объем, и наоборот.

Единичное понятие — понятие, в объеме которого ровно один элемент.

Общее понятие — понятие, в объеме которого более одного элемента.

Собирательное понятие выделяет в качестве элементов своего объема совокупности предметов.

Несобирательное понятие выделяет в качестве элементов своего объема отдельные предметы.

Конкретное понятие — понятие, элементами объема которого являются предметы, факты, события.

Абстрактное понятие — понятие, элементами объема которого являются свойства и отношения, мыслимые отдельно от предметов.

Отношение совместимости между понятиями устанавливается тогда, когда у них есть общие элементы объема.

Отношение несовместимости между понятиями имеет место тогда, когда у них нет общих элементов объема.

Эквивалентность— вид совместимости, при котором объемы понятий полностью совпадают.

Пересечение, или перекрещивание — вид совместимости, при котором объемы понятий частично совпадают.

Подчинение — вид совместимости, когда все элементы объема одного понятия суть элементы объема второго, но не наоборот.

Противоречие — вид несовместимости, при котором несовместимые понятия в сумме исчерпывают весь родовой объем.

Противоположность — вид несовместимости, при котором несовместимые понятия не исчерпывают весь родовой объем и находятся по содержанию на разных его полюсах (антонимы).

Соподчинение— вид несовместимости, когда два понятия, не исчерпывая весь родовой объем, являются видами данного рода.

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

Обобщение понятия — логическая операция, противоположная ограничению.

Деление понятий — логическая операция разбиения объема понятия на непересекающиеся части.

Определение— логическая операция раскрытия содержания понятия или придания смысла некоторому выражению или термину.

Суждение — это форма мысли, в которой нечто утверждается илиотрицается( свойство предмета, действие, наличие некоторой ситуации, отношение между предметами, существование предмета).

Субъектом суждения называется понятие о предмете суждения, а предикатом суждения — новая информация, то, что утверждается или отрицается о предмете суждения. Субъект и предикат называютсятерминами суждения.

Основной логической характеристикой сужденияявляется егоистинностная характеристика— каждое суждение является либо истинным, либо ложным и этим отличается от других форм мысли.

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

Объединенная классификация простых атрибутивных суждений: (А) общеутвердительные, (Е) общеотрицательные, (I) частноутвердительные и (О) частноотрицательные. Единичные суждения в традиционной логике приравниваются к общим.

Реляционные, или суждения об отношениях обладают особыми свойствами. Эти свойства суть: (1) рефлексивность, (2) симметричность и (3) транзитивность.

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

Основные логические союзы: (1) конъюнкция, (2) слабая дизъюнкция, (3) сильная дизъюнкция, (4) импликация, (5) эквиваленция и (6) отрицание. Истинностные значения логических союзов задаются определением. Истинностные значение сложных суждений устанавливают при помощи таблиц истинности, для построения которых нужно знать определения перечисленных логических союзов ( связок).

Отношения между суждениями делятся на две группы: (а) совместимости и (б) несовместимости. Суждения называются совместимыми, если они могут быть одновременно истинными и несовместимыми, если имеет местообратное.

Совместимостьмежду суждениями бывает трех видов:

(1)эквивалентность, (2) подчинение, (3) частичная совместимость.

Несовместимость между суждениями бывает двух видов:

(1) противоположность и (2) противоречие.

Отношения между простыми суждениями устанавливаются пологическому квадрату.

Отношения между сложнымисуждениямиустанавливаются сравнением их таблиц истинности.

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

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

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

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

Непосредственное умозаключение — дедуктивный вывод из одной посылки.

Превращение и обращение — основные виды непосредственных умозаключений.

Противопоставление предикату и противопоставление субъекту — производные виды непосредственных умозаключений.

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

Термины силлогизма — понятия, между которыми, согласно правилам, устанавливается связь, обеспечивающая дедуктивный вывод. В силлогизме различают три термина — больший, меньший и средний.

Фигуры силлогизма —разновидности силлогизма, различающиеся положением среднего термина в посылках. Существует четыре фигуры силлогизма.

Модусы силлогизма — разновидности силлогизма по каждой фигуре, которые различаются типом суждений (А, Е, I, О), входящих в их состав. Модусы подразделяются па правильные и неправильные.

Общие правила силлогизма — три правила терминов и четыре правила посылок, соблюдение которых гарантирует истинность заключения при истинности посылок.

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

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

Полная индукция —индуктивное умозаключение, в посылках которого перечислены все элементы класса, о котором делается вывод. Полная индукция дает достоверное заключение.

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

Популярная индукция — умозаключение путем простого перечисления..

Научная индукция — индуктивные умозаключения, упорядоченные согласно определенным правилам.

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

Строгая аналогия — умозаключение, в котором перенос признака с одного предмета (системы) на другой опирается на отношение изоморфизма или гомоморфизма. Строгая аналогия дает достоверное знание.

Каноны Милля — индуктивные методы установления причинных связей между объектами. Существует четыре таких метода: метод различия, метод сходства, метод сопутствующих изменений и метод остатков.

Аргументация — обоснование какого-либо суждения посредством других суждений.

Тезис аргументации — суждение, истинность или ложность которого подлежит обоснованию.

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

Демонстрация— рассуждение, которое показывает связь аргументов с тезисом.

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

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

Доказательство и опровержение — разновидности строгой аргументации.

Подтверждение и критика — разновидности нестрогой аргументации.

Прямая аргументация — тип обоснования, при котором аргументы и демонстрация непосредственно обращены к тезису.

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

Сведение к абсурду — разновидность косвенной аргументации.

Метод исключения альтернатив — разновидность косвенной аргументации.

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

 

 

РАЗДЕЛ 5. Методические указания для выполнения контрольных работ

Контрольная работа выполняется в форме реферата (4-6 машинописных страниц) по вопросу к зачету, соответствующему порядковому номеру фамилии студента в списке группы в журнале. Для выполнения контрольной с оценко «удовлетворительно» достаточно воспользоваться одним-двумя учебниками из списка основной литературы; для более высокой оценки — воспользовотаься также дополнительной литературой. Студенты, претендующие на самые высокие баллы (от 93 до 100), должны самостоятельно (вне аудиторных занятий) освоить тему «Классическая логика предикатов» и уметь строить аналитические таблицы для определения общезначимости формул.

⇐ Предыдущая12345

Поделиться: