|
?Drawing Illusions? ? a case study in the incorrectness of diagrammatic reasoning |
Lemon, Oliver
|
|
|
|
TCD-CS-1999-17 In ?Something to Reckon With? [6], a system for diagramming syllogistic
inferences using straight line segments is presented (see also Englebretsen
[5]). In the light of recent research on the representational power of diagrammatic
representation systems (Lemon and Pratt [12, 13]) we point
out some problems with the proposal, and indeed, with any proposal for
representing logically possible situations diagrammatically. We shall first
outline the proposed linear diagrammatic system of Englebretsen [5], and
then show by means of counterexamples that it is inadequate as a representation
scheme for general logical inferences (the task for which the system
is intended). We also show that modifications to the system fail to remedy
the problems. The considerations we present are not limited to the particular
proposals of Englebretsen [5, 6]; we thus draw a more general moral
about the use of spatial relations in representation systems.
|
|
Keyword(s):
|
Computer Science |
Publication Date:
|
1999 |
|
Type:
|
Report |
|
Peer-Reviewed:
|
Unknown |
|
Language(s):
|
English |
|
Institution:
|
Trinity College Dublin |
|
Citation(s):
|
Lemon, Oliver. '?Drawing Illusions? ? a case study in the incorrectness of diagrammatic reasoning'. - Dublin, Trinity College Dublin, Department of Computer Science, TCD-CS-1999-17, 1999, pp19 |
|
Publisher(s):
|
Trinity College Dublin, Department of Computer Science |
|
File Format(s):
|
application/pdf |
|
First Indexed:
2014-05-13 05:12:02 Last Updated:
2015-04-10 05:14:09 |
