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

Fingerprint

Language
Merit
Conceptual Schemes
Logic

ASJC Scopus subject areas

  • History
  • History and Philosophy of Science
  • Philosophy

Cite this

What Are the Advantages of Hyperproof-like Reasoning Systems? / Fricke, Martin H.

In: British Journal for the Philosophy of Science, Vol. 48, No. 3, 09.1997, p. 397-410.

Research output: Contribution to journalArticle

@article{7c29c9ca471a4e4c9f9b2910714ea7ac,
title = "What Are the Advantages of Hyperproof-like Reasoning Systems?",
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.",
author = "Fricke, {Martin H}",
year = "1997",
month = "9",
language = "English (US)",
volume = "48",
pages = "397--410",
journal = "British Journal for the Philosophy of Science",
issn = "0007-0882",
publisher = "Oxford University Press",
number = "3",

}

TY - JOUR

T1 - What Are the Advantages of Hyperproof-like Reasoning Systems?

AU - Fricke, Martin H

PY - 1997/9

Y1 - 1997/9

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0345910346&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0345910346&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:0345910346

VL - 48

SP - 397

EP - 410

JO - British Journal for the Philosophy of Science

JF - British Journal for the Philosophy of Science

SN - 0007-0882

IS - 3

ER -