SlideShare a Scribd company logo
1 of 59
Виталий Долгоруков , Vigiliae Sophisticae , 13.05.2011  Disputationes de obligationibus :   аналитическая реконструкция
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],«Софистика»
[object Object],[object Object],[object Object],Obligationes
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Примерный круг авторов
[object Object],[object Object],[object Object],Примерная структура диспута
Пример Оппонент Респондент Ты в Риме или ты Папа . Принимаю. Ты в Риме . Отрицаю. Папа в Риме . Принимаю. Ты Папа . Принимаю. Ты Риме . Принимаю.
[object Object],[object Object],[object Object],[object Object],У.Бурлей,  De obligationibus  ( ок. 1302)
[object Object],[object Object],[object Object],У. Оккам,  Summa Logicae  ( ок. 1323)
[object Object],[object Object],Прошлое и современное
[object Object],Прошлое и современное
[object Object],[object Object],Прошлое и современное
[object Object],[object Object],[object Object],[object Object],Прошлое и современное
[object Object],[object Object],[object Object],[object Object],[object Object],Прошлое и современное
[object Object],[object Object],Прошлое и современное
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Прошлое в современном
[object Object],[object Object],[object Object],Прошлое в современном
[object Object],Диалогическая логика
Диалогическая логика
Аналитические таблицы
[object Object],[object Object],[object Object],Прошлое в современном
[object Object],Прошлое в современном
[object Object],[object Object],[object Object],[object Object],Прошлое в современном
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Прошлое в современном
[object Object],Прошлое в современном
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Magistri Ludi
[object Object],Логика и игры
[object Object],[object Object],[object Object],[object Object],Типы игр в логике ( Hodges )
Типы игр в логике ( Hodges ) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Pietarinen-Pierce
[object Object],[object Object],[object Object],Pietarinen-Pierce
[object Object],[object Object],[object Object],Pietarinen-Pierce
[object Object],[object Object],Sara L. Uckelman
[object Object],[object Object],[object Object],[object Object],Catarina Dutilh Novaes
[object Object],[object Object],[object Object],[object Object],[object Object],Логическая герменевтика
[object Object],[object Object],[object Object],Логическая герменевтика
[object Object],Логическая герменевтика
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Аналитическая реконструкция
Оценка респондентом истинности Функция Определение Решение F (  i ) = 1 ,  е . т .  е .    i-1 ├   i   или принять неверно, что   i -1 ├   i , неверно, что   i -1 ├      i , но   ╟   i принять F (  i ) = 0 ,  е . т .  е .    i-1 ├   i   или отклонить неверно, что   i -1 ├   i , неверно, что   i -1 ├      i , но   ╟   i отклонить F  (  i ) = ? , е.т . е . неверно, что   i -1 ├   i , неверно, что   i -1 ├      i , неверно, что   ╟   i , неверно, что   ╟   i . ?
Дальнейший ход   Оценка Результат Решение F (  i ) = 1  тогда   i   =   i-1      {  i } принять F (  i ) = 0 тогда    i =   i-1     {  i } отклонить F  (  i ) = ? тогда    i =   i -1 объявить сомнительным
Оценка респондентом релевантности Функция Определение R (  i ) = r ,  е . т .  е .    i-1 ├   i   или  i -1 ├      i R (  i ) = nr ,  е . т . е неверно, что   i -1 ├   i ,  неверно, что   i -1 ├      i , неверно, что   i     i -1  ├ ┴
Пример диспута   0   =  ‘ Ты в Риме или ты Папа ’
Положение Вычисление  Оценка респондента Г  ϕ 0 :   Ты в Риме или ты Папа . Допущение . Принимаю. Г 0 = { ϕ 0 } ϕ 1 :  Ты в Риме . Г 0   ├ /  ϕ 1 Г 0   ├  /   ϕ 1 K с   ╟ /   ϕ 1 Отрицаю. Г 1 = { ϕ 0 ,   ϕ 1 } ϕ 2 :  Папа в Риме . Г 1   ├ /  ϕ 2 Г 1   ├  /   ϕ 2 K с   ╟ /   ϕ 2 Принимаю. Г 2 = { ϕ 0 ,   ϕ 1 ,  ϕ 2 } ϕ 3 :  Ты Папа . Г 2   ├   ϕ 3  из  ϕ 0   и   ϕ 1 Принимаю. Г 2 = { ϕ 0 ,   ϕ 1 ,  ϕ 2 ,  ϕ 3 } ϕ 4 :  Ты Риме . Г 3   ├   ϕ 4 из  ϕ 2   и   ϕ 3 Принимаю. Г 2 = { ϕ 0 ,   ϕ 1 ,  ϕ 2 ,  ϕ 3 ,  ϕ 4 }
Положение Вычисление  Оценка респондента Г  ϕ 0 :   Ты в Риме или ты Папа . Допущение . Принимаю. Г 0 = { ϕ 0 } ϕ 1 :   Ты в Риме . Г 0   ├ /  ϕ 1 Г 0   ├  /   ϕ 1 K с   ╟ /   ϕ 1 Отрицаю. Г 1 = { ϕ 0 ,   ϕ 1 } ϕ 2 :  Папа в Риме . Г 1   ├ /  ϕ 2 Г 1   ├  /   ϕ 2 K с   ╟ /   ϕ 2 Принимаю. Г 2 = { ϕ 0 ,   ϕ 1 ,  ϕ 2 } ϕ 3 :  Ты Папа . Г 2   ├   ϕ 3  из  ϕ 0   и   ϕ 1 Принимаю. Г 2 = { ϕ 0 ,   ϕ 1 ,  ϕ 2 ,  ϕ 3 } ϕ 4 :  Ты Риме . Г 3   ├   ϕ 4 из  ϕ 2   и   ϕ 3 Принимаю. Г 2 = { ϕ 0 ,   ϕ 1 ,  ϕ 2 ,  ϕ 3 ,  ϕ 4 }
Положение Вычисление  Оценка респондента Г  ϕ 0 :   Ты в Риме или ты Папа . Допущение . Принимаю. Г 0 = { ϕ 0 } ϕ 1 :   Ты в Риме . Г 0   ├ /  ϕ 1 Г 0   ├  /   ϕ 1 K с   ╟ /   ϕ 1 Отрицаю. Г 1 = { ϕ 0 ,   ϕ 1 } ϕ 2 :   Папа в Риме . Г 1   ├ /  ϕ 2 Г 1   ├  /   ϕ 2 K с   ╟ /   ϕ 2 Принимаю. Г 2 = { ϕ 0 ,   ϕ 1 ,  ϕ 2 } ϕ 3 :  Ты Папа . Г 2   ├   ϕ 3  из  ϕ 0   и   ϕ 1 Принимаю. Г 2 = { ϕ 0 ,   ϕ 1 ,  ϕ 2 ,  ϕ 3 } ϕ 4 :  Ты Риме . Г 3   ├   ϕ 4 из  ϕ 2   и   ϕ 3 Принимаю. Г 2 = { ϕ 0 ,   ϕ 1 ,  ϕ 2 ,  ϕ 3 ,  ϕ 4 }
Положение Вычисление  Оценка респондента Г  ϕ 0 :   Ты в Риме или ты Папа . Допущение . Принимаю. Г 0 = { ϕ 0 } ϕ 1 :   Ты в Риме . Г 0   ├ /  ϕ 1 Г 0   ├  /   ϕ 1 K с   ╟ /   ϕ 1 Отрицаю. Г 1 = { ϕ 0 ,   ϕ 1 } ϕ 2 :   Папа в Риме . Г 1   ├ /  ϕ 2 Г 1   ├  /   ϕ 2 K с   ╟ /   ϕ 2 Принимаю. Г 2 = { ϕ 0 ,   ϕ 1 ,  ϕ 2 } ϕ 3 :   Ты Папа . Г 2   ├   ϕ 3  из  ϕ 0   и   ϕ 1 Принимаю. Г 2 = { ϕ 0 ,   ϕ 1 ,  ϕ 2 ,  ϕ 3 } ϕ 4 :  Ты Риме . Г 3   ├   ϕ 4 из  ϕ 2   и   ϕ 3 Принимаю. Г 2 = { ϕ 0 ,   ϕ 1 ,  ϕ 2 ,  ϕ 3 ,  ϕ 4 }
Положение Вычисление  Оценка респондента Г  ϕ 0 :   Ты в Риме или ты Папа . Допущение . Принимаю. Г 0 = { ϕ 0 } ϕ 1 :   Ты в Риме . Г 0   ├ /  ϕ 1 Г 0   ├  /   ϕ 1 K с   ╟ /   ϕ 1 Отрицаю. Г 1 = { ϕ 0 ,   ϕ 1 } ϕ 2 :   Папа в Риме . Г 1   ├ /  ϕ 2 Г 1   ├  /   ϕ 2 K с   ╟ /   ϕ 2 Принимаю. Г 2 = { ϕ 0 ,   ϕ 1 ,  ϕ 2 } ϕ 3 :   Ты Папа . Г 2   ├   ϕ 3  из  ϕ 0   и   ϕ 1 Принимаю. Г 2 = { ϕ 0 ,   ϕ 1 ,  ϕ 2 ,  ϕ 3 } ϕ 4 :  Ты Риме . Г 3   ├   ϕ 4 из  ϕ 2   и   ϕ 3 Принимаю. Г 2 = { ϕ 0 ,   ϕ 1 ,  ϕ 2 ,  ϕ 3 ,  ϕ 4 }
Положение Вычисление  Оценка респондента Г  ϕ 0 :   Ты в Риме или ты Папа . Допущение . Принимаю. Г 0 = { ϕ 0 } ϕ 1 :   Ты в Риме . Г 0   ├ /  ϕ 1 Г 0   ├  /   ϕ 1 K с   ╟ /   ϕ 1 Отрицаю. Г 1 = { ϕ 0 ,   ϕ 1 } ϕ 2 :   Папа в Риме . Г 1   ├ /  ϕ 2 Г 1   ├  /   ϕ 2 K с   ╟ /   ϕ 2 Принимаю. Г 2 = { ϕ 0 ,   ϕ 1 ,  ϕ 2 } ϕ 3 :   Ты Папа . Г 2   ├   ϕ 3  из  ϕ 0   и   ϕ 1 Принимаю. Г 2 = { ϕ 0 ,   ϕ 1 ,  ϕ 2 ,  ϕ 3 } ϕ 4 :   Ты Риме . Г 3   ├   ϕ 4 из  ϕ 2   и   ϕ 3 Принимаю. Г 2 = { ϕ 0 ,   ϕ 1 ,  ϕ 2 ,  ϕ 3 ,  ϕ 4 }
[object Object],Результат игры
[object Object],[object Object],Граница между легитимность и нелегитимностью
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],КОНТРФАКТИЧНОСТЬ
[object Object],[object Object],[object Object],КОНТРФАКТИЧНОСТЬ
[object Object],[object Object],Крипке и Антихрист
[object Object],Модальные контексты    Предложение Оппонента Оценка Решение Основание Результат  0 Антихрист существует Возможно истинное принято тезис  0  =  {  0 }  1 Антихрист существует в В [где В – некоторый момент времени] 0 nr  отклонено Неверно, что   0  ├   1  и неверно, что   0  ├   1    1  =  {  0 ,   1 }  2 Антихрист не существует в В 1 r,  принято  1  ├   2  2  =  {  0 ,   1 ,   2 }  3 Сейчас не В 1 r,  принято  2  ├   3  3  =  {  0 ,   1 ,   2 ,   3 , }
[object Object],[object Object],[object Object],[object Object],Назначение диспутов с предписаниями
[object Object],[object Object],[object Object],Что это все таки?
[object Object],[object Object],[object Object],[object Object],Предписание -  семантическая категория?
[object Object],[object Object],Дистинкция семантикарагматика
[object Object],Positio
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Литература

