Магия логического доказательства. Ч-4. Проблемная импликация

Аватар пользователя Дмитрий Бояркин
Систематизация и связи
Логика

ПРОБЛЕМНОЕ "из А следует В"

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

  • конъюнкция ("И") – заключение C будет истинным, когда обе начальные посылки А и В истинны;
  • дизъюнкция ("ИЛИ") - ... хотя бы одна из посылок А или В истинна;
  • равнозначность ("↔") - ... обе посылки: и А, и В - имеют одинаковые значения истинности.

- что радует. - А вот последняя операция – импликация – выдалась какой-то странной.  И всё из-за её смысловой словесной формулировки - "из А следует В" (эквиваленты: "если А, то В", "В, потому что А"), - которая, иной раз, может вводить людей в замешательство.

Там получается, что при "ложной" первой посылке (высказывания А) [ячейки выделены зелёным цветом] импликация всегда выдаёт "истинный" результат у заключения С [ячейки выделены красным цветом], - что не совсем вяжется с интуитивными ожиданиями: как это из "ложной" посылки непременно должно следовать только "истинное" логическое заключение? (и не важно, будет ли вторая посылка В [жёлтые ячейки] истинной или ложной).

Почему так получается? - На мой взгляд дело в том, что по своей сути СВЯЗЬ "импликация" не содержит в себе никакого рационального смысла вообще! – это просто особый тип логической СВЯЗИ, по воле звёзд не имеющий никакого внятного толкования. – Вот и всё! Вот такая странная СВЯЗЬ между высказываниями А, В и С, – и ничего тут не поделать.

Какие тут могут быть варианты по исправлению данной ситуации?

Вариант Первый, самый радикальный. Отказаться от словесной трактовки импликации в виде известного словосочетания "из А следует В", - оставив только нейтральное, никого не вводящее в заблуждение, название "импликация", и сохранив при этом за ней её изначальную таблицу истинностей. То есть надо просто признать "необъяснимость" такой связи, и жить с этим. Но едва ли математики хоть когда-нибудь откажутся от своей привычки называть импликацию по старинке "из А следует В".

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

Комментарии

Аватар пользователя Чифу

Почему у Вас в базовых функциях нет операции отрицания?

Насчет нетривиальности импликации: A->B = -А v B

Равнозначность: A ~ B = (A & B) v (-А & -B)

Инверсия равнозначности (неравнозначность) = Исключающее ИЛИ (сумма по модулю 2).

Аватар пользователя Дмитрий Бояркин

Чифу, ссылка:
..Почему у Вас в базовых функциях нет ОПЕРАЦИИ ОТРИЦАНИЯ?

Замечание верное. Действительно, я упустил "операцию отрицания" из списка базовых операций, - но сделал это намеренно, чтобы не усложнять изложение. Здесь я ограничился рассмотрением только базовых бинарных операций, относящихся к "логическим системам" из ТРЁХ высказываний (А,В и С), - а унарная "операция отрицания" относится к "логическим системам" из ДВУХ высказываний (А и В).

В чём, собственно, заключалась "сложность"? – Дело в том, что рассмотрение унарного "отрицания", потянуло бы рассмотрение и второй базовой унарной операции - "равнозначности" (В=А), которая есть также и в бинарной "равнозначности" (С = (АВ)). То есть мне пришлось бы двум логическим операциям с одинаковым названием "равнозначность" давать две разные соответствующие трактовки (унарную и бинарную), - и если я начал бы тут разводить эту бодягу с объяснениями, - то это отвлекло бы внимание от обсуждения главной темы - "проблемной ИМПЛИКАЦИИ".

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

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

..Насчет нетривиальности импликации: A->B = v B.

Как я понял, вы хотите сказать, что поскольку операцию импликацию (А->В) можно разложить на "более элементарные" операции: отрицание и дизъюнкцию:  "(-А) v B", - то тем самым ставится под сомнение сама "базовость" (элементарность) операции импликации. Но это не так.

Обратите внимание, что операция импликации (А->В) относится к логической системе из ТРЁХ высказываний: С = (A->B), а её эквивалент [как комбинация конъюнкции и отрицания ( С = v B )], – это уже "логическая система из ЧЕТЫРЁХ разных высказываний (А, А2, В, С).

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

В общем, нет оснований для сомнений, что импликация является именно базовой (элементарной) логической операцией. То же самое относится и к операции "равнозначность".

