Логика и язык

Виды доказательств:

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

Правила по отношению к тезису и их возможные нарушения.

2 правила:

1. Тезис должен формулироваться ясно и однозначно – определенность.
2. Тезис на всем  протяжении доказательства должен оставаться одним и тем же (опирается на закон тождества).

Ошибки тезиса:

1. Подмена тезиса - переход в другой род:

 

Ошибки расширения тезиса     Ошибки суждения тезиса.

2. Переход к личности.
3. Неравномерность интереса к разным сторонам обсуждения.

Правила по отношению к аргументам и их возможные ошибки.

3 правила:

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

• Ошибка первого правила – если оно нарушается, то мы получаем основное заблуждение.

• Ошибка второго правила – если оно нарушено, то ошибка является парочным кругом или предвосхищения основания.
• Ошибка третьего правила – нарушение достаточного основания.

Правила по отношению к демонстрации и их нарушения 4 правила:

1. Мнимое следование.
2. Вывод по аналогии вероятностный.
3. Вывод индуктивный.
4. Вывод по индукции от сказанного с условием к сказанному без условия.

Опровержение и его виды.

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

Виды опровержение:

1. Критика тезиса.
2. Критика аргументов.
3. Критика демонстраций.

Пример доказательства: Нужно доказать, что сумма углов четырехугольника равна 360°. Из каких утверждений можно было бы вывести этот тезис? Отмечаем, что диагональ делит четырехугольник на два треугольника. Значит, сумма его углов равна сумме углов двух треугольников. Известно, что сумма углов треугольника составляет 180°. Из таких положений выводим, что сумма углов четырехугольника равна 360°.

Пример опровержения: чтобы опровергнуть тезис «На Венере возможна органическая жизнь», достаточно привести такие данные: температура на поверхности Венеры 470—480°С, а давление — 95—97 атмосфер. Эти данные свидетельствуют о том, что жизнь на Венере невозможна.

 

Заключение  

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

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

 

Список литературы:

Иванов Е.А. Логика. Учебник. М.: Издательство БЕК, 1998. – 309с.

Челпанов Г. И. Учебник логики.

Берков В.Ф. Логика: Уч. – Мн: НТООО «ТетраСистемс», 1997.

Бойко А. П. Логика: Учебное пособие / А. П. Бойко. - М., 2002.

Гетманова А. Д. Учебник по логике / А. Д. Гетманова. – М, 2004.

Иванов Е. А. Логика / Е. А. Иванов. - М., 2002.