Словарь Логики

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

Реклама