Григорьев О.М. - Неклассическая логика и логика научного познания - 5. Системы модальной логики

Описание

Нормальные системы модальной логики
Григорьев Олег Михайлович

00:16 Аксиомы системы S1
13:09 Расширения S1
21:14 Системы S1, S2, S3
26:42 Нормальные системы модальной логики
01:03:16 Доказательство в модальной логике
01:06:02 Вывод из множества допущений
01:09:29 Семантика исчислений в модальной логике

Ссылка на плейлист Teach-in: https://teach-in.ru/course/non-classical-logic-and-logic-of-scientific-knowledge-p3
Ссылка на плейлист YouTube: https://www.youtube.com/playlist?list=PLMoRk09deiaE
Ссылка на плейлист VK: https://vkvideo.ru/playlist/-176441665_915
Ссылка на плейлист RuTube: https://rutube.ru/plst/1827146

#teach_in #МГУ #MSU #филфак #faculty_of_philosophy #классическая_дедуктивная_логика #classical_deductive_logic #лекция #lecture #Григорьев #Grigoriev #модальная_логика #modal_logic #аксиомы_системы_s1 #расширения_s1 #системы_s1_s2_s3 #нормальные_системы_модальной_логики #доказательство_в_модальной_логике #вывод_из_допущений #семантика_исчислений_в_модальной_логике #s1_axioms #s1_extensions #s1_s2_s3_systems #normal_modal_logic_systems #proof_in_modal_logic #derivation_from_assumptions #semantics_of_calculi_in_modal_logic