2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему На страницу Пред.  1, 2, 3, 4, 5  След.
 
 Re: формально-логические законы
Сообщение21.11.2011, 10:37 
Заслуженный участник
Аватара пользователя


28/09/06
10834
докер в сообщении #505293 писал(а):
Можно Вас попросить, еще какой-нибудь пример
Пожалуйста. Вон в соседней ветке само собой получилось:
epros в сообщении #505056 писал(а):
Mega Sirius12 в сообщении #504992 писал(а):
Да и вообще существует континиуум вещей, которые вообще невозможно никак описать словами
Этой фразой Вы уже "как-то" описали эти вещи. :wink:
Вся суть в различиях понимания высказывания "$x$ описан словами". Если понимать это буквально (так, как понял я), то фраза Mega Sirius12 становится противоречивой. Вся проблема в том, что мне неизвестно, как это высказывание понимает сам Mega Sirius12 (очевидно, что он не планировал высказать нечто противоречивое), поэтому и возникает неизбежная "подмена понятия". На самом деле, в философских дискуссиях это происходит чуть ли не в каждой фразе, так что это уже стало приниматься как само собой разумеющееся. :wink:

Но и в математике такие ситуации (если достаточно глубоко покопаться) не исключены. Например, можно привести такое утверждение о натуральных числах, которое не противоречит арифметике (первого порядка), однако может быть доказано только путём нарушения тождества, т.е. подменой стандартного понятия "натуральное число".

 Профиль  
                  
 
 Re: формально-логические законы
Сообщение21.11.2011, 14:44 


02/05/09
580
epros
Я поняла, не какой-нибудь пример, а пример соблюдения(или нарушения) закона исключенного третьего, и пример соблюдения(или нарушения) закона противоречия.

 Профиль  
                  
 
 Re: формально-логические законы
Сообщение21.11.2011, 15:15 
Заслуженный участник


27/04/09
28128

(Оффтоп)

Кстати, пришёл в голову вопрос понимания, epros, я правильно понимаю, что «нарушение закона $R$», которому соответствует какое-нибудь правило вывода $R$, означает применение в рассуждениях вместо этого правила какого-то правила, на него похожего? (Но которое не «соответствует» уже классической логике, т. е. им можно выводить из истинных в ней формул ложные в ней.) Или как-то не так понимаю?

 Профиль  
                  
 
 Re: формально-логические законы
Сообщение21.11.2011, 17:00 
Заслуженный участник
Аватара пользователя


28/09/06
10834
arseniiv в сообщении #506155 писал(а):
Кстати, пришёл в голову вопрос понимания, epros, я правильно понимаю, что «нарушение закона $R$», которому соответствует какое-нибудь правило вывода $R$, означает применение в рассуждениях вместо этого правила какого-то правила, на него похожего? (Но которое не «соответствует» уже классической логике, т. е. им можно выводить из истинных в ней формул ложные в ней.) Или как-то не так понимаю?
Вы правильно подметили: "нарушение закона" - это не совсем корректный словооборот (но раз уж разговор началься с этого, я не стал уточнять). Дело в том, что законы логики нельзя собственно "нарушить", их можно "неправильно использовать в рассуждениях". Поэтому примеры касаются именно неправильного использования: когда вместо $A$ в формулу подставляется похожее, но на самом деле не то $a$ и т.п.

 Профиль  
                  
 
 Re: формально-логические законы
Сообщение21.11.2011, 17:43 


02/05/09
580
Пример "неправильного использования в рассуждениях" закона исключенного третьего, и пример "неправильного использования в рассуждениях" закона противоречия.

 Профиль  
                  
 
 Re: формально-логические законы
Сообщение21.11.2011, 18:10 
Заслуженный участник


27/04/09
28128

(2 epros.)

