выводимость
11теория — ТЕОРИЯ В широком смысле комплекс взглядов, представлений, идей, направленных на истолкование и объяснение какого либо явления; в более узком и специальном смысле высшая, самая развитая форма организации научного знания, дающая целостное… …
12КОНСТРУКТИВНАЯ ЛОГИКА — раздел математической логики, изучающий рассуждения о конструктивных объектах и конструкциях. При таком понимании К. л. шире, чем логика конструктивной математики. Самое заметное отличие от традиционной (классической) логики состоит в отсутствии… …
13КОНСТРУКТИВНАЯ СЕМАНТИКА — совокупность способов понимания суждений в конструктивной математике. Необходимость в особой семантике вызвана различием общих принципов, лежащих в основе традиционной (классической) и конструктивной математики (далее последний термин будет в… …
14ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ — формализации содержательных логич. теорий; выводимые объекты Л. п. интерпретируются как суждения, составленные из простейших (имеющих, вообще говоря, субъектно предикатную структуру) при помощи пропозициональных связок и кванторов. Чаще всего… …
15ПЕРВОМАЙСКАЯ — см. также 13. КУРЫ Порода выведена на Украине (1935 1941 гг.) в совхозе “Первомайский” и в совхозе “Пачелма” (1942 1963 гг.) Пензенской области путем сложного воспроизводительного скрещивания трех пород. При спаривании петухов породы белый… …
Генетические ресурсы сельскохозяйственных животных в России и сопредельных странах
16оценочное высказывание — высказывание, устанавливающее абсолютную или сравнительную ценность какого то объекта, дающее ему оценку. Логическая структура и логические связи О. в. изучаются оценок логикой, слагающейся из логики абсолютных оценок и предпочтений логики (см.:… …
17Натуральное исчисление — исчисление естественного вывода, натуральная дедукция, общее название логических исчислений, введённых и изученных в 1934 немецким логиком Г. Генценом (и независимо польским логиком С. Яськовским) с целью формализации процесса логического …
18ИСЧИСЛЕНИЕ — (формальная система) система символов, основными компонентами которой являются: 1) алфавит (совокупность элементарных символов букв. цифр, скобок и т.п.), 2) правила построения формул из символов алфавита, 3) аксиомы (исходные доказуемые формулы) …
19ОЦЕНКА — высказывание, устанавливающее абсолютную или сравнительную ценность какого то объекта. Способы выражения О. чрезвычайно разнообразны. Абсолютные О. выражаются чаще всего предложениями с оценочными словами «хорошо», «плохо», «(оценочно)… …
20ТЕОРИЯ — (от греч. theoria рассмотрение, исследование) совокупность высказываний, замкнутых относительно логического следования. Такое предельно общее и наиболее абстрактное определение Т. дает логика. С логической т.зр. теорией можно назвать любое… …
