Alice Ambrose is deeply devoted to the analytic school of philosophy, having studied under G.E. Moore and Wittgenstein at Cambridge in the early 1930's. Her early works include Fundamentals of Symbolic Logic(1948) and The Theory of Formal Inference(1962), along with a number of papers published in the early thirties on mathematics, pi, and the mind.
Her most important works were co-authored with her husband. These include Essays in Analysis(1966) Philosophical Theories(1976), and Essays in the Unknown Wittgenstein(1984). Analysis touches on theories layed down by Moore and Wittgenstein, discussing a number of their major problems in philosophy, and a number of the perennial problems of philosophy, like universals, Moore's proof of an external world, and logical necessity.
Theories takes on a subjective view of philosophy, to explain the many widespread disagreements, and to discuss why it is in fact so hard to agree upon a proposition. Ambrose wrote on the logic of propositions, methods of philosophy, and rationalism and empiricism, as well as freedom of the will and ethical theories in this work.
Wittgenstein asserted that he was a man of deep insight into the central enigmas of the irresolveability of the disagreements attached to philosophy's claims. Other sections in this work include a discussion of her notebooks on Wittgenstein's Blue Book, a discussion of sic et non, and linguistic solipsism.