Постнагуализм
04 апреля 2026, 09:47:40 *
Добро пожаловать, Гость. Пожалуйста, войдите или зарегистрируйтесь.

      Логин             Пароль
 
   Начало   Помощь Правила Поиск Войти Регистрация Чат  
Страниц: 1 ... 397 398 [399] 400 401 ... 406
  Ответ  |  Печать  
Автор Тема: Философский Штурм  (Прочитано 1702187 раз)
0 Пользователей и 55 Гостей смотрят эту тему.
Корнак
Легенда ПН
******
Offline Offline

Сообщений: 102473



Email
Модератор: Корнак (перенесённые из темы сообщения тут)
« Ответ #5970 : 18 июля 2025, 16:45:53 »
Цитировать выделенноеЦитировать выделенное ПроцитироватьЦитировать

обгладывать
на сегодняшний вечере
мне пока недосуг
Цитата:
Теория категорий: логика как метаязык

Если лямбда-исчисление показывает гибкость логики внутри вычислений, то теория категорий раскрывает её как  «универсальный язык», в котором можно выразить разные логики. Теория категорий абстрагируется от конкретных объектов и оперирует отношениями между ними — морфизмами. Это позволяет ей описывать:
- Классическую логику (через категории множеств),
- Интуиционистскую логику (через топосы),
- Модальную логику (через специальные функторы),
- Линейную логику (через монодальные категории).

Теория категорий показывает, что разные логики — это не конкурирующие системы, а разные «вселенные» рассуждений, описываемые общим языком. Это делает её своего рода мета-логикой.
https://filens.info/forum/index.php?topic=8154.msg466581#msg466581
чуть выше по ссылке можно почитать, как над Шелтом издеваются
Записан

Ртуть
Постоялец
***
Online Online

Сообщений: 1720



Модератор: Корнак (перенесённые из темы сообщения тут)
« Ответ #5971 : 18 июля 2025, 17:07:48 »
Цитировать выделенноеЦитировать выделенное ПроцитироватьЦитировать

Корнак, таким образом, математика становится открытием или изобретением?
Записан
Корнак
Легенда ПН
******
Offline Offline

Сообщений: 102473



Email
Модератор: Корнак (перенесённые из темы сообщения тут)
« Ответ #5972 : 18 июля 2025, 17:15:53 »
Цитировать выделенноеЦитировать выделенное ПроцитироватьЦитировать

математика становится открытием или изобретением?
у кого?
я не понял про чо это
Записан

Корнак
Легенда ПН
******
Offline Offline

Сообщений: 102473



Email
Модератор: Корнак (перенесённые из темы сообщения тут)
« Ответ #5973 : 18 июля 2025, 17:21:01 »
Цитировать выделенноеЦитировать выделенное ПроцитироватьЦитировать

а, кажется начал догадываться
у ребят так всё запущенно, что не сразу пробьешь
Записан

Корнак
Легенда ПН
******
Offline Offline

Сообщений: 102473



Email
Модератор: Корнак (перенесённые из темы сообщения тут)
« Ответ #5974 : 18 июля 2025, 17:32:08 »
Цитировать выделенноеЦитировать выделенное ПроцитироватьЦитировать

Корнак, таким образом, математика становится открытием или изобретением?
я бы переделал вопрос
не "таким", а КАКИМ?? образом математика имеет отношение к
Это позволяет ей описывать:
- Классическую логику (через категории множеств),
- Интуиционистскую логику (через топосы),
- Модальную логику (через специальные функторы),
- Линейную логику (через монодальные категории).

математика считает там количество букв?
не, использовать формулы для описания логики - я не против
но выдумывать эти логики с помощью математики - ни в какие ворота

рыба может быть только первой свежести, а логик чуть больше - три
Аристотелева, Бэкона и Успенского
Записан

Корнак
Легенда ПН
******
Offline Offline

Сообщений: 102473



Email
Модератор: Корнак (перенесённые из темы сообщения тут)
« Ответ #5975 : 18 июля 2025, 17:34:11 »
Цитировать выделенноеЦитировать выделенное ПроцитироватьЦитировать

Классическую логику (через категории множеств
это не "классическая логика", а логика ПДУ
классической она еще не стали
и вообще мало у кого используется и даже мало, кто о ней слышал
а "классическая логика" - это логика Аристотеля
Записан

Корнак
Легенда ПН
******
Offline Offline

Сообщений: 102473



Email
Модератор: Корнак (перенесённые из темы сообщения тут)
« Ответ #5976 : 18 июля 2025, 17:57:49 »
Цитировать выделенноеЦитировать выделенное ПроцитироватьЦитировать

Интуиционистскую логику
это как?
жопой чую :)
Записан

