• А
  • Б
  • В
  • Г
  • Д
  • Е
  • Ж
  • З
  • И
  • Й
  • К
  • Л
  • М
  • Н
  • О
  • П
  • Р
  • С
  • Т
  • У
  • Ф
  • Х
  • Ц
  • Ч
  • Ш
  • Щ
  • Ф
  • Э
  • Ю
  • Я
  • Обнинск

    Обнинск город областного подчинения в Калужской области РСФСР. Расположен на р. Протва (приток Оки). Ж. д. станция на линии Москва-Брянск, в 106 км к Ю.-З. от Москвы, 61 тыс. жителей в 1974 (в 1959…



    Обновленцы

    Обновленцы, сторонники религиозного обновленческого течения внутри русской православной церкви 20-40-х гг. 20 в. Обновленческое течение, нередко именуемое церковным расколом, берёт начало в…



    Обнорский Виктор Павлович

    Обнорский Виктор Павлович [11(23).11.1851 Грязовец, ныне Вологодской области, - 17.4.1919, Томск], русский рабочий, революционер. Из мещан. В 1869-73 в Петербурге работал слесарем на заводах -…



    Обнорский Сергей Петрович

    Обнорский Сергей Петрович [14(26).6.1888, Петербург, - 13.11.1962, Москва], советский языковед, академик АН СССР (1939; член-корреспондент 1931). Окончил Петербургский университет (1910). Профессор…



    Обнос

    Обнос, ограждение устройств, выступающих за габариты корпуса речного судна. Площадки О., поддерживаемые кронштейнами, служат продолжением палубы…



    Обобщение

    Обобщение, форма приращения знания путём мысленного перехода от частного к общему, которой обычно соответствует и переход на более высокую ступень абстракции. Пример: переход от наблюдения над совокупностями индивидуализированных объектов к мысленному их разбиению на классы равночисленных совокупностей и далее к понятию натурального числа.

    О. — одно из важнейших средств научного познания, позволяющее извлекать общие принципы (законы) из хаоса затемняющих их явлений, унифицировать и в "единой формуле" отождествлять множества различных вещей и событий.

    По семантико-гносеологическому содержанию О. делятся на два основных типа: 1) порождающие новые семантические единицы (концепты), т. е. такие понятия, законы, принципы и теории, которые не детерминируются исходным семантическим полем (первичной семантикой), и 2) не порождающие таковых. Последние могут давать лишь новые варианты старых значений; они имеют более простую структуру сравнительно с первыми и часто являются их предельными случаями. Ко 2-му типу, в частности, принадлежат: экстраполяция (например, распространение квантовой интерпретации закона теплового излучения Планка на область световых явлений, позволившее объяснить фотоэффект), неполная индукция (например, распространение на все вещества известного из опыта свойства ряда веществ находиться в трёх агрегатных состояниях) и "-обобщение чистой логики предикатов, являющееся по существу синонимич. переходом от А (х) к "xA (x), где условие А (х) мыслится в интерпретации всеобщности. К 1-му типу относятся все т. н. теоретические О., или О. через абстракцию, которым в познании соответствует переход от абстракции n-го порядка к абстракциям более высокого порядка, В частности, это естественное для логики О. посредством замены постоянных переменными, позволяющее выделять "в чистом виде" такие сущности, как "свойство" и "отношение"; это — О. на основе идеализированного эксперимента, наводящего на умозрительные принципы, подобные принципу инерции или принципу относительности, а также О. через отождествление по свойству, позволяющее выявить общую сущность по-разному воспринимаемых явлений например то что магнетизм, электричество и свет суть лишь разные проявления электромагнитного поля. К 1-му типу относится и "-обобщение прикладной логики ("правило Локка", широко применяемое в практике математических доказательств, когда при переходе от частного значения х ко всем х в интервале абстракции отождествления обеспечивается сохранение истинности предиката, установленного для частного значения. Это всегда возможно, если истинность предиката зависит не от частного значения х, а только от определяемой соответствующим отождествлением области его изменения — от класса абстракции, обобщённым представителем которого (эталоном) служит в этом случае данное частное значение (см. Абстракции принцип). При этом, в отличие от "-обобщения чистой логики, возникает и новый семантический контекст О.: первоначальная условная интерпретация посылки заменяется интерпретацией всеобщности, а относимое к содержанию частного значения понятие класса абстракции входит в содержание подкванторной переменной, делая квантор ограниченным. Но в тех случаях, когда класс абстракции совпадает с универсальным классом, "-обобщенис прикладной логики переходит в "-обобщение чистой логики.

    Исторически процесс развития понятий и теорий выражается в приращении знания посредством цепей обобщений, звеньями которых служат О. 1-го или 2-го типов. В цепях О. отражаются последовательные связи сущностей 1-го с сущностями 2-го, 3-го и так далее порядков. Эти связи различны, и в зависимости от их характера им соответствуют или цепи О. с сохраняющейся семантикой исходных концептов или, напротив, изменяющие первичную семантику. Примером может служить последовательное О. понятия числа путём построения систем натуральных, целых, рациональных, действительных и комплексных чисел. Для этой цепи, сохраняющей первичную семантику, характерны такие расширения исходной области, которые удовлетворяют принципу постоянства формальных законов, согласно которому законы операций, определяемых для элементов исходной области, при всех последующих её расширениях должны сохраняться и для новых элементов. Эта цепь, однако, не может быть сколь угодно продолжаемой. Уже арифметика трансфинитных количественных чисел не удовлетворяет вышеназванному принципу, но возникающий при этом переход к общему понятию количественного числа приводит и к новому пониманию арифметики натуральных чисел как арифметики мощностей конечных множеств. Примером цепи О. 2-го вида может служить переход от классической логики к интуиционистской (см. Логика), а также последовательный переход от классической механики к релятивистской механике и общей теории относительности. В подобных переходах более общая теория может иметь законченную формулировку независимо от менее общей, но она должна содержать в себе последнюю в качестве предельного случая, что составляет основное содержание принципа соответствия для цепей О. с изменяющейся первичной семантикой.

    Лит.: Пойа Д., Математика и правдоподобные рассуждения, пер. с англ., М., 1957; Давыдов В. В., Виды обобщения в обучении, М., 1972; Сачков Ю. В., Процессы обобщения в синтезе знаний, в кн.: Синтез современного научного знания, М., 1973, с. 421—46; Матюшкин А. М., Новосёлов М. М., Виды обобщения и проблемы психологии обучения, "Вопросы психологии", 1974, № 2.

    Ф. В. Лазарев, М. М. Новосёлов.

     

    Абстракция

    Абстракция (от латинского abstractio - отвлечение), 1) метод научного исследования, основанный на том, что при изучении некоторого явления, процесса не учитываются его несущественные стороны и…

    Экстраполяция

    Экстраполяция (от экстра... и лат. polio - приглаживаю, выправляю, изменяю) в математике и статистике, приближённое определение значений функции f (x) в точках х, лежащих вне отрезка [x0, xn], по её…

    Фотоэффект

    Фотоэффект, испускание электронов веществом под действием электромагнитного излучения (фотонов). Ф. был открыт в 1887 Г. Герцем. Первые фундаментальные исследования Ф, выполнены А. Г. Столетовым (1888…

    Индукция (в логике)

    Индукция (греч. epagoge, лат. inductio - наведение), вид обобщений, связанных с предвосхищением результатов наблюдений и экспериментов на основе данных прошлого опыта. Именно поэтому и говорят об…

    Логика предикатов

    Логика предикатов, раздел математической логики, изучающий логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с заданными на этих объектах предикатами (т. е…

    Доказательство

    Доказательство в логике, процесс (метод) установления истины, обоснование истинности суждения. В соответствии с различными возможными аспектами и уровнями рассмотрения и употребления понятий "истина"…

    Абстракции принцип

    Абстракции принцип, логический принцип, лежащий в основе определений через абстракцию: любое отношение типа равенства, определённое на некотором исходном множестве элементов, разбивает (делит…

    Квантор

    Квантор (от лат. quantum - сколько), логическая операция, дающая количественную характеристику области предметов, к которой относится выражение, получаемое в результате её применения. В обычном языке…

    Логика

    Логика (греч. logik ), наука о приемлемых способах рассуждения. Слово "Л." в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. logos, от которого…