Универсалистская парадигма в логике и принцип композициональности Горбатов В.В. ст. преподаватель ф-та философии ГУ-ВШЭ. - презента
Содержание
- 2. Две парадигмы в логике lingua characterica логический символизм как универсальный язык, вне пределов которого ничего сказать
- 3. Две парадигмы в логике булев «универсальный класс» или де моргановский «универсум рассуждения» могут свободно изменяться по
- 4. Язык как универсальный посредник Мартин Куш [1989]: парадигма lingua universalis вышла далеко за пределы собственно логики
- 5. Линейная нотация В самой структуре общепринятой логической нотации заложено сильное синтаксическое ограничение Области действия логических форматоров
- 6. Нестандартные кванторы и теоретико-игровая семантика Каждый х знает некоторого у лучше, чем каждый z знает некоторого
- 7. IF-логика То же самое можно записать в терминах сколемовских функций (∃f)(∃g)(∀x)(∀z) F[x,f(x),z,g(z)] И в терминах независимых
- 8. Некомпозициональность IF-логики Ходжес и Камерон [1997] доказали теорему о принципиальной возможности композициональной семантики для IF языков
- 9. Вызов ограничительным результатам Гёделя и Тарского В языке IF-логики выразимы T-эквивалентности Тарского Разумеется, под «определением истинности»
- 10. Вызов ограничительным результатам Гёделя и Тарского «в нынешней ситуации беспокоит не столько некомпетентность некоторых философских интерпретаций
- 11. «Проклятье Тарского» В работе П.Руильхана и С.Бозона [2006] приводится доказательство теоремы о том, что если L
- 12. Является ли IF-логика первопорядковой? С. Феферман (2006): надо различать синтаксический и семантический смыслы «первопорядковости» «Шаг от
- 13. Является ли IF-логика первопорядковой? В IF-языках одно и то же суждение, использующее индивидную переменную х, можно
- 14. Стратегии – каков их онтологический статус? Информационная независимость интуитивно понимается как эпистемическое понятие Можно ли это
- 16. Скачать презентацию