- комплексная характеристика рассуждения, учитывающая степень ясности и точности используемых в нем терминов, достоверность исходных принципов, логическую обоснованность переходов от посылок к следствиям. Еще с античности С. считалась отличительной чертой математического рассуждения. Логическая необходимость математических доказательств и точность вычислений позволяют рассматривать математику как образец формальной С. для других наук. Иногда считают, что именно С. рассуждения гарантирует абсолютную надежность результатов математики. Как показывает история науки, понятие С. развивалось постепенно. В ходе общего прогресса науки обычно оказываются превзойденными каноны С., представлявшиеся ранее абсолютно безупречными. Так обстояло, в частности, дело с геометрией Евклида. Долгое время она являлась идеалом С., но в XIX в. Н. М. Лобачевский писал о ней: «...Никакая Математическая наука не должна бы начинаться с таких темных понятий, с каких, повторяя Евклида, начинаем мы Геометрию, и... нигде в Математике нельзя терпеть такого недостатка С., какой принуждены были допустить в теории параллельных линий». С. обеспечивается выводами из достоверных принципов, но вместе с тем сами общие принципы начинают восприниматься как достоверные, когда дают возможность сделать строгими прежде нестрогие рассуждения. На разных этапах развития научной теории требование С. может быть более или менее актуальным. За поисками строгих доказательств уже известных истин обычно скрывается недостаток их понимания и стремление выявить все те неявные условия, с которыми связано их принятие. С., как правило, не является самоцелью. Введение С. может быть консервативным, опирающимся на общепринятые посылки, но может быть также революционным, вводящим посылки, казавшиеся ранее неприемлемыми. Так, выдвинутое Г. Лейбницем требование строгой и внимательной проверки каждого шага в цепи доводов вместе с его идеей рассуждения как вычисления по однозначно определенным правилам означало революцию в логике. С., в том числе и в математике, не является сама по себе объективным критерием истинности и ценности новых открытий и теорий.
Если Вы искали другое значение слова/фразы Строгость, воспользуйтесь поиском. Значения термина могут серьезно отличаться в зависимости от тематики выбранного словаря. Если у Вас есть своё определение данного слова, вы можете его добавить в нашу коллекцию.
Вместе с понятием Строгость ищут определения этих слов:
Спор — - столкновение мнений или позиций, в ходе которого стороны приводят аргументы в поддержку своих убеждений и критикуют несовместимые с последними представления другой стороны. С. является частным случаем аргументации, ее наиболее острой и...
Сложное Высказывание — - высказывание, полученное с помощью логических связок из простых высказываний. Наиболее употребительны С. в., образованные с помощью слов: «и», «или», «если, то», «если и только если», «не». Вместо этих слов в логике используются символы: &,...
Современная Логика — — одно из имен для обозначения нынешнего этапа в развитии (формальной) логики, начавшегося во второй половине XIX в. — начале XX в. В качестве других имен этого этапа в развитии логики используются также термины математическая логика и...
Символика Логическая — - система знаков (символов), используемая в логике для обозначения термов, предикатов, выска- зываний, логических функций, отношений между высказываниями. В разных логических системах могут использоваться различные системы обозначений, поэтому...
Синтаксическая Категория — - класс однотипных выражений словаря формализованного языка. Этот словарь обычно включает: индивидные знаки — константы и переменные; предикатные выражения; знаки логических связок - отрицания, конъюнкции, дизъюнкции и т. п.; кванторы — общности...
Софизм — — рассуждение, кажущееся правильным, но содержащее скрытую логическую ошибку и служащее для придания видимости истинности ложному утверждению. С. является особым приемом интеллектуального мошенничества, попыткой выдать ложь за истину и тем самым...
Синтаксис — (греч. syntaxis — построение, порядок) — раздел семиотики, исследующий структурные свойства систем знаков, правила их образования и преобразования, отвлекаясь от их интерпретации. Синтаксисом формализованного языка называют систему пра- вил...
Сорит — (от греч. soros - куча) - цепь сокращенных силлогизмов, в которых опущена или большая, или меньшая посылка. Различают два вида С.: 1) С., в котором начиная со второго силлогизма в цепи силлогизмов пропускается меньшая посылка; 2) С., в котором...
Софизм — — рассуждение, кажущееся правильным, но содержащее скрытую логическую ошибку и служащее для придания видимости истинности ложному утверждению. С. является особым приемом интеллектуального мошенничества, попыткой выдать ложь за истину и тем самым...
Код ссылки скопирован в буфер
Если у Вас есть сайт или блог, разместите, пожалуйста, нашу ссылку:
