Словарь терминов по логике

Последнее обновление: 29 Ноябрь 2018.

Факт — (от лат. factum — сделанное, совершившееся) — 1) синоним понятия истина, событие, результат; нечто реальное, в противоположность вымышленному; конкретное, единичное, в отличие от абстрактного и общего; 2) в логике и методологии научного познания — особого рода предложения, фиксирующие эмпирическое знание.

Фальсификация — (от лат. falsus — ложный, facio — делаю) процедура, устанавливающая ложность теории или гипотезы в результате эмпирической проверки.

Фигура Силлогическая — см.: Силлогизм.

Физическая Модальность — см.: Онтологическая модальность.

Философская Логика — название, используемое иногда для обозначения разнообразных приложений идей и аппарата современной формальной логики для анализа понятий и проблем философии.

Формализация — (от лат. forma — вид, образ) — отображение результатов мышления в точных понятиях и утверждениях. При Ф. изучаемым объектам, их свойствам и отношениям ставятся в соответствие некоторые устойчивые, хорошо обозримые и отождествимые материальные конструкции, дающие возможность выявить и зафиксировать существенные стороны объектов.

Формальная Логика — или: Логика, — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания (см.: Содержание и форма).

Формальная Суппозиция — см.: Суппозиция.

Формы Мысли — или: Формы мышления, — в традиционной логике основными формами мысли считаются понятие, суждение и умозаключение. Каждая из этих основных форм имеет многочисленные разновидности.

Функтор — средство преобразования знаковых выражений и порождения одних выражений из других. Напр., знак «+» можно рассматривать как Ф., преобразующий два числа в некоторое третье число.

Функция — (от лат. functio — осуществление, выполнение) — соответствие между переменными величинами х и у, в результате которого каждому значению величины х (независимой переменной, аргументу) сопоставляется одно единственное значение величины у (зависимой переменной).