2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


В раздел Пургаторий будут перемещены спорные темы (преимущественно псевдонаучного характера), относительно которых администрация приняла решение о нецелесообразности продолжения дискуссии.
Причинами такого решения могут быть, в частности: безграмотность, бессодержательность или псевдонаучный характер темы, нарушение автором принципов ведения дискуссии, принятых на форуме.
Права на добавление сообщений имеют только Модераторы и Заслуженные участники форума.



Начать новую тему Ответить на тему
 
 Мысли про логику
Сообщение16.02.2015, 16:10 


16/02/15
124
Здравствуйте!

Предварительное замечание - я ни разу не математик, так что привожу мысли без внятных доказательств, но считаю доказательства весьма простыми, поэтому не вижу большой проблемы в их отсутствии. Зато объём текста сильно меньше.

По мыслям хотелось бы узнать от грамотных математиков о их применимости для практических целей (в духе нестрогого подхода из серии "если полезно, значит правильно"). Ну и если что-то в тексте "украдено до нас", значит кто-то уже проработал некие выводы из предложенного подхода, о чём я был бы рад узнать ради знакомства с этими выводами.

Начнём с логики, потом добавим математику, но наверное лучше в отдельной теме ?

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

Если нечто есть/присутвтует/существует/обнаружено, то такой ситуации можно сопоставить признак в виде некоего произвольного знака. Предположим, что таким знаком является 1 (единица). Если нечто не обнаружено/отсутствует/не существует, то такой ситуации можно сопоставить признак в виде ещё одного условного знака. Предположим, что таким знаком является 0 (ноль/нуль). Ситуация 0 сама по себе есть нечто и её наличие так же может быть обозначено при помощи 1. При этом выбор, принять ли нечто за 1 или 0, выполняется по одним и тем же произвольным правилам, которые не входят в описываемую систему.

При этом важно понимать наличие зависимости от внешних правил, что выражается в произвольности набора операций, допустимых в данной системе.

Правило - ситуации 1 и 0 можно обозначить как 0 и 1 соответственно, но только после применения операции отрицания. Операция отрицания преобразует ситуации 0 в 1 и 1 в 0. В рамках внешних по отношению к системе правил может означать получение нового нечто из ничего (1 из 0) или ничего из нечто в случаях, когда наличие нечто существенно или нет, с точки зрения внешней системы. Для данной системы внешний смысл не важен, но важно сохранить информацию о преобразовании, что бы не спутать ситуацию 1 с ситуацией 0 после отрицания. Для этого можно ввести произвольный признак, например - знак ~ (тильда), который ставится рядом со знаком ситуации (0 или 1) и обозначает необходимость замены обозначения за ним на противоположное.

Аксиома - нечто может зависеть от другого нечто.
Отношение зависимости 1 (видимо аксиома). Нечто существует при наличии другого нечто.
Отношение зависимости 2 (видимо аксиома). Нечто существует только при наличии другого нечто.

Для зависимости 1 можно показать все возможные варианты:
Одно нечто существует (1), зависимое нечто существует (1)
Одно нечто существует (1), зависимое нечто не существует (0)
Одно нечто не существует (0), зависимое нечто существует (1)
Одно нечто не существует (0), зависимое нечто не существует (0)
Каждому варианту можно сопоставить результат применения зависимости 1 к зависимому нечто:
1,1 -> 1
1,0 -> 1
0,1 -> 1
0,0 -> 0
Назовём полученное преобразование сочетаний ситуаций для влияющего и зависимого нечто операцией "или".

Для зависимости 2 можно перебрать все возможные варианты:
Одно нечто существует (1), зависимое нечто существует (1)
Одно нечто существует (1), зависимое нечто не существует (0)
Одно нечто не существует (0), зависимое нечто существует (1)
Одно нечто не существует (0), зависимое нечто не существует (0)
Каждому варианту можно сопоставить результат применения зависимости 2 к зависимому нечто:
1,1 -> 1
1,0 -> 0
0,1 -> 0
0,0 -> 0
Назовём полученное преобразование сочетаний ситуаций для влияющего и зависимого нечто операцией "и".

