Proceedings of the Royal Irish Academy: Boolean algebra and probability theory