Online research in philosophy

In this essay I examine seven of the best-known attempts to define ‘sexual perversion’. I argue that if these definitions are meant to prescribe our use of ‘sexual perversion’, the definitions are really theoretical definitions, and none can be accepted because the arguments offered in support of the definitions are either incomplete or misdirected. Next, I argue that it is not possible to formulate a definition of ‘sexual perversion’ which captures our ordinary use of the term because common usage indicates that ‘sexual perversion’ is a cluster term. Finally, I consider whether it is possible to develop and defend a theoretical definition of ‘sexual perversion’. I argue that to succeed in this task one must first demonstrate that a particular theory of human nature is true, and that this cannot be done because human nature is an essentially contested concept.

Addressing such questions is a central challenge in explicating the cognitive role of indeterminacy. But there is little consensus in the literature about even such mundane questions as: what attitude to p is appropriate, when one knows that p is indeterminate'? This paper explores two answers, both built on a 'supervaluational' treatment of indeterminacy. The first is drawn out from David Lewis's discussion of Parfit on what matters in survival, and is a view where the indeterminacy of the identity relation between Alpha and Omega scales the concern Alpha should feel. The second is developed on the model of imprecise credence treatments of indeterminacy, and generates some interesting and suprisingly successful predictions about the forced march sorites.

Central to any form of Deflationism concerning truth (hereafter ‘DT’) is the claim that truth has no substantial theoretical role to play. For this reason, DT faces the following immediate challenge: if truth can play no substantial theoretical role then how can we model various prevalent kinds of indeterminacy—such as the indeterminacy exhibited by vague predicates, future contingents, liar sentences, truth-teller sentences, incomplete stipulations, cases of presupposition failure, and such-like? It is too hasty to assume that these phenomena are all to be modelled via some epistemic conception of indeterminacy whereby indeterminacy is just some special species of ignorance which arises because of our limited powers of discrimination. Some non-epistemic model is called for—at least for certain species of indeterminacy. On what is perhaps the most enduring and popular non-epistemic model, indeterminacy gives rise to truth-value gaps. But is DT compatible with the possibility of truth-value gaps? Compatibilism says Yes; Incompatibilism says No. The broad goal of this paper is to defend a form of Incompatibilism. If DT is to make sense of various kinds of indeterminacy then truth-value gaps cannot be invoked to do so. The particular goals of this paper are: (i) To set forth a new form of Compatibilism which can address an argument against truth-value gaps given by Williamson (1994, pp. 187-192). (ii) To offer a new argument against truth-value gaps using principles entailed by DT, thereby undermining Compatibilism.

In Zettel, Wittgenstein considered a modified version of Cantor’s diagonal argument. According to Wittgenstein, Cantor’s number, different with other numbers, is defined based on a countable set. If Cantor’s number belongs to the countable set, the definition of Cantor’s number become incomplete. Therefore, Cantor’s number is not a number at all in this context. We can see some examples in the form of recursive functions. The definition "f(a)=f(a)" can not decide anything about the value of f(a). The definiton is incomplete. The definition of "f(a)=1+f(a)" can not decide anything about the value of f(a) too. The definiton is incomplete.

According to Wittgenstein, the contradiction, in Cantor's proof, originates from the hidden presumption that the definition of Cantor’s number is complete. The contradiction shows that the definition of Cantor’s number is incomplete.

According to Wittgenstein’s analysis, Cantor’s diagonal argument is invalid. But different with Intuitionistic analysis, Wittgenstein did not reject other parts of classical mathematics. Wittgenstein did not reject definitions using self-reference, but showed that this kind of definitions is incomplete.

Based on Thomson’s diagonal lemma, there is a close relation between a majority of paradoxes and Cantor’s diagonal argument. Therefore, Wittgenstein’s analysis on Cantor’s diagonal argument can be applied to provide a unified solution to paradoxes.

This paper contains a discussion of Quine's thesis of indeterminacy of translation within the more general thesis that using and understanding a language are to be conceived of as a creative and interpretative-constructional activity. Indeterminacy is considered to be ineliminable. Three scenarios are distinguished concerning, first, the reasons for indeterminacy, second, the kinds of indeterminacy and, third, different levels of a general notion of recursive interpretation. Translational hypotheses are seen as interpretational constructs. The indeterminacy thesis turns out to be a consequence of the externalizing of language, meaning, and epistemology. By means of a three-leveled interpretation model one can substantiate the crucial aspects, first, that indeterminacy is not an indeterminacy of facts of the matter and, second, that there is a significant difference between indeterminacy and underdetermination. In addition, the relationship between indeterminacy, interpretation, and charity is elucidated. Indeterminacy is seen not as an obstacle to but as a condition for communication. Charity and empathy in dialogue are conditional upon indeterminacy. All three components reveal the interpretative-constructional character of the inseparable connection of meaning and experience.

A recent theory of metaphysical indeterminacy says that metaphysical indeterminacy is multiple actuality: there is metaphysical indeterminacy when there are many ‘complete precisifications of reality’. But it is possible for there to be metaphysical indeterminacy even when it is impossible to precisify reality completely. The orthodox interpretation of quantum mechanics illustrates this possibility. So this theory of metaphysical indeterminacy is not adequate.

The problem addressed is that of finding a sound characterization of ambiguity. Two kinds of characterizations are distinguished: tests and definitions. Various definitions of ambiguity are critically examined and contrasted with definitions of generality and indeterminacy, concepts with which ambiguity is sometimes confused. One definition of ambiguity is defended as being more theoretically adequate than others which have been suggested by both philosophers and linguists. It is also shown how this definition of ambiguity obviates a problem thought to be posed by ambiguity for truth theoretical semantics. In addition, the best known test for ambiguity, namely the test by contradiction, is set out, its limitations discussed, and its connection with ambiguity's definition explained. The test is contrasted with a test for vagueness first proposed by Peirce and a test for generality propounded by Margalit.

Any system based on axioms is incomplete because the axioms cannot be proven from the system, just believed. But one system can be less-incomplete than other. Neutrosophy is less-incomplete than many other systems because it contains them. But this does not mean that it is finished, and it can always be improved. The comments presented here are an attempt to make Neutrosophy even less-incomplete. I argue that less-incomplete ideas are more useful, since we cannot perceive truth or falsity or indeterminacy independently of a context, and are therefore relative. Absolute being and relative being are defined. Also the "silly theorem problem" is posed, and its partial solution described. The issues arising from the incompleteness of our contexts are presented. We also note the relativity and dependance of logic to a context. We propose "metacontextuality" as a paradigm for containing as many contexts as we can, in order to be less-incomplete and discuss some possible consequences.

The main puzzle about theoretical definitions is that nothing seems to decide which assumptions contribute to such definitions and which do not. I argue that theoretical definitions are indeed imprecise, but that this does not normally matter, since the definitional imprecision does not normally produce indeterminacy of referential value. Sometimes, however, the definitional imprecision is less benign, and does generate referential indeterminacy. In these special cases, but not otherwise, it is necessary to refine the term's definition.

A plausible thought about vagueness is that it involves semantic incompleteness. To say that a predicate is vague is to say (at the very least) that its extension is incompletely specified. Where there is incomplete specification of extension there is indeterminacy, an indeterminacy between various ways in which the specification of the predicate might be completed or sharpened. In this paper we show that this idea is bound to founder by presenting an argument to the effect that there are vague predicates which cannot be sharpened in such a way as to meet certain basic constraints (of penumbral connection and public accessibility) that must be imposed on the very notion of a sharpening.