[userpic]

Re: Теория Логических Типов 

bionycks в посте Openmeta (оригинал в ЖЖ)

Старая новая парадигма: поиск наименьших личностных усилий
  Старая новая парадигма: поиск наименьших личностных усилий ailev
    ТКП anglerhood
a) класс стульев принадлежит к тому же порядку абстракции (т.е. логическому типу), что и класс не-стульев;
b) раз класс стульев не является стулом, то, соответственно, класс не-стульев не является не-стулом.
----------------------
Вспоминается, как на первом курсе аспирантуры наш философ с трибуны конференц-зала вещал трехсотенной аудитории что-то подобное. Объектом головоломных суждений служило кресло на той же трибуне. В аудитории - полный ступор.
Товарищ лектор совершал руками характерные круговые движения вокруг своей головы, с завораживающей конгруентностью, выказывая головокружительный ход мысли. Зал искренне недоумевал. Вопросов – ноль.
Тезисом настоящей статьи является то, что эта частичная аналогия может дать ученым-бихевиористам важный ключ к классификации феноменов, связанных с обучением. Следовало бы применить что-то вроде теории типов именно в области коммуникации животных и механизмов.
---------------------
Ага, следует.
Поэтому необходимо показать, что эти абстрактные рассуждения важны для ученых-бихевиористов.
------------------
...И лучшим способом достичь этого для Бейтсона было бы поставить их в тупик, приведя Три Конкретных Примера, когда последовательные размышления заходят в тупик по причине неосознаваемой игры с логическими уровнями.
...А также как можно более обезопасить их головы от последствий и опасений таких вот абстрактных размышлений (применительно к "Ангелы страшатся" такое экологичное замечание исходило когда-то только от Metanymous).

1 комментарий