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

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

Оффлайн antirex

  • Афтар жжот
  • ****
  • Сообщений: 1 344
  • Репутация: +0/-1
Re: Очередной спор про формальную логику
« Ответ #330 : 31 Январь, 2012, 19:06:08 pm »
Цитата: "Antediluvian"
Вам наверняка известно (о таком корифее всех наук, как Квакс, я уже и не говорю), что метод неполной индукции с точки зрения формальной логики - фуфло, попса и тренд.

"фуфло, попса и тренд" - это ваши термины, а не ФЛ.

Словарь по логике:

ИНДУКТИВНАЯ ЛОГИКА - раздел логики, изучающий индук­тивные умозаключения, которые отличаются от дедуктивных умо­заключений тем, что вывод в них вытекает из посылок не с необходимостью, а лишь с некоторой вероятностью. Типичным примером индуктивного умозаключения является переход от еди­ничных фактов к общему утверждению. Современная И.л. в основ­ном занимается анализом степени подтверждения гипотезы h на основании имеющегося свидетельства е.

ИВИН, "ЛОГИКА":

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



Цитата: "Antediluvian"
Я уже не говорю о том, что формальной логике вообще-то по барабану, тщательные там были исследования или не тщательные - это, как уже отметил Василий, наука о форме рассуждений, а не об их содержании.
Само собой, ФЛ - это инструмент, а инструменту всегда по барабану, умеете Вы им пользоваться или нет. В данном случае - пользоваться инструментом для получения правильного вывода.  


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

А проблема в чём? Кто заставляет Вас делать дедуктивные либо вероятностные (индуктивные) умозаключения ещё до того, как Вы  разобрались в существенных признаках?
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Guest »
В начале было слово. Но судя по тому, как события стали развиваться дальше, слово было матерным.

Оффлайн KWAKS

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

В математике вообще бсе действия . .
Это лишь частные случаи СЛОЖЕНИЯ !
Ну конечно. И сейчас .. Квакс нам тут лихо вычислит производную .., используя при этом исключительно сложение. :lol:

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

РайЗуйМееца !
Производная - это вычитание . .
А вычитание - это прибавление противоположного .
А интеграл - это уж напрямую сумма числового ряда .

Умножение - это сложение предметов группами .
Возведение в степень - это умножение группами .
Логарифмирование - это сложение показателей степени .
И т д и т п . .
Книжки умные прочти, дятел ты беспробудный !

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

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 587
  • Репутация: +1/-1
Re: Очередной спор про формальную логику
« Ответ #332 : 31 Январь, 2012, 19:56:22 pm »
Цитата: "antirex"
Цитата: "Antediluvian"
.., а поди ж ты... Самое интересное во всей данной ситуации то. . .

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

Давайте без лозунгов.
.. ПРАВИЛЬНОГО НЕлогичного рассуждения.

Ant .. А проблема в чём? Кто
заставляет Вас делать
дедуктивные либо
вероятностные
(индуктивные)
умозаключения ещё до того, как

Вы
разобрались в
существенных
признаках?
\

Браво, Антирекс !

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

Оффлайн Vivekkk

  • Администратор
  • Почётный Афтар
  • *********
  • Сообщений: 8 932
  • Репутация: +17/-1
Re: Очередной спор про формальную логику
« Ответ #333 : 01 Февраль, 2012, 01:11:02 am »
Цитата: "Василий"
1) Фактически,  формальная логика занимается оценкой суждений по формальным критериям.  Формальная логика  это логика формы...
Вот-вот, но на этом основании нельзя же считать формальную логику "неверной", "ограниченно" и пр. У логики свой предмет.

Однако, стоит ради достижения истинного положения вещей, отметить, что Ваш вывод относится, скорее, к разделу формальной логики - к силлогистике. Формальная логика как наука включает в себя и учение об индуктивных умозаключениях, и о дедукции, и о определении понятий, и учение о доказательстве, и пр. Все эти разделы в своей совокупности образуют современную логику (подчеркнул для Снега Севера). Следовательно, и определять логику как науку следует, учитывая существенные признаки этих разделов.
Цитировать
Взамен переменных можно подставлять практически любые высказывания и с точки зрения ФЛ, это будет верным.  Пусть, A = «Путин  пидорaз» , тогда выражение будет означать «Неверно, что Путин не пидорaз»( не (Путин не пидорaз) ) ,  следовательно  ( --> )   «Путин пидорaз». С точки зрения формальной логики это верно,  но какая на самом деле ориентация у ВВП нам неизвестно.
Это не с точки зрения логики, а с точки зрения силлогистики. Учитывая же логику в целом, данные суждения нельзя признать добросовестными, на мой, конечно, взгляд.  
Цитировать
2) Закон исключения третьего — один из основополагающих законов ФЛ, вызывает дискуссии со времен Сократа.  «Дверь открыта или закрыта ?», Может ли дверь быть приоткрыта или открыта на половину, или на 20% или на 2.002 градусов?   Закон исключения хорошо работает для конечных множеств, но приводит к парадоксам для бесконечного множества. Я не собираюсь ни с кем вступать в дискуссии по этому поводу, кто не согласен ,  пусть  ГУГЛит « теория множеств парадокс брадобрея, парадокс Рассела» и «закон исключения третьего для бесконечных множеств».
У Вас изначально неверно сформулирован вопрос. Он построен нелогично. Логично он выглядит так: дверь открыта или не открыта? Вот и все. Попробуйте, исходя из данного вопроса, придумать что-то третье ;)

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

Ну, естественно, все эти "парадоксы" давно уже рассмотрены.

