Формальная логика и диалектика.

[KWAKS]

Или, может, Вы говорите о теореме Гёделя о непротиворечивости формальной арифметики?

ГЕДЕЛЯ ТЕОРЕМА ПРО ПОВНОТУ -
твердження про повноту класичного числення предикатів:
якщо предикатна формула істинна в будь-якій інтерпретації,
то її можна вивести в численні предикатів.

Доведена К. Геделем (1930). Геделя теорема про повноту є однією з найважніших теорем математичної логіки. Вона демонструє, що класичне числення предикатів містить всі логічні закони, які можуть бути подані через предикативні формули.

http://uk.wikipedia.org/wiki/%D0%93%D0% ... 1%82%D1%83
=======
"класичне числення предикатів містить всі логічні закони" -
И Законі Арифметики в тООм числе ! ! !

[KWAKS]

KWAKS писал(а):

Будьте так добры ... пожалуйста ......
покажите мне ХОТЬ ОДИН Учебник (включая и учебники по формальной логике) -
в котором НАЙДЁТСЯ ХОТЬ ОДНА Буковка НЕ из Букворя ! ! !

Слёзно Вас прошу и умоляю - не откажите в любезности !

Дедушка Леший писал(а):

Так вот книга становится следствием букваря.

Так вот книга становится следствием опыта или фантазии автора, а азбука это всего лишь одно из средств, с помощью которой автор доводит до читателя свои мысли. Никакими средствами, даже средствами своей любимой формальной логики, вы не выведите из Букворя "Войну и мир" Толстого.

Если "азбука это всего лишь одно из средств" -
продемонстрируйте,пожалуйста,ХОТЬ ОДНО "следствие опыта или фантазии автора"
ДРУГИМИ СРЕДСТВАМИ,без применения *азбуки* ! ! !

Очерк 5. Диалектика как логика ! ! !

Гегель выходит, таким образом, вовсе не за рамки предмета логики, а только за рамки представлений прежних логиков об этих рамках. Оставаясь в границах исследований мышления, и только мышления, он тем не менее внутри этих границ видит больше, чем все прежние логики, вместе взятые, видит те логические (всеобщие) схемы развивающегося мышления, которые прежняя логика вовсе не считала всеобщими и потому не вводила в состав теории. Логика тем самым оказывается нацеленной на отыскание и исследование объективных законов, управляющих субъективной деятельностью индивидов, и тех форм, в которых (хотят они того или не хотят, отдают себе в том отчет или нет) они вынуждены, поскольку вообще мыслят, выражать результаты своих усилий.
http://caute.2084.ru/ilyenkov/texts/dl/05.html

[KWAKS]

разве логика может привести к новому знанию? Нет (см. правила посылок, модусы и пр.). Ваше понимание мира -- метафизично, думаю, Диалектик объяснит вам что это такое.

Уважаемый Vivekkk !
Зачем долго препираться ?
Покажите мне ХОТЬ ОДНО "новое знание" -
полученное ВНЕлогичным путём !
Или хотя бы один пример ошибочности правила посылок ! ! !

[Anonymous]

KWAKS писал(а):

Если "азбука это всего лишь одно из средств" -
продемонстрируйте,пожалуйста,ХОТЬ ОДНО "следствие опыта или фантазии автора"
ДРУГИМИ СРЕДСТВАМИ,без применения *азбуки* ! ! !

Читайте внимательно! Я уже привел по ходу дела два таких средства.
Но для особо зеленых повторюсь. Загляните на китайские или японские сайты, там вы наглядно увидите ДРУГИЕ СРЕДСТВА,без применения *азбуки*.

KWAKS писал(а):

Гегель выходит, таким образом, вовсе не за рамки предмета логики, а только за рамки представлений прежних логиков об этих рамках.

