🗊Универсалистская парадигма в логике и принцип композициональности Горбатов В.В. ст. преподаватель ф-та философии ГУ-ВШЭ. - презента

Категория: Образование
Нажмите для полного просмотра!
Универсалистская парадигма в логике и принцип композициональности Горбатов В.В. ст. преподаватель ф-та философии ГУ-ВШЭ. - презента, слайд №1Универсалистская парадигма в логике и принцип композициональности Горбатов В.В. ст. преподаватель ф-та философии ГУ-ВШЭ. - презента, слайд №2Универсалистская парадигма в логике и принцип композициональности Горбатов В.В. ст. преподаватель ф-та философии ГУ-ВШЭ. - презента, слайд №3Универсалистская парадигма в логике и принцип композициональности Горбатов В.В. ст. преподаватель ф-та философии ГУ-ВШЭ. - презента, слайд №4Универсалистская парадигма в логике и принцип композициональности Горбатов В.В. ст. преподаватель ф-та философии ГУ-ВШЭ. - презента, слайд №5Универсалистская парадигма в логике и принцип композициональности Горбатов В.В. ст. преподаватель ф-та философии ГУ-ВШЭ. - презента, слайд №6Универсалистская парадигма в логике и принцип композициональности Горбатов В.В. ст. преподаватель ф-та философии ГУ-ВШЭ. - презента, слайд №7Универсалистская парадигма в логике и принцип композициональности Горбатов В.В. ст. преподаватель ф-та философии ГУ-ВШЭ. - презента, слайд №8Универсалистская парадигма в логике и принцип композициональности Горбатов В.В. ст. преподаватель ф-та философии ГУ-ВШЭ. - презента, слайд №9Универсалистская парадигма в логике и принцип композициональности Горбатов В.В. ст. преподаватель ф-та философии ГУ-ВШЭ. - презента, слайд №10Универсалистская парадигма в логике и принцип композициональности Горбатов В.В. ст. преподаватель ф-та философии ГУ-ВШЭ. - презента, слайд №11Универсалистская парадигма в логике и принцип композициональности Горбатов В.В. ст. преподаватель ф-та философии ГУ-ВШЭ. - презента, слайд №12Универсалистская парадигма в логике и принцип композициональности Горбатов В.В. ст. преподаватель ф-та философии ГУ-ВШЭ. - презента, слайд №13Универсалистская парадигма в логике и принцип композициональности Горбатов В.В. ст. преподаватель ф-та философии ГУ-ВШЭ. - презента, слайд №14Универсалистская парадигма в логике и принцип композициональности Горбатов В.В. ст. преподаватель ф-та философии ГУ-ВШЭ. - презента, слайд №15

Вы можете ознакомиться и скачать Универсалистская парадигма в логике и принцип композициональности Горбатов В.В. ст. преподаватель ф-та философии ГУ-ВШЭ. - презента. Презентация содержит 15 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации


Слайд 1


Универсалистская парадигма в логике и принцип композициональности Горбатов В.В. ст. преподаватель ф-та философии ГУ-ВШЭ. - презента, слайд №1
Описание слайда:

Слайд 2





lingua characterica
lingua characterica
логический символизм как универсальный язык, вне пределов которого ничего сказать нельзя 
невыразимость семантики
Описание слайда:
lingua characterica lingua characterica логический символизм как универсальный язык, вне пределов которого ничего сказать нельзя невыразимость семантики

Слайд 3





булев «универсальный класс» или де моргановский «универсум рассуждения» могут свободно изменяться по усмотрению исследователя (алгебраические структуры не несут в себе онтологических обязательств и могут быть свободно переинтерпертированы на какой угодно области)
булев «универсальный класс» или де моргановский «универсум рассуждения» могут свободно изменяться по усмотрению исследователя (алгебраические структуры не несут в себе онтологических обязательств и могут быть свободно переинтерпертированы на какой угодно области)
фрегевский универсум универсален в строгом смысле слова: он состоит из всего, что может стать предметом мышления
Описание слайда:
булев «универсальный класс» или де моргановский «универсум рассуждения» могут свободно изменяться по усмотрению исследователя (алгебраические структуры не несут в себе онтологических обязательств и могут быть свободно переинтерпертированы на какой угодно области) булев «универсальный класс» или де моргановский «универсум рассуждения» могут свободно изменяться по усмотрению исследователя (алгебраические структуры не несут в себе онтологических обязательств и могут быть свободно переинтерпертированы на какой угодно области) фрегевский универсум универсален в строгом смысле слова: он состоит из всего, что может стать предметом мышления

Слайд 4





