NotaBene е електронно списание за философски и политически науки. Повече за нас
Imposed by time predicate logic is extension of propositional logic and this extension form first order logic or the so called “classical” logic. But in the time there is another system with similar properties. The logic of Hugh MacColl suggest one more successful connection between tradition and formal logic because it adds thesis of Aristotle and Boethius. Furthermore MacColl system include some modal and relevant elements, along with this it is five valued.
Key words: MacColl, modal, connexive, relevant, predicate logic, five valued