Введения дизъюнкции правило -

2019-08-14

354

Обсуждений (0)

0.00 из 5.00 0 оценок

12 Следующая ⇒

Логический справочник

Абстрактное понятие -

понятие, в котором отображен не конкретный предмет как таковой, а какое-либо свойство предмета или отношение, в котором он находится к другим предметам.

Абстрактное тождество -

временное отвлечение, абстрагирование от различий в предметах. Оно является относительным, имеющим значение лишь в пределах определенного контекста.

Абстракция «абсолютной осуществимости» -

применяемая в классической математике и логике более сильная абстракция, чем абстракция потенциальной (возможной) осуществимости, в соответствии с которой осуществимым считается всякий объект, который можно мыслить баз противоречия.

Абсурд -

бессмыслица, нелепость. Свести к абсурду – значит доказать, что в чем-либо заключается скрытое противоречие, и тем самым опровергнуть его.

Автология -

употребление слова в его собственном значении, в противоположность переносному значению.

Автонимное употребление выражения -

такое употребление выражений, когда имена используются как имена самих себя, например, «Береза – слово, состоящее из трех слогов».

Адекватный -

одинаковый, вполне соответствующий, равный, тождественный.

Аксиома -

истинное положение, утверждение, которое не требует доказательства, в нем содержание логического сказуемого заключено в содержании логического подлежащего.

Аналогия -

подобие, сходство предметов в каких-либо свойствах и отношениях. Умозаключение по аналогии – такое умозаключение, по которому в результате делается вывод, что исследуемый предмет, возможно, имеет признак Х, поскольку все предметы из области, которой принадлежит этот предмет, имеют признак Х.

Антецедент -

первый член импликации, характеризующий причинные условия.

Антиномия -

противоположность между двумя суждениями, взаимоисключающими друг друга, но в то же время производящими впечатление, что оба могут быть логически доказаны в качестве правильных.

Антитеза -

положение, противоположное тезису, т.е. какому-либо исходному утверждению.

Антифразис -
	такая речь, в которой слова выражают обратное тому, что думает оратор.
Антиципация -
	предвосхищение, догадка. Может использоваться как выражение предвзятого мнения.
Антонимы -
	сова, имеющие противоположные значения и употребляющиеся для характеристики контрастов.
Апогогическое доказательство -
	Непрямое, косвенное доказательство, стремящееся доказать, что истинным является не тезис, а ложное выражение, противоположное ему.
Апорема -
	трудно разрешимая логическая проблема, затруднение.
Апория -
	безвыходное положение. Термин, с помощью которого античные философы обозначали противоречия в понятиях, непреодолимые логические затруднения.
Апостериорное знание -
	знание, приобретенное из опыта, путем чувственного восприятия.
Апофансис -
	термин, которым в логике обозначалось суждение, высказывание о присущности или неприсущности.
Аппроксимация -
	приближенное выражение каких-либо величин через другие, более простые.
Априорный -
	предшествующий опыту, не зависимый от опыта.
Аргумент -
	довод доказательства, основание вывода, положение, с помощью которого обосновывается тезис.
Аргументация -
	приведение доводов для доказательства тезиса или опровержения антитезиса.
Атомарное высказывание -
	исходные высказывания в логике, не разложимые на более простые составляющие.
Афронт -
	резкий отпор в споре, дискуссии.
Barbara -
	условное обозначение одного из модусов первой фигуры простого категорического силлогизма (ААА), у которого и посылки и заключение являются общеутвердительными суждениями.

Baroco -

условное обозначение одного из модусов второй фигуры простого категорического силлогизма (АОО), в котором из общеутвердительной и частноотрицательной посылок делается частноотрицательное заключение.

Безотносительное понятие -

понятие, которое не находится в непосредственной связи с другими понятиями

Безусловная аналогия -

аналогия, которая применяется тогда, когда точно и определенно установлена связь между общими признаками, имеющимися у обоих сопоставляемых предметов.

Безусловного тождества закон -

одна из форм тождества, согласно которой мысли, имеющие одно и то же содержание и выраженные в одной форме, считаются тождественными.

Безусловное суждение -

суждение, в котором что-либо утверждается (отрицается) вне зависимости от какого-либо условия.

Ближайший род -

непосредственно более широкий класс предметов, в который в качестве вида входит рассматриваемый предмет.

Bocardo -

условное обозначение одного из модусов третьей фигуры простого категорического силлогизма (ОАО), в котором из частноотрицательной и общеутвердительной посылок делается частноотрицательное заключение.

Большая посылка -

посылка, в которую входит большой термин.

Большой термин -

термин, который является предикатом заключения простого категорического силлогизма.

Bramantip -

условное обозначение одного из модусов четвертой фигуры простого категорического силлогизма (ААI), в котором из общеутвердительных посылок следует частноутвердительное заключение.

введения дизъюнкции правило -

правило, согласно которому к доказательству можно присоединить дизъюнкцию, если какой-либо член этой дизъюнкции уже имеется в доказательстве.

2019-08-14

354

Обсуждений (0)

0.00 из 5.00 0 оценок

12 Следующая ⇒

Обсуждение в статье: Введения дизъюнкции правило -

Обсуждений еще не было, будьте первым... ↓↓↓