??22!!!Семантика логических знаков.Таблица истинности. Семантика Логическая

— раздел логики (металогики), ис­следующий отношение языковых выражений к обозначаемым объектам и выражаемому содержанию. Проблемы семантики об­суждались еще в античности, однако в качестве самостоятельной дисциплины она стала оформляться на рубеже XIX—XX вв. благо­даря работам Ч. Пирса, Г. Фреге, Б. Рассела. Значительный вклад в разработку проблем С. л. внесли А. Тарский, Р. Карнап, У. Куайн, Дж. Кемени, К. И. Льюис, С. Крипке и др. В течение длительного времени С. л. ориентировалась преимущественно на анализ фор­мализованных языков, однако в последние 20 лет все больше исследований посвящается естественному языку. В С. л. традиционно выделяют две области — теорию референции (обозначения) и теорию смысла. Теория референции исследует от­ношение языковых выражений к обозначаемым объектам, ее ос­новными категориями являются: «имя», «обозначение», «выполни­мость», «истинность», «интерпретация», «модель» и т. п. Теория ре­ференции служит основой теории доказательств в логике. Теория смысла пытается ответить на вопрос о том, что такое смысл языко­вых выражений, когда выражения являются тождественными по смыслу, как соотносятся смысл и денотат и т. п. Значительную роль в С.л. играет обсуждение семантических парадоксов, решение кото­рых является важным критерием приемлемости любой семантичес­кой теории.

Таблицы истинности в методичке.

23.!!??Метод установления значений истинности составных высказываний.методы установления общезначимости. 1. Метод построения истинностных таблиц.

2. Метод “от противного”, который основан на решении логических уравнений. Понятие “логическое уравнение”— это понятие метаязыка.

Определение.

Будем понимать под логическим уравнением запись вида ₁=₂, где ₁ и ₂ — формулы расширенного языка логики высказываний.

Решить логическое уравнение означает найти все те наборы истинностных значений пропозициональных переменных, входящих хотя бы в одну из формул ₁ или ₂, при которых имеет место равенство значений формул ₁ и ₂.

В математике сложилось так, что знак “=” в одних случаях используется как для обозначения равенства объектов, так и для обозначения равенства значений этих объектов. Мы уже применили знак “=” для обозначения равенства (посимвольного совпадения) слов, поэтому запись ₁=₂ может означать, что ₁ и ₂ — одна и та же формула. Чтобы не вводить непривычных обозначений, мы используем “=” также и в записи уравнений. Таким образом, всякий раз необходимо из контекста определять, что обозначает знак “=”.

Замечание (сведения для решения “содержательных задач”).

Подчеркнем еще раз, что часто в литературе по формальной логике как синоним для языка нулевого порядка используется понятие “язык логики высказываний”. “Правильные слова” этого языка — формулы — служат для обозначения высказываний, являющихся семантическими единицами из которых строятся рассуждения в философской (неформальной) логике. Высказывание — предложение, выражающее определенное суждение, т.е. выражающее мысль о наличии определенного положения дел. Всякое высказывание истинно тогда и только тогда, когда описываемое в нем положение дел имеет место в действительности, в противном случае оно ложно. Кстати, именно этот факт был положен в основу пропозициональной логики, только множество из двух метасимволов И и Л определяют “множество смыслов” в семантике языка нулевого порядка (или языка логики высказываний). Высказывания бывают простые и сложные.

Для формализации простых высказываний используют атомы (элементарные формулы языка нулевого порядка, описанные в п.1 определения формул). А для сложных высказываний — формулы языка нулевого порядка, получаемые по правилам, описанным в п.2 и п.3 определения формул. Отсюда следует, что логические связки , &, , ,  (логические символы языка нулевого порядка) служат соответственно для обозначения союзов, с помощью которых простые высказывания образуют сложные: “неверно, что...”либо просто “не”, “и”, “или”, “если..., то...”, “если и только если..., то...” либо “тогда и только тогда”.

??24!!классификация высказываний с точки зрения их формальной структуры и значений истинности. Форма́льная ло́гика — конструирование и исследование правил преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий. В истории философии — отдельный раздел или направление логики конца XIX—начала XX века. Иногда путают с символической, или математической логикой.

Другое направление в логике — неформальная логика.

??25!!!!понятие логического следования.отношение логического следования и общезначимые формулы. Основная задача логики – систематизация правил, позволяющих из имеющихся утверждений выводить новые.

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

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

Будучи исходным, понятие логического следования не допускает точного определения. В частности, описание его с помощью слов «видимо», «вытекает» и т.п. содержит неявный круг, поскольку последние являются синонимами слова «следует». Понятие следования обычно характеризуется путём указания его связей с другими логическими понятиями, и прежде всего с понятиями логического закона и модели.

