N.A. Tenetko

Public

Просмотреть канал

159

316

622

Не можете присоединиться? @n_a_tenetko

77 Участники

Обновлено: May 26, 2026 at 7:45 AM

N.A. Tenetko

Никита Андреевич Тенетко

Join @n_a_tenetko for exclusive Аниме content and discussions in 12

Рейтинг

Глобальный рейтинг

#456

Рейтинг по языку

#45

Рейтинг по категории

#23

-1

Рост участников (Сегодня)

Всего: 77

Последние посты

N.A. Tenetko

26 мая 2026 г., 07:46

📷 Photo

в математической литературе частными, неполными или ограниченными, так как, по сути, не отражают в полной мере гносеологическую сущность этих важных понятий во всем их многообразии и разнообразии;
в философской литературе логико-интуитивными и размытыми (нечеткими, расплывчатыми) понятиями, что, создает определенные трудности, связанные с выяснением и определением исходных (фундаментальных) понятий науки.
Вопросы анализа свойств тождества и различия, а также лежа-щих в их основе базовых отношений и их взаимозависимостей еще до конца не исследованы, слабо рассмотрены философские (гносеологические основы) этих отношений. До сих пор нет единого мнения по принципиальному вопросу: «Какие понятия и отношения являются частными, а какие общими в существующей системе взаимоотношений тождества и различия?» Оставляет желать лучшего интерпретация физического содержания базо-вых отношений, составляющих основу отношений тождества и различия. Необходимо отметить, что до настоящего времени так и не сложилась строгая система фундаментальных отношений познания, которая непременно должна включать наряду с классификационными отношениями тождества и различия, их составляющие базовые (первичные) отношения.

«В. В. Омельченко - Общая теория классификации. Методологические основы классификации объектов, процессов или явлений реальности.»

#классификация #методология

207

N.A. Tenetko

26 мая 2026 г., 07:46

📷 Photo

в математической литературе частными, неполными или ограниченными, так как, по сути, не отражают в полной мере гносеологическую сущность этих важных понятий во всем их многообразии и разнообразии;
в философской литературе логико-интуитивными и размытыми (нечеткими, расплывчатыми) понятиями, что, создает определенные трудности, связанные с выяснением и определением исходных (фундаментальных) понятий науки.
Вопросы анализа свойств тождества и различия, а также лежа-щих в их основе базовых отношений и их взаимозависимостей еще до конца не исследованы, слабо рассмотрены философские (гносеологические основы) этих отношений. До сих пор нет единого мнения по принципиальному вопросу: «Какие понятия и отношения являются частными, а какие общими в существующей системе взаимоотношений тождества и различия?» Оставляет желать лучшего интерпретация физического содержания базо-вых отношений, составляющих основу отношений тождества и различия. Необходимо отметить, что до настоящего времени так и не сложилась строгая система фундаментальных отношений познания, которая непременно должна включать наряду с классификационными отношениями тождества и различия, их составляющие базовые (первичные) отношения.

«В. В. Омельченко - Общая теория классификации. Методологические основы классификации объектов, процессов или явлений реальности.»

#классификация #методология

N.A. Tenetko

26 мая 2026 г., 07:46

📷 Photo

Самоотражение и логические отношения в теории множеств

То, что выражается в логике через кванторы, равенство, включение и т.д.,
в мире «множеств как совокупностей элементов» пере-формулируется как свойства бинарных отношений:
рефлексивность ~ наличие равенства/ идентичности элемента с собой,
транзитивность й «логическая цепочка»:
если aRb u bRc, To aRc,
симметричность/антисимметричность ~ ограничения на обратимость «перехода»
между элементами.

Логика задаёт онтологически и гносеологически первичные формы (равенство, различие, включение, следование).
Множества и отношения на них — это уже язык математической модели, где эти формы воплощаются в конкретных парах, диаграммах, графах эквивалентности и т.п.

#теория_множеств #логика #самоотражение

238

N.A. Tenetko

26 мая 2026 г., 07:46

📷 Photo

О первом кризисе оснований математики, теории множеств. Георг Кантор и теоремы о неполноте Курта Гёделя.

#теория_множеств #теоремы_о_неполноте #методология #математическая_логика

228

N.A. Tenetko

26 мая 2026 г., 07:46

📷 Photo

Преимущество системы Правица заключается в том, что она дала законченную и стройную теорию нормализации для полного языка классической и интуиционистской логики, в то время как система Генцена оставила эту задачу незавершенной, что привело к созданию секвенциального исчисления

#натуральный_вывод #логика #системы_натурального_вывода

142

N.A. Tenetko

26 мая 2026 г., 07:46

📷 Photo

Трёхчастное деление систем натурального вывода

#натуральный_вывод #системы_натурального_вывода #логика

146

N.A. Tenetko

26 мая 2026 г., 07:46

1. По отношению к закону исключённого третьего

Это самое фундаментальное разделение, восходящее к работам Герхарда Генцена 1934 года .

· Интуиционистский (NJ). Не содержит закона исключённого третьего и правил, связанных с ним. Отрицание трактуется конструктивно (как "из A следует противоречие"). Правила вывода напрямую отражают интуиционистское понимание логических связок .
· Классический (NK). Получается из интуиционистского добавлением закона исключённого третьего (A ∨ ¬A) или правила снятия двойного отрицания (¬¬A → A). Это делает его эквивалентным классической логике .

