логику
11СТОИЦИЗМ — учение одной из наиболее влиятельных филос. школ античности, основанной ок. 300 г. до н.э. Зеноном из Китиона. История С. традиционно делится на три периода: ранняя стоя (Зенон, Клеанф, Хрисипп и их ученики, 3 2 вв. до н.э.), средняя стоя… …
12ПОЛОЖИТЕЛЬНАЯ ЛОГИКА — логика, в которой приемлемыми считаются рассуждения, не связанные с опровержениями, т. е. с обоснованиями ложности высказываний. Поскольку выражение «А ложно» есть лишь иная форма выражения «не А», в П. л. отказываются от любых способов… …
13Восхождение от абстрактного к конкретному — Диалектическая логика в широком смысле есть философская наука, систематически развёрнутое изложение диалектики, понимаемой как логика (наука о мышлении) и теория познания объективного мира. В узком смысле, логическая дисциплина о формах… …
14Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики)  семейство языков представления знаний …
15Закон единства и борьбы противоположностей — Диалектическая логика в широком смысле есть философская наука, систематически развёрнутое изложение диалектики, понимаемой как логика (наука о мышлении) и теория познания объективного мира. В узком смысле, логическая дисциплина о формах… …
16Закон отрицания отрицания — Диалектическая логика в широком смысле есть философская наука, систематически развёрнутое изложение диалектики, понимаемой как логика (наука о мышлении) и теория познания объективного мира. В узком смысле, логическая дисциплина о формах… …
17АРИСТОТЕЛЬ — Стагирит [греч. ̓Αριστοτέλης Σταγειρίτης], философ, ученый энциклопедист. Биографические сведения Род. в 385/84 г. до Р. Х. в греч. г. Стагира на вост. побережье п ова Халкидика в семье Никомаха, врача из рода, возводимого к богу врачевания… …
18ИНТУИЦИОНИЗМ — (от позднелат. intuitio, от лат. intueor пристально смотрю) направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика …
19ИНТУИЦИОНИСТСКАЯ ЛОГИКА — одна из наиболее важных ветвей неклассической логики, имеющая своей филос. предпосылкой программу интуиционизма. Выдвигая на первый план математическую интуицию, интуиционисты не придавали большого значения систематизации логических правил.… …
20ТАРСКИЙ — (Tarski) Альфред (1901 1983) пол. логик и математик. Изучал математику и философию в Варшаве в 1919 1923; его учителями были логики С. Лесьневский и Я. Лукасевич, математик В. Серпиньский и философ Т. Котарбиньский. В 1925 1939 Т. преподавал… …
