аксиоматический
121АЛАН ЛИЛЛЬСКИЙ — (Alain de Lille, Alanus de Insulis) (ок. 1120/1130 1202/1203) фр. теолог, философ и поэт; «универсальный доктор» (doctor universalis). Преподавал в Париже (ок. 1157 1170) и Монпелье (ок. 1171 1185); боролся с ересью катаров. В старости, став… …
122АРИСТОТЕЛЬ — (Aristoteles) (384 322 до н.э.) великий др. греч. философ и ученый, создатель логики, основатель психологии, этики, политики, поэтики как самостоятельных наук. Родившись на северо востоке Греции (г. Стагира), провел 20 лет в Академии Платона (см …
123ВЕРОЯТНОСТЬ — общенаучная и филос. категория, обозначающая количественную степень возможности появления массовых случайных событий при фиксированных условиях наблюдения, характеризующую устойчивость их относительных частот. В логике семантическая степень… …
124ВЫВОД — в (традиционной) логике рассуждение, в ходе которого из некоторых исходных высказываний (суждений), называемых посылками, с помощью логических правил получают новое высказывание, называемое заключением. Напр., из высказываний «Все полноправные… …
125ВЫСКАЗЫВАНИЕ — грамматически правильное повествовательное предложение, взятое вместе с выражаемым им смыслом. В логике употребляется несколько понятий В., существенно различающихся между собой. Прежде всего это понятие дескриптивного, или о п и с а тельного,… …
126ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… …
127ДОСТОВЕРНОСТЬ — обоснованность, доказательность, бесспорность знания. Достоверное суждение такое суждение, в котором выражается прочно обоснованное знание, напр.: «Луна спутник Земли», «Вода кипит при 100°С» и т.п. Достоверные суждения разделяются на два вида:… …
128МАТЕМАТИЧЕСКАЯ ЛОГИКА — одно из названий современной логики, пришедшей во втор. пол. 19 нач. 20 в. на смену традиционной логике. В качестве др. названия современного этапа в развитии науки логики используется также термин символическая логика. Определение… …
