русс | укр

Языки программирования

ПаскальСиАссемблерJavaMatlabPhpHtmlJavaScriptCSSC#DelphiТурбо Пролог

Компьютерные сетиСистемное программное обеспечениеИнформационные технологииПрограммирование

Все о программировании


Linux Unix Алгоритмические языки Аналоговые и гибридные вычислительные устройства Архитектура микроконтроллеров Введение в разработку распределенных информационных систем Введение в численные методы Дискретная математика Информационное обслуживание пользователей Информация и моделирование в управлении производством Компьютерная графика Математическое и компьютерное моделирование Моделирование Нейрокомпьютеры Проектирование программ диагностики компьютерных систем и сетей Проектирование системных программ Системы счисления Теория статистики Теория оптимизации Уроки AutoCAD 3D Уроки базы данных Access Уроки Orcad Цифровые автоматы Шпаргалки по компьютеру Шпаргалки по программированию Экспертные системы Элементы теории информации

Доказательство. Опровержение


Дата добавления: 2013-12-24; просмотров: 1112; Нарушение авторских прав


Тема 9

Всякая истинная мысль должна быть достаточно обоснованной

В каждом данном рассуждении из двух противоречащих суждений следует считать истинным только одно.

АÚùА

А ùА АÚùА
и л и
л и и

Обоснованность. Закон достаточного основания

Объективно достаточные основания (принятые всеми субъектами) придают суждениям статус знаний.

Субъективно достаточно основания (принятые отдельными субъектами) придают суждениям статус веры.

А®В

П.: в рассуждении: «Преступление совершил Н. (тезис), ведь он сам признался в этом и подписал все показания (основание)», — закон достаточного основания нарушен, потому что из того, что человек признался в совершении преступления, не вытекает, что он действительно его совершил.

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

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

1. Эти две прямые параллельны, поскольку у них нет общих точек.

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

3. Данное вещество является металлом, потому что оно электропроводно.

4. Мой товарищ зарабатывает 10 000 долл. в месяц, в чем нельзя усомниться, ведь он сам это утверждает.

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

6. Сегодня корабли не могут заходить в бухту, потому что она заминирована.



7. Этот человек не болен, ведь у него не повышена температура.

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

Нарушение законов логики, сознательно спланированное с целью введения собеседника в заблуждение, называется софизмом

Софисты считали, истина у того, кто умеет убедить

Паралогизм – нарушение законов логики, допускаемое невольно.

Ключевые термины: законы логики, паралогизм, тавтология, противоречие, противоположность, обоснованность, тождество

 

План

1. Общая характеристика логического доказательства.

2. Логическая структура доказательства. Прямое и косвенное доказательство. Правила доказательства.

3. Общее представление об опровержении. Виды опровержения. Основные правила логического опровержения.

4. Ошибки, возможные при их нарушении

Литература

1. Павлова Л.Т. Спор, дискуссия, полемика. М., Просвещение.1991.

2. Руза Вин Н.В. Логика и аргументация. М., 1997.

3. Тер-Акапов А.А. Судебная логика. М., 1980.

4. Шопенгауер А. Эристика или Искусство побеждать в спорах. СПб 1990.

5. Эйсман А.А. Логика доказывания. М., 1971.

Цель – использование теории доказательства и опровержения в судебной практике.

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

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

Тезис - суждение, истинность которого надо доказать. В юридической практике это доказательство фактов, обстоятельств, алиби, той или иной версии.

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

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

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

В зависимости от способа ведения доказательства делятся на:

1. Прямое– это доказательство, где аргументы непосредственно обосновывают тезис.

Прямое доказательство в зависимости от вида демонстрации принимает форму:

1. Дедуктивное умозаключение – на основании неких общих положений делается вывод о частном допущении.

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

3. Традукция – обоснование тезиса на основании аналогичного утверждения о свойствах единичного явления.

2. Косвенное - это доказательство, где истинность тезиса обосновывается путем опровержения истинности противоречащего ему положения.

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

Структура:

1. Выдвижение антитезиса

2. Доказательство истинности антитезиса

3. Из ложности антитезиса делается вывод об истинности тезиса.

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

А, В, С – причина Д

А не является причиной Д

В не является причиной Д

Следовательно, С причина Д



<== предыдущая лекция | следующая лекция ==>
Каждая мысль должна оставаться постоянной на протяжении всего рассуждения | ОПРОВЕРЖЕНИЕ


Карта сайта Карта сайта укр


Уроки php mysql Программирование

Онлайн система счисления Калькулятор онлайн обычный Инженерный калькулятор онлайн Замена русских букв на английские для вебмастеров Замена русских букв на английские

Аппаратное и программное обеспечение Графика и компьютерная сфера Интегрированная геоинформационная система Интернет Компьютер Комплектующие компьютера Лекции Методы и средства измерений неэлектрических величин Обслуживание компьютерных и периферийных устройств Операционные системы Параллельное программирование Проектирование электронных средств Периферийные устройства Полезные ресурсы для программистов Программы для программистов Статьи для программистов Cтруктура и организация данных


 


Не нашли то, что искали? Google вам в помощь!

 
 

© life-prog.ru При использовании материалов прямая ссылка на сайт обязательна.

Генерация страницы за: 1.35 сек.