Аватар пользователя Дмитрий

Да, импликация, действительно, проблемная штука. Но для математической логики это, вообще говоря, не слишком важно. Главное - что задана таблица истинности, а как назвать логическую операцию, которую она отображает, - это второе дело.

Если под импликацией понимать логический вывод и запись "А -> В" читать как "из А логически следует В", то, конечно, данная таблица истинности здесь не подходит. В первой строчке ничего не изменится, а вот в остальном - в третьем столбике под С надо будет ставить не 0 и не 1, а прочерк. Если истинна посылка, то из нее следует истинное заключение. Это, можно сказать, закон. Но если посылка ложна, то судить об истинности следствия нельзя вообще.

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

Аватар пользователя Дмитрий Бояркин

Дмитрийссылка:
Если под импликацией понимать логический вывод и запись "А -> В" читать как "из А логически следует В", то, конечно, данная таблица истинности здесь не подходит. В первой строчке ничего не изменится, а вот в остальном - в третьем столбике под С надо будет ставить не 0 и не 1, а прочерк.

Это верно, что результат логической операции импликации не во всём вяжется с её распространённой словесной трактовкой "из А следует В", про что я и говорил. Но далее вы допустили две неточности.

Во-первых, вторая строка тоже "не изменится": ведь если А истинно, а В - ложно, - то значит, "В не следует из А" (значение истинности С во второй строке будет ложным [ячейка выделена красным цветом]), что полностью согласуется со словесной формулировкой "из А следует В".

Второе, - "прочерки" ставить в таблицах истинностей нельзя. В таких случаях, когда следствие не определено, каждую такую "неопределённую" строку следует разбить на две – с двумя значениями истинности (первая жёлтая пара, где "следствие С" может быть 1 и 0 для В истинного, и вторая зелёная пара, где "следствие С" принимает значения 1 и 0 , для В ложного).

Таким образом в случае, когда первое высказывание А ложное [ячейки выделены синей рамкой], то каким бы ни было второе высказывание В, заключение будет неопределённым: как истинным, так и ложным [ячейки выделены красной рамкой].

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

Аватар пользователя Чифу

Из Ивин А.А. Логика. Фаир-пресс, 2002. стр. 66

Цитата: Утверждая импликацию, мы утверждаем, что не может случиться, чтобы ее основание (антецедент) было истинным, а следствие (консеквент) - ложным.

...

... импликация истинна в следующих трех (случаях):

(1) и ее основание, и ее следствие истинны;

(2) основание ложно, а следствие истинно;

(3) и основание, и следствие ложны.

...

Импликация, в частности, не предполагает, что высказывание А и В как-то связаны между собой по содержанию.

...

Очевидно, что хотя импликация полезна для многих целей, она не совсем согласуется с обычным пониманием условной связи. Импликация охватывает многие важные черты "логического поведения" условного высказывания, но вместе с тем не является достаточно адекватным его описанием.

Цитата Вики, численная интерпретация импликации:

если первый операнд не больше второго операнда, то 1.

Аватар пользователя Дмитрий Бояркин

Чифу, ссылка:
..Очевидно, что хотя импликация полезна для многих целей, она не совсем согласуется с ОБЫЧНЫМ пониманием условной связи. Импликация охватывает многие важные черты "логического поведения" условного высказывания, но вместе с тем не является достаточно адекватным его описанием.

Только что и я так думал – собственно поэтому и писал эту статью. Но пока тут перебирал все варианты "бытового понимания" условной СВЯЗИ "из А следует В", вдруг пришёл к выводу, что классическая операция импликации "является достаточно адекватной" и очень даже хорошо "согласуется" со словесной формулировкой условного следования - "из А следует В". Надо только дать правильное ей толкование. А толкование следующие.

ПЕРВАЯ СТРОКА никогда ни у кого не вызывала никаких вопросов, - с ней всё понятно: если условная СВЯЗЬ установлена (С=1), то из истинной "посылки А" всегда будет следовать истинность "заключения В".

ВТОРАЯ СТРОКА определяет, что, если из истинной "посылки А" вдруг последует ложное "заключение В", то значит, никакой условной СВЯЗИ следования между высказываниями А и В нет (С=0).

ТРЕТЬЯ И ЧЕТВЁРТАЯ СТРОКИ говорят, что если СВЯЗЬ следования между А и В установлена (С=1), то из ложной "посылки А" может следовать хоть что: "следствие В" может быть как истинным, так и ложным (является неопределённым) [выделено жёлтым цветом].

