Кузнецов Дмитрий Юрьевич : другие произведения.

Доказательство

Самиздат: [Регистрация] [Найти] [Рейтинги] [Обсуждения] [Новинки] [Обзоры] [Помощь|Техвопросы]
Ссылки:
Школа кожевенного мастерства: сумки, ремни своими руками
 Ваша оценка:
  • Аннотация:
    рассуждение на основе логики

Согласно рувике [1,2,3,4] термин "Доказательство" имеет много значений. Наиболее четко доказательство осуществляется в логике. Это позволяет автоматизировать процесс проверки утверждений, хотя на 2010 год лишь небольшая часть теорем может быть доказана с помощью автоматических алгоритмов [5,6,7]. Поэтому используется также более мягкое значение этого слова. В Математике, доказательством называется цепочка логических умозаключений, показывающая, что при каком-то наборе аксиом и правилах вывода верно некоторое утверждение.

В юриспруденции строгость доказательств слабее; иногда юристы, считающие себя профессионалами, говорят о доказательствах, не уточняя концепцию, в рамках которой такие доказательства могли бы быть получены [4,9]. Законы во многом ограничивают произвол того, какие именно рассуждения могут считаться доказательствами; система законов может рассматриваться как концепция, на основе которой строятся доказательства.

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

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

Примеры доказательств в Вере

Я стараюсь каждый раз формулировать концепцию, в рамках которой выведено каждое утверждение; указывать постулаты, на основе которых построено доказательство.

Утверждение том, что катастрофа Невского Экспресса (27 ноября 2009 года) была запланирована, доказывается на основе следующих концепций:
(1) 2 декабря 2009 года лидеры едра провели митинг памяти жертв катастрофы Невского Экспресса [10].
(2) По закону о собраниях [11], заявка на митинг была подана не менее чем за 10 дней до митинга.
(3) В конце ноября 2009 года, едросы не сделали никаких попыток предотвратить катастрофу.
(4) Имеет место принцип причинности [12]: временная эволюция системы определяется её состоянием в любой из предшествующих моментов времени.

Из Федерального закона (2) следует, что уведомление о митинге (1) было подано до катастрофы. Из принципа причинности (3) следует, что едросы или сами организовали взрыв экспресса, или были осведомлены о дате террористического акта, знали что катастрофа случится до 2 декабря.

Таким образом, из допущений (1),(2),(4) следует, что едросы либо сами организовали это крушение, либо имели конфиденциалную информацию от лиц, устроивших эту катастрофу. Следовательно, катастрофа Невского экспресса 2009 года была не случайной аварией, а результатом запланированного террористического акта. При этом, из допущения (3) следует, что едросы являются либо террористами, либо их соучастниками. Таком образом, доказательство того, что едро является террористической организацией, основано на допущении, что они не пытались ни предотвратить катастрофу, ни предупредить пассажиров о том, что им следует выбрать иной вид транспорта или воздержаться от поездки.

Аналогичным образом, доказательство жульничества руководителей института Хруничева [13] (Шипова, Меньшикова и других), а также невежества или злой воли российских министров основано на следующих концепциях:
(1) В 2008,2009 и в 2010 годах Меньшикова и другие сотрудники инатитута Хруничева доложили, что создан безопорный движитель гравицапа, который нарушает закон сохранения импулса, не являясь при этом вечным двигателем [14,15].
(2) Закон сохранения импульса следует из однородности пространства-времени; принцип относительности движения запрещает сохранение энергии при нарушении сохранения импульса.
(3) Проекты вроде Гравицапы получали государственное финансирование, позволяющее выводить такие устройства на околоземную орбиту [15].
Как и в случае террористической активности едросов, из концепций (1-3) следует, что проект "гравицапа" является жульничеством, и осуществляемом с участием министров Российской Федерации.

В этом примере для доказательства мошенничества министров используется предположение о том, что они закончили хотя бы курс среднеобразовательной школы, а также постулат об обносительности движения. Если выяснится, министры не получили даже начального образования (и не знают о сохранении импульса), или что звезды, планеты (и гравицапы) кружатся вокруг неподвижной Земли, то в рамках такой концепции потребуется иное доказательство того, что деятельность вокруг гравицапы и ее финансирование являются жульничеством. (При этом, правда, потребуется иная интерпретация результатов экспериментов с Маятником Фуко, измерения красных смещений и многих других наблюдаемых явлений.)

Доказательство не следует путать с проверкой. Например, ввиду того, что большинство министров РФ является едросами, приходится сделать вывод о некомпетентности или злой воле едросов. Этот вывод позволяет предсказывать и новые проявления их некомпетентности или злой воли. Например, на основе этой концепции ожидалось, что едросы не смогут представить самосогласованнию концепцию катастрофы Катынь-2, ни организовать эффективное тушение пожаров летом 2010 года. (Эти ожидания оправдались: расследование провалено; порядка одного процента территории России выгорело.)

Опровержение законов, использованных для доказательства, влечет также опровержение доказательства. Аналогично, опровержение результата доказательства опровергает также систему постулатов, использованных для доказательства. Например, из советской концепции истории следует не только нерушимость Советского Союзам но и построение в нем коммунизма в конце 20 века; в советской концепции истории эта нерушимость и это построение доказываются. Ввиду противоречия результата такого доказательства с наблюдаемыми явлениями (развал СССР), советская концепция истории отвергнута. В качестве первого (и достаточно грубого) постсоветского приближения, может рассматриваться инвертированная советская концепция; то есть система утверждений, в которой каждое предложение советской концепции заменено на обратное. Процедура такого инвертирования описана в статье Семантика новояза. В частности, из инвертированной советской концепции истории следует, что Гагарин не ставил мировой рекорд дальности полета, и что первая ядерная бомба была сделана в СССР, а не в США (В попытке опровергнуть последнее утверждение "от противного", написана статья "Ядерная фоктрина").

