Леонард И. Браев. Элементарная логика



страница19/41
Дата03.03.2020
Размер334 Kb.
ТипКонтрольные вопросы
1   ...   15   16   17   18   19   20   21   22   ...   41
1.11. Истинное и правильное

Так как логические формы воспроизводят отношения вещей, то их правильность есть частный случай истинности, а именно логичное – это истинная схема отношений вещей. Но правильное – не вся истина в ее полноте, логические формы – абстракции исключительно отношений. Поэтому обратного нет: истинность не сводится к правильности. Нет так называемой "формальной истины", которую выдвигают позитивисты, противопоставляя ее фактической (эмпирической) истине; есть формальная правильность.

Вот отчего правильное и истинное могут не совпа­дать. Наше заключение, что кобальт есть металл (1.5), фактически истинно, но, как мы убедились, его получение формально неправильно (1.9). Наоборот, если в то же правильную форму умозаключения (как в 1.9) подставим какую-нибудь ложную по содержанию посылку, например:
Все металлы – проводники электричества.

Фосфор – металл.

├ Фосфор проводит электричество

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

Условием истинности мышления является единство его содержания и формы: 1) истинность содержания его посылок и 2) правильность его формы, логичность.

Однако не правда ли, все же странно: правильное может быть не истинным, а истинное неправильным?

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

Возможность ложных выводов из правильных выведений наводит идеизм на догадку, высказанную Г. Лейбницем: А что если всякое заключение, если оно логически правильно, является все же истинным, хотя не в нашем, "действительном мире", а в каком-то ином из "возможных миров"? Не свидетельствует ли логичность заключения, что иные миры возможны? Ведь все возможное склонно к осуществлению.

Мир един; слово "миры" здесь употреблено в смысле всего лишь каких-то его областей.

Что же бесспорно, есть много еще неведомых нам областей – "миров", и в них иные для нас ложные суждения могут оказаться истинными. Но истина – это образ, подобный своему объекту (1.6); поэтому истина всегда относится к определенному объекту, а полагать суждение истинным неизвестно в отношении к чему - бессмыслица. Это столь же нелепо, как определять истинность незаконченных высказываний, вроде "Если вчера" или "2+3". Истинное где-то в возможном, а, не исключено, в невозможном, – это даже не предположение, а просто гадание.

Тем не менее исследование комбинаций возможностей – это замечательный проект Лейбница. В 20-м веке голландский логик Э. Бет, английский А. Прайор, финский Я. Хинтикка, американский С. Крипке и некоторые другие увидели в отношении к "возможным мирам", пусть вымышленным и сказочным, оправдание абстрактного анализа всевозможных комбинаций логических отношений самих по себе, при условии их согласованности – непротиворечивости. Но разве такого рода отвлеченный анализ логических комбинаций нуждается в оправдании, да еще таком фантастическом? Исследование абстрактных комбинаций количественных и пространственных структур давно проводит и современная математика – и они не просто игра в бисер, а то и дело находят практическое приложение в науке при открытии каких-то новых областей явлений. Однако в таком исследовании возможностей логических форм не стоит забывать об отвлеченности этих формальных построений от содержания и не притязать на их истинность самих по себе неизвестно в отношении чего. Истину дает соединение логичной формы и истинных посылок.




Поделитесь с Вашими друзьями:
1   ...   15   16   17   18   19   20   21   22   ...   41




База данных защищена авторским правом ©zodorov.ru 2020
обратиться к администрации

    Главная страница