Цитата
Стоп. Речь не о моделях, а о том, по каким критериям вычислять истинность\ложность. Нам вообще плохо понятно, как Вы собираетесь что-то сравнивать используя одновременно более одной системы. Это всё равно что приравнивать числа, не приведя их к единому знаменателю. Поясните, что Вы имеете в виду.
Что такое "истинность ВООБЩЕ"? Что такое "ложность ВООБЩЕ"?
Насчет "сравнивать используя больше одной системы" - да бога ради, элементарно. Сравним в каждой системе отдельно

к примеру. И в зависимости от ситуации будем брать ту систему (и тот набор сравнений) которая в этой ситуации даст самый эффективный результат после применения выводов на практике
Цитата
Реально, как агностик, мы бы могли смело вообще всё отнести к третей категории, но... увы, операции с такой информацией были бы вообще малорезультативны.) Потому в логике, хочешь - не хочешь, всё равно придётся играть по правилам бинарности. Иначе, какой вывод Вы вообще хотели бы сделать из чего-либо, истинность\ложность чего неопределяема? Какой информативный груз несёт утверждение типа "Наверное, Рейстлин или гад или нет"?
1 кто Вам сказал что логика бывает ТОЛЬКО бинарной?
2 выводы можно делать очень разные. Например при помощи той же теории вероятности рассмотреть истинность утверждений типа "вероятность истинности утверждения Х равна У", а дальше учесть цену ошибки и принять решение как действовать
3 насчет информативного груза данного утверждения - достаточно много. Чисто для примера запишу
1 автор утверждения знаком с русским языком как минимум на пользовательском уровне
2 автор утверждения не фанат Рейстлина
3 автор утверждения относится к Рейстлину негативно, но в данном случае не стремится это подчеркнуть
4 автор предпочитает использовать бинарную логику
Если же допустить что информация об авторе утверждения в нашей ситуации не актуальна, а мы например решаем стоит ли доверять Рейстлину по конкретному вопросу, то утверждение можно понимать как "нет никакой гарантии что Рейстлин не испортит дело, но все же за неимением лучшего имеет смысл довериться ему"
Цитата
Не поняли примера. То, что у инквизиции успешно получалось жечь "еретиков", как-то говорит состоятельности доводов, которыми они руководствовались, в рациональном плане?
То, что инквизиция просуществовала достаточно долго, и в принципе достигла своих целей - уже доказательство того что полными идиотами они быть не могли.
Цитата
"Нормальная" логика по своей природе дедуктивна. А та, которая недедуктивна, не может быть напрямую без ущерба приложена к реальности.
обосновать можете?
Цитата
+ поясняя на пальцах, разница между утверждением и ему противоположным такая же, как между числом и противоположным ему. Неважно, что модуль одинаков, числа *разные*, и при подстановке в разные выражения они не то что считаться будут по-разному, но и иногда вообще лишать эти выражения смысла.
*разведя руками*
то есть Вы хотите сказать что уравнения решаемые в поле действительных чисел не решаемы в поле комплексных ввиду того что положительные и отрицательные действительные числа требуют разных методов, а у комплексных вообще нет понятия знака?
Цитата
Насчёт цитаты: неужели для Вас в процессе мышления единственным источником истинности будет только ссылка на другой источник? )
не единственным, но одним из возможных. просто в тех учебниках по логике, которыми пользуюсь я, такого не написано. Можете убедиться
http://starwinged.narod.ru/drozd.pdfhttp://starwinged.narod.ru/mend.djvuЦитата
Впрочем, если желаете, определение...
"Доказательство — это рассуждение, устанавливающее истинность какого-либо утверждения путем приведения других утверждений, истинность которых уже не вызывает сомнений."
Если утверждение отрицательное, то, при не-истинности утвердительного, для доказания его истинности требуется привести все утверждения, не говорящие о истинности утвердительного (ведь, если знаете, опровергнуть не значит автоматически доказать обратное). В общем виде сумма таких утверждений будет равна "вся информация минус ложные утверждения об истинности посылки А". А, учитывая её объём по Вселенной, будет ли иметь для Вас приактический смысл такое "доказательство"?
А кто сказал что при желании доказать отрицательное утверждение обязательно доказывать истинность противоположного? Если мы хотим показать что А = ложь, можно показать не только что "А = истина", но и то что "А = ложь" = истина
насчет же объемов проверки утверждений, можно привести много примеров, но я не хочу зафлуживать форум. Например, классическое доказательство "от противного", точнее те теоремы, при доказательстве которых оно применятеся
Цитата
1) Что вы понимате под "моделью реальности"? Нам не совсем понятно, что Вы вписываете в данное определение касательно здешнего контекста, потому всё вышесказанное основывается на том, что мы правильно интерпретировали то, что Вы желали скзазать.
модель - она модель и есть. та копия реальности, которая существует в мыслях конкретного индивида. Это хорошо показано например в той же Матрице

Цитата
2) Почему Вы уверены, что логика существует именно для этого? В подавляющем большинстве определений говорится в первую очередь о законах правильного мышления, а не извлечении некоей выгоды. Причём второе из первого никак автоматически не следует. Тогда с чего бы такая убеждённость?
потому что критериев правильности на самом деле бесконечно много, вот только те которые не ведут к практическим результатам нежизнеспособны и оканчивают свою жизнь вместе с создателями
Цитата
3) Т.н. "здравый смысл" - та же логика, менее формализованная, с местами доведёнными до автоматизма алгоритмами. Но это не делает её принципиально чем-то отличным. Хотя тут опять вопрос определения.
ну-ну. по вашему, здравый смысл кендера, овражного гнома, мага, ваш, мой, ученого-физика, пилота истребителя и т д - должен быть одним и тем же?