Вот так неожиданно получилось, что сам себя опроверг. Оказывается, что если хорошенько подумать, то никаких смысловых проблем с импликацией нет.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

П р и м е р. Наполним высказывания А, В и С следующим содержанием:

  • А - "утром увижу тучи";
  • В – "возьму зонтик [с собой на работу]";
  • С – "Действую по плану импликации: "если А, то В". (тоже самое, что и "из А следует В", - оно же "А->В").

Первая строка:

Если утром вижу тучки ("А истинно"), то беру зонтик ("В истинно") – всё это согласуется с моим вчерашним планом: ("С истинно").

 

Вторая строка:

Если утром вижу тучки ("А истинно"), но тем не менее зонтик не возьму ("В ложно") – то это будет противоречить моему вчерашнему плану: т.е. "С ложно".

Третья и четвёртые строки:

Если тучек утром не видно (А ложно), то я могу как взять зонтик (В истинно), так и не брать его (В ложно), - в любом случае это будет в полном соответствии с моим вчерашним планом импликации (С истинно).

 

Аватар пользователя Чифу

Ивин А.А. тоже приводит примеры интерпретации импликации, где все "логично", тем не менее у него именно такое заключение: импликация не является адекватным описанием связки "если ..., то ...".

Аватар пользователя vlopuhin

Дмитрий Бояркин, 25 Май, 2020 - 18:33, ссылка

Если тучек утром не видно (А ложно), то я могу как взять зонтик (В истинно), так и не брать его (В ложно), - в любом случае это будет в полном соответствии с моим вчерашним планом импликации (С истинно).

Куда девалась "волшебная" связь? Открываем Ч-1, читаем:

Именно наличие определённых жёстких СВЯЗЕЙ между разными высказываниями и может образовывать всевозможные "логические системы", внутри которых и возможно будет вести эти самые "логические рассуждения".

У "На небе тучи" -> "Взять зонтик" нет жёсткой связи, точнее она, если и есть, то опосредована. Например,зонтик нужен не для того, что бы разгонять на небе тучи, а для того, что бы не промокнуть. То есть логическая система начинает нелинеиться (выкриуливаться*) под действием содержания (смысла). И проблема в том, что таблица истинности не есть та основополагающая вещь, на которую можно/нужно "молиться". Нет, для бухгалтерии сойдёт, для жизни маловато будет! Чего не хватает? Функции! Что такое функция?** Последовательность логических операций? НЕТ! В каждой логической системе функцию необходимо определять! Сложение чисел это одна функция, например F(x,y)=x+y, сложение векторов - абсолютно другая. То есть при переходе от логических операций к функциям, при переходе на следующий уровень абстракции, происходит "генезис" не высказываний, а логических операций/действий! На этом уровне те же элементарные логические операции необходимо переопределять, поскольку "выросло разнообразие" логических объектов/фактов. Можно сказать и так: замкнулся первый круг (шаг), зафиксированы первые результаты, можно двигаться дальше. Вроде бы банальные вещи, но надо же, как туго даются...*** Так что с этим делать? Будем продолжать унижать логику до правил правописания (изощряться в придумывании правил - типа законов, то есть заниматься логикой высказываний, как предлагал К.Б.Н.), или займёмся самотождественными смыслами? :) К стати, в Вашей таблице А,Б,С это знаки, а 0 и 1 это их значения. То есть произошел "отрыв" от смыслов/значений высказываний. Точнее смысл (связи) здесь совершенно другой, сами высказывания/суждения, как собственно и логическая система, остались где то там... А надо бы к ним вернуться.

* Гвозди из забора, как и зубы из челюсти, извлекаются методом выкриуливания. Не путать с мордобоем, мы же занимаемся "лечением", а лом это не наш метод. :)

** Математика, средняя школа. Функцию можно задать математической формулой****, таблицей, словесным описанием.

*** Если что это я про себя, вспомнил нашу давнишнюю дискуссию с Вадимом Саковичем.

**** Вот и приплыли! Вот откуда (или куда?) "ноги растут" у беззаветной "формы".

Аватар пользователя Дмитрий Бояркин

vlopuhinссылка:
..У "На небе тучи" -> "Взять зонтик" нет жёсткой СВЯЗИ, точнее она, если и есть, то опосредована. Например, зонтик нужен ... для того, чтобы не промокнуть.