More Related Content

Viewers also liked

Категорная формальная эпистемология
Категорная формальная эпистемологияКатегорная формальная эпистемология
Категорная формальная эпистемологияVitaliy Dolgorukov
 
Интерактивная композициональность
Интерактивная композициональностьИнтерактивная композициональность
Интерактивная композициональностьVitaliy Dolgorukov
 
Wycliffe's political linguistics (2)
Wycliffe's political linguistics (2)Wycliffe's political linguistics (2)
Wycliffe's political linguistics (2)Vitaliy Dolgorukov
 
Dragalina chernaya presentation
Dragalina chernaya presentationDragalina chernaya presentation
Dragalina chernaya presentationVitaliy Dolgorukov
 
Введение в динамическую эпистемическую логику-3
Введение в динамическую эпистемическую логику-3Введение в динамическую эпистемическую логику-3
Введение в динамическую эпистемическую логику-3Vitaliy Dolgorukov
 
Если бы лев заговорил, или кто боится логического пространства?
Если бы лев заговорил, или кто боится логического пространства?Если бы лев заговорил, или кто боится логического пространства?
Если бы лев заговорил, или кто боится логического пространства?Vitaliy Dolgorukov
 

Viewers also liked (12)

What is the category system
What is the category systemWhat is the category system
What is the category system
 
