Changing use of formal methods in philosophy: late 2000s vs. late 2010s