Доклад Даниила Хайтовича "Гильбертовская аксиоматика классической логики высказываний и теорема дедукции"
9 декабря в 18:00 состоится заседание научно-учебного семинара "Логическая семантика" Международной лаборатории логики, лингвистики и формальной философии.
Даниил Хайтович
стажер-исследователь МЛ ЛогЛинФФ
выступит с докладом:
"Гильбертовская аксиоматика классической логики высказываний и теорема дедукции"
Аннотация:
Теорема о дедукции — один из базовых результатов теории доказательств. Сама теорема звучит так: если из множества формул Г∪{A} выводима B, то из множества Г выводима импликация A →B. Мы вспомним определения общезначимости, семантического следования, аксиоматику Гильберта для классической логики высказываний, понятия доказуемости и выводимости в ней, после чего докажем саму теорему. Семинар можно рассматривать как небольшое дополнение к блоку о классической логике высказываний из базового курса логики, читаемого философам-бакалаврам на первом году.
Zoom
Идентификатор конференции: 944 9301 3118
Доступ к конференции по паролю, для получения пароля, пожалуйста, напишите по адресу llfp@hse.ru
