Словарь Логики
Причинная Связь — физически необходимая связь между явлениями, при которой за одним из них всякий раз следует другое. Первое явление называется причиной, второе — действием или следствием. Понятие «П. с.» — одно из тех понятий, без ссылки на которое обходится только редкое из наших рассуждений....
Причинности Логика - раздел современной логики, занимающийся исследованием структуры и логических отношений высказываний о причинных связях явлений (каузальных высказы- ваний). Понятие причинности является одним из центральных как в науке, так и в философии науки. Причинная связь не является...
Проблема(от греч. problema — преграда, трудность, задача) — вопрос или целостный комплекс вопросов, возникший в ходе познания. Не каждая П., однако, сразу же приобретает вид явного вопроса, так же как не всякое исследование начинается с выдвижения П. и кончается ее решением. Иногда П....
Пропозициональная Связка - операция, позволяющая из данных суждений (высказываний) строить новые суждения (высказывания). В логике высказываний высказывания (формулы) рассматриваются лишь с точки зрения их истинности или ложности. Если A и В - к.-л. формулы (простые, элементарные или сложные,...
Пропозициональная Функция - функция, область значений которой составляют высказывания, обладающие определенным истинностным значением. По своей структуре П. ф. сходна с грамматическим предложением, но отличается от последнего наличием переменных, которые пробегают какое-то множество объектов;...
Противоположность Логическая – вид отношения между противоположными понятиями или суждениями в традиционной логике. В отношении противоположности находятся такие несовместимые понятия, объемы которых включаются в объем более широкого, родового понятия, но не исчерпывают его полностью, напр. «...
Противопоставление Предикату - вид непосредственного умозаключения, в котором субъектом вывода является понятие, противоречащее предикату посылки, предикатом является субъект посылки, а связка изменяется на противоположную символически: П. п. представляет собой соединение превращения с обращением...
Противоречие - два высказывания, из которых одно является отрицанием другого. Напр.: «Латунь - химический элемент» и «Латунь не является химическим элементом», «2 - простое число» и «2 не является простым числом». В одном из противоречащих высказываний что-то утверждается, в другом это же самое...
Равенство — отношение между знаковыми выражениями, обозначающими один и тот же объект, когда все, что можно высказать на языке соответствующей теории об одном из них, можно высказать и о другом, и наоборот, и при этом получать истинные высказывания. Обозначаемые объекты могут быть построены...
Равнозначность(равносильность, эквивалентность) - отношение между высказываниями или формулами, когда они принимают одни и те же истинностные значения. Напр., при любых значениях элементарных высказываний формулы (A v B) и (B v A), (A v (A & В)) и A принимают одни и те же значения, т. е....
Равнообъемность - отношение между понятиями, объемы которых совпадают. Напр., понятия «луна» и «естественный спутник Земли» совпадают по своему объему, в который входит только один предмет; понятия «человек» и «разумное существо, владеющее членораздельной речью» равны по своему объему, т. к....
Разделительно-категорическое Умозаключение -умозаключение, в котором одна из посылок — разделительное суждение, а другая — категорическое. Р.-к. у. имеет два модуса: 1) модус утверждающе-отрицающий; 2) модус отрицающе-утверждающий. Простейшая форма модуса (1) имеет вид: S есть Р1 или p2 (первая...
Разделительно-условное Умозаключениесм.: Дилемма.
Разделительное Суждение - дизъюнктивное (от лат. disjunctio — разобщаю) сложное суждение, образованное из двух или большего числа суждений с помощью логической связки «или». Общая форма Р. с. имеет вид А1 v A2 v, ..., v An, где Аn — суждение (член дизъюнкции, альтернатива), a v — знак дизъюнкции....
Разрешающая Процедурасм.: Разрешения проблема.
Разрешения Проблемаили: Разрешимости проблема, — проблема нахождения для данной дедуктивной теории общего метода, позволяющего решать, может ли отдельное утверждение, сформулированное в терминах теории, быть доказано в ней или нет. Этот общий метод, являющийся эффективной процедурой (алгоритмом...
Разрешимая Теория — теория, для которой существует эффективная процедура (алгоритм), позволяющая о каждом утверждении, сформулированном в терминах этой теории, решить, выводимо оно в теории или нет (см.: Разрешения проблема). Р. т. являются, напр., элементарная алгебра Буля, теория сложения целых...
Рациональность(от лат. ratio - разум) - относящееся к разуму, обоснованность разумом, доступное разумному пониманию, в противоположность иррациональности как чему-то неразумному, недоступному разумному пониманию. В методологии научного познания Р. понимается двояко. Чаще всего Р....
Рекурсивное Определение(от лат. recurso - возвращаюсь) — метод определения арифметической функции φ(у) или предиката Р(у) через область значений этой функции или предиката. Примером Р. о. может быть определение функции сложения: а + 0 = а, (1) а + b'=(а+b)' (2) В равенстве (1)...
Релевантная Импликациясм.: Релевантная логика.
- « первая
- ‹ предыдущая
- …
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- следующая ›
- последняя »