Корнак
Легенда ПН
******
Offline Offline

Сообщений: 102473



Email
Модератор: Корнак (перенесённые из темы сообщения тут)
« Ответ #5977 : 18 июля 2025, 18:04:26 »
Цитировать выделенноеЦитировать выделенное ПроцитироватьЦитировать

Модальную логику (через специальные функторы),
- Линейную логику (через монодальные категории).
первая - это логика Бэкона, а вторая вообще не имеет никакой самостоятельности, чтобы называться видом логики
Записан

Корнак
Легенда ПН
******
Offline Offline

Сообщений: 102473



Email
Модератор: Корнак (перенесённые из темы сообщения тут)
« Ответ #5978 : 18 июля 2025, 18:41:01 »
Цитировать выделенноеЦитировать выделенное ПроцитироватьЦитировать

Теория категорий
как уже было справедливо замечено - математический подход не имеет никакого отношения к философии
за редким, частным исключением
а нам подсовывают именно эту идею:
Цитата:
Господи, да не введи меня во грех  :'(
И не выведи из меня философа
кроме того можно видеть вольное использование понятия "категории"
не знаю, как в математике, а в философии это не приветствуется

Категория как  единица философского языка, заслуживающая отдельного, специально для нее предназначенного места в речеобразовании и мышлении.
Формулировка в словарях.
"Категория - предельно общее понятие, выражающее наиболее существенные отношения действительности"
https://ru.wikipedia.org/wiki/Категория_(философия)
И далее.
"Обобще́ние поня́тий — логическая операция, посредством которой в результате исключения видового признака получается другое понятие более широкого объема, но менее конкретного содержания; форма превращения знания путём мысленного перехода от частного к общему в некоторой модели мира, что обычно соответствует и переходу на более высокую ступень абстракции"

Но дело в том, что категории не имеют никакого отношения к обобщению. Это вообще не понятия, потому как любое понятие - это обобщение. В самом деле. Если взять, например, категории Аристотеля, то мы не сумеем найти какие-то отдельные элементы, которые они обобщают.

- Сущность; - Количество;  - Качество;  - Отношение;  - Место;  - Время;  - Положение;  - Обладание;  - Действие;  - Страдание.

И сравним их с какими-нибудь произвольно взятыми понятиями: дом, быстрый, зеленый, ветер, политика, ребенок...

Из этих примеров можно сказать, что понятия носят законченный вид и что в них есть обобщение.

Что же мы видим в категориях? Категории тоже слова. Но у них вид незаконченный. Они создают стойкое желание развить мысль. Сущность чего? Количество чего?  И т.д. Но мы не может сказать, что категории строят мысль. Этим занимается наш ум. Значит категории - инструмент для строительства. Ну, или раствор.  Но главное, что они стоят особняком от понятий.

Междометия можно поместить по рангу ниже понятий. Они служат для связки слов. Категории же стоят выше понятий. Это инструмент построения мыслей.

Таким образом мы можем все слова классифицировать на: междометия, названия, понятия, категории, эннеаграммы. Примеры - последней - инь и ян.
Записан

Корнак
Легенда ПН
******
Offline Offline

Сообщений: 102473



Email
Модератор: Корнак (перенесённые из темы сообщения тут)
« Ответ #5979 : 18 июля 2025, 18:52:53 »
Цитировать выделенноеЦитировать выделенное ПроцитироватьЦитировать

Ш:
- ЛОГИКА ЗАВИСИТ ОТ ЗАДАЧКИ (курсив Ш)
Ему:
- Это как? На примерах можете пояснить?
Ш:
- Конечно  могу. Описание леса продавцом и лесничим будет использовать разную логику

каково, а?
человек не знаком с элементарными вещами, а лезет всеми руководить и поучать
Записан

Пелюлькин
Старожил
*****
Online Online

Пол: Мужской
Сообщений: 8136


Кот свинье не товарищ.

Роман
Email
Модератор: Корнак (перенесённые из темы сообщения тут)
« Ответ #5980 : 18 июля 2025, 19:00:10 »
Цитировать выделенноеЦитировать выделенное ПроцитироватьЦитировать

  • Теория категорий
    как уже было справедливо замечено - математический подход не имеет никакого отношения к философии
    за редким, частным исключением
    а нам подсовывают именно эту идею:
