 This new interpretive interest in the Aufbau and its philosophical context has also led to renewed efforts to reconstruct the Aufbau’s constitution system with new tools. Goodman’s 1951 critique of quasianalysis has finally found responses and repairs from Mormann (1994, 1997, 2009) and Leitgeb (2007); Leitgeb (2011) goes further and argues that if the goals of the Aufbau strategy are limited in certain ways, Goodman’s and Quine’s critiques no longer apply (see the supplement  Aufbau (Sections 3 and 4)).  Chalmers (2012) suggests a much more drastic rationalistic revision of the Aufbau; where Carnap thought it would be possible, in principle, to derive all true scientific sentences whatsoever from basic true sentences in an “empiricistically acceptable” constitution system just by means of the system’s definitions, Chalmers drops any empiricist ambitions and replaces the role of definitions by that of a priori knowledge, including synthetic a priori knowledge (whose existence Carnap of course denied).