Logical arguments can only be used in theoretical models. Whether the conclusions made within a model are also valid in reality is an empirical question that can ideally be tested with falsifiable predictions. But no matter how many falsification attempts you make, you cannot prove that your model is a correct description of the real world.