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

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

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

  • Афтар жжот
  • ****
  • Сообщений: 2 326
  • Репутация: +43/-11
Re: Очередной спор про формальную логику
« Ответ #380 : 08 Февраль, 2012, 20:40:55 pm »
Цитировать
А в современной математической логике, вообще нет силлогизмов.

Имею ввиду нет такой кучи модусов, как в ситеме Аристотеля. Правила есть конечно, иногда их назвают силлогизмами, основной Modus ponens. А как в системе аристотиля кучи категорических модусов, с разными фигурами и формами такого  - нету.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Guest »

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 587
  • Репутация: +1/-1
Re: Очередной спор про формальную логику
« Ответ #381 : 08 Февраль, 2012, 21:17:34 pm »
Цитата: "WASЯ"
. . была
доказана теорема
(парадокс Рассела),
которая опровергает
«закон непротиворечия
Аристотеля», все это
фактически положило
конец «классической
логике». Реально ...
\

Вася, вы бы таки прочли в любом учебнике . . .
О ЧЕМ - была
доказана теорема
(парадокс Рассела),
. .
которая НЕ опровергает
«закон непротиворечия
Аристотеля», а совсем это
фактически НАОБРОТ !

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

Оффлайн KWAKS

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

Имею ввиду нет такой кучи модусов, как в ситеме . . аристотиля кучи кате..
\
ЗАТО в современной
математической
логике, вообще . .

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

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

  • Афтар жжот
  • ****
  • Сообщений: 2 326
  • Репутация: +43/-11
Re: Очередной спор про формальную логику
« Ответ #383 : 08 Февраль, 2012, 21:39:27 pm »
1)логики Аристотеля с   кучей модусов по формам и фигурам  –  сейчас нет. Уже давно нет. Такая логика не используется. Как не используется метафизика Аристотеля.
2) Парадокс Рассела – доказанная теорема в теории множеств. Которая, приводит к противоречию для «канторовских множеств». Никакой логикой Аристотеля во времена Рассела уже никто не пользовался разумеется.  
   См. тут например 125стр.  http://gas-teach.narod.ru/cmlct/CMLCT_3ed.pdf.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Guest »

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

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

Имею ввиду нет такой кучи модусов, как в ситеме . . аристотиля кучи кате..
\
ЗАТО в современной
математической
логике, вообще . .

ЕСТЬ логические функции, которые позволяют проанализировать . . .
ВСЕ - возможные и невозможные . .
СОЧЕТАНИЯ ЛЮБЫХ объектов -
предметов, процессов, свойств и пр, и т д, и т п .


Да примерно так.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Guest »

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

  • Афтар жжот
  • ****
  • Сообщений: 2 326
  • Репутация: +43/-11
Re: Очередной спор про формальную логику
« Ответ #385 : 08 Февраль, 2012, 22:10:21 pm »
Цитата: "KWAKS"
Цитата: "WASЯ"
. . была
доказана теорема
(парадокс Рассела),
которая опровергает
«закон непротиворечия
Аристотеля», все это
фактически положило
конец «классической
логике». Реально ...
\

Вася, вы бы таки прочли в любом учебнике . . .
О ЧЕМ - была
доказана теорема
(парадокс Рассела),
. .
которая НЕ опровергает
«закон непротиворечия
Аристотеля», а совсем это
фактически НАОБРОТ !

положило
конец попыткам - пришить «классической
логике» белыми нитками . .
То, чего в ней - НЕТ Реально . .



А вот из другого учебника, прям так и написано:

Цитата: "Стр 10. А.К. Гуц Математическая логика и теория алгоритмов"
В конце 19-ого века в математике, а точнее в теории множеств была доказана теорема которая опровергает закон не противоречия Аристотеля. Покажем, как это было сделано….

Но более грамотно и подробно тут
См. тут 125стр. http://gas-teach.narod.ru/cmlct/CMLCT_3ed.pdf.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Guest »

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 587
  • Репутация: +1/-1
Re: Очередной спор про формальную логику
« Ответ #386 : 08 Февраль, 2012, 23:24:15 pm »
Цитата: "Василий"
Цитата: "KWAKS"
Цитата: "WASЯ"
. . теорема
(парадокс Рассела),
которая опровергает .. Реально ...
\

Вася, .. в любом учебнике . . . теорема
(парадокс Рассела),
. .
 НЕ опровергает
«закон непротиворечия
Аристотеля», а совсем это
фактически НАОБРОТ !

положило
конец попыткам - пришить . .
То, чего в ней - НЕТ Реально . .

А вот .., прям так и написано:

Цитата: "Стр 10. А.К. Гуц Математическая логика и теория алгоритмов"
В конце 19-ого века .. была доказана теорема которая опровергает закон не противоречия Аристотеля. Покажем, как это было сделано….

Но более грамотно ..
См. тут 125стр. .._3ed.pdf.
\

Очень современные враки . .
Бумага все стерпит .

А покажите Реально,
как это было
сделано….

В НАТУРЕ ПОКАЖИТЕ . . .
Такой объект, который ОДНОВРЕМЕННО . .
обладает, но не обладает -
одним и тем же свойством .

нНУ .. И кто кому выкусил ?
Гуц Аристотелю, или наоборот ? ? ?

;) учебники еще и . . .
ЧИТАТЬ УМЕТЬ . .
НАдолбНО .

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

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

  • Афтар жжот
  • ****
  • Сообщений: 2 326
  • Репутация: +43/-11