Ага. Ну тогда у меня продолжение вопроса есть: как определить, на какой из выбранного нами множества законов больше похож полученный от неправильного использования? Хотя это уже как-то плохо вяжется с реальностью: вроде же обычно путаница в логике всегда идёт какими-то определёнными способами. Например, никто вроде бы никогда не додумывался выводить вот так: $A \vdash \neg A$. Так что вопрос теряет общность и обессмысливается немного. :?

 Профиль  
                  
 
 Re: формально-логические законы
Сообщение21.11.2011, 18:12 
Злостный тролль-клон Дмитрий Муродьянц. Студент 1 курса МГТУ им. Баумана. Кафедра физики


16/10/11

305
я вам могу привести пример, когда нарушается закон исключенного третьего без подмены понятий
Вот-предположим есть Бог, и он создал детермированный мир, то все будущее его предопределено
Предположим этот мир есть наш
так вот, допустим, что один человек держит в руке пульт управленияч, которым может уничтожить все планету
От кого зависит решение уничтожения планеты?
Утверждение А-это завист только от решения человека
Утверждение истино, тк никто, кроме него не принимает решения
Отрицание А-не только от него зависит судьба планеты
Это утверждение тоже истино, тк в силу детермированности нашего мира, Бог уже предопределил его будущее по Своей Воле, и следоваьельно Он принял решение об уничтожении планеты
Получается верно утверждение, и его отрицание

 Профиль  
                  
 
 Re: формально-логические законы
Сообщение22.11.2011, 09:21 
Заслуженный участник
Аватара пользователя


28/09/06
10834
arseniiv в сообщении #506206 писал(а):
Ну тогда у меня продолжение вопроса есть: как определить, на какой из выбранного нами множества законов больше похож полученный от неправильного использования?
Думаю, что однозначного ответа нет, если только его не дал сам рассуждающий (например, если он заявил: "по такому-то закону выводим ....", и привёл неверный вывод). В остальных случаях остаётся только догадываться по контексту рассуждения. В частности, подмену понятия ближе всего ассоциировать с нарушением $A \to A$ постольку, поскольку вывод подменённого $A'$ из исходного $A$ предполагается по правилу modus ponens из соответствующей импликации.

докер в сообщении #506197 писал(а):
Пример "неправильного использования в рассуждениях" закона исключенного третьего, и пример "неправильного использования в рассуждениях" закона противоречия.
Ну, ошибка в применении закона противоречия может выглядеть примерно так: "Невозможно просить развода, не давая на него согласия" (так "формальный логик" мог бы обосновать свой ответ на 2-ой пример топикстартера). Здесь $A$ = "$x$ просит её развести". Далее подразумевается, что высказывание "$x$ не даёт согласия на развод" является отрицанием $A$ (что, вообще говоря, неверно). Соответственно, утверждение о невозможности $A \wedge \neg A$, является констатацией закона противоречия. :wink:

Mega Sirius12 в сообщении #506208 писал(а):
Получается верно утверждение, и его отрицание
Когда верно и утверждение и его отрицание - это нарушение закона противоречия, а не закона исключённого третьего. Закон исключённого третьего утверждает, что высказывание либо истинно, либо ложно. Конструктивисты считают, что его не всегда можно применять. Один из таких примеров (не путайте с примерами неправильного применения закона): $A$ = "Существует нечётное совершенное число" - не доказано и не опровергнуто. И нет никакой уверенности, что может быть доказано или опровергнуто теми средствами, которыми мы располагаем. Классическая логика скажет, что всё равно истинно либо $A$, либо $\neg A$. Конструктивная же логика отказывается утверждать данную дизъюнкцию.

 Профиль  
                  
 
 Re: формально-логические законы
Сообщение22.11.2011, 11:18 
Заблокирован


30/07/09

