В чем заключается смысл требования непротиворечивости
Логика: Шпаргалка.
5. ЗАКОН НЕПРОТИВОРЕЧИЯ И ЕГО ЗНАЧЕНИЕ В ДЕЯТЕЛЬНОСТИ ЧЕЛОВЕКА.
Логическое мышление характеризуется непротиворечивостью. Противоречия разрушают мысль, затрудняют процесс познания. Требование непротиворечивости мышления выражает формально-логический закон непротиворечия: два несовместимых друг с другом суждения не могут быть одновременно истинными; по крайней мере, одно из них необходимо ложно.
Этот закон формулируется следующим образом: неверно, что а и не-а (не могут быть истинными две мысли, одна из которых отрицает другую). Он выражается формулой ⌉(р ∧ ⌉р) (неверно, что р и не-р одновременно истинны). Под р понимается любое высказывание, под ⌉р – отрицание высказывания р, знак ⌉ перед всей формулой – отрицание двух высказываний, соединенных знаком конъюнкции ∨.
Закон непротиворечия действует в отношении всех несовместимых суждений.
Не будет противоречия между суждениями, если в одном из них утверждается принадлежность предмету одного признака, а в другом – отрицается принадлежность этому же предмету другого признака и если речь идет о разных предметах.
Этот закон принято называть законом противоречия. Однако название – закон непротиворечия – точнее выражает его действительный смысл.
Противоречия не будет, если мы что-либо утверждаем и то же самое отрицаем относительно одного предмета, но рассматриваемого в разное время и (или) в разных обстоятельствах.
Один и тот же предмет нашей мысли может рассматриваться в разных отношениях. Так, о студенте К.
Можно сказать, что он хорошо знает немецкий язык, так как его знания удовлетворяют требованиям, предъявленным к поступающим в институт. Однако этих знаний недостаточно для работы в качестве переводчика. В этом случае мы вправе сказать: «К. плохо знает немецкий язык». В двух суждениях знание К. немецкого языка рассматривается с точки зрения разных требований, следовательно, эти суждения также не противоречат друг другу.
Закон непротиворечия выражает одно из коренных свойств логического мышления – непротиворечивость, последовательность мышления.
Одно из основных требований, предъявляемых к версии в судебном исследовании, в том, чтобы при анализе совокупности фактических данных, на основе которых она построена, эти данные не противоречили друг другу и выдвинутой версии в целом. Наличие противоречий должно привлечь самое серьезное внимание следователя. Но бывают случаи, когда следователь, выдвинув версию, которую он считает правдоподобной, не принимает во внимание факты, противоречащие этой версии.
В процессе судебного разбирательства обвинитель и защитник, истец и ответчик выдвигают противоречащие друг другу положения, отстаивая свои доводы и оспаривая доводы противной стороны. Необходимо тщательно проанализировать все обстоятельства по делу, чтобы окончательное решение суда основывалось на достоверных и непротиворечивых фактах.
К числу обстоятельств, по которым приговор признается несоответствующим фактическим обстоятельствам дела, уголовно-процессуальное право относит существенные противоречия, содержащиеся в выводах суда, изложенных в приговоре.
Закон непротиворечия
Логическое мышление характеризуется непротиворечивостью. Противоречия разрушают мысль, затрудняют процесс познания. Требование непротиворечивости мышления выражает формально-логический закон непротиворечия:
Два несовместимых друг с другом суждения не могут быть одновременно истинными; по крайней мере одно из них необходимо ложно.
Этот закон формулируется следующим образом: неверно, что а и не-а (не могут быть истинными две мысли, одна из которых отрицает другую). Он выражается формулой 
(р ^ р) (неверно, что р и не-р одновременно истинны). Под р понимается любое высказывание, под р – отрицание высказывания р, знак перед всей формулой – отрицание двух высказываний, соединенных знаком конъюнкции.
Закон непротиворечия действует в отношении всех несовместимых суждений.
Для правильного его понимания необходимо иметь в виду следующее. Утверждая что-либо о каком-либо предмете, нельзя, не противореча себе, отрицать (1) то же самое (2) о том же самом предмете, (3) взятом в то же самое время и (4) в том же самом отношении.
Понятно, что не будет противоречия между суждениями, если в одном из них утверждается принадлежность предмету одного признака, а в другом – отрицается принадлежность этому же предмету другого признака (1) и если речь идет о разных предметах (2).
(3) Противоречия не будет и в том случае, если мы что-либо утверждаем и то же самое отрицаем относительно одного лица, но рассматриваемого в разное время. Допустим, что обвиняемый 11, в начале следствия дал ложные показания, однако в конце следствия он был вынужден под тяжестью изобличающих его улик признаться и дать истинные показания. В этом случае суждения: «Показания обвиняемого П. являются ложными» и «Показания обвиняемого Н. являются истинными» – не противоречат друг другу.
(4) Наконец, один и тот же предмет нашей мысли может рассматриваться в разных отношениях. Так, о студенте Щукине можно сказать, что он хорошо знает немецкий язык, так как его знания удовлетворяют требованиям, предъявленным к поступающим в институт. Однако этих знаний недостаточно для работы в качестве переводчика. В этом случае мы вправе сказать: «Щукин плохо знает немецкий язык». В двух суждениях знание Щукиным немецкого языка рассматривается с точки зрения разных требований, следовательно, эти суждения также не противоречат друг другу.
Закон непротиворечия выражает одно из коренных свойств логического мышления – непротиворечивость, последовательность мышления. Его сознательное использование помогает обнаруживать и устранять противоречия в своих и чужих рассуждениях, вырабатывает критическое отношение ко всякого рода неточности, непоследовательности в мыслях и действиях.
Н. Г. Чернышевский подчеркивал, что непоследовательность в мыслях ведет к непоследовательности в поступках. «У кого не уяснены принципы во всей логической полноте и последовательности», – писал он, у того не только в голове сумбур, но и в делах чепуха. Умение вскрывать и устранять логические противоречия, нередко встречающиеся в показаниях свидетелей, обвиняемого, потерпевшего, играет важную роль в судебной и следственной практике.
Одно из основных требований, предъявляемых к версии в судебном исследовании, состоит в том, чтобы при анализе совокупности фактических данных, на основе которых она построена, эти данные не противоречили друг другу и выдвинутой версии в целом. Наличие таких противоречий должно привлечь самое серьезное внимание следователя. Однако бывают случаи, когда следователь, выдвинув версию, которую он считает правдоподобной, не принимает во внимание факты, противоречащие этой версии, игнорирует их, продолжает развивать свою версию вопреки противоречащим фактам.
В процессе судебного разбирательства обвинитель и защитник, истец и ответчик выдвигают противоречащие друг другу положения, отстаивая свои доводы и оспаривая доводы противной стороны.
Поэтому необходимо тщательно проанализировать все обстоятельства по делу, чтобы окончательное решение суда основывалось на достоверных и непротиворечивых фактах.
Недопустимы противоречия в судебных актах. К числу обстоятельств, по которым приговор признается несоответствующим фактическим обстоятельствам дела, уголовно-процессуальное право относит существенные противоречия, содержащиеся в выводах суда, изложенных в приговоре. Таким образом, закон непротиворечия утверждает, что два противоположных высказывания не могут быть одновременно истинными, одно из них обязательно ложно. Ложным могут быть и оба суждения. Фактически это принцип человеческого мышления, запрещающий говорить об одном и том же «да» и «нет», утверждать и отрицать одно и то же об одном и том же в одно и то же время.
Данный текст является ознакомительным фрагментом.
Продолжение на ЛитРес
Читайте также
Закон непротиворечия
Закон непротиворечия Логическое мышление характеризуется непротиворечивостью. Противоречия разрушают мысль, затрудняют процесс познания. Требование непротиворечивости мышления выражает формально-логический закон непротиворечия:Два несовместимых друг с другом
1. Закон
1. Закон
1. Закон сердца и закон действительности
1. Закон сердца и закон действительности Этому сердцу противостоит некоторая действительность, ибо в сердце закон есть прежде всего лишь для себя, еще не претворенный в действительность, и, следовательно, он в то же время есть нечто иное, нежели понятие. Это «иное»
II. Закон
II. Закон Мы должны раскрыть здесь читателю великую тайну нашего святого мужа, а именно: всё своё рассуждение о праве он начинает с общего его объяснения, которое «вырывается» у него, когда он говорит о праве, и ему лишь тогда удаётся поймать его, когда он начинает говорить о
19 МАЯ (Закон)
19 МАЯ (Закон) Основа всех вер одна и та же.1 Одно есть несомненное проявление Божества – это законы добра, которые человек чувствует в себе и в признании которых он не то что соединяется, а волею-неволею соединен с другими людьми.2 Только кажется, что человечество занято
Закон насилия и закон любви
II. Закон
II. Закон Мы должны раскрыть здесь читателю великую тайну нашего святого мужа, а именно: все свое рассуждение о праве он начинает с общего его объяснения, которое «вырывается» у него, когда он говорит о праве, и ему лишь тогда удается поймать его, когда он начинает говорить о
2. Закон тождества. Закон непротиворечия
2. Закон тождества. Закон непротиворечия Закон тождества (a = a). Чтобы дать его характеристику, прежде необходимо понять, что же такое тождество вообще. В наиболее общем смысле под тождеством понимают равнозначность, одинаковость. При этом редко можно говорить об
Первый духовный закон успеха – это Закон Чистой Потенциальности
Первый духовный закон успеха – это Закон Чистой Потенциальности Этот закон основан на том, что мы, по самой своей сущности, есть чистое сознание. Чистое сознание – это чистая потенциальность, это поле всех возможностей и бесконечных творческих способностей. Чистое
Глава первая Закон интеллектуальной эволюции человечества или закон трех стадий
Глава первая Закон интеллектуальной эволюции человечества или закон трех стадий 2. Согласно моей основной доктрине, все наши умозрения, как индивидуальные, так и родовые должны неизбежно пройти, последовательно три различные теоретические стадии, которые смогут быть
70. ЗАКОН
70. ЗАКОН Истинно говорю вам: если не исчезнут небо и земля, не пропадет и йоты одной из Закона, пока он весь не воплотится.Библия — Евангелие от Матфея, 5Закон добр, если кто применяет его законно.Библия — К Тимофею, 1:8Закон производит гнев, ибо где нет закона, нет и
Закон (Loi)
Закон (Loi) Универсальное и обязательное к исполнению высказывание. Очевидно, что понимаемых в этом смысле «законов природы» не бывает. Мы употребляем это слово по аналогии, имея в виду определенные наблюдаемые закономерности. Напротив, разумность универсума молчалива
3. Непротиворечивость и интервальность
3. Непротиворечивость и интервальность
Как бы ни было велико его значение, факт непротиворечивости не следует рассматривать как априорное условие научной ценности теории. Научную ценность могут представлять и противоречивые, но нетривиальные теории. Если в числе теорем (аксиом) теории отсутствует ex faiso sequitur quodlibet, то противоречивость не обесценивает ни понятие теоремы теории, ни понятие доказательства в ней. В этом случае наличие противоречия становится всего лишь посторонней посылкой<125>, которая не влияет на законные выводы этой теории. Поэтому тот, для кого программа изучения доказательств противоречивых теорий может представлять научный или философский интерес, не исключает из общей теории дедуктивных систем и изучение противоречивых систем, мотивируя это тем, что такое изучение может содействовать изучению общих дедуктивных свойств непротиворечивости теорий или нахождению новых методов доказательства непротиворечивости.
Наиболее глубокая трактовка связывает вопрос о непротиворечивости с вопросом о допустимых способах рассуждений, а не только с принципиальной недопустимостью противоречий. Способов рассуждений, допустимых, так сказать, абсолютно, не существует. Обычно их допустимость определяется характером “логики вещей”, о которых рассуждают (или хотят рассуждать). Чтобы судить о наличии противоречия, необходимо располагать средствами получения противоречий и более того — знанием о достижимости противоречия этими средствами. К примеру, непредикативные определения сам Рассел рассматривал как средства получения антиномий, а парадокс Рассела — как свидетельство достижимости антиномий этими средствами. Вопрос о допустимости непредикативных определений долгое время был предметом острых дискуссий между Расселом, Цермело и Пеано, с одной стороны, и Пуанкаре — с другой.
Как известно, “критерий основания” Протагора связывал допустимость с мнением человека, однако не уточнял основания для этого мнения. Уже Платон на это заметил, что основание не должно быть произвольным или заключаться в субъективной воле человека, иначе придется признать законность противоречий. Эта мысль Платона была развита в аристотелевском логическом принципе противоречия и, — уже в современной логике (школой Гильберта), — в методологическом требовании доказательства “абсолютной непротиворечивости” математических теорий. Но вполне уместная в области “истин разума” идея непротиворечивости не всегда оправдана в области “фактических истин”. Перенесенная из области логики, где непротиворечивость обосновывалась запасом теоретико-множественных средств, в другие области знания, основанные на других абстракциях, она породила особый “стиль мышления”, игнорирующий диалектику интервальных ситуаций, в которых критерий Протагора, понятый, однако, более широко, как относительность истины к условиям и средствам ее познания, оказывается весьма существенным. Именно поэтому многие рассуждения, приводящие к парадоксам, но в остальном безупречные, по существу только демонстрируют интервальный характер связанных с ними гносеологических ситуаций. Таковы, в частности, известные апории Зенона Элейского или так называемый софизм “куча”: “Одно зерно — не куча. Если n зерен не куча, то п + 1 — тоже не куча. Следовательно, любое число зерен — не куча”. Это лишь один из парадоксов транзитивности, возникающих в ситуациях неразличимости (или интервального равенства). Последняя служит типичным примером интервальной ситуации, в которой свойство транзитивности равенства при переходе от одного интервала неразличимости к другому, вообще говоря, не сохраняется. Поэтому принцип математической индукции в этой ситуации неприменим. Стремление усматривать в такого рода ситуациях свойственное опыту “нетерпимое противоречие” (А.Пуанкаре), которое теоретическая мысль преодолевает в абстрактном понятии математического континуума, не обосновано общим доказательством устранимости подобного рода ситуаций в сфере теоретического (в частности, математического) мышления и опыта. Достаточно сказать, что практика применения столь важных в этой сфере законов тождества так же, вообще говоря, как и в сфере опыта, зависит от того, какой смысл вкладывают в выражение “один и тот же объект”, какими средствами или критериями при этом пользуются. К примеру, далеко не всегда нам удается абстракцию неразличимости заменить абстракцией отождествления. А только в этом случае и можно рассчитывать на “преодоление” противоречий типа парадокса транзитивности.
Читайте также
4. Непротиворечивость в ультраинтуиционизме
4. Непротиворечивость в ультраинтуиционизме В связи с темой непротиворечивости и отождествлений нельзя обойти молчанием ультраинтуиционистскую программу обоснования математики<126>, тем более, что она является российским приоритетом.Появлению этой программы
5. Непротиворечивость и “собственный универсум” логики
5. Непротиворечивость и “собственный универсум” логики Теперь, в связи с проблемой непротиворечивости и практикой отождествлений, я хочу сделать несколько замечаний к понятию “предметная область” (или “универсум рассуждения”)<134>, поскольку эта тема является одной из
§ 5. Независимость и непротиворечивость аксиом
§ 5. Независимость и непротиворечивость аксиом Теперь нам необходимо рассмотреть вопросы, связанные с набором аксиом. Каковы существенные и желательные свойства, которыми должен обладать набор аксиом?1. Аксиомы исследуются с учетом имплицируемых ими суждений.
103. Непротиворечивость
103. Непротиворечивость Никому еще не удавалось создать философию, которая была бы одновременно правдоподобной и внутренне непротиворечивой. К правдоподобию стремился Локк, но достиг его лишь за счет непротиворечивости.Большинство же великих философов поступали
ГЛАВА IV: Непротиворечивость, полнота и геометрия
ГЛАВА IV: Непротиворечивость, полнота и геометрия Смысл явный и неявныйВ главе II мы видели пример того, как смысл — по крайней мере, в относительно простом контексте формальных систем — рождается из изоморфизма между управляемыми правилами символами и вещами реального
Непротиворечивость системы управления Вселенной
Непротиворечивость системы управления Вселенной Необходимо объяснить вопрос, связанный с тем, как сочетаются обе модели управления, с точки зрения, свободы действия локальных центров Вселенной (Личности, Я).Каждое «Я» — это новое направление развития Вселенной,
ТРЕБОВАНИЕ НЕПРОТИВОРЕЧИВОСТИ
Смотреть что такое «ТРЕБОВАНИЕ НЕПРОТИВОРЕЧИВОСТИ» в других словарях:
требование непротиворечивости — Бухгалтерский принцип, обуславливающий необходимость тождества данных аналитического учета оборотом и остатком по синтетическим счетам на первое число каждого месяца, показателей бухгалтерской отчетности данным синтетического и аналитического… … Справочник технического переводчика
Непротиворечивость — Сюда перенаправляется запрос «Несовместимость». На эту тему нужна отдельная статья. Непротиворечивость свойство формальной системы, заключающееся в невыводимости из неё противоречия. Если отрицание какого то предложения из системы может… … Википедия
Учётная политика — Учётная политика совокупность способов ведения бухгалтерского учёта первичного наблюдения, стоимостного измерения, текущей группировки и итогового обобщения фактов хозяйственной деятельности. Основы формирования (выбора и обоснования) … Википедия
ПБУ 1/2008 — ПОЛОЖЕНИЕ ПО БУХГАЛТЕРСКОМУ УЧЕТУ УЧЕТНАЯ ПОЛИТИКА ОРГАНИЗАЦИИ ПБУ 1/2008 Содержание 1 I. Общие положения 2 II. Формирование учетной политики 3 III. Измен … Бухгалтерская энциклопедия
ПБУ 1/98 — ПОЛОЖЕНИЕ ПО БУХГАЛТЕРСКОМУ УЧЕТУ «УЧЕТНАЯ ПОЛИТИКА ОРГАНИЗАЦИИ» ПБУ 1/98 ВНИМАНИЕ! Этот нормативный акт ОТМЕНЕН! См. ПБУ 1/2008 Содержание 1 I. Общ … Бухгалтерская энциклопедия
Предназначение учетной политики организации — учетная политика организации должна обеспечивать: полноту отражения в бухгалтерском учете всех факторов хозяйственной деятельности (требование полноты); своевременное отражение фактов хозяйственной деятельности в бухгалтерском учете и… … Энциклопедический словарь-справочник руководителя предприятия
ПБУ 1/94 — ПОЛОЖЕНИЕ ПО БУХГАЛТЕРСКОМУ УЧЕТУ УЧЕТНАЯ ПОЛИТИКА ПРЕДПРИЯТИЯ (ПБУ 1/94) ВНИМАНИЕ! Этот нормативный акт ОТМЕНЕН! См. ПБУ 1/2008 Утратил силу в связи с изданием Приказа Минфина РФ от 09.12.1998 N 60н. Содержание 1 … Бухгалтерская энциклопедия
КЁРРИ — (Curry), Хаскелл Брукс (р. 12 сент. 1900) – амер. логик, математик и философ, проф. Пенсильванского ун та с 1941. Большинство соч. К. посвящено логике комбинаторной и связанным с ней вопросам общей теории формальных систем и исчислений. Осн.… … Философская энциклопедия
АКСИОМАТИЧЕСКИЙ МЕТОД — (греч. axioma значимое, принятое положение) способ построения теории, при котором некоторые истинные утверждения избираются в качестве исходных положений (аксиом), из которых затем логическим путем выводятся и доказываются остальные истинные… … Новейший философский словарь
Значение слова «непротиворечивость»
Формальные системы, обладающие этим свойством, называются непротиворечивыми, или формально непротиворечивыми. В противном случае формальная система называется противоречивой, или несовместной.
Для широкого класса формальных систем, язык которых содержит знак отрицания,
эквивалентна свойству: «не существует такой формулы
обе доказуемы». Класс формул данной формальной системы называется непротиворечивым, если не всякая формула этой системы выводима из данного класса.
Формальная система называется содержательно непротиворечивой, если существует модель, в которой истинны все теоремы этой системы. Если формальная система содержательно непротиворечива, то она формально непротиворечива.
Для формальных систем, основанных на классическом исчислении предикатов, справедливо и обратное утверждение: в силу теоремы Гёделя о полноте классического исчисления предикатов, всякая такая непротиворечивая система имеет модель. Таким образом, один из способов доказательства непротиворечивости формальной системы состоит в построении модели.
Другой, так называемый метаматематический метод доказательства непротиворечивости, предложенный в начале XX в. Гильбертом, состоит в том, что утверждение о непротиворечивости некоторой формальной системы рассматривается как высказывание о доказательствах, возможных в этой системе. Теория, объектами которой являются произвольные математические доказательства, называется теорией доказательств, или метаматематикой. Примером применения метаматематического метода может служить предложенное Генценом доказательство непротиворечивости формальной системы арифметики
Любое доказательство непротиворечивости использует средства той или иной математической теории, а потому лишь сводит вопрос о непротиворечивости одной теории к вопросу о непротиворечивости другой. При этом говорят также, что первая теория непротиворечива относительно второй теории. Большое значение имеет вторая теорема Гёделя, которая утверждает, что непротиворечивость формальной теории, содержащей арифметику, невозможно доказать с помощью средств самой рассматриваемой теории (при условии, что эта теория действительно непротиворечива).
Наличие логической противоречивости подрывает основу рассуждения, доказательства. теории, поскольку логическая противоречивость является ахиллесовой пятой неправильного рассуждения и учения. Установление логической противоречивости теории или концепции разрушает теорию или концепцию без каких-либо дальнейших аргументов их несостоятельности
Делаем Карту слов лучше вместе
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать Карту слов. Я отлично умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Я стал чуточку лучше понимать мир эмоций.
Вопрос: повозочный — это что-то нейтральное, положительное или отрицательное?