gignomai (gignomai) wrote,
gignomai
gignomai

Categories:

следует или вытекает

По учебнику логики Горбатова разобрался, в чем разница между импликацией и логическим следованием в формальной логике. Логическое следование - это когда при истинности посылки всегда истинно заключение. А импликация не требует истинности посылки: В истинно независимо от истинности А, т.е., в частности, из ложной посылки вытекает истинностть чего угодно (термин "следует" в определении импликации заменен на "вытекает", хотя в обыденном языке это синонимы). Признаюсь, что хотя я и усвоил это различие, мне оно, это формальное понятие импликации отвратительно ...
Забавно, что на сайте некоего Институту Фундаментальныз Наук дано такое определение:
Т.е. и они тоже :)

Логическое следование (импликация):

Высказывание, составленное из двух высказываний при помощи связки «если ..., то ...», называется логическим следованием, импликацией (импликация от латинского implico - тесно связываю).

Tags: логика
Subscribe

  • Евклидомахия 5

    Не отвечаю персонально на комменты к предыдущей "махии", особенно объемные, но учитываю их в этом посте. 1. О знании. Знание всегда…

  • к демистификации формального

    Вот например. Говорят: "рубль должен работать". Но ведь это абсурд, работают люди, а не деньги. Так, но, с другой стороны, обладающий…

  • (no subject)

    Читая учебник по истории логики, задумался над термином "исчисление". Буль заменил предметы и операции символами - как до этого числа и…

  • Post a new comment

    Error

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 37 comments

  • Евклидомахия 5

    Не отвечаю персонально на комменты к предыдущей "махии", особенно объемные, но учитываю их в этом посте. 1. О знании. Знание всегда…

  • к демистификации формального

    Вот например. Говорят: "рубль должен работать". Но ведь это абсурд, работают люди, а не деньги. Так, но, с другой стороны, обладающий…

  • (no subject)

    Читая учебник по истории логики, задумался над термином "исчисление". Буль заменил предметы и операции символами - как до этого числа и…