Скачать презентацию Закон Дунса Скота Закон контрапозиции Закон Клавия Скачать презентацию Закон Дунса Скота Закон контрапозиции Закон Клавия

логика - Презентация 1 (27.02.13).pptx

  • Количество слайдов: 6

Закон Дунса Скота Закон контрапозиции Закон Клавия Закон Дунса Скота Закон контрапозиции Закон Клавия

Закон Дунса Скота «Ложное высказывание влечет (имплицирует) любое высказывание» Символически: ~a→(a→b) «ЕСЛИ НЕВЕРНО А, Закон Дунса Скота «Ложное высказывание влечет (имплицирует) любое высказывание» Символически: ~a→(a→b) «ЕСЛИ НЕВЕРНО А, ТО ЕСЛИ А, ТО Б» . К ПРИМЕРУ: «ЕСЛИ ДВАЖДЫ ДВА НЕ РАВНО ЧЕТЫРЕМ, ТО ЕСЛИ ДВАЖДЫ ДВА ВСЕ-ТАКИ ЧЕТЫРЕ, ТО ВСЯ МАТЕМАТИКА НИЧЕГО НЕ ЗНАЧИТ» .

В рассуждениях по схеме, предлагаемой законом Дунса Скота, есть, таким образом, несомненный привкус парадоксальности. В рассуждениях по схеме, предлагаемой законом Дунса Скота, есть, таким образом, несомненный привкус парадоксальности. Особенно заметным он становится, когда в качестве заключения берется явно ложное и совершенно не связанное с посылками высказывание. Например: «Если четыре не является четным числом, то, поскольку четыре — четное число, Москва — большая деревня» . Это — явный парадокс. Не следует, разумеется, допускать логических противоречий и нельзя принимать в качестве посылок ложные положения.

Закон контрапозиции – это общее название для ряда логических законов, позволяющих с помощью отрицания Закон контрапозиции – это общее название для ряда логических законов, позволяющих с помощью отрицания менять местами основание и следствие условного высказывания. (a→b) →(~b →a) ОДИН ИЗ ЭТИХ ЗАКОНОВ, НАЗЫВАЕМЫЙ ИНОГДА ЗАКОНОМ ПРОСТОЙ КОНТРАПОЗИЦИИ, ЗВУЧИТ ТАК: «ЕСЛИ ПЕРВОЕ ВЛЕЧЕТ ВТОРОЕ, ТО ОТРИЦАНИЕ ВТОРОГО ВЛЕЧЕТ ОТРИЦАНИЕ ПЕРВОГО. » НАПРИМЕР: «ЕСЛИ ВЕРНО, ЧТО ЧИСЛО, ДЕЛЯЩЕЕСЯ НА ШЕСТЬ, ДЕЛИТСЯ НА ТРИ, ТО ВЕРНО, ЧТО ЧИСЛО, НЕ ДЕЛЯЩЕЕСЯ НА ТРИ, НЕ ДЕЛИТСЯ НА ШЕСТЬ» .

ЗАКОН КЛАВИЯ «Если из отрицания некоторого высказывания вытекает само это высказывание, то оно является ЗАКОН КЛАВИЯ «Если из отрицания некоторого высказывания вытекает само это высказывание, то оно является истинным» (если не-А имплицирует А, то верно А) (~ А -> А) -> А, ИНАЧЕ: ЕСЛИ НЕОБХОДИМЫМ УСЛОВИЕМ ЛОЖНОСТИ НЕКОТОРОГО ВЫСКАЗЫВАНИЯ ЯВЛЯЕТСЯ ЕГО ИСТИННОСТЬ, ТО ЭТО ВЫСКАЗЫВАНИЕ ИСТИННО. НАПРИМЕР, ЕСЛИ УСЛОВИЕМ ТОГО, ЧТОБЫ МАШИНА НЕ РАБОТАЛА, ЯВЛЯЕТСЯ ЕЁ РАБОТА, ТО МАШИНА РАБОТАЕТ.

Автор работы студент первого курса МЭСИ факультета экономики (ДЭЭ-102) Кузьмин В. С. Автор работы студент первого курса МЭСИ факультета экономики (ДЭЭ-102) Кузьмин В. С.