2208
Mega Sirius12 в сообщении #506208 писал(а):
От кого зависит решение уничтожения планеты?
Утверждение А-это завист только от решения человека
Утверждение истино, тк никто, кроме него не принимает решения
Вы уверены в том, что решения, которые Вы якобы принимаете, это Ваши решения, а не внушённые Вам извне некоторым Вольфом Мессингом телепатом, или Господом, или что-то в этом роде?
Другое дело: Вы можете привести решение к исполнению или нет, чисто физически, нажав кнопку.

 Профиль  
                  
 
 Re: формально-логические законы
Сообщение22.11.2011, 12:44 
Злостный тролль-клон Дмитрий Муродьянц. Студент 1 курса МГТУ им. Баумана. Кафедра физики


16/10/11

305
Цитата:
Вы уверены в том, что решения, которые Вы якобы принимаете, это Ваши решения, а не внушённые Вам извне некоторым Вольфом Мессингом телепатом, или Господом, или что-то в этом роде?
Это не важно, от этого она не перестает быть моей :wink:

 Профиль  
                  
 
 Re: формально-логические законы
Сообщение22.11.2011, 13:31 
Заблокирован


30/07/09

2208
Кто это "она"? Вынужден печатать лишние буковки...

 Профиль  
                  
 
 Re: формально-логические законы
Сообщение22.11.2011, 13:34 
Заслуженный участник
Аватара пользователя


28/09/06
10834
Mega Sirius12 в сообщении #506208 писал(а):
Утверждение А-это завист только от решения человека
Утверждение истино, тк никто, кроме него не принимает решения
Кстати, это тоже неверно, поскольку "никто, кроме него, не принимает решения" - ложный аргумент: Вы только что определили в условиях задачи, что решение было принято Богом.

Я вижу, Вы пытаетесь упражняться в диалектике? Не рекомендую, ибо диалектика - вовсе не логика, а такой способ пудрить мозги себе и окружающим. :wink: Пренебрежение противоречиями никого ещё до добра не доводило. Как я уже говорил, более конструктивным является подход, когда кажущиеся противоречия разрешаются по схеме "тезис - антитезис - синтез" (если не ошибаюсь, она идёт ещё от Канта).

 Профиль  
                  
 
 Re: формально-логические законы
Сообщение22.11.2011, 15:04 
Злостный тролль-клон Дмитрий Муродьянц. Студент 1 курса МГТУ им. Баумана. Кафедра физики


16/10/11

305
Цитата:
Кстати, это тоже неверно, поскольку "никто, кроме него, не принимает решения" - ложный аргумент: Вы только что определили в условиях задачи, что решение было принято Богом.
И человеком))
Цитата:
Я вижу, Вы пытаетесь упражняться в диалектике?
время от времени :wink:К
Цитата:
ак я уже говорил, более конструктивным является подход, когда кажущиеся противоречия разрешаются по схеме "тезис - антитезис - синтез" (если не ошибаюсь, она идёт ещё от Канта).
А это разве не диалектический подход? :roll:

 Профиль  
                  
 
 Re: формально-логические законы
Сообщение22.11.2011, 15:15 
Заслуженный участник
Аватара пользователя


28/09/06
10834
Mega Sirius12 в сообщении #506561 писал(а):
А это разве не диалектический подход?
Смотря что называть "диалектическим". Эту триаду приписывают Гегелю, хотя вроде бы он упомянул её только раз, да и то в контексте ссылки на Канта. Но это, конечно, не мешает называть её "диалектической". Я это сказал к тому, что против этой триады ничего не имею - рассуждение по данной схеме (я где-то уже даже приводил пример такового) без проблем формализуется. А вот игнорирование противоречий - совсем другое дело, это такая вещь, которую непонятно как интерпретировать.

 Профиль  
                  
 
 Re: формально-логические законы
Сообщение22.11.2011, 15:18 
Злостный тролль-клон Дмитрий Муродьянц. Студент 1 курса МГТУ им. Баумана. Кафедра физики


16/10/11

305
я с вами полностью согласен

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 68 ]  На страницу Пред.  1, 2, 3, 4, 5  След.

Модераторы: Модераторы, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group