И ПРОБЛЕМА в том, что таблица истинности не есть та основополагающая вещь, на которую можно/нужно "молиться".

Всё верно - есть такая "проблема". Логика высказываний не работает со смыслами высказываний, и не объясняет, откуда, собственно, берутся СВЯЗИ между высказываниями. – Фактически, все СВЯЗИ, прописанные в таблицах истинностей, задаются самими авторами "логических систем" по своим субъективным соображениям (объяснениям), - то есть произвольно. По этой причине не стоит особо доверять логическим выводам "логики высказываний". Об этом я планирую рассказать в одной из своих будущих тем, с названием "изъяны логики высказываний". После чего можно будет приступать к разбору того, каким способом такие "изъяны" можно будет исправлять.

Аватар пользователя vlopuhin

Интересная картина вырисовывается. С одной стороны 

Именно наличие определённых жёстких СВЯЗЕЙ между разными высказываниями и может образовывать всевозможные "логические системы", внутри которых и возможно будет вести эти самые "логические рассуждения".

С другой:

 Логика высказываний не работает со смыслами высказываний, и не объясняет, откуда, собственно, берутся СВЯЗИ между высказываниями. – Фактически, все СВЯЗИ, прописанные в таблицах истинностей, задаются самими авторами "логических систем" по своим субъективным соображениям (объяснениям), - то есть произвольно.

 Кому, спрашивается, нужна такая логика? Хотя если говорить не о высказываниях, а о мышлении вообще, то мышление само по себе логике не поддаётся, как говорит axby1, алгоритмически невычислимо.

Тем не менее Ваш принцип "квантора всеобщности" может быть как то формализован? Ведь фактически Вы "урезали" импликацию, типа "тут читаем, тут не читаем"... :

Дмитрий Бояркин, 24 Май, 2020 - 19:40, ссылка

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

Аватар пользователя Дмитрий Бояркин

Дмитрий Бояркин:
..Фактически, все СВЯЗИ, прописанные в таблицах истинностей, задаются самими авторами "логических систем" по своим СУБЪЕКТИВНЫМ соображениям (объяснениям), - то есть произвольно.

vlopuhin, ссылка:
- Кому, спрашивается, нужна такая логика?

Нам с вам и нужна. Мы же исследователи, и наше дело, как исследователей, дать адекватное описание того, каким образом люди рассуждают логически (т.е. как из одних высказываний они получают совсем другие, не прибегая к наблюдениям). Здесь надо признать, что СУБЪЕКТИВНОСТЬ в логике закладывается только на этапе строительства "логических систем" (таблиц истинностей), - и от этого никуда нам не деться. Никаких "объективных" или "абсолютных" логических систем в логике не существует. Зато сами "логические рассуждения" уже в рамках "логических систем" – лишены субъективности, что уже хорошо.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

..Тем не менее Ваш принцип "квантора всеобщности" может быть как-то формализован?

Вы имеете в виду формализацию в рамках "логики высказываний" (где А – всеобщая посылка, В – частная посылка, а С – логическое заключение)? – Разумеется, да! - Мы это рассмотрим в одной из моих следующих тем - "ДЕДУКЦИЯ", которая и строится с использованием этих самых Кванторов Всеобщности.

Аватар пользователя vlopuhin

Дмитрий Бояркин, 27 Май, 2020 - 09:34, ссылка

Никаких "объективных" или "абсолютных" логических систем в логике не существует. Зато сами "логические рассуждения" уже в рамках "логических систем" – лишены субъективности, что уже хорошо.

У меня несколько другой взгляд на логику, но это уже очень близко: "Логика кроме всего прочего логика может выступать критерием истинности теорий!" То есть различие в акценте не на субъективность/объективность логики, а на её абсолютной точности. Правда для этого придётся совершить переход от логики правил к логике законов: от правил высказываний/правописания к законам мышления. 

Вы имеете в виду формализацию в рамках "логики высказываний" (где А – всеобщая посылка, В – частная посылка, а С – логическое заключение)?

Да, фактически это уже алгоритм, хотя я имел в виду формальную запись этого алгоритма, типа того, что говорит Олег (Чифу):

Чифу, 27 Май, 2020 - 11:52, ссылка

Над СДНФ и СКНФ можно провести минимизацию по количеству элементов, т.к. их форма избыточна.

То есть избыточность в логике это скорее плохо, чем хорошо :)

