Металогика

(от Мета...) часть логики, посвященная изучению метатеоретическими средствами (см. Метатеория) строения и свойств различных логических теорий. Возникшая на рубеже 19 и 20 вв. В связи с исследованиями оснований дедуктивных наук (прежде всего математики), М. В ходе дальнейшей специализации этих исследований разделилась на синтаксическую и семантическую «ветви». К первой из них, посвященной рассмотрению чисто структурных свойств исчислений, относятся прежде всего теория (формальных) доказательств (..

МЕТАЛЛУРГИЯ (от греч. Metallurgeo - добываю руду - обрабатываю металлы), область науки и техники и отрасль промышленности, охватывающие процессы получения металлов из руд или др. Материалов, изменения химического состава, структуры и свойств металлических сплавов, придания металлу определенной формы. Различают пирометаллургию и гидрометаллургию. Металлургические процессы применяются также для производства неметаллических материалов, в т. Ч. Полупроводников. Металлургия - одна из важнейших отрасл..

МЕТАЛЛЫ (греч.) - вещества, обладающие в обычных условиях высокими электропроводностью (106-107 Ом-1 см-1, уменьшается с ростом температуры) и теплопроводностью, ковкостью, "металлическим" блеском и др. Свойствами, обусловленными наличием в их кристаллической решетке большого количества (1022-1023 в 1 см³) слабо связанных с атомными ядрами подвижных электронов. Металлы можно представить в виде ионного кристаллического остова, погруженного в электронный газ, который, компенсируя электростатич..

МЕТАМАГНЕТИК - антиферромагнетик, у которого обменное взаимодействие внутри атомных слоев значительно больше, чем между слоями. В слабых магнитных полях обладает свойствами антиферромагнетиков, а в более сильных полях (выше 5-10 кЭ) - ферромагнетиков. К метамагнетикам относятся хлориды и бромиды элементов группы железа (FeBr2, CoCl2 и др.), некоторые соединения редкоземельных элементов (GdN, TbAs, DySb, Eu3O4 и др.).. ..

МЕТАМЕРИЯ (от мета. И греч. Meros - часть - доля), расчленение тела и некоторых групп организмов на ряд последовательно расположенных сходных участков - метамеров, в которых в той или иной степени повторяются системы органов. У животных наиболее полная метамерия, затрагивающая целом, называется сегментацией (напр., у кольчатых червей).. ..

Область метатеоретических исследований проблем логики. См. Метатеория.. ..

- логика, используемая в рассуждениях о формальной аксиоматич. Теории в рамках пек-рой метатеории. В основаниях математики к метатеории часто предъявляются специфич. Требования, связанные с отказом от нек-рых употребительных математич. Абстракций с целью повышения философской убедительности метатеории. Примерами таких подвергающихся критике абстракций являются абстракция актуальной бесконечности, абстракция отчуждения, ответственная за появление антиномий, и др. Это, как правило, приводит к то..

..

МЕТАЛОГИКА. ..