Journal Article

What Are the Advantages of Hyperproof-like Reasoning Systems?

Martin Frické

in The British Journal for the Philosophy of Science

Published on behalf of British Society for the Philosophy of Science

Volume 48, issue 3, pages 397-410
Published in print September 1997 | ISSN: 0007-0882
Published online September 1997 | e-ISSN: 1464-3537 | DOI: http://dx.doi.org/10.1093/bjps/48.3.397
What Are the Advantages of Hyperproof-like Reasoning Systems?

More Like This

Show all results sharing these subjects:

  • Philosophy of Science
  • Science and Mathematics

GO

Show Summary Details

Preview

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.

Journal Article.  0 words. 

Subjects: Philosophy of Science ; Science and Mathematics

Full text: subscription required

How to subscribe Recommend to my Librarian

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.