Аватар пользователя Дмитрий Бояркин

vlopuhin, 28 Май, 2020, ссылка:
.."Логика ... может выступать критерием истинности ТЕОРИЙ!" То есть различие в акценте не на субъективность/объективность логики, а на её абсолютной точности.

Вовсе нет, - логика не может выступать "критерием истинности" Теорий по той простой причине, что "критерий истинности" (вернее, "значение истинности") применимо исключительно к отдельным высказываниям ("истинно" оно или "ложно"), но не к Теориям целиком.

Что касается "точности", - то любая аксиоматическая Теория (т.е. та, которая использует ДЕДУКТИВНЫЙ вывод) всегда АБСОЛЮТНО точна. Так что "критерий истинности" для теорий не имеет никакого смысла вообще. Теории между собой можно сравнивать, - но совсем по другим критериям.

Аватар пользователя vlopuhin

Без примеров не получается. Я уже молчу за интерполяцию, экстраполяцию и аппроксимацию, но допустим теория автоматического управления (ТАУ). Как можно говорить об абсолютной точности, если практически вся ТАУ построена на ошибке*?! Как и вся традиционная "европейская философия" - ставим планку, а потом героически её перепрыгиваем. Абсолютно точно можно аналитически вычислить (указать формально) точку, в которой Ахиллес догонит Черепаху, но это почему то парадокс?! Опять же после подстановки значений скорости и расстояния придётся числа округлить, какая уж это абсолютная точность?! Или дедуктивный метод в криминалистике: есть подозреваемый, есть вещдок (орудие убийства), есть свидетели, - доказать невозможно! Вспомните убийство И.Талькова... Выходит мы говорим о разных логиках? Это же абсурд!

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

 Здесь следует обратить внимание на следующие моменты:

- теория как правило состоит из нескольких связанных определений. Или у Вас другое мнение? Что такое теория?

- теория не должна содержать внутри себя противоречия.

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

- если теория избыточна, то это равносильно тому, что она противоречива.

У Вас есть метод, кроме логической верификации, позволяющий как то оценить теорию? Например, теория большого взрыва (ТБВ). Как, не бегая по вселенной, сказать есть ли у неё начало и конец?

* Откуда берётся ошибка? По моему ошибка вводится/проникает в теорию вместе с временем (точнее с его неопределённостью). В логике времени нет, по этому логика предельно точна. Если ещё убрать и пространство, то точность станет абсолютной: останется "голое" мышление!

Аватар пользователя Дмитрий Бояркин

Дмитрий Бояркин:
..Что касается "точности", - то любая аксиоматическая Теория (т.е. та, которая использует ДЕДУКТИВНЫЙ вывод) всегда АБСОЛЮТНО точна.

vlopuhin, 30 Май, 2020 ссылка:
..Как можно говорить об абсолютной точности, если практически вся ТАУ построена на ошибке?!

Про какую "точность" вы говорите? – Лично я, говоря про "абсолютную точность", имею в виду "точность логическую" - т.е. однозначность "значений истинности" у конкретных высказываний-следствий в конкретной дедуктивной "логической системе".

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 

.. Без примеров не получается.

П р и м е р. Согласно Теории вероятности, вероятность выпадения орла при подбрасывании монетки равна 1/2. - Это "абсолютно точный" результат или "приблизительный"?

Казалось бы, результат весьма далёк от абсолютной точности, однако это не так. – Сам ЛОГИЧЕСКИЙ результат, который выдаёт Теория вероятности, – это высказывание-заключение, - "вероятность события равна 1/2" (истинно). Что есть абсолютно точный логический результат.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 

.. И ДЕДУКТИВНЫЙ метод в криминалистике: ..

В криминалистике? - Если вы имеете в виду тот особый "метод ДЕДУКЦИИ", про который говорил знаменитый сыщик Шерлок Холмс, - то никакого отношения к "математической ДЕДУКЦИИ" (как методу рассуждений от ВСЕОБЩИХ посылок к частным заключениям) он не имеет вообще.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 

..Выходит, мы говорим о разных логиках? Это же абсурд!

Давайте сверимся нашими "логиками". – Я говорю про ту ЛОГИКУ, которая может "существовать" только внутри "логических систем" - т.е. где заранее определены высказывания (А, В, С и т.д.), - а также определена СВЯЗЬ между ними (в виде таблицы истинностей). И вся "работа" логики заключается в том, что из начальных высказываний-посылок (точнее, из их комбинаций "значений истинности") она определяет "значения истинностей" у высказываний-заключений (естественно, в рамках только ЭТОЙ "логической системы"). Вот, по большому счёту, и вся логика.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 