2. По способу представления зависимостей

Существуют разные способы формальной записи того, от каких допущений (гипотез) зависит каждая формула в выводе .

· Системы с явными допущениями (секвенциальный стиль). Вывод строится из секвенций — выражений вида Γ → A, где Γ — это список допущений. Этот подход удобен для теоретического анализа, так как наглядно показывает структуру зависимостей .
· Системы с неявными допущениями (древовидные). Вывод представляет собой дерево формул. Зависимость от допущения определяется тем, находится ли допущение на вершине ветви, и не было ли по пути "освобождения" от него (например, при введении импликации) . Именно такой классический стиль часто используется в учебниках логики.

3. По типу правил для квантора существования

Как отмечает исследователь А.В. Смирнов, существует два принципиально разных подхода к формулировке правил для квантора существования (∃) .

· С косвенным (непрямым) правилом удаления. Это классический вариант Генцена. Правило требует, чтобы вывод был возможен из произвольного экземпляра Fa при условии, что a не встречается в заключении.
· С прямым правилом удаления. Этот подход использует язык с ε-символом (гильбертовским ε-оператором). Такая формулировка позволяет получить более элегантные системы, которые удобны для организации автоматического поиска доказательств .

4. По направлению вывода

Большинство систем натурального вывода строятся "сверху вниз" — от посылок к заключению. Однако существуют и альтернативные подходы .

· Односторонний (однонаправленный). Классический подход, где правила делятся на введение и удаление логического символа.
· Двунаправленный (bidirectional natural deduction). В этом подходе правила "введения" и "удаления" не отделены друг от друга так жестко. Он тесно связан с исчислением секвенций и позволяет по-другому подойти к проблеме определения логического значения через правила вывода .

5. По структурным правилам (субструктурные логики)

Современные исследования (например, работа Грега Ресталла 2024 года) показывают, что, варьируя структурные правила (такие как ослабление и сжатие) в рамках натурального вывода, можно получать различные логические системы .

· Интуиционистская логика. Включает все структурные правила.
· Релевантная логика. Исключает правило ослабления (нельзя просто добавить "лишнюю" посылку).
· Аффинная логика. Исключает сжатие (каждая посылка должна быть использована ровно один раз).
· Линейная логика. Исключает и ослабление, и сжатие.

Как видно из этого списка, натуральный вывод — это не одна конкретная система, а целое семейство подходов, каждое изменение в правилах или их формулировке порождает новый "вид" исчисления.

N.A. Tenetko

26 мая 2026 г., 07:46

📷 Photo

«…Главным содержанием концепции сигнального поля, согласно определению Н.П. Наумова, является то, что: "Изменённая воздействием организмов среда становится неотъемлемой частью экосистем, т.е. пространственной основой популяций и биоценозов. Через атмосферу, воду, грунт и почву биотопа от одних особей к другим передаются не только вещества и энер-гия, но и информация, накопление которой увеличивает устойчивость на-дорганизменных систем" (Наумов, 1973а, с. 809). Ключевым словом данно-го тезиса является "изменённая воздействием организмов среда". Изменён-ная организмами среда создаёт зрительно-запаховый образ пространства и, что принципиально важно, становится источником постоянно или длительно действующей опосредованной коммуникации, коммуникации в отсутствии оставивших следы своей деятельности животных. Именно опосредованная коммуникация принципиально отличает коммуникативные процессы в сигнальном поле от иных форм биокоммуникации. Значительный конкретный вклад в изучении механизмов опоспелованной коммуникации у…»

Российская Академия Наук, Биологическое Сигнальное Поле Млекопитающих 2013

#семиотика #РАН #биология

N.A. Tenetko

26 мая 2026 г., 07:46

📷 Photo

Теорию доказательства Аристотель противопоставляет диалектике и эристике или софистике, различая аподиктические (логически достоверные, основанные на истинных положениях), диалектические (образованные из вероятностных положений) и эристические (софистические) умозаключения - последние либо основаны на не вызывающих доверие посылках, либо содержат мнимый вывод, т.е. не вытекающий из посылок.

Логика, методология, аргументация в научном исследовании. Л.А. Демина, В.И. Пржиленский
#логика #методология #классификация_умозаключений

231

N.A. Tenetko

26 мая 2026 г., 07:46

📷 Photo

Логический словарь-справочник Н.И. Кондаков, Множество

#логика #методология #множество

234

Showing 10 of 10 posts

No more posts

Рейтинг

Требуется вход

Отзывы пользователей (0)

Пока нет отзывов. Будьте первым, кто поделится своим опытом!

N.A. Tenetko

N.A. Tenetko

Рейтинг

Рост участников (Сегодня)

Последние посты

Рейтинг

Отзывы пользователей (0)

Похожие каналы Telegram

Теперь я Асахи 🇯🇵

Аэропорт Сочи

Студенческий медиацентр ДВФУ

Авито

Sooyaaa__

Anime stickers / Аниме Стикеры 🎌

Те самые Аниме Мемы

💸 FindomDomina 💸

Похожие каналы Telegram

Теперь я Асахи 🇯🇵

Аэропорт Сочи

Студенческий медиацентр ДВФУ

Авито

Sooyaaa__

Anime stickers / Аниме Стикеры 🎌

Те самые Аниме Мемы

💸 FindomDomina 💸

Отзывы пользователей (0)

Последние посты