Билет №25.

1. Семантические таблицы истинности.

А	В	&				≡
и	и	и	и	л	и	и
и	л	л	и	и	л	л
л	и	л	и	и	и	л
л	л	л	л	л	и	и

2. Основные требования к аргументации.

По отношению к тезису:

– определенность тезиса,

– неизменность тезиса.

По отношению к аргументам:

– аргументы должны быть истинными и доказанными,

– аргументы должны обосновываться независимо от тезиса,

– непротиворечивость аргументов,

– аргументы должны быть достаточными для данного тезиса.

По отношению к демонстрации:

– использование правил умозаключения.

Билет №26.

1. Отношения между сложными суждениями. Понятие логического следования.

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

Между совместимыми суждениями возникают отношения эквивалентности, логического следования, частичной совместимости.

Между несовместимыми суждениями возникают два вида отношений: противоречие и противоположность.

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

Суждения находятся в отношении логического следования, если не может быть так, чтобы первое суждение было истинным, а второе – ложным. Проверяется это также с помощью семантических таблиц и означает, что в совместной семантической таблице не найдется такой строчки, в которой первое суждение будет истинным, а второе – ложным. Это самое важное отношение в логике, так как оно лежит в основе дедуктивных умозаключений. Формула В логически следует из формул А₁, А₂, …, А_n (А₁, А₂, …, А_n |– В), если и только если в каждой пропозициональной интерпретации, в какой все формулы А₁, А₂, …, А_n принимают значение «и», формула В также есть «и». Задача установления того, следует ли высказывание В из высказывания А₁, А₂, …, А_n сводится к задаче выяснения, является ли высказывание ((А₁А₂,…,А_n)В) тождественно истинным (тавтологией, законом логики).

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

Противоречие между сложными суждениями проявляется в том, что вместе они не могут быть ни истинными, ни ложными. Суждения, находящиеся в отношении противоположности, не могут быть вместе истинными, но могут быть вместе ложными.

2. Виды аргументации.

Универсальная аргументация делится на два основных вида: эмпирическую и теоретическую аргументацию.

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

К методам эмпирической аргументации относятся:

• прямое эмпирическое подтверждение;

• косвенное эмпирическое подтверждение;

• эмпирическое опровержение;

• примеры;

• иллюстрации.

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

К методам теоретической аргументации относятся:

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

• системная аргументация (обоснование утверждения путем включения его в хорошо проверенную систему утверждений, или теорию);

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

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

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

Контекстуальная аргументация – это аргументация, которая строится с учетом характера аудитории, ее специфических особенностей. (Виды аргументов см. Билет №24, вопрос 2).