А аргументировать..
.... Являясь формализованым аналогом обычной логики, логика первого порядка дает возможность строго рассуждать об истинности и ложности утверждений и об их взаимосвязи, в частности, о логическом следовании ...
Разве без этого возможно познание?
Ну так логика (предикатная логика) полна и непротиворечива. Об этом есть у Гёделя .... Но ... что Вы скажете о теориях высших порядков. ..? Почему познание не может основываться на них?
там ситуация с полнотой да вообще со следствиями, истинностью и соответствием реальной действительности гораздо хуже чем в первой. :wink:
Эх , тов. SE . В реальной действительности - имеем в наличии . . .
ЛИШЬ ТОТ ПРИСКОРБНЫЙ ФАКТ , что Вы забыли , что :
. . Истинность - категория общефилософская .А это значит : истинность(корректность , адекватность) в теориях высших порядков - мы устанавливаем , исходя из теорий низших порядков . И начинаем - с логики высказываний , что ес-нно !
НО - НЕ НАОБОРОТ ! ! !
см. выше :
Петро писал(а):
это проблемы интерпретации, а не самой теории. Математика Вам ничего не должна ...
А до сих пор мы, вроде бы, ....
проблемы интерпретации, - это гАрАшО , тов. Петро . НО -
говоря о математике - ... . с какого-такого будуна -
я должен поверить :
Вашему "честно-пречестному" заверению -
о её(самоё математики) ИСТИННОСТИ ?
Классическая логика ... - это лишь частный случай формальной системы.
И опять у Вас - шыворот-навворот : .. наизнанку , то есть .
А в ДЕЙСТВИТЕЛЬНОСТИ : любая формальная система - лишь частный случай классической логики ! ! !
Покажите как перейти от булевой алгебры к формальной теории.
*В который раз лечу Москва-Одесса ,
Опять - не выпускают самолёт.*
(Вл.Сем. В.. ) .
Вы когда нибудь научитесь читать , чтО?? написано в пред. постах ? ? ?
Вы забыли ТОТ ПРИСКОРБНЫЙ ФАКТ , что :
. . Истинность - категория общефилософская .
А потому любое Ваше манипулирование - хоть чем нибудь . . .
ДОЛЖНО НАЧИНАТЬСЯ с установления Истинности ЭТОТ-ГО ПРИСКОРБНЫЙ-ГО ФАКТ-А , что :
виртуальной лопатой - ВАМ НИКОГДА НЕ удасться вскопать Реальный Огород ! ! !
Теорема Гёделя формулируется так:
Существует такая фундаментальная пара (Б,Т), такая что не существует дедуктики над Б полной и непротиворечивой.
ха ха , тов. SE . Очень хотелось бы посмотреть , как так . . .
ДО ТОГО , КАК .. - ДЕЙСТВИТЕЛЬНО Задается ! ! !
. . . БЕЗ ПРОВЕРКИ ИСТИННОСТИ алфавитА ? ? ?[/b]
Все системы .. строят .. модель ... Слова алфавита - это язык ... Дедуктика - это какой-то алгоритм ...
Разумеется , ув. SE . С тем лишь Вам напоминанием , что :
И Слова .. - и ... Дедуктика - ДО ТОГО , КАК .. - .. строят .. модель ...
ПРЕДВАРИТЕЛЬНО - проверяются на истинность !(потому что Истина - категория общефилософская ) .
Это я Вам напоминаю в надежде , что Вы не последуете . .
заразительному "примеру" нашего местного "умника" :
Петро писал(а):
KWAKS писал(а):
...
вАЙ-вАЙ . . . .
нет KWAKS писал(а):
А .. - я должен поверить :
Вашему "честно-пречестному" заверению -
о её(самоё математики) ИСТИННОСТИ ?
а это уже ваши личные проблемы ..
Проще говоря
, ув. SE . Если Вы не сумеете обосновать ИСТИННОСТЬ самоё математики , как таковой . . .
то и нечего огород городить - об "ИСТИННОСТИ" :
отдельно взятых Слов .. - и ... Дедуктик , как таковых !
Вы понимаете об - чём здесь я ? ? ?Вряд ли можно найти что-то более фундаментальное и приближенное к реальности чем: отображение и представление информации (слова алфавита); алгоритм, процесс обработки информации (дедуктика и т.п.).
Т.е. здесь мы имеем произвольный алгоритм по обработке информации обозначающей объекты реальности. Это очевидно гораздо более общая система чем классическая логика.
А теперь возвратитесь к пред. абзацу - и ЗАНОВО ПРОЧТИТЕ :
Если Вы не сумеете обосновать ИСТИННОСТЬ[/color] самоё математики , как таковой . . .
А теперь
- начинайте производительно думать :
И КАК-КО-ВА-АА ЖЖЭЭ НА САМОМ ДЕЛЕ -
гораздо более общая система чем . . . ? ? ?
