Большая Советская Энциклопедия (СИ)

Силлоги'стика (от греч. syllogistikós — выводящий умозаключение), теория логического вывода, исследующая умозаключения, состоящие из т. н. категорических высказываний (суждений): общеутвердительных («всякое S есть Р»), общеотрицательных («ни одно S не есть Р»), частноутвердительных («некоторое S есть Р») и частноотрицательных («некоторое S не есть Р»). В С. рассматриваются, например, выводы заключения из одной посылки (т. н. непосредственные умозаключениями «сложные силлогизмы», или полисиллогизмы, имеющие не менее трёх посылок. Однако основное внимание С. уделяет теории категорического силлогизма, имеющего ровно две посылки и одно заключение указанного вида. Классификацию различных форм (модусов) силлогизмов и их обоснование дал основатель логики как науки Аристотель. В дальнейшем С. усовершенствовалась различными школами античных (перипатетики, стоики) и средневековых логиков. Несмотря на ограниченный характер применения, отмечавшийся ещё Ф. Бэконом, Р. Декартом, Дж. С. Миллем и другими учёными, С. долгое время являлась неотъемлемым традиционным элементом «классического» гуманитарного образования, из-за чего её часто называют традиционной логикой. С созданием исчислений математической логики роль С. стала весьма скромной. Оказалось, в частности, что почти всё её содержание (а именно все выводы, не зависящие от характерного для С. предположения о непустоте предметной области) может быть получено средствами фрагмента исчисления предикатов — т. н. одноместного исчисления предикатов. Получен также (начиная с Я. Лукасевича, 1939) ряд аксиоматических изложений С. в терминах современной математической логики.

  Лит.: Аристотель, Аналитики, первая и вторая, пер. с греч., Л., 1952; Бэкон Ф., Новый органон, пер. с англ., Л., 1935; Декарт Р., Избр. произв., пер. с франц., М., 1950; Гильберт Д., Аккерман В., Основы теоретической логики, пер. с нем., М., 1947, гл. II, § 3; Лукасевич Я., Аристотелевская силлогистика с точки зрения современной формальной логики, пер. с англ., М., 1959; Бурбаки Н., Очерки по истории математики, пер. с франц., М., 1963; Калбертсон Д ж., Математика и логика цифровых устройств, пер. с англ., М., 1965, гл. 5; Субботин А. Л., Теория силлогистики в современной формальной логике, М., 1965; его же, Традиционная и современная формальная логика, М., 1969.

Силовая оптика

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

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

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