Теория Логических Типов ↑
metanymous в посте Openmeta (оригинал в ЖЖ)
Во-первых, следует указать на субъекты Теории Логических Типов: теория утверждает, что никакой класс в формальном логическом или математическом рассуждении не может быть членом самого себя; что класс или классы не могут быть одним из классов, являющихся их членами; что имя не есть поименованная вещь; что "Джон Бейтсон" - это класс, единственным членом которого является тот мальчик; и т.д.
Эти утверждения могут показаться тривиальными и даже очевидными, но мы увидим далее, что теоретики-бихевиористы не останавливаются перед совершением ошибок, в точности аналогичных ошибке классификации имени вместе с поименованной вещью, т.е. ошибок логической типизации.
Это все равно, что съесть меню вместо обеда.
Несколько менее очевидно следующее теоретическое утверждение: класс не может быть одной из тех единиц, которые правильно классифицированы как его не-члены.
Если мы классифицируем все стулья как класс стульев, мы можем далее заметить, что столы и лампы являются членами обширного класса "не-стульев", однако мы совершим ошибку в формальном дискурсе, если сочтем класс стульев единицей в классе не-стульев.
Поскольку никакой класс не может быть членом самого себя, класс не-стульев явно не может быть не-стулом. Простое рассмотрение симметрии может быть достаточно убедительным для читателя-нематематика:
a) класс стульев принадлежит к тому же порядку абстракции (т.е. логическому типу), что и класс не-стульев;
b) раз класс стульев не является стулом, то, соответственно, класс не-стульев не является не-стулом.
И наконец, теория утверждает, что если эти простые правила формального дискурса нарушаются, то возникают парадоксы и дискурс становится недействительным.
Таким образом, теория имеет дело с весьма абстрактными материями и впервые возникла в абстрактном мире логики. Если в этом мире демонстрируется, что последовательность утверждений генерирует парадокс, то вся структура аксиом, теорем и т.д., причастная к генерированию этого парадокса, отрицается и уничтожается. Ее как будто никогда не существовало. Но в реальном мире (или, по крайней мере, в наших описаниях реального мира) всегда присутствует время, и что-то, что однажды существовало, уже нельзя тотально отрицать подобным образом. Компьютер, сталкивающийся с парадоксом из-за ошибок в программе, сам не исчезает.
В логических "если... то..." не содержится времени. В компьютере же причины и следствия используются для симуляции логических "если... то..."; причем сами последовательности причин и следствий с необходимостью включают время. И напротив, можно сказать, что при научных рассуждениях логические "если... то..." используются для симуляции "если... то..." причин и следствий.
Компьютер в действительности никогда не сталкивается с логическим парадоксом, а только с симуляцией парадокса посредством цепочек причин и следствий. Поэтому компьютер не исчезает. Он просто "зависает".
Фактически существуют важные различия между миром логики и феноменальным миром, и эти различия нужно принимать во внимание всегда, когда наши аргументы базируются на существующей между ними важной, но частичной аналогии.
Тезисом настоящей статьи является то, что эта частичная аналогия может дать ученым-бихевиористам важный ключ к классификации феноменов, связанных с обучением. Следовало бы применить что-то вроде теории типов именно в области коммуникации животных и механизмов.
К сожалению, подобные вопросы не слишком часто обсуждаются в зоологических лабораториях, антропологических полевых лагерях или на собраниях психиатров. Поэтому необходимо показать, что эти абстрактные рассуждения важны для ученых-бихевиористов.
2 комментария
сначала старые сначала новые
![[userpic]](http://localhost:4000/images/none.gif)
a) класс стульев принадлежит к тому же порядку абстракции (т.е. логическому типу), что и класс не-стульев;
b) раз класс стульев не является стулом, то, соответственно, класс не-стульев не является не-стулом.
----------------------
Вспоминается, как на первом курсе аспирантуры наш философ с трибуны конференц-зала вещал трехсотенной аудитории что-то подобное. Объектом головоломных суждений служило кресло на той же трибуне. В аудитории - полный ступор.
Товарищ лектор совершал руками характерные круговые движения вокруг своей головы, с завораживающей конгруентностью, выказывая головокружительный ход мысли. Зал искренне недоумевал. Вопросов – ноль.
Тезисом настоящей статьи является то, что эта частичная аналогия может дать ученым-бихевиористам важный ключ к классификации феноменов, связанных с обучением. Следовало бы применить что-то вроде теории типов именно в области коммуникации животных и механизмов.
---------------------
Ага, следует.
Поэтому необходимо показать, что эти абстрактные рассуждения важны для ученых-бихевиористов.
------------------
...И лучшим способом достичь этого для Бейтсона было бы поставить их в тупик, приведя Три Конкретных Примера, когда последовательные размышления заходят в тупик по причине неосознаваемой игры с логическими уровнями.
...А также как можно более обезопасить их головы от последствий и опасений таких вот абстрактных размышлений (применительно к "Ангелы страшатся" такое экологичное замечание исходило когда-то только от Metanymous).
b) раз класс стульев не является стулом, то, соответственно, класс не-стульев не является не-стулом.
----------------------
Вспоминается, как на первом курсе аспирантуры наш философ с трибуны конференц-зала вещал трехсотенной аудитории что-то подобное. Объектом головоломных суждений служило кресло на той же трибуне. В аудитории - полный ступор.
Товарищ лектор совершал руками характерные круговые движения вокруг своей головы, с завораживающей конгруентностью, выказывая головокружительный ход мысли. Зал искренне недоумевал. Вопросов – ноль.
Тезисом настоящей статьи является то, что эта частичная аналогия может дать ученым-бихевиористам важный ключ к классификации феноменов, связанных с обучением. Следовало бы применить что-то вроде теории типов именно в области коммуникации животных и механизмов.
---------------------
Ага, следует.
Поэтому необходимо показать, что эти абстрактные рассуждения важны для ученых-бихевиористов.
------------------
...И лучшим способом достичь этого для Бейтсона было бы поставить их в тупик, приведя Три Конкретных Примера, когда последовательные размышления заходят в тупик по причине неосознаваемой игры с логическими уровнями.
...А также как можно более обезопасить их головы от последствий и опасений таких вот абстрактных размышлений (применительно к "Ангелы страшатся" такое экологичное замечание исходило когда-то только от Metanymous).
Вспоминается, как на первом курсе аспирантуры наш философ с трибуны конференц-зала вещал трехсотенной аудитории что-то подобное. Объектом головоломных суждений служило кресло на той же трибуне. В аудитории - полный ступор.
Товарищ лектор совершал руками характерные круговые движения вокруг своей головы, с завораживающей конгруентностью, выказывая головокружительный ход мысли. Зал искренне недоумевал. Вопросов – ноль.
А ты загляни немного дальше в текст и увидишь какие трюки получаются из-за перепутивания стульев и мебели в классификациях.
Тезисом настоящей статьи является то, что эта частичная аналогия может дать ученым-бихевиористам важный ключ к классификации феноменов, связанных с обучением. Следовало бы применить что-то вроде теории типов именно в области коммуникации животных и механизмов.
---------------------
Ага, следует.
Да, следует и без всякого юмора.
...И лучшим способом достичь этого для Бейтсона было бы поставить их в тупик, приведя Три Конкретных Примера,когда последовательные размышления заходят в тупик по причине неосознаваемой игры с логическими уровнями.
...А также как можно более обезопасить их головы от последствий и опасений таких вот абстрактных размышлений (применительно к "Ангелы страшатся" такое экологичное замечание исходило когда-то только от Metanymous).
Блин, ну ты бегло, хотя бы, - прочитай статью.
Товарищ лектор совершал руками характерные круговые движения вокруг своей головы, с завораживающей конгруентностью, выказывая головокружительный ход мысли. Зал искренне недоумевал. Вопросов – ноль.
А ты загляни немного дальше в текст и увидишь какие трюки получаются из-за перепутивания стульев и мебели в классификациях.
Тезисом настоящей статьи является то, что эта частичная аналогия может дать ученым-бихевиористам важный ключ к классификации феноменов, связанных с обучением. Следовало бы применить что-то вроде теории типов именно в области коммуникации животных и механизмов.
---------------------
Ага, следует.
Да, следует и без всякого юмора.
...И лучшим способом достичь этого для Бейтсона было бы поставить их в тупик, приведя Три Конкретных Примера,когда последовательные размышления заходят в тупик по причине неосознаваемой игры с логическими уровнями.
...А также как можно более обезопасить их головы от последствий и опасений таких вот абстрактных размышлений (применительно к "Ангелы страшатся" такое экологичное замечание исходило когда-то только от Metanymous).
Блин, ну ты бегло, хотя бы, - прочитай статью.