Nyelvfilozófia, logika