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

[SneakSnake]

Вот, к примеру, вероятностная логика. Это аксиомы поля действительных чисел + определения логических операций через арифметические.  И все это сформулировано языком "обычной", двухзначной логики.

А что у нас с множествами? Операцию "принадлежит" выразить через язык двузначной логики как-то не очень получается. Справа и слева от нее - не true/false. В аксиомах теории множеств торчат кванторы, символы двузначной логики и сам символ "принадлежит" вперемешку, без него не выражается никак.

[SneakSnake]

Вот так вместе с водой и ребенка,

Ребенка там давно уже нет

Ему вторит и экзальтированый Квакс

А сам то? Длиннющую возмущенную простыню написал. Экзальтация, однако А когда ты мне закон перехода количества в качества сформулируешь?

[KWAKS]

Высказывание - грамматическая конструкция,
истинность которой определена ОДНОЗНАЧНО !
Предположение - высказыванием НЕ ЯВЛЯЕТСЯ ! ! !

В таком случае двузначная логика имеет границы применимости. Она неприменима к предположениям.

Опа-пАА-па-па .. пААА !
и КАКИМ ЖЕ ТАКИМ ЖЕ хитрым способом Вы намерены ...
пророчествовать с помощью предположений -
БЕЗ применения Формальной Логики ?
способом "пальцем в небо,надвое бабка гадала" ?

Дык жЭж не паллуЧЧица,однако,птамУУ шо :
"с помощью предположений" - запросто Формализуется !
(средствами Формальной Логики).

А именно :
либо пальцем в небо,либо пальцем НЕ в небо.
либо пальцем в небо,либо НЕ пальцем в небо.

Прям нассоЯшшый Детский Сад !
Книжки бы Вы читали,.. да думали головой !
(а не сапогом,которого ещё и не купили).

Грамматические конструкции делятся на высказывания и НЕвысказывания !
А НЕвысказывания - это Понукания,Призывы,Вопросы,Допущения,Предположения и протчая и всякая Х...,

НО :
именно Высказывания обладают тОй ещё особенностью,что :
адекватно описывают и самих себя и НЕвысказывания,..
и психические,культурные и протчЫя НЕматериальные Феномены.
А также и материальные Предметы,Процессы,Состояния и протчЫя ,и протчЫя ....

В итоге : одни лишь Высказывания -
адекватно описывают ВСЮ ВСЕЛЕННУЮ ! ! !
(без исключений и изъятий).

[KWAKS]

Вот, к примеру, вероятностная логика. ...  
И все это сформулировано языком "обычной", двухзначной логики.

А что у нас с множествами? Операцию "принадлежит" выразить через язык двузначной логики как-то не очень получается. Справа и слева от нее - не true/false. .

Оп-Ять детский лепет :
либо "принадлежит",либо НЕ"принадлежит" !
Третьего не дано.

В аксиомах теории множеств торчат кванторы, символы двузначной логики и сам символ "принадлежит" вперемешку, без него не выражается никак.

гы гы ..
кддАА книшки-то читать буУм ? ? ?

квантор существования - это Операция Конъюнкция :
"некоторые объекты обладают и свойством А и свойством В".

квантор общности - это Операция Логическое Следование :
"все объекты, которые обладают свойством А -
обладают и свойством В. НО НЕ наоборот".

И т.д. и ВО ВСЕХ протчых Случьях - ФОРМАЛИЗУЕТСЯ ФСЁ-ЁЁЁ ! ! !
Исключений нет ! Более тогО : им(Исключениям) попросту нЕЕгде взяться !

Поняли ? Фэрштэен ?

[KWAKS]

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

Высоко-Челпакистский Vivekkk !

"Книшки умные читать,.. вычитать и Ум-ножжАть, -
учат в школе,учат в школе,учат в школе ! "
(из детской песенки).

А Вы в школе ,разумеЕЦЦа не учились,..
поэтому откуда Вам знать,ЧТО ТАКОЕ :
""Книшки умные читать,.." ? ? ?

А в Книшках написано :
"При увеличении количества рассматриваемых логических переменных -
количество логических функций возрастает значительно быстрее,чем Снежный Ком !
Именно отсюда : "чем больше мы знаем, тем больше мы не знаем".

А вот что логика таки действительно запрещает, так это "образеи пустословия". :-D

Часто пустослвием называют тавтологию типа Кваксологическую: "корректность-адекватная реальность-истина" и пр...

А ешшО в Книшках написано :
"корректность-адекватная реальность-истина" - это Синонимический Ряд !
Очень существенная Категория , КОТОРАЯ применяется -
в Очень Серьёзной науке ЛИНГВИСТИКЕ !

Вытыкиваете оппонентам Пробелами в Образовании,.. а у самогОО :
куда ни ткнИ - СПЛОШНЫЕ ПробелЫ в Образовании,..
(при двух-то Высших Образованиях).

[KWAKS]

Высказывание - грамматическая конструкция,истинность которой определена ОДНОЗНАЧНО! Предположение - высказыванием НЕ ЯВЛЯЕТСЯ ! ! !

так тяжело и со скрипом КВАКС начал понимать почему формальная логика названа формальной

Вершина Челпакизма !
Пошевелите архивами,.. может бог и память Вам вернёт :
ктО и комУ "так тяжело и со скрипом" объяснял,
*почему формальная логика названа формальной* ! ! !

А нука , Конкурс объявляю - кто найдёт бООлее ... четкое определения ,нежели : Либо желтый ли цыпленок ? Либо НЕжелтый ли цыпленок ?