гавагай
гавагайгавагай
гавагай
 
Категорная формальная эпистемология
Категорная формальная эпистемологияКатегорная формальная эпистемология
Категорная формальная эпистемология
 
Embodiment mind
Embodiment mindEmbodiment mind
Embodiment mind
 
изсп буклет
изсп буклетизсп буклет
изсп буклет
 
Интерактивная композициональность
Интерактивная композициональностьИнтерактивная композициональность
Интерактивная композициональность
 
Wycliffe's political linguistics (2)
Wycliffe's political linguistics (2)Wycliffe's political linguistics (2)
Wycliffe's political linguistics (2)
 
Dragalina chernaya presentation
Dragalina chernaya presentationDragalina chernaya presentation
Dragalina chernaya presentation
 
Введение в динамическую эпистемическую логику-3
Введение в динамическую эпистемическую логику-3Введение в динамическую эпистемическую логику-3
Введение в динамическую эпистемическую логику-3
 
презентация 4
презентация 4презентация 4
презентация 4
 
Если бы лев заговорил, или кто боится логического пространства?
Если бы лев заговорил, или кто боится логического пространства?Если бы лев заговорил, или кто боится логического пространства?
Если бы лев заговорил, или кто боится логического пространства?
 
Nash
NashNash
Nash
 

