An analysis of problematic dispositional predicates like 'soluble' is presented. The analysis attempts to combine cogent features of opposed previous analyses of Carnap and Bergmann, while avoiding problematic features of both. The suggestion that there is an ambiguity in negations of assertions of dispositional properties, and a consequent distinction between "not soluble" and "insoluble," lies at the core of the solution.

1. Introduction. Professor Nagel's account of the “cognitive status” of scientific theories has been attacked by P. K. Feyerabend [5] and M. B. Hesse [8] in terms of his alledgedly misguided distinction between experimental laws and theories. The difficulty lies, these critics agree, in Nagel's attempt to find a stable basis for scientific theories in an observational basis of experimental laws. Both Feyerabend and Hesse note the vacillation in Nagel's account of the stability of the meaning of experimental terms and (...) in his discussion of the status of observational as opposed to theoretical terms. They find Nagel too “positivistic” and see as a first step toward a more adequate account of scientific theories the abandonment of the theoretical-observational dichotomy as having more than a pragmatic significance. Nagel's discussion of the theoretical-observational dichotomy is, I agree, inadequate in certain respects. I shall, however, suggest a quite different remedy from those of Feyerabend and Hesse, one that depends neither on a phenomenalistic reduction of theoretical entities nor on a blurring of the theoretical-observational dichotomy. (shrink)

There are many ontologies of the world or of specific phenomena such as time, matter, space, and quantum mechanics1. However, ontologies of information are rather rare. One of the reasons behind this is that information is most frequently associated with communication and computing, and not with ‘the furniture of the world’. But what would be the nature of an ontology of information? For it to be of significant import it should be amenable to formalization in a logico-grammatical formalism. A candidate (...) ontology satisfying such a requirement can be found in some of the ideas of K. Turek, presented in this paper. Turek outlines the ontology of information conceived of as a part of nature, and provides the ‘missing link’ to the Z axiomatic set theory, offering a proposal for developing a formal ontology of information both in its philosophical and logicogrammatical representations. (shrink)