Вопрос 86.

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

Доказательство – это обоснование истинности какого-либо утверждения:

1. Логическое (аргументы)
2. Материальное (факты)

Структура доказательства:

1. Тезис (то, что доказывается)
2. Аргументы (то, посредством чего доказывается)
3. Демонстрация (связь аргументов и тезисов)
4. Опровержение:

·    Внешняя критика посредством сведения к абсурду

·    Внешняя критика, вводящая противоречащие факты или собственные убеждения

·    Внутренняя критика, направленная на демонстрацию или аргументацию

Виды спора:

1.      Диалектический (сократический) – цель в поиске истины;

2.      Эвристический – все, что угодно, кроме поиска истины:

·    Дидактический (имитация спора)

·    Компромиссный (поиск консенсуса)

·    Русский (спора ради спора)

·    Софистический (победа над противником)

Приемы и уловки в спорах:

1. довод к авторитету
2. сокрытие тезиса
3. возвратный удар
4. механические уловки (прерывание спора)
5. нарочитое непонимание (абструкция)
6. логические уловки:

·     аргумент к человеку (перевод спора на обсуждение жизни человека)

·     палочный довод (перевод спора на обсуждение пользы самому оппоненту)

·     чтение в сердцах (тайные мотивы оппонента)

7. психологические уловки:

·           подмазывание аргументов

·           ставка на ложный стыд (невежество)

·           уловка артиста

·           уловка адвоката (довод к черни)

·           женская уловка

Вопрос 87.

Основные аспекты семиотического языка.

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

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

Синтаксис (синтактика) ‑ изучает внутренние свойства систем знаков безотносительно к интерпретации;

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

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

Данный уровень анализа логических форм предполагает, во-первых, наличие в формализованном языке нелогических символов только одного типа – параметров, которыми могут замещаться простые высказывания естественного языка. Эти параметры называются пропозициональными переменными и употребляются в качестве них символы – p,q,r,s, p1…

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

Неверно, что – отрицание, инверсия. /*обозначения тут написать сложно–( */

И – конъюнкция.

Или – дизъюнкция, строгая дизъюнкция.

Если…то – импликация.

Тождественно, эквивалентно – эквивалентность.

Технические символы: ( , ).

Итого, основные семантические категории это: пропозициональные переменные, пропозициональные связки и технические символы.

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

1. Всякая пропозициональная переменная является правильно построенной формулой (ППФ).

2. Если А – ППФ, то ⌐А также является ППФ.

3. Если А и В являются ППФ, то выражения (А&В), (АvВ), (A→B), (A≡B) также являются ППФ.

4. Ничто иное не является ППФ.

Прагматика - (древнегр. pragmatos - действие) - раздел семиотики, изучающий соотношение знаков и их пользователей в конкретной речевой ситуации. Можно сказать, что П. - это семантика языка в действии. Впервые о П. писал Чарлз Сандерс Пирс в ХIХ в., а ее основные параметры применительно к философии прагматизма сформулировал в 1920-е гг. Чарлз Моррис. Однако современная лингвистически ориентированная П. развивается скорее под влиянием идей позднего Витгенштейна. Витгенштейну принадлежит знаменитое определение значения как употребления в языке. Из этого, можно сказать, вышла вся П.

Вопрос 88.

Принцип построения формализованных языков

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

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

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

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

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

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

Вопрос 89.

Понятие логической формы, следования и закона.

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

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

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

Пусть В – логическая форма некоторого высказывания, а Г – множество логических форм каких-либо высказываний. 

(1) Из Г логически следует В, если и только если не существует такой интерпретации параметров, входящих в состав Г и В, при которой выражения из Г принимают значения «истина», а В – значение «ложь».

(2) Из Г логически следует В, если и только если при любой интерпретации параметров в составе Г и В, при которой все выражения из Г принимают значение «истина», выражение В примет значение «истина».

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

(1) Закон тождества - это логический закон, согласно которому мысль (будь то понятие, суждение или умозаключение), введенная однажды в рассуждение, должна оставаться неизменной, однозначно понимаемой на протяжении всего последующего рассуждения, каким бы продолжительным оно ни являлось. То есть, сколько бы раз ни повторялась одна и та же (!) мысль, она должна пониматься одним и тем же способом.

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

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

(2) Закон непротиворечия (противоречия, как он назывался в старых учебниках) - это логический закон, согласно которому не могут быть одновременно истинными взаимно исключающие друг друга мысли: "В данный момент снег идет" и "В данный момент снег не идет", "Этот цветок роза" и "Этот цветок ромашка" и т.п. С точки зрения логики объединение таких мыслей может быть только ложным, и ни в коем случае не истинным.

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

Логика различает два типа несовместимости мыслей:

 а). Формальную несовместимость, которая имеет место между некоторой мыслью и ее формальным отрицанием: "Снег идет" и "Снег не идет", где одна мысль есть непосредственное формальное отрицание ("не", "нет") другой.

 б) Содержательную (предметную) несовместимость, которая имеет место в связи с несовместимостью самих признаков внутри соответствующих вещей: "Цветок - роза" и "Цветок - ромашка". Эта несовместимость определяется не по формально-логическим законам, а по законам развития самих вещей. Такая несовместимость устанавливается не логикой, а конкретными науками о соответствующих предметах и явлениях. За ошибки в определении такой (предметной) несовместимости формальная логика не несет никакой ответственности.

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

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

Как видно, этот закон распространяется только на один вид несовместимости - формальной. Он ничего не говорит о содержательной (предметной) несовместимости. С точки зрения этого закона содержательно несовместимые мысли могут быть одновременно ложными. Хотя, по закону непротиворечия, они не могут быть одновременно истинными.

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

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

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

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

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

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

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