What Are the Advantages of Hyperproof-like Reasoning Systems?

Research output: Contribution to journalArticle

Abstract

Hyperproof is one of the first systems to permit and encourage reasoning across heterogeneous media. Its advocates argue that it has merits over and above the obvious pragmatic and cognitive ones. This paper suggests analysing Hyperproof-like systems in terms of languages interpreted over a common conceptual scheme and translation relations between logical expressions in such languages. This analysis shows that, despite initial appearances, Hyperproof has no real theoretical merits apart from its admittedly important pragmatic advantages.

Original languageEnglish (US)
Pages (from-to)397-410
Number of pages14
JournalBritish Journal for the Philosophy of Science
Volume48
Issue number3
DOIs
StatePublished - Sep 1997

ASJC Scopus subject areas

  • History
  • Philosophy
  • History and Philosophy of Science

Fingerprint Dive into the research topics of 'What Are the Advantages of Hyperproof-like Reasoning Systems?'. Together they form a unique fingerprint.

  • Cite this