Similar to Obligationes ( Vigiliae Sophisticae)

Логика 02. Логика и язык
Логика 02. Логика и языкЛогика 02. Логика и язык
Логика 02. Логика и языкVictor Gorbatov
 
Логика высказываний
Логика высказыванийЛогика высказываний
Логика высказыванийKhayot Mirzaev
 
Формы мышления, алгебра высказываний
Формы мышления, алгебра высказыванийФормы мышления, алгебра высказываний
Формы мышления, алгебра высказыванийserge_luch
 
занятие 1 введение
занятие 1 введениезанятие 1 введение
занятие 1 введениеform_phil
 
экзистенциальные конструкции
экзистенциальные конструкцииэкзистенциальные конструкции
экзистенциальные конструкцииform_phil
 
578.проблемы рациональности монография
578.проблемы рациональности  монография578.проблемы рациональности  монография
578.проблемы рациональности монографияivanov1566353422
 
578.проблемы рациональности монография
578.проблемы рациональности  монография578.проблемы рациональности  монография
578.проблемы рациональности монографияefwd2ws2qws2qsdw
 
001 определите стиль и тип речи термин вначале йошкар ола
001  определите стиль и тип речи термин вначале йошкар ола001  определите стиль и тип речи термин вначале йошкар ола
001 определите стиль и тип речи термин вначале йошкар олаАркадий Захаров
 