Так и я о том же. Формальная логика ограниченна определенными рамками, диалектика это выход за эти рамки. Эта то же логика, но логика преодолевшая определенные ограничения. Так как развитию нет пределов, то вполне вероятно когда-нибудь возникнет логика преодолевшая ограничения диалектики, однако на данном уровне развития мы пока не находим ограничений, которые диалектика не смогла бы преодолеть.

Логика тем самым

в лице Гегеля

оказывается нацеленной на отыскание и исследование объективных законов

, к которым формальная логика не может да же подступиться.
Если уж взялись цетировать Ильенкова, то прочтите его внимательно, для свое позиции вы там поддержки не найдете.

[дарго магомед]

"этот горький катаклизм, который я здесь наблюдаю..." сводится к следующему:
KWAKS предлагает: "Скажите молча"
и утверждает: "Молча сказать невозможно".
Остальные против.

Я так думаю.  

[Anonymous]

Кстати KWAKS, спасибо за ссылку, именно здесь я нашел следующее:

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

как именно это было сделано, читайте дальше:
http://caute.2084.ru/ilyenkov/texts/dl/13.html

[KWAKS]

Кстати KWAKS, спасибо за ссылку,

Пользуйтесь во благо !
Буду только рад,если такой уважаемый человек,как Ильенков,нас "рассудит".

именно здесь я нашел следующее:

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

как именно это было сделано, читайте дальше:
http://caute.2084.ru/ilyenkov/texts/dl/13.html

читаем дальше:

Дело не в сведении внешнего противоречия к внутреннему, а в том, чтобы [266] из внутреннего вывести внешнее и тем самым понять и то и другое в их объективной необходимости. Причем диалектика не отрицает того факта, что внутреннее противоречие всегда проявляется в виде внешнего противоречия.

Непосредственное совпадение взаимно исключающих друг друга экономических определений (стоимости и потребительной стоимости) в каждом из двух столкнувшихся в обмене товаров и есть истинное теоретическое выражение сущности простого товарного обмена.

Будьте так добры показать мне ХОТЬ ОДНУ цитату ВО ВСЁМ тексте,
где автор утверждает,что логика диалектическая "вылезла" ХОТЬ ОДНОЙ фразой -
ЗА ПРЕДЕЛЫ логики формальной ! ! !

Поскольку я эти Очерки прочёл все(и не один раз),но нигде такого не нашёл.
А нашёл лишь :

Вывод очевиден: не всякий способ разрешения противоречий приводит к развитию теории. Два перечисленных способа означают такое «разрешение» противоречий, которое тождественно превращению теории в беспросветную эмпирическую эклектику.

НО НИГДЕ - о "выходе" ЗА ПРЕДЕЛЫ логики формальной ! ! !

Просветите тупого квака ! Ткните жаброй в "очевидное"-невероятное ! ! !
======

Буду только рад :

[KWAKS]

"этот горький катаклизм, который я здесь наблюдаю..." сводится к следующему:
KWAKS предлагает: "Скажите молча"
и утверждает: "Молча сказать невозможно".
Остальные против.

Я так думаю.  

Спасибо,уважаемый dargo !
Вы безупречно проанализировали Проблему :
именно ОБ ЭЭЭ-ЭТОМ - я талдычу нашим "высоко-образзООванным Про-квак-соррам" ..
А они - этот горький ката-клизЬЬм ......

[Дедушка Леший]

Оказывается, что теория арфиметики Пеано и стандартная интерпертация арфиметики не совпадают, т.е. не любая формула, истинная в стандартной интерпретации, выводима в арифметике Пеано. В этом состоит основное содержание классической теормемы Гёделя  о неполноте формальной арифметики .

Теорема о который Вы говорите называется теоремой о полноте исчисления предикатов. Вот так.

Квакс, не изобретайте велосипеда и читайте внимательней. Гёдель показал что исчиление предикатов полно, а формальная арифметика не полна. Об чем спор?

[Дедушка Леший]

"класичне числення предикатів містить всі логічні закони" -
И Законі Арифметики в тООм числе ! ! !