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

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

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 587
  • Репутация: +1/-1
Re: Очередной спор про формальную логику
« Ответ #390 : 10 Февраль, 2012, 03:26:29 am »
Цитата: "Василий"
Вообщем, вы так меня до конца и не поняли.  
Это не я,

это так в жизни.  На самом  деле
так  и есть . . для кого-то говнецо и есть мармелад.  Вы просто верите, что все по полочкам . . и непротиворечиво.  

Вот, .. покажите мне где в природе СУЖДЕНИЕ существует ?
.. СУЖДЕНИЕ отдельное от вас и любого другого человека. . . на худой конец .. чтоб я его потрогать мог.


.. все множества уже . . неким образом "даны нам в ощущения" … Как вы примерно…  

Но мне надоело….    
 Может ещё, .., я тогда почитаю, тогда может …………..
\

Да понял я вас, еще до того, как вы - закидоны здесь закидывать начали . .

Вы требуете дырочку от бублика !
БЕЗ МАЛЕЙШЕЙ - ДАЖЕ крупицы . .
Самого Бублика, как такового !
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Guest »
Заранее благодарен = [ KWAKS ]
______________________________
КWА-ффэсор
тИнно-болотнУтого Ничего Не ИследУюшшего И-а.

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

  • Афтар жжот
  • ****
  • Сообщений: 2 326
  • Репутация: +43/-11
Re: Очередной спор про формальную логику
« Ответ #391 : 10 Февраль, 2012, 05:54:17 am »
Неа, я никаких бубликов не требовал, а тем более дырок. И закидонов, я не закидавл.

Я просто, очень вежливо заметил, что если человек даже не знает,  чем предмет занимается, что изучает.  Например, думает,  что логика изучает природу и на основании одной логики можно делать выводы о физических явлениях или событиях в прошлом.   При этом постоянно тыкаем им( даже не им, а его названием, в данном случае словом «логика») всем и каждому в РЫЛО,  при этом не смог продемонстрировать никаких логических построений,  допускает детские ошибки вроде подтверждения  консеквента, когда на это указали переходит в демагогию,  то он ТУПОРЫЛОЕ МУДИЛО и лучшее, что он может сделать для мира, ЭТО ОСОЗНАТЬ СВОЮ УЕБИЩНОСТЬ И ЗАСТРЕЛИТЬСЯ.

Или вы вообще,  уважаемый КВАКС про что? Про какие бублики и дырки?
Про закон противоречия может? Так, он был опровергнут в конце 19-ого века сам собой, тогдашней  математикой и логикой.  Но отказываться от него не стали т.к. из противоречий можно вывести, что угодно, а математика – точная наука. Может вам противоречивый объект продемонстрировать в природе? Так,  таких нет в природе, есть только в разуме человека. И непротиворечивых объектов тоже в природе нет. Противоречивый-не_противоречивый объект это то, что вы  думаете об объекте. Это у вас в мозгу(не в природе) Андестенд?


Итак,  подведем итоги основных популярных заблуждений:

Заблуждение:
1)Законы логики абсолютны.
Факт:
Логика менялась и развивалась с течением времени, законы логики создавались человеком и менялись на протяжении истории. Законы логики не абсолютны и не универсальны.


Заблуждение:
2)Логика относится к природе  и объектам материального мира, если, что противоречит логике, то в природе такого быть не может.
Факт:
Логика занимается СУЖДЕНИЯМИ. В природе нет суждений, суждения создаются  человеком(его мышлением), а не  природой. Логика наука о человеческом мышлении. Именно, поэтому логика с математикой не являются естественными науками.  Любые противоречия-не_противоречия в голове человека, а не в природе.

Заблуждение:
3)Логика занимается не только СУЖДЕНИЯМИ-УТВЕРЖДЕНИЯМИ,  но и их содержанием(ака смыслом)
Факт:
По определению формальная логика занимается «формой», а не ее содержанием.  Развивалась логика от средневековой силлогистики  частично связанной с содержанием, до современной математической логики, которая оперирует переменными, которые лишены «предметного смысла».
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Guest »

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 587
  • Репутация: +1/-1
Re: Очередной спор про формальную логику
« Ответ #392 : 10 Февраль, 2012, 10:44:29 am »
Цитата: "Василий"
1)логики Аристотеля с   кучей модусов по формам и фигурам  –  сейчас нет. Уже давно нет. Такая логика не используется. Как не используется метафизика Аристотеля.
2) .  . . Или вы вообще,
.. Про какие
бублики и дырки?
Про закон
противоречия может?

Так, он был
опровергнут в конце
19-ого века

сам собой,
тогдашней
математикой

и
логикой. Но отказываться от него
не стали ...
\

бхГАГАво, тов вася . .
Диагноз рэволюцяйоной нужды -
Не только на лицо, но и на всю физию !

ААууу, люууууди - кто еще пока живой ?
Кто тут не насовсем - грохнулся мозгой об асфальт ? ? ?

А кто знает такую науку . . .
Которая 200 лет - без малейшего . .
Зазрения совести, так сказаать .

