Автор Тема: Очередной спор про формальную логику  (Прочитано 135684 раз)

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

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 587
  • Репутация: +1/-1
Re: Очередной спор про формальную логику
« Ответ #220 : 17 Январь, 2012, 19:03:12 pm »
Цитата: "Antediluvian"
Цитата: "KWAKS"
.. дверь здесь серая, а не белая !
Установи такую в подъезде, и 100 человек из 100 . . накладут при этом на формальную логику ..
\

Так это само собой . .

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

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 587
  • Репутация: +1/-1
Re: Очередной спор про формальную логику
« Ответ #221 : 17 Январь, 2012, 19:41:07 pm »
Цитата: "Снег Север"
Цитата: "Vivekkk"
.. ФЛ может охватить

весь спектр явлений

материального мира.

Простейший пример: дверь белая или не белая .. Иного вы, действительно, не придумаете.

Три фундаментальных закона ФЛ: .., гарантирующие правильность мышления, его адекватность.
Помимо .. неоднозначности указания на "белый"/"не белый", есть еще причины отказа от принципа исключенного третьего.

.. трехзначная и четырехзначная логика предпочтительнее для многих приложений формальной логики. В частности, для тако..ой области, как силлогистика.
\

Ну ну, веселей клянитесь, что . .

1. угольная пыль - это самый типичный оттенок Белого .

2. из предпочтительности для приложений - что два пальца обос цать . .
получится формула, которой в формальной логике НЕТ И БЫТЬ НЕ МОЖЕТ !
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Guest »
Заранее благодарен = [ KWAKS ]
______________________________
КWА-ффэсор
тИнно-болотнУтого Ничего Не ИследУюшшего И-а.

Оффлайн Vivekkk

  • Администратор
  • Почётный Афтар
  • *********
  • Сообщений: 8 927
  • Репутация: +17/-1
Re: Очередной спор про формальную логику
« Ответ #222 : 17 Январь, 2012, 23:30:13 pm »
Цитата: "Antediluvian"
При этом само понятие "белая" (красная, чёрная, синяя и пр.) ну очень относительно. Вот тут фон белый и дверь белая, а цвета разные
Тогда надо четко определить что считать "белым". Если другой цвет не подходит под критерии "белый", то следует признать, что цвет небелый. Да, здесь явно абстрактное размышление, включающая в себя некую формальную модель. Однако я ничего страшного в этом не нахожу. Может или не может модель отражать реальные факты - вопрос другой. Рассуждая в рамках логики, мы исходим из того, что основные посылки верные, а модель адекватно отражает объективные факты. Здесь логика просто незаменима.

А насчет цвета - это пример. Важно тут отметить наличие единства пространства, времени, отношения при выводе суждения. Скажем, древняя Греция - это рабовладельческая формация или нерабовладельческая (хотя какие-то элементы первобытно-общинного строя могли существовать и тогда), Великая октябрьская социалистическая революция произошла в России в 1917 году или не в 1917 году и т.д. Как видим, закон работает, и вполне удовлетворительно. Интересно еще и то, что верный ответ может быть только один, а ложных - много. В этом проявлен второй закон логики. Правда, социалистическая революция произошла действительно в 1917 году, а не в 1918 или в 1916.

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

Цитировать
Адекватность не бывает просто так, адекватность всегда по отношению к чему-то. ФЛ адекватна формальным моделям, кто ж спорит. Но являются ли сами формальные модели точным описанием чего-либо, это большой вопрос. Хотя нет, это даже не вопрос: ежу понятно, что точного соответствия нет и быть не может. Любая формализация - это обобщение.
И что с того? Вы что считаете, что рациональное абстрактное мышление не может верно и адекватно отразить эмпирически полученные данные? Я с этим не согласен. Более того, убежден, что дело обстоит совершенно наоборот. Именно абстрактное, теоретическое мышление способно познать реальные факты глубже, чем непосредственное эмпирическое восприятие. Теоретическая модель может заключать в себе намного больше фактов, чем, скажем, в эмпирической модели.

Адекватность. Это и так было ясно, зачем Вы начали писать? Тратите попусту слова. Естественно, что задача и логики, и вообще любой иной науки - установить адекватность мысли, идеи, теоретической модели определенным эмпирически данным фактам, то есть объективной реальности, в целом. Упрощенно говоря, это означает, установить совпадение мысли и факта, их соответствие друг другу. Однако мысль может содержать в себе предположение о существовании иных фактов, еще неизвестных эмпирическому познанию. Это предположение почти всегда вытекает из логических рассуждений, из логической связи фактов между собой. Примеры: периодическая таблица Менделеева, теории Эйнштейна.

Я считаю, что теоретическая модель может адекватно отражать объективную реальность в ее главных, существенных признаках. Этого, как правило, всегда достаточно доя научного, правильного познания действительности. Все остальное - это допонятийное мышление, связанные с непосредственным отражением в сознании всего букета цветов, запахов, событий в окружающей среде. Однако что такое "цветок" или что такое "телеграмма" это допонятийное мышление никогда не поймет, не осознает, а главное, не передаст знания о них следующим поколениям. Извините уж, но приобретенные качества (знания, умения, навыки и пр.) не передаются генетически, а только социально через обучение.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Guest »
Veritas est adaequatio rei et intellectus.

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 587
  • Репутация: +1/-1
Re: Очередной спор про формальную логику
« Ответ #223 : 18 Январь, 2012, 02:34:05 am »
Цитата: "Antediluvian"
Цитата: "Vivekkk"
Простейший пример: дверь белая или не белая ... Иного вы, действительно, не придумаете.
.. понятие "белая" (красная, чёрная, синяя и пр.) ну очень относительно. Вот тут .. :
..ru/ui/6/40/43/1..3_1----7200-2-...jpg[/img]

