May 19, 2011

PAGE 17

 Understood in this way, Strawsons response to the problem of inductive reasoning does not speak to the central issue raised by Humean scepticism (1919-2006): The issue of whether the conclusions of inductive arguments are likely to be true. It amounts to saying merely that if we reason in this way, we can correctly call ourselves reasonable and our evidence strong, according to our accepted community standards. Nevertheless, to the undersealing of issue of wether following these standards is a good way to find the truth, the ordinary language response appears to have nothing to say.
   (3) The main attempts to show that induction can be justified inductively have concentrated on showing that such as a defence can avoid circularity. Skyrms (1975) formulate, perhaps the clearest version of this general strategy. The basic idea is to distinguish different levels of inductive argument: A first level in which induction is applied to things other than arguments: A second level in which it is applied to arguments at the first level, arguing that they have been observed to succeed so far and hence are likely to succeed in general: A third level in which it is applied in the same way to arguments at the second level, and so on. Circularity is allegedly avoided by treating each of these levels as autonomous and justifying the argument at each level by appeal to an argument at the next level.
 One problem with this sort of move is that even if circularity is avoided, the movement to Higher and Higher levels will clearly eventually fail simply for lack of evidence: A level will reach at which there have been enough successful inductive arguments to provide a basis for inductive justification at the next Higher level, and if this is so, then the whole series of justifications collapses. A more fundamental difficulty is that the epistemological significance of the distinction between levels is obscure. If the issue is whether reasoning in accord with the original schema offered above ever provides a good reason for thinking that the conclusion is likely to be true, then it still seems question-begging, even if not flatly circular, to answer this question by appeal to anther argument of the same form.
   (4) The idea that induction can be justified on a pure priori basis is in one way the most natural response of all: It alone treats an inductive argument as an independently cogent piece of reasoning whose conclusion can be seen rationally to follow, although perhaps only with probability from its premise. Such an approach has, however, only rarely been advocated (Russell, 1913 and BonJour, 1986), and is widely thought to be clearly and demonstrably hopeless.
 Many on the reasons for this pessimistic view depend on general epistemological theses about the possible or nature of anticipatory cognition. Thus if, as Quine alleges, there is no a prior justification of any kind, then obviously a prior justification for induction is ruled out. Or if, as more moderate empiricists have in claiming some preexistent knowledge should be analytic, then again a prevenient justification for induction seems to be precluded, since the claim that if an inductive premise is truer, then the conclusion is likely to be true does not fit the standard conceptions of analyticity. A consideration of these matters is beyond the scope of the present spoken exchange.
 There are, however, two more specific and quite influential reasons for thinking that an early approach is impossible that can be briefly considered, first, there is the assumption, as having a firm conviction in the reality of something as having no doubt about or to be held of the belief that takes at ones word for believing that Hume adopted, and by very many of others, that a move forward the defence of induction would have to involve turning induction into deduction, i.e., showing, perhaps, the impossible, that the inductive conclusion follows deductively from the premise, so that it is a formal contradiction to accept the latter and deny the former. However, it is unclear why a prior approach need be committed to anything this strong. It would be enough if it could be argued that it is deductively unlikely that such a premise is true and corresponding conclusion false.
 Second, Reichenbach defends his view that pragmatic justification is the best that is possible by pointing out that a completely chaotic world in which there is simply not true conclusion to be found as to the proportion of A’s in additions that occur of, but B's is neither impossible nor unlikely from a purely a prior standpoint, the suggestion being that therefore there can be no a prior reason for thinking that such a conclusion is true. Nevertheless, there is still a substring way in laying that a chaotic world is a prior neither impossible nor unlikely without any further evidence does not show that such a world os not a prior unlikely and a world containing such-and-such regularity might anticipatorially be somewhat likely in relation to an occurrence of a long running pattern of evidence in which a certain stable proportion of observed A’s are B's ~. Of an unaffected case, it might be claimed, that would be highly unlikely in a chaotic world (BonJour, 1986).
 Goodmans modernistic riddles recently came into existence or be a user of a particular state or relation in induction, for which purports that we suppose that before some specific time t (perhaps the year 2000) we observe a larger number of emeralds (property A) and find them all to be green (property B). We proceed to reason inductively and conclude that all emeralds are green Goodman points out, however, that we could have drawn a quite different conclusion from the same evidence. If we define the term grue to mean green if examined before ‘t’ and, blue examined after ‘t’, then all of our observed emeralds will also be gruing.  A parallel inductive argument will yield the conclusion that all emeralds are gruing, and hence that all those examined after the year 2010 will be blue. Presumably the first of these concisions is genuinely supported by our observations and the second is not.  Nevertheless, the problem is to say why this is so and to impose some further restriction upon inductive reasoning that will permit the first argument and exclude the second.
 The obvious alternative suggestion is that grue.  Similar predicates do not correspond to genuine, purely qualitative properties in the way that green and blueness does, and that this is why inductive arguments involving them are unacceptable. Goodman, however, claims to be unable to make clear sense of this suggestion, pointing out that the relations of formal desirability are perfectly symmetrical: Grue maybe defined in terms if, green and blue, but green an equally well be defined in terms of gruing and green (blue if examined before t and green if examined after t).
 The gruing paradoxes demonstrate the importance of categorization, in that sometimes it is itemized as gruing, if examined of a presence to the future, before future time t and green, or not so examined and blue. Even though all emeralds in our evidence class grue, we ought must infer that all emeralds are gruing. For gruing is unprojectible, and cannot transmit credibility from known to unknown cases. Only projectable predicates are right for induction. Goodman considers entrenchment the key to projectibility having a long history of successful protection, grues is entrenched, lacking such a history, grues is not. A hypothesis is projectable, Goodman suggests, only if its predicates (or suitable related ones) are much better entrenched than its rivalrous past successes that do not assume future ones. Induction remains a risky business. The rationale for favouring entrenched predicates is pragmatic. Of the possible projections from our evidence class, the one that fits with past practices enables us to utilize our cognitive resources best. Its prospects of being true are worse than its competitors and its cognitive utility is greater.
 So, to a better understanding of induction we should be then literaturized its term for which is most widely used for any process of reasoning that takes us from empirical premises to empirical conclusions supported by the premises, but not deductively entailed by them. Inductive arguments are therefore kinds of applicative arguments, in which something beyond the content of the premise is inferred as probable or supported by them. Induction is, however, commonly distinguished from arguments to theoretical explanations, which share this applicative character, by being confined to inferences in which he conclusion involves the same properties or relations as the premises. The central example is induction by simple enumeration, where from premises telling that Fa, Fb, Fc . . . where a, b, c’s, are all of some kind G, it is inferred that G's from outside the sample, such as future G's, will be F, or perhaps that all G's are F. In this, which and the other persons deceive them, children may infer that everyone is a deceiver: Different, but similar inferences of a property by some object to the same objects future possession of the same property, or from the constancy of some law-like pattern in events and states of affairs ti its future constancy. All objects we know of attract each other with a force inversely proportional to the square of the distance between them, so perhaps they all do so, and will always do so.
 The rational basis of any inference was challenged by Hume, who believed that induction presupposed belief in the uniformity of nature, but that this belief has no defence in reason, and merely reflected a habit or custom of the mind. Hume was not therefore sceptical about the role of reason in either explaining it or justifying it. Trying to answer Hume and to show that there is something rationally compelling about the inference referred to as the problem of induction. It is widely recognized that any rational defence of induction will have to partition well-behaved properties for which the inference is plausible (often called projectable properties) from badly behaved ones, for which it is not. It is also recognized that actual inductive habits are more complex than those of similar enumeration, and that both common sense and science pay attention to such giving factors as variations within the sample giving us the evidence, the application of ancillary beliefs about the order of nature, and so on.
 Nevertheless, the fundamental problem remains that and experience condition by application shows us only events occurring within a very restricted part of a vast spatial and temporal order about which we then come to believe things.
 Uncompounded by its belonging of a confirmation theory finding of the measure to which evidence supports a theory fully formalized confirmation theory would dictate the degree of confidence that a rational investigator might have in a theory, given some visual object or a body of evidence. The grandfather of confirmation theory is Gottfried Leibniz (1646-1718), who believed that a logically transparent language of science would be able to resolve all disputes. In the 20th century a fully formal confirmation theory was a main goal of the logical positivist, since without it the central concept of verification by empirical evidence itself remains distressingly unscientific. The principal developments were due to Rudolf Carnap (1891-1970), culminating in his Logical Foundations of Probability (1950). Carnaps idea was that the measure necessitated would be the proportion of logically possible states of affairs in which the theory and the evidence both hold, and compared to the number in which the evidence itself holds that the probability of a preposition, relative to some evidence, is a proportion of the range of possibilities under which the proposition is true, compared to the total range of possibilities left by the evidence. The difficulty with the theory lies in identifying sets of possibilities so that they admit of measurement. It therefore demands that we can put a measure on the range of possibilities consistent with theory and evidence, compared with the range consistent with the evidence alone.
 Among the obstacles the enterprise meets, is the fact that while evidence covers only a finite range of data, the hypotheses of science may cover an infinite range. In addition, confirmation proves to vary with the language in which the science is couched, and the Carnapian programme has difficulty in separating genuinely confirming variety of evidence from less compelling repetition of the same experiment. Confirmation also proved to be susceptible to acute paradoxes. Finally, scientific judgement seems to depend on such intangible factors as the problems facing rival theories, and most workers have come to stress instead the historically situated scene of what would appear as a plausible distinction of a scientific knowledge at a given time.
 The paradox of which when a set of apparent incontrovertible premises is given to unacceptable or contradictory conclusions. To solve a paradox will involve showing either that there is a hidden flaw in the premises, or that the reasoning is erroneous, or that the apparently unacceptable conclusion can, in fact, be tolerated. Paradoxes are therefore important in philosophy, for until one is solved it shows that there is something about our reasoning and our concepts that we do not understand. What is more, and somewhat loosely, a paradox is a compelling argument from unacceptable premises to an unacceptable conclusion: More strictly speaking, a paradox is specified to be a sentence that is true if and only if it is false. A characterized objection lesson of it would occupy a certain arrangement: The displayed sentence is false.
 Seeing that this sentence is false if true is easy, and true if false, a paradox, in either of the senses distinguished, presents an important philosophical challenger. Epistemologists are especially concerned with various paradoxes having to do with knowledge and belief. In other words, for example, the Knower paradox is an argument that begins with apparently impeccable premisses about the concepts of knowledge and inference and derives an explicit contradiction. The origin of the reasoning is the surprise examination paradox: A teacher announces that there will be a surprise examination next week. A clever student argues that this is impossible. The test cannot be on Friday, the last day of the week, because it would not be a surprise. We would know the day of the test is on Thursday evening, whereby this means we can also rule out Thursday, after-all we learn that no test was being given by Wednesday, we would know the test is on Thursday or Friday - and would already know that it s not on Friday and would already know that it is not on Friday by the previous reasoning. The remaining days can be eliminated in the same manner.
 This puzzle has over a dozen variants, the first was probably invented by the Swedish mathematician Lennard Ekbon in 1943, although the first few commentators regarded the reverse elimination argument as cogent, every writer on the subject since 1950 agrees that the argument is unsound. The controversy has been over the proper diagnosis of the flaw.
 Initial analyses of the subjects argument tried to lay the blame on a simple equivocation. Their failure led to more sophisticated diagnoses. The general format has been an assimilation to better-known paradoxes. One tradition casts the surprise examination paradox as a self-referential problem, as fundamentally akin to the Liar, the paradox of the Knower, or Gödels incompleteness theorem. That in of itself, says enough that Kaplan and Montague (1960) distilled the following self-referential paradox, the Knower. Consider the sentence: (S) The negation of this sentence is known (to be true).
 Suppose that (S) is true. Then its negation is known and hence true. However, if its negation is true, then (S) must be false. Therefore (s) is false, or what is the name, the negation of (S) is true.
 This paradox and its accompanying reasoning are strongly reminiscent of the Lair Paradox that (in one version) begins by considering a sentence.  This sentence is false and derives a contradiction. Versions of both arguments using axiomatic formulations of arithmetic and the Gödel-numbers to obtainably achieve the effect of self-reference yields important meta-theorems about what can be expressed in such systems, which are to the effect that no predicates definable in the formalized arithmetic can have the properties we demand of truth (Tarskis Theorem) or of knowledge (Montague, 1963).
 These meta-theorems still leave us with the problem that if we suppose that we add of these formalized languages that predicate of the  intended reasons to express the concept of knowledge (or truth) and  the inference - as one might, if a logic of these concepts is so desired. Then the sentence expressing the leading principles of the Knower Paradox will be true.