ПОЛЬЗУЕТСЯ ОПРОВЕР ГНУТЫМИ ИСТИНАМИ ? ? ?

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

Снег Север

  • Гость
Re: Очередной спор про формальную логику
« Ответ #393 : 10 Февраль, 2012, 11:14:12 am »
Цитата: "KWAKS"
А кто знает такую науку . . .
Которая 200 лет - без малейшего . .
Зазрения совести, так сказаать .
ПОЛЬЗУЕТСЯ ОПРОВЕР ГНУТЫМИ ИСТИНАМИ ? ? ?
К сведению долбодятлов - неевклидова геометрия "опровергла истину" про единственность параллельных, но это ничуть не мешает продолжению пользования евклидовой геометрией. Долбодятлы, будучи в своем репертуаре, так никогда не поймут, что любые истины относительны. И логические - тоже.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Guest »

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

  • Афтар жжот
  • ****
  • Сообщений: 2 326
  • Репутация: +43/-11
Re: Очередной спор про формальную логику
« Ответ #394 : 10 Февраль, 2012, 13:18:52 pm »
Цитата: "KWAKS"

ПОЛЬЗУЕТСЯ ОПРОВЕР ГНУТЫМИ ИСТИНАМИ ? ? ?

;) ги ги хо хо хо тру ля ля !
Привет маме, которая вас . .
Уронила в детстве - лицом вниз . . .

Закон противоречия это аксиома формальной системы, а не какая-то «всеохватывающая истина».  

Логика –формальная наука. Закон противоречия это закон формальной науки,  это не такой естественный закон, как например  «закон всемирного тяготения Ньютона», который описывает определенную закономерность, которая в свою очередь объективно существует  в природе. Закон логики (это примерно(очень примерно) как правило в футболе) по которому люди решили играть .    
 Тогда получилась ситуация(антиномия),  что эта аксиома вошла в противоречие  с другими аксиомами и сама с собой. Парадоксы  Рассела и Кантора  это фундаментальные парадоксы они способствовали тогда коренному пересмотру логико-математических принципов.  Взамен  наивной теории  пришла теория  ZF.
Прочитай и вникни, например у  Герасимова в его «Курс математической логики и теории вычислимости»(я давал ссылку), читайте   третью главу «формальные аксиоматические теории». Почитайте где-нибудь вообще про формальные системы, что это такое вообще. Истины это только в вашей земноводной голове.  
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Guest »

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 587
  • Репутация: +1/-1
Re: Очередной спор про формальную логику
« Ответ #395 : 10 Февраль, 2012, 19:36:56 pm »
Цитата: "Снег Север"
Цитата: "KWAKS"
А кто знает такую науку . . .
Которая . . , так сказаать .
ПОЛЬЗУЕТСЯ ОП..ГНУТЫМИ ИСТИНАМИ ? ? ?
К с..лов - неевклидова геометрия "опровергла истину" про единственность параллельных, но это ничуть ..

в своем репертуаре, так никогда не поймут, что любые истины относительны. И логические - тоже.
\

дурьачек ты, сс-гнутый насквозь !
Предъяви людям такую геометрию . .
Которая совместно использует -
"истину" про ..
Одновренную единственность -неединственность параллельных !

Хоть ты из штанов выпрыгни . . .
А не получается у тебя быть . .
святее папы римского .

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

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 587
  • Репутация: +1/-1
Re: Очередной спор про формальную логику
« Ответ #396 : 10 Февраль, 2012, 20:03:51 pm »
Цитата: "Василий"
Цитата: "KWAKS"

ПОЛЬЗУЕТСЯ ОПРОВЕР ГНУТЫМИ ИСТИНАМИ ? ? ?

;) ги ги хо хо хо тру ля ля !
Привет маме, которая вас . .
Уронила в детстве - лицом вниз . . .

Закон противоречия это аксиома формальной системы, а не какая-то «всеохватывающая истина».  

Логика –формальная наука. Закон противоречия это закон формальной науки,  это не такой естественный закон, как например  «закон всемирного тяготения Ньютона», который описывает определенную закономерность, которая в свою очередь объективно существует  в природе. Закон логики (это примерно(очень примерно) как правило в футболе) по которому люди решили играть .    
 Тогда получилась ситуация(антиномия),  что эта аксиома вошла в противоречие  с другими аксиомами и сама с собой. Парадоксы  Рассела и Кантора  это фундаментальные парадоксы они способствовали тогда коренному пересмотру логико-математических принципов.  Взамен  наивной теории  пришла теория  ZF.
Прочитай и вникни, например у  Герасимова в его «Курс математической логики и теории вычислимости»(я давал ссылку), читайте   третью главу «формальные аксиоматические теории». Почитайте где-нибудь вообще про формальные системы, что это такое вообще. Истины это только в вашей земноводной голове.  
\

Вася, ну зачем же вы . .
Опять как в детстве -
лицом вниз ?. ?. ?.

ЕСЛИ - Закон противоречия
это аксиома
формальной системы,
а не кака . . не такой
естественный закон, как например «закон
всемирного тяготения
Ньютона», . . .

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