Цитировать
Три фундаментальных закона ФЛ: . . , гарантирующие правильность мышления, его адекватность.
Адекватность не бывает просто так, ..-то. ФЛ адекватна формальным моделям, кто ж спорит.

Но являются ли сами формальные модели точным описанием чего-либо, это большой вопрос. Хотя .. даже .. ежу понятно, что точного соответствия нет и быть не может.
Любая формализация - это обобщение.
\

Твой большой вопрос - это твой запредельный идиотизм !
ИБО даже ежу понятно,
чтО ПОДРОБНО ПРОЖЕВАНО в каждом учебнике ! ! !

1. МЕТОДЫ установления точного
соответствия - для конечных множеств .

2. А Любая формализация - это обобщение ..
С НАПЕРЕД ЗАДАННОЙ ТОЧНОСТЬЮ -
для бесконечных множеств !
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Guest »
Заранее благодарен = [ KWAKS ]
______________________________
КWА-ффэсор
тИнно-болотнУтого Ничего Не ИследУюшшего И-а.

Снег Север

  • Гость
Re: Очередной спор про формальную логику
« Ответ #224 : 18 Январь, 2012, 05:08:15 am »
Цитата: "Vivekkk"
Именно абстрактное, теоретическое мышление способно познать реальные факты глубже, чем непосредственное эмпирическое восприятие. Теоретическая модель может заключать в себе намного больше фактов, чем, скажем, в эмпирической модели.
Отсюда видно, почему г-ну Vivekkk'у недоступен знаменитый принцип диалектического материализма "ВОСХОЖДЕНИЯ от абстрактного к конкретному".
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Guest »

Оффлайн Antediluvian

  • Оратор форума
  • ********
  • Сообщений: 10 976
  • Репутация: +2/-8
Re: Очередной спор про формальную логику
« Ответ #225 : 18 Январь, 2012, 06:57:19 am »
Цитата: "Vivekkk"
Тогда надо четко определить что считать "белым".
В том-то и дело, что всё надо точно определить, но это сделать нереально. Многие понятия определены с той или иной степенью точности, "на глазок". Поэтому радость Квакса по поводу того, что для всего можно придумать логическую формулу, неиллюзорно доставляет. Формулу-то придумать можно, только что кому эта формула даст?

Цитировать
Может или не может модель отражать реальные факты - вопрос другой.
А между тем этот "другой вопрос" наиболее важен. Потому что если модель не отражает объективных фактов, то зачем она нужна? В схоластике поупражняться?

Цитировать
Интересно еще и то, что верный ответ может быть только один, а ложных - много.
Иногда и верных ответов может быть больше одного.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Guest »

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 587
  • Репутация: +1/-1
Re: Очередной спор про формальную логику
« Ответ #226 : 18 Январь, 2012, 17:56:20 pm »
Цитата: "Antediluvian"
Цитата: "Vivekkk"
Тогда надо четко определить что считать "белым".
В том-то и дело, что всё надо ..ть, но это сделать нереально.

Многие понятия определены с той или иной степенью точности, "на глазок". Поэтому ..

 Формулу-то придумать можно, только что кому эта формула даст?

...
\

Ех, смешной ты, дядя . .
даже если все твои 100 дятлов из 100а . .
назовут серую дверь белой . .

ТО РАНО ИЛИ ПОЗДНО наступит . .
ТакааАААя степень серости (грязности) ..
Что никакой - даже идиот не осмелится . .
Назвать эту поверхность Белой .

А это и значит, что граница ..
МЕЖДУ Свойством и его отрицанием -
ОБЯЗАТЕЛЬНО ЕСТЬ !

А насколько она левее или правее . .
ВСЕ РАВНО - ОНА ОПИСЫВАЕТСЯ ФЛ .

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

Оффлайн Antediluvian

  • Оратор форума
  • ********
  • Сообщений: 10 976
  • Репутация: +2/-8
Re: Очередной спор про формальную логику
« Ответ #227 : 18 Январь, 2012, 20:57:46 pm »
Цитата: "KWAKS"
Ех, смешной ты, дядя . .
даже если все твои 100 дятлов из 100а . .
назовут серую дверь белой . .
А ты можешь дать точное и однозначное определение белого? Ну-ка попробуй.  :lol:
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Guest »

Оффлайн Василий

  • Афтар жжот
  • ****
  • Сообщений: 2 326
  • Репутация: +43/-11
Re: Очередной спор про формальную логику
« Ответ #228 : 18 Январь, 2012, 21:07:57 pm »
Цитата: "Antediluvian"
А ты можешь дать точное и однозначное определение белого? Ну-ка попробуй.  :lol:


В цветовой модели rgb белым, называется цвет с кординатами (r=255,g=255,b=255). (координаты в десятичной системе исчисления).
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Guest »

Оффлайн Antediluvian

  • Оратор форума
  • ********
  • Сообщений: 10 976
  • Репутация: +2/-8
Re: Очередной спор про формальную логику
« Ответ #229 : 18 Январь, 2012, 21:19:20 pm »
Цитата: "Василий"
Цитата: "Antediluvian"
А ты можешь дать точное и однозначное определение белого? Ну-ка попробуй.  :lol:


В цветовой модели rgb белым, называется цвет с кординатами (r=255,g=255,b=255). (координаты в десятичной системе исчисления).
Вы дверь красите в цветовой модели RGB или краской и валиком?
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Guest »