Реклама на сайте |
|
Оборудование химическое. |
|
ХЛЕБОПЕКАРНАЯ ПРОМЫШЛЕННОСТЬ в Давлеканово, патроны охотничьи в Московской области, линолеум, моторы лодочные "Вихрь" в Самаре, СОЛЯНАЯ ПРОМЫШЛЕННОСТЬ в Иркутской области, Производство спички кухонные в Боровске, изделия ликеро-водочные в Сибирский федеральный округ, Производство редуктора в Республике Адыгея (Адыгея), Производство машины кузнечно-прессовые по федеральным округам РФ, Производство крылья Як-42 в Центральный федеральный округ, ПРОИЗВОДСТВО МЫЛА И МОЮЩИХ СРЕДСТВ в регионах РОссии, ПОДШИПНИКОВАЯ ПРОМЫШЛЕННОСТЬ в Северо-Западный федеральный округ, Производство уголь каменный, Производство части жатвенные к зерноуборочным комбайнам по регионам, ПРОИЗВОДСТВО СТРОИТЕЛЬНЫХ МАТЕРИАЛОВ предприятия Пскова, ПРОИЗВОДСТВО СТРОИТЕЛЬНЫХ МАТЕРИАЛОВ Предприятия, ЛЕСОЗАГОТОВИТЕЛЬНАЯ ПРОМЫШЛЕННОСТЬ А знаете ли Вы, что... Из Большой Советской Энциклопедии. Металогика (от мета...), часть логики, посвященная изучению метатеоретическими средствами (см. Метатеория) строения и свойств различных логических теорий. Возникшая на рубеже 19 и 20 вв. в связи с исследованиями оснований дедуктивных наук (прежде всего математики), М. в ходе дальнейшей специализации этих исследований разделилась на синтаксическую и семантическую «ветви». К первой из них, посвященной рассмотрению чисто структурных свойств исчислений, относятся прежде всего теория (формальных) доказательств (или метаматематика) и теория определимости понятий. Вторая «ветвь» М., распадающаяся на теорию смысла и теорию референции (теорию значения), — это логическая семантика; уже из основополагающей для неё работы А. Тарского, посвященной исследованию понятия истины (истинности) в формализованных языках, выделилась вскоре самостоятельная теория алгебраического содержания — т. н. моделей теория. К М. относится и интересная проблема соотношения между экстенсиональными и интенсионал |