Мартин Куш [1989]: парадигма lingua universalis вышла далеко за пределы собственно логики
Мартин Куш [1989]: парадигма lingua universalis вышла далеко за пределы собственно логики
Подобную установку можно найти не только у Фреге, Витгенштейна, Гёделя, но также, например, у Хайдеггера и Гадамера 
Отношение между языком и миром не может быть проблематизировано, ведь никакие иные семантические отношения кроме тех, на которых строится наша концептуальная практика, мы просто не в состоянии себе вообразить
Описание слайда:
Мартин Куш [1989]: парадигма lingua universalis вышла далеко за пределы собственно логики Мартин Куш [1989]: парадигма lingua universalis вышла далеко за пределы собственно логики Подобную установку можно найти не только у Фреге, Витгенштейна, Гёделя, но также, например, у Хайдеггера и Гадамера Отношение между языком и миром не может быть проблематизировано, ведь никакие иные семантические отношения кроме тех, на которых строится наша концептуальная практика, мы просто не в состоянии себе вообразить

Слайд 5





В самой структуре общепринятой логической нотации заложено сильное синтаксическое ограничение
В самой структуре общепринятой логической нотации заложено сильное синтаксическое ограничение
Области действия логических форматоров могут находиться между собой только в антисимметричном и транзитивном отношении включения 
Не допускается дисконтинуальность и взаимопересечение областей действия, что делает невозможным отображение в языке системы альтернативных форм зависимости и независимости между форматорами
Описание слайда:
В самой структуре общепринятой логической нотации заложено сильное синтаксическое ограничение В самой структуре общепринятой логической нотации заложено сильное синтаксическое ограничение Области действия логических форматоров могут находиться между собой только в антисимметричном и транзитивном отношении включения Не допускается дисконтинуальность и взаимопересечение областей действия, что делает невозможным отображение в языке системы альтернативных форм зависимости и независимости между форматорами

Слайд 6





Каждый х знает некоторого у лучше, чем каждый z знает некоторого u
Каждый х знает некоторого у лучше, чем каждый z знает некоторого u
		(x)(y)
					F[x,y,z,u]
		(z)(u)
В теоретико-игровой интерпретации это – описание игры между двумя командами 
Независимость кванторов моделируется как информационная независимость игроков
Описание слайда:
Каждый х знает некоторого у лучше, чем каждый z знает некоторого u Каждый х знает некоторого у лучше, чем каждый z знает некоторого u (x)(y) F[x,y,z,u] (z)(u) В теоретико-игровой интерпретации это – описание игры между двумя командами Независимость кванторов моделируется как информационная независимость игроков

Слайд 7





То же самое можно записать в терминах сколемовских функций
То же самое можно записать в терминах сколемовских функций
(f)(g)(x)(z) F[x,f(x),z,g(z)]
И в терминах независимых кванторов
(x)(z)(y/z)(u/x) F[x,y,z,u]
Сколемовские функции суть сами стратегии, или они только кодируют их?
Описание слайда:
То же самое можно записать в терминах сколемовских функций То же самое можно записать в терминах сколемовских функций (f)(g)(x)(z) F[x,f(x),z,g(z)] И в терминах независимых кванторов (x)(z)(y/z)(u/x) F[x,y,z,u] Сколемовские функции суть сами стратегии, или они только кодируют их?

Слайд 8





Ходжес и Камерон [1997] доказали теорему о принципиальной возможности композициональной семантики для IF языков – но композициональной не в смысле Тарского
Ходжес и Камерон [1997] доказали теорему о принципиальной возможности композициональной семантики для IF языков – но композициональной не в смысле Тарского
При рассмотрении вопросов нестандартной квантификации принцип композициональности для ветвящихся кванторов можно обосновать в обобщенной форме [Е.Г. Драгалина-Черная, 1998]
Описание слайда:
Ходжес и Камерон [1997] доказали теорему о принципиальной возможности композициональной семантики для IF языков – но композициональной не в смысле Тарского Ходжес и Камерон [1997] доказали теорему о принципиальной возможности композициональной семантики для IF языков – но композициональной не в смысле Тарского При рассмотрении вопросов нестандартной квантификации принцип композициональности для ветвящихся кванторов можно обосновать в обобщенной форме [Е.Г. Драгалина-Черная, 1998]

Слайд 9





В языке IF-логики выразимы T-эквивалентности Тарского 
В языке IF-логики выразимы T-эквивалентности Тарского 
Разумеется, под «определением истинности» здесь имеется в виду лишь фактофиксирующая сторона данного понятия, но отнюдь не стратегическая. Ведь знать о том, что некая пропозиция истинна, и знать, каким образом она делается истинной – не одно и то же
Описание слайда:
В языке IF-логики выразимы T-эквивалентности Тарского В языке IF-логики выразимы T-эквивалентности Тарского Разумеется, под «определением истинности» здесь имеется в виду лишь фактофиксирующая сторона данного понятия, но отнюдь не стратегическая. Ведь знать о том, что некая пропозиция истинна, и знать, каким образом она делается истинной – не одно и то же

Слайд 10





