Substructural logics for limited resources. This project aims to develop logical tools for managing reasoning and computation under conditions of bounded resources: fixed limits on the amount of time, memory, or other resources that can be allocated to a particular course of reasoning or computation. By drawing on both philosophical and computational approaches to logic, the project will develop new logical systems aimed at capturing these limitations. The expected outcome is new logical methods ....Substructural logics for limited resources. This project aims to develop logical tools for managing reasoning and computation under conditions of bounded resources: fixed limits on the amount of time, memory, or other resources that can be allocated to a particular course of reasoning or computation. By drawing on both philosophical and computational approaches to logic, the project will develop new logical systems aimed at capturing these limitations. The expected outcome is new logical methods for managing limited resources, as well as boosting interdisciplinary capacity. Anticipated benefits include developing a new programming language that will enable programmers to issue strong guarantees about the resources their programs will use.Read moreRead less
A Buddhist challenge to Western conceptions of logic. This project aims to advance and defend a theory about the nature of logic and rationality. The project will draw on Buddhist logic texts and demonstrate their relevance to contemporary Western debates about the nature of logic. It seeks to show that a Buddhist theory of logic can challenge widely-entrenched but unexamined Western conceptions of the nature of logic. The project is expected to advance intellectual engagement between Buddhist a ....A Buddhist challenge to Western conceptions of logic. This project aims to advance and defend a theory about the nature of logic and rationality. The project will draw on Buddhist logic texts and demonstrate their relevance to contemporary Western debates about the nature of logic. It seeks to show that a Buddhist theory of logic can challenge widely-entrenched but unexamined Western conceptions of the nature of logic. The project is expected to advance intellectual engagement between Buddhist and Western philosophers, bring attention to texts and theories not currently available to the Western philosophical world, and demonstrate the importance of a collaborative, interdisciplinary approach to global philosophy.Read moreRead less