Читайте также:
|
|
надлежащих постулатов (логич. аксиом и правил вывода).
Изоморфная (см. Изоморфизм и гомоморфизм)интерпретируемость классич. логики высказываний в терминах логики классов обусловливает существование теоретико-множеств. операций, аналогичных каждой из её Л. о. в том смысле, что они подчиняются одним и тем же взаимным соотношениям и образуют булевы алгебры (соответственно алгебру высказываний и алгебру множеств; см. Алгебра логики). * Ч ё p ч А., Введение в математич. логику, пер. с англ., т. 1, М., 1960, §§ 05, 06, 15; С то л л Р.-Р., Множества. Логика. Аксиоматич. теории, пер. с, англ., М., 1968. ЛОГИЧЕСКИЕ ОШИБКИ, ошибки, связанные с нарушением в содержат. мыслит, актах законов и правил логики, а также с некорректным применением логич. приёмов и операций. В логике рассматриваются различные виды Л. о., возникающие в процедурах определения и деления понятий, в дедуктивных и индуктивных выводах, в доказательстве и т. п. Так, нарушение правил определения понятия приводит к ошибочным — несоразмерным, содержащим в себе порочный круг или тавтологию — дефинициям. Нарушение правил силлогизма приводит к логически неправомерным формам выводов, не обеспечивающим истинность заключения при условии истинности исходных посылок. Л. о. в доказательствах являются: подмена тезиса (ignoratio elenchi), ошибка, состоящая в неправильности умозаключений, на к-рых строится рассуждение, недоказанное основание доказательства (petitio prin-cipii), круг в доказательстве (circulus in demonstrando), тавтология в доказательстве (idem per idem) и др. Ошибками индукции могут быть поспешные обобщения, напр. на базе «простого» перечисления или заключение «после этого, значит по причине этого» (post hoc ergo propter hoc). Л. о., к-рые совершаются непреднамеренно, называются паралогизмами; совершаемые же преднамеренно — софизмами.
• Челпанов Г. И., Учебник логики, М., 1946; Асмус В. Ф., Учение логики о доказательстве и опровержении, [М.], 1954; Кондаков Н. И., Логич. словарь-справочник, M., 19752.
ЛОГИЧЕСКИЙ АТОМИЗМ, номиналистич. и плюра-листич. учение о действительности, выдвинутое Расселом и Витгенштейном в 10—20-х гг. 20 в. Программа Л. а. предусматривала построение логически совершенного языка, моделью к-рого объявлялся логич. язык. Один из осн. постулатов Л. а. — признание языка образом действительности: его предложения изображают сочетания объектов так же, напр., как проекция к.-л. геометрич. фигуры изображает эту фигуру. Л. а. рассматривал мир как совокупность лишь внешне связанных друг с другом атомарных фактов (т. е. не имеющих составных частей). Теория Л. а. отрицала всякую закономерную внутр. связь в действительности, сводя процесс познания к бесконечному описанию атомарных фактов. Несостоятельность Л. а. была настолько очевидна, что уже в 30-х гг. Рассел и Витгенштейн отказались от своей доктрины.
ЛОГИЧЕСКИЙ ЗАКОН, термин, применяемый в широком смысле для обозначения любой достаточно «общепринятой» нормы (закономерности) правильного рассуждения. В формализов. языках совр. логики (исчислениях) Л. з. соответствуют тождественно-истинные (общезначимые) формулы, в т. ч. аксиомы этих исчислений, а также постулируемые для них правила вывода. Из существования различных систем аксиом и правил вывода для логич. (и логико-математич.) исчислений следует, что понятие Л, з. относительно; но оно не является произвольным, поскольку выбор конкретной аксиоматич. системы обусловлен рядом объективных закономерностей природы и мышления.
В узком смысле слова Л. з. называются, следуя антич. и ср.-век. традиции, следующий законы мышле-
Дата добавления: 2015-08-18; просмотров: 39 | Нарушение авторских прав
<== предыдущая страница | | | следующая страница ==> |
ЛОГИКА 319 | | | ЛОГИЧЕСКИЕ |