Expressed in the pronouncing assumption about knowledge and the inferences are as such that seem as:
  (1) If sentences A are known, then a.
  (2) (1) is known?
(3) If B is correctly inferred from A, and A is known, then B is known.
To give an absolutely explicit  derivation of the paradox by applying these principles to (S), we must add (contingent) assumptions to the effect that certain inferences have been done. Still, as we go through the argument of the Knower, these inferences are done. Even if we can somehow restrict such principles and construct a consistent formal logic of knowledge and inference, the paradoxical argument as expressed in the natural language still demands some explanation.
 The usual proposals for dealing with the Liar often have their analogues for the Knower, e.g., that there is something wrong with a self-reference or that knowledge (or truth) is properly a predicate of propositions and not of sentences. The reliability that shows that some of these are not adequate is often parallel to those for the Liar paradox. In addition, one can try here what seems to be an adequate solution for the Surprise Examination Paradox, namely the observation that new knowledge can drive out knowledge, but this does not seem to work on the Knower (Anderson, 1983).
 There are a number of paradoxes of the Liar family. The simplest example is the sentence.  This sentence is false, which must be false if it is true, and true if it is false. One suggestion is that the sentence fails to say anything, but sentences that fail to say anything are at least not true. In fact case, we consider to sentences.  This sentence is not true, which, if it fails to say anything is not true, and hence (this kind of reasoning is sometimes called the strengthened Liar). Other versions of the Liar introduce pairs of sentences, as in a slogan on the front of a T-shirt saying.  This sentence on the back of this T-shirt is false, and one on the back saying.  The sentence on the front of this T-shirt is true. It is clear that each sentence individually is well formed, and was it not for the other, might have said something true. So any attempt to dismiss the paradox by settling in that of the sentence involved are meaningless will face problems.
 Even so, the two approaches that have some hope of adequately dealing with this paradox is hierarchy solutions and truth-value gap solutions. According to the first, knowledge is structured into levels. It is argued that there be one-careened notion expressed by the verb; knows, but rather a whole series of notions, of the knowable knows, and so on (perhaps into transfinite), stated ion terms of predicate expressing such ramified concepts and properly restricted, (1)-(3) lead to no contradictions. The main objections to this procedure are that the meaning of these levels has not been adequately explained and that the idea of such subscripts, even implicit, in a natural language is highly counterintuitive the truth-value gap solution takes sentences such as (S) to lack truth-value. They are neither true nor false, but they do not express propositions. This defeats a crucial step in the reasoning used in the derivation of the paradoxes. Kripler (1986) has developed this approach in connexion with the Liar and Asher and Kamp (1986) has worked out some details of a parallel solution to the Knower. The principal objection is that strengthened or super versions of the paradoxes tend to reappear when the solution itself, has made one’s way of unequivocally been reinstated.
 Since the paradoxical deduction uses only the properties (1)-(3) and since the argument is formally valid, any notion that satisfies these conditions will lead to a paradox. Thus, Grim (1988) notes that this may be read as is known by an omniscient God and concludes that there is no careened single notion of omniscience. Thomason (1980) observes that with some different conditions, analogous reasoning about belief can lead to paradoxical consequence.
 Overall, it looks as if we should conclude that knowledge and truth are ultimately intrinsically stratified concepts. It would seem that we must simply accept the fact that these (and similar) concepts cannot be assigned of any-particularly fixed, finite or infinite. Still, the meaning of this idea certainly needs further clarification.
 Its paradox arises when a set of apparently incontrovertible premises gives unacceptable or contradictory conclusions, to solve a paradox will involve showing either that there is a hidden flaw in the premises, or that the reasoning is erroneous, or that the apparently unacceptable conclusion can, in fact, be tolerated. Paradoxes are therefore important in philosophy, for until one is solved its shows that there are something about our reasoning and of concepts that we do not understand. Famous families of paradoxes include the semantic paradoxes and Zeno’s paradoxes. Art the beginning of the twentieth century, paradox and other set-theoretical paradoxes led to the complete overhaul of the foundations of set theory, while the Sorites paradox has lead to the investigations of the semantics of vagueness and fuzzy logics, this seems to lead to the absurd condition that tadpoles that turn with dynamic processes, into a gradual evolution as bringing forthwith a frog. But most response to this paradox attempt to deny the major premise, the one corresponding to the claim that if you cannot make a heap with a singular grain, and then you cannot make a heap with n + 1. The difficulty is that the negation of this premise is equivalent in classical logic, to the proposition that there is a sharp cutoff that, e.g., there is some number n of grains that are not enough to make a heap, where n + 1 is enough to make a heap. The claim of a sharp cutoff may not be so very implausible for heaps, perhaps for things like grains of sand, four is the smallest number which can be formed into a heap, but is very implausible for colours and tadpoles.
 As a rhetorical discourse in dialectic awareness, such is to bed for the consisting of categorical proposition that can be represented as or, decomposed into a sequence of categorical syllogisms such that the conclusion of each syllogism except the last one in the sequence as a premise of the next syllogism in the sequence. An example is, All cats are felines, and, all felines are mammals, as all mammals are warm-blooded animals, therefore, all cats are warm-blooded animals. This Sorites may be viewed as composed of the two syllogisms. All casts are felines: All felines are mammals, therefore, all cats are mammals, and, all cats are mammals, and, all mammals are arm-blooded animals. A Sorites is valid if and only if each categorical syllogism into which it decomposes is valid. In the example, the Sorites decompose is valid. Again, the Sorites decomposition into two syllogisms in the mood, as Barbara, since any syllogism in Barbara is valid, the Sorites is valid.
 It is, however, to what extent can analysis be informative? This is the question that gives a riser to what philosophers has traditionally called the paradox of analysis. Thus, consider the following proposition:
 (1) To be an instance of knowledge is to be an instance of justified true belief not essentially grounded in any falsehood. (1) If true, illustrates an important type of philosophical analysis. For convenience of exposition, I will bear as the viewer to (1) is a correct analysis. The paradox arises from the fact that if the concept of justified true belief not been essentially grounded in any falsification is the analysand of the concept of knowledge, it would seem that they are the same concept and hence that: (2) To be an instance of knowledge is to be as an instance of knowledge and would have to be the same propositions as (1). But then how can (1) be informative when (2) is not? This is what is called the first paradox of analysis. Classical writing on analysis suggests a second paradoxical analysis (Moore, 1942).