Из высказывания А логически следует высказывание В, когда импликация «если А, то В» является частным случаем закона логики.

Например, из высказывания «Если натрий металл, он пластичен» логически вытекает высказывание «Если натрий не пластичен, он не металл», поскольку импликация, основанием которой является первое высказывание, а следствием второе, представляет собой частный случай логического закона контрапозиции.

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

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

??26!!техника доказательства(опровержения)утверждений о логическом следовании.

Опровержение - доказательство ложности какого-либо тезиса или логическая операция, направленная на разрушение доказательства путем установления ложности ранее выдвинутого тезиса. Опровержение отличается своим отношением к выдвинутому тезису: оно является как бы зеркальным отображением подтверждения тезиса. Например, существовало утверждение: «Нельзя переплыть на плоту через Тихий океан». Норвежский ученый Тур Хейердал опроверг это утверждение, переплыв со своими спутниками Тихий океан на плоту. Или выдвинуто утверждение: «Данное лицо принимало непосредственное участие в совершении преступления». Однако установление факта, что оно в момент совершения преступления находилось в другом месте (имело алиби), является доводом, опровергающим данный тезис (так как одно и то же лицо не может находиться одновременно в разных местах).

С помощью опровержения может доказываться ложность не только отдельного положения, но и несостоятельность доказательства в целом. Опровержение доказательств может быть направлено: 1) против тезиса; 2) против аргументов; 3) против демонстрации (формы доказательства).

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

Основные виды опровержения тезиса:

а) прямое опровержение тезиса. Это достигается разрушением выставленного тезиса фактами, новыми положениями, законами науки (фактическое лишение основания);

б) косвенное апагогическое опровержение тезиса. Выдвигается антитезис и доказывается его истинность. Тезис, таким образом, опровергается косвенным путем через подтверждение антитезиса;

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

??27!!!!правила вывода логики высказываний,их значение.

???28!!!применение теории и техники логики высказываний в анализе аргументов.

29!!!общая характеристика полемики.виды полемики. Полемика – вид спора, в рамках которого основные усилия сторон направлены на утверждение (победу) своей позиции относительно обсуждаемого предмета. Отметим обличительные черты полемики.1)основная задача, которую решают полемизирующие стороны, – утверждение своей позиции. 2) участвующие в полемике стороны более, чем в дискуссии, вольны в выборе средств спора, его стратегии и тактики. В полемике допускается использование большего числа корректных приемов, таких, как захват инициативы, внезапность в использовании имеющихся в распоряжении спорящих доводов, в том числе и психологических, навязывание своего сценария спора и т. п. Вместе с тем существует ряд моментов, роднящих полемику и дискуссию: наличие определенного предмета спора, содержательная связность, детерминированная открытостью к аргументам другой стороны и очередностью выступлений спорящих, недопустимость использования некорректных логических и психологических приемов, нарушение этических норм.

типы полемики.

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

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

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

В зависимости, от присутствия или отсутствия посторонних при полемике она подразделяется:

• на регламентированные полемики (происходящие в соответствии с процессуальным кодексом);

• хаотичные (процессуальные нормы могут и не соблюдаться);

• публичные (приаудиторные — когда полемика происходит в присутствии третьих лиц);

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

30!!!дискуссия как качественно высший тип полемики. Дискуссия (от лат. discussio — рассмотрение, исследование) — обсуждение какого-либо спорного вопроса, проблемы. Важной характеристикой дискуссии, отличающей её от других видов спора, является аргументированность. Обсуждая спорную (дискуссионную) проблему, каждая сторона, оппонируя мнению собеседника, аргументирует свою позицию.

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

Групповая дискуссияВ психологии метод групповой дискуссии (групповая дискуссия) используется как метод групповой психотерапии. Члены терапевтической группы общаются между собой (ведут спор) и в ходе этого особым образом организованного общения разрешают свои психологические проблемы.

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

Аргументированность дискуссииВ логической теории и теория аргументации дискуссия исследуется не со стороны её психологической или социологической функции, а по содержанию, по аргументационному арсеналу. В соответствии с классификацией аргументации, предложенной ещё Аристотелем, различают четыре разновидности дискуссии:^[1]

• Аподиктическая дискуссия — дискуссия с целью достижения истины. Такая дискуссия соблюдает логические правила вывода.

• Диалектическая дискуссия — дискуссия, которая претендует лишь на достижение правдоподобия.

• Эристическая дискуссия — дискуссия с целью склонить оппонента к своему мнению (либо спор ради спора).

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