элементарная логика
Смотреть что такое "элементарная логика" в других словарях:
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
ЛОГИКА КЛАССОВ — раздел логики, в котором рассматриваются классы (множества) предметов, задаваемые характеристическими свойствами этих предметов (элементов классов). В совр. логике Л. к. может пониматься как «алгебра множеств», т. е. интерпретироваться… … Философская энциклопедия
Логика предикатов — раздел математической логики (См. Логика), изучающий логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с заданными на этих объектах предикатами (т. е. свойствами и отношениями). В результате… … Большая советская энциклопедия
Элементарная дизъюнкция — В логике высказываний элементарной дизъюнкцией называется дизъюнкция литералов: , где литералы. В англоязычной литературе для обозначения элементарной дизъюнкции используется термин клоз (англ. clause). См. также Элементарная… … Википедия
Элементарная конъюнкция — В логике высказываний элементарной конъюнкцией называется конъюнкция литералов: , где литералы. См. также Элементарная дизъюнкция Дизъюнктивная нормальная форма Конъюнктивная нормальная форма Ссылки … Википедия
Математическая логика — (теоретическая логика, символическая логика) раздел математики, изучающий доказательства и вопросы оснований математики. «Предмет современной математической логики разнообразен.»[1] Согласно определению П. С. Порецкого, «математическая… … Википедия
МАТЕМАТИЧЕСКАЯ ЛОГИКА — одно из названий современной логики, пришедшей во втор. пол. 19 нач. 20 в. на смену традиционной логике. В качестве др. названия современного этапа в развитии науки логики используется также термин символическая логика. Определение… … Философская энциклопедия
МАТЕМАТИЧЕСКАЯ ЛОГИКА — один из ведущих разделов современной логики и математики. Сформировался в 19 20 ст. как реализация идеи о возможности записать все исходные допущения на языке знаков, аналогичных математическим и тем самым заменить рассуждения вычислениями.… … Новейший философский словарь
КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… … История Философии: Энциклопедия
Струве, Генрих Юрьевич (Егорович) — (27.06.1840 16.03.1912) нем. рус польский философ. Отец С. род. в Мюнхене, мать из голландской семьи; род. в Познани. По окончании гимназии учился в Германии. В Йене получил степень д ра филос. (1862). Был адъюнктом, а затем проф. Варшавской Гл.… … Большая биографическая энциклопедия
КУАЙН Уиллард ван Орман (1908- 1997) — американский философ и логик. Один из участников Венского кружка (1932 1934). Окончил докторантуру под руководством Уайтхеда. Преподавал в Гарвардском университете (с 1938). По свидетельствам ряда историков философии и науки, оказал весьма… … История Философии: Энциклопедия