Arrow Research search

Author name cluster

Daniel N. Osherson

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

3 papers
1 author row

Possible papers

3

YNIMG Journal 2007 Journal Article

Functional neuroanatomy of deductive inference: A language-independent distributed network

  • Martin M. Monti
  • Daniel N. Osherson
  • Michael J. Martinez
  • Lawrence M. Parsons

Studies of brain areas supporting deductive reasoning show inconsistent results, possibly because of the variety of tasks and baselines used. In two event-related functional magnetic imaging studies we employed a cognitive load paradigm to isolate the neural correlates of deductive reasoning and address the role (if any) of language in deduction. Healthy participants evaluated the logical status of arguments varying in deductive complexity but matched in linguistic complexity. Arguments also varied in lexical content, involving blocks and pseudo-words in Experiment I and faces and houses in Experiment II. For each experiment, subtraction of simple from complex arguments (collapsing across contents) revealed a network of activations disjoint from regions traditionally associated with linguistic processing and also disjoint from regions recruited by mere reading. We speculate that this network is divided into “core” and “support” regions. The latter include left frontal (BA 6, 47) and parietal (BA 7, 40) cortices, which maintain the formal structure of arguments. Core regions, in the left rostral (BA 10p) and bilateral medial (BA 8) prefrontal cortex, perform deductive operations. Finally, restricting the complex−simple subtraction to each lexical content uncovered additional activations which may reflect the binding of logical variables to lexical items.

I&C Journal 1988 Journal Article

Synthesizing inductive expertise

  • Daniel N. Osherson
  • Michael Stob
  • Scott Weinstein

We consider programs that accept descriptions of inductive inference problems and return machines that solve them. Several design specifications for synthesizers of this kind are considered from a recursion-theoretic perspective.

v2026.09.13