..теория как правило состоит из нескольких связанных определений. Или у Вас другое мнение? Что такое ТЕОРИЯ?

У меня другое мнение. ТЕОРИЯ – это любое ВСЕОБЩЕЕ утверждение (т.е. содержащее Квантор Всеобщности со своим подкванторным множеством). Главный смысл любой Теории – выдавать однозначные "логические заключения".

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 

..теория не должна содержать внутри себя противоречия.

Очевидно, не должна.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 

..У Вас есть метод, кроме логической верификации, позволяющий как-то оценить ТЕОРИЮ?

Прикладные теории можно оценивать по трём критериям:

  1. Адекватность (точность).
  2. Широта охвата.
  3. Простота в понимании.

Чистые теории - хоть как-то оценивать, или сравнивать между собой невозможно вообще (разве только по критерию простоты).

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 

..Например, теория большого взрыва (ТБВ). Как, не бегая по вселенной, сказать есть ли у неё начало и конец?

Согласно ТБВ, – у нашей вселенной "начало" есть. – Насчёт "конца вселенной" существует несколько гипотез (теорий). Какая из них правильная? - это уже у физиков надо выяснять, - та, которая наиболее АДЕКВАТНО (точно) описает более широкий круг физических явлений.

Аватар пользователя vlopuhin

Дмитрий Бояркин, 30 Май, 2020 - 18:14, ссылка

Лично я, говоря про "абсолютную точность", имею в виду "точность логическую" - т.е. однозначность "значений истинности" у конкретных высказываний-следствий в конкретной дедуктивной "логической системе".

Как любитель математики любителю математики. Какое из двух утверждений истинное, истиннее некуда, а какое ложное?:

1. Число пи равно 3.14.

2. Число пи равно L (длина окружности) поделить на D (диаметр той же окружности).

Если Вы сомневаетесь в конкретности этих высказываний, то прибавьте к ним квантор всеобщности и конкретизируйте "логическую систему" насколько это возможно. 

... высказывание-заключение, - "вероятность события равна 1/2" (истинно). Что есть абсолютно точный логический результат.

Прошу Вас вполне искренне, укажите, пожалуйста, критерий истинности высказывания  "вероятность события равна 1/2 (выпадения орла при подбрасывании монетки)". Думаю Вам потребуется для доказательства этого утверждения до посинения подкидывать монетку. А когда Вы в конце концов задолбаетесь её подкидывать, начнёте складывать числа и выдавать приблизительный результат. Ну и в каком месте Ваших "телодвижений" логика? А ещё интереснее, где абсолютная точность?

По моему точность осталась на следующем уровне абстракции. Примерно как скорость это не пройденное расстояние поделить на время, это первая производная пути по времени.

В криминалистике? - Если вы имеете в виду тот особый "метод ДЕДУКЦИИ", про который говорил знаменитый сыщик Шерлок Холмс, - то никакого отношения к "математической ДЕДУКЦИИ" (как методу рассуждений от ВСЕОБЩИХ посылок к частным заключениям) он не имеет вообще.

 Да, я имел в виду именно этот метод, и он не имеет отношения к математике только по тому, что это другая "логическая система". И в этой логической системе доказать что  либо невозможно. Почему? Потому что гладиолус! Потому что человеческий фактор, то ли законы не те, то ли следователь не тот, то ли подозреваемый шибко хитровымудрён... Но ведь на каждую хитрую жопу найдётся отвёрточка с винтом...

ТЕОРИЯ – это любое ВСЕОБЩЕЕ утверждение (т.е. содержащее Квантор Всеобщности со своим подкванторным множеством). Главный смысл любой Теории – выдавать однозначные "логические заключения".

Скорость это путь поделить на время. Классика! Докажите всеобщую точную верность этой теории. Или укажите, что здесь не так, чего по Вашему не хватает?

Прикладные теории можно оценивать по трём критериям:

  1. Адекватность (точность).
  2. Широта охвата.
  3. Простота в понимании.

Чистые теории - хоть как-то оценивать, или сравнивать между собой невозможно вообще (разве только по критерию простоты).

По моему Вы поторопились. Где определения? Что такое теория? Вот когда будут определения, тогда можно будет рассуждать о "чистоте".

