Resolving conflicts between different measurements ofa property of a physical system may be a key step in a discoveryprocess. With the emergence of large-scale databases and knowledgebases with property measurements, computer support for the task ofconflict resolution has become highly desirable. We will describe amethod for model-based conflict resolution and the accompanyingcomputer tool KIMA, which have been applied in a case-study inmaterials science. In order to be a useful aid to scientists, the toolneeds to be integrated with other tools in (...) a computer-supporteddiscovery environment. We will give an outline of such acomputer-supported discovery environment and argue that its use mightlead to new ways of doing science, so-called computer regimes. (shrink)

This paper considers Peirce's striking remarks about mathematics in a little-known review of Spinoza's Ethics within the larger context of his philosophy of mathematics. It argues that, for Peirce, true mathematical reasoning is always at the vanguard of thought, and resists logical demonstration. Through diagrammatic thought and her pre-theoretical innate faculty of logica utens, the great mathematician is able to see a theorem as true long before the logical apparatus necessary to demonstrate its truth exists. For Peirce, true mathematical thought (...) is in some sense pre-logical, and thus, the logical demonstration of this thought in the form of mathematical proofs is in fact "merely a veil over the living thought.". (shrink)

This paper considers Peirce's striking remarks about mathematics in a little-known review of Spinoza's Ethics within the larger context of his philosophy of mathematics. It argues that, for Peirce, true mathematical reasoning is always at the vanguard of thought, and resists logical demonstration. Through diagrammatic thought and her pre-theoretical innate faculty of logica utens, the great mathematician is able to see a theorem as true long before the logical apparatus necessary to demonstrate its truth exists. For Peirce, true (theoremic) mathematical (...) thought is in some sense pre-logical, and thus, the logical demonstration of this thought in the form of mathematical proofs is in fact "merely a veil over the living thought.". (shrink)