Автор Тема: Формальная логика и диалектика.  (Прочитано 294306 раз)

0 Пользователей и 5 Гостей просматривают эту тему.

Оффлайн SneakSnake

  • Афтар
  • ***
  • Сообщений: 138
  • Репутация: +0/-0
(Нет темы)
« Ответ #500 : 11 Декабрь, 2006, 20:25:19 pm »
Цитата: "Дедушка Леший"
Мы  же говорим о том что нечетекая логика может  принципиально нового по сравнению бинарной.

Дык эта... понятие "принципиально нового" - нечеткое. Я скажу че-нить, дескать, принципиально... а вы скажете не... непринципиально. И так и останемся при своем

Цитата: "Дедушка Леший"
А ведь он ответил, вот в чем штука.

Ответил, но фигню.

Цитата: "Дедушка Леший"
Квантор существования - конъюнкция всех возможных высказываний,
квантор всеобщности - дизъюнкция.


Эту феньку я знаю. Только облом в том, что бесконечные формулы и/или получаются.... которые в классич. логике недопустимы. А так было бы хорошо... распространяем законы Де Моргана на бесконечные формулы - и правила преобразования кванторов становятся следствие.

Ну и в конечном счете... множества через булевы функции не выражаются. А вот наоборот - пожалста.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от SneakSnake »

Оффлайн SneakSnake

  • Афтар
  • ***
  • Сообщений: 138
  • Репутация: +0/-0
(Нет темы)
« Ответ #501 : 11 Декабрь, 2006, 20:27:22 pm »
Цитата: "KWAKS"
Цитата: "Дедушка Леший"
Есть предложение - создать тему типа "ограничения логики" и перевести спор туды. ... :-D
А чьчёй-то Вы закромничали ?
Создайте -
и ссылку дайте !


да, да... фигли мы поперед дедки в пекло. создавайте

Квакс... а серьезно разговаривать умеешь? А то под "ха ха" удобно маскировать свои ляпы. ;)
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от SneakSnake »

Оффлайн Дедушка Леший

  • Афтар
  • ***
  • Сообщений: 602
  • Репутация: +0/-0
(Нет темы)
« Ответ #502 : 11 Декабрь, 2006, 21:01:24 pm »
Та самая ссылка: http://www.ateism.ru/forum/viewtopic.php?t=2867
Милости просим мыть косточки бинарной Логике!:-D
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Дедушка Леший »

Оффлайн Vivekkk

  • Администратор
  • Почётный Афтар
  • *****
  • Сообщений: 8 932
  • Репутация: +17/-1
(Нет темы)
« Ответ #503 : 11 Декабрь, 2006, 21:32:08 pm »
Цитата: "SneakSnake"
Ребенка там давно уже нет :)
В принципе, спор о философии - спор XX века, поэтому лучше углубиться в чтение полемических работ на эту тему.

Насчет вашего отношения, то получается как у Тургенева в "Рудневе":
-Значит, философии нет?
-Да, нет.
-и это ваша философия?
-Да.

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

Цитата: "SneakSnake"
А когда ты мне закон перехода количества в качества сформулируешь?

Я объяснил тебе, что данный закон следует понимать так как он сформулирован. Что тебе еще  нужно? Формлировка предельно ясная, только создана при помощи философских методов и философских понятий (философия есть наука). Разве трудно согласиться, что философию нельзя сводить к каким-либо частным наукам? Философия использует и логику, и математику, и историю и пр. для своих выводов, но не сводиться  кним. Даный закон сформулирован предельно обще, и при конкретизации потеряет статус философского.

Короче, я об этом писал выше, - в "воде". Если ты не хочешь принципиально читать и понимать философские тексты, то никакми новыми формулировками тебе не поможешь.

Законы диалектики существуют нравиться тебе это или нет, так как движение и изменение материи - факт, то описание этого изменения и анализ сущности движения материи даны именно в диалектической логике. Формальная логика, скажем, метафизична по содержанию, в ее предмет изучения не входит исследование форм движения и причин изменения (логика во многом имеет аналогию с техников выводного знания). Диалектика же не имеет исчисления предикатов и высказываний, - это не ее область исследования.

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

Кстати, Кваксу: Ленин "о профсоюзах": формальная логика "берет формальные определения, руководствуясь тем, что наиболее обычно или что чаще всего бросается в глаза, и ограничивается этим" (чтобы вы потом не обвиняли меня, что ленина я зря привел :) ).

Наш спор вертиться о том, что логика не может быть философским методом постижения реальности, о чем бубнит Квакс (его слова об изоморфии, совпадении и пр.), логика - частная наука, а не философия.

Снейк: содержание понятий диалектика взято из объективного мира (это касается и заокнов диалектики), задача ее - теоретическое осмысление мира в целом (Гераклит - пример), а не анализ выводного зннаия.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Vivekkk »
Veritas est adaequatio rei et intellectus.

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 587
  • Репутация: +1/-1
(Нет темы)
« Ответ #504 : 11 Декабрь, 2006, 23:22:09 pm »
Цитата: "SneakSnake"
Цитата: "Дедушка Леший"
Квантор существования - конъюнкция всех возможных высказываний,
квантор всеобщности - дизъюнкция.
Эту феньку я знаю..... . А так было бы хорошо... распространяем законы Де Моргана на бесконечные формулы - и правила преобразования кванторов становятся следствие.
ух ХХХ и знаток !
"феньку он знает !
А слабо поинтересоваться,что именно конечные ...
логические формулы - оперируют бесконечными множествами ?

