What Are the Advantages of Hyperproof-like Reasoning Systems?

Research output: Contribution to journalArticlepeer-review


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
Issue number3
StatePublished - Sep 1997

ASJC Scopus subject areas

  • History
  • Philosophy
  • History and Philosophy of Science


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

Cite this