4. Способы употребления знака, языка, семиозиса. Их учет в коммуникации; их значение для взаимопонимания людей.

Логика использует в своих построениях два типа искусственных языков: язык логики высказываний и язык логики предикатов.

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

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

1. Конъюнкция – это логическая операция, образующая сложное высказывание из двух высказываний, объединенных с помощью логического союза «и». В алфавите языка логики предикатов знак конъюнкции обозначается, как «л».

2. Дизъюнкция – это логическая операция образующая сложное высказывание из объединения двух высказываний с помощью логического союза «или». В алфавите языка логики предикатов знак дизъюнкции обозначается, как «V». В классической логике различают два типа дизъюнкции: строгую и нестрогую.

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

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

3. Импликация – логическая операция, образующая сложное высказывание из двух высказываний, посредством логической связки, соответствующей союзу «если …. то …». Импликация обозначается символом «– >».

4. Эквиваленция – это логическая операция сходная с импликацией. Часто эквиваленцию называют строгой импликацией. Эквиваленция объединяет суждения в сложные с помощью логического союза «если и только если., то.». В языке логики предикатов имеет следующий вид: «=».

5. Отрицание – логическая операция, с помощью которой из одного высказывания порождается новое высказывание, которое будет называться отрицанием исходного. В языке логики предикатов отрицанию соответствует символ «]». Соответствует союз «неверно, что …».

Тема 2. Логическое учение о понятии.

1. Имя, предикатор и понятия как разные способы употребления слова или словосочетания.

И́МЯ, в логике — языковой знак (выражение), называющий индивидуальный предмет (собственное имя) или любой предмет из некоторого класса (общее имя). Предметом имени (его денотатом (см. ДЕНОТАТ)) может быть вещь, свойство, отношение и т. п.

1. Имена - это слова или словосочетания, обозначающие какой-либо предмет.

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

2. Предикаторы - слова и словосочетания, обозначающие свойства предметов или отношения между предметами (например, “порядочный”, “синий”, “электропроводный”, “есть город”, “меньше”, “есть число”, “есть планета” и др.).

А) Знаки свойств - характеристики отдельных предметов ( синий, горький, пьяный, шумный).

Б) Знаки отношений - связь между двумя и более предметами (больше чем, брат, красивее чем)

В) Знаки признаки - указывают на наличие или отсутствие характеристик предмета (являться больным, не являться умным).

Число имен, к которым относится предикатор, называется его местностью.

Предикаторы бывают одноместные и многоместные. Одноместные предикаторы обозначают свойства, присущие отдельным предметам (например, “талантливый”, “горький”, “большой”, «лед холодный»). Многоместные предикаторы обозначают (выражают) отношения между двумя и более предметами, называются многоместными.

Двухместными предикаторами являются, например, «больше», «любить», «мать» и т. д., «Диаметр Венеры больше диаметра Меркурия».

Трехместный предикатор: «Город Волгоград находится между городами Саратов и Астрахань».

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

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

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

Процесс образования понятия естественно описывается в терминах гомоморфизма; разбивая интересующее нас множество объектов на классы «эквивалентных» в каком-либо отношении элементов (то есть игнорируя все различия между элементами одного класса, не интересующие нас в данный момент), мы получаем новое множество, гомоморфное исходному (т. н. фактормножество), по выделенному нами отношению эквивалентности. Элементы этого нового множества (классы эквивалентности) можно мыслить теперь как единые, нерасчленяемые объекты, полученные в результате «склеивания» всех неразличимых в фиксированных нами отношениях исходных объектов в один «комок». Эти «комки» отождествлённых между собой образов исходных объектов и есть то, что мы называем понятиями, полученными в результате мысленной замены класса близких между собой представлений одним «родовым» понятием.

При рассмотрении семантического аспекта проблемы понятия необходимо различать понятие как некоторый абстрактный объект и называющее его слово (являющееся вполне конкретным объектом), имя, термин. Объёмом понятия называется та самая совокупность «склеиваемых» в это понятие элементов, о которой сказано выше, а содержанием понятия — перечень свойств (признаков), на основании которых производилось это «склеивание». Т. о., объём понятия — это денотат (значение) обозначающего его имени, а содержание — концепт (смысл), который это имя выражает. Чем обширнее набор признаков, тем уже класс объектов, удовлетворяющих этим признакам, и наоборот, чем уже содержание понятия, тем шире его объём; это очевидное обстоятельство часто именуют законом обратного отношения.

Формальнологическую проблематику, связанную с теорией понятия, можно изложить, опираясь на хорошо разработанный аппарат исчисления предикатов (см. Логика предикатов). Семантика этого исчисления такова, что им легко описывается субъектно-предикатная структура суждений, рассматривавшихся в традиционной логике (субъект, то есть подлежащее, — то, о чём говорится в предложении, выражающем данное суждение; предикат, то есть сказуемое, — то, что говорится о субъекте), при этом возможны далеко идущие, хотя и вполне естественные, обобщения. Прежде всего допускается (как и в обычной грамматике) более одного субъекта в предложении, причём (в отличие от грамматических канонов) роль субъектов играют не только подлежащие, но и дополнения — «объекты»; в роли предикатов фигурируют не только собственно сказуемые (в том числе выраженные многоместными предикатами, описывающими отношения между несколькими субъектами), но и определения. Обстоятельства и обстоятельственные обороты в зависимости от их грамматического строения всегда можно отнести к одной из этих двух групп (субъекты и предикаты), а пересмотр всего словарного запаса любого языка, «мобилизуемого» на выражение понятия, показывает, что он весь распределяется на эти две категории (количественные числительные, а также слова типа «всякий», «любой», «некоторый», «существует» и т. п., не попавшие в это распределение на два класса, играют в естественном языке роль кванторов, позволяющих образовывать и отличать друг от друга общие, частные и единичные суждения). При этом субъекты (выражаемые посредством т. н. термов языков, основанных на исчислении предикатов) и предикаты выступают как имена понятий: вторые самым буквальным образом, а первые, будучи переменными, «пробегают» некоторые «предметные области», служащие объёмами понятий, и если они постоянные (константы), то являются именами собственными, обозначающими конкретные предметы из этих предметных областей. Т. о., предикаты — это содержания понятий, а классы объектов, на которых эти предикаты истинны, — объёмы; что касается термов, то они являются либо родовыми именами для произвольных «представителей» некоторых понятий, либо именами конкретных представителей. Иными словами, вся формальнологическая проблематика, связанная с теорией понятия, оказывается фрагментом исчисления предикатов. Так, закон обратного отношения оказывается перефразировкой тавтологии (тождественно-истинной формулы) логики высказываний А & В É ù A (здесь & — знак конъюнкции, É — знак импликации) или её обобщения из логики предикатов "xC (x) É С (х)(" — квантор всеобщности).