Конечно, желтый, если рассматривать его после двух недель роста, не учитывватб коричнивые лапки и клюв и пр. Как вы умный КВАКС - как вам просто жить!

Усерднее изучайте Науку *как просто жить!*,пока я жив,
а то при таких Ваших темпах Обучаемости - я столько не проживу,
чтобы дождаться Плодов своих Трудов.

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

Не упр-ряЯмствуйте её Открыванию - она и сама соскользнёт ...

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

Следовательно :
в "учебнику информатики" - Правды нет ? ? ?
Пздзр-рррляю,Vivekkk !

Немедленно издайте Циркуляр с Перечнем ...
Единственно Правильных Уч-ЕбникуВ ! ! !

А все остальные - на костёр Великой Инквизиции !

Предлагаю: отменить все учебники и ввести один: "история древнего мира" - учебник информатики, "логика" - учебник информатики, "история философии" - учебник информатики т.д. А что такое информатика, спросят "глупые" люди? Область деятельности человека, связанная с процессами использования информации с помощью компьютера.

Ваши бы слова , да богу ув уши :
наступило бы Действительное Царство Разума на Земле !
(о котором - Вы же и усердно так рААтуете).

Как-так, - возмутиться главный Квакс на Руси. Информатика оказывается только использует и преобразует информацию, но не добывает ее.

Вот врать-то - я и не позволю !
Всегда Вам объяснял и ещё напомню :
ГЛАВНОЕ Предназначение Информатики -
ИМЕННО добывать информацию, ИМЕННО способом преобразования.

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

А как преобразовать эту информацию? Да как угодно - можно в двоичном коде, можно в 16-ричном, - мир беднее не станет.

Ну .. наконец-то ! ! !
Так ещё и окажется ,что и Челпакизм не совсем безнадёжно тУУп !

Конечно, компьютер "мыслит" чисто формально-логически, а как ему еще мыслить? И вот Квакс решает: все подобно тому, как "мыслит" компьютер!
....
 А тут появляется Vivekkk, antirex, Диалектик, которые посмели выразить сомнение в том, что все процессы, происходящие в мире описывает наука информатика и формальная логика, используемая при написании компьютерных программ и "мыслей" ПС.

Да выража-АААйте "сомнение" - хоть до посинения !
(зеленеть не предлагаю - эт ешшо заслужить надобно).

Но предъявите ХОТЬ ОДИН пример,где во всей вселенной произошло ...
ХОТЬ ОДИН раз НЕ ТАК,как "описывает наука информатика и формальная логика".

ДокоООль будете Туфту-Порожняк гонять ? ? ?

Снейк тоже кривит глаз - "я же антифилософ", значит, и ему нужны сциентические примеры! Ой, - это же "вода" для Снейка. Вот так вместе с водой и ребенка, - поздравляю Снейк. Читает Снейк учебник философии и его тошнит - сколько "воды": онтология, гноселогия и пр., - Бррррр! дайте мне 2+2, - кричит Снейк. Поздравляю вас господа.

Ничуть не сомневаюсь,что Снейк - таки получит своё 2+2 !
Хоть с помощью *пупурчатого квакса:*,хоть без .....

А зато относительно Вас - у меня сомнений всё больше ,.. и больше ,.. и больше ,..

[SneakSnake]

Квакс бурную деятелность развил ))

Квакс-ик, вырази истинность предположения в двузначной логике.

Кстати, ваще-то не двоичная, а двузначная. Двоичная - это система счисления, двоичная логика - тип электронных схем, использующих двузначную логику и двоичную систему счисления.

[KWAKS]

Квакс-икс, вырази истинность предположения в двузначной логике..

И чё ? Опять детский сад ?
истинность предположения : либо подтвердится,либо НЕ подтвердится,-
после наступления момента времени , относительно которого высказывалось предположение.

Кстати, ваще-то не двоичная, а двузначная. Двоичная - это система счисления, двоичная логика - тип электронных схем, использующих двузначную логику и двоичную систему счисления.

Именно тААк и происходит в реале :
двузначную логику - реализуют через двоичную систему счисления.

[SneakSnake]

истинность предположения : либо подтвердится,либо НЕ подтвердится,-
после наступления момента времени , относительно которого высказывалось предположение.

Как интересно... в двузначной логике, оказывается, помимо "true" и "false" есть также "подтвердится" и "не подтвердится"... упс, это что же, Квакс исповедует 4-значную логику, а? :lol:

Именно тААк и происходит в реале :
двузначную логику - реализуют через двоичную систему счисления.

Мда... видимо, школьный учебник информатики такие тонкости не освещает, и Квакс лепит от себя

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

истинность предположения : либо подтвердится,либо НЕ подтвердится,-
после наступления момента времени , относительно которого высказывалось предположение.

Как интересно... в двузначной логике, оказывается, помимо "true" и "false" есть также "подтвердится" и "не подтвердится"... упс, это что же, Квакс исповедует 4-значную логику, а? :lol:

Возми передположение и его отрицание в качестве гипотез и построй на их базе две теории. До наступления "часа Ч" обе теории будут равноправны (если, конечно, в одной из них не будет обнаружено противоречия). Большие сомнения у меня, что введение логического значения "неопределено" дадут что либо принципиально новое. В лучшем случае, сэкономит время.

А насчет теории множеств - Квакс ответил исчерпывающе. Кстати, между исчислением предикатов и теории множеств ты, часом, ничего общего не заметил? Советую приглядеться.:-)