gignomai (gignomai) wrote,
gignomai
gignomai

Categories:

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

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

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

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

Tags: логика
Subscribe

  • самость и эго

    Отрывок из Хайдеггера (подарок одного из семинаров): " Тезис: присутствие экзистирует ради себя, не содержит никакого эгоистически-онтического…

  • К.Г.Юнг о математике

    "... математики я просто боялся. Учитель делал вид, что алгебра - вполне обычная вещь, которую следует принимать как нечто само собой…

  • Не только в индологии

    Хороший постинг написал edgar_leitan про отсутствие - он даже резче сказал: изгнание - из западной индологии метанарративов и утрату…

  • 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

  • самость и эго

    Отрывок из Хайдеггера (подарок одного из семинаров): " Тезис: присутствие экзистирует ради себя, не содержит никакого эгоистически-онтического…

  • К.Г.Юнг о математике

    "... математики я просто боялся. Учитель делал вид, что алгебра - вполне обычная вещь, которую следует принимать как нечто само собой…

  • Не только в индологии

    Хороший постинг написал edgar_leitan про отсутствие - он даже резче сказал: изгнание - из западной индологии метанарративов и утрату…