Цитата: "SneakSnake"
Ну и в конечном счете... множества через булевы функции не выражаются. А вот наоборот - пожалста.
Простите за любопытство,ув.SneakSnake !
Вам лично - известно ХОТЬ ОДНО множество,
которому НЕ СООТВЕТСТВУЕТ НИ ОДНА булева функция ?

Аж грудь от любопытства мне рвёт !
Учтите : нА слово - НЕ ПО-ВЕ-РЮ ! ! !

Если не предъявите Пример - объявлЮ Вас Лгуном !
НИКОГДА НЕ отмоетесь ,.. ведь ! ! !

По доброму предлагаю : думайте хоть краешками извилин -
прежде чем "брякать" публично !

Предупреждаю : прения на форуме я протоколирую в личном архиве.
Если чтОО - точно ведь  ,.. НИКОГДА НЕ отмоетесь ,.. ведь ! ! !

Даже если(не дай бог,конечно) весь форум грохнется -
архив-то мой совершенно в другом ресурсе находится.

Так что ... смотрите мне тут ... не балуй ! ! !
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от KWAKS »
Заранее благодарен = [ KWAKS ]
______________________________
КWА-ффэсор
тИнно-болотнУтого Ничего Не ИследУюшшего И-а.

Оффлайн SneakSnake

  • Афтар
  • ***
  • Сообщений: 138
  • Репутация: +0/-0
(Нет темы)
« Ответ #505 : 12 Декабрь, 2006, 00:30:26 am »
Мама Кваксу говорит:
- Сколько времени?
- Пять.
- И...? а... и? Ты не заболел? Что ж ты замолчал сыночек!?!?
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от SneakSnake »

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 587
  • Репутация: +1/-1
(Нет темы)
« Ответ #506 : 12 Декабрь, 2006, 08:59:52 am »
Цитата: "SneakSnake"
Мама Кваксу говорит:
- Сколько времени?
- И...? а... и? !?!?
Хвать мне зубы "заговаривать".
Где Ваш ответ на мой вопрос :
Вам лично - известно ХОТЬ ОДНО множество,
которому НЕ СООТВЕТСТВУЕТ НИ ОДНА булева функция ?
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от KWAKS »
Заранее благодарен = [ KWAKS ]
______________________________
КWА-ффэсор
тИнно-болотнУтого Ничего Не ИследУюшшего И-а.

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 587
  • Репутация: +1/-1
(Нет темы)
« Ответ #507 : 12 Декабрь, 2006, 09:25:02 am »
Цитата: "Vivekkk"
Законы диалектики существуют нравиться тебе это или нет, так как движение и изменение материи - факт, то описание этого изменения и анализ сущности движения материи даны именно в диалектической логике. Формальная логика, скажем, метафизична по содержанию, в ее предмет изучения не входит исследование форм движения и причин изменения (логика во многом имеет аналогию с техников выводного знания). Диалектика же не имеет исчисления предикатов и высказываний, - это не ее область исследования.
Ах,Vivekkk-Vivekkk !
Какой позор ! ! ! И опять - диалектическое Блудословие !

Я уже год прошу вас - покажите ОДНУ
(хотя бы ОДНУ-ЕДИНСТВЕННУЮ) Задачу,
чоторую в диалектической логике - решили.
А в формальной логике - НЕ решили.

Чёткая бинарная Задача :
либо  - решили,либо  - НЕ решили.

И наши прения окончены - раз и навсегда !
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от KWAKS »
Заранее благодарен = [ KWAKS ]
______________________________
КWА-ффэсор
тИнно-болотнУтого Ничего Не ИследУюшшего И-а.

Оффлайн Vivekkk

  • Администратор
  • Почётный Афтар
  • *****
  • Сообщений: 8 932
  • Репутация: +17/-1
(Нет темы)
« Ответ #508 : 12 Декабрь, 2006, 11:06:29 am »
Цитата: "KWAKS"
чоторую в диалектической логике - решили.
А в формальной логике - НЕ решили.Чёткая бинарная Задача :
либо  - решили,либо  - НЕ решили.

Я потратил на вас кучу времени, а вы так и не поняли, что диалектика не занимается исчислением предикатов и высказываний! Вы что глухой? У диалектики - другой предмет! Это в конце концов,  свинство - не слышать, что говорить оппонент. Какая, к черту, задача?  Этим занимается формальная (математическая) логика, а не диалектика.

Это все равно ,если бы вы требовали от философии решить проблему наследования признаков! Бред собачий. Ваши вопросы совершенно не по теме, - вы допускаете здесь школьную ошибку - меняете тему разговора. Видимо, вы не хрена не поняли и не помните, что я писал о логике Аристотеля, Декарта, Канта, Бэкона! Зачем я вообще потратил на вас время и силы, если вы постоянно путаете предмет логики и диалектики? Мне надоел этот цирк.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Vivekkk »
Veritas est adaequatio rei et intellectus.

Оффлайн SneakSnake

  • Афтар
  • ***
  • Сообщений: 138
  • Репутация: +0/-0
(Нет темы)
« Ответ #509 : 12 Декабрь, 2006, 11:56:06 am »
Цитата: "KWAKS"
Вам лично - известно ХОТЬ ОДНО множество,
которому НЕ СООТВЕТСТВУЕТ НИ ОДНА булева функция ?


1. Множество булевых функций счетно. Дальше думай.

2. Если рассматривать формулы логики предикатов как функции, то их область значений {true, false}. Возьми sin(x) и напряги моск.

3. Какая булева функция соответствует пустому множеству?

4. Какая булева функция соответствует множеству булевых функций?

5. Какая булева функция соответствует множеству подмножеств множества булевых функций?
« Последнее редактирование: 12 Декабрь, 2006, 12:20:02 pm от SneakSnake »