[userpic]

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

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

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