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