Title: Contributions to logic and methodology in honour of J.M. Bochenski