The paper challenges the inferentialist account of concept possession that Paul Boghossian takes as a premise in his account of the transmission of justification by deductive reasoning in his paper ‘Blind Reasoning’. Unorthodox speakers who reject the inferences in an alleged possession condition can still have the concept by understanding a word for it. In that sense, the inferences are not an...

In narrative discourse, explanation can be considered abductive reasoning, described as a creative type of reasoning which generates new ideas, and prediction can be considered logical deductive reasoning. Given the well-known associations with hemisphere processing and reasoning associations, it would be expected that patients with left hemisphere brain damage would exhibit more evidence of ex...

It is widely believed that in principle it’s possible to reduce most of present-day mathematics to reasoning in a formal logical system. The technical difficulty of actually doing so is quite formidable. However, the arrival of the computer is changing this situation, since computers are good at helping with such tedious symbolic manipulation. The computer formalization of mathematics is now a ...

The paper gives a high-level overview of some ways in which logical representations and reasoning can be used in computer vision applications, such as tracking and scene interpretation. The combination of logical and statistical approaches is also considered.

Planning from second principles by reusing and modifying plans is one way of improving the eeciency of planning systems. In this paper, we study it in the general framework of deductive planning and develop a logical formalization of planning from second principles, which relies on a systematic decomposition of the planning process. Deductive inference processes with clearly deened semantics fo...

We describe a framework that combines deductive, numeric, and inductive reasoning to solve geometric problems. Applications include the generation of geometric models and animations, as well as problem solving in the context of intelligent tutoring systems. Our novel methodology uses (i) deductive reasoning to generate a partial program from logical constraints, (ii) numerical methods to evalua...