Согласно ТБВ, – у нашей вселенной "начало" есть. – Насчёт "конца вселенной" существует несколько гипотез (теорий). Какая из них правильная? - это уже у физиков надо выяснять, ...

При чем здесь физики? Мы же говорим об истинности суждений/высказываний! Все косяки про кнопочки/выключатели с лампочками тоже на физиков будем валить? :) Типа:

...та, которая наиболее АДЕКВАТНО (точно) описает более широкий круг физических явлений.

Где критерий адекватности? Доверимся физикам? Мол ребята ответственные, не подведут? Ещё как подведут! Разведут на бабло... :) Типа спишут спирт на протирку оптических осей.

Аватар пользователя Дмитрий Бояркин

vlopuhin, 31 Май, 2020, ссылка:
..Какое из двух утверждений истинное, ..., а какое ложное?:

  1. Число пи равно 3.14.
  2. Число пи равно L (длина окружности) поделить на D (диаметр той же окружности).

У вас вопрос поставлен таким образом, будто бы существует какая-то абсолютная "логическая система", относительно которой высчитываются "значения истинностей" у всех мыслимым высказываний. Так вот, - в мире логики таких "абсолютных логических систем" не существует и не может быть в принципе. Ведь каждая "логическая система" (точнее, автор этой системы) вправе задавать произвольный набор высказываний и устанавливать произвольную СВЯЗЬ между ними (таблицу истинностей). – То есть все "логические системы" абсолютно равноправны.

Теперь вернёмся к нашему числу "пи". Обозначим первое высказывание символом А, а второе - В. Зная, что высказывания А и В одновременно истинными быть не могут, мы можем построить "логическую систему" с операцией отрицания (инверсии). - Как видим, любое из высказываний: что А, что В, - может быть как истинным, так и ложным в зависимости от того, что будет считаться "начальной посылкой".

..Если Вы сомневаетесь в конкретности этих высказываний, то прибавьте к ним КВАНТОР ВСЕОБЩНОСТИ и конкретизируйте "логическую систему" насколько это возможно.

Во ВСЕОБЩЕЕ утверждение (с Квантором Всеобщности) можно преобразовать только второе утверждение В. Оно будет звучать так:

"Число пи равно L (длина [ЛЮБОЙ] окружности) поделить на D (диаметр той же окружности)".

ЕСЛИ исходить из такого определения числа "пи", то первое утверждение А будет ложным.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

..укажите ... критерий истинности высказывания "вероятность события равна 1/2 (выпадения орла при подбрасывании монетки)".

Я знаю только, что такое "значение истинности" (это "истина" или "ложь"). – А что такое "критерий истинности" – понятия не имею. - Что это такое?

..Думаю, Вам потребуется для доказательства этого утверждения до посинения подкидывать монетку.

Вы неверно думаете. При логических рассуждениях ничего "подкидывать" не нужно. Логическое ДОКАЗАТЕЛЬСТВО ведётся только путём ДЕДУКТИВНЫХ рассуждений (от постулатов к доказываемому тезису), а не путём каких-то действий с материальными объектами из объективной реальности ("подкидывания монетки").

..А когда Вы в конце концов задолбаетесь её подкидывать, начнёте складывать числа и выдавать приблизительный результат. Ну и в каком месте Ваших "телодвижений" ЛОГИКА?

"Приблизительные результаты" могут быть только при замерах в материальном мире – тогда, когда вы, например, подкидываете монетку. Никакого отношения такие "замеры-наблюдения" к "логическим расчётам" не имеют вообще! Логические рассуждения "существуют" сами по себе в другом онтологическом регионе, - и вообще не связаны с объективной реальностью никаким образом.

..А ещё интереснее, где абсолютная точность?

Как ГДЕ? - А значение вероятности равное "1/2"? Разве это не "абсолютно точный" результат? Или полагаете, он "приблизительный"?

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Дмитрий Бояркин:
...та, которая наиболее АДЕКВАТНО (точно) описает более широкий круг физических явлений.

vlopuhin:
Где критерий АДЕКВАТНОСТИ? Доверимся физикам?..

Критерий АДЕКВАТНОСТИ определяет, насколько точно "логические следствия" данной Теории совпадают с наблюдениями из реальности. Что тут может быть непонятного? – Физики как раз только тем и занимаются, что ищут наиболее АДЕКВАТНЫЕ теории. Так что можете им доверяться по полной.