принцип объемности (экстенсиональности) — (от лат. extentio протяжение) принцип теории множеств, суть которого в том, что два множества (класса), состоящие из одних и тех же элементов, равны (совпадают, являются равнообъемными). Применительно к логике П. о. можно сформулировать так: два… … Словарь терминов логики
ОБЪЁМНОСТИ ПРИНЦИП — или принцип экстенсиональности (от лат. extentio протяжение) один из главных принципов, лежащих в основе теории множеств: два множества (или класса), состоящие из одних и тех же элементов (т.е. имеющие один и тот же объем), равны (совпадают). При … Философская энциклопедия
ПОСТИМПРЕССИОНИЗМ — обобщенное название периода худож. жизни гл. обр. во Франции, возникшего после импрессионизма (последняя выставка импрессионистов 1886) на его основе и длившегося до появления кубизма, т.е. период 80 х гг. 19 в. сер. пер. десятилетия 20 в … Энциклопедия культурологии
ЛОГИЦИЗМ — концепция, сводящая математику к логике. Согласно Л., логика и математика соотносятся между собой как части одной и той же науки: математика может быть получена из чистой логики без введения дополнительных основных понятий или дополнительных… … Философская энциклопедия
логицизм — ЛОГИЦИЗМ одно из трех главных направлений в основаниях математики наряду с интуиционизмом и формализмом. Основоположником Л. можно считать И. Канта, который рассматривал логику как априорно данную, а математические утверждения как… … Энциклопедия эпистемологии и философии науки
ТЕОРИЯ МНОЖЕСТВ — теория, в к рой изучаются множества (классы) элементов произвольной природы. Созданная прежде всего трудами Кантора (а также Р. Дедекинда и К. Вейерштрасса), Т. м. к концу 19 в. стала основой построения сложившихся к тому времени математич.… … Философская энциклопедия
СУЖДЕНИЕ — мысль, выражаемая повествовательным предложением и являющаяся истинной или ложной. С. лишено психологического оттенка, свойственного утверждению. Хотя С. находит свое выражение только в языке, оно, в отличие от предложения, не зависит от… … Философская энциклопедия
имя — выражение естественного или искусственного, формализованного языка, обозначающее отдельный предмет, совокупность сходных предметов, свойства, отношения и т. п. Напр., слово Наполеон обозначает отдельный предмет Наполеона Бонапарта; слово… … Словарь терминов логики
ИМЯ — выражение языка, которое может использоваться в качестве подлежащего или именной части сказуемого в простом предложении «S есть Р» (или: «... есть...»). Напр., выражения «Гарвей», «Менделеев» и «человек, открывший кровообращение» являются И.,… … Философская энциклопедия
Лемма Цорна — Аксиомой выбора (Axiom of choice) называется следующее высказывание теории множеств: Аксиома выбора утверждает: «Для каждого семейства непустых непересекающихся множеств существует [по меньшей мере одно] множество , которое имеет только один… … Википедия
