Логика и метаматематические исследования

Методы, используемые для доказательства правильности и неправильности умозаключений.

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

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

✍9❤4⚡3❤‍🔥1

www.tgoop.com/logic_metamathematics/933

562 viewsMar 12 at 02:24

Методы, используемые для доказательства правильности и неправильности умозаключений.

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

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

BY Логика и метаматематические исследования