Salience reasoning, many have argued, can help solve coordination problems, but only if such reasoning is supplemented by higher-order predictions, e.g. beliefs about what others believe yet will choose. In this paper, I argue that line of self-undermining. Higher-order behavioral predictions defeat salience-based predictions. To anchor my argument in the philosophical literature, develop it re...

The conference invites original research papers from all areas of AI, its fundamentals, its history and its applications. Papers emphasizing the relation between AI and Cognitive Science are particularly welcome. Areas of interest include, but are not limited to Agents Cognitive modeling Constraint satisfaction Deduction Evolutionary computation Game playing and interactive entertainment Histor...

In a series of articles in this journal, Dan López De Sa and Elia Zardini (2006, 2007) (forthwith ‘LSZ’) have argued that several theorists have recently employed instances of paradoxical reasoning, while failing to see its problematic nature because it does not immediately (or obviously) yield inconsistency. In contrast, LSZ claim that resultant inconsistency is not a necessary condition for p...

Philosophical theories of logical reasoning are intrinsically related to formal models. This holds in particular of Dummett–Prawitz-style proof-theoretic semantics and calculi of natural deduction. Basic philosophical ideas of this semantic approach have a counterpart in the theory of natural deduction. For example, the “fundamental assumption” in Dummett’s theory of meaning (Dummett, 1991, p. ...

This paper concerns the challenges that face university-based business schools. These are concerned with their ability to maintain expectations in educational and research terms, whilst at same time making impact social contexts. outlines how might be informed by a heightened awareness of difference between pure practical reasoning. was key concern Immanuel Kant, who laid foundation philosophic...

This paper proposes a formalization of ability that is motivated in part by linguistic considerations and by the philosophical literature in action theory and the logic of ability, but that is also meant to match well with planning formalisms, and so to provide an account of the role of ability in practical reasoning. Some of the philosophical literature concerning ability, and in particular [A...

looks at the historical and philosophical roots of the reasoning and defines the induction as the most popular style of reasoning. discusses the problem of induction and its complexities through an example. explains one of the solutions provided for the problem of induction; i.e. the falsifiability theory. defines the falsifiability theory and concentrates on an ongoing argument among informati...

When philosophers participate in the interdisciplinary ethical, environmental, economic, legal, and social analysis of nanotechnologies, what is their specific contribution? At first glance, the contribution of philosophy appears to be a clarification of the various moral and ethical arguments that are commonly presented in philosophical discussion. But if this is the only contribution of philo...

We address the import of AI for philosophical logic and examine the requirements posed by knowledge representation and reasoning issues which AI has addressed, most especially through its Logic Programming field, to more dynamic forms of logic, in order to deal with knowledge in flux. In the process, we consider its encroachments on the philosophy of knowledge.

This paper combines a system of deontic logic with a system for default reasoning to analyze a notorious philosophical problem: Chisholm’s Paradox. The basic approach is to write deontic rules with explicit exceptions, but we also consider the extent to which a set of implicit exceptions can be derived from the underlying deontic semantics.