Что бы в чём то убедить науку надо находиться с ней в одной парадигме.
Нынешняя парадигма науки сугубо материалистична, и всякая магия-шмагия для неё
повод постебаться. Это даже
посложнее, чем пилю убедить что он никакой не философ 
, парадигма у науки одна — это ИСТИНА,
в предположении о том, что Истина в науке таки выразима. И хотя Тарский и Гёдель доказали, что таковая выразимость Истины в Науке и Философии
НЕВОЗМОЖНА, но вне
этого предположения теряют смысл и самые Наука с Философией, но в обязательной и в непременной (как и нескончаемой) АТТРАКЦИИ к ИСТИНЕ.
В том, что понимается как
Мистическое, Религиозное, Чудесное и Эзотерическое — в том Парадигмой есть всё таже ИСТИНА, так что тут полная совместимость в главном и СУЩЕМ Основании — в ИСТИНЕ, даже если во всей остальной Иерархии оснований у Науки с Философией будет иметь полное несоответствие с тем, что понимается как
Мистическое, Религиозное, Чудесное и Эзотерическое, что описал и Апостол:
(Рим.1:20) Ибо невидимое Его, вечная сила Его и Божество, от создания мира через рассматривание творений видимы, так что они безответны (неви́димая бо его́, от созда́нiя мíра творе́ньми помышля́ема, ви́дима су́ть, и присносу́щная си́ла его́ и Божество́, во е́же бы́ти и́мъ безотвѣ́тнымъ). Хогбен, и несложно понять, что Наука и формальная Философия имеют заведомо более ограниченный и неразрешимый к ИСТИНЕ подход, чем тоже самое Научное и Философское Знание, дополненное тем, что понимается как
Мистическое, Религиозное, Чудесное и Эзотерическое. И дело обстоит именно так, а не иначе ввиду заведомой НЕ-адекватности категории ИСТИНЫ Гипотеко-Дедуктивных средств Научно-философского Познания, и недостаточности к тому и самих средств выражения этого всего в МЫСЛИ, что делает путь к ИСТИНЕ на основе Научно-философского Знания -- ПРОВАЛЬНЫМ, на основании даже самой Логики ИСТИНЫ:
Закон импликации Строгой — ”Истина (необходимое) следует из всего” — (CI Льюис). А Понятие — "ИЗ ВСЕГО..." — обязывает рассматривать абсолютно всё что имеет место, а не только то, что только возможно понять, как формально понимаемой есть Наука и Философия, хотя есть и реальные НЕ-Логичные, и потому НЕ-мыслимые основания и их реальность, начало понимания чего положил Великий Все-Знайка (кстати оч удачный Мистик, как посвящённый Ордена Розенкрейцеров)
Г.Лейбниц:
——
5.1 Логика Лейбница — В области логики
Годфрид Вильгельм Лейбниц разрабатывал учение об
анализе и
синтезе[15][27]. Логику он понимал как науку о всех
"возможных мирах"[27]. Лейбниц автор принятой в современной логике формы выражения
закона тождества.
Закон тождества он считал высшим принципом логики
[22].
«Природа истины вообще состоит в том, что она есть нечто (a priori) тождественное»[123]. Сформулированный им
закон тождества в настоящее время используется в большинстве современных логико-математических исчислений[59]. С законом тождества связан
(транзитивный) принцип подстановки эквивалентных: «Если
А есть
В и
В есть
А, тогда
А и
В называются
„тем же самым“. Или:
А и
В есть то же самое, если они могут быть подставлены один вместо другого»
[124].
По словесной (семиотической) Природе всей Ментальной сферы, то если вообще нечто возможно к мысли, то оное возможно если и только если поступаемое к мысли есть Логичным (Транзитивным). Ибо, если когда мыслится дом, и мы таки НЕ помещаем дом у себя в голове, то значит мыслится нечто ЭКВИВАЛЕНТНОЕ дому (транзитивно заменяющее ДОМ в мысли), такое, которое заменяет дом в мысли. А значит ДОМ и МЫСЛИМЫЙ ДОМ находятся в ОТНОШЕНИИ ЭКВИВАЛЕНЦИИ (означаемом знаком
~), что фундирует 7-я теорем части 2 Этики
Бенедикта Спинозы —
в связях идей повторяется порядок и связь вещей, или
порядок и связь идей — то же, что и порядок и связь вещей.
С позиции
семантики С.Крипке, представление совершенно любой
Эквиваленции в языке — относится к моделям, описываемой
модальной системой S5, что является системой моделей, где отношение достижимости определяется
Возможностью, т.е. через ОТНОШЕНИЕ ЭКВИВАЛЕНЦИИ (означаемое знаком
~), т.е. через действующие в
Языке эквиваленты, называемые подобиями, а
отношение эквивалентности: оно
рефлексивно,
симметрично и
транзитивно. Отсюда
Эквивалентность, как отношение эквивалентности — есть бинарное (бинарный релятивизм) отношение на множестве, обладающее свойствами
рефлексивности, симметричности и транзитивности.
ТРАНЗИТИВНОСТЬ Отношений Эквиваленции означает, что самое происхождение через Подобие (эквиваленцию)
ЭТИКЕ (noesis) всякой мысли в областях естествознания и философии. Это означает, что в одном и том же ОТНОШЕНИИ ЭКВИВАЛЕНЦИИ к
ЭТИКЕ (noesis) находятся и все Законы хоть ФЕНОМЕНОЛОГИИ, Хоть ЛОГИКИ, хоч МАТЕМАТИКИ с ГЕОМЕТРАМИ и ТОПОЛОГИЕЙ, хоч
Теории вычислительных машин, хоч
Астрономы и Теоретики Космоса, хоч ФИЗИКИ от механики, до теории полей и теории атомного ядра и пр., хоч ФИЛОСОФИИ с ПСИХОЛОГИЕЙ и пр.
- А значит ЭТИКА (noesis) ~ ФЕНОМЕНОЛОГИИ ~ ЛОГИКЕ ~ МАТЕМАТИКЕ с ГЕОМЕТРИЕЙ и ТОПОЛОГИЕЙ ~ Теории вычислительных машин ~ Астрономии и Теоретике Космоса ~ ФИЗИКЕ от механики, до теории полей и теории атомного ядра и пр. ~ ФИЛОСОФИИ с ПСИХОЛОГИЕЙ и пр., пр. все направления естествознания — — А значит и все Законы у них всех так же идентичны (эквивалентны).
Ведь известно, что описываемые индивиды одного и того же
Класса Эквиваленции означают одинаковую их ЛОГИКУ (согласно принципов
натурального вывода), а значит и все парадигмы всего ЕСТЕСТВОЗНАНИЯ
(включая и философию, и феноменологию и вообще весь класс Бытия) действенны на всём пространстве естествознания, независимо в какой области и как именно эти парадигмы были установлены. ∎Ч.Т.Д.!!! (Что и Требовалось Доказать)
Основанное уже на переработке в Мысли и продуцируемое, как ВЫСШАЯ ТЕОРЕТИКА, связано с другой очень важной и ключевой парой понятий в
Металогике (Высшей Логике всего Познаваемого вообще), которой являются понятия
синтаксической (как обеспеченности адекватной, в Теоретике, грамматикой отношений) и
семантической (как обеспеченности описываемой моделью в действительности, как представления в Реальности) полноты (у Гностиков
Плеро́ма (др.-греч. πλήρωμα — «наполнение,
полнота, множество») — термин в греческой философии, одно из центральных понятий в гностицизме, обозначающее божественную полноту, отсюда и рассуждения об
Онтологическом Аргументе, через Призму Атрибутов Все-Совершенного Существа в Божестве, у
блж.Августина и пр., включая и
Декарта).
Логическая теория считается
семантически полной, если каждое предложение, сформулированное на её языке и являющееся законом данной логики — есть доказуемым в ней (Теорема Полноты Гёделя, ибо всё НЕОБХОДИМОЕ — есть существующее в реальности). Выполнимость для некоторой логической теории этого условия, совместно с выполнением условия о
семантической её непротиворечивости, означает, что данная логическая теория
адекватно формализует соответствующую логику. В этом случае говорят, что
семантика теории
адекватна её
синтаксису.
Логическая теория считается
синтаксически полной (максимальной), если никакое предложение, сформулированное на её языке и
недоказуемое в ней,
не может быть без противоречия включено в состав теории.
Синтаксически полные теории, таким образом, как бы
«перенасыщены» и не допускают присоединения к себе в качестве дедуктивных средств никаких новых утверждений, так как такое присоединение приводит теорию к
информационному «взрыву» — в ней становится доказуемо любое утверждение
(т.е. Теория тогда становится ложной, ибо "Из Лжи следует что угодно", Дунс Скот, CI Льюис, Закон строгой импликации).
Синтаксически и семантически полной теорией является, например,
классическое исчисление высказываний.
Семантически полно классическое
исчисление предикатов первого порядка, однако оно
не обладает свойством
максимальности, то есть
допускает присоединение к себе новых утверждений в качестве аксиом.
Немаксимальное классическое
первопорядковое исчисление предикатов может быть пополнено специальными аксиомами таким образом, что некоторая
нелогическая теория окажется
синтаксически полной. Такой теорией является, например,
теория частичного порядка. Однако
исчисление предикатов второго порядка является
не только
синтаксически неполной системой, но и
семантически неполной. Иначе говоря,
класс логических законов классической второпорядковой логики неформализуем. Причём эта
неформализуемость, в силу результата
Гёделя о неполноте формальной арифметики, носит принципиальный характер — данная теория
не только
семантически неполна, но её ещё принципиально невозможно сделать полной.
В
Металогике рассматривается также
понятие категоричности теории. Теория считается
категоричной, если
все её интерпретации (модели) изоморфны. Например,
категорична классическая логика высказываний. Однако
категоричность теорий является, скорее, исключением, чем правилом. Как показали
Л. Лёвенгейм и Т. Скулем,
первопорядковое исчисление предикатов допускает модели произвольной мощности
(примером чего есть проблема Экстенсионального определения мощности Континуума (Гипотеза Континуума Кантора)).
Некатегоричность теории говорит о
неоднозначности описания в её рамках
класса интерпретаций. Ещё одним важным свойством логических теорий является свойство их
разрешимости (см. Проблема разрешимости). Теория считается разрешимой, если существует некоторая алгоритмическая процедура, которая даёт ответ на вопрос, является-ли некоторое утверждение теоремой теории или нет. Свойством
разрешимости обладает
классическое исчисление высказываний. В качестве разрешающей процедуры здесь применяется процедура построения таблиц истинности. Свойством
разрешимости обладают и некоторые простые математические теории. Однако, как доказал
Алонзо Чёрч, уже
классическое первопорядковое исчисление предикатов не является
разрешимой теорией. Следует отметить ещё один важный ограничительный результат металогики, полученный
А. Тарским. Для достаточно широкого класса теорий, в том числе логических, им была доказана
метатеорема о
неопределимости
предиката «истина» логическими средствами, формализуемыми в данных теориях. Этот результат аналогичен результату
К. Гёделя о
недоказуемости утверждения о
непротиворечивости
формальной арифметики теми средствами, которые формализуются этой теорией. Ещё одним часто проверяемым свойством логических теорий является
свойство независимости друг от друга их дедуктивных принципов. Значение этих исследований в
металогике можно уяснить из аналогии с проверкой независимости
пятого постулата в геометрии Евклида. Известно, что эти исследования привели к созданию
неевклидовых геометрий. В общем случае построение доказательств является творческим процессом (нескончаемо Эвристическим и Конструктивистским). Однако в последнее время в связи с исследованиями в области
искусственного интеллекта (
ИИ) в
Металогике возникла насущная задача доказательства
метатеорем о нормализации выводов,
устранимости особого правила — сечения — в секвенциальных исчислениях, алгоритмизации на этой основе процессов доказательств в различных логических системах и построения компьютерных реализаций этих алгоритмов для осуществления автоматического поиска теорем. В настоящее время построены весьма разнообразные и достаточно мощные компьютерные реализации алгоритмов автоматического поиска доказательств теорем.
Разобравшись в ЛОГИКЕ всего могущего составлять совместимость с научной парадигмой, и того, что есть суть философией Научного Знания, как то высказал
Анри Пуанкаре,
что наукой можно называть только то знание, которое раскрывает нам, как устроен мир — то отчётливо виден следующий факт Возможного
(а по аксиоматике S5 означающего обязательность такового) включения в контекст Аттракции к ИСТИНЕ
НЕ-Логического, а значит и формально в науке не объяснимого, в т.ч. и
Мистического, Религиозного и даж чудесного, — как нечто необходимого ко взятию во внимание и в Логико-Научном Контексте выражающего Истину, чем отчасти есть уже и сам Чудесный феномен Разума человеческого.
- Герметизм — Откровение ПЭМАНДР — пастырь человеческий: "Это свет, — сказал он, — Я, разум, твой Бог, предтеча прохладной природы, выходящей из мрака ... Лучезарное Слово, исходящее от разума, сын божий". И это откровение Пэмандр эквивалентно с точностью до Изоморфизма и Первому Откровению от любимейшего Христом-Богом Апостола Иоанна: «Въ начáле бе слóво, и слóво бе къ Бóгу {у Бóга}, И Бог бе Слово и Сей бе искони у (apud) Бога» (Ин. 1:1-2).
Этот факт ВИДЕН из того обоснования и такой тому Возможности
(читай обязательности (по Аксиоматике S5)), что раз
теории представляют собой классы предложений, и над ними можно производить все операции, которые производятся и над множествами, с таким очевидным условием, что результатом этих операций должна быть опять теория. Так, например, пересечение двух теорий T1 и T2 всегда является теорией. Но в нюансе, что в общем случае объединения двух теорий T1 и T2, то их Объединение (как Путь к ИСТИНЕ, ибо, по Закону импликации Строгой — ”Истина (необходимое) следует из всего” — (CI Льюис)) совсем не обязательно является теорией (как то допускает и даже Моделирует в реальности некое Не-логическое и НЕ-Теоретизируемое Объединение всего Ментального в Гуссерлианском Эпохе, из которого происходит всё до конца Психическое содержание, включая и Интуитивную данность, но Теоретический предел будет Эквивалентен этому НЕ-Логическому представлению Психического содержания, согласно Дуальным отношениям из М-Теории (теории струн)). Но тем не менее таковое Объединение всё равно есть хоть в некой степени доступным и Научно адекватному Теоретизированию, на место чего и притязают, и таки занимают Высшего аналитического достоинства ФИЛОСОФСКИЕ ИСТИНЫ, и их в Общем Объединение некой именно Верной Философской Теорией (всё же оставаясь неким Личным (и потому и НЕ-Логичным) стремлением отдельных философов, чем по существу и является всякая Философия), ибо Сn (T1 и T2) всегда есть теория, где Сn — операция замыкания относительно выводимости. Можно особым образом ввести и другие теоретико-множественные операции над теориями. А.Тарским было показано, что класс всех теорий, сформулированных на одном и том же языке на базе классической логики, образует брауэрову алгебру (интуиционистскую алгебру). С другой стороны, если ограничиться рассмотрением только конечно-аксиоматизируемых теорий, то класс всех таких теорий образует
булеву алгебру.
К проблемам
металогики относится и вопрос рассмотрения различных отношений, существующих между логическими теориями. В настоящее время выделено и изучено очень большое количество таких отношений. Наиболее важными являются
отношения дедуктивной эквивалентности двух теорий
(например, различные формулировки классического исчисления высказываний, задаваемых различным набором аксиом, являются эквивалентными теориями), отношение
«быть подтеорией» (интуиционистская логика высказываний является подтеорией классической логики высказываний), отношение
некреативного расширения
(классическое первопорядковое исчисление предикатов является некреативным расширением классического исчисления высказываний), отношение
дефинициального расширения и многие другие. Чрезвычайно важным способом сравнения теорий
(применимым даже в том случае, когда теории построены не только в разных языках, но и строятся с использованием различных логик) является
понятие переводимости одной теории в другую. На основе
последнего понятия вводятся различные отношения между теориями, в частности
понятие погружаемости одной теории в другую. В настоящее время доказано большое число
метатеорем, обосновывающих
погружаемость одной теории в другую. В частности, известен результат о
погружаемости классического исчисления высказываний в
интуиционистскую логику.
В
Металогике каждую логическую теорию испытывают на её
семантическую и
синтаксическую непротиворечивость. Логическая теория считается
семантически непротиворечивой, если каждое, доказуемое в ней утверждение,
является общезначимым в данной логике, то есть
является её законом. С другой стороны, логическая теория считается
синтаксически непротиворечивой, если в ней нельзя доказать некоторое утверждение
A и
его отрицание. Последнее понятие наиболее употребимо, хотя для некоторых логических теорий используются и другие понятия
синтаксической непротиворечивости. В
Металогике доказано
метаутверждение, согласно которому
теория семантически непротиворечива тогда и только тогда, когда она
имеет модель (как фундирование теории реальностью, ибо ничто противоречивое заведомо не имеет модели в действительности, по Дедукции из Теоремы полноты Гёделя). С этой точки зрения теория
не имеющая моделей,
ничего не описывает, а потому такого рода теория
не представляет никакого научного интереса. Это же относится и к
синтаксически противоречивым теориям, так как
в последних доказуемым становится любое утверждение
(как синтаксическая несостоятельность таких теорий). Ясно, что если при построении теории мы преследуем цель установить, что имеет место в мире, то есть пытаемся отделить сущее от
несущего, то
противоречивая теория как раз эту функцию и
не может выполнить, а потому
противоречивая теория не имеет научной ценности.
Разобравшись в ЛОГИКЕ всего могущего составлять совместимость с научной парадигмой, и того, что есть суть философией Научного Знания, как то высказал
Анри Пуанкаре,
что наукой можно называть только то знание, которое раскрывает нам, как устроен мир — то отчётливо виден следующий факт Возможного
(а по аксиоматике S5 означающего обязательность такового) включения НЕ-Логического, а значит и формально в науке не объяснимого, в т.ч. и Мистического, Религиозного и даж чудесного, — в Логико-Научный Контекст. Этот факт ВИДЕН из того обоснования и такой тому Возможности (читай обязательности), что раз
теории представляют собой классы предложений, и над ними можно производить все операции, которые производятся и над множествами, с таким очевидным условием, что результатом этих операций должна быть опять теория. Так, например, пересечение двух теорий T1 и T2 всегда является теорией. Но в нюансе, что в общем случае объединения двух теорий T1 и T2, то их Объединение (как Путь к ИСТИНЕ, ибо, по Закону импликации Строгой — ”Истина (необходимое) следует из всего” — (CI Льюис)) совсем не обязательно является теорией (как то допускает и даже Моделирует в реальности некое Не-логическое и НЕ-Теоретизируемое Объединение всего Ментального в Гуссерлианском Эпохе, из которого происходит всё до конца Психическое содержание, включая и Интуитивную данность, но Теоретический предел будет Эквивалентен этому НЕ-Логическому представлению Психического содержания, согласно Дуальным отношениям из М-Теории (теории струн)). Но тем не менее таковое Объединение всё равно есть хоть в некой степени доступным и Научно адекватному Теоретизированию, на место чего и притязают, и таки занимают Высшего аналитического достоинства ФИЛОСОФСКИЕ ИСТИНЫ, и их в Общем Объединение некой именно Верной Философской Теорией (всё же оставаясь неким Личным (и потому и НЕ-Логичным) стремлением отдельных философов, чем по существу и является всякая Философия), ибо Сn (T1 и T2) всегда есть теория, где Сn — операция замыкания относительно выводимости. Можно особым образом ввести и другие теоретико-множественные операции над теориями. А.Тарским было показано, что класс всех теорий, сформулированных на одном и том же языке на базе классической логики, образует брауэрову алгебру (интуиционистскую алгебру). И раз самая Суть Психического, как ЛИЧНОСТЬ и "Я" (ЭГО) таки фундируется именно
НЕ-Логичным основанием, каким и видится, и каким и должно быть
неизменяемое и стабильное Ядро Личности, феноменально устойчивое при любых ментальных модификациях Индивида Сознания, как у человека, так и у психически организованных живых тварей, — то это означает:
- Во-первых, что Мистическое, Религиозное, Чудесное и Эзотерическое — есть область научному Знанию НЕ-ДОСТУПНАЯ, а значит в Науке нет средств выражений этой непременной, как и самая Личность, реальности, а следовательно Наука не может ни подтверждать, ни тем более отрицать понимаемое как Мистическое, Религиозное, Чудесное и Эзотерическое;
- Во-вторых, единственно действенным в такой области, как Мистическое, Религиозное, Чудесное и Эзотерическое — есть Категория Истины, которой фундируется всё вообще, как и всецело вся научно-философская парадигма. А совершенная идентичность оснований в ИСТИНЕ, как понятого, как Научно-философское Познание, так и понятого, как вмещающее Мистическое, Религиозное, Чудесное и Эзотерическое, — то ЭТОТ ФАКТ указывает на совместимость Научно-Философского Познания и того познания приложенного к тому, что понимается как Мистическое, Религиозное, Чудесное и Эзотерическое. А значит НАУКА попросту обязана быть СОВМЕСТИМА С понятым как Мистическое, Религиозное, Чудесное и Эзотерическое;
- В-третьих, единственным выходом хоть к чему-то Эквивалентному что есть Мистическое, Религиозное, Чудесное и Эзотерическое — будет не менее чем обобщающая всё Познание именно Аналитическая ФИЛОСОФИЯ, но взятая во всём ея объёме и во всех ея основаниях (в т.ч. и в самом изобретательном аспекте рассмотрения Мифологем и Преданий Древности, как скрыто имеющих данность в них и Оснований Абсолютного, ИСТИНЫ), которые выше как раз и указал именно Я, тобишь Пелюлькин, тобишь Невесёлый Роман, как именно верно всё понимающий именно профессиональный на деле в том ФИЛОСОФ, что на все 100% опровергает твою шнягу, Хогбен, что дескать Пелюлькин никакой не философ, ибо именно НЕ-философом получается сам Хогбен, как ни разу не могущий понимать философское и различать философское от НЕ-философского, который даж если и официально философ, то Хогбен сам сибя запорол в НЕ-философа, полностью утратив в себе зерно философской Истины, тобишь закопавший этот талант в землю;
- В-четвёртых, Опыт Реальности очень убедительно доказывает, что такие области НЕ-Логического проявления Реальной Личности ("Я", Эго...) как ЛЮБОВЬ (Не-Логичная по ея (Любви) НЕ-Транзитивности, а следовательно не-представимости в мысли, но явно содержащейся в Психическом содержании, и даже фундирующего Психическое, как то указывает Опыт НИРВАНЫ у Йогинов), — то даже такие на опыте точно воспроизводимые проявления НЕ-Логического оказывается НЕ-описуемы в научных Теориях, что доводит только полную науке недоступность того, что понимается как Мистическое, Религиозное, Чудесное и Эзотерическое. И НАУКА с Тривиально понятой Философией -- никак не могут Описать Теоретически даже такую непрерывно и в детальнейшем представленную нам всем на Опыте, Реальность, как РАЗУМ и Сознание человеческие, не могучи даже описать КВАЛИА Сознания, т.е. Онтологически выраженную Природу Сознания и (с ним) и Природу Разума, как содержательную (не фиктивную) Реальность, а уж высшие категории таких Высших проявлений, как Мистическое, Религиозное, Чудесное и Эзотерическое — есть область научному Знанию уж совсем НЕ-ДОСТУПНАЯ, а значит действительно в Науке нет средств выражений этой непременной Реальности ни вообще, ни даже в такой частности как сам Разум и его основания в Сознании;
Итак, ясно, что если кто что-то ОГОВАРИВАЕМОЕ не понял, то это не значит, что это не-понятое — НЕ-существует вовсе, а просто значит что к тому не оказалось у него средств то понять, а может быть и Ума-Разума тама шо у канарейки и понять что тама ваащще не фартит, как, допустим у,
Корнака.
А вот
Философ-Пелюлькин к тому, чтоб и понять это и даже всё точно философски сформулировать, то
Философ-Пелюлькин к тому средства имеет, как реально профессиональный и в этой области ФИЛОСОФ.
Ну а исследованию, понимаемого как
Мистическое, Религиозное, Чудесное и Эзотерическое — таки должно быть, иначе Провальным будет и Научно-философское Познание, что я убедительно и доказал выше.
________________________________________________________________________________________________ ✅◆ ◆
________________________________________________________________________________________________ ✅◆ ◆
________________________________________________________________________________________________