Цитировать
3) Говорить, что логика или математика чисто придуманы человеком и вообще не имеют отношения к реальности --  тоже  не верно. Законы логики и математики — объективны, они отражают определенные закономерности, которые имеются в природе, но «отражают» не означает «отражают без искажений».
Вы, безусловно, правы.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Guest »
Veritas est adaequatio rei et intellectus.

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 587
  • Репутация: +1/-1
Re: Очередной спор про формальную логику
« Ответ #334 : 01 Февраль, 2012, 02:14:19 am »
Цитата: "Вивекк"
Цитата: "Вася"
. .
 верно. Законы логики
и математики —
объективны, они
.. имеются в
природе, но

«отражают» не означает «отражают без искажений».  ___________
Вы, безусловно, правы. _________________
"Многознание
обладанию умом не
научает" (Гераклит)
\

К Вашему счастью, ув. Вивекк - Вася не прав . . .

Законы логики
и математики —
АЖ НАСТОЛЬКО объективны, ЧТО они
отражают
ЛЮБЫЕ
закономерности, которые имеются в
природе, . .

И «отражают» их - С НАПЕРЕД ЗАДанной точностью .

Это и означает, что «искажения» - становятся . .
СКОЛЬ УГОДНО - ПРЕНЕБРЕЖИМО МАЛЫМИ, безусловно . .
Т Е, не затеняющими сущность ______ предмета рассмотрения !

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

Оффлайн Augustus

  • Афтар
  • ***
  • Сообщений: 200
  • Репутация: +0/-0
Re: Очередной спор про формальную логику
« Ответ #335 : 01 Февраль, 2012, 02:24:45 am »
Цитата: "concreter"
Цитата: "Augustus"
Атеисты нашего форума: -- Пойдём вместе?
Augustus: -- Пойдёмте.
Да иди ты.

И мы пошли ...
Но всяк своим путём!

Augustus: -- Не тормози, форум!

Атеисты нашего форума: -- Нам бы ссылочку! Без ссылки мы Не поверим что Фридрих Э-энгельс там чего-то говорил. Филисофия-то МАРКСИЗМА-ЛЕНИНИЗМА! Может Э-энгельс там и не стоял? И желательно на русском (не все форумчане "шпрехают на дойче")!

Augustus:-- Да ради Бога!
"всякая религия является не чем иным, как фантастическим отражением в головах людей тех внешних сил, которые господствуют над ними в их повседневной жизни -- отражением, в котором земные силы принимают форму неземных" (К.Маркс и Ф. Энгельс. Соч. Т. 20, с. 328).
Я бы так НЕ смог!
Да ещё в стиле рэпа марксизма-ленинизма ...

Продолжим путь однако и сделаем следующий шаг ...
Если Бога нет, то ни одно явленье в нашем мире НЕ представляет собой результат воздействия Бога на мир.

Милые моему сердцу богоборцы, вы с э-этим высказыванием согласны?
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Guest »
Со-Весть форума.

Оффлайн Augustus

  • Афтар
  • ***
  • Сообщений: 200
  • Репутация: +0/-0
Re: Очередной спор про формальную логику
« Ответ #336 : 01 Февраль, 2012, 02:56:27 am »
Широко шагаешь -- штаны порвёшь ...
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Guest »
Со-Весть форума.

Оффлайн Augustus

  • Афтар
  • ***
  • Сообщений: 200
  • Репутация: +0/-0
Re: Очередной спор про формальную логику
« Ответ #337 : 01 Февраль, 2012, 03:12:45 am »
Оттого и выглядишь ты на нашем форуме ... СМЕШНО, НО!
Заметь, я никогда здесь не смеялся (до вчерашнего дня -- случился такой грех -- разместил смеющийся смайл).
Смех я считаю грехом (правда не смертным, но всё ж грехом и в нём я каюсь) ...
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Guest »
Со-Весть форума.

Снег Север

  • Гость
Re: Очередной спор про формальную логику
« Ответ #338 : 01 Февраль, 2012, 05:27:34 am »
Цитата: "Vivekkk"
Формальная логика как наука включает в себя и учение об индуктивных умозаключениях, и о дедукции, и о определении понятий, и учение о доказательстве, и пр. Все эти разделы в своей совокупности образуют современную логику (подчеркнул для Снега Севера).
К сведению г-на с "гуманитарным образом мышления" - всё перечисленное (и многое неупомянутое) уже лет сто как составляет предмет математической логики, с которой ФЛ сегодня полностью отождествляется. Подтверждение - хоть в википедии или любой энциклопедической литературе.

При всей важности разделов математики для интеллектуальной деятельности, только безнадежный идиот может считать какой-то раздел математики "непременной основой правильного мышления". Благодаря отождествлению ФЛ с математической логикой на нее оказалась распространимой теорема Геделя "о неполноте" - в непротиворечивой системе существуют высказывания, которые в ее рамках недоказуемы. Что, в частности, и означает неполноту ФЛ и неприменимость ее в качестве основы правильного мышления.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Guest »

Оффлайн DV

  • Афтар
  • ***
  • Сообщений: 183
  • Репутация: +2/-0
Re: Очередной спор про формальную логику
« Ответ #339 : 01 Февраль, 2012, 06:04:53 am »
Цитата: "Снег Север"
...Что, в частности, и означает неполноту ФЛ и неприменимость ее в качестве основы правильного мышления.
Позвольте спросить, а что сегодня наукой считается основой правильного мышления? Ведь те книжки, на которые указывал Вивек, действительно, пишут о логике как о правильном мышлении. Что, получаются, ученые, преподающие в вузах, врут нам? За что ставят оценки? Зачем тогда вообще нужна эта логика, если она не основа правильного мышления?

Только не ругайте меня, я просто спросил :)
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Guest »
Veritas est adaequatio rei et intellectus - истина есть соответствие вещи и интеллекта.