Факт (от лат. factum — сделанное, совершившееся) — 1) синоним понятия истина, событие, результат; нечто реальное, в противоположность вымышленному; ... Фальсификация (от лат. falsus — ложный, facio - делаю) -процедура, устанавливающая ложность теории или гипотезы в результате эмпирической проверки. Понятие Ф. ... Философская Логика - название, используемое иногда для обозначения разнообразных приложений идей и аппарата современной формальной логики для анализа понятий и проблем ... Формализация (от лат. forma — вид, образ) — отображение результатов мышления в точных понятиях и утверждениях. При Ф. изучаемым объектам, их свойствам и ... Формальная Логика или: Л о г и к а, — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от ... Формальная Теория — теория в формализованном языке. Важной особенностью Ф. т. является то, что содержательные утверждения заменены в них последовательностями символов, ... Формы Мысли или: Формы мышления, — в традиционной логике основными формами мысли считаются понятие, суждение и умозаключение. Каждая из этих основных форм ... Функтор — средство преобразования знаковых выражений и порождения одних выражений из других. Напр., знак «+» можно рассматривать как Ф., преобразующий два ... Функция (от лат. functio — осуществление, выполнение) — соответствие между переменными величинами х и у, в результате которого каждому значению величины х ...
| 
