Kognitywna interpretacja operacji zdefiniowanych w trzech konstrukcjach Davida Makinsona

W pracy Logiczna analiza operacji zdefi niowanych w trzech konstrukcjach Makinsona (Łukowski 2013) został zakwestionowany niemonotoniczny charakter operacji trzech typów zaproponowanych przez Davida Makinsona w jego książce Bridges from Classical to Nonmonotonic Logic (2005). Precyzyjna, logiczna analiza trzech kolejnych konstrukcji pokazuje, że jedynie druga z nich określa operacje czy relacje spełniające defi nicję inferencji niemonotonicznej. Trudno jest jednak odmówić wartości tym konstrukcjom; co więcej, jest ona dość wysoka. Aby ją dostrzec, należy odrzucić niemonotoniczną perspektywę postrzegania tych operacji. Okazuje się wówczas, że mają one wiele wspólnego z naszym codziennym myśleniem. Każda konstrukcja formalizuje inny sposób rozumowania, które jest nam bardzo bliskie. Niniejsza praca, będąc kontynuacją wspomnianego wyżej artykułu, stanowi propozycję innego, kognitywno- -psychologicznego spojrzenia na wartościową propozycję Makinsona. Zaproponowana tu interpretacja odwołuje się do ustaleń psychologii poznawczej i nie ma nic wspólnego z niemonotonicznością.