«в нынешней ситуации беспокоит не столько некомпетентность некоторых философских интерпретаций таких известных результатов, как теорема Гёделя, сколько нежелание (или неспособность) многих философов, следуя Сократу, признать всю меру своей некомпетентности» 
«в нынешней ситуации беспокоит не столько некомпетентность некоторых философских интерпретаций таких известных результатов, как теорема Гёделя, сколько нежелание (или неспособность) многих философов, следуя Сократу, признать всю меру своей некомпетентности»
Описание слайда:
«в нынешней ситуации беспокоит не столько некомпетентность некоторых философских интерпретаций таких известных результатов, как теорема Гёделя, сколько нежелание (или неспособность) многих философов, следуя Сократу, признать всю меру своей некомпетентности» «в нынешней ситуации беспокоит не столько некомпетентность некоторых философских интерпретаций таких известных результатов, как теорема Гёделя, сколько нежелание (или неспособность) многих философов, следуя Сократу, признать всю меру своей некомпетентности»

Слайд 11





В работе П.Руильхана и С.Бозона [2006] приводится доказательство теоремы о том, что если L – фундаментальный IF язык, то понятия логической истинности, импликации и эквивалентности для L неопределимы какой бы то ни было формулой конечного порядка, имеющей ту же самую сигнатуру, что и L
В работе П.Руильхана и С.Бозона [2006] приводится доказательство теоремы о том, что если L – фундаментальный IF язык, то понятия логической истинности, импликации и эквивалентности для L неопределимы какой бы то ни было формулой конечного порядка, имеющей ту же самую сигнатуру, что и L
Иными словами, даже если понятие истинности для языка L, стандартным образом (по Тарскому) сконструированное в метаязыке М, адекватно переводимо обратно в язык L, как утверждает Хинтикка, – что с того? «Мы, носители языка М, будем знать [что оно действительно адекватно], но они [носители языка L] – не смогут этого знать»
Описание слайда:
В работе П.Руильхана и С.Бозона [2006] приводится доказательство теоремы о том, что если L – фундаментальный IF язык, то понятия логической истинности, импликации и эквивалентности для L неопределимы какой бы то ни было формулой конечного порядка, имеющей ту же самую сигнатуру, что и L В работе П.Руильхана и С.Бозона [2006] приводится доказательство теоремы о том, что если L – фундаментальный IF язык, то понятия логической истинности, импликации и эквивалентности для L неопределимы какой бы то ни было формулой конечного порядка, имеющей ту же самую сигнатуру, что и L Иными словами, даже если понятие истинности для языка L, стандартным образом (по Тарскому) сконструированное в метаязыке М, адекватно переводимо обратно в язык L, как утверждает Хинтикка, – что с того? «Мы, носители языка М, будем знать [что оно действительно адекватно], но они [носители языка L] – не смогут этого знать»

Слайд 12





С. Феферман (2006): надо различать синтаксический и семантический смыслы «первопорядковости» 
С. Феферман (2006): надо различать синтаксический и семантический смыслы «первопорядковости»
Описание слайда:
С. Феферман (2006): надо различать синтаксический и семантический смыслы «первопорядковости» С. Феферман (2006): надо различать синтаксический и семантический смыслы «первопорядковости»

Слайд 13





В IF-языках одно и то же суждение, использующее индивидную переменную х, можно трактовать и как утверждение об объекте х, и как утверждение о функции выбора, соответствующей этому объекту
В IF-языках одно и то же суждение, использующее индивидную переменную х, можно трактовать и как утверждение об объекте х, и как утверждение о функции выбора, соответствующей этому объекту
Казалось бы, интуиции GTS делают более предпочтительной интерпретацию в терминах стратегий
Почему же мы должны принимать объектную интерпретацию? 
Действительно ли стратегии и функции выбора – одно и то же?
Описание слайда:
В IF-языках одно и то же суждение, использующее индивидную переменную х, можно трактовать и как утверждение об объекте х, и как утверждение о функции выбора, соответствующей этому объекту В IF-языках одно и то же суждение, использующее индивидную переменную х, можно трактовать и как утверждение об объекте х, и как утверждение о функции выбора, соответствующей этому объекту Казалось бы, интуиции GTS делают более предпочтительной интерпретацию в терминах стратегий Почему же мы должны принимать объектную интерпретацию? Действительно ли стратегии и функции выбора – одно и то же?

Слайд 14





Информационная независимость интуитивно понимается как эпистемическое понятие
Информационная независимость интуитивно понимается как эпистемическое понятие
Можно ли это понятие анализировать в терминах существования / несуществования определенного комбинаторного объекта (функции выбора)? 
Хинтикка: существование сколемовских функций вытекает из Аксиомы Выбора, которая является логическим принципом
Согласуется ли такое (комбинаторное) понимание стратегий с философскими интуициями GTS?
Описание слайда:
Информационная независимость интуитивно понимается как эпистемическое понятие Информационная независимость интуитивно понимается как эпистемическое понятие Можно ли это понятие анализировать в терминах существования / несуществования определенного комбинаторного объекта (функции выбора)? Хинтикка: существование сколемовских функций вытекает из Аксиомы Выбора, которая является логическим принципом Согласуется ли такое (комбинаторное) понимание стратегий с философскими интуициями GTS?

Слайд 15


Универсалистская парадигма в логике и принцип композициональности Горбатов В.В. ст. преподаватель ф-та философии ГУ-ВШЭ. - презента, слайд №15
Описание слайда:



Похожие презентации
Mypresentation.ru
Загрузить презентацию