Заключение Доказательства могут строиться только на основе концепций. Для того, чтобы один оппонент мог что-либо доказать другому, спорщики должны найти общие аксиомы, постулаты, принимаемые обоими оппонентами. Без этого доказательства (в указанном выше смысле) невозможны, а дискуссия происходит по законам женской логики [16]. Ввиду сложности женской логики, в Вере эта логика не принята и в дискуссиях такая манера доказательства не поощряется.
На основе приведенной выше концепции доказательства, можно предложить правило для дискуссий: не следует требовать доказательство и не следует приводить доказательство до тех пор, пока оппонент не согласился с какими-либо постулатами, концепциями, которые можно использовать для этого доказательства. Только рамках некоторой концепции какое-либо нетривиальное утверждение и его доказательство могут иметь смысл.

Благодарность. Я благодарен читателям Jason Bourne и Ме, обсуждающим, в частности, статью Шпана; это обсуждение явилось мотивацией для настоящего документа и помогло уточнить концепцию доказательства, используемую в настоящем словаре.

Ссылки:
1. http://ru.wikipedia.org/wiki/Доказательство
2. http://ru.wikipedia.org/wiki/Доказательство_(логика)
3. http://ru.wikipedia.org/wiki/Математическое_доказательство
4. http://ru.wikipedia.org/wiki/Доказательство_(юриспруденция)
5. http://www.mizar.org/ Mizar Home Page
6. http://en.wikipedia.org/wiki/Mizar_system
7. http://en.citizendium.org/wiki/Mizar_(software)
9. http://scilib.narod.ru/Other/Vyshinsky/index.html А.Я.Вышинский. Теория судебных доказательств.
10. http://www.regnum.ru/news/1231242.html Б.Евстратиков. Митинг против террора, проведенный в Москве "Единой Россией", собрал 15 000 человек. 22:13 02.12.2009 В Москве сегодня, 2 декабря, прошел митинг против террора, организованный партией "Единая Россия".
11. http://www.rg.ru/2004/06/23/miting-dok.html Федеральный закон Российской Федерации от 19 июня 2004 г. N 54-ФЗ О собраниях, митингах, демонстрациях, шествиях и пикетированиях. ... Уведомление о проведении публичного мероприятия (за исключением собрания и пикетирования, проводимого одним участником) подается его организатором в письменной форме в орган исполнительной власти субъекта Российской Федерации или орган местного самоуправления в срок не ранее 15 и не позднее 10 дней до дня проведения публичного мероприятия.
12. http://ru.wikipedia.org/wiki/Принцип_причинности
13. http://www.khrunichev.ru/main.php?id=81 Научно-исследовательский институт космических систем (НИИ КС)
14. http://news.bbc.co.uk/hi/russian/sci/tech/newsid_7418000/7418039.stm Россия запустила спутник с "вечным двигателем". BBC, 23 мая 2008 г. ... Четвертый - аппарат "Юбилейный", выпущенный акционерным обществом "Информационные спутниковые системы" в Железногорске Красноярского края в честь 50-летия запуска первого искусственного спутника Земли. Он примечателен, прежде всего, тем, что на нем установлен небывалый двигатель для коррекции орбиты, который его создатели окрестили "вечным". Это первый космический двигатель, работающий не на реактивном принципе, а за счет движения внутри него жидкого рабочего тела по определенной траектории, напоминающей торнадо. Энергию для этого будут давать солнечные батареи.
15. http://www.vremya.ru/2010/18/4/246663.html "Мы не изобретаем вечный двигатель". 04.02.2010. В мае 2008 года с космодрома Плесецк ракета-носитель "Рокот" вывела в космос малый космический аппарат "Юбилейный". На нем и установлена "гравицапа".
16. http://mitya.pp.ru/woman.htm Д.В.Беклемишев. Заметки о женской логике.
Тексты в Вере на близкие темы:
http://samlib.ru/k/kuznecow_d_j/nevskiexpr.shtml Взрыв Невского экспресса
http://samlib.ru/k/kuznecow_d_j/edror.shtml едро
http://samlib.ru/k/kuznecow_d_j/conceptr.shtml Концепция
http://samlib.ru/k/kuznecow_d_j/mathematicsr.shtml Математика
http://samlib.ru/k/kuznecow_d_j/lessonnovoqz.shtml Семантика новояза
http://samlib.ru/k/kuznecow_d_j/sovhist.shtml Советская концепция истории
http://samlib.ru/k/kuznecow_d_j/spana.shtml Шпана
http://samlib.ru/k/kuznecow_d_j/000abc.shtml Алфавитный указатель
http://samlib.ru/k/kuznecow_d_j/002vera.shtml О текстах Веры
Copyleft 2010 by Dmitrii Kouznetsov. This text may be used for free, attribute http://samlib.ru/k/kuznecow_d_j/proofr.shtml

 Ваша оценка:

Связаться с программистом сайта.

Новые книги авторов СИ, вышедшие из печати:
О.Болдырева "Крадуш. Чужие души" М.Николаев "Вторжение на Землю"

Как попасть в этoт список

Кожевенное мастерство | Сайт "Художники" | Доска об'явлений "Книги"