русс | укр

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

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

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

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


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

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


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


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

Виды достаточных оснований:

  1. Предметы, которые отражает оцениваемая мысль. Предметы могут быть достаточным основанием для той или иной оценки мысли, когда мысль можно непосредственно с помощью органов чувств или приборов, можно сопоставить со своим предметов, т.е. когда предмет мысли не является скрытым, не является недоступным.
  2. Мысли об иных предметах, объективно связанных с предметами оцениваемой мысли. Из мысли об иных предметах логически вытекает оцениваемая мысль вместе с предлагаемой оценкой. Второй вид достаточных оснований заключает в себе главную идею и саму суть логики. В логике есть отдельная тема под названием «Доказательство и опровержение», в которой подробно рассматривается второй вид достаточных оснований.

 

Вопрос №5.

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



 

 

Тема №5. Умозаключение.

  1. Силлогизм и его разновидности. Простой категорический силлогизм. Сокращенный силлогизм. Иные разновидности силлогизма.

 

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

 

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

Кроме среднего термина в простом силлогизме есть меньший термин (S) и больший (Р).

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

М - Все, что есть в мире, наука объясняет естественными причинами.

Р – То, что наука объясняет естественными причинами.

 



<== предыдущая лекция | следующая лекция ==>
Закон исключающего третьего. | Способ проверки правильности.


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


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

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

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


 


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

 
 

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

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