Re: Очередной спор про формальную логику
« Ответ #387 : 09 Февраль, 2012, 09:59:26 am »
Цитата: "Аристотель. Метафизика книга 4 глава 3"
Совершенно очевидно, что и такие аксиомы должна рассматривать одна наука, а именно та, которой занимается философ, ибо аксиомы эти имеют силу для всего существующего, а не для какого-то особого рода отдельно от всех других.

Бла-бла-бла

Цитата: "Прогон известный как закон-непротиворечия-противоречия-Аристотеля"
А именно: невозможно, чтобы одно и то же в одно и то же время было и не было присуще одному и тому же в одном и том же отношении (и все другое. что мы могли бы еще уточнить, пусть будет уточнено во избежание словесных затруднений)-это, конечно. самое достоверное из всех начал, к нему подходит данное выше определение.

Парадокс Рассела:

Пусть K — множество всех множеств, которые не содержат себя в качестве своего элемента. Содержит ли K само себя в качестве элемента? Если да, то, по определению K, оно не должно быть элементом K — противоречие. Если нет — то, по определению K, оно должно быть элементом K — вновь противоречие.

Как видим, есть множество K которое содержит-не_содержит само себя в качестве элемента. А Аристотель говорил, что «Невозможно, чтобы одно и то же в одно и то же время было и не было присуще одному и тому же в одном и том же отношении», как видим существование множества  К  опровергает  закон-непротиворечия-противоречия-Аристотеля.   Существует ли такое множество? В канторовской теории множеств такое множество существует. Канторовская теория множеств была(в то время) нормальной  математической теорией построенной по тогдашним законам логики и математики и допускала такие множества.   Канторовская теория оказалась противоречивой.  И таким образом закон-непротиворечия-противоречия-Аристотеля был опровергнут.    

Но Квакс, вы можете не волноваться выкидывать на помойку закон непротиворечия никто не стал, напротив выкинули    канторовскую теорию, вместе с множеством K(оно же множество Рассела).   Человеческий мозг не любит противоречий. Но и   Куц не соврал, когда сказал, что «В конце 19-ого века в математике, а точнее в теории множеств была доказана теорема которая опровергает закон не противоречия Аристотеля».


Цитата: "Kwaks"
нНУ .. И кто кому выкусил ?
Гуц Аристотелю, или наоборот ? ? ?

Аристотель говорил, что земля есть центр вселенной, а вот Галилей и Стивен Хокинг говорили другое. И кто выкусил?

Цитата: "Kwaks"
     В НАТУРЕ ПОКАЖИТЕ . . .
Такой объект, который ОДНОВРЕМЕННО . .
обладает, но не обладает -
одним и тем же свойством .

В деревне только один парикмахер, но он бреет тех, и только тех жителей своей деревни, которые не бреются сами, а себе он бреет, только левую часть лица и говорит, что себя он «бреет-небреет».   Все жители деревни,  считают его ебнyтым и поэтому не ходят к нему бриться.

Противоречие это отношение двух суждений, каждое из которых является отрицанием другого.  У  неразумной природы нет суждений.  Это люди любят по-рассуждать.  
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Guest »

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 587
  • Репутация: +1/-1
Re: Очередной спор про формальную логику
« Ответ #388 : 09 Февраль, 2012, 15:59:04 pm »
Цитата: "Василий"
Цитата: "KWAKS"
. . \
ЗАТО .., вообще . .

ЕСТЬ логические функции, которые позволяют проанализировать . . .
ВСЕ - возможные и невозможные . .
СОЧЕТАНИЯ ЛЮБЫХ .. и пр, и т д, и т п .

Да примерно так.
- -

 Аристотель говорил,
что земля есть центр
вселенной, а вот ... И кто выкусил?

Kwaks писал(а):
В НАТУРЕ ПОКАЖИТЕ . . .
Такой объект, который
ОДНОВРЕМЕННО . .
обладает, но не
обладает -
. . .

В деревне только один
парикмахер, но он
бреет тех, и только тех .., которые не
бреются сами,

а себе он .. себя он «бреет-небреет».

Все жители деревни,
.. не ходят к
нему бриться.
. . .
\

Не, Вася - ну не надо ж в 1й кастрюле . .
дермецо и марамелад - взбалтывать .

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

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

  • Афтар жжот
  • ****
  • Сообщений: 2 326
  • Репутация: +43/-11
Re: Очередной спор про формальную логику
« Ответ #389 : 09 Февраль, 2012, 16:49:48 pm »
Вообщем, вы так меня до конца и не поняли.  

Это не я, это так в жизни.  На самом  деле так  и есть говнецо и мармелад и все в одной кастрюльке замешено. И от восприятия ещё тоже многое зависит(но существует отдельно), поэтому для кого-то говнецо и есть мармелад.  Вы просто верите, что все по полочкам разложено, идеально и непротиворечиво.  Вот, противоречие в природе показать просите, а вы покажите мне где в природе СУЖДЕНИЕ существует ? Не ваши КВА-КВА, а СУЖДЕНИЕ отдельное от вас и любого другого человека. Или бесконечность покажите или тессеракт-какой на худой конец продемонстрируйте(не схему или проекцию, а сам тессеракт), так чтоб я его потрогать мог.

Считали, математики в конце 19-ого века, что все множества уже существуют от начала времён (и даже раньше, вообще вне времени и пространства). Более того, они неким образом "даны нам в ощущения" … Как вы примерно…  Но мне надоело….     Может ещё, Вивеккк, что напишет, я тогда почитаю, тогда может тоже, что напишу…………..
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Guest »