- классическое отрицание
- мат. classical negation
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
МЕТАЛОГИКА — раздел логики, в котором изучаются логические исчисления и формализованные логические теории. В рамках данного раздела изучаются все те универсальные отношения, которые могут иметь место между смысловыми значениями символов того или иного языка;… … Философская энциклопедия
Литература — Содержание и объем понятия. Критика домарксистских и антимарксистских воззрений на Л. Проблема личного начала в Л. Зависимость Л. от социальной «среды». Критика сравнительно исторического подхода к Л. Критика формалистической трактовки Л.… … Литературная энциклопедия
Сатира — вид комического (см. Эстетика), отличающийся от других видов (юмора, иронии) резкостью обличения. С. при своем зарождении являлась определенным лирическим жанром. Она представляла собой стихотворение, часто значительное по объему, содержание к… … Литературная энциклопедия
ИСТИНА — гносеологическая характеристика мышления в его отношении к своему предмету. Мысль называется истинной (или просто И.), если она соответствует своему предмету, т.е. представляет его таким, каков он есть на самом деле. Соответственно, ложной… … Философская энциклопедия
БОГ — [греч. θεός; лат. deus; слав. родствен древнеинд. господин, раздаятель, наделяет, делит, древнеперсид. господин, название божества; одно из производных общеслав. богатый]. Понятие о Боге неразрывно связано с понятием Откровения. Предметом… … Православная энциклопедия
ИНТУИЦИОНИЗМ — (от позднелат. intuitio, от лат. intueor пристально смотрю) направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика … Философская энциклопедия
полнота логических исчислений — ПОЛНОТА ЛОГИЧЕСКИХ ИСЧИСЛЕНИЙ выводимость в исчислении (логической системе) всех утверждений (предложений, формуЛит.п.), обладающих некоторым подразумеваемым для этого исчисления свойством. Напр., П. классического исчисления высказываний… … Энциклопедия эпистемологии и философии науки
ГЕГЕЛЬ — (Hegel) Георг Вильгельм Фридрих (1770 1831) нем. философ, создатель развернутой филос. системы, построенной на принципах «абсолютного идеализма», диалектики, системности, историзма. Учился в гимназии Штутгарта, затем в Тюбингенском теологическом… … Философская энциклопедия
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
НЕОКАНТИАНСТВО — 1) университетско академическое движение в Германии в 1850 1880; 2) господствующее течение филос. мысли Германии втор. пол. 19 перв. четв. 20 в., решавшее основные вопросы философии путем истолкования учения И. Канта. В эволюции Н. выделяют три… … Философская энциклопедия