Idealism, Pragmatism, and the Historical Norms of Rationality. This project engages critically with the remarkable "normative pragmatics" of Robert Brandom, essentially the first analytic philosopher in a century to defend Hegel's "logic" from a modern logical perspective. It develops Brandom's suggested "inferentialist" interpretation of Hegel, but shows how a presupposition distorts both Brandom's reading of Hegel and his substantive account of the norms of reason. A corrective is developed on ....Idealism, Pragmatism, and the Historical Norms of Rationality. This project engages critically with the remarkable "normative pragmatics" of Robert Brandom, essentially the first analytic philosopher in a century to defend Hegel's "logic" from a modern logical perspective. It develops Brandom's suggested "inferentialist" interpretation of Hegel, but shows how a presupposition distorts both Brandom's reading of Hegel and his substantive account of the norms of reason. A corrective is developed on the basis of the later work of Brandom's mentor, Wilfrid Sellars. The corrected account shows how the norms of thought need not be eternal to be rational, but rather, are rational because of the way they are historical.Read moreRead less
Rationality and Resource Bounds in Logics for Intentional Attitudes. Formal philosophy is the discipline at the interface between traditional philosophy and modern mathematical logic. It has had a substantial impact in recent years and has benefited neighbouring disciplines, including computer science and artificial intelligence. It is a good example of how philosophical research can interact with more practical disciplines. This project will make substantial contributions to formal philosophy, ....Rationality and Resource Bounds in Logics for Intentional Attitudes. Formal philosophy is the discipline at the interface between traditional philosophy and modern mathematical logic. It has had a substantial impact in recent years and has benefited neighbouring disciplines, including computer science and artificial intelligence. It is a good example of how philosophical research can interact with more practical disciplines. This project will make substantial contributions to formal philosophy, which will in turn provide benefits in computer science and artificial intelligence, by providing a framework for logicians, computer scientists and researchers in artificial intelligence to discuss issues concerning knowledge, belief and rationality.Read moreRead less