(3) An analysis occupying the concept for being a brother is that to be a brother is to be a male sibling. If (3) is true, it would seem  that the concept of being a brother would have to be the same concept as the concept of being a male sibling and tat:
 (4) An analysis of the concept of being a brother is that to be a brother is to be a brother would also have to be true and in fact, would have to be the same proposition as (3?). Yet (3) is true and (4) is false.
 Both these paradoxes rest upon the assumptions that analysis is a relation between concepts, than one involving entity of other sorts, such as linguistic expressions, and tat in a true analysis, analysand and analysandum are the same concepts. Both these assumptions are explicit in Moore, but some of the writing that Moore hints at, is a solution to that of another statement of an analysis is a statement partly about the concept involved and partly absolute in the expressions used to express it. He says he thinks a solution of this sort is bound to be right, but fails to suggest one because he cannot see a way in which the analysis can be even partly about the expression (Moore, 1942).
  Elsewhere, of such ways, as a solution to the second paradox, to which is exemplified of (3) As, (5) - an analysis is given by saying that the verbal exclamation ‘χ’ is a brother, and expresses the same concept as it is expressed by the conjunction of the verbal expressions ‘χ’, in that of a male when used to express the concept of being male and ‘χ’, wherefore, a sibling when used to express the concept of being a sibling. (Ackerman, 1990). An important point about (5) is as follows. Stripped of its philosophical jargon (analysis, concept, ‘χ’ is a . . . ), (5) seems to state the sort of information generally stated in a definition of the verbal expression brother in terms of the verbal expressions male and sibling, where this definition is designed to draw upon listeners antecedent understanding of the verbal expression male and sibling, and thus, to tell listeners what the verbal expression brother really means, instead of merely providing the information that two verbal expressions are synonymous without specifying the meaning of either one. Thus, its solution to the second paradox seems to make the sort of analysis tat gives rise to this paradox matter of specifying the meaning of a verbal expression in terms of separate verbal expressions already understood and saying how the meanings of these separate, already-understood verbal expressions are combined. This corresponds to Moores intuitive requirement that an analysis should both specify the constituent concepts of the analysandum and tell how they are combined, but is this all there is to philosophical analysis?
 We must note that, in addition too there being two paradoxes of analysis, there is two types of analyses that are relevant here. (There are also other types of analysis, such as reformatory analysis, where the analysands are intended to improve on and replace the analysandum. But since reformatory analysis involves no commitment to conceptual identity between analysand and analysandum, reformatory analysis does not generate a paradox of analysis and so will not concern us here.) One way to recognize the difference between the two types of analysis concerning us here is to focus on the difference between the two paradoxes. This can be done by means of the Frége-inspired sense-individuation condition, which is the condition that two expressions have the same sense if and only if they can be interchangeably salva veritate whenever used in propositional attitude context. If the expressions for the analysands and the analysandum in (1) met this condition, (1) and (2) would not raise the first paradox, but the second paradox arises regardless of whether the expression for the analysand and the analysandum meet this condition. The second paradox is a matter of the failure of such expressions to be interchangeable salva veritate in sentences involving such contexts as an analysis is given thereof. Thus, a solution (such as the one offered) that is aimed only at such contexts can solve the second paradox. This is clearly false for the first paradox, however, which will apply to all pairs of propositions expressed by sentences in which expressions for pairs of analysands and analysantia raising the first paradox is interchangeable. One approach to the first paradox is to argue that, despite the apparent epistemic inequivalence of (1) and (2), the concept of justified true belief not essentially grounded in any falsehood is still identical with the concept of knowledge (Sosa, 1983). Another approach is to argue that in the sort of analysis raising the first paradox, the analysand and analysandum are concepts that are different but that bear a special epistemic relation to each other. Elsewhere, the development is such an approach and suggestion that this analysand-analysandum relation has the following facets.
 (I) The analysand and analysandum are necessarily coextensive, i.e., necessarily every instance of one is an instance of the other.
 (ii) The analysand and analysandum are knowable theoretical to be coextensive.
 (iii) The analysandum is simpler than the analysands condition whose necessity is recognized in classical writings on analysis, such as, Langford, 1942.
 (iv) The analysands do not have the analysandum as a constituent.