Господи, да не введи меня во грех  :'(
И не выведи из меня философа
кроме того можно видеть вольное использование понятия "категории"
не знаю, как в математике, а в философии это не приветствуется

   Ну говорят же, что --- ДУРАКА УЧИТЬ -- ШО МЁРТВОГО ЛЕЧИТЬ...

   Корнак, ну ты же тока что недавно в ВИКИ (по ИИ) писал:
Это позволяет ей описывать:
- Классическую логику (через категории множеств),
- Интуиционистскую логику (через КАТЕГОРИИ топосов),
- Модальную логику (через специальные КАТЕГОРИИ функторов и операторов),
- Линейную логику (через модальные категории).

    А чего стоят именно Логические и Математические КАТЕГОРИИ Всеобщего и Необходимого, Категории разбиения чисел на Целые числа, Рациональные и Иррациональлные. включая и Трансцендентные числа.

    Вообще сама математика не имеет смысла, если оная не есть Категорией НЕКОЙ (в данном математике смысле, как принадлежащей к КАТЕГОРИИ "Достаточно выразительной системы") СОСТОЯТЕЛЬНОЙ ВЫРАЗИМОСТИ на Языке Математики, кстати более высокой и даж достигающей Достаточности КАТЕГОРИИ выразимости чем Геометрия... и более предметной -- чем ЛОГИКА.

    Вот дурья у тибя башка и фсё тут...
Записан

Прояснилось сознание, окрепла рука, вижу свет в ожидании чуда Небесного,
И как прежде по небу плывут облака, и я уверенно принимаю решение.
Моё http://forum.postnagualism.com/index.php?topic=92035.0
Асмус-Невесёлый http://forum.postnagualism.com/index.php?topic=99721.0
Корнак
Легенда ПН
******
Offline Offline

Сообщений: 102473



Email
Модератор: Корнак (перенесённые из темы сообщения тут)
« Ответ #5981 : 20 июля 2025, 20:44:07 »
Цитировать выделенноеЦитировать выделенное ПроцитироватьЦитировать

Пилькин тут постоянно носится с теоремой Гёделя
через пост упоминает
вряд ли зная\понимая, что это такое

начать нужно с того, что древние греки во главе с Сократом-Платоно-Аристотелем не додумались ни до чего лучше, чем ввести ряд аксиом и от них плясать
и тут явился Гёдель и, такой, вот вам моя теорема(!) о неполноте
ну, типа, есть в наших знания некие белые пятна, которые способны зачеркнуть все наши представления
этом умник просто взял и нагло переписал начало "Терциум Органум" Успенского
остальное, он, видимо, не осилил, или решил, что нуегонахер, пока не спалили
« Последнее редактирование: 27 июля 2025, 22:32:11 от Корнак » Записан

Корнак
Легенда ПН
******
Offline Offline

Сообщений: 102473



Email
Модератор: Корнак (перенесённые из темы сообщения тут)
« Ответ #5982 : 20 июля 2025, 20:46:54 »
Цитировать выделенноеЦитировать выделенное ПроцитироватьЦитировать

до секунды :)
Записан

Ртуть
Постоялец
***
Online Online

Сообщений: 1720



Модератор: Корнак (перенесённые из темы сообщения тут)
« Ответ #5983 : 23 июля 2025, 11:48:07 »
Цитировать выделенноеЦитировать выделенное ПроцитироватьЦитировать

Ты давай цитируй.
Записан
Корнак
Легенда ПН
******
Offline Offline

Сообщений: 102473



Email
Модератор: Корнак (перенесённые из темы сообщения тут)
« Ответ #5984 : 26 июля 2025, 11:00:48 »
Цитировать выделенноеЦитировать выделенное ПроцитироватьЦитировать

"настройка" - удачное слово, но не там, где оно обычно используется у шизотериков

поясню, где оно может быть удачно применено
представьте себе человека, который продолжает жить ровно в таких же условиях, что и до рождения
что может представлять такой "человек"?

и теперь приложите термин "настройка" ко всему тому, что делает с человеком общество
общество именно Настраивает людей с рождения

настройка продолжается всю жизнь
Пипа, например, создала для сети корнака таким, какой он есть
корнак тоже в какой-то степени поучаствовал в создании Пипы, как и многие другие
Записан

Страниц: 1 ... 397 398 [399] 400 401 ... 406
  Ответ  |  Печать  
 
Перейти в:        Главная

+ Быстрый ответ
Postnagualism © 2010. Все права защищены и охраняются законом.
Материалы, размещенные на сайте, принадлежат их владельцам.
При использовании любого материала с данного сайта в печатных или интернет изданиях, ссылка на оригинал обязательна.
Powered by SMF 1.1.11 | SMF © 2006-2009, Simple Machines LLC