Урок математики в 9 классе «Дробные рациональные уравнения»
Урок математики в 9 классе  «Дробные рациональные уравнения»Урок математики в 9 классе  «Дробные рациональные уравнения»
Урок математики в 9 классе «Дробные рациональные уравнения»Kirrrr123
 
225.наука о развитии (первое знакомство с диалектикой) монография
225.наука о развитии (первое знакомство с диалектикой)  монография225.наука о развитии (первое знакомство с диалектикой)  монография
225.наука о развитии (первое знакомство с диалектикой) монографияivanov15666688
 
основы логики
основы логикиосновы логики
основы логикиisva69
 
презентация New
презентация Newпрезентация New
презентация Newform_phil
 
Фреге и брадобрей
Фреге и брадобрейФреге и брадобрей
Фреге и брадобрейVictor Gorbatov
 
Образование и психонетика
Образование и психонетикаОбразование и психонетика
Образование и психонетикаlukoshka
 
Тождество, истина и парадокс анализа
Тождество, истина и парадокс анализаТождество, истина и парадокс анализа
Тождество, истина и парадокс анализаVictor Gorbatov
 
Онтология
ОнтологияОнтология
Онтологияlukoshka
 
Сергей Переслегин. Иной Органон. Повестка дня технологизации мышления
Сергей Переслегин. Иной Органон. Повестка дня технологизации мышленияСергей Переслегин. Иной Органон. Повестка дня технологизации мышления
Сергей Переслегин. Иной Органон. Повестка дня технологизации мышленияlukoshka
 
Дж. Лэдимен, Д. Деннетт и Дж. Лоу: научный реализм и метафизика возможностей
Дж. Лэдимен, Д. Деннетт и Дж. Лоу: научный реализм и метафизика возможностейДж. Лэдимен, Д. Деннетт и Дж. Лоу: научный реализм и метафизика возможностей
Дж. Лэдимен, Д. Деннетт и Дж. Лоу: научный реализм и метафизика возможностейInstitute of Philosophy of NAS of Belarus
 
Критическое мышление лекция 5 часть 3
Критическое мышление лекция 5 часть 3Критическое мышление лекция 5 часть 3
Критическое мышление лекция 5 часть 3Igor Kleiner
 

Similar to Obligationes ( Vigiliae Sophisticae) (20)

Логика 02. Логика и язык
Логика 02. Логика и языкЛогика 02. Логика и язык
Логика 02. Логика и язык
 
алгебра логики
алгебра логикиалгебра логики
алгебра логики
 
Логика высказываний
Логика высказыванийЛогика высказываний
Логика высказываний
 
Формы мышления, алгебра высказываний
Формы мышления, алгебра высказыванийФормы мышления, алгебра высказываний
Формы мышления, алгебра высказываний
 
занятие 1 введение
занятие 1 введениезанятие 1 введение
занятие 1 введение
 
экзистенциальные конструкции
экзистенциальные конструкцииэкзистенциальные конструкции
экзистенциальные конструкции
 
578.проблемы рациональности монография
578.проблемы рациональности  монография578.проблемы рациональности  монография
578.проблемы рациональности монография
 
578.проблемы рациональности монография
578.проблемы рациональности  монография578.проблемы рациональности  монография
578.проблемы рациональности монография
 