Condition (iv) rules out circularity. But since many valuable quasi-analyses are partly circular, e.g., knowledge is justified true belief supported by known reasons not essentially grounded in any falsehood, it seems best to distinguish between full analysis, from that of (iv) is a necessary condition, and partial analysis, for which it is not.
 These conditions, while necessary, are clearly insufficient. The basic problem is that they apply too many pairs of concepts that do not seem closely enough related epistemologically to count as analysand and analysandum. Such as the concept of being and the concept of the fourth root of 1296. Accordingly, its solution upon what actually seems epistemologically distinctive about analyses of the sort under consideration, which is a certain way they can be justified. This, by philosophical example as endorsing morally justified counterexamples in the methods with which are in general terms that go as follows: 'J' justifies the verifiable investigates that have undergone a previous  analysis of 'K's concept of 'Q' (where 'K' needs not be identical to 'J' by setting 'K' of a successive series of armchair thought experiments, i.e., presenting 'K' with a series of simple described hypothetical test cases and asking 'K' questions of the form if such-and-such where the case would this count as a case of 'Q'? J then contrasts the descriptions of the cases to which; 'K' answers affirmatively with the description of the cases to which 'K' does not, and 'J' generalizes upon these descriptions to arrive at the concepts, if possible not to include the analysandum and their mode of combination that constitute the analysands of 'K's' concept 'Q'. Since 'J' need not be identical with 'K', there is no requirement that K himself be able to perform this generalization, to recognize its result as correct, or even to understand the analysand that is its result. This is reminiscent of Walton's observation that one can simply recognize a bird as a blue jay without realizing just what feature of the bird (beak, wing configurations, etc.) form the basis of this recognition. (The philosophical significance of this way of recognizing is discussed in Walton, 1972) 'K' answers the questions based solely on whether the described hypothetical cases just strike him as cases of 'Q'. 'J' observes certain strictures in formulating the cases and questions. He makes the cases as simple as possible, to minimize the possibility of confusion and to minimize the likelihood that 'K' will draw upon his philosophical theories (or quasi-philosophical, a rudimentary notion if he is unsophisticated philosophically) in answering the questions. For this conflicting result, the conflict should other things being equal be resolved in favour of the simpler case. 'J' makes the series of described cases wide-ranging and varied, with the aim of having it be a complete series, where a series is complete if and only if no case that is omitted in such that, if included, it would change the analysis arrived at. 'J' does not, of course, use as a test-case description anything complicated and general enough to express the analysand. There is no requirement that the described hypothetical test cases be formulated only in terms of what can be observed. Moreover, using described hypothetical situations as test cases enables 'J' to frame the questions in such a way as to rule out extraneous background assumption to a degree, thus, even if 'K' correctly believes that all and only 'P's' are 'R's', the question of whether the concepts of 'P', 'R', or both enter the analysand of his concept 'Q' can be investigated by asking him such questions as Suppose (even if it seems preposterous to you) that you were to find out that there was a 'P' that was not an 'R'. Would you still consider it a case of 'Q'?
 Taking all this into account, the necessary conditions for this sort of analysand-analysandum relations are as follows: If 'S' is the analysand of 'Q', the proposition that necessarily all and only instances of S are instances of 'Q' can be justified by generalizing from intuition about the correct answers to questions of the sort indicated about a varied and wide-ranging series of simple described hypothetical situations. It so does occur of antinomy, when we are able to argue for, or demonstrate, both a proposition and its contradiction, roughly speaking, a contradiction of a proposition 'p' is one that can be expressed in form 'not-p', or, if 'p' can be expressed in the form 'not-q', then a contradiction is one that can be expressed in the form 'q'. Thus, e.g., if p is 2 + 1 = 4, then, 2 + 1 ≠4 is the contradictory of 'p', for 2 + 1 ≠ 4 can be expressed in the form not (2 + 1 = 4). If p is 2 + 1 ≠4, then 2 + 1 - 4 is a contradictory of 'p', since 2 + 1 ≠4 can be expressed in the form not (2 + 1 = 4). This is, mutually, but contradictory propositions can be expressed in the form, 'r', 'not-r'. The Principle of Contradiction says that mutually contradictory propositions cannot both be true and cannot both be false. Thus, by this principle, since if p is true, not-p is false, no proposition p can be at once true and false (otherwise both 'p' and its contradictories would be false?). In particular, for any predicate 'p' and object 'χ', it cannot be that 'p'; is at once true of 'χ' and false of 'χ'? This is the classical formulation of the principle of contradiction, but it is nonetheless, that we cannot now fault either demonstrates. We would eventually hope to be able to solve the antinomy by managing, through careful thinking and analysis, eventually to fault either or both demonstrations.
 The conjunction of a proposition and its negation, where the law of non-contradiction provides that no such conjunction can be true: not (p & not-p). The standard proof of the inconsistency of a set of propositions or sentences is to show that a contradiction may be derived from them.
 In Hegelian and Marxist writing the term is used more widely, as a contradiction may be a pair of features that together produce an unstable tension in a political or social system: a 'contradiction' of capitalism might be the aerosol of expectations in the workers that the system cannot require. For Hegel the gap between this and genuine contradiction is not as wide as it is for other thinkers, given the equation between systems of thought and their historical embodiment.
 A contradictarian approach to problems of ethics asks what solution could be agreed upon by contradicting parties, starting from certain idealized positions (for example, no ignorance, no inequalities of power enabling one party to force unjust solutions upon another, no malicious ambitions). The idea of thinking of civil society, with its different distribution of rights and obligations, as if it were established by a social contract, derives from the English philosopher and mathematician Thomas Hobbes and Jean-Jacques Rousseau (1712-78). The utility of such a model was attacked by the Scottish philosopher, historian and essayist David Hume (1711-76), who ask why, given that non-historical event of establishing a contract took place. It is useful to allocate rights and duties as if it had; he also points out that the actual distribution of these things in a society owes too much to contingent circumstances to be derivable from any such model. Similar positions in general ethical theory, sometimes called contradictualism: see the right thing to do so one that could be agreeing upon in hypothetical contract.
 Somewhat loosely, a paradox arises when a set of apparent incontrovertible premises gives unacceptable or contradictory conclusions, to solve a paradox will involve showing either that there is a hidden flaw in the premises, or that the reasoning is erroneous, or that the apparent unacceptable conclusion can, in fact, be tolerated. Paradoxes are themselves important in philosophy, for until one is solved it shows that there is something that we do not understand. Such are the paradoxes as compelling arguments from unexceptionable premises to an unacceptable conclusion, and more strictly, a paradox is specified to be a sentence that is true if and only if it is false: For example of the latter would be: 'The displayed sentence is false.
 It is easy to see that this sentence is false if true, and true if false. A paradox, in either of the senses distinguished, presents an important philosophical challenge. Epistemologists are especially concerned with various paradoxes having to do with knowledge and belief.
 Moreover, paradoxes are as an easy source of antinomies, for example, Zeno gave some famously lets say, logical-non-mathematical arguments that might be interpreted as demonstrating that motion is impossible. But our eyes as it was, demonstrate motion (exhibit moving things) all the time. Where did Zeno go wrong? Where do our eyes go wrong? If we cannot readily answer at least one of these questions, then we are in antinomy. In the Critique of Pure Reason, Kant gave demonstrations of the same kind -in the Zeno example they were obviously not the same kind of both, e.g., that the world has a beginning in time and space, and that the world has no beginning in time or space. He argues that both demonstrations are at fault because they proceed on the basis of pure reason unconditioned by sense experience.
 At this point, we display attributes to the theory of experience, as it is not possible to define in an illuminating way, however, we know what experiences are through acquaintances with some of our own, e.g., visual experiences of as afterimage, a feeling of physical nausea or a tactile experience of an abrasive surface (which might be caused by an actual surface -rough or smooth, or which might be part of a dream, or the product of a vivid sensory imagination). The essential feature of experience is it feels a certain way  -that there is something that it is like to have it. We may refer to this feature of an experience as its character.
 Another core feature of the sorts of experiences with which this may be of a concern, is that they have representational content. (Unless otherwise indicated, experience will be reserved for their contentual representations.) The most obvious cases of experiences with content are sense experiences of the kind normally involved in perception. We may describe such experiences by mentioning their sensory modalities ad their contents, e.g., a gustatory experience (modality) of chocolate ice cream (content), but do so more commonly by means of perceptual verbs combined with noun phrases specifying their contents, as in Macbeth saw a dagger. This is, however, ambiguous between the perceptual claim.  There was a (material) dagger in the world that Macbeth perceived visually and Macbeth had a visual experience of a dagger (the reading with which we are concerned, as it is afforded by our imagination, or perhaps, experiencing mentally hallucinogenic imagery).
 As in the case of other mental states and events with content, it is important to distinguish between the properties that and experience represents and the properties that it possesses. To talk of the representational properties of an experience is to say something about its content, not to attribute those properties to the experience itself. Like every other experience, a visual; experience of a non-shaped square, of which is a mental event, and it is therefore not itself, or find to some irregularity or is it square, even though it represents those properties. It is, perhaps, fleeting, pleasant or unusual, even though it does not represent those properties. An experience may represent a property that it possesses, and it may even do so in virtue of a rapidly changing (complex) experience representing something as changing rapidly.  However, this is the exception and not the rule.
 Which properties can be [directly] represented in sense experience is subject to debate. Traditionalists include only properties whose presence could not be doubted by a subject having appropriate experiences, e.g., colour and shape in the case of visual experience, and apparent shape, surface texture, hardness, etc., in the case of tactile experience. This view is natural to anyone who has an egocentric, Cartesian perspective in epistemology, and who wishes for pure data in experiences to serve as logically certain foundations for knowledge, especially to the immediate objects of perceptual awareness in or of sense-data, such categorized of colour patches and shapes, which are usually supposed distinct from surfaces of physical objectivity. Qualities of sense-data are supposed to be distinct from physical qualities because their perception is more relative to conditions, more certain, and more immediate, and because sense-data is private and cannot appear other than they are they are objects that change in our perceptual field when conditions of perception change: Physical objects remain constant.
 Others who do not think that this wish can be satisfied, and who are more impressed with the role of experience in providing animisms with ecologically significant information about the world around them, claim that sense experiences represent properties, characteristic and kinds that are much richer and much more wide-ranging than the traditional sensory qualities. We do not see only colours and shapes, they tell us, but also earth, water, men, women and fire: We do not smell only odours, but also food and filth. There is no space here to examine the factors relevantly responsible to their choice of situational alternatives. Yet, this suggests that character and content are not really distinct, and there is a close tie between them. For one thing, the relative complexity of the character of sense experience places limitations upon its possible content, e.g., a tactile experience of something touching ones left ear is just too simple to carry the same amount of content as typically convincing to an every day, visual experience. Moreover, the content of a sense experience of a given character depends on the normal causes of appropriately similar experiences, e.g., the sort of gustatory experience that we have when eating chocolate would be not represented as chocolate unless it was normally caused by chocolate. Granting a contingent ties between the character of an experience and its possible causal origins, once, again follows that its possible content is limited by its character.
 Character and content are none the less irreducibly different, for the following reasons. (1) There are experiences that completely lack content, e.g., certain bodily pleasures. (2) Not every aspect of the character of an experience with content is relevant to that content, e.g., the unpleasantness of an aural experience of chalk squeaking on a board may have no representational significance. (3) Experiences in different modalities may overlap in content without a parallel overlap in character, e.g., visual and tactile experiences of circularity feel completely different. (4) The content of an experience with a given character may vary according to the background of the subject, e.g., a certain content singing bird only after the subject has learned something about birds.
 According to the act/object analysis of experience (which is a special case of the act/object analysis of consciousness), every experience involves an object of experience even if it has no material object. Two main lines of argument may be offered in support of this view, one phenomenological and the other semantic.
 In an outline, or projective view, the phenomenological argument is as follows. Whenever we have an experience, even if nothing beyond the experience answers to it, we seem to be presented with something through the experience (which is itself diaphanous). The object of the experience is whatever is so presented to us-is that it is an individual thing, an event, or a state of affairs.
 The semantic argument is that objects of experience are required in order to make sense of certain features of our talk about experience, including, in particular, the following. (1) Simple attributions of experience, e.g., Rod is experiencing an oddity that is not really square but in appearance it seems more than likely a square, this seems to be relational. (2) We appear to refer to objects of experience and to attribute properties to them, e.g., The after image that John experienced was certainly odd. (3) We appear to quantify ov er objects of experience, e.g., Macbeth saw something that his wife did not see.
 The act/object analysis comes to grips with several problems concerning the status of objects of experiences. Currently the most common view is that they are sense-data - private mental entities that actually posses the traditional sensory qualities represented by the experiences of which they are the objects. But the very idea of an essentially private entity is suspect. Moreover, since an experience may apparently represent something as having a determinable property, e.g., redness, without representing it as having any subordinate determinate property, e.g., any specific shade of red, a sense-datum may actually have a determinate property subordinate to it. Even more disturbing is that sense-data may have contradictory properties, since experiences can have contradictory contents. A case in point is the waterfall illusion: If you stare at a waterfall for a minute and then immediately fixate on a nearby rock, you are likely to have an experience of the rocks moving upward while it remains in the same place. The sense-data theorist must either deny that there are such experiences or admit contradictory objects.
 These problems can be avoided by treating objects of experience as properties. This, however, fails to do justice to the appearances, for experience seems not to present us with properties embodied in individuals. The view that objects of experience is Meinongian objects accommodate this point. It is also attractive in as far as (1) it allows experiences to represent properties other than traditional sensory qualities, and (2) it allows for the identification of objects of experience and objects of perception in the case of experiences that constitute perception.
 According to the act/object analysis of experience, every experience with content involves an object of experience to which the subject is related by an act of awareness (the event of experiencing that object). This is meant to apply not only to perceptions, which have material objects (whatever is perceived), but also to experiences like hallucinations and dream experiences, which do not. Such experiences none the less appear to represent something, and their objects are supposed to be whatever it is that they represent. Act/object theorists may differ on the nature of objects of experience, which have been treated as properties. Meinongian objects (which may not exist or have any form of being), and, more commonly private mental entities with sensory qualities. (The term sense-data is now usually applied to the latter, but has also been used as a general term for objects of sense experiences, as in the work of G.E. Moore) Act/object theorists may also differ on the relationship between objects of experience and objects of perception. In terms of perception (of which we are indirectly aware) are always distinct from objects of experience (of which we are directly aware). Meinongian, however, may treat objects of perception as existing objects of experience. But sense-datum theorists must either deny that there are such experiences or admit contradictory objects. Still, most philosophers will feel that the Meinongians acceptance of impossible objects is too high a price to pay for these benefits.
 A general problem for the act/object analysis is that the question of whether two subjects are experiencing one and the same thing (as opposed to having exactly similar experiences) appears to have an answer only on the assumption that the experiences concerned are perceptions with material objects. But in terms of the act/object analysis the question must have an answer even when this condition is not satisfied. (The answer is always negative on the sense-datum theory; it could be positive on other versions of the act/object analysis, depending on the facts of the case.)
 In view of the above problems, the case for the act/object analysis should be reassessed. The Phenomenological argument is not, on reflection, convincing, for it is easy enough to grant that any experience appears to present us with an object without accepting that it actually does. The semantic argument is more impressive, but is none the less answerable. The seemingly relational structure of attributions of experience is a challenge dealt with below in connexion with the adverbial theory. Apparent reference to and quantification over objects of experience can be handled by analysing them as reference to experiences themselves and quantification over experiences tacitly typed according to content. Thus, The after image that John experienced was colourfully appealing becomes Johns after image experience was an experience of colour, and Macbeth saw something that his wife did not see becomes Macbeth had a visual experience that his wife did not have.
 Pure cognitivism attempts to avoid the problems facing the act/object analysis by reducing experiences to cognitive events or associated disposition, e.g., Julie's experience of a rough surface beneath her hand might be identified with the event of her acquiring the belief that there is a rough surface beneath her hand, or, if she does not acquire this belief, with a disposition to acquire it that has somehow been blocked.
 This position has attractions. It does full justice to the cognitive contents of experience, and to the important role of experience as a source of belief acquisition. It would also help clear the way for a naturalistic theory of mind, since there seems to be some prospect of a physicalist/functionalist account of belief and other intentional states. But pure cognitivism is completely undermined by its failure to accommodate the fact that experiences have a felt character that cannot be reduced to their content, as aforementioned.
 The adverbial theory is an attempt to undermine the act/object analysis by suggesting a semantic account of attributions of experience that does not require objects of experience. Unfortunately, the oddities of explicit adverbializations of such statements have driven off potential supporters of the theory. Furthermore, the theory remains largely undeveloped, and attempted refutations have traded on this. It may, however, be founded on sound basis intuitions, and there is reason to believe that an effective development of the theory (which is merely hinting at) is possible.
 The relevant intuitions are (1) that when we say that someone is experiencing an A, or has an experience of an A, we are using this content-expression to specify the type of thing that the experience is especially apt to fit, (2) that doing this is a matter of saying something about the experience itself (and maybe about the normal causes of like experiences), and (3) that it is no-good of reasons to posit of its position to presuppose that of any involvements, is that its descriptions of an object in which the experience is. Thus the effective role of the content-expression in a statement of experience is to modify the verb it compliments, not to introduce a special type of object.
 Perhaps, the most important criticism of the adverbial theory is the many property problem, according to which the theory does not have the resources to distinguish between, e.g.,
 (1)  Frank has an experience of a brown triangle
and:
 (2)  Frank has an experience of brown and an experience of a triangle.
Which is entailed by (1) but does not entail it. The act/object analysis can easily accommodate the difference between (1) and (2) by claiming that the truth of (1) requires a single object of experiences that are both brown and triangular, while that of the (2) allows for the possibility of two objects of experience, one brown and the other triangular, however, (1) is equivalent to:
 (1*)  Frank has an experience of something being both brown and triangular.
And (2) is equivalent to:
 (2*)  Frank has an experience of something being brown and an experience of something being triangular, and the difference between these can be explained quite simply in terms of logical scope without invoking objects of experience. The Adverbialists may use this to answer the many-property problem by arguing that the phrase a brown triangle in (1) does the same work as the clause something being both brown and triangular in (1*). This is perfectly compatible with the view that it also has the adverbial function of modifying the verb has an experience of, for it specifies the experience more narrowly just by giving a necessary condition for the satisfaction of the experience (the condition being that there are something both brown and triangular before Frank).
 A final position that should be mentioned is the state theory, according to which a sense experience of an A is an occurrent, non-relational state of the kind that the subject would be in when perceiving an A. Suitably qualified, this claim is no doubt true, but its significance is subject to debate. Here it is enough to remark that the claim is compatible with both pure cognitivism and the adverbial theory, and that state theorists are probably best advised to adopt adverbials as a means of developing their intuitions.
 Yet, clarifying sense-data, if taken literally, is that which is given by the senses. But in response to the question of what exactly is so given, sense-data theories posit private showings in the consciousness of the subject. In the case of vision this would be a kind of inner picture shown which it only indirectly represents aspects of the external world that has in and of itself a worldly representation. The view has been widely rejected as implying that we really only see extremely thin coloured pictures interposed between our mind’s eye and reality. Modern approaches to perception tend to reject any conception of the eye as a camera or lense, simply responsible for producing private images, and stress the active life of the subject in and of the world, as the determinant of experience.
 Nevertheless, the argument from illusion is of itself the usually intended directive to establish that certain familiar facts about illusion disprove the theory of perception called naïevity or direct realism. There are, however, many different versions of the argument that must be distinguished carefully. Some of these distinctions centre on the content of the premises (the nature of the appeal to illusion); others centre on the interpretation of the conclusion (the kind of direct realism under attack). Let us set about by distinguishing the importantly different versions of direct realism which one might take to be vulnerable to familiar facts about the possibility of perceptual illusion.
 A crude statement of direct realism might go as follows. In perception, we sometimes directly perceive physical objects and their properties, we do not always perceive physical objects by perceiving something else, e.g., a sense-datum. There are, however, difficulties with this formulation of the view, as for one thing a great many philosophers who are not direct realists would admit that it is a mistake to describe people as actually perceiving something other than a physical object. In particular, such philosophers might admit, we should never say that we perceive sense-data. To talk that way would be to suppose that we should model our understanding of our relationship to sense-data on our understanding of the ordinary use of perceptual characterizations, nonetheless, verbs as they describe our relation to and of the physical world, that is the last thing paradigm sense-datum theorists’ needed want. At least, many of the philosophers who objected to direct realism would prefer to express in what they were of objecting too in terms of a technical (and philosophically controversial) concept such as acquaintance. Using such a notion, we could define direct realism this way: In veridical experience we are directly acquainted with parts, e.g., surfaces, or constituents of physical objects. A less cautious venison of the view might drop the reference to veridical experience and claim simply that in all experience we are directly acquainted with parts or constituents of physical objects. The expressions’ knowledge by acquaintance and knowledge by description, and the distinction they mark between knowing things and knowing about things, are generally associated with Bertrand Russell (1872-1970), that scientific philosophy required analysing many objects of belief as logical constructions or logical fictions, and the programme of analysis that this inaugurated dominated the subsequent philosophy of logical atomism, and then of other philosophers, Russells the Analysis of Mind, the mind itself is treated in a fashion reminiscent of Hume, as no more than the collection of neutral perceptions or sense-data that make up the flux of conscious experience, and that looked at another way that also was to make up the external world (neutral monism), but An Inquiry into Meaning and Truth (1940) represents a more empirical approach to the problem. Yet, philosophers have perennially investigated this and related distinctions using varying terminology.
 Distinction in our ways of knowing things, highlighted by Russell and forming a central element in his philosophy after the discovery of the theory of definite descriptions. A thing is known by acquaintance when there is direct experience of it. It is known by description if it can only be described as a thing with such-and-such properties. In everyday parlance, I might know my spouse and children by acquaintance, but know someone as the first person born at sea only by description. However, for a variety of reasons Russell shrinks the area of things that can be known by acquaintance until eventually only current experience, perhaps my own self, and certain universals or meanings qualify anything else is known only as the thing that has such-and-such qualities.
 Because one can interpret the relation of acquaintance or awareness as one that is not epistemic, i.e., not a kind of propositional knowledge, it is important to distinguish the above aforementioned views read as ontological theses from a view one might call epistemological direct realism? In perception we are, on at least some occasions, non-inferentially justified in believing a proposition asserting the existence of a physical object. Since it is that these objects exist independently of any mind that might perceive them, and so it thereby rules out all forms of idealism and phenomenalism, which hold that there are no such independently existing objects. Its being to direct realism rules out those views defended under the cubic of critical naive realism, or representational realism, in which there is some nonphysical intermediary  -usually called a sense-datum or a sense impression  -that must first be perceived or experienced in order to perceive the object that exists independently of this perception. Often the distinction between direct realism and other theories of perception is explained more fully in terms of what is immediately perceived, than mediately perceived. What relevance does illusion have for these two forms of direct realism?
 The fundamental premise of the arguments is from illusion seems to be the theses that things can appear to be other than they are. Thus, for example, straight sticks when immerged in water looks bent, a penny when viewed from certain perspective appears as an illusory spatial elliptic circularity, when something that is yellow when place under red fluorescent light looks red. In all of these cases, one version of the argument goes, it is implausible to maintain that what we are directly acquainted with is the real nature of the object in question. Indeed, it is hard to see how we can be said to be aware of the really physical object at all. In the above illusions the things we were aware of actually were bent, elliptical and red, respectively. But, by hypothesis, the really physical objects lacked these properties. Thus, we were not aware of the substantial reality of been real as  physical objects or theory.
 So far, if the argument is relevant to any of the direct realises distinguished above, it seems relevant only to the claim that in all sense experience we are directly acquainted with parts or constituents of physical objects. After all, even if in illusion we are not acquainted with physical objects, but their surfaces, or their constituents, why should we conclude anything about the hidden nature of our relations to the physical world in veridical experience?
 We are supposed to discover the answer to this question by noticing the similarities between illusory experience and veridical experience and by reflecting on what makes illusion possible at all. Illusion can occur because the nature of the illusory experience is determined, not just by the nature of events or sorted, conflicting affairs but the object perceived as itself the event in cause, but also by other conditions, both external and internal as becoming of an inner or as the outer experience. But all of our sensations are subject to these causal influences and it would be gratuitous and arbitrary to select from indefinitely of many and subtly different perceptual experiences some special ones those that get us in touch with the real nature of the physical world and its surrounding surfaces. Red fluorescent light affects the way thing’s look, but so does sunlight. Water reflects light, but so does air. We have no unmediated access to the external world.
The Philosophy of science, and scientific epistemology are not the only area where philosophers have lately urged the relevance of neuroscientific discoveries. Kathleen Akins argues that a traditional view of the senses underlies the variety of sophisticated naturalistic programs about intentionality. Current neuroscientific understanding of the mechanisms and coding strategies implemented by sensory receptors shows that this traditional view is mistaken. The traditional view holds that sensory systems are veridical in at least three ways. (1) Each signal in the system correlates along with diminutive ranging properties in the external (to the body) environment. (2) The structure in the relevant relations between the external properties the receptors are sensitive to is preserved in the structure of the relations between the resulting sensory states, and (3) the sensory system theory, is not properly a single theory, but any approach to a complicated or complex structure that abstract away from the particular physical, chemical or biological nature of its components and simply considers the structure they together administer the terms of the functional role of individual parts and their contribution to the functioning of the whole, without fabricated additions or embellishments, that this is an external event. Using recent neurobiological discoveries about response properties of thermal receptors in the skin as an illustration, are, here, conversely acceptable of sensory systems from which are narcissistic than veridical. All three traditional assumptions are violated. These neurobiological details and their philosophical implications open novel questions for the philosophy of perception and for the appropriate foundations for naturalistic projects about intentionality. Armed with the known neurophysiology of sensory receptors, for example, our philosophy of perception or of perceptual intentionality will no longer focus on the search for correlations between states of sensory systems and veridically detected external properties. This traditionally philosophical (and scientific) project rests upon a mistaken veridical view of the senses. Neurophysiological constructs allow for the knowledge of sensory receptors to actively show that sensory experience does not serve the naturalist as well as a simple paradigm case of intentional relations between representation and the world. Once again, available scientific detail shows the naivety of some traditional philosophical projects.
 Focussing on the anatomy and physiology of the pain transmission system, Valerie Hardcastle (1997) urges a similar negative implication for a popular methodological assumption. Pain experiences have long been philosophers favourite cases for analysis and theorizing about conscious experience generally. Nevertheless, every position about pain experiences has been defended recently: eliminativist, a variety of objectivists view, relational views, and subjectivist views. Why so little agreement, despite agreement that pain experience is the place to start an analysis or theory of consciousness? Hardcastle urges two answers. First, philosophers tend to be uninformed about the neuronal complexity of our pain transmission systems, and build their analyses or theories on the outcome of a single component of a multi-component system. Second, even those who understand some of the underlying neurobiology of pain tends to advocate gate-control theories. But the best existing gate-control theories are vague about the neural mechanisms of the gates. Hardcastle instead proposes a dissociable dual system of pain transmission, consisting of a pain sensory system closely analogous in its neurobiological implementation to other sensory systems, and a descending pain inhibitory system. She argues that this dual system is consistent with recent neuroscientific discoveries and accounts for all the pain phenomena that have tempted philosophers toward particular (but limited) theories of pain experience. The neurobiological uniqueness of the pain inhibitory system, contrasted with the mechanisms of other sensory modalities, renders pain processing atypical. In particular, the pain inhibitory system dissociates pains sensation from stimulation of nociceptors (pain receptors). Hardcastle concludes from the neurobiological uniqueness of pain transmission that pain experiences are atypical conscious events, and hence not a good place to start theorizing about or analysing the general type.
 Developing and defending theories of content is a central topic in current philosophy of mind. A common desideratum in this debate is a theory of cognitive representation consistent with a physical or naturalistic ontology. Here, described are a few contributions neuro philosophers have made to this literature.
 When one perceives or remembers that he is out of coffee, his brain state possesses intentionality or aboutness. The percept or memory is about ones being out of coffee, and it represents one for being out of coffee. The representational state has content. Some psycho-semantics seeks to explain what it is for a representational state to be about something: to provide an account of how states and events can have specific representational content. Some physicalist psycho-semantics seeks to do this using resources of the physical sciences exclusively. Neuro-philosophers have contributed to two types of physicalist psycho-semantics: the Functional Role approach and the Informational approach.
 The nucleus of functional roles of semantics holds that a representation has its content in virtue of relations it bears to other representations. Its paradigm application is to concepts of truth-functional logic, like the conjunctive and disjunctive or, a physical event instantiates the function as justly the case that it maps two true inputs onto a single true output. Thus an expression bears the relations to others that give it the semantic content of and, proponents of functional role semantics propose similar analyses for the content of all representations (Form 1986). A physical event represents birds, for example, if it bears the right relations to events representing feathers and others representing beaks. By contrast, informational semantics associates content to a state depending upon the causal relations obtaining between the state and the object it represents. A physical state represents birds, for example, just in case an appropriate causal relation obtains between it and birds. At the heart of informational semantics is a causal account of information. Red spots on a face carry the information that one has measles because the red spots are caused by the measles virus. A common criticism of informational semantics holds that mere causal covariation is insufficient for representation, since information (in the causal sense) is by definition, always veridical while representations can misrepresent. A popular solution to this challenge invokes a teleological analysis of function. A brain state represents X by virtue of having the function of carrying information about being caused by X (Dretske 1988). These two approaches do not exhaust the popular options for some psycho-semantics, but are the ones to which neuro philosophers have contributed.
 Jerry Fodor and Ernest LePore  raise an important challenge to Churchlands psycho-semantics. Location in a state space alone seems insufficient to fix representational states endorsed by content. Churchland never explains why a point in a three-dimensional state space represents the Collor, as opposed to any other quality, object, or event that varies along three dimensions. Churchlands account achieves its explanatory power by the interpretation imposed on the dimensions. Fodor and LePore allege that Churchland never specifies how a dimension comes to represent, e.g., degree of saltiness, as opposed to yellow-blue wavelength opposition. One obvious answer appeals to the stimuli that form the external inputs to the neural network in question. Then, for example, the individuating conditions on neural representations of colours are that opponent processing neurons receive input from a specific class of photoreceptors. The latter in turn have electromagnetic radiation (of a specific portion of the visible spectrum) as their activating stimuli. Nonetheless, this appeal to exterior impulsions as the ultimate stimulus that included individual conditions for representational content and context, for which makes the resulting approaches of an interpretation implied by the interpretive explanation as to act upon one another for which a compound measure of information to semantics. If, not only, from which this approach is accordantly supported with other neurobiological inferences.
 The neurobiological paradigm for informational semantics is the feature detector: One or more neurons that are (I) maximally responsive to a particular type of stimulus, and (ii) have the function of indicating the presence of that stimulus type. Examples of such stimulus-types for visual feature detectors include high-contrast edges, motion direction, and colours. A favourite feature detector among philosophers is the alleged fly detector in the frog. Lettvin et al. (1959) identified cells in the frog retina that responded maximally to small shapes moving across the visual field. The idea that this cell's activity functioned to detect flies rested upon knowledge of the frogs' diet. Using experimental techniques ranging from single-cell recording to sophisticated functional imaging, neuroscientists have recently discovered a host of neurons that are maximally responsive to a variety of stimuli. However, establishing condition (ii) on a feature detector is much more difficult. Even some paradigm examples have been called into question. David Hubel and Torsten Wiesels (1962) Nobel Prize adherents, who strove to establish the receptive fields of neurons in striate cortices were often interpreted as revealing cells manouevre with those that function continued of their detection, however, Lehky and Sejnowski (1988) have challenged this interpretation. They trained an artificial neural network to distinguish the three-dimensional shape and orientation of an object from its two-dimensional shading pattern. Their network incorporates many features of visual neurophysiology. Nodes in the trained network turned out to be maximally responsive to edge contrasts, but did not appear to have the function of edge detection.
 Kathleen Akins (1996) offers a different neuro philosophical challenge to informational semantics and its affiliated feature-detection view of sensory representation. Akins (1993) has argued against the distinction between a phenomenal and a representational aspect of experience, she keys her discussion on Nagel’s (1974) claim that we cannot know what it is like to be a bat, challenging those of the imaginative inclinations, that what it is like to be a bat is just what it is like to be of ‘you’ or to be of ‘me’ - only all those experiences represent totally different things. Correctly, she says that you cannot imagine that. That is because of their representational differences of what it is like to hear a sound as coming from the left is different from what it is like to hear a sound as coming from the right. And what it is like to hear Bulgarian depends on whether one speaks the language but from the fact that some representational differences make a phenomenal difference, one should not conclude that there is no distinction between the representational and the phenomenal. For example, that representational differences of the sort that obtain between me and my twin on Putnam’s difference. Further, there are phenomenal states that are not at all representational, organs for example, a visual and a kinaesthetic representation of one’s hand moving, in that the point is not just that there is a representational overlap without a corresponding phenomenal overlap (as is said, for example, in Pendlebury, 1992). That would be compatible with the following issues: Phenomenal content is jus t one kind of representational content, but these experiences overlap in non-phenomenal representational content. The point, rather, is that the phenomenal qualities are themselves representational: The ‘as of motion’ is part of the two phenomenal contents, two phenomenal contents that they overlap representationally, but the two phenomenal contents represent the same thing via the different phenomenal qualities.
 The physiology of thermoreceptor violates three necessary conditions on veridical representation. From this fact she draws doubts about looking for feature detecting neurons to ground some psycho-semantics generality, including thought contents as human thoughts about flies, for example, are sensitive to numerical distinctions between particular flies and the particular locations they can occupy. But the ends of frog nutrition are well served without a representational system sensitive to such ontological refinements. Whether a fly seen now is numerically identical to one seen a moment ago, need not, and perhaps cannot, figure into the frogs feature detection repertoire. Akins critique casts doubt on whether details of sensory transduction will scale up to encompass of some adequately unified psycho-semantics. It also raises new questions for human intentionality. How do we get from activity patterns in narcissistic sensory receptors, keyed not to objective environmental features but rather only to effects of the stimuli on the patch of tissue enervated, to the human ontology replete with enduring objects with stable configurations of properties and relations, types and their tokens (as the fly-thought example presented above reveals), and the rest? And how did the development of a stable, and rich ontology confer survival advantages to human ancestors?
 Consciousness has reemerged as a topic in philosophy of mind and the cognition and attitudinal values over the past three decades. Instead of ignoring it, many physicalists now seek to explain it (Dennett, 1991). Here we focus exclusively on ways those neuroscientific discoveries have impacted philosophical debates about the nature of consciousness and its relation to physical mechanisms. Thomas Nagel (1937—), argues that conscious experience is subjective, and thus permanently recalcitrant to objective scientific understanding. He invites us to ponder what it is like to be a bat and urges the intuition that no amount of physical-scientific knowledge (including neuroscientific) supplies a complete answer. Nagels work is centrally concerned with the nature of moral motivation and the possibility of as rational theory of moral and political commitment, and has been a major impetus of interests in realistic and Kantian approaches to these issues. The modern philosophy of mind has been his 'What is it Like to Be a Bat? , Arguing that there is an irreducible subjective aspect of experience that cannot be grasped by the objective methods of natural science, or by philosophies such as functionalism that confine themselves to those methods, as the intuition pump up has generated extensive philosophical discussion. At least two well-known replies make direct appeal to neurophysiology. John Biro suggests that part of the intuition pumped by Nagel, that bat experience is substantially different from human experience, presupposes systematic relations between physiology and phenomenology. Kathleen Akins (1993) delves deeper into existing knowledge of bat physiology and reports much that is pertinent to Nagels question. She argues that many of the questions about subjectivity that we still consider open hinge on questions that remain unanswered about neuroscientific details.
 The more recent philosopher David Chalmers (1996), has argued that any possible brain-process account of consciousness will leave open an explanatory gap between the brain process and properties of the conscious experience. This is because no brain-process theory can answer the hard question: Why should that particular brain process give rise to conscious experience? We can always imagine (conceive of) a universe populated by creatures having those brain processes but completely lacking conscious experience. A theory of consciousness requires an explanation of how and why some brain process causes consciousness replete with all the features we commonly experience. The fact that the more difficult of questions remains unanswered implicates that we will probably never get to culminate of an explanation of consciousness, in that, at the level of neural compliance. Paul and Patricia Churchland have recently offered the following diagnosis and reply. Chalmers offer a conceptual argument, based on our ability to imagine creatures possessing brains like ours but wholly lacking in conscious experience. But the more one learns about how the brain produces conscious experience-and literature is beginning to emerge (e.g., Gazzaniga, 1995) - the harder it becomes to imagine a universe consisting of creatures with brain processes like ours but lacking consciousness. This is not just to bare assertions. The Churchlands appeal to some neurobiological detail. For example, Paul Churchland (1995) develops a neuroscientific account of consciousness based on recurrent connections between thalamic nuclei (particularly diffusely projecting nuclei like the intralaminar nuclei) and the cortex. Churchland argues that the thalamocortical recurrency accounts for the selective features of consciousness, for the effects of short-term memory on conscious experience, for vivid dreaming during REM. (rapid-eye movement) sleep, and other core features of conscious experience. In other words, the Churchlands are claiming that when one learns about activity patterns in these recurrent circuits, one can't imagine or conceive of this activity occurring without these core features of conscious experience. (Other than just mouthing the words, I am now imagining activity in these circuits without selective attention/the effects of short-term memory/vivid dreaming . . . )
 A second focus of sceptical arguments about a complete neuroscientific explanation of consciousness is sensory Qualia: the introspectable qualitative aspects of sensory experience, the features by which subjects discern similarities and differences among their experiences. The colours of visual sensations are a philosopher's favourite example. One famous puzzle about colour Qualia is the alleged conceivability of spectral inversions. Many philosophers claim that it is conceptually possible (if perhaps physically impossible) for two humans not to diverge apart of similarities, but such are the compatibles as forwarded by their differing enation to neurophysiology. While the colour that fires engines and tomatoes appear to have of only one subject, is the colour that grasses and frogs appear in having the other (and vice versa). A large amount of neurophysiologically informed philosophy has addressed this question. A related area where Neurophilosophical considerations have emerged concerns the metaphysics of colours themselves (rather than Collor experiences). A longstanding philosophical dispute is whether colours are objective properties’ Existing external to perceiver or rather identifiable as or dependent upon minds or nervous systems. Some recent work on this problem begins with characteristics of Collor experiences: For example that Collor similarity judgments produce Collor orderings that align on a circle. With this resource, one can seek mappings of phenomenology onto environmental or physiological regularities. Identifying colours with particular frequencies of electromagnetic radiation does not preserve the structure of the hue circle, whereas identifying colours with activity in opponent processing neurons does. Such a tidbit is not decisive for the Collor objectivist-subjectivist debate, but it does convey the type of Neurophilosophical work being done on traditional metaphysical issues beyond the philosophy of mind.
 We saw in the discussion of Hardcastle (1997) two sections above that Neurophilosophers have entered disputes about the nature and methodological import of pain experiences. Two decades earlier, Dan Dennett (1978) took up the question of whether it is possible to build a computer that feels pain. He compares and notes the strong move between neurophysiological discoveries and common sense intuitions about pain experience. He suspects that the incommensurability between scientific and common sense views is due to incoherence in the latter. His attitude is wait-and-see. But foreshadowing Churchlands reply to Chalmers, Dennett favours scientific investigations over conceivability-based philosophical arguments.
 Neurological deficits have attracted philosophical interest. For thirty years philosophers have found implications for the unity of the self in experiments with commissurotomy patients. In carefully controlled experiments, commissurotomy patients display two dissociable seats of consciousness. Patricia Churchland scouts philosophical implications of a variety of neurological deficits. One deficit is blindsight. Some patients with lesions to primary visual cortex report being unable to see items in regions of their visual fields, yet perform far better than chance in forced guess trials about stimuli in those regions. A variety of scientific and philosophical interpretations have been offered. Need Form (1988) worries that many of these conflate distinct notions of consciousness? He labels these notions phenomenal consciousness (P-consciousness) and accesses consciousness (A-consciousness). The former is that which, what it is likeness of experience. The latter are the availability of representational content to self-initiated action and speech. Form argues that P-consciousness is not always representational whereas A-consciousness is. Dennett and Michael Tye  are sceptical of non-representational analyses of consciousness in general. They provide accounts of blindsight that do not depend on Forms distinction.
 Many other topics are worth Neurophilosophical pursuit. We mentioned commissurotomy and the unity of consciousness and the self, which continues to generate discussion. Qualia beyond those of Collor and pain have begun to attract Neurophilosophical attention has self-consciousness. The first issues to arise in the philosophy of neuroscience (before there was a recognized area) were the localization of cognitive functions to specific neural regions. Although the localization approach had dubious origins in the phrenology of Gall and Spurzheim, and was challenged severely by Flourens throughout the early nineteenth century, it reemerged in the study of aphasia by Bouillaud, Auburtin, Broca, and Wernicke. These neurologists made careful studies (where possible) of linguistic deficits in their aphasic patients followed by brain autophsys postmortem. Brocas initial study of twenty-two patients in the mid-nineteenth century confirmed that damage to the left cortical hemisphere was predominant, and that damage to the second and third frontal convolutions was necessary to produce speech production deficits. Although the anatomical coordinates’ Brocas postulates for the speech production centres do not correlate exactly with damage producing production deficits as both are in this area of frontal cortexes and speech production requires of some greater degree of composure, in at least, that still bears his name (Brocas area and Brocas aphasia). Less than two decades later Carl Wernicke published evidence for a second language Centre. This area is anatomically distinct from Brocas area, and damage to it produced a very different set of aphasic symptoms. The cortical area that still bears his name (Wernickes area) is located around the first and second convolutions in temporal cortex, and the aphasia that bear his name (Wernickes aphasia) involves deficits in language comprehension. Wernickes method, like Brocas, was based on lesion studies: a careful evaluation of the behavioural deficits followed by post mortem examination to find the sites of tissue damage and atrophy. Lesion studies suggesting more precise localization of specific linguistic functions remain the groundwork of a strengthening foundation to which supports all while it remains in tack to this day in unarticulated research
 Lesion studies have also produced evidence for the localization of other cognitive functions: for example, sensory processing and certain types of learning and memory. However, localization arguments for these other functions invariably include studies using animal models. With an animal model, one can perform careful behavioural measures in highly controlled settings, then ablate specific areas of neural tissue (or use a variety of other techniques to Form or enhance activity in these areas) and remeasure performance on the same behavioural tests. But since we lack an animal model for (human) language production and comprehension, this additional evidence is not available to the neurologist or neurolinguist. This fact makes the study of language a paradigm case for evaluating the logic of the lesion/deficit method of inferring functional localization. Philosopher Barbara Von Eckardt (1978) attempts to make explicitly the steps of reasoning involved in this common and historically important method. Her analysis begins with Robert Cummins early analysis of functional explanation, but she extends it into a notion of structurally adequate functional analysis. These analyses break down a complex capacity C into its constituent capacities 1, C2,  . . . Cn, where the constituent capacities are consistent with the underlying structural details of the system. For example, human speech production (complex capacity C) results from formulating a speech intention, then selecting appropriate linguistic representations to capture the content of the speech intention, then formulating the motor commands to produce the appropriate sounds, then communicating these motor commands to the appropriate motor pathways (constituent capacity C1, C2, . . . , Cn). A functional-localization hypothesis has the form: Brain structure S in an organism (type) O has constituent capacity ci, where ci is a function of some part of O. An example, Brains Brocas area (S) in humans (O) formulates motor commands to produce the appropriate sounds (one of the constituent capacities ci). Such hypotheses specify aspects of the structural realization of a functional-component model. They are part of the theory of the neural realization of the functional model.
 Armed with these characterizations, Von Eckardt argues that inference to some functional-localization hypothesis proceeds in two steps. First, a functional deficit in a patient is hypothesized based on the abnormal behaviour the patient exhibits. Second, localization of function in normal brains is inferred on the basis of the functional deficit hypothesis plus the evidence about the site of brain damage. The structurally-adequate functional analysis of the capacity connects the pathological behaviour to the hypothesized functional deficit. This connexion suggests four adequacy conditions on a functional deficit hypothesis. First, the pathological behaviour P (e.g., the speech deficits characteristic of Brocas aphasia) must result from failing to exercise some complex capacity C (human speech production). Second, there must be a structurally-adequate functional analysis of how people exercise capacity C that involves some constituent capacity ci (formulating motor commands to produce the appropriate sounds). Third, the operation of the steps described by the structurally-adequate functional analysis minus the operation of the component performing ci (Brocas area) must result in pathological behaviour P. Fourth, there must not be a better available explanation for why the patient does P. Arguments to a functional deficit hypothesis on the basis of pathological behaviour is thus an instance of argument to the best available explanation. When postulating a deficit in a normal functional component provides the best available explanation of the pathological data, we are justified in drawing the inference.
 Von Eckardt applies this analysis to a neurological case study involving a controversial reinterpretation of agnosia. Her philosophical explication of this important neurological method reveals that most challenges to localization arguments of whether to argue only against the localization of a particular type of functional capacity or against generalizing from localization of function in one individual to all normal individuals. (She presents examples of each from the neurological literature.) Such challenges do not impugn the validity of standard arguments for functional localization from deficits. It does not follow that such arguments are unproblematic. But they face difficult factual and methodological problems, not logical ones. Furthermore, the analysis of these arguments as involving a type of functional analysis and inference to the best available explanation carries an important implication for the biological study of cognitive function. Functional analyses require functional theories, and structurally adequate functional analyses require checks imposed by the lower level sciences investigating the underlying physical mechanisms. Arguments to best available explanation are often hampered by a lack of theoretical imagination: the available explanations are often severely limited. We must seek theoretical inspiration from any level of theory and explanation. Hence making explicitly the logic of this common and historically important form of neurological explanation reveals the necessity of joint participation from all scientific levels, from cognitive psychology down to molecular neuroscience. Von Eckardt anticipated what came to be heralded as the co-evolutionary research methodology, which remains a centerpiece of neurophilosophy to the present day.
 Over the last two decades, evidence for localization of cognitive function has come increasingly from a new source: the development and refinement of neuroimaging techniques. The form of localization-of-function argument appears not to have changed from that employing lesion studies (as analysed by Von Eckardt). Instead, these imaging technologies resolve some of the methodological problems that plage lesion studies. For example, researchers do not need to wait until the patient dies, and in the meantime probably acquires additional brain damage, to find the lesion sites. Two functional imaging techniques are prominent: Positron emission tomography, or PET, and functional magnetic resonance imaging, or MRI. Although these measure different biological markers of functional activity, both now have a resolution down too around one millimetre.  As these techniques increase spatial and temporal resolution of functional markers and continue to be used with sophisticated behavioural methodologies, the possibility of localizing specific psychological functions to increasingly specific neural regions continues to grow

No comments:

Post a Comment