2014 dxdy logo

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

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




 
 Мысли про логику
Сообщение16.02.2015, 16:10 
Здравствуйте!

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

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

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

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

Если нечто есть/присутвтует/существует/обнаружено, то такой ситуации можно сопоставить признак в виде некоего произвольного знака. Предположим, что таким знаком является 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 
Аватара пользователя
alex55555 в сообщении #979126 писал(а):
Приведённые определения нечто, операций отрицания, и, или, а так же двух видов зависимостей, создают основу для автоматического вывода теорем вместе со всеми остальными законами логики (последнее утверждение принято без доказательства).

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

 
 
 
 Re: Мысли про логику
Сообщение16.02.2015, 19:32 
На мой взгляд... Точнее, я полагаю, что... Нет, я, похоже, уверен... Да, я не сомневаюсь, что в данном контексте наиболее адекватный ответ грамотного математика должен звучать так... Он должен звучать... Щас... Как бы это поточнее выразить... эээ... О, вспомнил: «Многа букаф, ниасилил!» Да, именно так. (Ну, с точностью до логической эквивалентности.)

 
 
 
 Re: Мысли про логику
Сообщение16.02.2015, 19:41 
Аватара пользователя
AGu в сообщении #979226 писал(а):
«Многа букаф, ниасилил!»

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

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

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

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

 
 
 
 Re: Мысли про логику
Сообщение16.02.2015, 20:53 
Аватара пользователя
alex55555 в сообщении #979277 писал(а):
А все законы формальной системы вроде как заканчиваются на аксиомах.

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

 
 
 
 Re: Мысли про логику
Сообщение16.02.2015, 21:14 
alex55555, я вас огорчу.
alex55555 в сообщении #979126 писал(а):
появляется возможность автоматически строить теоремы и автоматически же доказывать их истинность при явном указании конкретного набора условий, соответствующего ситуации истинности теоремы
Автоматически строить теоремы можно в любой системе вывода. Просто применяете правила вывода как угодно — автоматически получите и теорему, и её вывод. Только вот гарантии получения интересных теорем с нужной частотой нету…

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

 
 
 
 Re: Мысли про логику
Сообщение16.02.2015, 21:55 
AGu в сообщении #979226 писал(а):
О, вспомнил: «Многа букаф, ниасилил!» Да, именно так. (Ну, с точностью до логической эквивалентности.)

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

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

 
 
 
 Posted automatically
Сообщение16.02.2015, 22:03 
 i  Тема перемещена из форума «Дискуссионные темы (М)» в форум «Пургаторий (М)»
Причина переноса: по назначению.

 
 
 [ Сообщений: 9 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group