Semantic externalism without thought experiments