Оффлайн antirex

  • Афтар жжот
  • ****
  • Сообщений: 1 344
  • Репутация: +0/-1
Re: Очередной спор про формальную логику
« Ответ #397 : 10 Февраль, 2012, 21:43:04 pm »
Цитата: "Снег Север"
Цитата: "KWAKS"
А кто знает такую науку . . .
Которая 200 лет - без малейшего . .
Зазрения совести, так сказаать .
ПОЛЬЗУЕТСЯ ОПРОВЕР ГНУТЫМИ ИСТИНАМИ ? ? ?
К сведению долбодятлов - неевклидова геометрия "опровергла истину" про единственность параллельных, но это ничуть не мешает продолжению пользования евклидовой геометрией. Долбодятлы, будучи в своем репертуаре, так никогда не поймут, что любые истины относительны. И логические - тоже.

Вы ничего не путаете?
Какая из неевклидовых геометрий "опровергла истину"?
У Лобачевского плоскость отрицательной кривизны.
У Евклида плоскость нулевой кривизны.
Вроде как начальные условия - кривизна плоскостей - отличаются.

С чего бы это аксиома для плоскости с отрицательной кривизной вдруг опровергла аксиому для плоскости с нулевой кривизной?

Ведь это разные системы аксиом, и обе системы непротиворечивы.

Вроде как Евклидова геометрия есть в этом смысле «предельный» случай геометрии Лобачевского.

Модели геометрии Лобачевского дали доказательство её непротиворечивости, точнее показали, что геометрия Лобачевского столь же непротиворечива, как геометрия Евклида.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Guest »
В начале было слово. Но судя по тому, как события стали развиваться дальше, слово было матерным.

Оффлайн antirex

  • Афтар жжот
  • ****
  • Сообщений: 1 344
  • Репутация: +0/-1
Re: Очередной спор про формальную логику
« Ответ #398 : 10 Февраль, 2012, 21:51:40 pm »
Цитата: "KWAKS"
ТО ЖИВЬЕМ - ПРЕДЪЯВИТЕ Людям такого ..
ПахэрМахэра, который СОВСЕМ !
БРИЛСЯ-НЕБРИЛСЯ, а не вполлица .

Тут бы людЯм и задуматься, а почему это в природе не имеется объекта, о котором можно было бы на основании опытных данных и вполне обоснованно заявить, что он противоречив?
Но нет, не задумаются.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Guest »
В начале было слово. Но судя по тому, как события стали развиваться дальше, слово было матерным.

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

  • Афтар жжот
  • ****
  • Сообщений: 2 326
  • Репутация: +43/-11
Re: Очередной спор про формальную логику
« Ответ #399 : 10 Февраль, 2012, 23:33:07 pm »
Противоречив/не_противоречив объект зависит от  аксиоматики на основании которой анализируется объект, противоРЕЧИвость это не свойство объекта материального мира, это  суждения людей об этом объекте. Неужели это так сложно понять?

Цитата: "KWAKS"
Вася, ну зачем же вы . .
Опять как в детстве -
лицом вниз ?. ?. ?.

Про лицом вниз – не надо, Кантору с Расселом тоже такое говорили, но тогда 19-ый век был, а сейчас 21. И где сейчас эти богословы-идеалисты, которые про божественную-продуманную природу терли?  

Цитата: "KWAKS"
ТО ЖИВЬЕМ - ПРЕДЪЯВИТЕ Людям такого ..
ПахэрМахэра, который СОВСЕМ !
БРИЛСЯ-НЕБРИЛСЯ, а не вполлица .

Про парикмахера это аналогия, которая помогает понять суть проблемы. Я объяснил Парадокс Рассела. Если вы ничего не поняли, это не моя проблема.  
 Трудно представить множеств множество  и ещё кучу вещей. И существуют они в основном в  голове человека.
Перед тем,  как требовать от меня «парикхмахера»,  покажите мне в природе «отрицание», операцию «ИЛИ», «И» или хотя бы "сложение". Не ваши рассуждалки, а именно покажите в природе, отдельно от вас, чтобы я мог  увидеть и потрогать. Сможете? Правила логики и математики задаются аксиоматически(придумываются людьми, грубо говоря ). Они могут различаться в разных формальных системах. В дорасселовском формализме "наивной" теории множеств(классическая математика), считалось, что все множества уже существуют от начала времён, вне времени и пространства.  Более того, считалось, что они даны нам в ощущениях. Встал вопрос будет ли принадлежать само себе множество . Аксиоматика той классической математики была такой, что такой вопрос был правомерным и даже как оказалось необходимым.  Это привело к антиномии.  Парадоксы Рассела и Кантора, потому и называются фундаментальными, что привели к пересмотру аксиоматики, фундамента,  самих основ.   Придумали новую аксиоматику для теории множеств) заданную  системой аксиом Цермело—Френкеля (ZF). В логике  появились новые системы аксиоматики.  А также неклассические виды логик.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Guest »