Online research in philosophy

theory of knowledge defended in Timothy Williamson's book Knowledge and its Limits is compared here with the theory defended in the author's articles ‘How Knowledge Works’ and ‘Knowledge and Self-Knowledge’. It is argued that there are affinities between these theories, but that the latter has considerably more explanatory power.

Popper emphasised both the problem-solving nature of human knowledge, and the need to criticise a scientific theory as strongly as possible. These aims seem to contradict each other, in that the former stresses the problems that motivate scientific theories while the one ignores the character of the problems that led to the formation of the theories against which the criticism is directed. A resolution is proposed in which problems as such are taken as prime in the search for knowledge, and subject to discussion. This approach is then applied to the problem of induction. Popper set great stake to his solution of it, but others doubted its legitimacy, in ways that are clarified by changing the form of the induction problem itself. That change draws upon logic, which is the subject of another application: namely, in contrast to Popper’s adhesion to classical logic as the only welcome form (because of the maximal strength of criticism that it dispenses), can other logics be used without abandoning his philosophy of criticism?

Attacks on ?closest continuer? and ?best candidate? theories of identity have something correct in them while still failing to discredit the theories they oppose. What follows from Noonan's and Wiggins's objections to such theories is that they need to be so formulated as not to deny the necessity of identity. The best metaphysics for best?candidate theories to adopt is one in which everyday objects are taken to transcend, in a certain sense, their life histories in given worlds. This metaphysics also has the potential for solving problems about contingent identity, transworld identity, and the issue of haecceitism or individual essence. To develop the metaphysics, it is only necessary to follow through the analogy between worlds and times suggested by writers like Plantinga and Schlesinger.

The Metaphysics of Knowledge presents the thesis that knowledge is an absolutely fundamental relation, with an indispensable role to play in metaphysics, philosophical logic, and philosophy of mind and language. Knowledge has been generally assumed to be a propositional attitude like belief. But Keith Hossack argues that knowledge is not a relation to a content; rather, it a relation to a fact. This point of view allows us to explain many of the concepts of philosophical logic in terms of knowledge. Hossack provides a theory of facts as structured combinations of particulars and universals, and presents a theory of content as the property of a mental act that determines its value for getting knowledge. He also defends a theory of representation in which the conceptual structure of a content is taken to picture the fact it represents. This permits definitions to be given of reference, truth, and necessity in terms of knowledge. Turning to the metaphysics of mind and language, Hossack argues that a conscious state is one that is identical with knowledge of its own occurrence. This allows us to characterize subjectivity, and, by illuminating the "I"-concept, allows us to gain a better understanding of the concept of a person. Language is then explained in terms of knowledge, as a device used by a community of persons for exchanging knowledge by testimony. The Metaphysics of Knowledge concludes that knowledge is too fundamental to be constituted by something else, such as one's functional or physical state; other things may cause knowledge, but do not constitute it.

Knowledge and Civilization advances detailed criticism of philosophy's usual approach to knowledge and describes a redirection, away from textbook problems of epistemology, toward an ecological philosophy of technology and civilization. Rejecting theories that confine knowledge to language or discourse, Allen situates knowledge in the greater field of artifacts, technical performance, and human evolution. His wide ranging considerations draw on ideas from evolutionary biology, archaeology, anthropology, and the history of cities, art, and technology.

A situated agent is one which operates within an environment. In most cases, the environment in which the agent exists will be more complex than the agent itself. This means that an agent, human or artificial, which wishes to carry out non-trivial operations in its environment must use techniques which allow an unbounded world to be represented within a cognitively bounded agent. We present a brief description of some important theories within the fields of epistemology and metaphysics. We then discuss ways in which philosophical problems of scepticism are related to the problems faced by knowledge representation. We suggest that some of the methods that philosophers have developed to address the problems of epistemology may be relevant to the problems of representing knowledge within artificial agents.

Philosophy of science is seen by most as a meta-discipline – one that takes science as its subject matter, and seeks to acquire knowledge and understanding about science without in any way affecting, or contributing to, science itself. Karl Popper’s approach is very different. His first love is natural philosophy or, as he would put it, cosmology. This intermingles cosmology and the rest of natural science with epistemology, methodology and metaphysics. Paradoxically, however, one of his best known contributions, his proposed solution to the problem of demarcation, helps to maintain the gulf that separates science from metaphysics, thus fragmenting cosmology into falsifiable science on the one hand, untestable philosophy on the other. This has damaging repercussions for a number of issues Popper tackles, from the problem of induction to simplicity of theory and quantum theory. But his proposed solution to the demarcation problem is untenable. Metaphysical assumptions are an integral part of scientific knowledge, inherent in the persistent acceptance of unified theories against the evidence. Once this is appreciated, it becomes obvious that natural philosophy, a synthesis of science and philosophy, is both more rigorous and of greater intellectual value than the two dissociated components we have today. What Popper sought for could come to full fruition. Problems that Popper tackled, from the problem of induction, to the problem of unity of theory, problems of quantum theory, and problems concerning the scope and limits of physics, all receive more adequate resolution within the new, fully-fledged natural philosophy.

It has become increasingly popular to suggest that non-individualistic theories of content undermine our purported a priori knowledge of such contents because they entail that we lack the ability to distinguish our thoughts from alternative thoughts with different contents. However, problems relating to such knowledge of 'comparative' content tell just as much against individualism as non-individualism. Indeed, the problems presented by individualistic theories of content for self-knowledge are at least, if not more, serious than those presented by non-individualistic theories. Consequently, considerations of self-knowledge give one no reason to embrace individualism. If anything, they give one reason to reject it.

Scientific discourse leaves implicit a vast amount of knowledge, assumes that this background knowledge is taken into account – even taken for granted – and treated as undisputed. In particular, the terminology in the empirical sciences is treated as antecedently understood. The background knowledge surrounding a theory is usually assumed to be true or approximately true. This is in sharp contrast with logic, which explicitly ignores underlying presuppositions and assumes uninterpreted languages. We discuss the problems that background knowledge may cause for the formalization of scientific theories. In particular, we will show how some of these problems can be addressed in the context of the computational representation of scientific theories.