формальные доказательства
61Метатеория — (от Мета...) теория, анализирующая структуру, методы и свойства какой либо другой теории т. н. предметной теории, или объектной. Термин «М.» осмысленно употребляется лишь по отношению к некоторой конкретной предметной теории; так, М.… …
62Непротиворечивость — совместимость, свойство дедуктивной теории (или системы аксиом (См. Аксиома), посредством которых теория задаётся), состоящее в том, что из неё нельзя вывести противоречие, т. е. какие либо два предложения А и ¬ А, каждое из которых… …
63АРИСТОТЕЛЬ — (Aristoteles) (384 322 до н.э.) великий др. греч. философ и ученый, создатель логики, основатель психологии, этики, политики, поэтики как самостоятельных наук. Родившись на северо востоке Греции (г. Стагира), провел 20 лет в Академии Платона (см …
64НЕПРОТИВОРЕЧИВОСТЬ — свойство формальной системы, состоящее в том, что не каждая формула этой системы доказуема в ней. Формальные системы, обладающие этим свойством, наз. непротиворечивым и, или формально непротиворечивым и. В противном случае формальная система наз …
65Нотариус — (лат. notarius писарь, секретарь)  лицо, специально уполномоченное на совершение нотариальных действий, среди которых свидетельствование верности копий документов и выписок из них, свидетельствование подлинности подписи на документах,… …
66“НОВЫЕ ОПЫТЫ О ЧЕЛОВЕЧЕСКОМ РАЗУМЕНИИ” — “НОВЫЕ ОПЫТЫ О ЧЕЛОВЕЧЕСКОМ РАЗУМЕНИИ ” (Nouveaux essais sur l entendement humain) сочинение Лейбница (1703 04), его отклик на “Опыт о человеческом разумении” Локка, вышедший по французски в 1700с добавлениями автора. Лейбниц не напечатал… …
67Витгенштейн: социальная теория познания — «ВИТГЕНШТЕЙН: СОЦИАЛЬНАЯ ТЕОРИЯ ПОЗНАНИЯ» (BloorD. Wittgenstein: A Social Theory of Knowledge. Macmfflan and Columbia, 1983.209 p.) книга Д. Блуpa, представителя социальной эпистемологии (Эдинбургская школа). Блур придерживается… …
68конструктивизм — КОНСТРУКТИВИЗМ (от лат. constructio построение) направление в эпистемологии и философии науки, в основе которого лежит представление об активности познающего субъекта, который использует специальные рефлексивные процедуры при построении… …
69ЯПОНИЯ — государство в Восточной Азии, расположенное на четырех крупных островах Хоккайдо, Хонсю, Сикоку, Кюсю и многочисленных близлежащих мелких островах. Япония унитарное государство, разделенное на 47 префектур. Местное управление осуществляют… …
70Япония — Государственное устройство Правовая система Общая характеристика Гражданское и смежные с ним отрасли права Уголовное право и процесс Судебная система. Органы контроля Литература Государственное устройство Япония унитарное государство, разделенное …
