Что за система Яськовского? У меня в конспекте всего две строчки про неё: относительно выводимости и доказываемости.

Действительно! В чём разница между первым и вторым вопросом? Мы ведь всё по Яськовскому проходим, только в вариенте Е. Слупецкого-Л. Боркова. Логики, объясните.

Модальная (алетическая) логика.
Временная логика.
Деонтическая логика.

Получатеся, если этих вопросов в списке нет, их учить не надо?

_R_I_O_T_, не надо!

Лёха_Зё, та же обычная система естественного вывода

_R_I_O_T_, первое более общее пропонятие логического вывода вообще, про кратную импликацию, в общем про правила следования и правила построения док-ва.
во втором - про конкретно систему эн, кто её создал, про её иерархическую структуру, про подсистемы в кратце, про две группы правил, вкратце про то, что есть производные правила.

Про Яськовского есть какая-то мелочь в учебнике на страницах 74 и 96.

Лёха_Зё, да не нужно про него!!! просто говоришь, что он параллельно с Генценом придумал систему эн

Спасибо, Пустоид!

Друзья.

Если кто готовится по учебнику... касается вопроса о семантической корректности, адекватности и полноте...

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

Я больше верю Караваеву, учитывая, какой у нас учебник.
А вы кому больше верите?

ОБЪЯВЛЕНИЕ!!! ВНИМАНИЕ!!!

СЕГОДНя в метро ожидались теракты, поэтому всех пассажиров пропускали через один турникет, обыскивая сумочки карманы и т.д. на предмет гранат пистолетов и пр. В итоге, я попал в метро только через пол часа. Это к тому, что завтра, если что, выходите пораньше, дабы не опаздать на экзамен.

P.S.

Травку и плюшки оставляйте дома, а то милицейские собаки унюхают и тогда на экзамен вы точно не попадёте.

Прям как в прогнозах погоды: "на средней полосе России ожидаются терракты и кратковременная партизанская война".

Спасибо.
To all:
Надеюсь, нас на рассадят по 5 человек отобрав все кроме ручки заставив раздеться до трусов и посадив по Паткулю рядом.....

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

"не знаю, как там с адекватностью, но скорее всего, адекватность предполагает, что если есть т-и формула, что для нее есть доказательство..."

Тебе как логику виднее, но здесь ведь речь идёт не о формуле, а о логической системе.

Короче, смотрите сами.

_R_I_O_T_, ну хорошо, свойство логической системы, которое харатеризуется тем, что если есть т-и формула(в данной системе), то есть и ее доказательство(в данной системе) - адекватность...
есть теорема о полноте...странно делать ошибку при определении этого понятия

ВСЕМ УДАЧИ НА ЭКЗАМЕНЕ!!