Типов теория это:

Типов теория
I Ти́пов тео́рия
        в химии, одна из ведущих химических теорий середины 19 в. В 1839— 1840 Ж. Б. Дюма предложил рассматривать химические соединения как продукты замещения одних элементов или радикалов (см. Радикалов теория) другими в немногих «типичных» соединениях («старая Т. т. »). В 1853 Ш. Жерар разработал «новую Т. т.» и использовал её для классификации органических соединений. Согласно Жерару, более сложные органические соединения могут быть произведены от следующих основных четырёх типов веществ:
        
        
         Заменяя в этих формулах атомы Н др.: атомами или радикалами (по Жерару, «остатками»), можно было получить формулы органических соединений всех известных в середине 19 в. классов. Например, к типу водорода относили углеводороды, металлоорганические соединения, альдегиды, кетоны, к типу воды — спирты, кислоты, эфиры, к типу хлористого водорода — моногалоген опроизводные углеводородов, к типу аммиака — амины, амиды, имиды, арсины, фосфины. С 1857 по предложению Ф. А. Кекуле углеводороды стали относить к типу метана.
         Т. т. способствовала развитию органической химии, в частности классификации органических соединений. Но её основная мысль — уложить соединения углерода в формулы простейших неорганических соединений — была ошибочной. Вскоре обнаружилась необходимость введения кратных (удвоенных, утроенных и т. д.) и смешанных (составленных из двух и более простых) типов, а также возможность относить соединения одного класса к разным типам (например, альдегиды — к типам водорода и воды). Кроме того, формулы Т. т. выражали не истинное строение соединений, а только сходство некоторых их реакций с реакциями более простых и известных веществ. Поэтому в 1860-х гг. Т. т. стала уступать место классической химического строения теории (См. Химического строения теория), созданной А. М. Бутлеровым.
         Лит.: Быков Г. В., История классической теории химического строения, М., 1960, с. 17—23.
         С. Л. Погодин.
II Ти́пов тео́рия
        в логике, система расширенного исчисления предикатов (См. Исчисление предикатов) или аксиоматической теории множеств (См. Аксиоматическая теория множеств), включающая переменные различных «типов» (сортов, ступеней, порядков). Формальные объекты этой теории, согласно системе Рассела — Уайтхеда, разделяются на типы: предметы (индивиды), предикаты, предикаты от предикатов и т. д. [объекты n-го типа — это предикаты от объектов (n–1)-го и, быть может, меньших типов]. При «двойственной» формулировке Т. т. как аксиоматической теории множеств объекты n-го типа суть множества объектов (n—1)-го (и, быть может, меньших) типа. Соответственно, принцип свёртывания (Абстракции принцип), неограниченное пользование которым в расширенном исчислении предикатов и в теории множеств приводит к Парадоксам, звучит теперь несколько по-другому: «для всякой предикатной формулы со свободной переменной х, не содержащей объектов выше (n—1)-го типа, существует предикат n-го типа, истинный для тех и только тех значений х, для которых истинна данная формула», или «для любого свойства, в формулировке которого используются множества не выше (n—1)-го типа, существует множество n-го типа, состоящее из тех и только тех предметов, которые обладают этим свойством». В обеих формулировках выделены слова, добавление которых отличает теоретико-типовую форму аксиомы свёртывания от обычной и которые препятствуют возникновению в Т. т. парадоксов, возникающих в «наивной» теории множеств, в том числе парадокса Рассела о «множестве всех множеств, не содержащих себя в качестве элемента».
         Однако математика, построенная на базе Т. т., оказывается, как показывает внимательный анализ, существенно более бедной, чем обычная классическая математика. Поэтому Рассел ввёл в свою систему так называемую аксиому сводимости, постулирующую, грубо говоря, для каждого множества (предиката) n-го типа существование эквивалентного ему множества 1-го типа. Но уже для этой аксиомы ни на какое «чисто логическое» обоснование математики, как показал сам Рассел, рассчитывать не приходилось (в силу чего программа Логицизма выведения всей математики из «чистой» логики оказывалась невыполнимой).
         Лит.: Гильберт Д., Аккерман В., Основы теоретической логики, пер. с нем., М., 1947, гл. 4 и прилож. 1; Ван Хао, Мак -Нотон P., Аксиоматические системы теории множеств, пер. с франц., М., 1963, гл. 1—2, 5—6; Френкель А., Бар-Хиллел И., Основания теории множеств, пер. с англ., М., 1966, гл. 1, 3 (лит.); Andrews Р. В., A transfinite type theory with type variables, Amst., 1965.

Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.

Смотреть что такое "Типов теория" в других словарях:

  • ТИПОВ ТЕОРИЯ — система расширенного предикатов исчисления или аксиоматич. теории множеств, включающая переменные различных типов (сортов, ступеней, порядков). Различные системы Т. т. были предложены (впервые – Б. Расселом в 1908) в качестве одной из… …   Философская энциклопедия

  • ТИПОВ ТЕОРИЯ — формальная теория 1 го порядка (см. Формальная система), один из вариантов к рой простая теория типов описан ниже. Термин лТ. т …   Математическая энциклопедия

  • типов теория — система логики предикатов более высокого порядка, чем первый, включающая переменные различных уровней, типов (см.: Переменная) и ограничения на подстановку термов вместо переменных. В ней по меньшей мере имеются не только предметные переменные,… …   Словарь терминов логики

  • ТИПОВ ТЕОРИЯ — см. Органическая химия …   Химическая энциклопедия

  • Типов теория (в химии) — Типов теория в химии, одна из ведущих химических теорий середины 19 в. В 1839 1840 Ж. Б. Дюма предложил рассматривать химические соединения как продукты замещения одних элементов или радикалов (см. Радикалов теория) другими в немногих «типичных»… …   Большая советская энциклопедия

  • Типов теория (в логике) — Типов теория в логике, система расширенного исчисления предикатов или аксиоматической теории множеств, включающая переменные различных «типов» (сортов, ступеней, порядков). Формальные объекты этой теории, согласно системе Рассела Уайтхеда,… …   Большая советская энциклопедия

  • Химических типов теория — Под этим названием известны несколько взглядов, появившихся в химии в разное время. Впервые выражение химический тип введено, кажется, Дюма [Может быть оно принадлежит Бодримону; по крайней мере Лоран ( Méthode de Chimie , 1854, 358), говорит: M …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • КУЛЬТУРНО-ИСТОРИЧЕСКИХ ТИПОВ ТЕОРИЯ (цивилизационный подход) — направление в философии истории, рассматривающее историю как сосуществование различных, внутренне целостных типов цивилизации. Каждая такая цивилизация развивается по собственным более или менее уникальным законам, имеет собственные источники… …   Современный философский словарь

  • культурно-исторических типов теория — социологическая концепция, которая подчеркивает существование множества различных культур, своеобразие каждой из них и вместе с тем отрицает единство всемирно исторического развития человечества. Наиболее известными теоретиками этой концепции… …   Этнопсихологический словарь

  • КУЛЬТУРНО-ИСТОРИЧЕСКИХ ТИПОВ ТЕОРИЯ — социологическая концепция, которая подчеркивает существование множества различных культур, своеобразие каждой из них и вместе с тем отрицает единство всемирно исторического развития человечества. Наиболее известными теоретиками этой концепции… …   Энциклопедический словарь по психологии и педагогике

Книги

Другие книги по запросу «Типов теория» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»