Содержание антецедента

Хорошо известна парадоксальность ее функтора. Ведь импликация истинна в тех случаях, когда истинен ее консеквент или когда ложен ее антецедент, даже если бы содержание антецедента и содержание консеквента по своему значению не были связаны. Ибо, когда мы читаем функтор импликации при помощи слов «если… то», часто возникает резкое расхождение между условиями признания импликации истинной и условиями истинности, которым должно удовлетворять условное высказывание при обычном понимании этих слов. Например, импликация «если птицы имеют крылья, то воскресенье — праздничный день», истинная по отношению к тексту матрицы, отнюдь не является истинной, если употребленный в ней условный союз понимать так, как его понимают в повседневной речи. Ибо что общего между одним и другим, какая связь по содержанию между крылатостью птиц и праздничностью воскресенья! От условного высказывания обычно требуется, чтобы в нем можно было правильно вывести консеквент из антецедента, например так, как высказывание «целых чисел меньше, чем точек в отрезке» можно вывести из высказывания «точек в отрезке больше, чем целых чисел». Если эти два высказывания мы соединим условным союзом, то получившееся при этом высказывание «если точек в отрезке больше, чем целых чисел, то целых чисел меньше, чем точек в отрезке» уже не вызовет возражений ни у кого, кто привык употреблять условный союз в обычной, повседневной роли.