Словарь Логики
Универсум Рассуждениясм.: Предметная область.
Условное Высказывание — сложное высказывание, формулируемое обычно с помощью связки «если..., то...» и устанавливающее, что одно событие, состояние и т. п. является в том или ином смысле основанием или условием другого. Напр.: «Если есть огонь, то есть дым», «Если число делится на 9, оно делится...
Условное Умозаключение - умозаключение, включающее посылки, представляющие собой условные суждения (см.: Условное высказывание). У. у. может состоять лишь из одной условной посыл- ки, может включать кроме условной и другие посылки, не являющиеся условными, а также может состоять из многих...
Учетверение Терминов(лат. quaternio terminorum) — логическая ошибка в простом категорическом силлогизме, обусловленная нарушением правила, гласящего, что в силлогизме должно быть только три термина. Ошибка состоит в том, что в силлогизм включают четыре термина. Обычно это происходит благодаря...
Факт(от лат. factum — сделанное, совершившееся) — 1) синоним понятия истина, событие, результат; нечто реальное, в противоположность вымышленному; конкретное, единичное, в отличие от абстрактного и общего; 2) в логике и методологии научного познания — особого рода предложения, фиксирующие...
Фальсификация(от лат. falsus — ложный, facio - делаю) -процедура, устанавливающая ложность теории или гипотезы в результате эмпирической проверки. Понятие Ф. является фундаментальным в методологической концепции К. Поппера, который обосновал важность этой процедуры для развития науки. С...
Фигура Силлогическаясм.: Силлогизм.
Физическая Модальностьсм.: Онтологическая модальность.
Философская Логика - название, используемое иногда для обозначения разнообразных приложений идей и аппарата современной формальной логики для анализа понятий и проблем философии. Хотя формальная логика еще в прошлом веке отделилась («отпочковалась») от философии и перестала быть «философской...
Формализация(от лат. forma — вид, образ) — отображение результатов мышления в точных понятиях и утверждениях. При Ф. изучаемым объектам, их свойствам и отношениям ставятся в соответствие некоторые устойчивые, хорошо обозримые и отождествимые материальные конструкции, дающие возможность выявить и...
Формальная Логикаили: Л о г и к а, — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания (см.: Содержание и форма). Определение «формальная» было введено И. Кантом (1724—1804) с намерением подчеркнуть ведущую...
Формальная Суппозициясм.: Суппозиция.
Формальная Теория — теория в формализованном языке. Важной особенностью Ф. т. является то, что содержательные утверждения заменены в них последовательностями символов, манипуляции с которыми основываются лишь на их внешнем виде, и подразумеваемая логическая система явным образом включается в...
Формы Мыслиили: Формы мышления, — в традиционной логике основными формами мысли считаются понятие, суждение и умозаключение. Каждая из этих основных форм имеет многочисленные разновидности.
Функтор — средство преобразования знаковых выражений и порождения одних выражений из других. Напр., знак «+» можно рассматривать как Ф., преобразующий два числа в некоторое третье число. В зависимости от числа объектов, к которым применяется Ф., последние разделяются на нуль-местные, одноместные,...
Функция(от лат. functio — осуществление, выполнение) — соответствие между переменными величинами х и у, в результате которого каждому значению величины х (независимой переменной, аргументу) сопоставляется одно-единственное значение величины у (зависимой переменной). Это соответствие...
Целевое Обоснование - обоснование позитивной оценки какого-то объекта ссылкой на то, что с его помощью может быть получен другой объект, имеющий позитивную ценность. Напр., по утрам следует делать зарядку, поскольку это способствует укреплению здоровья; нужно отвечать добром на добро, т. к. это...
Цель-средство - обоснование позитивной ценности средства путем ссылок на позитивную ценность цели и наличие причинной связи между средством и целью. Таковым является, напр., обоснование внесения удобрений тем, что это способствует повышению урожая; позитивная оценка смертной казни на том основа...
Частное Суждение - суждение, имеющее логическую структуру «Некоторые S суть Р» (частноутвердительное суждение) или «Некоторые S не есть Р» (частноотрицательное суждение). Примерами частных суждений могут быть: «Некоторые металлы являются жидкими» (1), «Некоторые металлы электропроводны» (2), «...
Юма Принцип — принцип, утверждающий, что невозможно с помощью одной логики перейти от утверждений со связкой «есть» к утверждениям со связкой «должен». Принцип назван именем англ. философа Д. Юма (1711-1776), указавшего, что этика постоянно совершает грубую ошибку, полагая, что из описания того,...
- « первая
- ‹ предыдущая
- …
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- следующая ›
- последняя »