Наука Черноскутов Ю.Ю. Логика. Краткий конспект

Логика. Краткий конспект

Возрастное ограничение: 12+
Жанр: Наука
Издательство: Проспект
Дата размещения: 21.02.2013
ISBN: 9785392103607
Язык:
Объем текста: 87 стр.
Формат:
epub

Оглавление

Тема 1. Предмет логики

Тема 2. Логика высказываний

Тема 3. Традиционная теория высказывания

Тема 4. Аристотелевский силлогизм (простой категорический силлогизм)

Тема 5. Логика предикатов

Тема 6. Правдоподобные (недедуктивные) рассуждения

Тема 7. Понятие

Тема 8. Основы аргументации

Примечание



Для бесплатного чтения доступна только часть главы! Для чтения полной версии необходимо приобрести книгу



Тема 3.
ТРАДИЦИОННАЯ ТЕОРИЯ ВЫСКАЗЫВАНИЯ


Существует класс рассуждений, которые логика высказываний исследовать не в состоянии.


Пример 3.1
Все хищники опасны.
Некоторые рыбы — хищники.
————
Следовательно, некоторые рыбы опасны.


Это рассуждение, справедливость которого интуитивно очевидна, не может быть формализовано в логике высказываний так, чтобы его корректность была обоснована как частный случай общего правила. Мы имеем три высказывания: скажем, р («Все хищники опасны»), q («Некоторые рыбы — хищники») и r («Некоторые рыбы опасны»), которые никак не связаны известными нам логическими союзами. По этой же причине мы не можем объяснить, пользуясь аппаратом логики высказываний, почему заключение не является логическим следствием из посылок в следующем рассуждении.


Пример 3.2
Все программисты — математики.
Иван — не программист.
————
Следовательно, Иван — не математик.


Происходит это из-за того, что заключение в этих примерах выводится на основании связей между терминами в посылках, причем некоторые термины регулируются словечками типа «все», «некоторый» и т. п. Поэтому чтобы исследовать закономерности, которым подчиняются подобные рассуждения, требуется углубление в структуру высказывания, что не делается в логике высказываний. В современной логике эти задачи решаются в рамках другой логической теории — логики предикатов, которая будет рассмотрена в теме 5. Здесь мы рассмотрим, как это делалось в традиционной аристотелевой логике.


3.1. КАТЕГОРИЧЕСКИЕ ВЫСКАЗЫВАНИЯ, ИХ СТРУКТУРА И ВИДЫ.


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


— субъект — понятие предмета или совокупности предметов, которым приписывается свойство (иначе: о котором нечто утверждается);


— предикат — свойство, приписываемое предмету (то, что утверждается о субъекте).


Субъект и предикат называются терминами высказывания, они образуют его содержание. Вообще говоря, слова «субъект» и «предикат», будучи калькой с латинских subjectum и praedicatum, могут быть переведены как «подлежащее» и «сказуемое». Именно так и происходит в грамматике. Однако при грамматическом анализе структуры предложения, в отличие от логического, помимо подлежащего и сказуемого, выделяются и другие элементы: определения, дополнения и т. д. При логическом анализе этого не делается, но все остальные элементы включаются в качестве составной части в субъект или в предикат. Можно сказать, что логический субъект образуется грамматической группой подлежащего, а логический предикат — грамматической группой сказуемого. Например, в высказывании


Ни один студент, не сдавший курсовую работу, не допускается к экзамену


грамматическим подлежащим будет «студент», но логическим субъектом — «студент, не сдавший курсовую работу». Аналогично, грамматическое сказуемое этого высказывания — «допускается», а логический предикат — «допускается к экзамену».


Итак, субъект и предикат составляют содержание высказывания. Что же касается формы, то она образуется следующими двумя элементами его структуры. Во-первых, это связка — то, что соединяет субъект и предикат в единое целое. Она выражается словами «есть», «является» и т. п. Когда мы просто соединяем два термина А и В, мы снова получаем термин АВ. Если, например, А — «футболист», а В — «лысый», то АВ — «лысый футболист». Это выражение обозначает некоторую совокупность предметов, но не высказывание, поскольку его нельзя оценить как истинное или ложное. Если же мы соединим термины А и В с помощью связки «есть», мы получим уже не сложный термин, но высказывание «А есть В», в нашем примере — «Футболисты являются лысыми». Впрочем, про него мы пока не можем ответить, истинно оно или ложно, поскольку непонятно, говорится ли здесь обо всех футболистах или их части. Не хватает еще одного элемента структуры. Этим элементом является кванторное слово (от лат. quantum — «сколько»), или просто квантор — он очерчивает тот объем субъекта, которому приписывается предикат. Добавив кванторное слово «некоторые» к нашему примеру, получим истинное высказывание:




Логика. Краткий конспект

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

29
Наука Черноскутов Ю.Ю. Логика. Краткий конспект

Наука Черноскутов Ю.Ю. Логика. Краткий конспект

Наука Черноскутов Ю.Ю. Логика. Краткий конспект

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

Внимание! Авторские права на книгу "Логика. Краткий конспект" (Черноскутов Ю.Ю.) охраняются законодательством!