001 определите стиль и тип речи термин вначале йошкар ола
001  определите стиль и тип речи термин вначале йошкар ола001  определите стиль и тип речи термин вначале йошкар ола
001 определите стиль и тип речи термин вначале йошкар ола
 
Урок математики в 9 классе «Дробные рациональные уравнения»
Урок математики в 9 классе  «Дробные рациональные уравнения»Урок математики в 9 классе  «Дробные рациональные уравнения»
Урок математики в 9 классе «Дробные рациональные уравнения»
 
225.наука о развитии (первое знакомство с диалектикой) монография
225.наука о развитии (первое знакомство с диалектикой)  монография225.наука о развитии (первое знакомство с диалектикой)  монография
225.наука о развитии (первое знакомство с диалектикой) монография
 
основы логики
основы логикиосновы логики
основы логики
 
презентация New
презентация Newпрезентация New
презентация New
 
Фреге и брадобрей
Фреге и брадобрейФреге и брадобрей
Фреге и брадобрей
 
Образование и психонетика
Образование и психонетикаОбразование и психонетика
Образование и психонетика
 
Тождество, истина и парадокс анализа
Тождество, истина и парадокс анализаТождество, истина и парадокс анализа
Тождество, истина и парадокс анализа
 
Онтология
ОнтологияОнтология
Онтология
 
Сергей Переслегин. Иной Органон. Повестка дня технологизации мышления
Сергей Переслегин. Иной Органон. Повестка дня технологизации мышленияСергей Переслегин. Иной Органон. Повестка дня технологизации мышления
Сергей Переслегин. Иной Органон. Повестка дня технологизации мышления
 
Дж. Лэдимен, Д. Деннетт и Дж. Лоу: научный реализм и метафизика возможностей
Дж. Лэдимен, Д. Деннетт и Дж. Лоу: научный реализм и метафизика возможностейДж. Лэдимен, Д. Деннетт и Дж. Лоу: научный реализм и метафизика возможностей
Дж. Лэдимен, Д. Деннетт и Дж. Лоу: научный реализм и метафизика возможностей
 
Критическое мышление лекция 5 часть 3
Критическое мышление лекция 5 часть 3Критическое мышление лекция 5 часть 3
Критическое мышление лекция 5 часть 3
 

