метатеория
41мета... — мета... (гр. meta после, за, через) первая составная часть сложных слов, обозначающая: 1) следование за чем л., переход к чему л. другому, перемену состояния, превращение, напр.: метагенез, метафаза; 2) в современной логической терминологии… …
42теория — См …
43МЕТАЛОГИКА — область метатеоретических исследований проблем логики. См. Метатеория …
44Кукарцева, Марина Алексеевна — (р. 12.10.1961) спец. по истории филос., филос. истории; д р филос. наук, проф. Род. в г. Южно Сахалинск. Закончила филос. ф т МГУ (1984) и асп. при кафедре филос. гума нит. ф тов МГУ. В 1989 1999 ст. преп., доц., проф. кафедры филос. Ивановского …
45Аксиоматическая теория множеств — формулировка множеств теории (См. Множеств теория) в виде формальной (аксиоматической) системы (см. Аксиоматический метод). Основным побудительным стимулом для построения А. т. м. явилось открытие в «наивной» теории множеств Г. Кантора.… …
46Аксиоматический метод — способ построения научной теории, при котором в её основу кладутся некоторые исходные положения (суждения) аксиомы (См. Аксиома), или Постулаты, из которых все остальные утверждения этой науки (теоремы (См. Теорема)) должны выводиться… …
47Доказательство — в логике, процесс (метод) установления истины (См. Истина), обоснование истинности суждения (См. Суждение). В соответствии с различными возможными аспектами и уровнями рассмотрения и употребления понятий «истина» («истинность») и… …
48Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л …
49Металогика — (от Мета...) часть логики, посвященная изучению метатеоретическими средствами (см. Метатеория) строения и свойств различных логических теорий. Возникшая на рубеже 19 и 20 вв. в связи с исследованиями оснований дедуктивных наук (прежде… …
50Метаматематика — теория доказательств, теория доказательства, в широком смысле слова Метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических методов, на способ задания и объём исследуемой в М.… …
