В данном разделе представлены словари и энциклопедии по философии и
смежным отраслям знания, отражающие лучшие традиции энциклопедического дела в России и за рубежом. Вы также можете включиться в это дело,
став одним из авторов Открытой философской энциклопедии.
[Помощь]
импликация В логике, отношение между двумя высказываниями, связанными как антецедент и косеквент правильного условного суждения. Логики различают два основных типа импликации, материальную и строгую. Высказывание p материально имплицирует высказывание q, если и только если материальная условная связь pÉq (произносится: «если p, то q») истинна. Высказывание формы pÉq ложно всякий раз, когда p истинно, а p ложно; в остальных трех возможных случаях (т.е. p истинно и q истинно; p ложно, а q истинно; p ложно и q ложно) оно истинно. Отсюда следует, что всякий раз, когда p ложно, pÉq автоматически является истинным: эта особенность делает материальную условную связь неадекватной для интерпретации значения условных предложений обыденного языка. С другой стороны, высказывание p строго имплицирует высказывание q, если и только если невозможно, чтобы p было истинным без того, чтобы и q было истинным (т.е. если невозможна конъюнкция p и не-q).