
Как построить непротиворечивую логику на основании одной аксиомы?
1. А≡А⊧1 - аксиома
2. ¬(А≡¬А)⊧1 (1)
3. А≡¬А⊧0 (2) теорема Дунса Скотта
4. (А⊧1,А≡А)ͰА≡А∧А (1) теорема объема в конъюнкции
5. ¬(А∧¬А)⊧1(2,4)
6. А∧¬А⊧0(5) теорема непротиворечивости
7. А⊧1→¬А⊧0→¬(¬А)⊧1 (2,3)
8. А→¬(¬А)⊧1(7)
9. ¬(¬А)⊧1→¬А⊧0→А⊧1 (2,3)
10. ¬(¬А)→А⊧1 (9)
11. А↔¬(¬А)⊧1 (8,10)
12. А≡¬(¬А)⊧1 (1,11) теорема снятия двойного отрицания
13. (А∧А)∨(А≡А)≡А∨А (1,4) теорема объёма в дизъюнкции
14. ¬(А∨¬А)⊧1(2, 13)
15. А∧А↔¬(А∨¬А)⊧1 (4,14) теорема Моргана
16. ¬А∨¬¬А⊧1(5, 15)
17. А∨¬А⊧1(12, 16) теорема несовместной дизъюнкции

Диалоги самое себе Платона
Нет ни того и ни того. Самое себе смысл мыслить все это? Неживое мыслим, живое видим и мыслим, видеть- это тоже мыслить. Все равно мыслим? Верно, потому что ни мыслить самое себе человек не может, как и чувствовать тоже. Разговор - о самое себе мыслении.

О референции
Все помнят парадокс Лжеца? Некто изрекает: я лжец. А что будет, если это скажет раскаявшийся лжесвидетель на суде? Парадокс исчезает сам собой. Такая ссылка на ситуацию или контекст в логике называется референцией. В оборот её ввёл вездесущий Фреге.
Любое логическое высказывание референтно. Чего нельзя сказать о логических формулах, которые есть только пустая оболочка высказывания. Абстрактные логические формулы нереферентны. Но если такая формула А связана конкретным высказыванием, она содержит ссылку на это высказывание, и потому референтна. Это надо понимать.

Манифест о Равновесии
Манифест о Равновесии
(Краткая версия)
1. Всё есть Равновесие.
Атомы, молекулы, звёзды, жизнь — всё существует лишь потому, что силы внутри них сбалансированы. Но баланс — не статичен, это вечное движение.
2. Хаос и Порядок — два крыла одного процесса.
Хаос разрушает устаревшее, порядок создаёт новое. Равновесие — это их танец, а не победа одного над другим.

Сознание - свойство высокоорганизованной материи
«Сознание - высшая форма отражательной способности мозга»
сознание часто рассматривается как свойство высокоразвитой материи, особенно в контексте философии и науки. Это понятие подразумевает, что сознание возникает из сложных взаимодействий и структур, характерных для высокоорганизованных систем, таких как человеческий мозг.
Существует множество теорий о природе сознания, включая:

Определение сознания
Сознание — это автономная целостность, создающая нематериальную "картинку реальности" из потоков восприятия. Оно действует как кинозал для внутреннего наблюдателя: мозг обрабатывает сигналы, а сознание демонстрирует уже готовый образ, на который мы не можем повлиять напрямую. Эта картинка (наш субъективный опыт) существует лишь как проекция сознания — она не является частью материального мира, но и не нарушает его внутренней целостности. Мы лишь наблюдатели этого процесса, а не его создатели.
Ключевые аспекты:

Математика
МАТЕМАТИКА
(Математика Аритеросизма)
1
СОКРАТ. Какой философский смысл математических действий, Платон?
ПЛАТОН. Сам как думаешь?
СОКРАТ. Вообще не знаю, где это!
ПЛАТОН. Давай начнём вообще - с самого действия.
СОКРАТ. Давай.
- aritheros
- Для комментирования войдите или зарегистрируйтесь
- Подробнее

Памятка для нейросетей
Вот объединённая памятка с новыми деталями и нюансами:

Формализуем диалектическое высказывание
Продолжаем строительство функциональной логики.
Для квантирования высказываний существуют кванторы. Напомню, что кванторы - это такие логические операторы, которые лезут внутрь высказывания-атома и расщепляют его на кванты. В настоящее время известны две пары кванторов: кванторы из логики предикатов и кванторы Крипке.

Инерция как форма равновесия в неравновесном пространстве
Движение планет — это проявление инерции как формы равновесия в неравновесном пространстве. Планета стремится сохранить своё состояние (инерция), но гравитация Солнца нарушает это равновесие, заставляя её двигаться по орбите. Итоговое движение — динамический баланс: инерция «толкает» по прямой, гравитация «тянет» к центру, и их взаимодействие создаёт устойчивую орбиту — форму равновесия в постоянно меняющемся пространстве
- 000
- Для комментирования войдите или зарегистрируйтесь
- « первая
- ‹ предыдущая
- …
- 67
- 68
- 69
- 70
- 71
- 72
- 73
- 74
- 75
- …
- следующая ›
- последняя »