метод логического вывода
61Метаматематика — теория доказательств, теория доказательства, в широком смысле слова Метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических методов, на способ задания и объём исследуемой в М.… …
62НЬЯЯ — (санскр., букв. правило, рассуждения, вхождение в предмет, аналитич. исследование, логика), одна из ортодоксальных систем др. инд. философии (см. Астика); не отвергает авторитет Вед, но своё учение строит на независимых основаниях. Во мн …
63Апории Зенона — …
64БЕТ — БЕТ (Beth) Эверт Биллем (17 июля 1908, Алмело, Нидерланды 12 апреля 1964, Амстердам) нидерландский философ и логик, ученик Брауэра. В 1933 45 преподаватель Утрехтского университета; с 1946 профессор логики Амстердамского университета, с 1952… …
65ВОЗМОЖНЫХ МИРОВ СЕМАНТИКА — ВОЗМОЖНЫХ МИРОВ СЕМАНТИКА метод логического анализа модальных и интенсиональных понятий, основу которого составляет рассмотрение мыслимых положений дел (идеальных альтернатив, описаний состояний, точек соотнесения). Дунс Скот (1265 1308)… …
66ФИЛОСОФСКАЯ МЫСЛЬ В РОССИИ СОВЕТСКОГО И ПОСТСОВЕТСКОГО ПЕРИОДОВ — После Октябрьской революции 1917 г. были созданы соответствующие ин ты для пропаганды и развития марксизма, в т. ч. философии, для подготовки научных и преподавательских кадров. Первоначально центром марксистской философской мысли стала (октябрь… …
67БЕТ (BETH) Эверт Биллем — (1908 1964) нидерл. философ и логик. В 1933 45 преподаватель Утрехтского ун та; с 1946 проф. логики Амстердамского ун та, с 1952 директор Института философии точных наук в Амстердаме. Испытал влияние логического эмпиризма, особенно работ Карнапа… …
68ГЁДЕЛЬ — (Godel) Курт (1906 1978) австр. логик и математик. Участвовал в работе Венского кружка. В 1933 1939 приват доцент Венского ун та, в 1940 эмигрировал в США, с 1953 проф. Ин та высших исследований в Принстоне. Г. принадлежат ряд важнейших… …
69Миркес, Евгений Моисеевич — Евгений Моисеевич Миркес Евгений Моисеевич Миркес, г. Красноярск, 2008 Дата рождения …
70Искусственные языки — Искусственные языки знаковые системы, создаваемые для использования в тех областях, где применение естественного языка менее эффективно или невозможно. И. я. различаются по специализации и назначению, а также по степени сходства с естественными… …