Импликация: Разлика между версии

където знакът <math>\Box</math> е модално-логическият оператор „необходимо“. <math>\Box (p \rightarrow q)</math> и <math>\neg \Diamond(p \and\neg q)</math> са еквивалентни.<ref>Отношението между модалните оператори <math>\Box</math> и <math>\Diamond</math> е следното: <math>\Box p \Leftrightarrow \neg\Diamond\neg p</math> („необходимо е <math>p</math>“ означава „не е възможно не-<math>p</math>“) и <math>\Diamond p \Leftrightarrow \neg\Box\neg p</math> („възможно е <math>p</math>“ означава „не е необходимо не-<math>p</math>“). Отношението между пропозиционално-логическите оператори <math>\rightarrow</math> и <math>\and</math> е, както видяхме по-горе, следното: <math>p \rightarrow q \Leftrightarrow \neg(p \and \neg q)</math>.</ref> Появата на <math>\Diamond</math> (и съотв. на <math>\Box</math>) в дефиниенса на знака [[File:Strict implication.jpg|20x13px]] показват, че [[File:Strict implication.jpg|20x13px]] е интензионален конектор (юнктор), т.е. интензионален логически съюз, с чиято помощ от дадени изречение се образува едно ново, сложно изречение. 'Интензионален' означава, че истината на изреченията образувани с [[File:Strict implication.jpg|20x13px]], няма дане зависи от 'екстензиите' (референциите) на съставящите ги изрази (на съответните сингуларни термини, предикати и подизречения), а от техните 'интензии' (смисли).

Въвеждането на строгата импликация <math>p</math> [[File:Strict implication.jpg|20x13px]] <math> q</math> (<math>p</math> имплицира строго <math> q</math>) е трябвало според Люис да доближи формализма на модерната логкалогика по-близо до интуитивното разбиране за логическо следване (<math> q</math> следва от <math>p</math>), отколкото това става чрез обяснението на логическото следване, което се базира на кондиционала (субюнкцията).