Obligationes ( Vigiliae Sophisticae)

  • 1. Виталий Долгоруков , Vigiliae Sophisticae , 13.05.2011 Disputationes de obligationibus : аналитическая реконструкция
  • 2.
  • 3.
  • 4.
  • 5.
  • 6. Пример Оппонент Респондент Ты в Риме или ты Папа . Принимаю. Ты в Риме . Отрицаю. Папа в Риме . Принимаю. Ты Папа . Принимаю. Ты Риме . Принимаю.
  • 7.
  • 8.
  • 9.
  • 10.
  • 11.
  • 12.
  • 13.
  • 14.
  • 15.
  • 16.
  • 17.
  • 20.
  • 21.
  • 22.
  • 23.
  • 24.
  • 25.
  • 26.
  • 27.
  • 28.
  • 30.
  • 31.
  • 32.
  • 33.
  • 34.
  • 35.
  • 36.
  • 37.
  • 38. Оценка респондентом истинности Функция Определение Решение F (  i ) = 1 , е . т . е .    i-1 ├  i или принять неверно, что  i -1 ├  i , неверно, что  i -1 ├   i , но  ╟  i принять F (  i ) = 0 , е . т . е .    i-1 ├  i или отклонить неверно, что  i -1 ├  i , неверно, что  i -1 ├   i , но  ╟  i отклонить F (  i ) = ? , е.т . е . неверно, что  i -1 ├  i , неверно, что  i -1 ├   i , неверно, что  ╟  i , неверно, что  ╟  i . ?
  • 39. Дальнейший ход Оценка Результат Решение F (  i ) = 1 тогда  i =  i-1  {  i } принять F (  i ) = 0 тогда  i =  i-1  {  i } отклонить F (  i ) = ? тогда  i =  i -1 объявить сомнительным
  • 40. Оценка респондентом релевантности Функция Определение R (  i ) = r , е . т . е .    i-1 ├  i или  i -1 ├   i R (  i ) = nr , е . т . е неверно, что  i -1 ├  i , неверно, что  i -1 ├   i , неверно, что  i   i -1 ├ ┴
  • 41. Пример диспута  0 = ‘ Ты в Риме или ты Папа ’
  • 42. Положение Вычисление Оценка респондента Г ϕ 0 : Ты в Риме или ты Папа . Допущение . Принимаю. Г 0 = { ϕ 0 } ϕ 1 : Ты в Риме . Г 0 ├ / ϕ 1 Г 0 ├ /  ϕ 1 K с ╟ /  ϕ 1 Отрицаю. Г 1 = { ϕ 0 ,  ϕ 1 } ϕ 2 : Папа в Риме . Г 1 ├ / ϕ 2 Г 1 ├ /  ϕ 2 K с ╟ /  ϕ 2 Принимаю. Г 2 = { ϕ 0 ,  ϕ 1 , ϕ 2 } ϕ 3 : Ты Папа . Г 2 ├ ϕ 3 из ϕ 0 и  ϕ 1 Принимаю. Г 2 = { ϕ 0 ,  ϕ 1 , ϕ 2 , ϕ 3 } ϕ 4 : Ты Риме . Г 3 ├ ϕ 4 из ϕ 2 и  ϕ 3 Принимаю. Г 2 = { ϕ 0 ,  ϕ 1 , ϕ 2 , ϕ 3 , ϕ 4 }
  • 43. Положение Вычисление Оценка респондента Г ϕ 0 : Ты в Риме или ты Папа . Допущение . Принимаю. Г 0 = { ϕ 0 } ϕ 1 : Ты в Риме . Г 0 ├ / ϕ 1 Г 0 ├ /  ϕ 1 K с ╟ /  ϕ 1 Отрицаю. Г 1 = { ϕ 0 ,  ϕ 1 } ϕ 2 : Папа в Риме . Г 1 ├ / ϕ 2 Г 1 ├ /  ϕ 2 K с ╟ /  ϕ 2 Принимаю. Г 2 = { ϕ 0 ,  ϕ 1 , ϕ 2 } ϕ 3 : Ты Папа . Г 2 ├ ϕ 3 из ϕ 0 и  ϕ 1 Принимаю. Г 2 = { ϕ 0 ,  ϕ 1 , ϕ 2 , ϕ 3 } ϕ 4 : Ты Риме . Г 3 ├ ϕ 4 из ϕ 2 и  ϕ 3 Принимаю. Г 2 = { ϕ 0 ,  ϕ 1 , ϕ 2 , ϕ 3 , ϕ 4 }
  • 44. Положение Вычисление Оценка респондента Г ϕ 0 : Ты в Риме или ты Папа . Допущение . Принимаю. Г 0 = { ϕ 0 } ϕ 1 : Ты в Риме . Г 0 ├ / ϕ 1 Г 0 ├ /  ϕ 1 K с ╟ /  ϕ 1 Отрицаю. Г 1 = { ϕ 0 ,  ϕ 1 } ϕ 2 : Папа в Риме . Г 1 ├ / ϕ 2 Г 1 ├ /  ϕ 2 K с ╟ /  ϕ 2 Принимаю. Г 2 = { ϕ 0 ,  ϕ 1 , ϕ 2 } ϕ 3 : Ты Папа . Г 2 ├ ϕ 3 из ϕ 0 и  ϕ 1 Принимаю. Г 2 = { ϕ 0 ,  ϕ 1 , ϕ 2 , ϕ 3 } ϕ 4 : Ты Риме . Г 3 ├ ϕ 4 из ϕ 2 и  ϕ 3 Принимаю. Г 2 = { ϕ 0 ,  ϕ 1 , ϕ 2 , ϕ 3 , ϕ 4 }
  • 45. Положение Вычисление Оценка респондента Г ϕ 0 : Ты в Риме или ты Папа . Допущение . Принимаю. Г 0 = { ϕ 0 } ϕ 1 : Ты в Риме . Г 0 ├ / ϕ 1 Г 0 ├ /  ϕ 1 K с ╟ /  ϕ 1 Отрицаю. Г 1 = { ϕ 0 ,  ϕ 1 } ϕ 2 : Папа в Риме . Г 1 ├ / ϕ 2 Г 1 ├ /  ϕ 2 K с ╟ /  ϕ 2 Принимаю. Г 2 = { ϕ 0 ,  ϕ 1 , ϕ 2 } ϕ 3 : Ты Папа . Г 2 ├ ϕ 3 из ϕ 0 и  ϕ 1 Принимаю. Г 2 = { ϕ 0 ,  ϕ 1 , ϕ 2 , ϕ 3 } ϕ 4 : Ты Риме . Г 3 ├ ϕ 4 из ϕ 2 и  ϕ 3 Принимаю. Г 2 = { ϕ 0 ,  ϕ 1 , ϕ 2 , ϕ 3 , ϕ 4 }
  • 46. Положение Вычисление Оценка респондента Г ϕ 0 : Ты в Риме или ты Папа . Допущение . Принимаю. Г 0 = { ϕ 0 } ϕ 1 : Ты в Риме . Г 0 ├ / ϕ 1 Г 0 ├ /  ϕ 1 K с ╟ /  ϕ 1 Отрицаю. Г 1 = { ϕ 0 ,  ϕ 1 } ϕ 2 : Папа в Риме . Г 1 ├ / ϕ 2 Г 1 ├ /  ϕ 2 K с ╟ /  ϕ 2 Принимаю. Г 2 = { ϕ 0 ,  ϕ 1 , ϕ 2 } ϕ 3 : Ты Папа . Г 2 ├ ϕ 3 из ϕ 0 и  ϕ 1 Принимаю. Г 2 = { ϕ 0 ,  ϕ 1 , ϕ 2 , ϕ 3 } ϕ 4 : Ты Риме . Г 3 ├ ϕ 4 из ϕ 2 и  ϕ 3 Принимаю. Г 2 = { ϕ 0 ,  ϕ 1 , ϕ 2 , ϕ 3 , ϕ 4 }
  • 47. Положение Вычисление Оценка респондента Г ϕ 0 : Ты в Риме или ты Папа . Допущение . Принимаю. Г 0 = { ϕ 0 } ϕ 1 : Ты в Риме . Г 0 ├ / ϕ 1 Г 0 ├ /  ϕ 1 K с ╟ /  ϕ 1 Отрицаю. Г 1 = { ϕ 0 ,  ϕ 1 } ϕ 2 : Папа в Риме . Г 1 ├ / ϕ 2 Г 1 ├ /  ϕ 2 K с ╟ /  ϕ 2 Принимаю. Г 2 = { ϕ 0 ,  ϕ 1 , ϕ 2 } ϕ 3 : Ты Папа . Г 2 ├ ϕ 3 из ϕ 0 и  ϕ 1 Принимаю. Г 2 = { ϕ 0 ,  ϕ 1 , ϕ 2 , ϕ 3 } ϕ 4 : Ты Риме . Г 3 ├ ϕ 4 из ϕ 2 и  ϕ 3 Принимаю. Г 2 = { ϕ 0 ,  ϕ 1 , ϕ 2 , ϕ 3 , ϕ 4 }
  • 48.
  • 49.
  • 50.
  • 51.
  • 52.
  • 53.
  • 54.
  • 55.
  • 56.
  • 57.
  • 58.
  • 59.