Идея перевода в контексте современного деконструктивизмаScientific and Educational InitiativeВ данной статье рассмотрена проблема перевода как философская проблема, решающая способы
взаимосвязи означающего и означаемого. Проанализированы характерные особенности философской аналитики языка в деконструктивистской герменевтики поструктурализма. Аналитика языка, в
соответствии с мотивами философского постмодернистского мышления, отрицает феноменологические и герменевтические проекты философии языка. Подобная тенденция наблюдается, прежде всего, в работах Ж.
Делёза и Ж. Деррида, которые продолжают в какой-то степени европейскую традицию анализа языка. Язык,
как и целостность текста, в ситуации стилевой многозначимости распадается на множество «всевозможных значимостей» и затемняется тематикой разорванности смысла. Теоретики поструктурализма считают, что язык не является жесткой семантической системой знаков, возможны лишь бесконечные, зависящие от контекста, смысловые вариации.
В статье обоснован тот факт, что исходной точкой любого структуралистского объяснения является указание
на неявную упорядоченность языкового поведения, так как именно она связывает поиск лежащих в основании
осмысленной и значимой деятельности более глубоких смыслов и внеличностных схем языкового a priori.
тематизацияPeter Korolevcловарная статья А.П.Огурцова в кн.: Энциклопедия эпистемологии и философии науки. М.: «Канон+», РООИ «Реабилитация». И.Т. Касавин. 2009
Аудит социальных процессов, часть 4lukoshkaПрезентация Сергея Переслегина 28 февраля 2016 г.
Школа аналитики и Онтологический верстак.
Анонс занятия: http://sociosoft.ru/news/OV_28_fev
Универсалистская парадигма в логике и композициональностьVictor Gorbatovпрезентация доклада, сделанного на конференции "Философия. Язык. Культура." (10 марта 2010, ГУ-ВШЭ)
Конструируем культурный канон. Лекция №11. Интерпретации квантовой механикиlukoshkaСергей Переслегин. Конструируем культурный канон. Одиннадцатая лекция: "Интерпретации квантовой механики".
"Конструируем культурный канон" - это двенадцать видеолекций, посвященных Первой Мировой войне и развитию физического знания.
Видео лекции: https://youtu.be/i10umcjoiaY
Лекция №11. Интерпретации квантовой механики.
Модель скрытых параметров и ее стратегические недостатки. Нелокальные интерпретации. Непричинные интерпретации. Структура пространства интерпретаций. Что такое "интерпретация квантовой механики"? Квантовый наблюдатель и проблема свободы воли.
Изучаемые техники: интерпретирование сложного, "загоризонтная локация".
Прочитать о проекте и поддержать проект можно здесь: https://planeta.ru/campaigns/pereslegin
Купить запись семинара Котлы-2018 и поддержать проект: https://vk.com/sociosoft?w=product-9685658_2805157%2Fquery
Наши контакты: http://sociosoft.ru/
http://psychotechnology.ru/
https://vk.com/sociosoft
https://www.facebook.com/groups/sociosoft
По вопросам сотрудничества, пишите info@sociosoft.ru.
Инструменты социального исследования, часть 3lukoshkaПрезентация Сергея Переслегина 8 ноября 2015 г.
Школа аналитики и Онтологический верстак.
Анонс занятия: http://sociosoft.ru/news/OV_8_nov
Аудит социальных процессов, часть 4lukoshkaПрезентация Сергея Переслегина 28 февраля 2016 г.
Школа аналитики и Онтологический верстак.
Анонс занятия: http://sociosoft.ru/news/OV_28_fev
Универсалистская парадигма в логике и композициональностьVictor Gorbatovпрезентация доклада, сделанного на конференции "Философия. Язык. Культура." (10 марта 2010, ГУ-ВШЭ)
Конструируем культурный канон. Лекция №11. Интерпретации квантовой механикиlukoshkaСергей Переслегин. Конструируем культурный канон. Одиннадцатая лекция: "Интерпретации квантовой механики".
"Конструируем культурный канон" - это двенадцать видеолекций, посвященных Первой Мировой войне и развитию физического знания.
Видео лекции: https://youtu.be/i10umcjoiaY
Лекция №11. Интерпретации квантовой механики.
Модель скрытых параметров и ее стратегические недостатки. Нелокальные интерпретации. Непричинные интерпретации. Структура пространства интерпретаций. Что такое "интерпретация квантовой механики"? Квантовый наблюдатель и проблема свободы воли.
Изучаемые техники: интерпретирование сложного, "загоризонтная локация".
Прочитать о проекте и поддержать проект можно здесь: https://planeta.ru/campaigns/pereslegin
Купить запись семинара Котлы-2018 и поддержать проект: https://vk.com/sociosoft?w=product-9685658_2805157%2Fquery
Наши контакты: http://sociosoft.ru/
http://psychotechnology.ru/
https://vk.com/sociosoft
https://www.facebook.com/groups/sociosoft
По вопросам сотрудничества, пишите info@sociosoft.ru.
Инструменты социального исследования, часть 3lukoshkaПрезентация Сергея Переслегина 8 ноября 2015 г.
Школа аналитики и Онтологический верстак.
Анонс занятия: http://sociosoft.ru/news/OV_8_nov
Основания математикиlukoshkaПрезентация Сергея Переслегина 31 января 2016 г.
Школа аналитики и Онтологический верстак.
Анонс занятия: http://sociosoft.ru/news/OV_31_janv
Многомировая теория истинностиAlexander BoldachevБолдачев Александр. Многомировая теория истинности
http://philosophystorm.org/article/aleksandr-boldachev-mnogomirovaya-teoriya-istinnosti
Alexander Boldachev. Many-worlds theory of truth // Studia Humana. Volume 1:1 (2012), pp. 3–9
Epistemic Taxonomy of Assertionform_philThis document presents an epistemic taxonomy of assertions based on elements of epistemic and doxastic logic. It discusses types of assertions and their theoretical difficulties, elements of epistemic/doxastic models including possible worlds, relations, and truth conditions, and provides examples to illustrate concepts like an agent's knowledge, lack of knowledge, questioning, and common belief. The goal is to develop a framework to categorize assertions based on speakers' and hearers' epistemic attitudes.
Relative Charityform_philThis document discusses an alternative approach to logic called the logic of acceptance and rejection (AR4). It begins by outlining three views on logic: logical absolutism, relativism, and relative charity. It then introduces AR4, which treats logic as involving questions, answers, and speech acts of assertion and rejection. Under AR4, a proposition can be answered by either asserting or rejecting it in response to the questions of whether it is the case and whether it is not the case. This moves beyond the traditional view of logic as only involving truth. The document outlines the components of AR4 and how it represents logic using a four-valued semantics involving acceptance and rejection.
Inaccesible worldsform_philThis document discusses the development of modal logic systems that incorporate notions of logical accessibility and inaccessibility between possible worlds. It proposes operators to represent logical necessity (Ω), necessity in a sense (), logical inaccessibility (), and inaccessibility in a sense (). It explores properties like seriality and duality between these operators. It also discusses Cocchiarella's condition on modal semantics, transcendental necessity vs. transcendency, forbidding redoubling inaccessibility in a sense, and the need for ontological analysis of quantified modal logics.
Schang which logic for iterativesform_philThis document discusses iterative verbs in modal logic. It defines iterative verbs as those that can apply repeatedly to oneself, unlike verbs of repeated physical actions. It examines how different modal logics, like S4 and S5, treat iterative concepts. Some key points made:
- Iterative verbs include believe, know, doubt, want, which are propositional attitudes.
- Epistemic logic's theorem of positive introspection is that if one knows p, they know they know p.
- Boulic logic examines desires to desire something.
- Grammatical distinctions between indicative/factive vs. subjunctive/hypothetical usages and use of "that" vs. "whether".
Dialecticsform_philThe document discusses Lawvere's development of categorical logic and its relationship to Hegelian dialectics. It provides context on Lawvere's philosophical motivations for pursuing objectivity in logic through categorical logic. Specifically, it discusses Lawvere's view that adjoint functors can express Hegelian notions of dialectical contradiction, and his goal of grounding logic ontologically without restoring dogmatism. The document also summarizes some of the key concepts in Lawvere's Elementary Theory of the Category of Sets, which laid the foundation for categorical logic without relying on set-membership.
Building game theoretic models of conversationsform_philThis document proposes game-theoretic models of conversations by representing them as sequences of speech acts and physical acts performed by players. Previous models are inadequate because they only consider small parts of conversations or have other limitations. The proposed models view a conversation as developing along a subgame perfect equilibrium path through backwards induction. Both perfect and incomplete information models are suggested to more fully capture conversations using tools from game theory. Weaknesses include not directly addressing utterance understanding and assuming discrete time.
Kudrinski jaeger egtform_philThe document discusses how evolutionary game theory can be used to model the development of case marking patterns in language through the interaction of speakers attempting to communicate effectively with minimal resources and hearers attempting to correctly understand utterances. It analyzes 16 possible case marking patterns and finds that only four systems involving differential treatment of arguments are evolutionarily stable strategies that persist over time.
усвоение импликатур детьмиform_philThis document summarizes the results of 4 experiments on children's understanding of scalar implicatures. Experiment 1 found that 7-year-olds were more likely than adults to accept logically true but pragmatically misleading statements. Experiment 2 found that additional training increased children's rejection of such statements. Experiment 3 found this effect did not persist without retraining. Experiment 4 found that providing rich contextual information allowed children to perform similarly to adults.
Embedded implicaturesform_philThis document discusses linguistic pragmatics and experiments testing theories of scalar implicatures. It describes experiments that tested whether scalar implicatures are derived in embedded contexts, and whether rates of implicature derivation differ between inference tasks and verification tasks. The experiments found lower rates of implicature derivation in embedded contexts compared to simple sentences, and higher rates with inference tasks than verification tasks. The results are discussed in relation to conventionalist theories of implicature derivation.
Vasiliev mordukhaiform_philThis document discusses the metalogic concept of hypersyllogisms developed by D. Mourdoukhay-Boltovskoy in 1919-1926. Metalogic relates to classical logic similarly to how four-dimensional space relates to usual space, preserving laws of propositional logic but replacing class logic laws with more general ones. A hyperproposition relates not two but three terms - a species, genus, and hypergenus. Hyperclasses have two duals rather than one, and three operations rather than two. Hyperpropositions and their logic are explored through diagrams and their translation to predicate calculus and linkage to N. Vasiliev's imaginary logic.
1. ЛОГИКАЗАПРЕЩЕННЫХЦВЕТОВ
Е.Г.Драгалина-Черная
Семинар «Формальная философия»
Философский факультет НИУ ВШЭ
23 ноября 2012 года
2. «Among the colours: Kinship And
contrAst. (And thAt is logic) »
“there cAn be A bluish green but
not A reddish green”
Ludwig Wittgenstein, Remarks on Colour
3. Цвет как квалиа
«Атмосфера,
окружающая эту
проблему, кошмарная.
Плотный туман (нашего)
языка сгущается вокруг
ключевого пункта.
Пробраться сквозь него
почти невозможно»
Л.Витгенштейн. Заметки к лекциям об
«индивидуальном переживании» и
«чувственных данных»
4. Альфред Тарский
о логическом следовании
Дедуктивная система S в языке
L есть множество всех
логических следствий
некоего множества X
предложений L.
Предложение Х логически
следует из предложений
класса К, если и только
если каждая модель класса
К является также моделью
предложения Х.
5. Критерий инвариантности для логических
понятий
«Каждое отношение между объектами (индивидами,
классами, отношениями и т.д.), которое может быть
выражено чисто логическими средствами, инвариантно
относительно любого взаимно-однозначного
отображения “мира” (то есть класса всех индивидов) на
себя, и эта инвариантность логически доказуема»
А.Тарский, А.Линденбаум «Об ограниченности средств выражения
дедуктивных теорий», 1936
« мы называем некое понятие
“логическим”, если оно инвариантно
относительно любых возможных
взаимно-однозначных преобразований
мира на себя»
А.Тарский «Что такое логические понятия?»,
1966
6. От Клейна к Тарскому
Геометрическая инвариантность: Геометрическое понятие О
инвариантно относительно 1-1 трансформации геометрического
пространства на себя, сохраняющей Х
F.Klein’s Erlanger Program (1872)
Логическими являются понятия, инвариантные относительно самой
обширной группы неструктурных преобразований — любых
перестановок индивидов в области
A.Tarski (1966)
7. Витгенштейн о логической общезначимости
«Быть общим— это ведь только значит:
случайно иметь значение для всех
предметов. Необобщенное предложение
может быть тавтологичным точно так же,
как и обобщенное» (6.1231).
«Логическую общезначимость можно было
бы назвать существенной, в
противоположность случайной
общезначимости, которая выражается,
например, в предложении «все люди
смертны». Предложения типа
расселовской «аксиомы сводимости» не
являются логическими предложениями, и
этим объясняется то, что мы чувствуем:
подобные предложения, даже если они
истинны, могут быть истинными только
благодаря счастливой случайности»
(6.1232).
8. Витгенштейн о логической структуре цвета
«Логические предложения
описывают строительные леса
мира, или, скорее, изображают
их. Они ни о чем не
«трактуют»» (6.124)
«Поскольку существует только логическая
необходимость, постольку также существует
только логическая невозможность (6.375).
Например, для двух цветов невозможно
находиться одновременно в одном и том же месте
в поле зрения, и именно логически невозможно,
так как это исключается логической структурой
цвета (6.3751)»
9. Витгенштейн о формальных свойствах и отношениях
«Мы можем говорить в некотором
смысле о формальных
свойствах объектов и
атомарных фактов, или о
свойствах структуры фактов, и
в этом же смысле — о
формальных отношениях и
отношениях структур. (Вместо
“свойство структуры” я также
говорю “внутреннее свойство”,
вместо “отношения структур”
— “внутреннее отношение”…)
Существование подобных
свойств и отношений не может,
однако, утверждаться
предложением, но оно
проявляется в предложениях,
которые изображают факты и
говорят о рассматриваемых
объектах (4.122)»
10. Витгенштейн о внутренних отношениях цветов
«Свойство является внутренним, если
немыслимо, что объект им не обладает. (Этот
голубой цвет и тот стоят eo ipso во
внутреннем отношении более светлого и
более темного. Немыслимо, чтобы эти два
объекта не стояли в этом отношении друг к
другу.) (4.123)…
Существование внутреннего
свойства возможного положения
вещей не выражается
предложением, но оно выражает
себя в предложении, изображающем
это положение вещей, посредством
внутреннего свойства данного
предложения (4.124)»
11. Проблема исключения цветов
«Ясно, что логическое произведение двух элементарных
предложений не может быть ни тавтологией, ни
противоречием. Утверждение, что точка в поле зрения в
одно и то же время имеет два различных цвета, есть
противоречие (6.3751)» Трактат
«Взаимное исключение
неразложимых высказываний о
степени противоречит мнению,
которое было опубликовано
мною несколько лет назад и
которое с необходимостью
обусловливало, что атомарные
высказывания не могут
исключать друг друга»
‘Некоторые замечания о логической
форме’ (1929)
12. Апостериорные тавтологии
Витгенштейна
К корректному анализу логической формы атомарных
предложений реально придти «только посредством того,
что можно было бы назвать логическим исследованием
самих феноменов, то есть в определенном смысле a
posteriori, а не строя предположения о возможностях a
priori» “
Отличительная черта свойств, которые
допускают градацию, «именно в том, что
одна их степень исключает любую другую.
Один цветовой оттенок не может иметь две
различные степени яркости или красноты,
тон не может иметь две различные силы и
т.д. И важный пункт здесь заключается в
том, что эти замечания не выражают опыт,
но в некотором смысле являются
тавтологиями»
‘Некоторые замечания о логической форме’ (1929)
13. С Витгенштейном от Тарского к Клейну
«То, что образ должен иметь общим с действительностью,
чтобы он мог отображать её на свой манер – правильно
или ложно есть его форма отображения (2.17). Образ
может отображать любую действительность, форму
которой он имеет. Пространственный образ – все
пространственное, цветной – все цветное и т.п. (2.171)»
14. «Заметки о цвете»: «puzzle proposition»
“there can be a
bluish green but not
a reddish green”
Remarks on Colour
15. Хилари Патнэм о красном, зеленом и логическом
анализе
«Загадочное» предложение Витгенштейна
аналитическое.
Red(F) = F есть оттенок красного
Grn(F) = F есть оттенок зеленого
«Ничто не может быть одновременно
оценено как оттенок красного и оттенок
зеленого (т.е. «этот оттенок красного» и
«этот оттенок зеленого» никогда не
используются как синонимы)»
Putnam H. Reds, Greens, and Logical Analysis (1956)
«Не быть красным – это вероятно часть
понятия быть зеленым».
Hardin L. Color for Philosophers (1988)
16. Геометрия как грамматика
«Высказывание «в одном месте в одно время
есть пространство только для одного
цвета» является, конечно,
замаскированным высказыванием
грамматики. Его отрицание не является
противоречием; скорее оно противоречит
правилу принятой грамматики. «Красное и
зеленое не бывают вместе в одном месте»
не означает, что в реальности они никогда
не встречаются вместе, скорее оно
означает, что бессмысленно говорить, что
они присутствуют на одном месте в одно
время»
"геометрия визуального пространства есть синтаксис высказываний
об объектах в визуальном пространстве"
«Подлинным критерием для структуры являются в точности те
высказывания, которые имеют для неё смысл, а не те, которые
истинны. Поиск их - метод философии»
Wittgenstein, Nachlass (written in early 1929)
17. Яаакко Хинтикка:
функции vs. постулаты значения
“можно предположить, что понятие
цвета представляется не с помощью
класса цветовых предикатов, а как
функция, которая отображает точки в
визуальном пространстве в цветовое
пространство.
Тогда соответствующими логическими
формами для «Это пятно красное» и
«Это пятно зеленое» будут c(a) = r и
c(a) = g, где r и g являются двумя
различными объектами: красный и
зеленый… Логическая несовместимость
двух приписываний цвета
демонстрируется их логической
репрезентацией: функция не может
иметь два различных значения для
одного и того же аргумента в силу ее
логической формы, то есть ее
логического типа»
Hintikka J. and Hintikka M.B. Some Remarks on
(Wittgensteinian) Logical Form (1983)
18. Эвальд Геринг:
теория цветооппонентности (1878)
«Чтобы “увидеть” цвета, которые такие люди, как я, обычно
не воспринимают, наши бедные колбочки нуждаются в
расширении интеллекта и знаний, во внимании и сильном
желании исполнить свое стремление»
О.Сакс. Антрополог на Марсе (1995)
21. «Победитель получает все» - игры
«Мы предполагаем, что популяции
нейронов конкурируют за «право на
жизнь» так же, как животные разных
видов, если занимают одну
экологическую нишу - с той разницей,
что проигрыш приводит к «тишине»
(отсутствию информации), а не к
вымиранию. Компьютерное
моделирование такой «борьбы»
воспроизводит механизм классической
цветооппонентности - для каждой
конкретной длины волн «побеждают»
либо «красные», либо «зеленые»
нейроны (аналогично для желтого и
синего цветов). Но если удастся,
например, нарушить связи между
нейронными популяциями, то ранее
«несовместимые» оттенки смогут
сосуществовать»
Billock, Vincent A.; Tsou, Brian H. (2010). "Seeing
22. Логика с независимыми платежами
Рayoff independence (PI logic)
Harsanyi, J., 1967. Games with incomplete information played by
‘Bayesian’ players. Part I: The basic model, Management Science
14, 159–182
Pietarinen A.-V. Independence-Friendly Logic and Games of
Incomplete Information (2006)
Pietarinen A.-V. and Sandu G. IF Logic, Game-Theoretical
Semantics, and the Philosophy of Science (2009).
23. Меблируя логическое пространство
«если предложение содержит
форму сущности, о которой оно
говорит, тогда возможно, чтобы
эти два предложения
сталкивались в самой этой
форме. Каждое из предложений
“Браун сейчас сидит на этом
стуле” и “Джонс сейчас сидит на
этом стуле” пытаются, в
некотором смысле, усадить свое
подлежащее на этот стул. Но
логическое произведение этих
предложений усаживает их обоих
здесь и сейчас, а это ведет к
столкновению, к взаимному
исключению этих терминов».
L.Wittgenstein ‘Some Remarks on Logical Form’
24. Переговоры и типы пространства
Л.Витгенштейн «Philosophical Remarks»:
цветовое пространство (§1),
слуховое пространство (§42),
тактильное пространство (§214),
пространство боли (§82),
визуальное пространство (§206),
кинестетическое пространство (§73),
пространство ориентации (§207).
25. Витгенштейн и нейронаука
"Я не стремлюсь к той же цели, что и
ученые, и мой образ мышления
отличается от их образа мышления".
"Психологические понятия - это просто
житейские понятия. Они не являются
понятиями, введенными наукой для своих
собственных целей, подобно понятиям
физики и химии. Психологические понятия
так же связаны с понятиями точных наук,
как понятия научной медицины с
понятиями старых женщин, проводящих
свое время в уходе за больными»
Wittgenstein, Remarks on the Philosophy of Psychology
26. «Цвет из иных миров»
«Даже если существовали бы люди, для
которых естественно непротиворечивым
образом использовать выражения
«красновато-зеленый» или «желтовато-
голубой» и которые возможно обладают
способностями, которых мы лишены, мы
все же не обязаны были бы признать, что
они видят цвета, которых мы не видим.
Прежде всего, не существует
общепринятого критерия того, что есть
цвет, если только это не один из наших
цветов»
Remarks on Colour
“It was just a colour out of space — a frightful
messenger from unformed realms of infinity beyond
all Nature as we know it; from realms whose mere
existence stuns the brain and numbs us with the
black extra-cosmic gulfs it throws open before our
frenzied eyes”.
Н.Р.Lovecraft The Colour Out of Space
27. Воображаемая логика
«запрещенных» цветов
« Закон противоречия есть сокращенная
формула, содержащая в себе
бесчисленные факты, вроде того, что
красное несовместимо с синим, белым,
черным и т.д., тишина несовместима с
шумом, покой с движением и т.д.….
Закон противоречия есть закон
реальный, ибо он обращается не к
мыслям, а к реальности, не к суждениям,
а к объектам… Красный предмет не
может быть синим, круг не может быть
квадратом – все эти положения, которые
вытекают из закона противоречия, суть
высказывания относительно красного
предмета, круга, все это положения,
характеризующие эти объекты»
Н.А.Васильев. Воображаемая (неаристотелева) логика
(1912)