Proceedings of the Royal Irish Academy: On variable functors of propositional arguments