There are many ways of construing the claim that some categories are more “natural" than others. One can ask whether a system of categories is innate or acquired by learning, whether it pertains to a natural phenomenon or to a social institution, whether it is lexicalized in natural language or requires a compound linguistic expression. This renders suspect any univocal answer to this question in any particular case. Yet another question one can ask, which some authors take to have a (...) bearing on the issue of the naturalness of categories, is whether a system of categories constitutes a unique way of organizing a particular set of entities or phenomena, or whether there are other legitimate classification schemes that can coexist with it. Another way of putting this is by asking whether systems of categories can cut across one another, and if so, under what circumstances. Some philosophers have claimed that crosscutting systems of categories cannot exist as genuine natural kinds. This paper examines that claim and puts forward some counterexamples, concluding that this notion of natural kind is not in tune with scientific classification and ought to be rejected in favor of an alternative. (shrink)

The Philosophical search for Natural Kinds is motivated by the hope of finding ontological categories that are independent of our interests. Other requirements, of varying importance, are commonly made of kinds that claim to be natural. But no such categories are to be found. Virtually any kind can be termed ‘natural’ relative to some set of interests and epistemic priorities. Science determines those priorities at any particular stage of its progress, and what kinds are most ‘natural’ in that sense is (...) always a real and lively scientific question. The general philosophical problem of scientific realism is also real; but between the scientific and the metaphysical, the ‘Problem of Natural Kinds’ sits otiose. (shrink)

According to Moore, his argument meets three conditions for being a proof: first, the premiss is different from the conclusion; second, he knows the premiss to be the case; and, third, the conclusion follows deductively.2 Further conditions may be required, but he evidently thinks his proof would satisfy these as well. As Moore is well aware, many philosophers will feel he has not given “...any satisfactory proof of the point in question."3 Some, he believes, will want the premiss itself proved. (...) But he has.. (shrink)

The author believes that large‐scale rationality on the part of the interpretant is essential to his interpretability, and therefore, in his view, to her having a mind. How, then are cases of irrationality, such as akrasia or self‐deception, judged by the interpretant's own standards, possible? He proposes that, in order to resolve the apparent paradoxes, one must distinguish between accepting a contradictory proposition and accepting separately each of two contradictory propositions, which are held apart, which in turn requires to conceive (...) of the mind as containing a number of semi‐independent structures of interlocking beliefs, desires, emotions, memories, and other mental states. (shrink)

There are two main routes to a concept of (generalized) quantifier. The first starts from first‐order logic, FO, and generalizes from the familiar ∀ and ∃ occurring there. The second route begins with real languages, and notes that many so‐called noun phrases, a kind of phrase which occurs abundantly in most languages, can be interpreted in a natural and uniform way using quantifiers.

In this paper I suggest that the division between manas and atman in Nyaya philosophy can be interpreted in the light of Western discussions about irrationality. In Western philosophy irrationality has been explained by postulating a divided mind. This helps to account for a generally rational mind that is nevertheless sometimes prone to irrationality. I argue that the division of the mind bears similarities to the division between manas and tman. Looking at the arguments of the Naiy yikas Gautama and (...) V tsy yana for the existence of a permanent self, I do not find any of them convincing in the light of Buddhist criticism. However, by arguing for the division between manas and tman, the Naiy yikas have inadvertently provided their strongest argument for the existence of a self because they have managed to account for irrationality. (shrink)

The aim of this paper is to present the Nyāya concept of number in the light of contemporary philosophy and to show that the Frege-Russell concept of number does not contradict the Nyāya concept of number but rather supplements it.

A computational theory of induction must be able to identify the projectible predicates, that is to distinguish between which predicates can be used in inductive inferences and which cannot. The problems of projectibility are introduced by reviewing some of the stumbling blocks for the theory of induction that was developed by the logical empiricists. My diagnosis of these problems is that the traditional theory of induction, which started from a given (observational) language in relation to which all inductive rules are (...) formulated, does not go deep enough in representing the kind of information used in inductive inferences. As an interlude, I argue that the problem of induction, like so many other problems within AI, is a problem of knowledge representation. To the extent that AI-systems are based on linguistic representations of knowledge, these systems will face basically the same problems as did the logical empiricists over induction. In a more constructive mode, I then outline a non-linguistic knowledge representation based on conceptual spaces. The fundamental units of these spaces are "quality dimensions". In relation to such a representation it is possible to define "natural" properties which can be used for inductive projections. I argue that this approach evades most of the traditional problems. (shrink)

One of the aims of this paper is to discuss the different senses of the term 'existence' as used by the nyaya philosophers. this discussion leads us to a discussion on absence or negation and its role in logic. a discussion on empty terms has also been introduced in this context. according to the nyaya, existence, knowability and nameability are considered as universal properties. the distinction between these universal properties has been discussed in this context. i have also discussed the (...) question whether the nyaya has used redundant terms in designating the same imposed property by using three different terms. a distinction between different senses of the term 'property' has also been discussed in this context. (shrink)