Если принять первое нечто, от которого зависит второе нечто в отношении зависимости, за некое условие, при выполнении которого первое нечто считается существующим (ситуация 1), то можно построить простой алгоритм вывода следствий из выполнения тех или иных условий. Алгоритм предполагает наличие некой базы данных, включающей информацию о зависимостях и условиях. Алгоритм состоит из последовательности шагов, выбирающих зависмость, определяющих границы выполнения условия и применяющий показаные выше операции и/или. При отсутствии вторичных зависимостей, когда зависимое нечто не связано более ни с каким другим нечто отношением зависимости, имеем простое разбиение пространства ситуаций на подпространства, в которых выполняются или не выполняются условия, являющиеся первым нечто в отношениях зависимости. При наличии вторичных зависимостей появляется возможность автоматически строить теоремы и автоматически же доказывать их истинность при явном указании конкретного набора условий, соответствующего ситуации истинности теоремы.

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

 Профиль  
                  
 
 Re: Мысли про логику
Сообщение16.02.2015, 17:35 
Заблокирован
Аватара пользователя


07/08/06

3474
alex55555 в сообщении #979126 писал(а):
Приведённые определения нечто, операций отрицания, и, или, а так же двух видов зависимостей, создают основу для автоматического вывода теорем вместе со всеми остальными законами логики (последнее утверждение принято без доказательства).

Отчего же без доказательства? Самое интересное. Выведите законы логики, исходя из своих аксиом с помощью... даже не знаю с помощью чего, ибо такими операциями с нечто можно получить либо нечто, либо ничто, а как формальные выражения получить - непонятно.

 Профиль  
                  
 
 Re: Мысли про логику
Сообщение16.02.2015, 19:32 
Заслуженный участник


09/05/08
1155
Новосибирск
На мой взгляд... Точнее, я полагаю, что... Нет, я, похоже, уверен... Да, я не сомневаюсь, что в данном контексте наиболее адекватный ответ грамотного математика должен звучать так... Он должен звучать... Щас... Как бы это поточнее выразить... эээ... О, вспомнил: «Многа букаф, ниасилил!» Да, именно так. (Ну, с точностью до логической эквивалентности.)

 Профиль  
                  
 
 Re: Мысли про логику
Сообщение16.02.2015, 19:41 
Аватара пользователя


21/09/12

1871
AGu в сообщении #979226 писал(а):
«Многа букаф, ниасилил!»

Много букв не является главной проблемой. Просто они выстроены не в самом удобоваримом порядке.

 Профиль  
                  
 
 Re: Мысли про логику
Сообщение16.02.2015, 20:50 


16/02/15
124
AlexDem в сообщении #979155 писал(а):
Отчего же без доказательства? Самое интересное. Выведите законы логики, исходя из своих аксиом с помощью... даже не знаю с помощью чего, ибо такими операциями с нечто можно получить либо нечто, либо ничто, а как формальные выражения получить - непонятно.

А все законы формальной системы вроде как заканчиваются на аксиомах. Всё остальное есть лишь следствие, разве нет ?

Что касается формальных выражений, то что же нам мешает подставить принятые в логике символы, например в отношение зависимости ? То есть простой декларацией эквивалентности символа отношению или его части мы получим выражение.

 Профиль  
                  
 
 Re: Мысли про логику
Сообщение16.02.2015, 20:53 
Заблокирован
Аватара пользователя


07/08/06

3474
alex55555 в сообщении #979277 писал(а):
А все законы формальной системы вроде как заканчиваются на аксиомах.

Ну а правила вывода-то где? Modus ponens всякие...

 Профиль  
                  
 
 Re: Мысли про логику
Сообщение16.02.2015, 21:14 
Заслуженный участник


27/04/09
28128
alex55555, я вас огорчу.
alex55555 в сообщении #979126 писал(а):
появляется возможность автоматически строить теоремы и автоматически же доказывать их истинность при явном указании конкретного набора условий, соответствующего ситуации истинности теоремы
Автоматически строить теоремы можно в любой системе вывода. Просто применяете правила вывода как угодно — автоматически получите и теорему, и её вывод. Только вот гарантии получения интересных теорем с нужной частотой нету…

Anyway, согласен, что вместо метода приведён какой-то суп с недостаточным количеством специй.

 Профиль  
                  
 
 Re: Мысли про логику
Сообщение16.02.2015, 21:55 
Заслуженный участник


11/05/08
32166
AGu в сообщении #979226 писал(а):
О, вспомнил: «Многа букаф, ниасилил!» Да, именно так. (Ну, с точностью до логической эквивалентности.)

Тут просто название ветки неудачно выбрано. Имелось в виду не "мысли про логику", а "думы о логике".

Впрочем, тогда было бы труднее замаскировать...

 Профиль  
                  
 
 Posted automatically
Сообщение16.02.2015, 22:03 


20/03/14
12041
 i  Тема перемещена из форума «Дискуссионные темы (М)» в форум «Пургаторий (М)»
Причина переноса: по назначению.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 9 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group