Este articulo muestra que la fuerza metodologica de la teoria neoclasica, TUNC, se deriva de la relacion entre los juegos de salon, propios de la logica formal, y los juegos de buscar y encontrar, fundamentados en la logica modal. Mediante el uso de juegos semanticos, establecemos dos puntos: las condiciones para la interaccion estrategica entre el jugador neoclasico, que busca construir funciones de utilidad adecuadas, y un oponente que presenta los contraejemplos mas duros, y una semantica para la TUNC. Por ultimo, sugerimos que la expansion de la TUNC a otros mundos posibles depende de las transformaciones realizadas en el conjunto-modelo original.