Title: Contributions to Logic and Methodology