Приведение К Абсурду

в логике, вид доказательства, т. Н. Доказательство от противного. ..

- правило логич. Вывода, позволяющее заключить, что если из списка утверждений Г, А следует как утверждение В, так и утверждение , то из списка Г следует . Правило П. К а. Записывают, напр., в виде и наз. Также правилом введения отрицания. П. К а. Является допустимым правилом для подавляющего большинства логико-матеатич. Исчислений, C. Ю. Маслов. ..

— вывод о существовании неизвестных ранее фактов, объектов или их свойств, связей между явлениями, сделан­ный на основе теоретических представлений. Всякая научная теория возникает на основе некоторых известных фактов и создается для их объяснения. Однако, наряду с объяснением известного, научная теория всегда предсказывает и нечто неизвестное, т. Е. Утверждает существование явлений, о которых мы не подозревали до возникно­вения теории. Напр., теория Коперника предсказала годичный па­раллакс зве..

См. Нормативное выс­казывание.. ..

— факт или частный случай, используемый в качестве отправного пункта для последующего обобщения и для подкрепления сделанного обобщения. «Далее я говорю, — пишет философ XVIII в. Дж. Беркли, — что грех или моральная испорченность состоят не во внешнем физическом действии или движении, но во внутреннем от­клонении воли от законов разума и религии. Ведь убиение врага в сражении или приведение в исполнение смертного приговора над преступником, согласно закону, не считаются греховными, хотя внеш­нее..

- один из трех основных принципов теории отношения именования (обозначения) Фреге — Рассела. Согласно П. В., если два выражения имеют один и тот же денотат, то одно из них можно заменять другим, причем предложе­ние, в котором производится такая замена, сохраняет свое истиннос­тное значение, т. Е. Если оно было истинным, то и остается истинным. Напр., два выражения «Александр Пушкин» и «автор "Повестей Бел­кина"» обозначают одного и того же человека, поэтому в предложе­нии «Александр Пу..