Учебно-методический комплекс по дисциплине «логика» Учебно-методический комплекс (стр. 13 из 60)

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

К примеру "Солнце" – это имя, "Солнце греет" – предложение. Слово "есть" – функтор, образующий предложение из двух других предложений и т.д.

Имеются функторы, преобразующие имена в предложения, предложения в предложения, имена в имена и предложения в имена. Имеются также более сложные функторы, преобразующие одни функторы в другие.

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

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

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

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

Именами являются языковые выражения, подстановка которых в форму "S есть Р" вместо переменных S и Р дает осмысленное предложение.

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

Предложение (высказывание) – это языковое выражение являющееся истинным или ложным.

Высказываниями являются, например, выражения "Ниобий – это инертный газ", "5 есть простое число", "Если металлический стержень нагревается, его длина увеличивается". Первое из этих высказываний ложно, два других истинны.

Функтор – это языковое выражение, не являющееся ни именем, ни высказыванием и служащее для образования новых имен или высказываний из уже имеющихся.

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

Выражения "... и ...", "... или ...", "либо ..., либо ...", "если ..., то ...", "..., если и только если ..." – это функторы, дающие из двух высказываний новое высказывание ("Идет снег и дует ветер", "Мы идем в кино или мы остаемся дома", "Либо Киев стоит на Днепре, либо Киев стоит на Сене", "Если имеется причина, то имеется и следствие", "Число делится на 6, если и только если число делится на 2 и на 3" и т.п.).

Выражение "неверно, что ..." (или просто "не"), не будучи именем или высказыванием, позволяет получить из одного высказывания другое высказывание (позволяет, к примеру, из высказывания "Все ученые рассеянны" получить высказывание "Неверно, что все ученые рассеянны", или "Не все ученые являются рассеянными").

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

В дальнейшем из всех возможных функторов особое внимание будет уделено именно пропозициональным функторам.

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

Логика предикатов – основной раздел современной логики, в котором описываются выводы, учитывающие внутреннюю (субъектно-предикатную) структуру высказываний.

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

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

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

В логике предикатов – в дополнение к средствам логики высказываний – вводятся логические операторы

("для всех") и ("для некоторых", или "существует"), называемые кванторами общности и существования соответственно. Для выявления субъектно-предикатной структуры высказываний вводится бесконечный перечень индивидных переменных: х, у, z, ..., х¹, у¹, z¹,..., представляющих различные объекты, и бесконечный перечень предикатных переменных: Р, Q, R, ..., Р¹, Q^l, R¹, ..., представляющих свойства и отношения объектов. Индивидные переменные принимают значения в произвольной (непустой) области; наряду с этими переменными могут вводиться индивидные константы, или имена собственные.

Запись (

x) Р(х) означает "Всякий х обладает свойством Р", (

х) Р(х) – "Некоторые х обладают свойством Р", ( x) Q(x, у) – "Существует х, находящийся в отношении Q с у" и т.п.

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

Тема 3. Основные законы правильного мышления.

1. Логический закон.

2. Закон непротиворечия.

3. Закон исключенного третьего.

4. Логические законы тождества, двойного отрицания и другие.

Логика высказываний является теорией тех логических связей высказываний, которые не зависят от внутреннего строения (структуры) простых высказываний.

Логика высказываний исходит из следующих двух допущений:

1. всякое высказывание является либо истинным либо ложным (принцип двузначности);

2. истинностное значение сложного высказывания зависит только от истинностных значений входящих в него простых высказываний и характера их связи.

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

Согласно принятым определениям:

· конъюнкция истинна, когда оба входящих в нее высказывания истинны;

· дизъюнкция истинна, когда хотя бы одно из входящих в нее высказываний истинно;

· строгая дизъюнкция истинна, когда одно из входящих в нее высказываний истинно, а второе ложно;

· импликация истинна в трех случаях: ее основание и следствие истинны; основание ложно, а следствие истинно; и основание, и следствие ложны;

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

· отрицательное высказывание истинно, когда отрицаемое высказывание ложно, и наоборот.

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

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