As to the first question, we can see why once we see that the dominant epistemological tradition in modern Western philosophy has tended to ‘identify’ warrant with justification. On this way of looking at the matter, warrant, that which distinguishes knowledge from mere true belief, just ‘is’ justification. Belief theory of knowledge-the theory according to which knowledge is justified true belief has enjoyed the status of orthodoxy. According to this view, knowledge is justified truer belief, therefore any of your beliefs have warrant for you if and only if you are justified in holding it.
But what is justification? What is it to be justified in holding a belief? To get a proper sense of the answer, we must turn to those twin towers of western epistemology. René Descartes and especially, John Locke. The first thing to see is that according to Descartes and Locke, there are epistemic or intellectual duties, or obligations, or requirements. Thus, Locke:
Faith is nothing but a firm assent of the mind, which if it is regulated, A is our duty, cannot be afforded to anything, but upon good reason: And cannot be opposite to it, he that believes, without having any reason for believing, may be in love with his own fanciers: But, seeks neither truth as he ought, nor pats the obedience due his maker, which would have him use those discerning faculties he has given him: To keep him out of mistake and error. He that does this to the best of his power, however, he sometimes lights on truth, is in the right but by chance: And I know not whether the luckiest of the accidents will excuse the irregularity of his proceeding. This, at least is certain, that he must be accountable for whatever mistakes he runs into: Whereas, he that makes use of the light and faculties God has given him, by seeks sincerely to discover truth, by those helps and abilities he has, may have this satisfaction in doing his duty as rational creature, that though he should miss truth, he will not miss the reward of it. For he governs his assent right, and places it as he should, who in any case or matter whatsoever, believes or disbelieves, according as reason directs him. He that does otherwise, transgresses against his own light, and misuses those faculties, which were given him . . . (Essays 4.17.24).
Rational creatures, creatures with reason, creatures capable of believing propositions (and of disbelieving and being agnostic with respect to them), say Locke, have duties and obligation with respect to the regulation of their belief or assent. Now the central core of the notion of justification(as the etymology of the term indicates) this: One is justified in doing something or in believing a certain way, if in doing one is innocent of wrong doing and hence not properly subject to blame or censure. You are justified, therefore, if you have violated no duties or obligations, if you have conformed to the relevant requirements, if you are within your rights. To be justified in believing something, then, is to be within your rights in so believing, to be flouting no duty, to be to satisfy your epistemic duties and obligations. This way of thinking of justification has been the dominant way of thinking about justification: And this way of thinking has many important contemporary representatives. Roderick Chisholm, for example (as distinguished an epistemologist as the twentieth century can boast), in his earlier work explicitly explains justification in terms of epistemic duty (Chisholm, 1977).
The (or, a) main epistemological; questions about religious believe, therefore, has been the question whether or not religious belief in general and theistic belief in particular is justified. And the traditional way to answer that question has been to inquire into the arguments for and against theism. Why this emphasis upon these arguments? An argument is a way of marshalling your propositional evidence-the evidence from other such propositions as likens to believe-for or against a given proposition. And the reason for the emphasis upon argument is the assumption that theistic belief is justified if and only if there is sufficient propositional evidence for it. If there is not’ much by way of propositional evidence for theism, then you are not justified in accepting it. Moreover, if you accept theistic belief without having propositional evidence for it, then you are ging contrary to epistemic duty and are therefore unjustified in accepting it. Thus, W.K. William James, trumpets that ‘it is wrong, always everything upon insufficient evidence’, his is only the most strident in a vast chorus of only insisting that there is an intellectual duty not to believe in God unless you have propositional evidence for that belief. (A few others in the choir: Sigmund Freud, Brand Blanshard, H.H. Price, Bertrand Russell and Michael Scriven.)
Now how it is that the justification of theistic belief gets identified with there being propositional evidence for it? Justification is a matter of being blameless, of having done one’s duty (in this context, one’s epistemic duty): What, precisely, has this to do with having propositional evidence?
The answer, once, again, is to be found in Descartes especially Locke. As, justification is the property your beliefs have when, in forming and holding them, you conform to your epistemic duties and obligations. But according to Locke, a central epistemic duty is this: To believe a proposition only to the degree that it is probable with respect to what is certain for you. What propositions are certain for you? First, according to Descartes and Locke, propositions about your own immediate experience, that you have a mild headache, or that it seems to you that you see something red: And second, propositions that are self-evident for you, necessarily true propositions so obvious that you cannot so much as entertain them without seeing that they must be true. (Examples would be simple arithmetical and logical propositions, together with such propositions as that the whole is at least as large as the parts, that red is a colour, and that whatever exists has properties.) Propositions of these two sorts are certain for you, as fort other prepositions. You are justified in believing if and only if when one and only to the degree to which it is probable with respect to what is certain for you. According to Locke, therefore, and according to the whole modern Foundationalist tradition initiated by Locke and Descartes (a tradition that until has recently dominated Western thinking about these topics) there is a duty not to accept a proposition unless it is certain or probable with respect to what is certain.
In the present context, therefore, the central Lockean assumption is that there is an epistemic duty not to accept theistic belief unless it is probable with respect to what is certain for you: As a consequence, theistic belief is justified only if the existence of God is probable with respect to what is certain. Locke does not argue for his proposition, he simply announces it, and epistemological discussion of theistic belief has for the most part followed hin ion making this assumption. This enables ‘us’ to see why epistemological discussion of theistic belief has tended to focus on the arguments for and against theism: On the view in question, theistic belief is justified only if it is probable with respect to what is certain, and the way to show that it is probable with respect to what it is certain are to give arguments for it from premises that are certain or, are sufficiently probable with respect to what is certain.
There are at least three important problems with this approach to the epistemology of theistic belief. First, there standards for theistic arguments have traditionally been set absurdly high (and perhaps, part of the responsibility for this must be laid as the door of some who have offered these arguments and claimed that they constitute wholly demonstrative proofs). The idea seems to test. a good theistic argument must start from what is self-evident and proceed majestically by way of self-evidently valid argument forms to its conclusion. It is no wonder that few if any theistic arguments meet that lofty standard -particularly, in view of the fact that almost no philosophical arguments of any sort meet it. (Think of your favourite philosophical argument: Does it really start from premisses that are self-evident and move by ways of self-evident argument forms to its conclusion?)
Secondly, attention has ben mostly confined to three theistic arguments: The traditional arguments, cosmological and teleological arguments, but in fact, there are many more good arguments: Arguments from the nature of proper function, and from the nature of propositions, numbers and sets. These are arguments from intentionality, from counterfactual, from the confluence of epistemic reliability with epistemic justification, from reference, simplicity, intuition and love. There are arguments from colours and flavours, from miracles, play and enjoyment, morality, from beauty and from the meaning of life. This is even a theistic argument from the existence of evil.
But there are a third and deeper problems here. The basic assumption is that theistic belief is justified only if it is or can be shown to be probable with respect to many a body of evidence or proposition -perhaps, those that are self-evident or about one’s own mental life, but is this assumption true? The idea is that theistic belief is very much like a scientific hypothesis: It is acceptable if and only if there is an appropriate balance of propositional evidence in favour of it. But why believe a thing like that? Perhaps the theory of relativity or the theory of evolution is like that, such a theory has been devised to explain the phenomena and gets all its warrant from its success in so doing. However, other beliefs, e.g., memory beliefs, feelifelt in other minds is not like that, they are not hypothetical at all, and are not accepted because of their explanatory powers. There are instead, the propositions from which one start in attempting to give evidence for a hypothesis. Now, why assume that theistic belief, belief in God, is in this regard more like a scientific hypothesis than like, say, a memory belief? Why think that the justification of theistic belief depends upon the evidential relation of theistic belief to other things one believes? According to Locke and the beginnings of this tradition, it is because there is a duty not to assent to a proposition unless it is probable with respect to what is certain to you, but is there really any such duty? No one has succeeded in showing that, say, belief in other minds or the belief that there has been a past, is probable with respect to what is certain for ‘us’. Suppose it is not: Does it follow that you are living in epistemic sin if you believe that there are other minds? Or a past?
There are urgent questions about any view according to which one has duties of the sort ‘do not believe ‘p’ unless it is probable with respect to what is certain for you; . First, if this is a duty, is it one to which I can conform? My beliefs are for the most part not within my control: Certainly they are not within my direct control. I believe that there has been a past and that there are other people, even if these beliefs are not probable with respect to what is certain forms (and even if I came to know this) I could not give them up. Whether or not I accept such beliefs are not really up to me at all, For I can no more refrain from believing these things than I can refrain from conforming yo the law of gravity. Second, is there really any reason for thinking I have such a duty? Nearly everyone recognizes such duties as that of not engaging in gratuitous cruelty, taking care of one’s children and one’s aged parents, and the like, but do we also find ourselves recognizing that there is a duty not to believe what is not probable (or, what we cannot see to be probable) with respect to what are certain for ‘us’? It hardly seems so. However, it is hard to see why being justified in believing in God requires that the existence of God be probable with respect to some such body of evidence as the set of propositions certain for you. Perhaps, theistic belief is properly basic, i.e., such that one is perfectly justified in accepting it on the evidential basis of other propositions one believes.
Taking justification in that original etymological fashion, therefore, there is every reason ton doubt that one is justified in holding theistic belief only inf one is justified in holding theistic belief only if one has evidence for it. Of course, the term ‘justification’ has under-gone various analogical extensions in the of various philosophers, it has been used to name various properties that are different from justification etymologically so-called, but anagogically related to it. In such a way, the term sometimes used to mean propositional evidence: To say that a belief is justified for someone is to saying that he has propositional evidence (or sufficient propositional evidence) for it. So taken, however, the question whether theistic belief is justified loses some of its interest; for it is not clear (given this use)beliefs that are unjustified in that sense. Perhaps, one also does not have propositional evidence for one’s memory beliefs, if so, that would not be a mark against them and would not suggest that there be something wrong holding them.
Another analogically connected way to think about justification (a way to think about justification by the later Chisholm) is to think of it as simply a relation of fitting between a given proposition and one’s epistemic vase -which includes the other things one believes, as well as one’s experience. Perhaps tat is the way justification is to be thought of, but then, if it is no longer at all obvious that theistic belief has this property of justification if it seems as a probability with respect to many another body of evidence. Perhaps, again, it is like memory beliefs in this regard.
To recapitulate: The dominant Western tradition has been inclined to identify warrant with justification, it has been inclined to take the latter in terms of duty and the fulfilment of obligation, and hence to suppose that there is no epistemic duty not to believe in God unless you have good propositional evidence for the existence of God. Epistemological discussion of theistic belief, as a consequence, as concentrated on the propositional evidence for and against theistic belief, i.e., on arguments for and against theistic belief. But there is excellent reason to doubt that there are epistemic duties of the sort the tradition appeals to here.
And perhaps it was a mistake to identify warrant with justification in the first place. Napoleons have little warrant for him: His problem, however, need not be dereliction of epistemic duty. He is in difficulty, but it is not or necessarily that of failing to fulfill epistemic duty. He may be doing his epistemic best, but he may be doing his epistemic duty in excelsis: But his madness prevents his beliefs from having much by way of warrant. His lack of warrant is not a matter of being unjustified, i.e., failing to fulfill epistemic duty. So warrant and being epistemologically justified by name are not the same things. Another example, suppose (to use the favourite twentieth-century variant of Descartes’ evil demon example) I have been captured by Alpha-Centaurian super-scientists, running a cognitive experiment, they remove my brain, and keep it alive in some artificial nutrients, and by virtue of their advanced technology induce in me the beliefs I might otherwise have if I were going about my usual business. Then my beliefs would not have much by way of warrant, but would it be because I was failing to do my epistemic duty? Hardly.
As a result of these and other problems, another, externalist way of thinking about knowledge has appeared in recent epistemology, that a theory of justification is internalized if and only if it requires that all of its factors needed for a belief to be epistemically accessible to that of a person, internal to his cognitive perception, and externalist, if it allows that, at least some of the justifying factors need not be thus accessible, in that they can be external to the believer’ s cognitive Perspectives, beyond his ken. However, epistemologists often use the distinction between internalized and externalist theories of epistemic justification without offering any very explicit explanation.
Or perhaps the thing to say, is that it has reappeared, for the dominant sprains in epistemology priori to the Enlightenment were really externalist. According to this externalist way of thinking, warrant does not depend upon satisfaction of duty, or upon anything else to which the Knower has special cognitive access (as he does to what is about his own experience and to whether he is trying his best to do his epistemic duty): It depends instead upon factors ‘external’ to the epistemic agent -such factors as whether his beliefs are produced by reliable cognitive mechanisms, or whether they are produced by epistemic faculties functioning properly in-an appropriate epistemic environment.
How will we think about the epistemology of theistic belief in more than is less of an externalist way (which is at once both satisfyingly traditional and agreeably up to date)? I think, that the ontological question whether there is such a person as God is in a way priori to the epistemological question about the warrant of theistic belief. It is natural to think that if in fact we have been created by God, then the cognitive processes that issue in belief in God are indeed realisable belief-producing processes, and if in fact God created ‘us’, then no doubt the cognitive faculties that produce belief in God is functioning properly in an epistemologically congenial environment. On the other hand, if there is no such person as God, if theistic belief is an illusion of some sort, then things are much less clear. Then beliefs in God in of the most of basic ways of wishing that never doubt the production by which unrealistic thinking or another cognitive process not aimed at truth. Thus, it will have little or no warrant. And belief in God on the basis of argument would be like belief in false philosophical theories on the basis of argument: Do such beliefs have warrant? Notwithstanding, the custom of discussing the epistemological questions about theistic belief as if they could be profitably discussed independently of the ontological issue as to whether or not theism is true, is misguided. There two issues are intimately intertwined,
Nonetheless, the vacancy left, as today and as days before are an awakening and untold story beginning by some sparking conscious paradigm left by science. That is a central idea by virtue accredited by its epistemology, where in fact, is that justification and knowledge arising from the proper functioning of our intellectual virtues or faculties in an appropriate environment. This particular yet, peculiar idea is captured in the following criterion for justified belief:
(J) ‘S’ is justified in believing that ‘p’ if and only if of S’s believing that ‘p’ is the result of S’s intellectual virtues or faculties functioning in appropriate environment.
What is an intellectual virtue or faculty? A virtue or faculty in general is a power or ability or competence to achieve some result. An intellectual virtue or faculty, in the sense intended above, is a power or ability or competence to arrive at truths in a particular field, and to avoid believing falsehoods in that field. Examples of human intellectual virtues are sight, hearing, introspection, memory, deduction and induction. More exactly.
(V) A mechanism ‘M’ for generating and/or maintaining beliefs is an intellectual virtue if and only if ‘M’‘s’ is a competence to believing true propositions and refrain from false believing propositions within a field of propositions ‘F’, when one is in a set of circumstances ‘C’.
It is required that we specify a particular field of suggestions or its propositional field for ‘M’, since a given cognitive mechanism will be a competence for believing some kind of truths but not others. The faculty of sight, for example, allows ‘us’ to determine the colour of objects, but not the sounds that they associatively make. It is also required that we specify a set of circumstances for ‘M’, since a given cognitive mechanism will be a competence in some circumstances but not others. For example, the faculty of sight allows ‘us’ to determine colours in a well lighten room, but not in a darkened cave or formidable abyss.
According to the aforementioned formulations, what makes a cognitive mechanism an intellectual virtue is that it is reliable in generating true beliefs than false beliefs in the relevant field and in the relevant circumstances. It is correct to say, therefore, that virtue epistemology is a kind of reliabilism. Whereas, genetic reliabilism maintains that justified belief is belief that results from a reliable cognitive process, virtue epistemology makes a restriction on the kind of process which is allowed. Namely, the cognitive processes that are important for justification and knowledge is those that have their basis in an intellectual virtue.
Finally, that the concerning mental faculty reliability point to the importance of an appropriate environment. The idea is that cognitive mechanisms might be reliable in some environments but not in others. Consider an example from Alvin Plantinga. On a planet revolving around Alfa Centauri, cats are invisible to human beings. Moreover, Alfa Centaurian cats emit a type of radiation that causes humans to form the belief that there I a dog barking nearby. Suppose now that you are transported to this Alfa Centaurian planet, a cat walks by, and you form the belief that there is a dog barking nearby. Surely you are not justified in believing this. However, the problem here is not with your intellectual faculties, but with your environment. Although your faculties of perception are reliable on earth, yet are unrealisable on the Alga Centaurian planet, which is an inappropriate environment for those faculties.
The central idea of virtue epistemology, as expressed in (J) above, has a high degree of initial plausibility. By masking the idea of faculties’ cental to the reliability if not by the virtue of epistemology, in that it explains quite neatly to why beliefs are caused by perception and memories are often justified, while beliefs caused by unrealistic and superstition are not. Secondly, the theory gives ‘us’ a basis for answering certain kinds of scepticism. Specifically, we may agree that if we were brains in a vat, or victims of a Cartesian demon, then we would not have knowledge even in those rare cases where our beliefs turned out true. But virtue epistemology explains that what is important for knowledge is toast our faculties are in fact reliable in the environment in which we are. And so we do have knowledge so long as we are in fact, not victims of a Cartesian demon, or brains in a vat. Finally, Plantinga argues that virtue epistemology deals well with Gettier problems. The idea is that Gettier problems give ‘us’ cases of justified belief that is ‘truer by accident’. Virtue epistemology, Plantinga argues, helps ‘us’ to understand what it means for a belief to be true by accident, and provides a basis for saying why such cases are not knowledge. Beliefs are rue by accident when they are caused by otherwise reliable faculties functioning in an inappropriate environment. Plantinga develops this line of reasoning in Plantinga (1988).
The Humean problem if induction supposes that there is some property ‘A’ pertaining to an observational or experimental situation, and that of ‘A’, some fraction m/n (possibly equal to 1) have also been instances of some logically independent property ‘B’. Suppose further that the background circumstances, have been varied to a substantial degree and also that there is no collateral information available concerning the frequency of ‘B’s’ among ‘A’s’ or concerning causal nomological connections between instances of ‘A’ and instances of ‘B’.
In this situation, an enumerative or instantial inductive inference would move from the premise that m/n of observed ‘A’s’ are ‘B’s’ to the conclusion that approximately m/n of all ‘A’s’ and ‘B’s’. (The usual probability qualification will be assumed to apply to the inference, than being part of the conclusion). Hereabouts the class of ‘A’s’ should be taken to include not only unobservable ‘A’s’ of future ‘A’s’, but also possible or hypothetical ‘a’s’. (An alternative conclusion would concern the probability or likelihood of the very next observed ‘A’ being a ‘B’).
The traditional or Humean problem of induction, often refereed to simply as ‘the problem of induction’, is the problem of whether and why inferences that fit this schema should be considered rationally acceptable or justified from an epistemic or cognitive standpoint, i.e., whether and why reasoning in this way is likely lead to true claims about the world. Is there any sort of argument or rationale that can be offered for thinking that conclusions reached in this way are likely to be true if the corresponding premiss is true or even that their chances of truth are significantly enhanced?
Hume’s discussion of this deals explicitly with cases where all observed ‘A’s’ ae ‘B’s’, but his argument applies just as well to the more general casse. His conclusion is entirely negative and sceptical: inductive inferences are not rationally justified, but are instead the result of an essentially a-rational process, custom or habit. Hume challenges the proponent of induction to supply a cogent line of reasoning that leads from an inductive premise to the corresponding conclusion and offers an extremely influential argument in the form of a dilemma, to show that there can be no such reasoning. Such reasoning would, ne argues, have to be either a priori demonstrative reasoning concerning relations of ideas or ‘experimental’, i.e., empirical, reasoning concerning mattes of fact to existence. It cannot be the former, because all demonstrative reasoning relies on the avoidance of contradiction, and it is not a contradiction to suppose that ‘the course of nature may change’, tat an order that was observed in the past will not continue in the future: but it also cannot be the latter, since any empirical argument would appeal to the success of such reasoning in previous experience, and the justifiability of generalizing from previous experience is precisely what is at issue - s o that any such appeal would be question-begging, so then, there can be no such reasoning.
An alternative version of the problem may be obtained by formulating it with reference to the so-called Principle of Induction, which says roughly that the future will resemble the last or, that unobserved cases will resemble observe cases. An inductive argument may be viewed as enthymematic, with this principle serving as a suppressed premiss, in which case the issue is obviously how such a premise can be justified. Hume’s argument is then that no such justification is possible: the principle cannot be justified a priori i t is not contradictory to den y it: it cannot be justified by appeal to its having been true in pervious experience without obviously begging te question.
The predominant recent responses to the problem of induction, at least in the analytic tradition, in effect accept the main conclusion of Hume’s argument, viz. That inductive inferences cannot be justified i the sense of showing that the conclusion of such an inference is likely to be truer if the premise is true, and thus attempt to find some other sort of justification for induction.
Bearing upon, and if not taken into account the term ‘induction’ is most widely used for any process of reasoning that takes ‘u’ from empirical premises to empirical conclusions support b y the premise, but not deductiverly entailed by them. Inductive arguments are therefore kinds of amplicative argument, in which something beyond the content of the premises is inferred as probable or supported by them. Induction is, however, commonly distinguished from arguments to theoretical explanations, which share this amplicative character, by being confined to inference in which the conclusion involves the same properties or relations as the premises. The central example is induction by simple enumeration, where from premiss telling that Fa, Fb, Fc. , where a, b, c, are all of some kind ‘G’, i t is inferred ‘G’s’ from outside the sample, such as future ‘G’s’ will be ‘F’, or perhaps other person deceive them, children may well infer that everyone is a deceiver. Different but similar inferences are those from the past possession of a property by some object to the same object’s future possession, or from the constancy of some law-like pattern in events, and states of affairs to its future constancy: all objects we know of attract each the with a fore inversely proportional to the square of the distance between them, so perhaps they all do so, ad always will do so.
The rational basis of any inference was challenged by David Hume (1711-76), who believed that induction of nature, and merely reflected a habit or custom of the mind. Hume was not therefore sceptical about the propriety of processes of induct ion, but sceptical about the tole 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 is 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 t is not. It is also recognized that actual inductive habits are more complex than those of simple and science pay attention to such factors as variations within the sample of giving ‘us’ the evidence, the application of ancillary beliefs about the order of nature, and so on. Nevertheless, the fundamental problem remains that any experience shows ‘us’ only events occurring within a very restricted part of the vast spatial temporal order about which we then come to believe things.
All the same, the classical problem of induction is often phrased in terms of finding some reason to expect that nature is uniform. In Fact, Fiction and Forecast (1954) Goodman showed that we need in addition some reason for preferring some uniformities to others, for without such a selection the uniformity of nature is vacuous. Thus, suppose that all examined emeralds have been green. Uniformity would lead ‘us’ to expect that future emeralds will be green as well. But now we define a predicate grue: χ is grue if and only if χ is examined before time ‘T’ and is green, or χ is examined after ‘T’ and is blue? Let ’T’ refer to some time around the present. Then if newly examined emeralds are like previous ones in respect of being grue, they will be blue. We prefer blueness a basis of prediction to gluiness, but why?
Goodman argued that although his new predicate appears to be gerrymandered, and itself involves a reference to a difference, this is just aparohial or language-relative judgement, there being no language-independent standard of similarity to which to appeal. Other philosophers have not been convinced by this degree of linguistic relativism. What remains clear that the possibility of these ‘bent’ predicates put a decisive obstacle in face of purely logical and syntactical approaches to problems of ‘confirmation?’.
Nevertheless, in the potential of change we are to think up to the present time but although virtue epistemology has good initial plausibility, we are faced apart by some substantial objections. The first of an objection, which virtue epistemology face is a version of the generality problem. We may understand the problem more clearly if we were to consider the following criterion for justified belief, which results from our explanation of (J):
(J ʹ) ‘S’ is justified in believing that ‘p’ if and entirely if.
(1) there is a field ‘F’ and a set of circumstances ‘C’ such that
(a) ‘S’ is in ‘C’ with respect to the proposition that ‘p’, and
(b) ‘S’ is in ‘C’ with respect to the proposition that ‘p’, and
(e) If ‘S’ were in ‘C’ with respect to a proposition in ‘F’.
Then ‘S’ would very likely believe correctly with regard to
that proposition.
The problem arises in how we are to select an appropriate ‘F’ and ‘C’. For given any true belief that ‘p’, we can always come up with a field ‘F’ and a set of circumstances ‘C’, such that ‘S’ is perfectly reliable in ‘F’ and ‘C’. For any true belief that ‘p’, let ‘F’s’ be the field including only the propositions ‘p’ and ‘not-p’. Let ‘C’ include whatever circumstances there are which causes ‘p’s’ to be true, together with the circumstanced which causes ‘S’ to believe that ‘p’. Clearly, ‘S’ is perfectly reliable with respect to propositions in this field in these circumstances. But we do not want to say that all of S’s true beliefs are justified for ‘S’. And of course, there is an analogous problem in the other direction of generality. For given any belief that ‘p’, we can always specify a field of propositions ‘F’ and a set of circumstances ‘C’, such that ‘p’ is in ‘F’, ‘S’ is in ‘C’, and ‘S’ is not reliable with respect to propositions in ‘F’ in ‘C’.
Variations of this view have been advanced for both knowledge and justified belief. The first formulation of a reliability account of knowing appeared in a note by F.P. Ramsey (1931), who said that a belief was knowledge if it is true, certain and obtained by a reliable process. P. Unger (1968) suggested that ‘S’ knows that ‘p’ just in case it is not at all accidental that ‘S’ is right about its being the case that ‘p’. D.M. Armstrong (1973) drew an analogy between a thermometer that reliably indicates the temperature and a belief that reliably indicate the truth. Armstrong said that a non-inferential belief qualified as knowledge if the belief has properties that are nominally sufficient for its truth, i.e., guarantee its truth via laws of nature.
Closely allied to the nomic sufficiency account of knowledge, primarily due to F.I. Dretske (19712, 1981), A.I. Goldman (1976, 1986) and R. Nozick (1981). The core of tis approach is that S’s belief that ‘p’ qualifies as knowledge just in case ‘S’ believes ‘p’ because of reasons that would not obtain unless ‘p’s’ being true, or because of a process or method that would not yield belief in ‘p’ if ‘p’ were not true. For example, ‘S’ would not have his current reasons for believing there is a telephone before him, or would not come to believe this, unless there was a telephone before him. Thus, there is a counterfactual reliable guarantor of the belief’s being true. A variant of the counterfactual approach says that ‘S’ knows that ‘p’ only if there is no ‘relevant alterative’ situation in which ‘p’ is false but ‘S’ would still believe that ‘p’.
To a better understanding, this interpretation is to mean that the alterative attempt to accommodate any of an opposing strand in our thinking about knowledge one interpretation is an absolute concept, which is to mean that the justification or evidence one must have in order to know a proposition ‘p’ must be sufficient to eliminate all the alternatives to ‘p’ (where an alternative to a proposition ‘p’ is a proposition incompatible with ‘p’). That is, one’s justification or evidence for ‘p’ must be sufficient fort one to know that every alternative to ‘p’ is false. These elements of our thinking about knowledge are exploited by sceptical argument. These arguments call our attention to alternatives that our evidence cannot eliminate. For example, (Dretske, 1970), when we are at the zoo. We might claim to know that we see a zebra on the basis of certain visual evidence, namely a zebra-like appearance. The sceptic inquires how we know that we are not seeing a clearly disguised mule. While we do have some evidence against the likelihood of such a deception, intuitively it is not strong enough for ‘us’ to know that we are not so deceived. By pointing out alternatives of this nature that cannot eliminate, as well as others with more general application (dreams, hallucinations, etc.), the sceptic appears to show that this requirement that our evidence eliminate every alternative is seldom, if ever, met.
The above considerations show that virtue epistemology must say more about the selection of relevant fields and sets of circumstances. Establishing addresses the generality problem by introducing the concept of a design plan for our intellectual faculties. Relevant specifications for fields and sets of circumstances are determined by this plan. One might object that this approach requires the problematic assumption of a Designer of the design plan. But Plantinga disagrees on two counts: He does not think that the assumption is needed, or that it would be problematic. Plantinga discusses relevant material in Plantinga (1986, 1987 and 1988). Ernest Sosa addresses the generality problem by introducing the concept of an epistemic perspective. In order to have reflective knowledge, ‘S’ must have a true grasp of the reliability of her faculties, this grasp being itself provided by a ‘faculty of faculties’. Relevant specifications of an ‘F’ and ‘C’ are determined by this perspective. Alternatively, Sosa has suggested that relevant specifications are determined by the purposes of the epistemic community. The idea is that fields and sets of circumstances are determined by their place in useful generalizations about epistemic agents and their abilities to act as reliable-information sharers.
The second objection which virtue epistemology faces are that (J) and
(J ʹ) are too strong. It is possible for ‘S’ to be justified in believing that ‘p’, even when S’s intellectual faculties are largely unreliable. Suppose, for example, that Jane’s beliefs about the world around her are true. It is clear that in this case Jane’s faculties of perception are almost wholly unreliable. But we would not want to say that none of Jane’s perceptual beliefs are justified. If Jane believes that there is a tree in her yard, and she vases the belief on the usual tree-like experience, then it seems that she is as justified as we would be regarded a substitutable belief.
Sosa addresses the current problem by arguing that justification is relative to an environment ‘E’. Accordingly, ‘S’ is justified in believing that ‘p’ relative to ‘E’, if and only if S’s faculties would be reliable in ‘E’. Note that on this account, ‘S’ need not actually be in ‘E’ in order for ‘S’ to be justified in believing some proposition relative to ‘E’. This allows Soda to conclude that Jane has justified belief in the above case. For Jane is justified in her perceptual beliefs relative to our environment, although she is not justified in those beliefs relative to the environment in which they have actualized her.
We have earlier made mention about analyticity, but the true story of analyticity is surprising in many ways. Contrary to received opinion, it was the empiricist Locke rather than the rationalist Kant who had the better information account of this type or deductive proposition. Frége and Rudolf Carnap (1891-1970) A German logician positivist whose first major works was “Der logische Aufbau der Welt” (1926, trs, as “The Logical Structure of the World,” 1967). Carnap pursued the enterprise of clarifying the structures of mathematics and scientific language (the only legitimate task for scientific philosophy) in “Logische Syntax der Sprache” (1934, trans. As “The Logical Syntax of Language,” 1937). Yet, refinements continued with “Meaning and Necessity” (1947), while a general losing of the original ideal of reduction culminated in the great “Logical Foundations of Probability” and the most importantly single work of ‘confirmation theory’ in 1950. Other works concern the structure of physics and the concept of entropy.
Both, Frége and Carnap, represented as analyticity’s best friends in this century, did as much to undermine it as its worst enemies. Quine (1908-) whose early work was on mathematical logic, and issued in “A System of Logistic” (1934), “Mathematical Logic” (1940) and “Methods of Logic” (1950) it was with this collection of papers a “Logical Point of View” (1953) that his philosophical importance became widely recognized, also, Putman (1926-) his concern in the later period has largely been to deny any serious asymmetry between truth and knowledge as it is obtained in natural science, and as it is obtained in morals and even theology. Books include “Philosophy of logic” (1971), “Representation and Reality” (1988) and “Renewing Philosophy (1992). Collections of his papers include “Mathematics, Master, sand Method” (1975), “Mind, Language, and Reality” (1975), and “Realism and Reason (1983). Both of which represented as having refuted the analytic/synthetic distinction, not only did no such thing, but, in fact, contributed significantly to undoing the damage done by Frége and Carnap. Finally, the epistemological significance of the distinctions is nothing like what it is commonly taken to be.
Locke’s account of an analyticity proposition as, for its time, everything that a succinct account of analyticity should be (Locke, 1924, pp. 306-8) he distinguished two kinds of analytic propositions, identified propositions in which we affirm the said terms if itself, e.g., ‘Roses are roses’, and predicative propositions in which ‘a part of the complex idea is predicated of the name of the whole’, e.g., ‘Roses are flowers’ (pp. 306-7). Locke calls such sentences ‘trifling’ because a speaker who uses them ‘trifles with words’. A synthetic sentence, in contrast, such as a mathematical theorem, states ‘a truth and conveys with its informative real knowledge’. Correspondingly, Locke distinguishes two kinds of ‘ necessary consequences’, analytic entailment where validity depends on the literal containment of the conclusions in the premiss and synthetic entailments where it does not. (Locke did not originate this concept-containment notion of analyticity. It is discussions by Arnaud and Nicole, and it is safe to say it has been around for a very long time (Arnaud, 1964).
Kant’s account of analyticity, which received opinion tells ‘us’ is the consummate formulation of this notion in modern philosophy, is actually a step backward. What is valid in his account is not novel, and what is novel is not valid. Kant presents Locke’s account of concept-containment analyticity, but introduces certain alien features, the most important being his characterizations of most important being his characterization of analytic propositions as propositions whose denials are logical contradictions (Kant, 1783). This characterization suggests that analytic propositions based on Locke’s part-whole relation or Kant’s explicative copula are a species of logical truth. But the containment of the predicate concept in the subject concept in sentences like ‘Bachelors are unmarried’ is a different relation from containment of the consequent in the antecedent in a sentence like ‘If John is a bachelor, then John is a bachelor or Mary read Kant’s Critique’. The former is literal containment whereas, the latter are, in general, not. Talk of the ‘containment’ of the consequent of a logical truth in the metaphorical, a way of saying ‘logically derivable’.
Kant’s conflation of concept containment with logical containment caused him to overlook the issue of whether logical truths are synthetically deductive and the problem of how he can say mathematical truths are synthetically deductive when they cannot be denied without contradiction. Historically. , the conflation set the stage for the disappearance of the Lockean notion. Frége, whom received opinion portrays as second only to Kant among the champions of analyticity, and Carnap, who it portrays as just behind Frége, was jointly responsible for the appearance of concept-containment analyticity.
Frége was clear about the difference between concept containment and logical containment, expressing it as like the difference between the containment of ‘beams in a house’ the containment of a ‘plant in the seed’ (Frége, 1853). But he found the former, as Kant formulated it, defective in three ways: It explains analyticity in psychological terms, it does not cover all cases of analytic propositions, and, perhaps, most important for Frége’s logicism, its notion of containment is ‘unfruitful’ as a definition; mechanisms in logic and mathematics (Frége, 1853). In an insidious containment between the two notions of containment, Frége observes that with logical containment ‘we are not simply talking out of the box again what we have just put inti it’. This definition makes logical containment the basic notion. Analyticity becomes a special case of logical truth, and, even in this special case, the definitions employ the power of definition in logic and mathematics than mere concept combination.
Carnap, attempting to overcome what he saw a shortcoming in Frége’s account of analyticity, took the remaining step necessary to do away explicitly with Lockean-Kantian analyticity. As Carnap saw things, it was a shortcoming of Frége’s explanation that it seems to suggest that definitional relations underlying analytic propositions can be extra-logic in some sense, say, in resting on linguistic synonymy. To Carnap, this represented a failure to achieve a uniform formal treatment of analytic propositions and left ‘us’ with a dubious distinction between logical and extra-logical vocabulary. Hence, he eliminated the reference to definitions in Frége’s explanation of analyticity by introducing ‘meaning postulates’, e.g., statements such as (∀χ) (χ is a bachelor-is unmarried) (Carnap, 1965). Like standard logical postulate on which they were modelled, meaning postulates express nothing more than constrains on the admissible models with respect to which sentences and deductions are evaluated for truth and validity. Thus, despite their name, its asymptomatic-balance having to pustulate itself by that in what it holds on to not more than to do with meaning than any value-added statements expressing an indispensable truth. In defining analytic propositions as consequences of (an explained set of) logical laws, Carnap explicitly removed the one place in Frége’s explanation where there might be room for concept containment and with it, the last trace of Locke’s distinction between semantic and other ‘necessary consequences’.
Quine, the staunchest critic of analyticity of our time, performed an invaluable service on its behalf-although, one that has come almost completely unappreciated. Quine made two devastating criticism of Carnap’s meaning postulate approach that expose it as both irrelevant and vacuous. It is irrelevant because, in using particular words of a language, meaning postulates fail to explicate analyticity for sentences and languages generally, that is, they do not define it for variables ‘S’ and ‘L’ (Quine, 1953). It is vacuous because, although meaning postulates tell ‘us’ what sentences are to count as analytic, they do not tell ‘us’ what it is for them to be analytic.
Received opinion gas it that Quine did much more than refute the analytic/synthetic distinction as Carnap tried to draw it. Received opinion has that Quine demonstrated there is no distinction, however, anyone might try to draw it. Nut this, too, is incorrect. To argue for this stronger conclusion, Quine had to show that there is no way to draw the distinction outside logic, in particular theory in linguistic corresponding to Carnap’s, Quine’s argument had to take an entirely different form. Some inherent feature of linguistics had to be exploited in showing that no theory in this science can deliver the distinction. But the feature Quine chose was a principle of operationalist methodology characteristic of the school of Bloomfieldian linguistics. Quine succeeds in showing that meaning cannot be made objective sense of in linguistics. If making sense of a linguistic concept requires, as that school claims, operationally defining it in terms of substitution procedures that employ only concepts unrelated to that linguistic concept. But Chomsky’s revolution in linguistics replaced the Bloomfieldian taxonomic model of grammars with the hypothetico-deductive model of generative linguistics, and, as a consequence, such operational definition was removed as the standard for concepts in linguistics. The standard of theoretical definition that replaced it was far more liberal, allowing the members of as family of linguistic concepts to be defied with respect to one another within a set of axioms that state their systematic interconnections -the entire system being judged by whether its consequences are confirmed by the linguistic facts. Quine’s argument does not even address theories of meaning based on this hypothetico-deductive model (Katz, 1988 and 1990).
Putman, the other staunch critic of analyticity, performed a service on behalf of analyticity fully on a par with, and complementary to Quine’s, whereas, Quine refuted Carnap’s formalization of Frége’s conception of analyticity, Putman refuted this very conception itself. Putman put an end to the entire attempt, initiated by Fridge and completed by Carnap, to construe analyticity as a logical concept (Putman, 1962, 1970, 1975a).
However, as with Quine, received opinion has it that Putman did much more. Putman in credited with having devised science fiction cases, from the robot cat case to the twin earth cases, that are counter examples to the traditional theory of meaning. Again, received opinion is incorrect. These cases are only counter examples to Frége’s version of the traditional theory of meaning. Frége’s version claims both (1) that senses determines reference, and (2) that there are instances of analyticity, say, typified by ‘cats are animals’, and of synonymy, say typified by ‘water’ in English and ‘water’ in twin earth English. Given (1) and (2), what we call ‘cats’ could not be non-animals and what we call ‘water’ could not differ from what the earthier twin called ‘water’. But, as Putman’s cases show, what we call ‘cats’ could be Martian robots and what they call ‘water’ could be something other than H2O Hence, the cases are counter examples to Frége’s version of the theory.
Putman himself takes these examples to refute the traditional theory of meaning per se, because he thinks other versions must also subscribe to both (1) and. (2). He was mistaken in the case of (1). Frége’s theory entails (1) because it defines the sense of an expression as the mode of determination of its referent (Fridge, 1952, pp. 56-78). But sense does not have to be defined this way, or in any way that entails (1). / it can be defined as (D).
(D) Sense is that aspect of the grammatical structure of expressions and sentences responsible for their having sense properties and relations like meaningfulness, ambiguity, antonymy, synonymy, redundancy, analyticity and analytic entailment. (Katz, 1972 & 1990).
(Note that this use of sense properties and relations is no more circular than the use of logical properties and relations to define logical form, for example, as that aspect of grammatical structure of sentences on which their logical implications depend.)
(D) makes senses internal to the grammar of a language and reference an external; matter of language use -typically involving extra-linguistic beliefs, Therefore, (D) cuts the strong connection between sense and reference expressed in (1), so that there is no inference from the modal fact that ‘cats’ refer to robots to the conclusion that ‘Cats are animals’ are not analytic. Likewise, there is no inference from ‘water’ referring to different substances on earth and twin earth to the conclusion that our word and theirs are not synonymous. Putman’s science fiction cases do not apply to a version of the traditional theory of meaning based on (D).
The success of Putman and Quine’s criticism in application to Fridge and Carnap’s theory of meaning together with their failure in application to a theory in linguistics based on (D) creates the option of overcoming the shortcomings of the Lockean-Kantian notion of analyticity without switching to a logical notion. this option was explored in the 1960s and 1970s in the course of developing a theory of meaning modelled on the hypothetico-deductive paradigm for grammars introduced in the Chomskyan revolution (Katz, 1972).
This theory automatically avoids Frége’s criticism of the psychological formulation of Kant’s definition because, as an explication of a grammatical notion within linguistics, it is stated as a formal account of the structure of expressions and sentences. The theory also avoids Frége’s criticism that concept-containment analyticity is not ‘fruitful’ enough to encompass truths of logic and mathematics. The criticism rests on the dubious assumption, parts of Frége’s logicism, that analyticity ‘should’ encompass them, (Benacerraf, 1981). But in linguistics where the only concern is the scientific truth about natural concept-containment analyticity encompass truths of logic and mathematics. Moreover, since we are seeking the scientific truth about trifling propositions in natural language, we will eschew relations from logic and mathematics that are too fruitful for the description of such propositions. This is not to deny that we want a notion of necessary truth that goes beyond the trifling, but only to deny that, that notion is the notion of analyticity in natural language.
The remaining Frégean criticism points to a genuine incompleteness of the traditional account of analyticity. There are analytic relational sentences, for example, Jane walks with those with whom she strolls, ’Jack kills those he himself has murdered’, etc., and analytic entailment with existential conclusions, for example, ‘I think’, therefore ‘I exist’. The containment in these sentences is just as literal as that in an analytic subject-predicate sentence like ‘Bachelors are unmarried’, such are shown to have a theory of meaning construed as a hypothetico-deductive systemisations of sense as defined in (D) overcoming the incompleteness of the traditional account in the case of such relational sentences.
Such a theory of meaning makes the principal concern of semantics the explanation of sense properties and relations like synonymy, an antonymy, redundancy, analyticity, ambiguity, etc. Furthermore, it makes grammatical structure, specifically, senses structure, the basis for explaining them. This leads directly to the discovery of a new level of grammatical structure, and this, in turn, makes possible a proper definition of analyticity. To see this, consider two simple examples. It is a semantic fact that ‘a male bachelor’ is redundant and that ‘spinster’ is synonymous with ‘woman who never married; . In the case of the redundancy, we have to explain the fact that the sense of the modifier ‘male’ is already contained in the sense of its head ‘bachelor’. In the case of the synonymy, we have to explain the fact that the sense of ‘sinister’ is identical to the sense of ‘woman who never married’ (compositionally formed from the senses of ‘woman’, ‘never’ and ‘married’). But is so fas as such facts concern relations involving the components of the senses of ‘bachelor’ and ‘spinster’ and is in as far as these words are syntactic simple, there must be a level of grammatical structure at which syntactic simple are semantically complex. This, in brief, is the route by which we arrive a level of ‘decompositional semantic structure; that is the locus of sense structures masked by syntactically simple words.
Discovery of this new level of grammatical structure was followed by attemptive efforts as afforded to represent the structure of the sense’s finds there. Without going into detail of sense representations, it is clear that, once we have the notion of decompositional representation, we can see how to generalize Locke and Kant’s informal, subject-predicate account of analyticity to cover relational analytic sentences. Let a simple sentence ‘S’ consisted of a - place predicate ‘P’ with terms T1 . . . ,. Tn occupying its argument places. Then:
The analysis in case, first, S has a term T1 that consists of a place predicate Q (m > n or m = n) with terms occupying its argument places, and second, P is contained in Q and, for each term TJ. . . . T1 + I ,. . . . , Tn, TJ is contained in the term of Q that occupies the argument place in Q corresponding to the argument place occupied by TJ in P. (Katz, 1972)
To see how (A) works, suppose that ‘stroll’ in ‘Jane walks with those whom she strolls’ is decompositionally represented as having the same sense as ‘walk idly and in a leisurely way’. The sentence is analytic by (A) because the predicate ‘stroll’ (the sense of ‘stroll) and the term ‘Jane’ * the sense of ‘Jane’ associated with the predicate ‘walk’) is contained in the term ‘Jane’ (the sense of ‘she herself’ associated with the predicate ‘stroll’). The containment in the case of the other terms is automatic.
The fact that (A) itself makes no reference to logical operators or logical laws indicate that analyticity for subject-predicate sentences can be extended to simple relational sentences without treating analytic sentences as instances of logical truths. Further, the source of the incompleteness is no longer explained, as Fridge explained it, as the absence of ‘fruitful’ logical apparatus, but is now explained as mistakenly treating what is only a special case of analyticity as if it were the general case. The inclusion of the predicate in the subject is the special case (where n = 1) of the general case of the inclusion of an–place predicate (and its terms) in one of its terms. Noting that the defects by which Quine complained of in connection with Carnap’s meaning-postulated explication are absent in (A). (A) contains no words from a natural language. It explicitly uses variable ‘S’ and variable ‘L’ because it is a definition in linguistic theory. Moreover, (A) tell ‘us’ what property is in virtue of which a sentence is analytic, namely, redundant predication, that is, the predication structure of an analytic sentence is already found in the content of its term structure.
Received opinion has been anti-Lockean in holding that necessary consequences in logic and language belong to one and the same species. This seems wrong because the property of redundant predication provides a non-logic explanation of why true statements made in the literal use of analytic sentences are necessarily true. Since the property ensures that the objects of the predication in the use of an analytic sentence are chosen on the basis of the features to be predicated of them, the truth-conditions of the statement are automatically satisfied once its terms take on reference. The difference between such a linguistic source of necessity and the logical and
mathematical sources vindicate Locke’s distinction between two kinds of ‘necessary consequence’.
Received opinion concerning analyticity contains another mistake. This is the idea that analyticity is inimical to science, in part, the idea developed as a reaction to certain dubious uses of analyticity such as Frége’s attempt to establish logicism and Schlick’s, Ayer’s and other logical; postivists attempt to deflate claims to metaphysical knowledge by showing that alleged deductive truths are merely empty analytic truths (Schlick, 1948, and Ayer, 1946). In part, it developed as also a response to a number of cases where alleged analytic, and hence, necessary truths, e.g., the law of excluded a seeming next-to-last subsequent to have been taken as open to revision, such cases convinced philosophers like Quine and Putnam that the analytic/synthetic distinction is an obstacle to scientific progress.
The problem, if there is one is one is not analyticity in the concept-containment sense, but the conflation of it with analyticity in the logical sense. This made it seem as if there is a single concept of analyticity that can serve as the grounds for a wide range of deductive truths. But, just as there are two analytic/synthetic distinctions, so there are two concepts of concept. The narrow Lockean/Kantian distinction is based on a narrow notion of expressions on which concepts are senses of expressions in the language. The broad Frégean/Carnap distinction is based on a broad notion of concept on which concepts are conceptions -often scientific one about the nature of the referent (s) of expressions (Katz, 1972) and curiously Putman, 1981). Conflation of these two notions of concepts produced the illusion of a single concept with the content of philosophical, logical and mathematical conceptions , but with the status of linguistic concepts. This encouraged philosophers to think that they were in possession of concepts with the contentual representation to express substantive philosophical claims, e.g., such as Fridge, Schlick and Ayer’s, . . . and so on, and with a status that trivializes the task of justifying them by requiring only linguistic grounds for the deductive propositions in question.
Finally, there is an important epistemological implication of separating the broad and narrowed notions of analyticity. Fridge and Carnap took the broad notion of analyticity to provide foundations for necessary and a priority, and, hence, for some form of rationalism, and nearly all rationalistically inclined analytic philosophers followed them in this. Thus, when Quine dispatched the Frége-Carnap position on analyticity, it was widely believed that necessary, as a priority, and rationalism had also been despatched, and, as a consequence. Quine had ushered in an ‘empiricism without dogmas’ and ‘naturalized epistemology’. But given there is still a notion of analyticity that enables ‘us’ to pose the problem of how necessary, synthetic deductive knowledge is possible (moreover, one whose narrowness makes logical and mathematical knowledge part of the problem), Quine did not under-cut the foundations of rationalism. Hence, a serious reappraisal of the new empiricism and naturalized epistemology is, to any the least, is very much in order (Katz, 1990).
In some areas of philosophy and sometimes in things that are less than important we are to find in the deductively/inductive distinction in which has been applied to a wide range of objects, including concepts, propositions, truths and knowledge. Our primary concern will, however, be with the epistemic distinction between deductive and inductive knowledge. The most common way of marking the distinction is by reference to Kant’s claim that deductive knowledge is absolutely independent of all experience. It is generally agreed that S’s knowledge that ‘p’ is independent of experience just in case S’s belief that ‘p’ is justified independently of experience. Some authors (Butchvarov, 1970, and Pollock, 1974) are, however, in finding this negative characterization of deductive unsatisfactory knowledge and have opted for providing a positive characterisation in terms of the type of justification on which such knowledge is dependent. Finally, others (Putman, 1983 and Chisholm, 1989) have attempted to mark the distinction by introducing concepts such as necessity and rational unrevisability than in terms of the type of justification relevant to deductive knowledge.
One who characterizes deductive knowledge in terms of justification that is independent of experience is faced with the task of articulating the relevant sense of experience, and proponents of the deductive ly cites ‘intuition’ or ‘intuitive apprehension’ as the source of deductive justification. Furthermore, they maintain that these terms refer to a distinctive type of experience that is both common and familiar to most individuals. Hence, there is a broad sense of experience in which deductive justification is dependent of experience. An initially attractive strategy is to suggest that theoretical justification must be independent of sense experience. But this account is too narrow since memory, for example, is not a form of sense experience, but justification based on memory is presumably not deductive. There appear to remain only two options: Provide a general characterization of the relevant sense of experience or enumerates those sources that are experiential. General characterizations of experience often maintain that experience provides information specific to the actual world while non-experiential sources provide information about all possible worlds. This approach, however, reduces the concept of non-experiential justification to the concept of being justified in believing a necessary truth. Accounts by enumeration have two problems (1) there is some controversy about which sources to include in the list, and (2) there is no guarantee that the list is complete. It is generally agreed that perception and memory should be included. Introspection, however, is problematic, and beliefs about one’s conscious states and about the manner in which one is appeared to are plausible regarded as experientially justified. Yet, some, such as Pap (1958), maintain that experiments in imagination are the source of deductive justification. Even if this contention is rejected and deductive justification is characterized as justification independent of the evidence of perception, memory and introspection, it remains possible that there are other sources of justification. If it should be the case that clairvoyance, for example, is a source of justified beliefs, such beliefs would be justified deductively on the enumerative account.
The most common approach to offering a positive characterization of deductive justification is to maintain that in the case of basic deductive propositions, understanding the proposition is sufficient to justify one in believing that it is true. This approach faces two pressing issues. What is it to understand a proposition in the manner that suffices for justification? Proponents of the approach typically distinguish understanding the words used to express a proposition from apprehending the proposition itself and maintain that it is the latter which are relevant to deductive justification. But this move simply shifts the problem to that of specifying what it is to apprehend a proposition. Without a solution to this problem, it is difficult, if possible, to evaluate the account since one cannot be sure that the account since on cannot be sure that the requisite sense of apprehension does not justify paradigmatic inductive propositions as well. Even less is said about the manner in which apprehending a proposition justifies one in believing that it is true. Proponents are often content with the bald assertions that one who understands a basic deductive proposition can thereby ‘see’ that it is true. But what requires explanation is how understanding a proposition enable one to see that it is true.
Difficulties in characterizing deductive justification in a term either of independence from experience or of its source have led, out-of-the-ordinary to present the concept of necessity into their accounts, although this appeal takes various forms. Some have employed it as a necessary condition for deductive justification, others have employed it as a sufficient condition, while still others have employed it as both. In claiming that necessity is a criterion of the deductive. Kant held that necessity is a sufficient condition for deductive justification. This claim, however, needs further clarification. There are three theses regarding the relationship between the theoretically and the necessary that can be distinguished: (I) if ‘p’ is a necessary proposition and ‘S’ is justified in believing that ‘p’ is necessary, then S’s justification is deductive: (ii) If ‘p’ is a necessary proposition and ‘S’ is justified in believing that ‘p’ is necessarily true, then S’s justification is deductive: And (iii) If ‘p’ is a necessary proposition and ‘S’ is justified in believing that ‘p’, then S’s justification is deductive. For example, many proponents of deductive contend that all knowledge of a necessary proposition is deductive. (2) and (3) have the shortcoming of setting by stipulation the issue of whether inductive knowledge of necessary propositions is possible. (I) does not have this shortcoming since the recent examples offered in support of this claim by Kriple (1980) and others have been cases where it is alleged that knowledge of the ‘truth value’ of necessary propositions is knowable inductive. (i) has the shortcoming, however, of ruling out the possibility of being justified either in believing that a proposition is necessary on the basis of testimony or else sanctioning such justification as deductive. (ii) and (iii), of course, suffer from an analogous problem. These problems are symptomatic of a general shortcoming of the approach: It attempts to provide a sufficient condition for deductive justification solely in terms of the modal status of the proposition believed without making reference to the manner in which it is justified. This shortcoming, however, can be avoided by incorporating necessity as a necessary but not sufficient condition for a prior justification as, for example, in Chisholm (1989). Here there are two theses that must be distinguished: (1) If ‘S’ is justified deductively in believing that ‘p’, then ‘p’ is necessarily true; and (2) If ‘S’ is justified deductively in believing that ‘p’. Then ‘p’ is a necessary proposition. (1) and (2), however, allows this possibility. A further problem with both (1) and (2) is that it is not clear whether they permit deductively justified beliefs about the modal status of a proposition. For they require that in order for ‘S’ to be justified deductively in believing that ‘p’ is a necessary preposition it must be necessary that ‘p’ is a necessary proposition. But the status of iterated modal propositions is controversial. Finally, (1) and (2) both preclude by stipulation the position advanced by Kripke (1980) and Kitcher (1980) that there is deductive knowledge of contingent propositions.
The concept of rational unrevisability has also been invoked to characterize deductive justification. The precise sense of rational unrevisability has been presented in different ways. Putnam (1983) takes rational unrevisability to be both a necessary and sufficient condition for deductive justification while Kitcher (1980) takes it to be only a necessary condition. There are also two different senses of rational unrevisability that have been associated with the deductive (I) a proposition is weakly unreviable just in case it is rationally unrevisable in light of any future ‘experiential’ evidence, and (II) a proposition is strongly unrevisable just in case it is rationally unrevisable in light of any future evidence. Let us consider the plausibility of requiring either form of rational unrevisability as a necessary condition for deductive justification. The view that a proposition is justified deductive only if it is strongly unrevisable entails that if a non-experiential source of justified beliefs is fallible but self-correcting, it is not a deductive source of justification. Casullo (1988) has argued that it vis implausible to maintain that a proposition that is justified non-experientially is ‘not’ justified deductively merely because it is revisable in light of further non-experiential evidence. The view that a proposition is justified deductively only if it is weakly unrevisable is not open to this objection since it excludes only fraction in light of experiential evidence. It does, however, face a different problem. To maintain that S’s justified belief that ‘p’ is justified deductively is to make a claim about the type of evidence that justifies ‘S’ in believing that ‘p’. On the other hand, to maintain that S’s justified belief that ‘p’ is rationally revisable in light of experiential evidence is to make a claim about the type of evidence that can defeat S’s justification for believing that ‘p’ that a claim about the type of evidence that justifies ‘S’ in believing that ‘p’. Hence, it has been argued by Edidin (1984) and Cassel (1988) that to hold that a belief is justified deductively only if it is weakly unrevisable is either to confuse supporting evidence with defeating evidence or to endorse some implausible this about the relationship between the two such as that if evidence of the sort as the kind ‘A’ can defeat the justification conferred on S’s belief that ‘p’ by evidence of kind ‘B’ then S’s justification for believing that ‘p’ is based on evidence of kind ‘A’.
The most influential idea in the theory of meaning in the past hundred years is the thesis that the meaning of an indicative sentence is given by its truth-conditions. On this conception, to understand a sentence is to know its truth-conditions. The conception was first clearly formulated by Fridge, was developed in a distinctive way by the early Wittgenstein, and is a leading idea of Donald Herbert Davidson (1917-), who is also known for rejection of the idea of as conceptual scheme, thought of as something peculiar to one language or one way of looking at the world, arguing that where the possibility of translation stops so dopes the coherence of the idea that there is anything to translate. His [papers are collected in the “Essays on Actions and Events” (1980) and “Inquiries into Truth and Interpretation” (1983). However, the conception has remained so central that those who offer opposing theories characteristically define their position by reference to it.
Wittgenstein’s main achievement is a uniform theory of language that yields an explanation of logical truth. A factual sentence achieves sense by dividing the possibilities exhaustively into two groups, those that would make it true and those that would make it false. A truth of logic does not divide the possibilities but comes out true in all of them. It, therefore, lacks sense and says nothing, but it is not nonsense. It is a self-cancellation of sense, necessarily true because it is a tautology, the limiting case of factual discourse, like the figure ‘0' in mathematics. Language takes many forms and even factual discourse does not consist entirely of sentences like ‘The fork is placed to the left of the knife’. However, the first thing that he gave up was the idea that this sentence itself needed further analysis into basic sentences mentioning simple objects with no internal structure. He was to concede, that a descriptive word will often get its meaning partly from its place in a system, and he applied this idea to colour-words, arguing that the essential relations between different colours do not indicate that each colour has an internal structure that needs to be taken apart. On the contrary, analysis of our colour-words would only reveal the same pattern-ranges of incompatible properties-recurring at every level, because that is how we carve up the world.
Indeed, it may even be the case that of our ordinary language is created by moves that we ourselves make. If so, the philosophy of language will lead into the connection between the meaning of a word and the applications of it that its users intend to make. There is also an obvious need for people to understand each other’s meanings of their words. There are many links between the philosophy of language and the philosophy of mind and it is not surprising that the impersonal examination of language in the “Tractatus: was replaced by a very different, anthropocentric treatment in “Philosophical Investigations?”
If the logic of our language is created by moves that we ourselves make, various kinds of realisms are threatened. First, the way in which our descriptive language carves up the world will not be forces on ‘us’ by the natures of things, and the rules for the application of our words, which feel the external constraints, will really come from within ‘us’. That is a concession to nominalism that is, perhaps, readily made. The idea that logical and mathematical necessity is also generated by what we ourselves accomplish what is more paradoxical. Yet, that is the conclusion of Wittengenstein (1956) and (1976), and here his anthropocentricism has carried less conviction. However, a paradox is not sure of error and it is possible that what is needed here is a more sophisticated concept of objectivity than Platonism provides.
In his later work Wittgenstein brings the great problem of philosophy down to earth and traces them to very ordinary origins. His examination of the concept of ‘following a rule’ takes him back to a fundamental question about counting things and sorting them into types: ‘What qualifies as doing the same again? Of a courser, this question as an inconsequential fundamental and would suggest that we forget it and get on with the subject. But Wittgenstein’s question is not so easily dismissed. It has the naive profundity of questions that children ask when they are first taught a new subject. Such questions remain unanswered without detriment to their learning, but they point the only way to complete understanding of what is learned.
It is, nevertheless, the meaning of a complex expression in a function of the meaning of its constituents, that is, indeed, that it is just a statement of what it is for an expression to be semantically complex. It is one of the initial attractions of the conception of meaning as truths-conditions that it permits a smooth and satisfying account of the way in which the meaning of a complex expression is a dynamic function of the meaning of its constituents. On the truth-conditional conception, to give the meaning of an expression is to state the contribution it makes to the truth-conditions of sentences in which it occurs. for singular terms-proper names, indexicals, and certain pronoun’s -this is done by stating the reference of the term in question.
The truth condition of a statement is the condition the world must meet if the statement is to be true. To know this condition is equivalent to knowing the meaning of the statement. Although, this sounds as if it gives a solid anchorage for meaning, some of the security disappears when it turns out that the truth condition can only be defined by repeating the very same statement, the truth condition of ‘snow is white’ is that snow is white, the truth condition of ‘Britain would have capitulated had Hitler invaded’ is that Britain would halve capitulated had Hitler invaded. It is disputed whether this element of running-on-the-spot disqualifies truth conditions from playing the central role in a substantive theory of meaning. Truth-conditional theories of meaning are sometimes opposed by the view that to know the meaning of a statement is to be able to users it in a network of inferences.
On the truth-conditional conception, to give the meaning of expressions is to state the contributive function it makes to the dynamic function of sentences in which it occurs. For singular terms-proper names, and certain pronouns, as well are indexicals-this is done by stating the reference of the term in question. For predicates, it is done either by stating the conditions under which the predicate is true of arbitrary objects, or by stating the conditions under which arbitrary atomic sentence containing it is true. The meaning of a sentence-forming operator is given by stating its distributive contribution to the truth-conditions of a complete sentence, as a function of the semantic values of the sentences on which it operates. For an extremely simple, but nonetheless, it is a structured language, we can state the contributions various expressions make to truth conditions as follows:
A1: The referent of ‘London’ is London.
A2: The referent of ‘Paris’ is Paris.
A3: Any sentence of the form ‘a is beautiful’ is true if and only if the referent of ‘a’ is beautiful.
A4: Any sentence of the form ‘a is larger than b’ is true if and only if the referent of ‘a’ is larger than the referent of ‘b’.
A5: Any sentence of the form ‘It is not the case that A’ is true if and only if it is not the case that ‘A’ is true.
A6: Any sentence of the form “A and B’ are true if and only is ‘A’ is true and ‘B’ is true.
The principle’s A2-A6 form a simple theory of truth for a fragment of English. In this theory, it is possible to derive these consequences: That ‘Paris is beautiful’ is true if and only if Paris is beautiful (from A2 and A3), which ‘London is larger than Paris and it is not the cases that London is beautiful’ is true if and only if London is larger than Paris and it is not the case that London is beautiful (from A1 - As): And in general, for any sentence ‘A’ of this simple language, we can derive something of the form ‘A’ is true if and only if A’.
The theorist of truth conditions should insist that not every true statement about the reference of an expression be fit to be an axiom in a meaning-giving theory of truth for a language. The axiom:
London’ refers to the city in which there was a huge fire in 1666
is a true statement about the reference of ‘London?’. It is a consequence of a theory that substitutes this axiom for A! In our simple truth theory that ‘London is beautiful’ is true if and only if the city in which there was a huge fire in 1666 is beautiful. Since a subject can understand the name ‘London’ without knowing that last-mentioned truth conditions, this replacement axiom is not fit to be an axiom in a meaning-specifying truth theory. It is, of course, incumbent on a theorist of meaning as truth conditions to state the constraints on the acceptability of axioms in a way that does not presuppose a deductive, non-truth conditional conception of meaning.
Among the many challenges facing the theorist of truth conditions, two are particularly salient and fundamental. First, the theorist has to answer the charge of triviality or vacuity. Second, the theorist must offer an account of what it is for a person’s language to be truly descriptive by a semantic theory containing a given semantic axiom.
We can take the charge of triviality first. In more detail, it would run thus: Since the content of a claim that the sentence ‘Paris is beautiful’ in which is true of the divisional region, which is no more than the claim that Paris is beautiful, we can trivially describe understanding a sentence, if we wish, as knowing its truth-conditions, but this gives ‘us’ no substantive account of understanding whatsoever. Something other than a grasp to truth conditions must provide the substantive account. The charge rests upon what has been called the redundancy theory of truth, the theory that, is somewhat more discriminative. Horwich calls the minimal theory of truth, or deflationary view of truth, as fathered by Fridge and Ramsey. The essential claim is that the predicate’ . . . is true’ does not have a sense, i.e., expresses no substantive or profound or explanatory concepts that ought be the topic of philosophical enquiry. The approach admits of different versions, but centres on the points (1) that ‘it is true that p’ says no more nor less than ‘p’ (hence redundancy) (2) that in less direct context, such as ‘everything he said was true’, or ‘all logical consequences of true propositions are true’, the predicate functions as a device enabling ‘us’; to generalize than as an adjective or predicate describing the thing he said, or the kinds of propositions that follow from true propositions. For example, the second may translate as ‘ (∀ p, q) (p & p ➝ q ➝q) ‘ where there is no use of a notion of truth.
There are technical problems in interpreting all uses of the notion of truth in such ways, but they are not generally felt to be insurmountable. The approach needs to explain away apparently substantive uses of the notion, such a ;science aims at the truth’, or ‘truth is a norm governing discourse’. Indeed, postmodernist writing frequently advocates that we must abandon such norms, along with a discredited ‘objective’ conception of truth. But perhaps, we can have the norms even when objectivity is problematic, since they can be framed without mention of truth: Science wants it to be so that whenever science holds that ‘p’. Then ‘p’. Discourse is to be regulated by the principle that it is wrong to assert ‘p’ when ‘not-p’.
The disquotational theory of truth finds that the simplest formulation is the claim that expressions of the fern ‘S is true’ mean the same as expressions of the form ’S’. Some philosophers dislike the idea of sameness of meaning, and if this is disallowed, then the claim is that the two forms are equivalent in any sense of equivalence that matters. That is, it makes no difference whether people say ‘Dogs bark’ is true, or whether they say that ‘dogs bark’. In the former representation of what they say the sentence ‘Dogs bark’ is mentioned, but in the latter it appears to be used, so the claim that the two are equivalent needs careful formulation and defence. On the face of it someone might know that ‘Dogs bark’ is true without knowing what it means, for instance, if one were to find it in a list of acknowledged truths, although he does not understand English, and this is different from knowing that dogs bark. Disquotational theories are usually presented as versions of the redundancy theory of truth.
The minimal theory states that the concept of truth is exhausted by the fact that it conforms to the equivalence principle, the principle that for any proposition ‘p’, it is true that ‘p’ if and only if ‘p’. Many different philosophical theories of truth will, with suitable qualifications, accept that equivalence principle. The distinguishing feature of the minimal theory is its claim that the equivalence principle exhausts the notion of truths. It is how widely accepted, that both by opponents and supporters of truth conditional theories of meaning, that it is inconsistent to accept both minimal theory of truth and a truth conditional account of meaning (Davidson, 1990, Dummett, 1959 and Horwich, 1990). If the claim that the sentence ‘Paris is beautiful’ is true is exhausted by its equivalence to the claim that Paris is beautiful, it is circular to try to explain the sentence’s meaning in terms of its truth conditions. The minimal theory of truth has been endorsed by Ramsey, Ayer, the later Wittgenstein, Quine, Strawson, Horwich and-confusingly and inconsistently if be it correct-Fridge himself. But is the minimal theory correct?
The minimal or redundancy theory treats instances of the equivalence principle as definitional of truth for a given sentence. But in fact, it seems that each instance of the equivalence principle can itself be explained. The truths from which such an instance as:
‘London is beautiful’ is true if and only if London is beautiful
preserve a right to be interpreted specifically of A1 and A3 above? This would be a pseudo-explanation if the fact that ‘London’ refers to ‘London is beautiful’ has the truth-condition it does. But that is very implausible: It is, after all, possible to understand the name ‘London’ without understanding the predicate ‘is beautiful’. The idea that facts about the reference of particular words can be explanatory of facts about the truth conditions of sentences containing them in no way requires any naturalistic or any other kind of reduction of the notion of reference. Nor is the idea incompatible with the plausible point that singular reference can be attributed at all only to something that is capable of combining with other expressions to form complete sentences. That still leaves room for facts about an expression’s having the particular reference it does to be partially explanatory of the particular truth condition possessed by a given sentence containing it. The minimal; theory thus treats as definitional or stimulative something that is in fact open to explanation. What makes this explanation possible is that there is a general notion of truth that has, among the many links that hold it in place, systematic connections with the semantic values of sub-sentential expressions.
A second problem with the minimal theory is that it seems impossible to formulate it without at some point relying implicitly on features and principles involving truths that go beyond anything countenanced by the minimal theory. If the minimal theory treats truth as a predicate of anything linguistic, be it utterances, type-in-a-language, or whatever, then the equivalence schema will not cover all cases, but only those in the theorist’s own language. Some account has to be given of truth for sentences of other languages. Speaking of the truth of language-independence propositions or thoughts will only postpone, not avoid, this issue, since at some point principles have to be stated associating these language-independent entities with sentences of particular languages. The defender of the minimalist theory is likely to say that if a sentence ‘S’ of a foreign language is best translated by our sentence ‘p’, then the foreign sentence ‘S’ is true if and only if ‘p’. Now the best translation of a sentence must preserve the concepts expressed in the sentence. Constraints involving a general notion of truth are persuasive in a plausible philosophical theory of concepts. It is, for example, a condition of adequacy on an individualized account of any concept that there exists what is called ‘Determination Theory’ for that account-that is, a specification of how the account contributes to fixing the semantic value of that concept, the notion of a concept’s semantic value is the notion of something that makes a certain contribution to the truth conditions of thoughts in which the concept occurs. but this is to presuppose, than to elucidate, a general notion of truth.
It is also plausible that there are general constraints on the form of such Determination Theories, constraints that involve truth and which are not derivable from the minimalist’s conception. Suppose that concepts are individuated by their possession conditions. A concept is something that is capable of being a constituent of such contentual representational in a way of thinking of something-a particular object, or property, or relation, or another entity. A possession condition may in various says makes a thanker’s possession of a particular concept dependent upon his relations to his environment. Many possession conditions will mention the links between a concept and the thinker’s perceptual experience. Perceptual experience represents the world for being a certain way. It is arguable that the only satisfactory explanation of what it is for perceptual experience to represent the world in a particular way must refer to the complex relations of the experience to the subject’s environment. If this is so, then mention of such experiences in a possession condition will make possession of that condition will make possession of that concept dependent in part upon the environment relations of the thinker. Burge (1979) has also argued from intuitions about particular examples that, even though the thinker’s non-environmental properties and relations remain constant, the conceptual content of his mental state can vary if the thinker’s social environment is varied. A possession condition which property individuates such a concept must take into account the thinker’s social relations, in particular his linguistic relations.
One such plausible general constraint is then the requirement that when a thinker forms beliefs involving a concept in accordance with its possession condition, a semantic value is assigned to the concept in such a way that the belief is true. Some general principles involving truth can indeed, as Horwich has emphasized, be derived from the equivalence schema using minimal logical apparatus. Consider, for instance, the principle that ‘Paris is beautiful and London is beautiful’ is true if and only if ‘Paris is beautiful’ is true if and only if ‘Paris is beautiful’ is true and ‘London is beautiful’ is true. This follows logically from the three instances of the equivalence principle: ‘Paris is beautiful and London is beautiful’ is rue if and only if Paris is beautiful, and ‘London is beautiful’ is true if and only if London is beautiful. But no logical manipulations of the equivalence schemas will allow the deprivation of that general constraint governing possession conditions, truth and the assignment of semantic values. That constraint can have courses be regarded as a further elaboration of the idea that truth is one of the aims of judgement.
We now turn to the other question, ‘What is it for a person’s language to be correctly describable by a semantic theory containing a particular axiom, such as the axiom A6 above for conjunction?’ This question may be addressed at two depths of generality. At the shallower level, the question may take for granted the person’s possession of the concept of conjunction, and be concerned with what has to be true for the axiom correctly to describe his language. At a deeper level, an answer should not duck the issue of what it is to possess the concept. The answers to both questions are of great interest: We will take the lesser level of generality first.
When a person means conjunction by ‘sand’, he is not necessarily capable of formulating the axiom A6 explicitly. Even if he can formulate it, his ability to formulate it is not the causal basis of his capacity to hear sentences containing the word ‘and’ as meaning something involving conjunction. Nor is it the causal basis of his capacity to mean something involving conjunction by sentences he utters containing the word ‘and’. Is it then right to regard a truth theory as part of an unconscious psychological computation, and to regard understanding a sentence as involving a particular way of depriving a theorem from a truth theory at some level of conscious proceedings? One problem with this is that it is quite implausible that everyone who speaks the same language has to use the same algorithms for computing the meaning of a sentence. In the past thirteen years, thanks particularly to the work of Davies and Evans, a conception has evolved according to which an axiom like A6 is true of a person’s language only if there is a common component in the explanation of his understanding of each sentence containing the word ‘and’, a common component that explains why each such sentence is understood as meaning something involving conjunction (Davies, 1987). This conception can also be elaborated in computational terms: Suggesting that for an axiom like A6 to be true of a person’s language is for the unconscious mechanisms which produce understanding to draw on the information that a sentence of the form ‘A and B’ are true if and only if ‘A’ is true and ‘B’ is true (Peacocke, 1986). Many different algorithms may equally draw n this information. The psychological reality of a semantic theory thus involves, in Marr’s (1982) famous classification, something intermediate between his level one, the function computed, and his level two, the algorithm by which it is computed. This conception of the psychological reality of a semantic theory can also be applied to syntactic and phonol logical theories. Theories in semantics, syntax and phonology are not themselves required to specify the particular algorithms that the language user employs. The identification of the particular computational methods employed is a task for psychology. But semantics, syntactic and phonology theories are answerable to psychological data, and are potentially refutable by them-for these linguistic theories do make commitments to the information drawn upon by mechanisms in the language user.
This answer to the question of what it is for an axiom to be true of a person’s language clearly takes for granted the person’s possession of the concept expressed by the word treated by the axiom. In the example of the axiom A6, the information drawn upon is that sentences of the form ‘A and B’ are true if and only if ‘A’ is true and ‘B’ is true. This informational content employs, as it has to if it is to be adequate, the concept of conjunction used in stating the meaning of sentences containing ‘and’. So the computational answer we have returned needs further elaboration if we are to address the deeper question, which does not want to take for granted possession of the concepts expressed in the language. It is at this point that the theory of linguistic understanding has to draws upon a theory of concepts. It is plausible that the concepts of conjunction are individuated by the following condition for a thinker to possess it.
Finally, this response to the deeper question allows ‘us’ to answer two challenges to the conception of meaning as truth-conditions. First, there was the question left hanging earlier, of how the theorist of truth-conditions is to say what makes one axiom of a semantic theory is correctly in that of another, when the two axioms assign the same semantic values, but do so by means of different concepts. Since the different concepts will have different possession conditions, the dovetailing accounts, at the deeper level of what it is for each axiom to be correct for a person’s language will be different accounts. Second, there is a challenge repeatedly made by the minimalist theorists of truth, to the effect that the theorist of meaning as truth-conditions should give some non-circular account of what it is to understand a sentence, or to be capable of understanding all sentences containing a given constituent. For each expression in a sentence, the corresponding dovetailing account, together with the possession condition, supplies a non-circular account of what it is to understand any sentence containing that expression. The combined accounts for each of he expressions that comprise a given sentence together constitute a non-circular account of what it is to understand the compete sentences. Taken together, they allow the theorists of meaning as truth-conditions fully to meet the challenge.
A curious view common to that which is expressed by an utterance or sentence: The proposition or claim made about the world. By extension, the content of a predicate or other sub-sentential component is what it contributes to the content of sentences that contain it. The nature of content is the central concern of the philosophy of language, in that mental states have contents: A belief may have the content that the prime minister will resign. A concept is something that is capable of bringing a constituent of such contents. More specifically, a concept is a way of thinking of something-a particular object, or property or relation, or another entity. Such a distinction was held in Frége’s philosophy of language, explored in “On Concept and Object” (1892). Fridge regarded predicates as incomplete expressions, in the same way as a mathematical expression for a function, such as sines . . . a log . . . , is incomplete. Predicates refer to concepts, which themselves are ‘unsaturated’, and cannot be referred to by subject expressions (we thus get the paradox that the concept of a horse is not a concept). Although Fridge recognized the metaphorical nature of the notion of a concept being unsaturated, he was rightly convinced that some such notion is needed to explain the unity of a sentence, and to prevent sentences from being thought of as mere lists of names.
Several different concepts may each be ways of thinking of the same object. A person may think of himself in the first-person way, or think of himself as the spouse of Mary Smith, or as the person located in a certain room now. More generally, a concept ‘c’ is distinct from a concept ‘d’ if it is possible for a person rationally to believe ‘d is such-and-such’. As words can be combined to form structured sentences, concepts have also been conceived as combinable into structured complex contents. When these complex contents are expressed in English by ‘that . . . ’clauses, as in our opening examples, they will be capable of being true or false, depending on the way the world is.
The general system of concepts with which we organize our thoughts and perceptions are to encourage a conceptual scheme of which the outstanding elements of our every day conceptual formalities include spatial and temporal relations between events and enduring objects, causal relations, other persons, meaning-bearing utterances of others, . . . and so on. To see the world as containing such things is to share this much of our conceptual scheme. A controversial argument of Davidson’s urges that we would be unable to interpret speech from a different conceptual scheme as even meaningful, Davidson daringly goes on to argue that since translation proceeds according ti a principle of clarity, and since it must be possible of an omniscient translator to make sense of, ‘us’ we can be assured that most of the beliefs formed within the commonsense conceptual framework are true.
Concepts are to be distinguished from a stereotype and from conceptions. The stereotypical spy may be a middle-level official down on his luck and in need of money. None the less, we can come to learn that Anthony Blunt, art historian and Surveyor of the Queen’s Pictures, are a spy; we can come to believe that something falls under a concept while positively disbelieving that the same thing falls under the stereotype associated wit the concept. Similarly, a person’s conception of a just arrangement for resolving disputes may involve something like contemporary Western legal systems. But whether or not it would be correct, it is quite intelligible for someone to rejects this conception by arguing that it dies not adequately provide for the elements of fairness and respect that are required by the concepts of justice.
Basically, a concept is that which is understood by a term, particularly a predicate. To posses a concept is to be able to deploy a term expressing it in making judgements, in which the ability connection is such things as recognizing when the term applies, and being able to understand the consequences of its application. The term ‘idea’ was formally used in the came way, but is avoided because of its associations with subjective matters inferred upon mental imagery in which may be irrelevant ti the possession of a concept. In the semantics of Fridge, a concept is the reference of a predicate, and cannot be referred to by a subjective term, although its recognition of as a concept, in that some such notion is needed to the explanatory justification of which that sentence of unity finds of itself from being thought of as namely categorized lists of itemized priorities.
A theory of a particular concept must be distinguished from a theory of the object or objects it selectively picks the outlying of the theory of the concept under which is partially contingent of the theory of thought and/or epistemology. A theory of the object or objects is part of metaphysics and ontology. Some figures in the history of philosophy-and are open to the accusation of not having fully respected the distinction between the kinds of theory. Descartes appears to have moved from facts about the indubitability of the thought ‘I think’, containing the fist-person was of thinking, to conclusions about the nonmaterial nature of the object he himself was. But though the goals of a theory of concepts and a theory of objects are distinct, each theory is required to have an adequate account of its relation to the other theory. A theory if concept is unacceptable if it gives no account of how the concept is capable of picking out the object it evidently does pick out. A theory of objects is unacceptable if it makes it impossible to understand how we could have concepts of those objects.
A fundamental question for philosophy is: What individuates a given concept-that is, what makes it the one it is, rather than any other concept? One answer, which has been developed in great detail, is that it is impossible to give a non-trivial answer to this question (Schiffer, 1987). An alternative approach, addressees the question by starting from the idea that a concept id individuated by the condition that must be satisfied if a thinker is to posses that concept and to be capable of having beliefs and other attitudes whose content contains it as a constituent. So, to take a simple case, one could propose that the logical concept ‘and’ is individuated by this condition, it be the unique concept ‘C’ to posses that a thinker has to find these forms of inference compelling, without basing them on any further inference or information: From any two premisses ‘A’ and ‘B’, ACB can be inferred, and from any premiss ACB, each of ‘A’ and ‘B’ can be inferred. Again, a relatively observational concept such as ‘round’ can be individuated in part by stating that the thinker finds specified contents containing it compelling when he has certain kinds of perception, and in part by relating those judgements containing the concept and which are not based on perception to those judgements that are. A statement that individuates a concept by saying what is required for a thinker to posses it can be described as giving the possession condition for the concept.
A possession condition for a particular concept may actually make use of that concept. The possession condition for ‘and’ does so. We can also expect to use relatively observational concepts in specifying the kind of experience that have to be mentioned in the possession conditions for relatively observational concepts. What we must avoid is mention of the concept in question as such within the content of the attitudes attributed to the thinker in the possession condition. Otherwise we would be presupposing possession of the concept in an account that was meant to elucidate its possession. In talking of what the thinker finds compelling, the possession conditions can also respect an insight of the later Wittgenstein: That to find her finds it natural to go on in new cases in applying the concept.
Sometimes a family of concepts has this property: It is not possible to master any one of the members of the family without mastering the others. Two of the families that plausibly have this status are these: The family consisting of some simple concepts 0, 1, 2, . . . of the natural numbers and the corresponding concepts of numerical quantifiers there are 0 so-and-so, there is 1 so-and-so, . . . and the family consisting of the concepts ;belief’ and ‘desire’. Such families have come to be known as ‘local holism’. A local holism does not prevent the individuation of a concept by its possession condition. Rather, it demands that all the concepts in the family be individuated simultaneously. So one would say something of this form: Belief and desire form the unique pair of concepts C1 and C2 such that for as thinker to posses them are to meet such-and-such condition involving the thinker, C1 and C2. For these and other possession conditions to individuate properly, it is necessary that there be some ranking of the concepts treated. The possession conditions for concepts higher in the ranking must presuppose only possession of concepts at the same or lower levels in the ranking.
A possession conditions may in various way’s make a thinker’s possession of a particular concept dependent upon his relations to his environment. Many possession conditions will mention the links between a concept and the thinker’s perceptual experience. Perceptual experience represents the world as a certain way. It is arguable that the only satisfactory explanation of what it is for perceptual experience to represent the world in a particular way must refer to the complex relations of the experience to the subject’s environment. If this is so, then mention of such experiences in a possession condition will make possession of that concept dependent in part upon the environmental relations of the thinker. Burge (1979) has also argued from intuitions about particular examples that, even though the thinker’s non-environmental properties and relations remain constant, the conceptual content of his mental state can vary if the thinker’s social environment is varied. A possession condition that properly individuates such a concept must take into account the thinker’s social relations, in particular his linguistic relations.
Concepts have a normative dimension, a fact strongly emphasized by Kripke. For any judgement whose content involves a given concept, there is a correctness condition for that judgement, a condition that is dependent in part upon the identity of the concept. The normative character of concepts also extends into making the territory of a thinker’s reasons for making judgements. A thinker’s visual perception can give him good reason for judging ‘That man is bald’: It does not by itself give him good reason for judging ‘Rostropovich ids bald’, even if the man he sees is Rostropovich. All these normative connections must be explained by a theory of concepts one approach to these matters is to look to the possession condition for the concept, and consider how the referent of a concept is fixed from it, together with the world. One proposal is that the referent of the concept is that object (or property, or function, . . .) which makes the practices of judgement and inference mentioned in the possession condition always lead to true judgements and truth-preserving inferences. This proposal would explain why certain reasons are necessity good reasons for judging given contents. Provided the possession condition permits ‘us’ to say what it is about a thinker’s previous judgements that masker it the case that he is employing one concept rather than another, this proposal would also have another virtue. It would allow ‘us’ to say how the correctness condition is determined for a judgement in which the concept is applied to newly encountered objects. The judgement is correct if the new object has the property that in fact makes the judgmental practices mentioned in the possession condition yield true judgements, or truth-preserving inferences.
These manifesting dissimilations have occasioned the affiliated differences accorded within the distinction as associated with Leibniz, who declares that there are only two kinds of truths-truths of reason and truths of fact. The forms are all either explicit identities, i.e., of the form ‘A is A’, ‘AB is B’, etc., or they are reducible to this form by successively substituting equivalent terms. Leibniz dubs them ‘truths of reason’ because the explicit identities are self-evident deducible truths, whereas the rest can be converted to such by purely rational operations. Because their denial involves a demonstrable contradiction, Leibniz also says that truths of reason ‘rest on the principle of contradiction, or identity’ and that they are necessary [propositions, which are true of all possible words. Some examples are ‘All equilateral rectangles are rectangles’ and ‘All bachelors are unmarried’: The first is already of the form AB is B’ and the latter can be reduced to this form by substituting ‘unmarried man’ fort ‘bachelor’. Other examples, or so Leibniz believes, are ‘God exists’ and the truths of logic, arithmetic and geometry.
Truths of fact, on the other hand, cannot be reduced to an identity and our only way of knowing them is empirically by reference to the facts of the empirical world. Likewise, since their denial does not involve a contradiction, their truth is merely contingent: They could have been otherwise and hold of the actual world, but not of every possible one. Some examples are ‘Caesar crossed the Rubicon’ and ‘Leibniz was born in Leipzig’, as well as propositions expressing correct scientific generalizations. In Leibniz’s view, truths of fact rest on the principle of sufficient reason, which states that nothing can be so unless there is a reason that it is so. This reason is that the actual world (by which he means the total collection of things past, present and future) is better than any other possible worlds and was therefore created by ‘God’.
In defending the principle of sufficient reason, Leibniz runs into serious problems. He believes that in every true proposition, the concept of the predicate is contained in that of the subject. (This holds even for propositions like ‘Caesar crossed the Rubicon’: Leibniz thinks anyone who dids not cross the Rubicon, would not have been Caesar). And this containment relationship! Which is eternal and unalterable even by God ~?! Guarantees that every truth has a sufficient reason. If truths consists in concept containment, however, then it seems that all truths are analytic and hence necessary, and if they are all necessary, surely they are all truths of reason. Leibnitz responds that not every truth can be reduced to an identity in a finite number of steps, in some instances revealing the connection between subject and predicate concepts would requite an infinite analysis. But while this may entail that we cannot prove such propositions as deductively manifested, it does not appear to show that the proposition could have been false. Intuitively, it seems a better ground for supposing that it is necessary truth of a special sort. A related question arises from the idea that truths of fact depend on God’s decision to create.
the best of all possible worlds: If it is part of the concept of this world that it is best, now could its existence be other than necessary? Leibniz answers that its existence is only hypothetically necessary, i.e., it follows from God’s decision to create this world, but God had the power to decide otherwise. Yet God is necessarily good and non-deceiving, so how could he have decided to do anything else? Leibniz says much more about these masters, but it is not clear whether he offers any satisfactory solutions.
Necessary truths are ones that must be true, or whose opposite is impossible. Contingent truths are those that are not necessary and whose opposite is therefore possible. 1-3 below is necessary, 4-6, contingent.
1. It is not the case that it is raining and not raining
2. 2 + 2= 4
3. All bachelors are unmarried.
4. It seldom rains in the Sahara.
5. There are more than four states in the USA.
6. Some bachelors drive Maserati.
Plantinga (1974, p. 2) characterizes the sense of necessity illustrated in 1-3 as ‘broadly logical’. For it includes not only truths of logic, but those of mathematics, set theory, and other quasi-logical ones. Yet it is not so broads as to include matters of causal or natural necessity, such as: Nothing travels faster than the speed of light.
One would like an account of the basis of our distinction and a criterion by which to apply it. Some suppose that necessary truths are those we know as deductively possible. But we lack the criterion for deductive truths, and there are necessary truths we do not know at all, e.g., undiscovered mathematical ones. It would not help to say that necessary truths are one, and it is possible, in the broadly logical sense, to know of a deductive circularity. Finally, Kripke (1972, p.253 v) and Plantinga (1974, p. 8) argues that some contingent truths are knowable by deductive reasoning. Similar problems face the suggestion that necessary truths are the ones we know with the fairest of certainties: We lack a criterion for certainty, there are necessary truths we do not know, and (barring dubious arguments for scepticism) it is reasonable to suppose that we know some contingent truths with certainty.
Leibniz defined a necessary truth as one whose opposite implies a contradiction. Every such proposition, he held, is either an explicit identity, i.e., of the form ‘A is A’, ‘AB is B’, etc.) or is reducible to an identity by successively substituting equivalent terms. (thus, 3 above might be so reduced by substituting ‘unmarried man’; for ‘bachelor’.) This has several advantages over the ideas of the previous paragraph. First, it explicated the notion of necessity and possibility and seems to provide a criterion we can apply. Second, because explicit identities are self-evident a deductive propositions, the theory implies that all necessary truths are knowable deductively, but it does not entail that wee actually know all of them, nor does it define ‘knowable’ in a circular way. Third, it implies that necessary truths are knowable with certainty, but does not preclude our having certain knowledge of contingent truths by means other than a reduction.
Nevertheless, this view is also problematic, and Leibniz’s examples of reductions are too sparse to prove a claim about all necessary truths. Some of his reductions, moreover, are deficient: Fridge has pointed out, for example, that his proof of ‘2 + 2 = 4' presupposes the principle of association and so does not depend on the principle of identity. More generally, it has been shown that arithmetic cannot be reduced to logic, but requires the resources of set theory as well. Finally, there are other necessary propositions, e.g., ‘Nothing can be red and green all over’, which do not seem to be reducible to identities and which Leibniz does not show how to reduce.
Leibniz and others have thought of truths as a property of propositions, where the latter are conceived as things that may be expressed by, but are distinct from, linguistic items like statements. On another approach, truth is a property of linguistic entities, and the basis of necessary truth in convention. Thus A.J. Ayer, for example,. Argued that the only necessary truths are analytic statements and that the latter rest entirely on our commitment to use words in certain ways.
The slogan ‘the meaning of a statement is its method of verification’ expresses the empirical verification’s theory of meaning. It is more than the general criterion of meaningfulness if and only if it is empirically verifiable. If says in addition what the meaning of a sentence is: It is all those observations that would confirm or disconfirmed the sentence. Sentences that would be verified or falsified by all the same observations are empirically equivalent or have the same meaning. A sentence is said to be cognitively meaningful if and only if it can be verified or falsified in experience. This is not meant to require that the sentence be conclusively verified or falsified, since universal scientific laws or hypotheses (which are supposed to pass the test) are not logically deducible from any amount of actually observed evidence.
When one predicate’s necessary truth of a preposition one speaks of modality de dicto. For one ascribes the modal property, necessary truth, to a dictum, namely, whatever proposition is taken as necessary. A venerable tradition, however, distinguishes this from necessary de re, wherein one predicates necessary or essential possession of some property to an on object. For example, the statement ‘4 is necessarily greater than 2' might be used to predicate of the object, 4, the property, being necessarily greater than 2. That objects have some of their properties necessarily, or essentially, and others only contingently, or accidentally, are a main part of the doctrine called ;essentialism’. Thus, an essentials might say that Socrates had the property of being bald accidentally, but that of being self-identical, or perhaps of being human, essentially. Although essentialism has been vigorously attacked in recent years, most particularly by Quine, it also has able contemporary proponents, such as Plantinga.
Modal necessity as seen by many philosophers whom have traditionally held that every proposition has a modal status as well as a truth value. Every proposition is either necessary or contingent as well as either true or false. The issue of knowledge of the modal status of propositions has received much attention because of its intimate relationship to the issue of deductive reasoning. For example, no propositions of the theoretic content that all knowledge of necessary propositions is deductively knowledgeable. Others reject this claim by citing Kripke’s (1980) alleged cases of necessary theoretical propositions. Such contentions are often inconclusive, for they fail to take into account the following tripartite distinction: ‘S’ knows the general modal status of ‘p’ just in case ‘S’ knows that ‘p’ is a necessary proposition or ‘S’ knows the truth that ‘p’ is a contingent proposition. ‘S’ knows the truth value of ‘p’ just in case ‘S’ knows that ‘p’ is true or ‘S’ knows that ‘p’ is false. ‘S’ knows the specific modal status of ‘p’ just in case ‘S’ knows that ‘p’ is necessarily true or ‘S’ knows that ‘p’ is necessarily false or ‘S’ knows that ‘p’ is contingently true or ‘S’ knows that ‘p’ is contingently false. It does not follow from the fact that knowledge of the general modal status of a proposition is a deductively reasoned distinctive modal status is also given to theoretical principles. Nor des it follow from the fact that knowledge of a specific modal status of a proposition is theoretically given as to the knowledge of its general modal status that also is deductive.
The certainties involving reason and a truth of fact are much in distinction by associative measures given through Leibniz, who declares that there are only two kinds of truths-truths of reason and truths of fact. The former are all either explicit identities, i.e., of the form ‘A is A’, ‘AB is B’, etc., or they are reducible to this form by successively substituting equivalent terms. Leibniz dubs them ‘truths of reason’ because the explicit identities are self-evident theoretical truth, whereas the rest can be converted to such by purely rational operations. Because their denial involves a demonstrable contradiction, Leibniz also says that truths of reason ‘rest on the principle of contraction, or identity’ and that they are necessary propositions, which are true of all possible worlds. Some examples are that All bachelors are unmarried’: The first is already of the form ‘AB is B’ and the latter can be reduced to this form by substituting ‘unmarried man’ for ‘bachelor’. Other examples, or so Leibniz believes, are ‘God exists’ and the truth of logic, arithmetic and geometry.
Truths of fact, on the other hand, cannot be reduced to an identity and our only way of knowing hem os a theoretical manifestations, or by reference to the fact of the empirical world. Likewise, since their denial does not involve as contradiction, their truth is merely contingent: They could have been otherwise and hold of the actual world, but not of every possible one. Some examples are ‘Caesar crossed the Rubicon’ and ‘Leibniz was born in Leipzig’, as well as propositions expressing correct scientific generalizations. In Leibniz’s view, truths of fact rest on the principle of sufficient reason, which states that nothing can be so unless thee is a reason that it is so. This reason is that the actual world (by which he means the total collection of things past, present and future) is better than any other possible world and was therefore created by God.
In defending the principle of sufficient reason, Leibniz runs into serious problems. He believes that in every true proposition, the concept of the predicate is contained in that of the subject. (This hols even for propositions like ‘Caesar crossed the Rubicon’: Leibniz thinks anyone who did not cross the Rubicon would not have been Caesar) And this containment relationship-that is eternal and unalterable even by God-guarantees that every truth has a sufficient reason. If truth consists in concept containment, however, then it seems that all truths are analytic and hence necessary, and if they are all necessary, surely they are all truths of reason. Leibniz responds that not evert truth can be reduced to an identity in a finite number of steps: In some instances revealing the connection between subject and predicate concepts would require an infinite analysis. But while this may entail that we cannot prove such propositions as deductively probable, it does not appear to show that the proposition could have been false. Intuitively, it seems a better ground for supposing that it is a necessary truth of a special sort. A related question arises from the idea that truths of fact depend on God’s decision to create the best world, if it is part of the concept of this world that it is best, how could its existence be other than necessary? Leibniz answers that its existence is only hypothetically necessary, i.e., it follows from God’s decision to create this world, but God is necessarily good, so how could he have decided to do anything else? Leibniz says much more about the matters, but it is not clear whether he offers any satisfactory solutions.
The modality of a proposition is the way in which it is true or false. The most important division is between propositions true of necessity, and those true asa things are: Necessary as opposed to contingent propositions. Other qualifiers sometimes called ‘modal’ include the tense indicators ‘It will be the case that p’ or It was the case that p’, and there are affinities between the ‘deontic indicators’, as, ;it ought to be the case that p’ or ‘it is permissible that p’, and the logical modalities as a logic that study the notions of necessity and possibility. Modal logic was of a great importance historically, particularly in the light of various doctrines concerning the necessary properties of the deity, but was not a central topic of modern logic in its golden period at the beginning of the 20th century. It was,
- however, revived by C. I. Lewis, by adding to a propositional or predicate calculus two operators, □ and ◊ (sometimes written N and M), meaning necessarily and possibly, respectively. These like p ➞ ◊ p and □ p ➞ p will be wanted. Controversial theses include □ p ➞ □□ p (if a proposition is necessary, it is necessarily necessary, characteristic of the system known as S4) and ◊ p ➞ □ ◊ p (if a proposition is possible, it is necessarily possible, characteristic of the system known as S5). The classical ‘modal theory’ for modal logic, due to Kripke and the Swedish logician Stig Kanger, involves valuing propositions not as true or false ‘simplicitiers’, but as true or false art possible worlds, with necessity then corresponding to truth in all worlds, and possibly to truths in some world.
The doctrine advocated by David Lewis, which different ‘possible worlds’ are to be thought of as existing exactly as this one does. Thinking in terms of possibilities is thinking of real worlds where things are different, this view has been charged with misrepresenting it as some insurmountably unseeing to why it is good to save the child from drowning, since there is still a possible world in which she (or her counterpart) drowned, and from the standpoint of the universe it should make no difference that world is actual. Critics asio charge either that the notion fails to fit with a coherent theory of how we know about possible worlds, or with a coherent theory about possible worlds, or with a coherent theory of why we are interested in them, but Lewis denies that any other way of interpreting modal statements is tenable.
Thus and so, the ‘standard analysis’ of propositional knowledge, suggested by Plato and Kant among others, implies that if one has a justified true belief that ‘p’, then one knows that ‘p’. The belief condition ‘p’ believes that ‘p’, the truth condition requires that any known proposition be true. And the justification condition requires that any known proposition be adequately justified, warranted or evidentially supported. Plato appears to be considering the tripartite definition in the “Theaetetus” (201c-202d), and to be endorsing its jointly sufficient conditions for knowledge in the “Meno” (97e-98a). This definition has come to be called ‘the standard analysis’ of knowledge, and has received a serious challenge from Edmund Gettier’s counterexamples in 1963. Gettier published two counterexamples to this implication of the standard analysis. In essence, they are:
(1) Smith and Jones have applied for the same job. Smith is justified in believing that (a) Jones will get the job, and that (b) Jones has ten coins in his pocket. On the basis of (a) and (b) Smith infers, and thus is justified in believing, that ©) the person who will get the job has ten coins in his pocket. At it turns out, Smith himself will get the job, and he also happens to have ten coins in his pocket. So, although Smith is justified in believing the true proposition ©), Smith does not know ©).
(2) Smith is justified in believing the false proposition that (a) Smith owns a Ford. On the basis of (a) Smith infers, and thus is justified in believing, that (b) either Jones owns a Ford or Brown is in Barcelona. As it turns out, Brown or in Barcelona, and so (b) is true. So although Smith is justified in believing the true proposition (b). Smith does not know (b).
Gettier’s counterexamples are thus cases where one has justified true belief that ‘p’, but lacks knowledge that ‘p’. The Gettier problem is the problem of finding a modification of, or an alterative to, the standard justified-true-belief analysis of knowledge that avoids counterexamples like Gettier’s. Some philosophers have suggested that Gettier style counterexamples are defective owing to their reliance on the false principle that false propositions can justify one’s belief in other propositions. But there are examples much like Gettier’s that do not depend on this allegedly false principle. Here is one example inspired by Keith and Richard Feldman:
(3) Suppose Smith knows the following proposition, ‘m’: Jones, whom Smith has always found to be reliable and whom Smith, has no reason to distrust now, has told Smith, his office-mate, that ‘p’: He, Jones owns a Ford. Suppose also that Jones has told Smith that ‘p’ only because of a state of hypnosis Jones is in, and that ‘p’ is true only because, unknown to himself, Jones has won a Ford in a lottery since entering the state of hypnosis. And suppose further that Smith deduces from ‘m’ its existential generalization, ‘q’: There is someone, whom Smith has always found to be reliable and whom Smith has no reason to distrust now, who has told Smith, his office-mate, that he owns a Ford. Smith, then, knows that ‘q’, since he has correctly deduced ‘q’ from ‘m’, which he also knows. But suppose also that on the basis of his knowledge that ‘q’. Smith believes that ‘r’: Someone in the office owns a Ford. Under these conditions, Smith has justified true belief that ‘r’, knows his evidence for ‘r’, but does not know that ‘r’.
Gettier-style examples of this sort have proven especially difficult for attempts to analyse the concept of propositional knowledge. The history of attempted solutions to the Gettier problem is complex and open-ended. It has not produced consensus on any solution. Many philosophers hold, in light of Gettier-style examples, that propositional knowledge requires a fourth condition, beyond the justification, truth and belief conditions. Although no particular fourth condition enjoys widespread endorsement, there are some prominent general proposals in circulation. One sort of proposed modification, the so-called ‘defeasibility analysis’, requires that the justification appropriate to knowledge be ‘undefeated’ in the general sense that some appropriate subjunctive conditional concerning genuine defeaters of justification be true of that justification. One straightforward defeasibility fourth condition, for instance, requires of Smith’s knowing that ‘p’ that there be no true proposition ‘q’, such that if ‘q’ became justified for Smith, ‘p’ would no longer be justified for Smith (Pappas and Swain, 1978). A different prominent modification requires that the actual justification for a true belief qualifying as knowledge not depend I a specified way on any falsehood (Armstrong, 1973). The details proposed to elaborate such approaches have met with considerable controversy.
The fourth condition of evidential truth-sustenance may be a speculative solution to the Gettier problem. More specifically, for a person, ‘S’, to have knowledge that ‘p’ on justifying evidence ‘e’, ‘e’ must be truth-sustained in this sense for every true proposition ‘t’ that, when conjoined with ‘e’, undermines S’s justification for ‘p’ on ‘e’, there is a true proposition, ‘t’, that, when conjoined with ‘e’ & ‘t’, restores the justification of ‘p’ for ‘S’ in a way that ‘S’ is actually justified in believing that ‘p’. The gist of this resolving evolution, put roughly, is that propositional knowledge requires justified true belief that is sustained by the collective totality of truths. Herein, is to argue in Knowledge and Evidence, that Gettier-style examples as (1)-(3), but various others as well.
Three features that proposed this solution merit emphasis. First, it avoids a subjunctive conditional in its fourth condition, and so escapes some difficult problems facing the use of such a conditional in an analysis of knowledge. Second, it allows for non-deductive justifying evidence as a component of propositional knowledge. An adequacy condition on an analysis of knowledge is that it does not restrict justifying evidence to relations of deductive support. Third, its proposed solution is sufficiently flexible to handle cases describable as follows:
(4) Smith has a justified true belief that ‘p’, but there is a true proposition, ‘t’, which undermines Smith’s justification for ‘p’ when conjoined with it, and which is such that it is either physically or humanly impossible for Smith to be justified in believing that ‘t’.
Examples represented by (4) suggest that we should countenance varying strengths in notions of propositional knowledge. These strengths are determined by accessibility qualifications on the set of relevant knowledge-precluding underminers. A very demanding concept of knowledge assumes that it need only be logically possible for a Knower to believe a knowledge-precluding underminer. Less demanding concepts assume that it must be physically or humanly possible for a Knower to believe knowledge-precluding underminers. But even such less demanding concepts of knowledge need to rely on a notion of truth-sustained evidence if they are to survive a threatening range of Gettier-style examples. Given to some resolution that it needs be that the forth condition for a notion of knowledge is not a function simply of the evidence a Knower actually possesses.
The higher controversial aftermath of Gettier’s original counterexamples has left some philosophers doubted of the real philosophical significance of the Gettier problem. Such doubt, however, seems misplaced. One fundamental branch of epistemology seeks understanding of the nature of propositional knowledge. And our understanding exactly what prepositional knowledge is essentially involves our having a Gettier-resistant analysis of such knowledge. If our analysis is not Gettier-resistant, we will lack an exact understanding of what propositional knowledge is. It is epistemologically important, therefore, to have a defensible solution to the Gettier problem, however, demanding such a solution is.
Propositional knowledge (PK) is the type of knowing whose instance are labelled by means of a phrase expressing some proposition, e.g., in English a phrase of the form ‘that h’, where some complete declarative sentence is instantial for ‘h’.
Theories of ‘PK’ differ over whether the proposition that ‘h’ is involved in a more intimate fashion, such as serving as a way of picking out a proposition attitude required for knowing, e.g., believing that ‘h’, accepting that ‘h’ or being sure that ‘h’. For instance, the tripartite analysis or standard analysis, treats ‘PK’ as consisting in having a justified, true belief that ‘h’ , the belief condition requires that anyone who knows that ‘h’ believes that ‘h’, the truth condition requires that any known proposition be true, in contrast, some regarded theories do so consider and treat ‘PK’ as the possession of specific abilities, capabilities, or powers, and that view the proposition that ‘h’ as needed to be expressed only in order to label a specific instance of ‘PK’.
Although most theories of Propositional knowledge (PK) purport to analyse it, philosophers disagree about the goal of a philosophical analysis. Theories of ‘PK’ may differ over whether they aim to cover all species of ‘PK’ and, if they do not have this goal, over whether they aim to reveal any unifying link between the species that they investigate, e.g., empirical knowledge, and other species of knowing.
Very many accounts of ‘PK’ have been inspired by the quest to add a fourth condition to the tripartite analysis so as to avoid Gettier-type counterexamples to it, whereby a fourth condition of evidential truth-sustenance for every true proposition when conjoined with a regaining justification, which may require the justified true belief that is sustained by the collective totality of truths that an adequacy condition of propositional knowledge not restrict justified evidences in relation of deductive support, such that we should countenance varying strengths in notions of propositional knowledge. Restoratively, these strengths are determined by accessibility qualifications on the set of relevant knowledge-precluding underminers. A very demanding concept of knowledge assumes that it need only be logically possible for a Knower to believe a knowledge-precluding undeterminers, and less demanding concepts that it must physically or humanly possible for a Knower to believe knowledge-precluding undeterminers. But even such demanding concepts of knowledge need to rely on a notion of truth-sustaining evidence if they are to survive a threatening range of Gettier-style examples. As the needed fourth condition for a notion of knowledge is not a function simply of the evidence a Knower actually possesses. One fundamental source of epistemology seeks understanding of the nature of propositional knowledge, and our understanding exactly what propositional knowledge is essentially involves our having a Gettier-resistant analysis of such knowledge. If our analysis is not Gettier-resistant, we will lack an exact understanding of what propositional knowledge is. It is epistemologically important, therefore, to have a defensible solution to the Gettier problem, however, demanding such a solution is. And by the resulting need to deal with other counterexamples provoked by these new analyses.
Keith Lehrer (1965) originated a Gettier-type example that has been a fertile source of important variants. It is the case of Mr Notgot, who is in one’s office and has provided some evidence, ‘e’, in response to all of which one forms a justified belief that Mr. Notgot is in the office and owns a Ford, thanks to which one arrives at the justified belief that ‘h': ‘Someone in the office owns a Ford’. In the example, ‘e’ consists of such things as Mr. Notgot’s presently showing one a certificate of Ford ownership while claiming to own a Ford and having been reliable in the past. Yet, Mr Notgot has just been shamming, and the only reason that it is true that ‘h1' is because, unbeknown to oneself, a different person in the office owns a Ford.
Variants on this example continue to challenge efforts to analyse species of ‘PK’. For instance, Alan Goldman (1988) has proposed that when one has empirical knowledge that ‘h’, when the state of affairs (call it h*) expressed by the proposition that ‘h’ figures prominently in an explanation of the occurrence of one’s believing that ‘h’, where explanation is taken to involve one of a variety of probability relations concerning ‘h*’ , and the belief state. But this account runs foul of a variant on the Notgot case akin to one that Lehrer (1979) has described. In Lehrer’s variant, Mr Notgot has manifested a compulsion to trick people into justified believing truths yet falling short of knowledge by means of concocting Gettierized evidence for those truths. It we make the trickster’s neuroses highly specific ti the type of information contained in the proposition that ‘h’, we obtain a variant satisfying Goldman’s requirement That the occurrences of ‘h*’ significantly raises the probability of one’s believing that ‘h’. (Lehrer himself (1990, pp. 103-4) has criticized Goldman by questioning whether, when one has ordinary perceptual knowledge that abn object is present, the presence of the object is what explains one’s believing it to be present.)
In grappling with Gettier-type examples, some analyses proscribe specific relations between falsehoods and the evidence or grounds that justify one’s believing. A simple restriction of this type requires that one’s reasoning to the belief that ‘h’ does not crucially depend upon any false lemma (such as the false proposition that Mr Notgot is in the office and owns a Ford). However, Gettier-type examples have been constructed where one does not reason through and false belief, e.g., a variant of the Notgot case where one arrives at belief that ‘h’, by basing it upon a true existential generalization of one’s evidence: ‘There is someone in the office who has provided evidence e’, in response to similar cases, Sosa (1991) has proposed that for ‘PK’ the ‘basis’ for the justification of one’s belief that ‘h’ must not involve one’s being justified in believing or in ‘presupposing’ any falsehood, even if one’s reasoning to the belief does not employ that falsehood as a lemma. Alternatively, Roderick Chisholm (1989) requires that if there is something that makes the proposition that ‘h’ evident for one and yet makes something else that is false evident for one, then the proposition that ‘h’ is implied by a conjunction of propositions, each of which is evident for one and is such that something that makes it evident for one makes no falsehood evident for one. Other types of analyses are concerned with the role of falsehoods within the justification of the proposition that ‘h’ (Versus the justification of one’s believing that ‘h’). Such a theory may require that one’s evidence bearing on this justification not already contain falsehoods. Or it may require that no falsehoods are involved at specific places in a special explanatory structure relating to the justification of the proposition that ‘h’ (Shope, 1983.).
A frequently pursued line of research concerning a fourth condition of knowing seeks what is called a ‘defeasibility’ analysis of ‘PK.” Early versions characterized defeasibility by means of subjunctive conditionals of the form, ‘If ‘A’ were the case then ‘B’ would be the case’. But more recently the label has been applied to conditions about evidential or justificational relations that are not themselves characterized in terms of conditionals. Early versions of defeasibility theories advanced conditionals where ‘A’ is a hypothetical situation concerning one’s acquisition of a specified sort of epistemic status for specified propositions, e.g., one’s acquiring justified belief in some further evidence or truths, and ‘B’; concerned, for instance, the continued justified status of the proposition that ‘h’ or of one’s believing that ‘h’.
A unifying thread connecting the conditional and non-conditional approaches to defeasibility may lie in the following facts: (1) What is a reason for being in a propositional attitude is in part a consideration , instances of the thought of which have the power to affect relevant processes of propositional attitude formation? : (2) Philosophers have often hoped to analyse power ascriptions by means of conditional statements: And (3) Arguments portraying evidential or justificational relations are abstractions from those processes of propositional attitude maintenance and formation that manifest rationality. So even when some circumstance, ‘R’, is a reason for believing or accepting that ‘h’, another circumstance, ‘K’ may present an occasion from being present for a rational manifestation of the relevant power of the thought of ‘R’ and it will not be a good argument to base a conclusion that ‘h’ on the premiss that ‘R’ and ‘K’ obtain. Whether ‘K’ does play this interfering, ‘defeating’. Role will depend upon the total relevant situation.
Accordingly, one of the most sophisticated defeasibility accounts, which has been proposed by John Pollock (1986), requires that in order to know that ‘h’, one must believe that ‘h’ on the basis of an argument whose force is not defeated in the above way, given the total set of circumstances described by all truths. More specifically, Pollock defines defeat as a situation where (1) one believes that ‘p’ and it is logically possible for one to become justified in believing that ‘h’ by believing that ’p’, and (2) on e actually has a further set of beliefs, ‘S’ logically has a further set of beliefs, ‘S’, logically consistent with the proposition that ‘h’, such that it is not logically possible for one to become justified in believing that ‘h’ by believing it ion the basis of holding the set of beliefs that is the union of ‘S’ with the belief that ‘p’ (Pollock, 1986, pp. 36, 38). Furthermore, Pollock requires for ‘PK’ that the rational presupposition in favour of one’s believing that ‘h’ created by one’s believing that ‘p’ is undefeated by the set of all truths, including considerations that one does not actually believe. Pollock offers no definition of what this requirements means. But he may intend roughly the following: There ‘T’ is the set of all true propositions: (I) one believes that ‘p’ and it is logically possible for one to become justified in believing that ‘h’; by believing that ‘p’. And (II) there are logically possible situations in which one becomes justified in believing that ‘h’ on the bass of having the belief that ‘p’ and the beliefs in ‘T’. Thus, in the Notgot example, since ‘T’ includes the proposition that Mr. Notgot does own a Ford, one lack’s knowledge because condition (II) is not satisfied.
But given such an interpretation. Pollock’s account illustrates the fact that defeasibility theories typically have difficulty dealing with introspective knowledge of one’s beliefs. Suppose that some proposition, say that ƒ, is false, but one does not realize this and holds the belief that ƒ. Condition
(II) has no knowledge that h2?: ‘I believe that ƒ’. At least this is so if one’s reason for believing that h2 includes the presence of the very condition of which one is aware, i.e., one’s believing that ƒ. It is incoherent to suppose hat one retains the latter reason, also, believes the truth that not-ƒ. This objection can be avoided, but at the cost of adopting what is a controversial view about introspective knowledge that ‘h’,namely, the view that one’s belief that ‘h’ is in such cases mediated by some mental state intervening between the mental state of which there is introspective knowledge and he belief that ‘h’, so that is mental state is rather than the introspected state that it is included in one’s reason for believing that ‘h’. In order to avoid adopting this controversial view, Paul Moser (1989) gas proposed a disjunctive analysis of ‘PK’, which requires that either one satisfy a defeasibility condition rather than like Pollock’s or else one believes that ‘h’ by introspection. However, Moser leaves obscure exactly why beliefs arrived at by introspections account as knowledge.
Early versions of defeasibility theories had difficulty allowing for the existence of evidence that is ‘merely misleading’, as in the case where one does know that ‘h3: ‘Tom Grabit stole a book from the library’, thanks to having seen him steal it, yet where, unbeknown to oneself, Tom’s mother out of dementia gas testified that Tom was far away from the library at the time of the theft. One’s justifiably believing that she gave the testimony would destroy one’s justification for believing that ‘h3' if added by itself to one’s present evidence.
At least some defeasibility theories cannot deal with the knowledge one has while dying that ‘h4: ‘In this life there is no timer at which I believe that ‘d’, where the proposition that ‘d’ expresses the details regarding some philosophical matter, e.g., the maximum number of blades of grass ever simultaneously growing on the earth. When it just so happens that it is true that ‘d’, defeasibility analyses typically consider the addition to one’s dying thoughts of a belief that ‘d’ in such a way as to improperly rule out actual knowledge that ‘h4'.
A quite different approach to knowledge, and one able to deal with some Gettier-type cases, involves developing some type of causal theory of Propositional knowledge. The interesting thesis that counts as a causal theory of justification (in the meaning of ‘causal theory; intended here) is the that of a belief is justified just in case it was produced by a type of process that is ‘globally’ reliable, that is, its propensity to produce true beliefs-that can be defined (to a god enough approximation) as the proportion of the bailiffs it produces (or would produce were it used as much as opportunity allows) that are true-is sufficiently meaningful-variations of this view have been advanced for both knowledge and justified belief. The first formulation of reliability account of knowing appeared in a note by F.P. Ramsey (1931), who said that a belief was knowledge if it is true, certain can obtain by a reliable process. P. Unger (1968) suggested that “S’ knows that ‘p’ just in case it is not at all accidental that ‘S’ is right about its being the casse that ‘p’. D.M. Armstrong (1973) said that a non-inferential belief qualified as knowledge if the belief has properties that are nominally sufficient for its truth, i.e., guarantee its truth through and by the laws of nature.
Such theories require that one or another specified relation hold that can be characterized by mention of some aspect of cassation concerning one’s belief that ‘h’ (or one’s acceptance of the proposition that ‘h’) and its relation to state of affairs ‘h*’, e.g., h* causes the belief: h* is causally sufficient for the belief h* and the belief have a common cause. Such simple versions of a causal theory are able to deal with the original Notgot case, since it involves no such causal relationship, but cannot explain why there is ignorance in the variants where Notgot and Berent Enç (1984) have pointed out that sometimes one knows of χ that is ø thanks to recognizing a feature merely corelated with the presence of øness without endorsing a causal theory themselves, there suggest that it would need to be elaborated so as to allow that one’s belief that χ has ø has been caused by a factor whose correlation with the presence of øness has caused in oneself, e.g., by evolutionary adaption in one’s ancestors, the disposition that one manifests in acquiring the belief in response to the correlated factor. Not only does this strain the unity of as causal theory by complicating it, but no causal theory without other shortcomings has been able to cover instances of deductively reasoned knowledge.
Causal theories of Propositional knowledge differ over whether they deviate from the tripartite analysis by dropping the requirements that one’s believing (accepting) that ‘h’ be justified. The same variation occurs regarding reliability theories, which present the Knower as reliable concerning the issue of whether or not ‘h’, in the sense that some of one’s cognitive or epistemic states, θ, are such that, given further characteristics of oneself-possibly including relations to factors external to one and which one may not be aware-it is nomologically necessary (or at least probable) that ‘h’. In some versions, the reliability is required to be ‘global’ in as far as it must concern a nomologically (probabilistic) relationship) relationship of states of type θ to the acquisition of true beliefs about a wider range of issues than merely whether or not ‘h’. There is also controversy about how to delineate the limits of what constitutes a type of relevant personal state or characteristic. (For example, in a case where Mr Notgot has not been shamming and one does know thereby that someone in the office owns a Ford, such as a way of forming beliefs about the properties of persons spatially close to one, or instead something narrower, such as a way of forming beliefs about Ford owners in offices partly upon the basis of their relevant testimony?)
One important variety of reliability theory is a conclusive reason account, which includes a requirement that one’s reasons for believing that ‘h’ be such that in one’s circumstances, if h* were not to occur then, e.g., one would not have the reasons one does for believing that ‘h’, or, e.g., one would not believe that ‘h’. Roughly, the latter is demanded by theories that treat a Knower as ‘tracking the truth’, theories that include the further demand that is roughly, if it were the case, that ‘h’, then one would believe that ‘h’. A version of the tracking theory has been defended by Robert Nozick (1981), who adds that if what he calls a ‘method’ has been used to arrive at the belief that ‘h’, then the antecedent clauses of the two conditionals that characterize tracking will need to include the hypothesis that one would employ the very same method.
But unless more conditions are added to Nozick’s analysis, it will be too weak to explain why one lack’s knowledge in a version of the last variant of the tricky Mr Notgot case described above, where we add the following details: (a) Mr Notgot’s compulsion is not easily changed, (b) while in the office, Mr Notgot has no other easy trick of the relevant type to play on one, and ©) one arrives at one’s belief that ‘h’, not by reasoning through a false belief ut by basing belief that ‘h’, upon a true existential generalization of one’s evidence.
Nozick’s analysis is in addition too strong to permit anyone ever to know that ‘h’: ‘Some of my beliefs about beliefs might be otherwise, e.g., I might have rejected on of them’. If I know that ‘h5' then satisfaction of the antecedent of one of Nozick’s conditionals would involve its being false that ‘h5', thereby thwarting satisfaction of the consequent’s requirement that I not then believe that ‘h5'. For the belief that ‘h5' is itself one of my beliefs about beliefs (Shope, 1984).
Some philosophers think that the category of knowing for which true. Justified believing (accepting) is a requirement constituting only a species of Propositional knowledge, construed as an even broader category. They have proposed various examples of ‘PK’ that do not satisfy the belief and/ort justification conditions of the tripartite analysis. Such cases are often recognized by analyses of Propositional knowledge in terms of powers, capacities, or abilities. For instance, Alan R. White (1982) treats ‘PK’ as merely the ability to provide a correct answer to a possible questions, however, White may be equating ‘producing’ knowledge in the sense of producing ‘the correct answer to a possible question’ with ‘displaying’ knowledge in the sense of manifesting knowledge. (White, 1982). The latter can be done even by very young children and some non-human animals independently of their being asked questions, understanding questions, or recognizing answers to questions. Indeed, an example that has been proposed as an instance of knowing that ‘h’ without believing or accepting that ‘h’ can be modified so as to illustrate this point. Two examples concerns an imaginary person who has no special training or information about horses or racing, but who in an experiment persistently and correctly picks the winners of upcoming horseraces. If the example is modified so that the hypothetical ‘seer’ never picks winners but only muses over whether those horses wight win, or only reports those horses winning, this behaviour should be as much of a candidate for the person’s manifesting knowledge that the horse in question will win as would be the behaviour of picking it as a winner.
These considerations expose limitations in Edward Craig’s analysis (1990) of the concept of knowing of a person’s being a satisfactory informant in relation to an inquirer who wants to find out whether or not ‘h’. Craig realizes that counterexamples to his analysis appear to be constituted by Knower who are too recalcitrant to inform the inquirer, or too incapacitate to inform, or too discredited to be worth considering (as with the boy who cried ‘Wolf’). Craig admits that this might make preferable some alternative view of knowledge as a different state that helps to explain the presence of the state of being a suitable informant when the latter does obtain. Such the alternate, which offers a recursive definition that concerns one’s having the power to proceed in a way representing the state of affairs, causally involved in one’s proceeding in this way. When combined with a suitable analysis of representing, this theory of propositional knowledge can be unified with a structurally similar analysis of knowing how to do something.
Knowledge and belief, according to most epistemologists, knowledge entails belief, so that I cannot know that such and such is the case unless I believe that such and such is the case. Others think this entailment thesis can be rendered more accurately if we substitute for belief some closely related attitude. For instance, several philosophers would prefer to say that knowledge entail psychological certainties (Prichard, 1950 and Ayer, 1956) or conviction (Lehrer, 1974) or acceptance (Lehrer, 1989). None the less, there are arguments against all versions of the thesis that knowledge requires having a belief-like attitude toward the known. These arguments are given by philosophers who think that knowledge and belief (or a facsimile) are mutually incompatible (the incomparability thesis), or by ones who say that knowledge does not entail belief, or vice versa, so that each may exist without the other, but the two may also coexist (the separability thesis).
The incompatibility thesis is sometimes traced to Plato ©. 429-347 BC) in view of his claim that knowledge is infallible while belief or opinion is fallible (“Republic” 476-9). But this claim would not support the thesis. Belief might be a component of an infallible form of knowledge in spite of the fallibility of belief. Perhaps, knowledge involves some factor that compensates for the fallibility of belief.
A. Duncan-Jones (1939: Also Vendler, 1978) cite linguistic evidence to back up the incompatibility thesis. He notes that people often say ‘I do not believe she is guilty. I know she is’ and the like, which suggest that belief rule out knowledge. However, as Lehrer (1974) indicates, the above exclamation is only a more emphatic way of saying ‘I do not just believe she is guilty, I know she is’ where ‘just’ makes it especially clear that the speaker is signalling that she has something more salient than mere belief, not that she has something inconsistent with belief, namely knowledge. Compare: ‘You do not hurt him, you killed him’.
H.A. Prichard (1966) offers a defence of the incompatibility thesis that hinges on the equation of knowledge with certainty (both infallibility and psychological certitude) and the assumption that when we believe in the truth of a claim we are not certain about its truth. Given that belief always involves uncertainty while knowledge never dies, believing something rules out the possibility of knowing it. Unfortunately, however, Prichard gives ‘us’ no goods reason to grant that states of belief are never ones involving confidence. Conscious beliefs clearly involve some level of confidence, to suggest that we cease to believe things about which we are completely confident is bizarre.
A.D. Woozley (1953) defends a version of the separability thesis. Woozley’s version, which deals with psychological certainty rather than belief per se, is that knowledge can exist in the absence of confidence about the item known, although might also be accompanied by confidence as well. Woozley remarks that the test of whether I know something is ‘what I can do, where what I can do may include answering questions’. On the basis of this remark he suggests that even when people are unsure of the truth of a claim, they might know that the claim is true. We unhesitatingly attribute knowledge to people who give correct responses on examinations even if those people show no confidence in their answers. Woozley acknowledges, however, that it would be odd for those who lack confidence to claim knowledge. It would be peculiar to say, ‘I am unsure whether my answer is true: Still, I know it is correct’. But this tension Woozley explains using a distinction between conditions under which we are justified in making a claim (such as a claim to know something), and conditions under which the claim we make is true. While ‘I know such and such’ might be true even if I am unsure whether such and such holds, nonetheless it would be inappropriate for me to claim that I know that such and such unless I were sure of the truth of my claim.
Colin Radford (1966) extends Woozley’s defence of the separability thesis. In Radford’s view, not only is knowledge compatible with the lack of certainty, it is also compatible with a complete lack of belief. He argues by example. In one example, Jean has forgotten that he learned some English history year’s priori and yet he is able to give several correct responses to questions such as ‘When did the Battle of Hastings occur’? Since he forgot that he took history, he considers the correct response to be no more than guesses. Thus, when he says that the Battle of Hastings took place in 1066 he would deny having the belief that the Battle of Hastings took place in 1066. A disposition he would deny being responsible (or having the right to be convincing) that 1066 was the correct date. Radford would none the less insist that Jean know when the Battle occurred, since clearly be remembering the correct date. Radford admits that it would be inappropriate for Jean to say that he knew when the Battle of Hastings occurred, but, like Woozley he attributes the impropriety to a fact about when it is and is not appropriate to claim knowledge. When we claim knowledge, we ought, at least to believe that we have the knowledge we claim, or else our behaviour is ‘intentionally misleading’.
Those that agree with Radford’s defence of the separability thesis will probably think of belief as an inner state that can be detected through introspection. That Jean lack’s beliefs about English history is plausible on this Cartesian picture since Jean does not find himself with any beliefs about English history when ne seek them out. One might criticize Radford, however, by rejecting that Cartesian view of belief. One could argue that some beliefs are thoroughly unconscious, for example. Or one could adopt a behaviourist conception of belief, such as Alexander Bain’s (1859), according to which having beliefs is a matter of the way people are disposed to behave (and has not Radford already adopted a behaviourist conception of knowledge?) Since Jean gives the correct response when queried, a form of verbal behaviour, a behaviourist would be tempted to credit him with the belief that the Battle of Hastings occurred in 1066.
D.M. Armstrong (1873) takes a different tack against Radford. Jean does know that the Battle of Hastings took place in 1066. Armstrong will grant Radfod that point, in fact, Armstrong suggests that Jean believe that 1066 is not the date the Battle of Hastings occurred, for Armstrong equates the belief that such and such is just possible but no more than just possible with the belief that such and such is not the case. However, Armstrong insists, Jean also believes that the Battle did occur in 1066. After all, had Jean been mistaught that the Battle occurred in 1066, and subsequently ‘guessed’ that it took place in 1066, we would surely describe the situation as one in which Jean’s false belief about the Battle became unconscious over time but persisted of a memory trace that was causally responsible for his guess. Out of consistency, we must describe Radford’s original case as one that Jean’s true belief became unconscious but persisted long enough to cause his guess. Thus, while Jean consciously believes that the Battle did not occur in 1066, unconsciously he does believe it occurred in 1066. So after all, Radford does not have a counterexample to the claim that knowledge entails belief.
Armstrong’s response to Radford was to reject Radford’s claim that the examinee lacked the relevant belief about English history. Another response is to argue that the examinee lacks the knowledge Radford attributes to him (cf. Sorenson, 1982). If Armstrong is correct in suggesting that Jean believes both that 1066 is and that it is not the date of the Battle of Hastings, one might deny Jean knowledge on the grounds that people who believe the denial of what they believe cannot be said t know the truth of their belief. Another strategy might be to compare the examine case with examples of ignorance given in recent attacks on externalist accounts of knowledge (needless to say. Externalists themselves would tend not to favour this strategy). Consider the following case developed by BonJour (1985): For no apparent reason, Samantha believes that she is clairvoyant. Again, for no apparent reason, she one day comes to believe that the President is in New York City, even though she has every reason to believe that the President is in Washington, DC. In fact, Samantha is a completely reliable clairvoyant, and she has arrived at her belief about the whereabouts of the President thorough the power of her clairvoyance. Yet surely Samantha’s belief is completely irrational. She is not justified in thinking what she does. If so, then she does not know where the President is. But Radford’s examinee is unconventional. Even if Jean lacks the belief that Radford denies him, Radford does not have an example of knowledge that is unattended with belief. Suppose that Jean’s memory had been sufficiently powerful to produce the relevant belief. As Radford says, in having every reason to suppose that his response is mere guesswork, and he has every reason to consider his belief false. His belief would be an irrational one, and hence one about whose truth Jean would be ignorant.
Least has been of mention to an approaching view from which ‘perception’ basis upon itself as a fundamental philosophical topic both for its central place in ant theory of knowledge, and its central place un any theory of consciousness. Philosophy in this area is constrained by a number of properties that we believe to hold of perception, (1) It gives ‘us’ knowledge of the world around ‘us’. (2) We are conscious of that world by being aware of ‘sensible qualities’: Colour, sounds, tastes, smells, felt warmth, and the shapes and positions of objects in the environment. (3) Such consciousness is effected through highly complex information channels, such as the output of the three different types of colour-sensitive cells in the eye, or the channels in the ear for interpreting pulses of air pressure as frequencies of sound. (4) There ensues even more complex neurophysiological coding of that information, and eventually higher-order brain functions bring it about that we interpreted the information so received. (Much of this complexity has been revealed by the difficulties of writing programs enabling computers to recognize quite simple aspects of the visual scene.) The problem is to avoid thinking of here being a central, ghostly, conscious self, fed information in the same way that a screen if fed information by a remote television camera. Once such a model is in place, experience will seem like a veil getting between ‘us’ and the world, and the direct objects of perception will seem to be private items in an inner theatre or sensorium. The difficulty of avoiding this model is epically cute when we considered the secondary qualities of colour, sound, tactile feelings and taste, which can easily seem to have a purely private existence inside the perceiver, like sensation of pain. Calling such supposed items names like ‘sense-data’ or ‘percepts’ exacerbates the tendency, but once the model is in place, the first property, that perception gives ‘us’ knowledge of the world and its surrounding surfaces, is quickly threatened, for there will now seem little connection between these items in immediate experience and any independent reality. Reactions to this problem include ‘scepticism’ and ‘idealism’.
A more hopeful approach is to claim that the complexities of (3) and (4) explain how we can have direct acquaintance of the world, than suggesting that the acquaintance we do have been at best indirect. It is pointed out that perceptions are not like sensation, precisely because they have a content, or outer-directed nature. To have a perception is to be aware of the world for being such-and-such a way, than to enjoy a mere modification of sensation. But such direct realism has to be sustained in the face of the evident personal (neurophysiological and other) factors determining haw we perceive. One approach is to ask why it is useful to be conscious of what we perceive, when other aspects of our functioning work with information determining responses without any conscious awareness or intervention. A solution to this problem would offer the hope of making consciousness part of the natural world, than a strange optional extra.
Furthering, perceptual knowledge is knowledge acquired by or through the senses and includes most of what we know. We cross intersections when we see the light turn green, head for the kitchen when we smell the roast burning, squeeze the fruit to determine its ripeness, and climb out of bed when we hear the alarm ring. In each case we come to know something-that the light has turned green, that the roast is burning, that the melon is overripe, and that it is time to get up-by some sensory means. Seeing that the light has turned green is learning something-that the light has turned green-by use of the eyes. Feeling that the melon is overripe is coming to know a fact-that the melon is overripe-by one’s sense to touch. In each case the resulting knowledge is somehow based on, derived from or grounded in the sort of experience that characterizes the sense modality in question.
Much of our perceptual knowledge is indirect, dependent or derived. By this I mean that the facts we describe ourselves as learning, as coming to know, by perceptual means are pieces of knowledge that depend on our coming to know something else, some other fact, in a more direct way. We see, by the gauge, that we need gas, see, by the newspapers, that our team has lost again, see, by her expression, that she is nervous. This derived or dependent sort of knowledge is particularly prevalent in the cases of vision, but it occurs, to a lesser degree, in every sense modality. We install bells and other noise-makers so that we calm for example, hear (by the bell) that someone is at the door and (by the alarm) that its time to get up. When we obtain knowledge in this way, it is clear that unless one sees-hence, comes to know something about the gauge (that it says) and (hence, know) that one is described as coming to know by perceptual means. If one cannot hear that the bell is ringing, one cannot-in at least in this way-hear that one’s visitors have arrived. In such cases one sees (hears, smells, etc.) that ‘a’ is ‘F’, coming to know thereby that ‘a’ is ‘F’, by seeing (hearing, etc.) that some other condition, ‘b’s’ being ‘G’, obtains when this occurs, the knowledge (that ‘a’ is ‘F’) is derived from, or dependent on, the more basic perceptual knowledge that ‘b’ is ‘G’.
From evidence or from premises, we are to infer upon the magnifications as brought for their use of meaning (as charms or spells). Some strongly believed to have supernatural power even natural forces, and the procurer of magic or witchcraft has by nature of conjuring enchantments or its concurring wizardry. Nonetheless, the paradoxical conversions go beyond any addition of others, for one’s own is to discover, understand or explain. Although their expressionless character is indecipherable and cannot be explained as an inexplicable discrepancy. Yet the pillars of possibility can give or be a source of pleasure, but, its poise of stability lays steadfast in supporting possibilities, as something that can develop or become actual, as existing in possibilities.
One can readily make a condition or occurrence for finding to absolve the justification and determine that the evidence was inclusive. No defence is possible, therefore, the causable state of mental or physical experience or its action, conceded by ‘reason’ and lent of its support so that it could be explained, again, the justification for which its incentive was a primary concern of that support, that of something to open for question, as a point or points that support something on occasion of the mind by which man attains this problem. However, the power of doing something without evidence is afforded the pains for which the respondent has of its condition. Or its rationale, the respondent’s rights or prerogative of determining, ruling or governing or the exercise of those dominated jurisdictions, if only to arrive by reasoning from evidence the capabilities raised by deductive powers of thought. As can be thought about, and just as notions are easy enough to be thinkable, our mutual extent of existing or based of fact, the possibility is usually theoretical, but theoretical speculation can become actualized and may form an idea of something in the mind, as cogitative reflections are an interconnective communication, under which that which can be known as having existence in space or in time presupposing the opened apparency awaiting perceptibly off the edge horizon of things to come. In spite of the fact, much as the process of thinking sits immersed in deep meditations of pondercity investigating accusation’s, by which conscionable awarenesses is collectively convened for our consideration into making clear in the mind and earning the distinction of elementally true character within some clouded disconcertion, where conditions of things are out of their normal or proper places or relationships. As we are met without the systemisations of ordering arrangement of methodization, as we are deranged of additional reasons forwarded by ways of cognitive thinking, and justifiably by its operation and processes of positioning into the active use of energy. The producing results affect a condition or occurrence traceable to a cause, are the effects of some sorted medicine causing dizziness. Its possession to things of one usually excludes real property and intangibles, belonging by ownership to fix upon one among alternatives as the one to be taken, accepted, or adopted, as change may be to make or become different, e.g., she changed her will again and again, as our own needs change as we grow older. In making a difference a result of such change is alterable or changing under slight provocation that proves us responsible that causes uncertainty, as will be to change from a closed to an open condition. Making a line of physically or mentally visibility, which is only to the exclusion of any alternate visionary or contentious particularities, on occasion uncommonly as sometimes intermittently, as now and then or again, on each occasion so often to come or go into some place or thing. One that has real and independent existence as, each entity, existent, individual, something wholly integrated in sum system, totality. Successful by which the conclusion and resolve the matter's of fabric situated as comprehending high definitional ways of uncertainty. As a matter-of-course, forming the appearance of something as distinguished from the substance of which it is made, and carefully graded from the set-classes before the mind for consideration of sufficient resources, or capacity to preform in mind as a purposively forbidding idea that something conveys to the mind, as critics have endlessly debated many times over, however.
To ascertain the quantity, mass, extent or degree through a standard unit or fixed amount finds to its distribution an immaterial point beyond which something does not or cannot extend, inasmuch as having no limits. Having no further value, strength, or resources and being at the very end of a course, concern or relationship, thus in this or that manner its summoned counsellors and spoke thus to them. Resulting in the continual and unremitting absence in a more timely moment, especially the proper moment, for which to find out or record the time, duration, or rate of a timed racing car timed at one-hundred mph.
The theory of knowledge as so distinguished from two or more inferred diversifiers, if upon which its central questions include, the origin of knowledge, the place of experience in generating knowledge, and the place of reason in doing so. The relationship between knowledge and certainty, and between knowledge and the impossibility of error, the possibility of universal 'scepticism' and the changing forms of knowledge that arise from new conceptualizations of the world. All these issues link with other central concerns of philosophy, such as the nature of truth and the nature of experience and meaning. Seeing epistemology is possible as dominated by two rival metaphors. One is that of a building or pyramid, built on supportive foundations. In this conception it is the job of the philosopher to describe especially secure foundations, and to identify secure modes of construction, so that the resulting edifice can be shown to be sound.
This leading metaphor, of a special privileging favour to what in the mind as a representation, as of something comprehended or, as a formulation. As of a plan that has characteristic distinction, when added or followed by some precedent idea that the 'given' issuess are in effective the basis for which ideas or the principal object of our attention are bases within the dialectic awareness. Our composite explications to recompensing the act or an instance of seeking truth, information, or knowledge about something of its refutable topic as to the “be-all” and “end-all” of justifiable knowledge. Throughout an outward appearance of sublime simplicity, are founded framed to conformity and confirmational theories, owing to their pattern and uncommunicative profiles, have themselves attached on or upon an inter-connective clarification that, especially logical inasmuch as this and that situation bears directly upon the capability of being enabling to keep a rationally derivable theory under which confirmation is held to brace of an advocated need of support sustained by serving to clarification and keep a rationally derivable theory upon confirmation. Inferences are feasible methods of constitution. By means from unyielding or losing courage or stability, the supposed instrumentation inferred by conditional experiences, will favourably find the stability resulting from the equalization of opposing forces. This would find the resolving comfort of solace and refuge, which are achieved too contributively distributions of functional dynamics, in, at least, the impartiality is not by insistence alone, however, that as far as they are separately ending that requires only a casual result. The view in epistemology that knowledge must be regarded as a structure raised upon secure, certain foundations. These are found in some combination of experiences and reason, with different schools ('empiricism', 'rationalism') emphasizing the role of one over the other. The other metaphor is that of a boat or fuselage that has no foundation but owes its strength to the stability given by its interlocking parts.
This rejects the idea or declination as founded in the idea that exists in the mind as a representation, as of something comprehended or as a formulation or as a plan, and by its apprehension alone, it further claims a prerequisite of a given indulgence. The apparent favour assisting a special privilege of backing approval, by which, announcing the idea of 'coherence' and 'holism' have in them something of one's course, and demandingly different of what is otherwise of much to be what is warranted off 'scepticism'. Nonetheless, the idea that exists in the mind remains beyond or to the farther side of one's unstretching comprehension being individually something to find and answer to its solution, in that ever now and again, is felt better but never found. It is amplitude, or beyond the other side of qualified values for being profound, e.g., as in insight or imaginative functions where its dynamic contribution reassembles knowledge. Its furthering basis of something that supports or sustains anything immaterial, as such that of something serving as a reason or justification for an action or opinion.
The problem of defining knowledge as for true beliefs plus some favourable relation in common to or having a close familiarity of a conformable position and finding a various certainty about the appropriated a type of certain identity of being earnestly intensive. In which a state of freedom from all jesting or trifling, as we can find the attentiveness of an earnest deliberation. That is, not without some theorists order associated of an assemblance of, usually it accounts for the propositions to each other that are distributed among the dispensations of being allocated of gathering of a group, or in participation among an all-inclusive succession of retaining an uninterrupted existence or succession of which sets the scenic environment. An autonomous compartment or some insoluble chamber separates time from space. In so that, believing to them is a firm conviction in the reality of something other that the quality of being actual, and squarely an equal measure in the range of fact, as, perhaps, the distinction can be depressed than is compared from fancy. That, as a person, fact, or condition, which is responsible for an effect of purpose to fix arbitrarily or authoritatively for the sake of order or of a clear understanding as presented with the believers and the factualities that began with Plato's view in the Theaetetus, that knowledge is true belief plus a logo.
Analytic and Linguistic Philosophy, is a product out of the 20th-century philosophical movement, and dominant in Britain and the United States since World War II, that aims to clarify language and analyse the concepts expressed in it. The movement has been given a variety of designations, including linguistic analysis, logical empiricism, logical positivism, Cambridge analysis, and 'Oxford philosophy'. The last two labels are derived from the universities in England where this philosophical method has been particularly influential. Although no specific doctrines or tenets are accepted by the movement as a whole, analytic and linguistic philosophers agree that the proper activity of philosophy is clarifying language, or, as some prefer, clarifying concepts. The aim of this activity is to settle philosophical disputes and resolve philosophical problems, which, it is argued, originates in linguistic confusion.
A considerable diversity of views exists among analytic and linguistic philosophers regarding the nature of conceptual or linguistic analysis. Some have been primarily concerned with clarifying the meaning of specific words or phrases as an essential step in making philosophical assertions clear and unambiguous. Others have been more concerned with determining the general conditions that must be met for any linguistic utterance to be meaningful; their intent is to establish a criterion that will distinguish between meaningful and nonsensical sentences. Still other analysts have been interested in creating formal, symbolic languages that are mathematical in nature. Their claim is that philosophical problems can be more effectively dealt with once they are formulated in a rigorous logical language.
By contrast, many philosophers associated with the movement have focussed on the analysis of ordinary, or natural, language. Difficulties arise when concepts such as time and freedom, for example, are considered apart from the linguistic context in which they normally appear. Attention to language as it is ordinarily used as the key, it is argued, to resolving many philosophical puzzles.
Linguistic analysis as a method of philosophy is as old as the Greeks. Several of the dialogues of Plato, for example, are specifically concerned with clarifying terms and concepts. Nevertheless, this style of philosophizing has received dramatically renewed emphasis in the 20th century. Influenced by the earlier British empirical tradition of John Locke, George Berkeley, David Hume, and John Stuart Mill and by the writings of the German mathematician and philosopher Gottlob Frége, the 20th-century English philosopher's G. E. Moore and Bertrand Russell became the founders of this contemporary analytic and linguistic trend. As students together at the University of Cambridge, Moore and Russell rejected Hegelian idealism, particularly as it was reflected in the work of the English metaphysician F. H. Bradley, who held that nothing is completely real except the Absolute. In their opposition to idealism and in their commitment to the view that careful attention to language is crucial in philosophical inquiry. They set the mood and style of philosophizing for much of the 20th century English-speaking world.
For Moore, philosophy was first and foremost analysis. The philosophical task involves clarifying puzzling propositions or concepts by indicating fewer puzzling propositions or concepts to which the originals are held to be logically equivalent. Once this task has been completed, the truth or falsity of problematic philosophical assertions can be determined more adequately. Moore was noted for his careful analyses of such puzzling philosophical claims as "time is unreal," analyses that then aided in the determining of the truth of such assertions.
Russell, strongly influenced by the precision of mathematics, was concerned with developing an ideal logical language that would accurately reflect the nature of the world. Complex propositions, Russell maintained, can be resolved into their simplest components, which he called atomic propositions. These propositions refer to atomic facts, the ultimate constituents of the universe. The metaphysical views based on this logical analysis of language, and the insistence that meaningful propositions must correspond to facts constitute what Russell called logical atomism. His interest in the structure of language also led him to distinguish between the grammatical form of a proposition and its logical form. The statements 'John is good' and 'John is tall' have the same grammatical form but different logical forms. Failure to recognize this would lead one to treat the property 'goodness' as if it were a characteristic of John in the same way that the property 'tallness' is a characteristic of John. Such failure results in philosophical confusion.
Russell's work in mathematics attracted by adherent correspondences what to Cambridge the Austrian philosopher Ludwig Wittgenstein, became a central figure in the analytic and linguistic movement. In his first major work, “Tractatus Logico-Philosophicus” (1921,. translations, 1922), in which he first presented his theory of language, Wittgenstein argued that 'all philosophy is a 'critique of language' and that 'philosophy aims at the logical clarification of thoughts'. The results of Wittgenstein's analysis resembled Russell's logical atomism. The world, he argued, is ultimately composed of simple facts, which it is the purpose of language to picture. To be meaningful, statements about the world must be reducible to linguistic utterances that have a structure similar to the simple facts pictured. In this early Wittgensteinian analysis, only propositions that picture facts - the propositions of science - are considered factually meaningful. Metaphysical, theological, and ethical sentences were judged to be factually meaningless.
Influenced by Russell, Wittgenstein, Ernst Mach, and others, a group of philosophers and mathematicians in Vienna in the 1920s initiated the movement known as logical positivism. Led by Moritz Schlick and Rudolf Carnap, the Vienna Circle initiated one of the most important chapters in the history of analytic and linguistic philosophy. According to the positivists, the task of philosophy is the clarification of meaning, not the discovery of new facts (the job of the scientists) or the construction of comprehensive accounts of reality (the misguided pursuit of traditional metaphysics).
The positivists divided all meaningful assertions into two classes: analytic propositions and empirically verifiable ones. Analytic propositions, which include the propositions of logic and mathematics, are statements the truth or falsity of which depend altogether on the meanings of the terms constituting the statement. An example would be the proposition "two plus two equals four." The second class of meaningful propositions includes all statements about the world that can be verified, at least in principle, by sense experience. Indeed, the meaning of such propositions is identified with the empirical method of their verification. This verifiability theory of meaning, the positivists concluded, would demonstrate that scientific statements are legitimate factual claims and that metaphysical, religious, and ethical sentences are factually overflowing emptiness. The ideas of logical positivism were made popular in England by the publication of A.J. Ayer's Language, Truth and Logic” in 1936.
The positivists' verifiability theory of meaning came under intense criticism by philosophers such as the Austrian-born British philosopher Karl Popper. Eventually this narrow theory of meaning yielded to a broader understanding of the nature of language. Again, an influential figure was Wittgenstein. Repudiating many of his earlier conclusions in the Tractatus, he initiated a new line of thought culminating in his posthumously published Philosophical Investigations (1953: Translations, 1953). In this work, Wittgenstein argued that once attention is directed to the way language is actually used in ordinary discourse, the variety and flexibility of language become clear. Propositions do much more than simply picture facts.
This recognition led to Wittgenstein's influential concept of language games. The scientist, the poet, and the theologian, for example, are involved in different language games. Moreover, the meaning of a proposition must be understood in its context, that is, in terms of the rules of the language game of which that proposition is a part. Philosophy, concluded Wittgenstein, is an attempt to resolve problems that arise as the result of linguistic confusion, and the key to the resolution of such problems is ordinary language analysis and the proper use of language.
Additional contributions within the analytic and linguistic movement include the work of the British philosopher's Gilbert Ryle, John Austin, and P. F. Strawson and the American philosopher W. V. Quine. According to Ryle, the task of philosophy is to restate 'systematically misleading expressions' in forms that are logically more accurate. He was particularly concerned with statements the grammatical form of which suggests the existence of nonexistent objects. For example, Ryle is best known for his analysis of mentalistic language, language that misleadingly suggests that the mind is an entity in the same way as the body.
Austin maintained that one of the most fruitful starting points for philosophical inquiry is attention to the extremely fine distinctions drawn in ordinary language. His analysis of language eventually led to a general theory of speech acts, that is, to a description of the variety of activities that an individual may be performing when something is uttered.
Strawson is known for his analysis of the relationship between formal logic and ordinary language. The complexity of the latter, he argued, is inadequately represented by formal logic. A variety of analytic tools, therefore, are needed in addition to logic in analysing ordinary language.
Quine discussed the relationship between language and ontology. He argued that language systems tend to commit their users to the existence of certain things. For Quine, the justification for speaking one way rather than another is a thoroughly pragmatic one.
The commitment to language analysis as a way of pursuing philosophy has continued as a significant contemporary dimension in philosophy. A division also continues to exist between those who prefer to work with the precision and rigour of symbolic logical systems and those who prefer to analyse ordinary language. Although few contemporary philosophers maintain that all philosophical problems are linguistic, the view continues to be widely held that attention to the logical structure of language and to how language is used in everyday discourse in resolving philosophical problems. The examination of one's own thought and feeling, is the basis of a man much given to introspection, as a sense of self-searching is a limited, definite or measurable extent of time during which something exists, that its condition is reserved in the term of having or showing skill in thinking or reasoning, the Rationale is marked by the reasonable logical calculus and is also called a formal language, and a logical system? A system in which explicit rules are provided to determining (1) which are the expressions of the system (2) which sequence of expressions count as well formed (well-forced formulae) (3) which sequence would count as proofs. An indefinable system that may include axioms for which leaves terminate a proof, however, it shows of the prepositional calculus and the predicated calculus.
It's most immediate of issues surrounding certainty are especially connected with those concerning 'scepticism'. Although Greek scepticism entered on the value of enquiry and questioning, scepticism is now the denial that knowledge or even rational belief is possible, either about some specific subject-matter, e.g., ethics, or in any area whatsoever. Classical scepticism, springs from the observation that the best method in some area seems to fall short of giving us contact with the truth, e.g., there is a gulf between appearances and reality, it frequently cites the conflicting judgements that our methods deliver, with the effectualities that express doubt about truth becoming narrowly spaced that in turn demonstrates their marginality, in at least, ascribed of being indefinable. In classic thought the various examples of this conflict were systemized in the tropes of Aenesidemus. So that, the scepticism of Pyrrho and the new Academy was a system of argument and inasmuch as opposing dogmatism, and, particularly the philosophical system building of the Stoics.
As it has come down to us, particularly in the writings of Sextus Empiricus, its method was typically to cite reasons for finding our issue undesirable (sceptics devoted particular energy to undermining the Stoics conception of some truths as delivered by direct apprehension or some katalepsis). As a result the sceptics conclude eposhé, or the suspension of belief, and then go on to celebrate a way of life whose object was ataraxia, or the tranquillity resulting from suspension of belief.
Fixed by for and of itself, the mere mitigated scepticism which accepts every day or commonsense belief, is that, not the delivery of reason, but as due more to custom and habit. Nonetheless, it is self-satisfied at the proper time, however, the power of reason to give us much more. Mitigated scepticism is thus closer to the attitude fostered by the accentuations from Pyrrho through to Sextus Expiricus. Despite the fact that the phrase 'Cartesian scepticism' is sometimes used, Descartes himself was not a sceptic, however, in the 'method of doubt' uses a sceptical scenario in order to begin the process of finding a general distinction to mark its point of knowledge. Descartes trusts in categories of 'clear and distinct' ideas, not far removed from the phantasiá kataleptikê of the Stoics.
For many sceptics had traditionally held that knowledge requires certainty, artistry. And, of course, they claim that certainty of knowledge is not possible. In part, nonetheless, of the principle that every effect it's a consequence of an antecedent cause or causes. For causality to be true it is not necessary for an effect to be predictable as the antecedent causes may be numerous, too complicated, or too interrelated for analysis. Nevertheless, in order to avoid scepticism, this participating sceptic has generally held that knowledge does not require certainty. Except for alleged cases of things that are evident for one just by being true, it has often been thought, that any thing known must satisfy certain criteria as well for being true. It is often taught that anything is known must satisfy certain standards. In so saying, that by 'deduction' or 'induction', there will be criteria specifying when it is. As these alleged cases of self-evident truths, the general principle specifying the sort of consideration that will make such standards in the apparent or justly conclude in accepting it warranted to some degree.
Besides, there is another view - the absolute globular view that we do not have any knowledge whatsoever. In whatever manner, it is doubtful that any philosopher seriously entertains of absolute scepticism. Even the Pyrrhonist sceptics, who held that we should refrain from accenting to any non-evident standards that no such hesitancy about asserting to 'the evident', the non-evident are any belief that requires evidences because it is warranted.
René Descartes (1596-1650), in his sceptical guise, never doubted the content of his own ideas. It's challenging logic, inasmuch as of whether they 'corresponded' to anything beyond ideas.
All the same, Pyrrhonism and Cartesian form of virtual globular scepticism, in having been held and defended, that of assuming that knowledge is some form of true, sufficiently warranted belief, it is the warranted condition that provides the truth or belief conditions, in that of providing the grist for developing upon the sceptic's undertaking. The Pyrrhonist will suggest that there are no non-evident, empirically deferring the sufficiency of giving in but warranted. Whereas, a Cartesian sceptic will agree that no empirical standards have placed anything other than one's own mind and its contentually subjective matters for which are sufficiently warranted, because there are always legitimate grounds for doubting it. Whereunto, the essential differences between the two views concern the stringency of the requirements for a belief being sufficiently warranted justly, to take account of as knowledge.
James, (1842-1910), although with characteristic generosity exaggerated in his debt to Charles S. Peirce (1839-1914), he charted that the method of doubt encouraged people to pretend to doubt what they did not doubt in their hearts, and criticize its individualist's insistence, that the ultimate test of certainty is to be found in the individuals personalized consciousness.
From his earliest writings, James understood cognitive processes in teleological terms. 'Thought', he held, assists us in the satisfactory interests. His will to believe doctrine, the view that we are sometimes justified in believing beyond the evidential relics upon the notion that a belief's benefits are relevant to its justification. His pragmatic method of analysing philosophical problems, for which requires that we find the meaning of terms by examining their application to objects in experimental situations, similarly reflects the teleological approach in its attention to consequences.
Such an approach, however, sets' James' theory of meaning apart from verification, dismissive of metaphysics. Unlike the verificationalists, who takes cognitive meaning to be a matter only of consequences in sensory experience? James' took pragmatic meaning to include emotional and matter responses. Moreover his, metaphysical standard of quality value, not a way of dismissing them as meaningless. It should also be noted that in a greater extent, circumspective moments' James did not hold that even his broad set of consequences was exhaustive of a term meaning. 'Theism', for example, he took to have antecedently, definitional meaning, in addition to its varying degree of importance and chance upon an important pragmatic meaning.
James' theory of truth reflects upon his teleological conception of cognition, by considering a true belief to be one which is compatible with our existing system of beliefs, and leads us to satisfactory interaction with the world.
However, Peirce's famous pragmatist principle is a rule of logic employed in clarifying our concepts and ideas. Consider the claim the liquid in a flask is an acid, if, we believe this, we except that it would turn red: We accept an action of ours to have certain experimental results. The pragmatic principle holds that listing the conditional expectations of this kind, in that we associate such immediacy with applications of a conceptual representation that provides a complete and orderly set clarification of the concept. This is irrelevant to the logic of abduction: Clarificationists using the pragmatic principle provides all the information about the content of a hypothesis that is relevantly to decide whether it is worth testing.
To a greater extent, and what is most important, is the framed apprehension of the pragmatic principle, in so that, Pierces's account of reality: When we take something to be real that by this single case, we think it is 'fated to be agreed upon by all who investigate' the matter to which it stand, in other words, if I believe that it is really the case that 'P', then I except that if anyone were to inquire depthfully into the finding its measure into whether 'p', they would arrive at the belief that 'p'. It is not part of the theory that the experimental consequences of our actions should be specified by a warranted empiricist vocabulary - Peirce insisted that perceptual theories are abounding in latency. Even so, nor is it his view that the collected conditionals do or not clarify a concept as all analytic. In addition, in later writings, he argues that the pragmatic principle could only be made plausible to someone who accepted its metaphysical realism: It requires that 'would-bees' are objective and, of course, real.
H.H. Price (1969) defends the claims that there are different sorts of belief-in, some, but not all, reducible to beliefs-that. If you believe in God, you believe that God exists, that God is good, etc., but, according to Price, your belief involves, in addition, a certain complex pro-attitude toward its object. One might attempt to analyse this further attitude in terms of additional beliefs-that: 'S' believes in 'χ' just in case (1) 'S' believes that ‘χ’ exists (and perhaps holds further factual beliefs about (χ): (2) 'S' believes that 'χ' is good or valuable in some respect, and (3) 'S' believes that 'χ's' being good or valuable in this respect is itself is a good thing. An analysis of this sort, however, fails adequately to capture the further affective component of belief-in. Thus, according to Price, if you believe in God, your belief is not merely that certain truth hold, you posses, in addition, an attitude of commitment and trust toward God.
Notoriously, belief-in outruns the evidence for the corresponding belief-that. Does this diminish its rationality? If belief-in presupposes belief-that, it might be thought that the evidential standards for the former must be, at least as high as standards for the latter. And any additional pro-attitude might be thought to require a further layer of justification not required for cases of belief-that.
Some philosophers have argued that, at least for cases in which belief-in is synonymous with faith (or faith-in), evidential thresholds for constituent propositional beliefs are diminished. You may reasonably have faith in God or Mrs. Thatcher, even though beliefs about their respective attitudes, were you to harbour them, would be evidentially substandard.
Belief-in may be, in general, less susceptible to alternations in the face of unfavorable evidence than belief-that. A believer who encounters evidence against Gods’ existence may remain unshaken in his belief, in part because the evidence does not bear on his pro-attitude. So long as this is united with his belief that God exists, the belief may survive epistemic buffeting-and reasonably so in a way that an ordinary propositional belief-that would not.
At least two large sets of questions are properly treated under the heading of epistemological religious beliefs. First, there is a set of broadly theological questions about the relationship between faith and reason, between what one knows by way of reason, broadly construed, and what one knows by way of faith. These theological questions may as we call theological, because, of course, one will find them of interest only if one thinks that in fact there is such a thing as faith, and that we do know something by way of it. Secondly, there is a whole set of questions having to do with whether and to what degree religious beliefs have warrant, or justification, or positive epistemic status. The second, is seemingly as an important set of a theological question is yet spoken of faith.
Epistemology, so we are told, is theory of knowledge: Its aim is to discern and explain that quality or quantity enough of which distinguishes knowledge from mere true belief. We need a name for this quality or quantity, whatever precisely it is, call it warrant. From this point of view, the epistemology of religious belief should center on the question whether religious belief has warrant, an if it does, hoe much it has and how it gets it. As a matter of fact, however, epistemological discussion of religious belief, at least since the Enlightenment (and in the Western world, especially the English-speaking Western world) has tended to focus, not on the question whether religious belief has warrant, but whether it is justified. More precisely, it has tended to focus on the question whether those properties enjoyed by theistic belief -the belief that there exists a person like the God of traditional Christianity, Judaism and Islam: An almighty Law Maker, or an all-knowing and most wholly benevolent and a loving spiritual person who has created the living world. The chief question, therefore, has ben whether theistic belief is justified, the same question is often put by asking whether theistic belief is rational or rationally acceptable. Still further, the typical way of addressing this question has been by way of discussing arguments for or and against the existence of God. On the pro side, there are the traditional theistic proofs or arguments: The ontological, cosmological and teleological arguments, using Kants terms for them. On the other side, the anti-theistic side, the principal argument is the argument from evil, the argument that is not possible or at least probable that there be such a person as God, given all the pain, suffering and evil the world displays. This argument is flanked by subsidiary arguments, such as the claim that the very concept of God is incoherent, because, for example, it is impossible that there are the people without a body, and Freudian and Marxist claims that religious belief arises out of a sort of magnification and projection into the heavens of human attributes we think important.
But why has discussion centered on justification rather than warrant? And precisely what is justification? And why has the discussion of justification of theistic belief focussed so heavily on arguments for and against the existence of God?
As to the first question, we can see why once we see that the dominant epistemological tradition in modern Western philosophy has tended to identify warrant with justification. On this way of looking at the matter, warrant, that which distinguishes knowledge from mere true belief, just is justification. Belief theory of knowledge-the theory according to which knowledge is justified true belief has enjoyed the status of orthodoxy. According to this view, knowledge is justified truer belief, therefore any of your beliefs have warrant for you if and only if you are justified in holding it.
But what is justification? What is it to be justified in holding a belief? To get a proper sense of the answer, we must turn to those Twin towers of western epistemology. René Descartes and especially, John Locke. The first thing to see is that according to Descartes and Locke, there are epistemic or intellectual duties, or obligations, or requirements. Thus, Locke:
Faith is nothing but a firm assent of the mind, which if it is regulated, A is our duty, cannot be afforded to anything, but upon good reason: And cannot be opposite to it, he that believes, without having any reason for believing, may be in love with his own fanciers: But, neither seeks truth as he ought, nor pats the obedience due his maker, which would have him use those discerning faculties he has given him: To keep him out of mistake and error. He that does this to the best of his power, however, he sometimes lights on truth, is in the right but by chance: And I know not whether the luckiest of the accidents will excuse the irregularity of his proceeding. This, at least is certain, that he must be accountable for whatever mistakes he runs into: Whereas, he that makes use of the light and faculties God has given him, by seeks sincerely to discover truth, by those helps and abilities he has, may have this satisfaction in doing his duty as rational creature, that though he should miss truth, he will not miss the reward of it. For he governs his assent right, and places it as he should, who in any case or matter whatsoever, believes or disbelieves, according as reason directs him. He manages otherwise, transgresses against his own light, and misuses those faculties, which were given him.
Rational creatures, creatures with reason, creatures capable of believing propositions (and of disbelieving and being agnostic with respect to them), say Locke, have duties and obligation with respect to the regulation of their belief or assent. Now the central core of the notion of justification(as the etymology of the term indicates) this: One is justified in doing something or in believing a certain way, if in doing one is innocent of wrong doing and hence not properly subject to blame or censure. You are justified, therefore, if you have violated no duties or obligations, if you have conformed to the relevant requirements, if you are within your rights. To be justified in believing something, then, is to be within your rights in so believing, to be flouting no duty, to be to satisfy your epistemic duties and obligations. This way of thinking of justification has been the dominant way of thinking about justification: And this way of thinking has many important contemporary representatives. Roderick Chisholm, for example (as distinguished an epistemologist as the twentieth century can boast, in his earlier work explicitly explains justification in terms of epistemic duty (Chisholm, 1977).
The (or, a) main epistemological; questions about religious believe, therefore, has been the question whether or not religious belief in general and theistic belief in particular is justified. And the traditional way to answer that question has been to inquire into the arguments for and against theism. Why this emphasis upon these arguments? An argument is a way of marshalling your propositional evidence-the evidence from other such propositions as likens to believe-for or against a given proposition. And the reason for the emphasis upon argument is the assumption that theistic belief is justified if and only if there is sufficient propositional evidence for it. If there is not much by way of propositional evidence for theism, then you are not justified in accepting it. Moreover, if you accept theistic belief without having propositional evidence for it, then you are going contrary to epistemic duty and are therefore unjustified in accepting it. Thus, W.K. William James, trumpets that it is wrong, always everything upon insufficient evidence, his is only the most strident in a vast chorus of only insisting that there is an intellectual duty not to believer in God unless you have propositional evidence for that belief. A few others in the choir: Sigmund Freud, Brand Blanshard, H.H. Price, Bertrand Russell and Michael Scriven.
Now, the justification of theistic beliefs gets identified with there being propositional evidence for it? Justification is a matter of being blameless, of having done ones duty (in this context, for ones individualistic reasons are epistemically are in duty): What, precisely, has this to do with having propositional evidence?
The answer, once, again, is to be found of Descartes, and, especially Locke. As, justification is the property your beliefs have when, in forming and holding them, you conform to your epistemic duties and obligations. But according to Locke, a central epistemic duty is this: To believe a proposition, is only to the degree that it is probable with respect to what is certain for you. What propositions are certain for you? First, according to Descartes and Locke, propositions about your own immediate experience, that you have a mild headache, or that it seems to you that you see something red: And second, propositions that are self-evident for you, necessarily true propositions so obvious that you cannot so much as entertain them without seeing that they must be true. (Examples would be simple arithmetical and logical propositions, together with such propositions as that the whole is at least as large as the parts, that red is a colour, and that whatever exists has properties). Propositions of these two sorts are certain for you, as fort other prepositions. You are justified in believing if and only if when one and only to the degree to which it is probable with respect to what is certain for you. According to Locke, therefore, and according to the whole modern Foundationalist tradition initiated by Locke and Descartes (a tradition that until has recently dominated Western thinking about these topics) there is a duty not to accept a proposition unless it is certain or probable with respect to what is certain.
In the present context, therefore, the central Lockean assumption is that there is an epistemic duty not to accept theistic belief unless it is probable with respect to what is certain for you: As a consequence, theistic belief is justified only if the existence of God is probable with respect to what is certain. Locke does not argue for his proposition, he simply announces it, and epistemological discussion of theistic belief has for the most part followed hin ion making this assumption. This enables us to see why epistemological discussion of theistic belief has tended to focus on the arguments for and against theism: On the view in question, theistic belief is justified only if it is probable with respect to what is certain, and the way to show that it is probable with respect to what it is certain are to give arguments for it from premises that are certain or, are sufficiently probable with respect to what is certain.
There are at least three important problems with this approach to the epistemology of theistic belief. First, there standards for theistic arguments have traditionally been set absurdly high (and perhaps, part of the responsibility for this must be laid as the door of some who have offered these arguments and claimed that they constitute wholly demonstrative proofs). The idea seems to test. a good theistic argument must start from what is self-evident and proceed majestically by way of self-evidently valid argument forms to its conclusion. It is no wonder that few if any theistic arguments meet that lofty standard -particularly, in view of the fact that almost no philosophical arguments of any sort meet it. (Think of your favourite philosophical argument: Does it really start from premisses that are self-evident and move by ways of self-evident argument forms to its conclusion?)
Secondly, attention has ben mostly confined to three theistic arguments: The traditional arguments, cosmological and teleological arguments, but in fact, there are many more good arguments: Arguments from the nature of proper function, and from the nature of propositions, numbers and sets. These are arguments from intentionality, from counterfactual, from the confluence of epistemic reliability with epistemic justification, from reference, simplicity, intuition and love. There are arguments from colours and flavours, from miracles, play and enjoyment, morality, from beauty and from the meaning of life. This is even a theistic argument from the existence of evil.
But there are a third and deeper problems here. The basic assumption is that theistic belief is justified only if it is or can be shown to be probable with respect to many a body of evidence or proposition - perhaps, those that are self-evident or about ones own mental life, but is this assumption true? The idea is that theistic belief is very much like a scientific hypothesis: It is acceptable if and only if there is an appropriate balance of propositional evidence in favours of it. But why believer a thing like that? Perhaps the theory of relativity or the theory of evolution is like that, such a theory has been devised to explain the phenomena and gets all its warrant from its success in so doing. However, other beliefs, e.g., memory beliefs, freelife in other minds is not like that, they are not hypothetical at all, and are not accepted because of their explanatory powers. There are instead, the propositions from which one start in attempting to give evidence for a hypothesis. Now, why assume that theistic belief, belief in God, is in this regard more like a scientific hypothesis than like, say, a memory belief? Why think that the justification of theistic belief depends upon the evidential relation of theistic belief to other things one believes? According to Locke and the beginnings of this tradition, it is because there is a duty not to assent to a proposition unless it is probable with respect to what is certain to you, but is there really any such duty? No one has succeeded in showing that, say, belief in other minds or the belief that there has been a past, is probable with respect to what is certain for us. Suppose it is not: Does it follow that you are living in epistemic sin if you believer that there is other minds? Or a past?
There are urgent questions about any view according to which one has duties of the sort do not believer p unless it is probable with respect to what is certain for you; . First, if this is a duty, is it one to which I can conform? My beliefs are for the most part not within my control: Certainly they are not within my direct control. I Believer that there has been a past and that there are other people, even if these beliefs are not probable with respect to what is certain forms (and even if I came to know this) I could not give them up. Whether or not I accept such beliefs are not really up to me at all, For I can no more refrain from believing these things than I can refrain from conforming yo the law of gravity. Second, is there really any reason for thinking I have such a duty? Nearly everyone recognizes such duties as that of not engaging in gratuitous cruelty, taking care of ones children and ones aged parents, and the like, but do we also find ourselves recognizing that there is a duty not to believer what is not probable (or, what we cannot see to be probable) with respect to what are certain for us? It hardly seems so. However, it is hard to see why being justified in believing in God requires that the existence of God be probable with respect to some such body of evidence as the set of propositions certain for you. Perhaps, theistic belief is properly basic, i.e., such that one is perfectly justified in accepting it on the evidential basis of other propositions one believes.
To recapitulate: The dominant Western tradition has been inclined to identify warrant with justification, it has been inclined to take the latter in terms of duty and the fulfilment of obligation, and hence to suppose that there is no epistemic duty not to believers in God unless you have good propositional evidence for the existence of God. Epistemological discussion of theistic belief, as a consequence, as concentrated on the propositional evidence for and against theistic belief, i.e., on arguments for and against theistic belief. But there is excellent reason to doubt that there are epistemic duties of the sort the tradition appeals to here.
And perhaps it was a mistake to identify warrant with justification in the first place. Napoleons have little warrant for him: His problem, however, need not be dereliction of epistemic duty. He is in difficulty, but it is not or necessarily that of failing to fulfill epistemic duty. He may be doing his epistemic best, but he may be doing his epistemic duty in excelsis: But his madness prevents his beliefs from having much by way of warrant. His lack of warrant is not a matter of being unjustified, i.e., failing to fulfill epistemic duty. So warrant and being epistemologically justified by name are not the same things. Another example, suppose (to use the favourite twentieth-century variant of Descartes evil demon examples) I have been captured by Alpha-Centaurian super-scientists, running a cognitive experiment, they remove my brain, and keep it alive in some artificial nutrients, and by virtue of their advanced technology induce in me the beliefs I might otherwise have if I were going about my usual business. Then my beliefs would not have much by way of warrant, but would it be because I was failing to do my epistemic duty?
As a result of these and other problems, another, externalist way of thinking about knowledge has appeared in recent epistemology, that a theory of justification is internalized if and only if it requires that all of its factors needed for a belief to be epistemically accessible to that of a person, internal to his cognitive perception, and externalist, if it allows that, at least some of the justifying factors need not be thus accessible, in that they can be external to the believe s cognitive Perspectives, beyond his ken. However, epistemologists often use the distinction between internalized and externalist theories of epistemic justification without offering any very explicit explanation.
Or perhaps the thing to say, is that it has reappeared, for the dominant sprains in epistemology priori to the Enlightenment were really externalist. According to this externalist way of thinking, warrant does not depend upon satisfaction of duty, or upon anything else to which the Knower has special cognitive access (as he does to what is about his own experience and to whether he is trying his best to do his epistemic duty): It depends instead upon factors external to the epistemic agent -such factors as whether his beliefs are produced by reliable cognitive mechanisms, or whether they are produced by epistemic faculties functioning properly in-an appropriate epistemic environment.
How will we think about the epistemology of theistic belief in more than is less of an externalist way (which is at once both satisfyingly traditional and agreeably up to date)? I think, that the ontological question whether there is such a person as God is in a way priori to the epistemological question about the warrant of theistic belief. It is natural to think that if in fact we have been created by God, then the cognitive processes that issue in belief in God are indeed realizable belief-producing processes, and if in fact God created us, then no doubt the cognitive faculties that produce belief in God is functioning properly in an epistemologically congenial environment. On the other hand, if there is no such person as God, if theistic belief is an illusion of some sort, then things are much less clear. Then beliefs in God in of the most of basic ways of wishing that never doubt the production by which unrealistic thinking or another cognitive process not aimed at truth. Thus, it will have little or no warrant. And belief in God on the basis of argument would be like belief in false philosophical theories on the basis of argument: Do such beliefs have warrant? Notwithstanding, the custom of discussing the epistemological questions about theistic belief as if they could be profitably discussed independently of the ontological issue as to whether or not theism is true, is misguided. There two issues are intimately intertwined,
Nonetheless, the vacancy left, as today and as days before are an awakening and untold story beginning by some sparking conscious paradigm left by science. That is a central idea by virtue accredited by its epistemology, where in fact, is that justification and knowledge arising from the proper functioning of our intellectual virtues or faculties in an appropriate environment.
Finally, that the concerning mental faculty reliability point to the importance of an appropriate environment. The idea is that cognitive mechanisms might be reliable in some environments but not in others. Consider an example from Alvin Plantinga. On a planet revolving around Alfa Centauri, cats are invisible to human beings. Moreover, Alfa Centaurian cats emit a type of radiation that causes humans to form the belief that there I a dog barking nearby. Suppose now that you are transported to this Alfa Centaurian planet, a cat walks by, and you form the belief that there is a dog barking nearby. Surely you are not justified in believing this. However, the problem here is not with your intellectual faculties, but with your environment. Although your faculties of perception are reliable on Earth, yet are unrealisable on the Alga Centaurian planet, which is an inappropriate environment for those faculties.
The central idea of virtue epistemology, as expressed in (J) above, has a high degree of initial plausibility. By masking the idea of faculties cental to the reliability if not by the virtue of epistemology, in that it explains quite neatly to why beliefs are caused by perception and memories are often justified, while beliefs caused by unrealistic and superstition are not. Secondly, the theory gives us a basis for answering certain kinds of scepticism. Specifically, we may agree that if we were brains in a vat, or victims of a Cartesian demon, then we would not have knowledge even in those rare cases where our beliefs turned out true. But virtue epistemology explains that what is important for knowledge is toast our faculties are in fact reliable in the environment in which we are. And so we do have knowledge so long as we are in fact, not victims of a Cartesian demon, or brains in a vat. Finally, Plantinga argues that virtue epistemology deals well with Gettier problems. The idea is that Gettier problems give us cases of justified belief that is truer by accident. Virtue epistemology, Plantinga argues, helps us to understand what it means for a belief to be true by accident, and provides a basis for saying why such cases are not knowledge. Beliefs are rue by accident when they are caused by otherwise reliable faculties functioning in an inappropriate environment. Plantinga develops this ligne of reasoning in Plantinga (1988).
The Humean problem if induction supposes that there is some property A pertaining to an observational or experimental situation, and that of A, some fraction m/n (possibly equal to 1) have also been instances of some logically independent property B. Suppose further that the background circumstances, have been varied to a substantial degree and that there is no collateral information available concerning the frequency of B’s among As or concerning causal nomological connections between instances of A and instances of B.
In this situation, an enumerative or instantial inductive inference would move from the premise that m/n of observed 'A's' are 'B's' to the conclusion that approximately m/n of all 'A's' and 'B's'. (The usual probability qualification will be assumed to apply to the inference, than being part of the conclusion). Hereabouts the class of As should be taken to include not only unobservable As of future As, but also possible or hypothetical as. (An alternative conclusion would concern the probability or likelihood of the very next observed 'A' being a 'B').
The traditional or Humean problem of induction, often refereed to simply as the problem of induction, is the problem of whether and why inferences that fit this schema should be considered rationally acceptable or justified from an epistemic or cognitive standpoint, i.e., whether and why reasoning in this way is likely lead to true claims about the world. Is there any sort of argument or rationale that can be offered for thinking that conclusions reached in this way are likely to be true if the corresponding premiss is true or even that their chances of truth are significantly enhanced?
Humes discussion of this deals explicitly with cases where all observed 'A's' are 'B's', but his argument applies just as well to the more general case. His conclusion is entirely negative and sceptical: inductive inferences are not rationally justified, but are instead the result of an essentially a-rational process, custom or habit. Hume challenges the proponent of induction to supply a cogent ligne of reasoning that leads from an inductive premise to the corresponding conclusion and offers an extremely influential argument in the form of a dilemma, to show that there can be no such reasoning. Such reasoning would, ne argues, have to be either deductively demonstrative reasoning concerning relations of ideas or experimental, i.e., empirical, reasoning concerning mattes of fact to existence. It cannot be the former, because all demonstrative reasoning relies on the avoidance of contradiction, and it is not a contradiction to suppose that the course of nature may change, tat an order that was observed in the past will not continue in the future: but it also cannot be the latter, since any empirical argument would appeal to the success of such reasoning in previous experiences, and the justifiability of generalizing from previous experience is precisely what is at issue - so that any such appeal would be question-begging, so then, there can be no such reasoning.
An alternative version of the problem may be obtained by formulating it with reference to the so-called Principle of Induction, which says roughly that the future will resemble or, that unobserved cases will reassembly observe cases. An inductive argument may be viewed as enthymematic, with this principle serving as a suppressed premiss, in which case the issue is obviously how such a premise can be justified. Humes argument is then that no such justification is possible: The principle cannot be justified speculatively as it is not contradictory to deny it: it cannot be justified by appeal to its having been true in pervious experience without obviously begging te question.
The predominant recent responses to the problem of induction, at least in the analytic tradition, in effect accept the main conclusion of Humes argument, viz. That inductive inferences cannot be justified I the sense of showing that the conclusion of such an inference is likely to be truer if the premise is true, and thus attempt to find some other sort of justification for induction.
Bearing upon, and if not taken into account the term induction is most widely used for any process of reasoning that takes us from empirical premises to empirical conclusions supported by the premise, but not deductively entailed by them. Inductive arguments are therefore kinds of amplicative argument, in which something beyond the content of the premises is inferred as probable or supported by them. Induction is, however, commonly distinguished from arguments to theoretical explanations, which share this amplicative character, by being confined to inference in which the conclusion involves the same properties or relations as the premises. The central example is induction by simple enumeration, where from premiss telling that 'Fa', 'Fb', 'Fc'. , Where 'a', 'b', 'c', are all of some kind 'G', It is inferred 'G's' from outside the sample, such as future 'G's' will be 'F', or perhaps other person deceive them, children may well infer that everyone is a deceiver. Different but similar inferences are those from the past possession of a property by some object to the same object’s future possession, or from the constancy of some law-like pattern in events, and states of affairs to its future constancy: all objects we know of attract each the with a fore inversely proportional to the square of the distance between them, so perhaps they all do so, an will always do so.
The rational basis of any inference was challenged by David Hume (1711-76), who believed that induction of nature, and merely reflected a habit or custom of the mind. Hume was not therefore sceptical about the propriety of processes of inducting ion, but sceptical about the tole 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 is 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 't' is not. It is also recognized that actual inductive habits are more complex than those of simple and science pay attention to such factors as variations within the sample of giving us the evidence, the application of ancillary beliefs about the order of nature, and so on. Nevertheless, the fundamental problem remains that any experience shows us only events occurring within a very restricted part of the vast spatial temporal order about which we then come to believer things.
All the same, the classical problem of induction is often phrased in terms of finding some reason to expect that nature is uniform. In Fact, Fiction and Forecast (1954) Goodman showed that we need in addition some reason for preferring some uniformities to others, for without such a selection the uniformity of nature is vacuous. Thus, suppose that all examined emeralds have been green. Uniformity would lead us to expect that future emeralds will be green as well. But, now we define predicate stuff: is trued if and only if 'x' is examined before time 'T' and is green, or 'χ' is examined after 'T' and is blue? Let 'T' refer to some time around the present. Then if newly examined emeralds are like previous ones in respect of being stuff, they will be blue. We prefer blueness a basis of prediction to gluiness, but why?
Goodman argued that although his new predicate appears to be gerrymandered, and itself involves a reference to a difference, this is just aparohial or language-relative judgement, there being no language-independent standard of similarity to which to appeal. Other philosophers have not been convince by this degree of linguistic relativism. What remains clear that the possibility of these bent predicates put a decisive obstacle in face of purely logical and syntactical approaches to problems of confirmation? .
Even so, that the theory of the measure to which evidence supports a theory, whereby a fully formalized confirmation theory would dictate the degree of confidence that a rational investigator might have in a theory, given some body of evidence. The grandfather of confirmation theory is the German philosopher, mathematician and polymath Wilhelm Gottfried Leibniz (1646-1716), who believed that a logically transparent language of science would be able to resolve all disputes. In the 20th century a fully forma 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 the German logical postivists Rudolf Carnap (1891-1970). Wherefore, Carnap, culminating in his Logical Foundations of Probability (1950), that Carnap's idea was that the measure needed would be the proposition of logically possible stares of affairs in which the theory and the evidence both hold, compared to the number in which the evidence itself holds that the probability of a proposition, relative to some evidence, is a proportion of the range of possibilities under which the proposition is true, when compared to the total range of possibilities left open by the evidence. The theory was originally reached by the French mathematician Pierre Simon de LaPlace (1749-1827), and has guided confirmation theory, for example, into the works of Carnap. The difficulty with the range theory of probability had with the theory lies in identifying sets of possibilities so that they admit of measurement. LaPlace appealed to the principle of indifference, supposing that possibilities have an equal probability unless there is reason for distinguishing them. However, unrestricted appeal to this principle introduces inconsistency. Treating possibilities as equally probable may be regarded as depending upon metaphysical choices or logical choices, as in the view of an English economist and philosopher John Maynard Keynes (1883-1946), or on semantic choices, as in the work of Carnap. In any event, it is hard to find an objective source for the authority of such a choice, and this is one of the principal difficulties in front of formalizing the theory of confirmation.
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 sense of what looks plausible.
Both, Frége and Carnap, represented as analyticities best friends in this century, did as much to undermine it as its worst enemies. Quine (1908-) whose early work was on mathematical logic, and issued in A System of Logistic (1934), Mathematical Logic (1940) and Methods of Logic (1950) it was with this collection of papers a Logical Point of View (1953) that his philosophical importance became widely recognized, also, Putman (1926-) his concern in the later period has largely been to deny any serious asymmetry between truth and knowledge as it is obtained in natural science, and as it is obtained in morals and even theology. Books include Philosophy of logic (1971), Representation and Reality (1988) and Renewing Philosophy (1992). Collections of his papers include Mathematics, Master, sand Method (1975), Mind, Language, and Reality (1975), and Realism and Reason (1983). Both of which represented as having refuted the analytic/synthetic distinction, not only did no such thing, but, in fact, contributed significantly to undoing the damage done by Frége and Carnap. Finally, the epistemological significance of the distinctions is nothing like what it is commonly taken to be.
Lockes account of an analyticity proposition as, for its time, everything that a succinct account of analyticity should be (Locke, 1924, pp. 306-8) he distinguished two kinds of analytic propositions, identified propositions in which we affirm the said terms if itself, e.g., Roses are roses, and predicative propositions in which a part of the complex idea is predicated of the name of the whole, e.g., Roses are flowers, Locke calls such sentences trifling because a speaker who uses them trifles with words. A synthetic sentence, in contrast, such as a mathematical theorem, states a truth and conveys with its informative real knowledge. Correspondingly, Locke distinguishes two kinds of necessary consequences, analytic entailment where validity depends on the literal containment of the conclusions in the premiss and synthetic entailments where it does not. (Locke did not originate this concept-containment notion of analyticity. It is discussions by Arnaud and Nicole, and it is safe to say it has been around for a very long time (Arnaud, 1964).
Kants account of analyticity, which received opinion tells us is the consummate formulation of this notion in modern philosophy, is actually a step backward. What is valid in his account is not novel, and what is novel is not valid. Kant presents Lockes account of concept-containment analyticity, but introduces certain alien features, the most important being his characterizations of most important being his characterization of analytic propositions as propositions whose denials are logical contradictions (Kant, 1783). This characterization suggests that analytic propositions based on Lockes part-whole relation or Kants explicative copulas are a species of logical truth. But the containment of the predicate concept in the subject concept in sentences like Bachelors are unmarried is a different relation from containment of the consequent in the antecedent in a sentence like If John is a bachelor, then John is a bachelor or Mary read Kants Critique. The former is literal containment whereas, the latter are, in general, not. Talk of the containment of the consequent of a logical truth in the metaphorical, a way of saying logically derivable.
Kants conflation of concept containment with logical containment caused him to overlook the issue of whether logical truths are synthetically deductive and the problem of how he can say mathematical truth are synthetically deductive when they cannot be denied without contradiction. Historically. , the conflation set the stage for the disappearance of the Lockean notion. Frége, whom received opinion portrays as second only to Kant among the champions of analyticity, and Carnap, who it portrays as just behind Frége, was jointly responsible for the appearance of concept-containment analyticity.
Frége was clear about the difference between concept containment and logical containment, expressing it as like the difference between the containment of beams in a house the containment of a plant in the seed (Frége, 1853). But he found the former, as Kant formulated it, defective in three ways: It explains analyticity in psychological terms, it does not cover all cases of analytic propositions, and, perhaps, most important for Fréges logicism, its notion of containment is unfruitful as a definition; mechanisms in logic and mathematics (Frége, 1853). In an insidious containment between the two notions of containment, Frége observes that with logical containment we are not simply talking out of the box again what we have just put inti it. This definition makes logical containment the basic notion. Analyticity becomes a special case of logical truth, and, even in this special case, the definitions employ the power of definition in logic and mathematics than mere concept combination.
Carnap, attempting to overcome what he saw a shortcoming in Fréges account of analyticity, took the remaining step necessary to do away explicitly with Lockean-Kantian analyticity. As Carnap saw things, it was a shortcoming of Fréges explanation that it seems to suggest those definitional relations underlying analytic propositions can be extra-logic in some sense, say, in resting on linguistic synonymy. To Carnap, this represented a failure to achieve a uniform forma treatment of analytic propositions and left us with a dubious distinction between logical and extra-logical vocabulary. Hence, he eliminated the reference to definitions in Fréges of analyticity by introducing meaning postulates, e.g., statements such as '(∀χ)' ('χ' is a Bachelors-is unmarried) (Carnap, 1965). Like standard logical postulate on which they were modelled, meaning postulates express nothing more than constrains on the admissible models with respect to which sentences and deductions are evaluated for truth and validity. Thus, despite their name, its asymptomatic-balance having to pustulate itself by that in what it holds on to not more than to do with meaning than any value-added statements expressing an indispensable truth. In defining analytic propositions as consequences of (an explained set of) logical laws, Carnap explicitly removed the one place in Fréges explanation where there might be room for concept containment and with it, the last trace of Lockes distinction between semantic and other necessary consequences.
Quine, the staunchest critic of analyticity of our time, performed an invaluable service on its behalf-although, one that has come almost completely unappreciated. Quine made two devastating criticism of Carnaps meaning postulated by the approach that expose it as both irrelevant and vacuous. It is irrelevant because, in using particular words of a language, meaning postulates fail to explicate analyticity for sentences and language generally, that is, the outlived definition does not define anything but for variables 'S' and 'L' (Quine, 1953). It is vacuous because, although meaning postulates tell us what sentences are to count as analytic, they do not tell us what it is for them to be analytic.
Received opinion gas it that Quine did much more than refute the analytic/synthetic distinction as Carnap tried to draw it. Received opinion has that Quine demonstrated there is no distinction, however, anyone might try to draw it. This, too, is incorrect. To argue for this stronger conclusion, Quine had to show that there is no way to draw the distinction outside logic, in particular theory in linguistic corresponding to Carnaps, Quines argument had to take an entirely different form. Some inherent feature of linguistics had to be exploited in showing that no theory in this science can deliver the distinction. But the feature Quine chose was a principle of operationalist methodology characteristic of the school of Bloomfieldian linguistics. Quine succeeds in showing that meaning cannot be made objective sense of in linguistics. If making sense of a linguistic concept requires, as that school claims, operationally defining it in terms of substitution procedures that employ only concepts unrelated to that linguistic concept. But Chomskys revolution in linguistics replaced the Bloomfieldian taxonomic model of grammars with the hypothetico-deductive model of generative linguistics, and, as a consequence, such operational definition was removed as the standard for concepts in linguistics. The standard of theoretical definition that replaced it was far more liberal, allowing the members of as family of linguistic concepts to be defied with respect to one another within a set of axioms that state their systematic interconnections - the entire system being judged by whether its consequences are confirmed by the linguistic facts. Quines argument does not even address theories of meaning based on this hypothetico-deductive model (Katz, 1988 and 1990).
Putman, the other staunch critic of analyticity, performed a service on behalf of analyticity fully on a par with, and complementary to Quines, whereas, Quine refuted Carnaps formalization of Fréges conception of analyticity, Putman refuted this very conception itself. Putman put an end to the entire attempt, initiated by Fridge and completed by Carnap, to construe analyticity as a logical concept.
However, as with Quine, received opinion has it that Putman did much more. Putman in credited with having devised science fiction cases, from the robot cat case to the Twin Earth cases, that are counter examples to the traditional theory of meaning. Again, received opinion is incorrect. These cases are only counter examples to Fréges version of the traditional theory of meaning. Fréges version claims both (1) that senses determine reference, and (2) that there are instances of analyticity, say, typified by cats are animals, and of synonymy, say typified by water in English and water in Twin Earth English. Given (1) and (2), what we call cats nothing, but being non-animal and what we call water of what could not differ from what the Earthier Twin called water. But, as Putman's cases show, what we call cats could be Martian robots and what they call water could be something other than H2O Hence, the cases are counter examples to Fréges version of the theory.
The remaining Frégean criticism points to a genuine incompleteness of the traditional account of analyticity. There are analytic relational sentences, for example, Jane walks with those with whom she strolls, Jack kills those he
himself has murdered, etc., and analytic entailment with existential conclusions, for example, I think, therefore I exist. The containment in these sentences is just as literal as that in an analytic subject-predicate sentence like Bachelors are unmarried, such are shown to have a theory of meaning construed as a hypothetico-deductive systemisations of sense as defined in (D) overcoming the incompleteness of the traditional account in the case of such relational sentences.
Such a theory of meaning makes the principal concern of semantics the explanation of sense properties and relations like synonymy, an antonymy, redundancy, analyticity, ambiguity, etc. Furthermore, it makes grammatical structure, specifically, senses structure, the basis for explaining them. This leads directly to the discovery of a new level of grammatical structure, and this, in turn, makes possible a proper definition of analyticity. To see this, consider two simple examples. It is a semantic fact that a male Bachelors is redundant and that single person is synonymous with woman who never married; . In the case of the redundancy, we have to explain the fact that the sense of the modifier male is already contained in the sense of its head Bachelors. In the case of the synonymy, we have to explain the fact that the sense of sinister is identical to the sense of woman who never married (compositionally formed from the senses of woman, never and married). But is so far as such facts concern relations involving the components of the senses of Bachelors and spinster and are insofar as these words are syntactic simple, there must be a level of grammatical structure at which syntactic simple are semantically complex. This, in brief, is the route by which we arrive a level of decompositional semantic structure; that is the locus of sense structures masked by syntactically simple words.
Once, again, the fact that (A) itself makes no reference to logical operators or logical laws indicate that analyticity for subject-predicate sentences can be extended to simple relational sentences without treating analytic sentences as instances of logical truth. Further, the source of the incompleteness is no longer explained, as Fridge explained it, as the absence of fruitful logical apparatus, but is now explained as mistakenly treating what is only a special case of analyticity as if it were the general case. The inclusion of the predicate in the subject is the special case (where n = 1) of the general case of the inclusion of an–place predicate (and its terms) in one of its terms. Noting that the defects, by which, Quine complained of in connexion with Carnaps meaning-postulated explication are absent in (A). (A) contains no words from a natural language. It explicitly uses variable 'S' and variable 'L' because it is a definition in linguistic theory. Moreover, (A) tell us what property is in virtue of which a sentence is analytic, namely, redundant predication, that is, the predication structure of an analytic sentence is already found in the content of its term structure.
Received opinion has been anti-Lockean in holding that necessary consequences in logic and language belong to one and the same species. This seems wrong because the property of redundant predication provides a non-logic explanation of why true statements made in the literal use of analytic sentences are necessarily true. Since the property ensures that the objects of the predication in the use of an analytic sentence are chosen on the basis of the features to be predicated of them, the truth-conditions of the statement are automatically satisfied once its terms take on reference. The difference between such a linguistic source of necessity and the logical and mathematical sources vindicate Lockes distinction between two kinds of necessary consequence.
Received opinion concerning analyticity contains another mistake. This is the idea that analyticity is inimical to science, in part, the idea developed as a reaction to certain dubious uses of analyticity such as Fréges attempt to establish logicism and Schlicks, Ayers and other logical; postivists attempt to deflate claims to metaphysical knowledge by showing that alleged deductive truth attempts (Schlick, 1948, and Ayer, 1946). In part, it developed as also a response to a number of cases where alleged analytic, and hence, necessary truth, e.g., the law of excluded a seeming next-to-last subsequent to have been taken as open to revision, such cases convinced philosophers like Quine and Putnam that the analytic/synthetic distinction is an obstacle to scientific progress.
The problem, if there is, one is one is not analyticity in the concept-containment sense, but the conflation of it with analyticity in the logical sense. This made it seem as if there is a single concept of analyticity that can serve as the grounds for a wide range of deductive truth. But, just as there are two analytic/synthetic distinctions, so there are two concepts of concept. The narrow Lockean/Kantian distinction is based on a narrow notion of expressions on which concepts are senses of expressions in the language. The broad Frégean/Carnap distinction is based on a broad notion of concept on which concepts are conceptions - often scientific one about the nature of the referent (s) of expressions (Katz, 1972) and curiously Putman, 1981). Conflation of these two notions of concepts produced the illusion of a single concept with the content of philosophical, logical and mathematical conceptions, but with the status of linguistic concepts. This encouraged philosophers to think that they were in possession of concepts with the contentual representation to express substantive philosophical claims, e.g., such as Fridge, Schlick and Ayers, . . . and so on, and with a status that trivializes the task of justifying them by requiring only linguistic grounds for the deductive propositions in question.
Finally, there is an important epistemological implication of separating the broad and narrowed notions of analyticity. Fridge and Carnap took the broad notion of analyticity to provide foundations for necessary and a priority, and, hence, for some form of rationalism, and nearly all rationalistically inclined analytic philosophers followed them in this. Thus, when Quine dispatched the Frége-Carnap position on analyticity, it was widely believed that necessary, as a priority, and rationalism had also been despatched, and, as a consequence. Quine had ushered in an empiricism without dogmas and naturalized epistemology. But given there is still a notion of analyticity that enables us to pose the problem of how necessary, synthetic deductive knowledge is possible (moreover, one whose narrowness makes logical and mathematical knowledge part of the problem), Quine did not under-cut the foundations of rationalism. Hence, a serious reappraisal of the new empiricism and naturalized epistemology is, to any the least, is very much in order (Katz, 1990).
In some areas of philosophy and sometimes in things that are less than important we are to find in the deductively/inductive distinction in which has been applied to a wide range of objects, including concepts, propositions, truth and knowledge. Our primary concern will, however, be with the epistemic distinction between deductive and inductive knowledge. The most common way of marking the distinction is by reference to Kants claim that deductive knowledge is absolutely independent of all experience. It is generally agreed that Ss knowledge that p is independent of experience just in case Ss belief that p is justified independently of experience. Some authors (Butchvarov, 1970, and Pollock, 1974) are, however, in finding this negative characterization of deductive unsatisfactory knowledge and have opted for providing a positive characterisation in terms of the type of justification on which such knowledge is dependent. Finally, others (Putman, 1983 and Chisholm, 1989) have attempted to mark the distinction by introducing concepts such as necessity and rational unrevisability than in terms of the type of justification relevant to deductive knowledge.
One who characterizes deductive knowledge in terms of justification that is independent of experience is faced with the task of articulating the relevant sense of experience, and proponents of the deductive ly cites intuition or intuitive apprehension as the source of deductive justification. Furthermore, they maintain that these terms refer to a distinctive type of experience that is both common and familiar to most individuals. Hence, there is a broad sense of experience in which deductive justification is dependent of experience. An initially attractive strategy is to suggest that theoretical justification must be independent of sense experience. But this account is too narrow since memory, for example, is not a form of sense experience, but justification based on memory is presumably not deductive. There appear to remain only two options: Provide a general characterization of the relevant sense of experience or enumerates those sources that are experiential. General characterizations of experience often maintain that experience provides information specific to the actual world while non-experiential sources provide information about all possible worlds. This approach, however, reduces the concept of non-experiential justification to the concept of being justified in believing a necessary truth. Accounts by enumeration have two problems (1) there is some controversy about which sources to include in the list, and (2) there is no guarantee that the list is complete. It is generally agreed that perception and memory should be included. Introspection, however, is problematic, and beliefs about ones conscious states and about the manner in which one is appeared to are plausible regarded as experientially justified. Yet, some, such as Pap (1958), maintain that experiments in imagination are the source of deductive justification. Even if this contention is rejected and deductive justification is characterized as justification independent of the evidence of perception, memory and introspection, it remains possible that there are other sources of justification. If it should be the case that clairvoyance, for example, is a source of justified beliefs, such beliefs would be justified deductively on the enumerative account.
The most common approach to offering a positive characterization of deductive justification is to maintain that in the case of basic deductive propositions, understanding the proposition is sufficient to justify one in believing that it is true. This approach faces two pressing issues. What is it to understand a proposition in the manner that suffices for justification? Proponents of the approach typically distinguish understanding the words used to express a proposition from apprehending the proposition itself and maintain that it is the latter which are relevant to deductive justification. But this move simply shifts the problem to that of specifying what it is to apprehend a proposition. Without a solution to this problem, it is difficult, if possible, to evaluate the account since one cannot be sure that the account since on cannot be sure that the requisite sense of apprehension does not justify paradigmatic inductive propositions as well. Even less is said about the manner in which apprehending a proposition justifies one in believing that it is true. Proponents are often content with the bald assertions that one who understands a basic deductive proposition can thereby see that it is true. But what requires explanation is how understanding a proposition enable one to see that it is true.
Difficulties in characterizing deductive justification in a term either of independence from experience or of its source have led, out-of-the-ordinary to present the concept of necessity into their accounts, although this appeal takes various forms. Some have employed it as a necessary condition for deductive justification, others have employed it as a sufficient condition, while still others have employed it as both. In claiming that necessity is a criterion of the deductive. Kant held that necessity is a sufficient condition for deductive justification. This claim, however, needs further clarification. There are three theses regarding the relationship between the theoretically and the necessary that can be distinguished: (I) if p is a necessary proposition and 'S' is justified in believing that 'p' is necessary, then 'S's' justification is deductive: (ii) If 'p' is a necessary proposition and 'S' is justified in believing that 'p' is necessarily true, then 'S's' justification is deductive: And (iii) If 'p' is a necessary proposition and 'S' is justified in believing that 'p', then 'S's' justification is deductive. For example, many proponents of deductive contend that all knowledge of a necessary proposition is deductive. (2) and (3) have the shortcoming of setting by stipulation the issue of whether inductive knowledge of necessary propositions is possible. (I) does not have this shortcoming since the recent examples offered in support of this claim by Kriple (1980) and others have been cases where it is alleged that knowledge of the truth value of necessary propositions is knowable inductive. (I) has the shortcoming, however, of either ruling out the possibility of being justified in believing that a proposition is necessary on the basis of testimony or else sanctioning such justification as deductive. (ii) and (iii), of course, suffer from an analogous problem. These problems are symptomatic of a general shortcoming of the approach: It attempts to provide a sufficient condition for deductive justification solely in terms of the modal status of the proposition believed without making reference to the manner in which it is justified. This shortcoming, however, can be avoided by incorporating necessity as a necessary but not sufficient condition for a prior justification as, for example, in Chisholm (1989). Here there are two theses that must be distinguished: (1) If 'S' is justified deductively in believing that 'p', then p is necessarily true. (2) If 'p' is justified deductively in believing that 'p'. Then 'p' is a necessary proposition. (1) and (2), however, allows this possibility. A further problem with both (1) and (2) is that it is not clear whether they permit deductively justified beliefs about the modal status of a proposition. For they require that in order for 'S' to be justified deductively in believing that 'p' is a necessary preposition it must be necessary that p is a necessary proposition. But the status of iterated modal propositions is controversial. Finally, (1) and (2) both preclude by stipulation the position advanced by Kripke (1980) and Kitcher (1980) that there is deductive knowledge of contingent propositions.
The concept of rational unrevisability has also been invoked to characterize deductive justification. The precise sense of rational unrevisability has been presented in different ways. Putnam (1983) takes rational unrevisability to be both a necessary and sufficient condition for deductive justification while Kitcher (1980) takes it to be only a necessary condition. There are also two different senses of rational unrevisability that have been associated with the deductive (I) a proposition is weakly unreviable just in case it is rationally unrevisable in light of any future experiential evidence, and (II) a proposition is strongly unrevisable just in case it is rationally unrevisable in light of any future evidence. Let us consider the plausibility of requiring either form of rational unrevisability as a necessary condition for deductive justification. The view that a proposition is justified deductive only if it is strongly unrevisable entails that if a non-experiential source of justified beliefs is fallible but self-correcting, it is not a deductive source of justification. Casullo (1988) has argued that it vis implausible to maintain that a proposition that is justified non-experientially is not justified deductively merely because it is revisable in light of further non-experiential evidence. The view that a proposition is justified deductively only if it is, weakly unrevisable is not open to this objection since it excludes only recession in light of experiential evidence. It does, however, face a different problem. To maintain that 'S's' justified belief that 'p' is justified deductively is to make a claim about the type of evidence that justifies 'S' in believing that 'p'. On the other hand, to maintain that 'S's' justified belief that p is rationally revisable in light of experiential evidence is to make a claim about the type of evidence that can defeat 'S's' justification for believing that p that a claim about the type of evidence that justifies 'S' in believing that 'p'. Hence, it has been argued by Edidin (1984) and Casullo (1988) that to hold that a belief is justified deductively only if it is weakly unrevisable is either to confuse supporting evidence with defeating evidence or to endorse some implausible this about the relationship between the two such as that if evidence of the sort as the kind 'A' can defeat the justification conferred on 'S's belief that 'p' by evidence of kind 'B' then 'S's' justification for believing that 'p' is based on evidence of kind 'A'.
The most influential idea in the theory of meaning in the past hundred years is the thesis that the meaning of an indicative sentence is given by its truth-conditions. On this conception, to understand a sentence is to know its truth-conditions. The conception was first clearly formulated by Fridge, was developed in a distinctive way by the early Wittgenstein, and is a leading idea of Donald Herbert Davidson (1917-), who is also known for rejection of the idea of as conceptual scheme, thought of as something peculiar to one language or one way of looking at the world, arguing that where the possibility of translated stops so dopes the coherence of the idea that there is anything to translate. His [papers are collected in the Essays on Actions and Events (1980) and Inquiries into Truth and Interpretation (1983). However, the conception has remained so central that those who offer opposing theories characteristically define their position by reference to it.
Wittgensteins main achievement is a uniform theory of language that yields an explanation of logical truth. A factual sentence achieves sense by dividing the possibilities exhaustively into two groups, those that would make it true and those that would make it false. A truth of logic does not divide the possibilities but comes out true in all of them. It, therefore, lacks sense and says nothing, but it is not nonsense. It is a self-cancellation of sense, necessarily true because it is a tautology, the limiting case of factual discourse, like the figure '0' in mathematics. Language takes many forms and even factual discourse does not consist entirely of sentences like The fork is placed to the left of the knife. However, the first thing that he gave up was the idea that this sentence itself needed further analysis into basic sentences mentioning simple objects with no internal structure. He was to concede, that a descriptive word will often get its meaning partly from its place in a system, and he applied this idea to colour-words, arguing that the essential relations between different colours do not indicate that each colour has an internal structure that needs to be taken apart. On the contrary, analysis of our colour-words would only reveal the same pattern-ranges of incompatible properties-recurring at every level, because that is how we carve up the world.
Indeed, it may even be the case that of our ordinary language is created by moves that we ourselves make. If so, the philosophy of language will lead into the connexion between the meaning of a word and the applications of it that its users intend to make. There is also an obvious need for people to understand each others meaning of their words. There are many links between the philosophy of language and the philosophy of mind and it is not surprising that the impersonal examination of language in the Tractatus: was replaced by a very different, anthropocentric treatment in Philosophical Investigations?
If the logic of our language is created by moves that we ourselves make, various kind of realizes are threatened. First, the way in which our descriptive language carves up the world will not be forces on us by the natures of things, and the rules for the application of our words, which feel the external constraints, will really come from within us. That is a concession to nominalism that is, perhaps, readily made. The idea that logical and mathematical necessity is also generated by what we ourselves accomplish what is more paradoxical. Yet, that is the conclusion of Wittgenstein (1956) and (1976), and here his anthropocentricism has carried less conviction. However, a paradox is not sure of error and it is possible that what is needed here is a more sophisticated concept of objectivity than Platonism provides.
In his later work Wittgenstein brings the great problem of philosophy down to Earth and traces them to very ordinary origins. His examination of the concept of following a rule takes him back to a fundamental question about counting things and sorting them into types: What qualifies as doing the same again? Of a courser, this question as an inconsequential fundamental and would suggest that we forget it and get on with the subject. But Wittgensteins question is not so easily dismissed. It has the naive profundity of questions that children ask when they are first taught a new subject. Such questions remain unanswered without detriment to their learning, but they point the only way to complete understanding of what is learned.
It is, nevertheless, the meaning of a complex expression in a function of the meaning of its constituents, that is, indeed, that it is just a statement of what it is for an expression to be semantically complex. It is one of the initial attractions of the conception of meaning as truth-conditions that it permits a smooth and satisfying account of the way in which the meaning of a complex expression is a dynamic function of the meaning of its constituents. On the truth-conditional conception, to give the meaning of an expression is to state the contribution it makes to the truth-conditions of sentences in which it occurs. for singular terms-proper names, indexicals, and certain pronouns - this is done by stating the reference of the term in question.
The truth condition of a statement is the condition the world must meet if the statement is to be true. To know this condition is equivalent to knowing the meaning of the statement. Although, this sounds as if it gives a solid anchorage for meaning, some of the security disappears when it turns out that the truth condition can only be defined by repeating the very same statement, the truth condition of snow is white is that snow is white, the truth condition of Britain would have capitulated had Hitler invaded is that Britain would have certainty capitulated had Hitler invaded. It is disputed whether this element of running-on-the-spot disqualifies truth conditions from playing the central role in a substantive theory of meaning. Truth-conditional theories of meaning are sometimes opposed by the view that to know the meaning of a statement is to be able to users it in a network of inferences.
Whatever it is that makes, what would otherwise be mere sounds and inscriptions into instruments of communication and understanding. The philosophical problem is to demystifying this power, and to re-taste it to what we know of ourselves and the world. Contributions to this study include the theory of speech acts and the investigation of communication and the relationship between words and ideas and words and the world. Together with a general bias towards the sensory, in that what lies in the mind may be thought of as something like images, and a belief hat thinking is well explained as the manipulation of images, this was developed through an understanding need to be thought of more in terms of rules and organizing principle than of any kind of copy of what is given in experience.
It has become more common to think of ideas, or concepts, as dependant upon social and especially linguistic structures, than the self-standing creations of an individual mind but the tension between the objective and the subjective aspect of the matter lingers on, for instance in debates about the possibility of objective knowledge of 'indeterminancy' in translated, and of identity between the thoughts people entertain at one time and those that they entertain at another.
Apparent facts to be explained about the distinction between knowing things and knowing about thing are these. Knowledge about things is essentially propositional knowledge, where the mental states involved refer to specific things, this propositional knowledge can be more or less complete, can be justified inferentially and on the basis of experience, and can be communicated. knowing things, on the one hand, involves experience of things. This experiential knowledge provides an epistemic basis for knowledge about things, and in some sense is difficult or impossible to communicate, perhaps because it is more or less vague, least of mention, as knowing by vicarious living through, a sort of knowledge by acquaintance that amounts to knowing what an experience is like.
What makes a belief justified and what makes a true belief knowledge? It is natural to think that whether a belief deserves one of these appraisals depends on what caused the subject to have the belief. Some causal theories of knowledge have it that a true belief that p is knowledge just in case that the right sort of causal connections to the fact that p. Such a criterion can be applied only to cases where the fact that p is a sort that can enter into causal relations, this seems to exclude mathematical and other necessary fact and perhaps any fact expressed by a universal generalization, and proponents of this sort of criterion have usually supposed that it is limited to perceptual knowledge of particular facts about the subject's environment.
A contrast relating the more general (colour) to the more specific (red). It was originally introduced by W.E. Johnson, and, one kind of usage, the contrast differs from that of genres to species, in that the specific differences identifying a determinate are themselves a medication of the determinable. Thus, what différentiâtes red from blue is just colour, Whereas many different properties may differentiate a member of one species, for instance of animals, from those of another.
What is more, belonging to the doctrine of determinism that every event has a cause. The usual explanation of this is that for every event, there is some antecedent state, related in such a way hat it would break a law of nature for this antecedent state to exist, yet the event not to happen. This is a purely metaphysical claim, and carries no implications for whether we can in principle predict the event. The main interests in determinism has been in assessing its implications for free-will, however, quantum physics is essentially indeterminate yet, the view that our actions are subject to quantum indéterminists hardly encourages a sense of our own responsibility for them. It is often supposed that if an action is the end of a causal chain, i.e., determined, and the cause stretch back in time to the event for which an agent is not conceivable responsibility, then the agent is not responsible for the action. The dilemma adds that if an action is not the end of such a chain, then either it or one of its causes occurs at random, in that no antecedent event brought it about, and in that case nobody is responsible for its occurrence either, so whether or not determinism is true, responsibility is shown to be illusory.
The theorist of truth conditions should insist that not every true statement about the reference of an expression be fit to be an axiom in a meaning-giving theory of truth for a language: The axiom:
London refers to the city in which there was a huge fire in 1666
is a true statement about the reference of London? . It is a consequence of a theory that substitutes this axiom for A! In our simple truth theory that London is beautiful is true if and only if the city in which there was a huge fire in 1666 is beautiful. Since a subject can understand the name London without knowing that last-mentioned truth conditions, this replacement axiom is not fit to be an axiom in a meaning inferred by the specifying truth theory. It is, of course, incumbent on a theorist of meaning as truth conditions to state the constraints on the acceptability of axioms in a way that does not presuppose a deductive, non-truth conditional conception of meaning.
Among the many challenges facing the theorist of truth conditions, two are particularly salient and fundamental. First, the theorist has to answer the charge of triviality or vacuity. Second, the theorist must offer an account of what it is for a persons languages to be truly descriptive by a semantic theory containing a given semantic axiom.
We can take the charge of triviality first. In more detail, it would run thus: Since the content of a claim that the sentence Paris is beautiful in which is true of the divisional region, which is no more than the claim that Paris is beautiful, we can trivially describe understanding a sentence, if we wish, as knowing its truth-conditions, but this gives us no substantive account of understanding whatsoever. Something other than a grasp to truth conditions must provide the substantive account. The charge rests upon what has been called the redundancy theory of truth, the theory that, is somewhat more discriminative. Horwich calls the minimal theory of truth, or deflationary view of truth, as fathered by Fridge and Ramsey. The essential claim is that the predicate . . . is true does not have a sense, i.e., expresses no substantive or profound or explanatory concepts that ought be the topic of philosophical enquiry. The approach admits of different versions, but centers on the points (1) that it is true that p says no more nor less than p (hence redundancy) (2) that in less direct context, such as everything he said was true, or all logical consequences of true propositions are true, the predicate functions as a device enabling us; to generalize than as an adjective or predicate describing the thing he said, or the kinds of propositions that follow from true propositions. For example, the second may translate as (∀ p, q) (p & p ➝ q ➝ q) where there is no use of a notion of truth.
There are technical problems in interpreting all uses of the notion of truth in such ways, but they are not generally felt to be insurmountable. The approach needs to explain away apparently substantive uses of the notion, such of a science aims at the truth, or truth is a norm governing discourse. Indeed, postmodernist writing frequently advocates that we must abandon such norms, along with a discredited objective conception of truth. But perhaps, we can have the norms even when objectivity is problematic, since they can be framed without mention of truth: Science wants it to be so that whenever science holds that 'p'. Then 'p'. Discourse is to be regulated by the principle that it is wrong to assert 'p' when 'not-p'.
The disquotational theory of truth finds that the simplest formulation is the claim that expressions of the formed ‘S’ are true mean the same as expressions of the form 'S'. Some philosophers dislike the idea of sameness of meaning, and if this is disallowed, then the claim is that the two forms are equivalent in any sense of equivalence that matters. That is, it makes no difference whether people say Dogs bark is true, or whether they say that dogs bark. In the former representation of what they say the sentence Dogs bark is mentioned, but in the latter it appears to be used, so the claim that the two are equivalent needs careful formulation and defence. On the face of it someone might know that Dogs bark is true without knowing what it means, for instance, if one were to find it in a list of acknowledged truths, although he does not understand English, and this is different from knowing that dogs bark. Disquotational theories are usually presented as versions of the redundancy theory of truth.
The minimal theory states that the concept of truth is exhausted by the fact that it conforms to the equivalence principle, the principle that for any proposition 'p', it is true that 'p' if and only if 'p'. Many different philosophical theories of truth will, with suitable qualifications, accept that equivalence principle. The distinguishing feature of the minimal theory is its claim that the equivalence principle exhausts the notion of truths. It is how widely accepted, that both by opponents and supporters of truth conditional theories of meaning, that it is inconsistent to accept both minimal theory of truth and a truth conditional account of meaning (Davidson, 1990, Dummett, 1959 and Horwich, 1990). If the claim that the sentence Paris is beautiful is true is exhausted by its equivalence to the claim that Paris is beautiful, it is circular to try to explain the sentences meaning in terms of its truth conditions. The minimal theory of truth has been endorsed by Ramsey, Ayer, the later Wittgenstein, Quine, Strawson, Horwich and-confusingly and inconsistently if it is correct - Fridge himself. But is the minimal theory correct?
The minimal or redundancy theory treats instances of the equivalence principle as definitional of truth for a given sentence. But in fact, it seems that each instance of the equivalence principle can itself be explained. The truths from which such an instance as: London is beautiful is true if and only if London is beautiful, preserve a right to be interpreted specifically of this would be a pseudo-explanation if the fact that London refers to London is beautiful has the truth-condition it does. But that is very implausible: It is, after all, possible to understand the name London without understanding the predicate is beautiful. The idea that facts about the reference of particular words can be explanatory of facts about the truth conditions of sentences containing them in no way requires any naturalistic or any other kind of reduction of the notion of reference. Nor is the idea incompatible with the plausible point that singular reference can be attributed at all only to something that is capable of combining with other expressions to form complete sentences. That still leaves room for facts about an expression having the particular reference it does to be partially explanatory of the particular truth condition possessed by a given sentence containing it. The minimal, theory thus treats as definitional or stimulative something that is in fact open to explanation. What makes this explanation possible is that there is a general notion of truth that has, among the many links that hold it in place, systematic connections with the semantic values of sub-sentential expressions.
A second problem with the minimal theory is that it seems impossible to formulate it without at some point relying implicitly on features and principles involving truths that go beyond anything countenanced by the minimal theory. If the minimal theory administer to truth as a predicate of anything linguistic, be it utterances, type-in-a-languages, or whatever, then the equivalence schema will not cover all cases, however, only those in the theorists own languages. Some account has to be given of truth for sentences of other languages. Speaking of the truth of language-independence propositions or thoughts will only postpone, not avoid, this issue, since at some point principles have to be stated associating these languages-independent entities with sentences of particular languages. The defender of the minimalist theory is likely to say that if a sentence 'S' of a foreign language is best translated by our sentence 'p', then the foreign sentence 'S' is true if and only if 'p'. Now the best translated of a sentence must preserve the concepts expressed in the sentence. Constraints involving a general notion of truth are persuasive in a plausible philosophical theory of concepts. It is, for example, a condition of adequacy on an individualized account of any concept that there exists what is called Determination Theory for that account-that is, a specification of how the account contributes to fixing the semantic value of that concept, the notion of a concepts semantic value is the notion of something that makes a certain contribution to the truth conditions of thoughts in which the concept occurs. but this is to presuppose, than to elucidate, a general notion of truth.
It is also plausible that there are general constraints on the form of such Determination Theories, constraints that involve truth and which are not derivable from the minimalists conception. Suppose that concepts are individuated by their possession conditions. A concept is something that is capable of being a constituent of such contentual representational in a way of thinking of something-a particular object, or property, or relation, or another entity. A possession condition may in various says makes a thankers possession of a particular concept dependent upon his relations to his environment. Many possession conditions will mention the links between a concept and the thinkers perceptual experience. Perceptual experience represents the world for being a certain way. It is arguable that the only satisfactory explanation of what it is for perceptual experience to represent the world in a particular way must refer to the complex relations of the experience to the subjects environment. If this is so, then mention of such experiences in a possession condition will make possession of that condition will make possession of that concept dependent in part upon the environment relations of the thinker. Burge (1979) has also argued from intuitions about particular examples that, even though the thinkers non-environmental properties and relations remain constant, the conceptual content of his mental state can vary if the thinkers social environment is varied. A possession condition which property individuates such a concept must take into account the thinkers social relations, in particular his linguistic relations.
One such plausible general constraint is then the requirement that when a thinker forms beliefs involving a concept in accordance with its possession condition, a semantic value is assigned to the concept in such a way that the belief is true. Some general principles involving truth can indeed, as Horwich has emphasized, be derived from the equivalence schema using minimal logical apparatus. Consider, for instance, the principle that Paris is beautiful and London is beautiful is true if and only if Paris is beautiful is true if and only if Paris is beautiful is true and London is beautiful is true. This follows logically from the three instances of the equivalence principle: Paris is beautiful and London is beautiful is rue if and only if Paris is beautiful, and London is beautiful is true if and only if London is beautiful. But no logical manipulations of the equivalence schemas will allow the deprivation of that general constraint governing possession conditions, truth and the assignment of semantic values. That constraint can have courses be regarded as a further elaboration of the idea that truth is one of the aims of judgement.
We now turn to the other question, What is it for a persons languages to be correctly describable by a semantic theory containing a particular axiom, such as the axiom A6 above for conjunction? This question may be addressed at two depths of generality. At the shallower level, the question may take for granted the persons possession of the concept of conjunction, and be concerned with what has to be true for the axiom correctly to describe his languages. At a deeper level, an answer should not duck the issue of what it is to possess the concept. The answers to both questions are of great interest: We will take the lesser level of generality first.
When a person means conjunction by sand, he is not necessarily capable of formulating explicit axioms. Even if he can formulate it, his ability to formulate it is not the causal basis of his capacity to hear sentences containing the word and as meaning something involving conjunction. Nor is it the causal basis of his capacity to mean something involving conjunction by sentences he utters containing the word and. Is it then right to regard a truth theory as part of an unconscious psychological computation, and to regard understanding a sentence as involving a particular way of depriving a theorem from a truth theory at some level of conscious proceedings? One problem with this is that it is quite implausible that everyone who speaks the same languages has to use the same algorithms for computing the meaning of a sentence. In the past thirteen years, thanks particularly to the work of Davies and Evans, a conception has evolved according to which an axiom is true of a persons languages only if there is a common component in the explanation of his understanding of each sentence containing the word and, a common component that explains why each such sentence is understood as meaning something involving conjunction (Davies, 1987). This conception can also be elaborated in computational terms: Suggesting that for an axiom to be true of a persons languages is for the unconscious mechanisms which produce understanding to draw on the information that a sentence of the form 'A' and 'B' are true if and only if 'A' is true and 'B' is true (Peacocke, 1986). Many different algorithms may equally draw in this information. The psychological reality of a semantic theory thus involves, in Marrs' (1982) famous classification, something intermediate between his level one, the function computed, and his level two, the algorithm by which it is computed. This conception of the psychological reality of a semantic theory can also be applied to syntactic and phenomena phenomnological theories. Theories in semantics, syntax and phonology are not themselves required to specify the particular algorithms that the languages user employs. The identification of the particular computational methods employed is a task for psychology. But semantics, syntactic and phonology theories are answerable to psychological data, and are potentially refutable by them-for these linguistic theories do make commitments to the information drawn upon by mechanisms in the languages’ user.
This answer to the question of what it is for an axiom to be true of a persons languages clearly takes for granted the persons possession of the concept expressed by the word treated by the axiom. In the example of the axiom A6, the information drawn upon is that sentences of the form 'A' and 'B' are true if and only if 'A' is true and 'B' is true. This informational content employs, as it has to if it is to be adequate, the concept of conjunction used in stating the meaning of sentences containing and. So the computational answer we have returned needs further elaboration if we are to address the deeper question, which does not want to take for granted possession of the concepts expressed in the languages. It is at this point that the theory of linguistic understanding has to draws upon a theory of concepts. It is plausible that the concepts of conjunction are individuated by the following condition for a thinker to possess it.
Finally, this response to the deeper question allows us to answer two challenges to the conception of meaning as truth-conditions. First, there was the question left hanging earlier, of how the theorist of truth-conditions is to say what makes one axiom of a semantic theory is correctly in that of another, when the two axioms assign the same semantic values, but do so by means of different concepts. Since the different concepts will have different possession conditions, the dovetailing accounts, at the deeper level of what it is for each axiom to be correct for some persons languages will be different accounts. Second, there is a challenge repeatedly made by the minimalist theorists of truth, to the effect that the theorist of meaning as truth-conditions should give some non-circular account of what it is to understand a sentence, or to be capable of understanding all sentences containing a given constituent. For each expression in a sentence, the corresponding dovetailing account, together with the possession condition, supplies a non-circular account of what it is to understand any sentence containing that expression. The combined accounts for each of he expressions that comprise a given sentence together constitute a non-circular account of what it is to understand the competed sentences. Taken together, they allow the theorists of meaning as truth-conditions fully to meet the challenge.
A curious view common to that which is expressed by an utterance or sentence: The proposition or claim made about the world. By extension, the content of a predicate or other sub-sentential component is what it contributes to the content of sentences that contain it. The nature of content is the central concern of the philosophy of languages, in that mental states have contents: A belief may have the content that the prime minister will resign. A concept is something that is capable of bringing a constituent of such contents.
Several different concepts may each be ways of thinking of the same object. A person may think of himself in the first-person way, or think of himself as the spouse of Mary Smith, or as the person located in a certain room now. More generally, a concept c is distinct from a concept d if it is possible for a person rationally to believe d is such-and-such. As words can be combined to form structured sentences, concepts have also been conceived as combinable into structured complex contents. When these complex contents are expressed in English by that . . . clauses, as in our opening examples, they will be capable of being true or false, depending on the way the world is.
The general system of concepts with which we organize our thoughts and perceptions are to encourage a conceptual scheme of which the outstanding elements of our every day conceptual formalities include spatial and temporal relations between events and enduring objects, causal relations, other persons, meaning-bearing utterances of others, . . . and so on. To see the world as containing such things is to share this much of our conceptual scheme. A controversial argument of Davidson's urges that we would be unable to interpret speech from a different conceptual scheme as even meaningful, Davidson daringly goes on to argue that since translated proceeds according ti a principle of clarity, and since it must be possible of an omniscient translator to make sense of, us we can be assured that most of the beliefs formed within the commonsense conceptual framework are true.
Concepts are to be distinguished from a stereotype and from conceptions. The stereotypical spy may be a middle-level official down on his luck and in need of money. Nonetheless, we can come to learn that Anthony Blunt, art historian and Surveyor of the Queens Pictures, are a spy; we can come to believe that something falls under a concept while positively disbelieving that the same thing falls under the stereotype associated wit the concept. Similarly, an individual’s conception of a just arrangement for resolving disputes that might involve something as likely similar to contemporary Western legal systems. But whether or not it would be correct, it may intelligible be quickened by someone to rejects this conception by arguing that it dies not adequately provides for the elements of fairness and respect that are required by the concepts of justice.
Basically, a concept is that which is understood by a term, particularly a predicate. To posses a concept is to be able to deploy a term expressing it in making judgements, in which the ability connexion is such things as recognizing when the term applies, and being able to understand the consequences of its application. The term idea was formally used in the same way, but is avoided because of its associations with subjective matters inferred upon mental imagery in which may be irrelevant to the possession of a concept. In the semantics of Fridge, a concept is the reference of a predicate, and cannot be referred to by a subjective term, although its recognition of as a concept, in that some such notion is needed to the explanatory justification of which that sentence of unity finds of itself from being thought of as namely categorized lists of itemized priorities.
A theory of a particular concept must be distinguished from a theory of the object or objects it selectively picks the outlying of the theory of the concept under which is partially contingent of the theory of thought and/or epistemology. A theory of the object or objects is part of metaphysics and ontology. Some figures in the history of philosophy-and are open to the accusation of not having fully respected the distinction between the kinds of theory. Descartes appears to have moved from facts about the indubitability of the thought I think, containing the first-person was of thinking, to conclusions about the nonmaterial nature of the object he himself was. But though the goals of a theory of concepts and a theory of objects are distinct, each theory is required to have an adequate account of its relation to the other theory. A theory if concept is unacceptable if it gives no account of how the concept is capable of picking out the object it evidently does pick out. A theory of objects is unacceptable if it makes it impossible to understand how we could have concepts of those objects.
A fundamental question for philosophy is: What individuates a given concept-that is, what makes it the one it is, rather than any other concept? One answer, which has been developed in great detail, is that it is impossible to give a non-trivial answer to this question (Schiffer, 1987). An alternative approach, addressees the question by starting from the idea that a concept is individuated by the condition that must be satisfied if a thinker is to posses that concept and to be capable of having beliefs and other attitudes whose content contains it as a constituent. So, to take a simple case, one could propose that the logical concept and is individuated by this condition, it be the unique concept 'C' to posses that a thinker has to find these forms of inference compelling, without basing them on any further inference or information: From any two premisses 'A' and 'B', 'ACB' can be inferred, and from any premiss 'ACB', each of 'A' and 'B' can be inferred. Again, a relatively observational concept such as round can be individuated in part by stating that the thinker finds specified contents containing it compelling when he has certain kinds of perception, and in part by relating those judgements containing the concept and which are not based on perception to those judgements that are. A statement that individuates a concept by saying what is required for a thinker to posses it can be described as giving the possession condition for the concept.
A possession condition for a particular concept may actually make use of that concept. The possession condition for and does so. We can also expect to use relatively observational concepts in specifying the kind of experience that have to be mentioned in the possession conditions for relatively observational concepts. What we must avoid is mention of the concept in question as such within the content of the attitudes attributed to the thinker in the possession condition. Otherwise we would be presupposing possession of the concept in an account that was meant to elucidate its possession. In talking of what the thinker finds compelling, the possession conditions can also respect an insight of the later Wittgenstein: That to find her finds it natural to go on in new cases in applying the concept.
Sometimes a family of concepts has this property: It is not possible to master any one of the members of the family without mastering the others. Two of the families that plausibly have this status are these: The family consisting of some simple concepts 0, 1, 2, . . . of the natural numbers and the corresponding concepts of numerical quantifiers there are so-and-so, there is 1 so-and-so, . . . and the family consisting of the concepts; belief and desire. Such families have come to be known as local holism. A local holism does not prevent the individuation of a concept by its possession condition. Rather, it demands that all the concepts in the family be individuated simultaneously. So one would say something of this form: Belief and desire form the unique pair of concepts C1 and C2 such that for as thinker to posses them are to meet such-and-such condition involving the thinker, C1 and C2. For these and other possession conditions to individuate properly, it is necessary that there be some ranking of the concepts treated. The possession conditions for concepts higher in the ranking must presuppose only possession of concepts at the same or lower levels in the ranking.
Some possession conditions may in various ways make a thinkers possession of a particular concept dependent upon his relations to his environment. Many possession conditions will mention the links between a concept and the thinkers perceptual experience. Perceptual experience represents the world as a certain way. It is arguable that the only satisfactory explanation of what it is for perceptual experience to represent the world in a particular way must refer to the complex relations of the experience to the subjects’ environment. If this is so, then mention of such experiences in a possession condition will make possession of that concept dependent in part upon the environmental relations of the thinker. Burge (1979) has also argued from intuitions about particular examples that, even though the thinkers non-environmental properties and relations remain constant, the conceptual content of his mental state can vary if the thinkers social environment is varied. A possession condition that properly individuates such a concept must take into account the thinker’s social relations, in particular his linguistic relations.
Concepts have a normative dimension, a fact strongly emphasized by Kripke. For any judgement whose content involves a given concept, there is a correctness condition for that judgement, a condition that is dependent in part upon the identity of the concept. The normative character applied among concepts might also extend into making the territory of some thinkers an imperative junction for reasons that make judgements. The thinker’s visual perception can give him good reason for judging that man is bald: It does not by itself give him good reason for judging Rostropovich is bald, even if the man he sees is Rostropovich. All these normative connections must be explained by a theory of concepts one approach to these matters is to look to the possession condition for the concept, and consider how the referent of a concept is fixed from it, together with the world. One proposal is that the referent of the concept is that object or, property, or function, . . . which makes the practices of judgement and the framed-inference that is mentioned in the protective conditions that always lead to true judgements and truth-preserving inferences. This proposal would explain why certain reasons are necessity good reasons for judging given contents. Provided the possession condition permits us to say what it is about some thinkers previous judgements that maskers it, the case that he is employing one concept rather than another, this proposal would also have another virtue. It would allow us to say how the correctness condition is determined for a judgement in which the concept is applied to newly encountered objects. The judgement is correct if the new object has the property that in fact makes the judgmental practices mentioned in the possession condition yield true judgements, or truth-preserving inferences.
These manifesting dissimilations have occasioned the affiliated differences accorded within the distinction as associated with Leibniz, who declares that there are only two kinds of truths-truths of reason and truths of fact. The forms gathered are either explicit identities, i.e., of the form 'A' is 'A', 'AB' is 'B', etc., or they are reducible to this form by successively substituting equivalent terms. Leibniz dubs them truths of reason because the explicit identities are self-evident deducible truths, whereas the rest can be converted to such by purely rational operations. Because their denial involves a demonstrable contradiction, Leibniz also says that truths of reason rest on the principle of contradiction, or identity and that they are necessary [propositions, which are true of all possible words. Some examples are, All equilateral rectangles are rectangles and All bachelors are unmarried: The first is already of the form 'AB' is 'B' and the latter can be reduced to this form by substituting unmarried man fort Bachelors. Other examples, or, that Leibniz believes, is that God continues to be of existence and leaving the truths of logic, arithmetic and geometry.
Truths of fact, on the other hand, cannot be reduced to an identity and our only way of knowing them is empirically by reference to the facts of the empirical world. Likewise, since their denial does not involve a contradiction, their truth is merely contingent: They could have been otherwise and hold of the actual world, but not of every possible one. Some examples are Caesar crossed the Rubicon and Leibniz was born in Leipzig, as well as propositions expressing correct scientific generalizations. In Leibniz's view, truths of fact rest on the principle of sufficient reason, which states that nothing can be so unless there is a reason that it is so. This reason is that the actual world (by which he means the total collection of things past, present and future) is better than any other possible worlds and was therefore created by God.
In defending the principle of sufficient reason, Leibniz runs into serious problems. He believes that in every true proposition, the concept of the predicate is contained in that of the subject. This holds even for propositions like Caesar crossed the Rubicon: Leibniz thinks that anyone that n’t cross the Rubicon, would not have been Caesar. And this containment relationship! Which is eternal and unalterable even by God -? Guarantees that every truth has a sufficient reason. If truth consists in concept containment, however, then it seems that all truths are analytic and hence necessary, and if they are all necessary, surely they are all truths of reason. Leibnitz responds that not every truth can be reduced to an identity in a finite number of steps, in some instances revealing the connexion between subject and predicate concepts would requite an infinite analysis. But while this may entail that we cannot prove such propositions as deductively manifested, it does not appear to show that the proposition could have been false. Intuitively, it seems a better ground for supposing that it is necessary truth of a special sort. A related question arises from the idea that truths of fact depend on Gods’ decision to create the best of all possible worlds: If it is part of the concept of this world that it is best, now could its existence be other than necessary? Leibniz answers that its existence is only hypothetically necessary, i.e., it follows from Gods’ decision to create this world, but God had the power to decide otherwise. Yet God is necessarily good and non-deceiving, so how could he have decided to do anything else? Leibniz says much more about these masters, but it is not clear whether he offers any satisfactory solutions.
Leibniz and others have thought of truths as a property of propositions, where the latter are conceived as things that may be expressed by, but are distinct from, linguistic items like statements. On another approach, truth is a property of linguistic entities, and the basis of necessary truth in convention. Thus A.J. Ayer, for example,. Argued that the only necessary truths are analytic statements and that the latter rest entirely on our commitment to use words in certain ways.
The slogan the meaning of a statement is its method of verification expresses the empirical verification’s theory of meaning. It is more than the general criterion of meaningfulness if and only if it is empirically verifiable. If says in addition what the meaning of a sentence is: All those observations would confirm or disconfirmed the sentence. Sentences that would be verified or falsified by all the same observations are empirically equivalent or have the same meaning. A sentence is said to be cognitively meaningful if and only if it can be verified or falsified in experience. This is not meant to require that the sentence be conclusively verified or falsified, since universal scientific laws or hypotheses (which are supposed to pass the test) are not logically deducible from any amount of actually observed evidence.
When one predicates necessary truth of a preposition one speaks of modality dedicto. For one ascribes the modal property, necessary truth, to a dictum, namely, whatever proposition is taken as necessary. A venerable tradition, however, distinguishes this from necessary de re, wherein one predicates necessary or essential possession of some property to an on object. For example, the statement '4' is necessarily greater than '2' might be used to predicate of the object, '4', the property, being necessarily greater than '2'. That objects have some of their properties necessarily, or essentially, and others only contingently, or accidentally, are a main part of the doctrine called; Essentialism. Thus, an essentials might say that Socrates had the property of being bald accidentally, but that of being self-identical, or perhaps of being human, essentially. Although essentialism has been vigorously attacked in recent years, most particularly by Quine, it also has able contemporary proponents, such as Plantinga.
Modal necessity as seen by many philosophers who have traditionally held that every proposition has a modal status as well as a truth value. Every proposition is either necessary or contingent as well as either true or false. The issue of knowledge of the modal status of propositions has received much attention because of its intimate relationship to the issue of deductive reasoning. For example, no propositions of the theoretic content that all knowledge of necessary propositions is deductively knowledgeable. Others reject this claim by citing Kripkes (1980) for allegedly shifting cases of necessary theoretical propositions. Such contentions are often inconclusive, for they fail to take into account the following tripartite distinction: 'S' knows the general modal status of 'p' just in case 'S' knows that 'p' is a necessary proposition or 'S' knows the truth that 'p' is a contingent proposition. 'S' knows the truth value of 'p' just in case 'S' knows that 'p' is true or 'S' knows that 'p' is false. 'S' knows the specific modal status of 'p' just in case 'S' knows that 'p' is necessarily true or 'S' knows that 'p' is necessarily false or 'S' knows that 'p' is contingently true or 'S' knows that 'p' is contingently false. It does not follow from the fact that knowledge of the general modal status of a proposition is a deductively reasoned distinctive modal status is also given to theoretical principles. Nor des it follow from the fact that knowledge of a specific modal status of a proposition is theoretically given as to the knowledge of its general modal status that also is deductive.
The certainties involving reason and a truth of fact are much in distinction by associative measures given through Leibniz, who declares that there are only two kinds of truths-truths of reason and truths of fact. The former are together of either explicit identities, i.e., of the form 'A' is 'A', 'AB' is 'B', etc., or they are reducible to this form by successively substituting equivalent terms. Leibniz dubs them truths of reason because the explicit identities are self-evident theoretical truth, whereas the rest can be converted to such by purely rational operations. Because their denial involves a demonstrable contradiction, Leibniz also says that truths of reason rest on the principle of contraction, or identity and that they are necessary propositions, which are true of all possible worlds. Some examples are that ‘all bachelors are unmarried’: The first is already of the form 'AB' is 'B' and the latter can be reduced to this form by substituting unmarried man for Bachelors. Other examples, or so Leibniz believes, that God leaves to his existence of all truth and logic, arithmetic and geometry.
Truths of fact, on the other hand, cannot be reduced to an identity and our only way of knowing them by some theoretical manifestations, or by reference to the fact of the empirical world. Likewise, since their denial disallows any involvement as contradiction, their truth is merely contingent: They could have been otherwise and hold of the actual world, but not of every possible one. Some examples are Caesar crossed the Rubicon and Leibniz was born in Leipzig, as well as propositions expressing correct scientific generalizations. In Leibniz's view, truths of fact rest on the principle of sufficient reason, which states that nothing can be so unless thee is a reason that it is so. This reason is that the actual world (by which he means the total collection of things past, present and future) is better than any other possible world and was therefore created by God.
In defending the principle of sufficient reason, Leibniz runs into serious problems. He believes that in every true proposition, the concept of the predicate is contained in that of the subject. (This holds even for propositions like Caesar crossed the Rubicon: Leibniz thinks anyone who did not cross the Rubicon would not have been Caesar) And this containment relationship-that is eternal and unalterable even by God-guarantees that every truth has a sufficient reason. If truth consists in concept containment, however, then it seems that all truths are analytic and hence necessary, and if they are all necessary, surely they are all truths of reason. Leibniz responds that not evert truth can be reduced to an identity in a finite number of steps: In some instances revealing the connexion between subject and predicate concepts would require an infinite analysis. But while this may entail that we cannot prove such propositions as deductively probable, it does not appear to show that the proposition could have been false. Intuitively, it seems a better ground for supposing that it is a necessary truth of a special sort. A related question arises from the idea that truths of fact depend on Gods’ decision to create the best world, if it is part of the concept of this world that it is best, how could its existence be other than necessary? Leibniz answers that its existence is only hypothetically necessary, i.e., it follows from Gods’ decision to create this world, but God is necessarily good, so how could he have decided to do anything else? Leibniz says much more about the matters, but it is not clear whether he offers any satisfactory solutions.
The modality of a proposition is the way in which it is true or false. The most important division is between propositions true of necessity, and those true as some things are: Necessary as opposed to contingent propositions. Other qualifiers sometimes called modal include the tense indicators, it will be the case that 'p' or It was the case that 'p', and there are affinities between the deontic indicators, as it ought to be the case that 'p' or it is permissible that 'p', and the logical modalities as a logic that study the notions of necessity and possibility. Modal logic was of great influence historically, particularly in the light of various doctrines concerning the necessary properties of the deity, but was not a central topic of modern logic in its golden period at the beginning of the 20th century. It was, however, revived by C. I. Lewis, by adding to propositional or predicate calculus two operators. The doctrine advocated by David Lewis, which different possible worlds are to be thought of as existing exactly as this one does. Thinking in terms of possibilities is thinking of real worlds where things are different, this view has been charged with misrepresenting it as some insurmountably unseeing to why it is good to save the child from drowning, since there is still a possible world in which she (or her counterpart) drowned, and from the standpoint of the universe it should make no difference that the world is actual. Critics also charge of either that the notion fails to adapt coherently or within how we know about possible worlds, or with a coherent theory about possible worlds, or with a coherent theory of why we are interested in them, but Lewis denies that any other way of interpreting modal statements is tenable.
Knowledge and belief, according to most epistemologists, knowledge entails belief, so that I cannot know that such and such is the case unless I believer that such and such is the case. Others think this entailment thesis can be rendered more accurately if we substitute for belief some closely related attitude. For instance, several philosophers would prefer to say that knowledge entail psychological certainties (Prichard, 1950 and Ayer, 1956) or conviction (Lehrer, 1974) or acceptance (Lehrer, 1989). Nonetheless, there are arguments against all versions of the thesis that knowledge requires having a belief-like attitude toward the known. These arguments are given by philosophers who think that knowledge and belief (or a facsimile) are mutually incompatible (the incomparability thesis), or by ones who say that knowledge does not entail belief, or vice versa, so that each may exist without the other, but the two may also coexist (the separability thesis).
The incompatibility thesis is sometimes traced to Plato, 429-347 Bc in view of his claim that knowledge is infallible while belief or opinion is fallible (Republic 476-9). But this claim would not support the thesis. Belief might be a component of an infallible form of knowledge in spite of the fallibility of belief. Perhaps, knowledge involves some factor that compensates for the fallibility of belief.
A. Duncan-Jones (1939: Also Vendler, 1978) cite linguistic evidence to back up the incompatibility thesis. He notes that people often say I do not believe she is guilty. I know she is and the like, which suggest that belief rule out knowledge. However, as Lehrer (1974) indicates, the above exclamation is only a more emphatic way of saying I do not just believer she is guilty, I know she is where just makes it especially clear that the speaker is signalling that she has something more salient than mere belief, not that she has something inconsistent with belief, namely knowledge. Compare: You do not hurt him, you killed him.
A. Prichard (1966) offers a defence of the incompatibility thesis that hinges on the equation of knowledge with certainty (both infallibility and psychological certitude) and the assumption that when we believer in the truth of a claim we are not certain about its truth. Given that belief always involves uncertainty while knowledge never dies, believing something rules out the possibility of knowing it. Unfortunately, however, Prichard gives us no goods reason to grant that states of belief are never ones involving confidence. Conscious beliefs clearly involve some level of confidence, to suggest that we cease to believer things about which we are completely confident is bizarre.
A.D. Woozley (1953) defends a version of the separability thesis. Woozley's version, which deals with psychological certainty rather than belief per se, is that knowledge can exist in the absence of confidence about the item known, although might also be accompanied by confidence as well. Woozley remarks that the test of whether I know something is what I can do, where what I can do may include answering questions. On the basis of this remark he suggests that even when people are unsure of the truth of a claim, they might know that the claim is true. We unhesitatingly attribute knowledge to people who give correct responses on examinations even if those people show no confidence in their answers. Woozley acknowledges, however, that it would be odd for those who lack confidence to claim knowledge. It would be peculiar to say, I am unsure whether my answer is true: Still, I know it is correct. But this tension Woozley explains using a distinction between conditions under which we are justified in making a claim (such as a claim to know something), and conditions under which the claim we make are true. While I know such and such might be true even if I am unsure that whether such and such holds, it is, nonetheless to be inappropriate for me to claim that I know that such and such unless I was sure of the truth of my claim.
Colin Radford (1966) extends Woozley's defence of the separability thesis. In Radford's view, not only is knowledge compatible with the lack of certainty, it is also compatible with a complete lack of belief. He argues by example. In one example, Jean has forgotten that he learned some English history years priori and yet he is able to give several correct responses to questions such as When did the Battle of Hastings occur? Since he forgot that he took history, he considers the correct response to be no more than guesses. Thus, when he says that the Battle of Hastings took place in 1066 he would deny having the belief that the Battle of Hastings took place in 1066. A disposition he would deny being responsible (or having the right to be convincing) that 1066 was the correct date. Radford would none the less insist that Jean know when the Battle occurred, since clearly be remembering the correct date. Radford admits that it would be inappropriate for Jean to say that he knew when the Battle of Hastings occurred, but, like Woozley he attributes the impropriety to a fact about when it is and is not appropriate to claim knowledge. When we claim knowledge, we ought, at least to believer that we have the knowledge we claim, or else our behavior is intentionally misleading.
Those that agree with Radford's defence of the separability thesis will probably think of belief as an inner state that can be detected through introspection. That Jean lacks beliefs about English history is plausible on this Cartesian picture since Jean does not find himself with any beliefs about English history when ne seek them out. One might criticize Radford, however, by rejecting that Cartesian view of belief. One could argue that some beliefs are thoroughly unconscious, for example. Or one could adopt a behaviourist conception of belief, such as Alexander Bains (1859), according to which having beliefs is a matter of the way people are disposed to behave (and has not Radford already adopted a behaviourist conception of knowledge?) Since Jean gives the correct response when queried, a form of verbal behavior, a behaviourist would be tempted to credit him with the belief that the Battle of Hastings occurred in 1066.
D.M. Armstrong (1873) takes a different tack against Radford. Jean does know that the Battle of Hastings took place in 1066. Armstrong will grant Radfod that point, in fact, Armstrong suggests that Jean believer that 1066 is not the date the Battle of Hastings occurred, for Armstrong equates the belief that such and such is just possible but no more than just possible with the belief that such and such is not the case. However, Armstrong insists, Jean also believes that the Battle did occur in 1066. After all, had Jean been mistaught that the Battle occurred in 1066, and subsequently guessed that it took place in 1066, we would surely describe the situation as one in which Jean’s false belief about the Battle became unconscious over time but persisted of a memory trace that was causally responsible for his guess. Out of consistency, we must describe Radford's original case as one that Jean’s true belief became unconscious but persisted long enough to cause his guess. Thus, while Jean consciously believes that the Battle did not occur in 1066, unconsciously he does believer it occurred in 1066. So after all, Radford does not have a counterexample to the claim that knowledge entails belief.
Armstrong's response to Radford was to reject Radford's claim that the examinee lacked the relevant belief about English history. Another response is to argue that the examinee lacks the knowledge Radford attributes to him (cf. Sorenson, 1982). If Armstrong is correct in suggesting that Jean believes both that 1066 is and that it is not the date of the Battle of Hastings, one might deny Jean knowledge on the grounds that people who believer the denial of what they believer cannot be said to' know the truth of their belief. Another strategy might be to compare the examined case with examples of ignorance given in recent attacks on externalist accounts of knowledge (needless to say. Externalists themselves would tend not to favours this strategy). Consider the following case developed by BonJour (1985): For no apparent reason, Samantha believes that she is clairvoyant. Again, for no apparent reason, she one day comes to believer that the President is in New York City, even though she has every reason to believer that the President is in Washington, D.C. In fact, Samantha is a completely reliable clairvoyant, and she has arrived at her belief about the whereabouts of the President thorough the power of her clairvoyance. Yet surely Samanthas belief is completely irrational. She is not justified in thinking what she does. If so, then she does not know where the President is. But Radford's examinee is unconventional. Even if Jean lacks the belief that Radford denies him, Radford does not have an example of knowledge that is unattended with belief. Suppose that Jeans memory had been sufficiently powerful to produce the relevant belief. As Radford says, in having every reason to suppose that his response is mere guesswork, and he has every reason to consider his belief false. His belief would be an irrational one, and hence one about whose truth Jean would be ignorant.
Least has been of mention to an approaching view from which perception basis upon itself as a fundamental philosophical topic both for its central place in a theory of knowledge, and its central place un any theory of consciousness. Philosophy in this area is constrained by a number of properties that we believer to hold of perception, (1) It gives us knowledge of the world around us. (2) We are conscious of that world by being aware of sensible qualities: Colour, sounds, tastes, smells, felt warmth, and the shapes and positions of objects in the environment. (3) Such consciousness is effected through highly complex information channels, such as the output of the three different types of colour-sensitive cells in the eye, or the channels in the ear for interpreting pulses of air pressure as frequencies of sound. (4) There ensues even more complex neurophysiological coding of that information, and eventually higher-order brain functions bring it about that we interpreted the information so received. (Much of this complexity has been revealed by the difficulties of writing programs enabling computers to recognize quite simple aspects of the visual scene.) The problem is to avoid thinking of here being a central, ghostly, conscious self, fed information in the same way that a screen if fed information by a remote television camera. Once such a model is in place, experience will seem like a veil getting between us and the world, and the direct objects of perception will seem to be private items in an inner theater or sensorium. The difficulty of avoiding this model is epically cute when we considered the secondary qualities of colour, sound, tactile feelings and taste, which can easily seem to have a purely private existence inside the perceiver, like sensation of pain. Calling such supposed items names like sense-data or percepts exacerbates the tendency, but once the model is in place, the first property, that perception gives us knowledge of the world and its surrounding surfaces, is quickly threatened, for there will now seem little connexion between these items in immediate experience and any independent reality. Reactions to this problem include scepticism and idealism.
A more hopeful approach is to claim that the complexities of (3) and (4) explain how we can have direct acquaintance of the world, than suggesting that the acquaintance we do have been at best indirect. It is pointed out that perceptions are not like sensation, precisely because they have a content, or outer-directed nature. To have a perception is to be aware of the world for being such-and-such a way, than to enjoy a mere modification of sensation. But such direct realism has to be sustained in the face of the evident personal (neurophysiological and other) factors determining haw we perceive. One approach is to ask why it is useful to be conscious of what we perceive, when other aspects of our functioning work with information determining responses without any conscious awareness or intervention. A solution to this problem would offer the hope of making consciousness part of the natural world, than a strange optional extra.
Furthering, perceptual knowledge is knowledge acquired by or through the senses and includes most of what we know. We cross intersections when we see the light turn green, head for the kitchen when we smell the roast burning, squeeze the fruit to determine its ripeness, and climb out of bed when we hear the alarm ring. In each case we come to know something-that the light has turned green, that the roast is burning, that the melon is overripe, and that it is time to get up-by some sensory means. Seeing that the light has turned green is learning something-that, the light has turned green-by use of the eyes. Feeling that the melon is overripe is coming to know a fact-that the melon is overripe-by ones sense to touch. In each case the resulting knowledge is somehow based on, derived from or grounded in the sort of experience that characterizes the sense modality in question.
Much of our perceptual knowledge is indirect, dependent or derived. By this I mean that the facts we describe ourselves as learning, as coming to know, by perceptual means are pieces of knowledge that depend on our coming to know something else, some other fact, in a more direct way. We see, by the gauge, that we need gas, see, by the newspapers, that our team has lost again, see, by her expression, that she is nervous. This derived or dependent sort of knowledge is particularly prevalent in the cases of vision, but it occurs, to a lesser degree, in every sense modality. We install bells and other noise-makers so that we calm for example, hear (by the bell) that someone is at the door and (by the alarm) that its time to get up. When we obtain knowledge in this way, it is clear that unless one can see, hence, comes to know something about the gauge (that it says) and, hence, know that one is described as coming to know by perceptual means. If one cannot hear that the bell is ringing, one cannot-in at least in this way-hear that ones visitors have arrived. In such cases one sees (hears, smells, etc.) that 'a' is 'F', coming to know thereby that 'a' is 'F', by seeing (hearing, etc.) that some other condition, 'b's' being 'G', obtains when this occurs, the knowledge (that a is F) is derived from, or dependent on, the more basic perceptual knowledge that 'b' is 'G'.
Perhaps as a better strategy is to tie an account save that part that evidence could justify explanation for it is its truth alone. Since, at least the times of Aristotle philosophers of explanatory knowledge have emphasized its importance that, in its simplest Termes, we want to know not only what are the composite peculiarities and particulars points of issue but also why it is. This consideration suggests that we define an explanation as an answer to a why-question. Such a definition would, however, be too broad, because some why-questions are requests for consolation (Why did my son have to die?) Or moral justification (Why should women not be paid the same as men for the same work?) It would also be too narrow because some explanations are responses to how-questions (How does radar work?) Or how-possibility-questions (How is it possible for cats always to land their feet?)
In its overall sense, to explain means to make clear, to make plain, or to provide understanding. Definitions of this sort are philosophically unhelpful, for the terms used in the deficient are no less problematic than the term to be defined. Moreover, since a wide variety of things require explanation, and since many different types of explanation exist, as more complex explanation is required. To facilitate the requirement leaves, least of mention, for us to consider by introduction a bit of technical terminology. The term explanation is used to refer to that which is to be explained: The term explanans refer to that which does the explaining, the explanans and the explanation taken together constitute the explanation.
One common type of explanation occurs when deliberate human actions are explained in terms of conscious purposes. Why did you go to the pharmacy yesterday? Because I had a headache and needed to get some aspirin. It is tacitly assumed that aspirin is an appropriate medication for headaches and that going t the pharmacy would bean efficient way of getting some. Such explanations are, of course, teleological, referring, ss they do, to goals. The explanans is not the realisation of a future goal - if the pharmacy happened to be closed for stocktaking the aspirin would have ben obtained there, bu t that would not invalidate the explanation. Some philosophers would say that the antecedent desire to act would lace the end of what this has of an attempting explanations. Others might say that the explaining is done by the nature of the goal and the fact that the action promoted the chances of realizing it. (Taylor, 1964). In that it should not be automatically be assumed that such explanations are causal. Philosophers differ considerably on whether these explanations are to be framed in terms of cause or reason, but the distinction cannot be used to show that the relation between reasons and the actions they justify is in no way causal, and there are many differing analyses of such concepts as intention and agency. Expanding the domain beyond consciousness, Freud maintained, in addition, that much human behavior can be explained in terms of unconscious and conscious wishes. Those Freudian explanations should probably be construed as basically causal.
Problems arise when teleological explanations are offered in other context. The behavior of non-human animals is often explained in terms of purpose, e.g., the mouse ran to escape from the cat. In such cases the existence of conscious purpose seems dubious. The situation is still more problematic when a supra-empirical purpose in invoked -, e.g., the explanations of living species in terms of Gods’ purpose, or the vitalistic explanations of biological phenomena in terms of a entelechy or vital principle. In recent years an anthropic principle has received attention in cosmology (Barrow and Tipler, 1986). All such explanations have been concerned by many philosophers an anthropomorphic.
Nevertheless, philosophers and scientists often maintain that functional explanations play an important an legitimate role in various sciences such as, evolutionary biology, anthropology and sociology. For example, of the peppered moth in Liverpool, the change in colour from the light phase to the dark phase and back again to the light phase provided adaption to a changing environment and fulfilled the function of reducing predation on the spacies. In the study of primitive soviets anthropologists have contended in that a various resultant amount of rituals from which (rain dance) it may be inefficacious in braining about their manifest Gaels (producing rain), actually cohesion at a period of stress (often a drought). Philosophers who admit teleological and/or functional explanations in common sense and science oftentimes take pans to argue that such explanations can be annualized entirely in terms of efficient causes, thereby escaping the charge of anthropomorphism (Wright, 1976): Again, however, not all philosophers agree.
Mainly to avoid the incursion of unwanted theology, metaphysics, or anthropomorphism into science, many philosophers and scientists, especially during the first half of the twentieth century - held that science provides only descriptions and predictions of natural phenomena, but not explanations for a series of influential philosophers of science - including Karl Popper (1935) Carl Hempel and Paul Oppenheim (1948) and Hempel (1965) - maintained that empirical science can explain natural phenomena without appealing to metaphysics or theology. It appears that this view is now accepted by the vast majority of philosophers of science, though there is sharp disagreement on the nature of scientific explanation.
Nevertheless, one important variety of reliability theory is a conclusive reason account, which includes a requirement that one’s reasons for believing that ‘h’ be such that in one’s circumstances, if h* were not to occur then, e.g., one would not have the reasons one does for believing that ‘h’, or, e.g., one would not believe that ‘h’. Roughly, the latter are demanding that by theory alone, that the considerations applicable to a ‘knower’, as ‘tracking the truth’, and that theories that include the further demand that is roughly, if it were the case, that ‘h’, is then one that would believe of ‘h’. A version of the tracking theory has been defended by Robert Nozick (1981), who adds that if what he calls a ‘method’ has been used to arrive at the belief that ‘h’, then the antecedent clauses of the two conditionals that characterize tracking will need to include the hypothesis that one would employ the very same method.
But unless more conditions are added to Nozick’s analysis, it will be too weak to explain why one lack’s knowledge in a version of the last variant of the tricky Mr Notgot case described above, where we add the following details: (a) Mr Notgot’s compulsion is not easily changed, (b) while in the office, Mr Notgot has no other easy trick of the relevant type to play on one arrives at one’s belief that ‘h’, not by reasoning through a false belief ut by basing belief that ‘h’, upon a true existential generalization of one’s evidence.
Nozick’s analysis is in addition too strong to permit anyone ever to know that ‘h’: ‘Some of my beliefs about beliefs might be otherwise, e.g., I might have rejected on of them’. If I know that ‘h5' then satisfaction of the antecedent of one of Nozick’s conditionals would involve its being false that ‘h5', thereby thwarting satisfaction of the consequent’s requirement that I not then believe that ‘h5'. For the belief that ‘h5' is itself one of my beliefs about beliefs (Shope, 1984).
Some philosophers think that the category of knowing for which true. Justified believing (accepting) is a requirement constituting only a species of Propositional knowledge, construed as an even broader category. They have proposed various examples of ‘PK’ that do not satisfy the belief and/or justification conditions of the tripartite analysis. Such cases are often recognized by analyses of Propositional knowledge in terms of powers, capacities, or abilities. For instance, Alan R. White (1982) treats ‘PK’ as merely the ability to provide a correct answer to a possible question, however, White may be equating ‘producing’ knowledge in the sense of producing ‘the correct answer to a possible question’ with ‘displaying’ knowledge in the sense of manifesting knowledge. (White, 1982). The latter can be done even by very young children and some non-human animals independently of their being asked questions, understanding questions, or recognizing answers to questions. Indeed, an example that has been proposed as an instance of knowing that ‘h’ without believing or accepting that ‘h’ can be modified so as to illustrate this point. Two examples concern an imaginary person who has no special training or information about horses or racing, but who in an experiment persistently and correctly picks the winners of upcoming horseraces. If the example is modified so that the hypothetical ‘seer’ never picks winners but only muses over whether those horses might win, or only reports those horses winning, this behaviour should be as much of a candidate for the person’s manifesting knowledge that the horse in question will win as would be the behaviour of picking it as a winner.
These considerations expose limitations in Edward Craig’s analysis (1990) of the concept of knowing of a person’s being a satisfactory informant in relation to an inquirer who wants to find out whether or not ‘h’. Craig realizes that counterexamples to his analysis appear to be constituted by Knower who is too recalcitrant to inform the inquirer, or to incapacitate to inform, or too discredited to be worth considering, as with the boy who cried ‘Wolf’). Craig admits that this might make preferable some alternative view of knowledge as a different state that helps to explain the presence of the state of being a suitable informant when the latter does obtain. Such the alternate, which offers a recursive definition that concerns one’s having the power to proceed in a way representing the state of affairs, causally involved in one’s proceeding in this way. When combined with a suitable analysis of representing, this theory of propositional knowledge can be unified with a structurally similar analysis of knowing how to do something.
Knowledge and belief, according to most epistemologists, knowledge entails belief, so that I cannot know that such and such is the case unless I believe that such and such is the case. Others think this entailment thesis can be rendered more accurately if we substitute for belief some closely related attitude. For instance, several philosophers would prefer to say that knowledge entail psychological certainties (Prichard, 1950 and Ayer, 1956) or conviction (Lehrer, 1974) or acceptance (Lehrer, 1989). Nonetheless, there are arguments against all versions of the thesis that knowledge requires having a belief-like attitude toward the known. These arguments are given by philosophers who think that knowledge and belief (or a facsimile) are mutually incompatible (the incomparability thesis), or by ones who say that knowledge does not entail belief, or vice versa, so that each may exist without the other, but the two may also coexist (the separability thesis).
The incompatibility thesis is sometimes traced to the ancient Greeks, from which of being in view of this claim that knowledge is infallible while belief or opinion is fallible (‘Republic’ 476-9). But this claim would not support the thesis. Belief might be a component of an infallible form of knowledge in spite of the fallibility of belief. Perhaps, knowledge involves some factor that compensates for the fallibility of belief.
A. Duncan-Jones (1939: Also Vendler, 1978) cites linguistic evidence to back up the incompatibility thesis. He notes that people often say ‘I do not believe she is guilty. I know she is, and the like, which suggest that belief rule out knowledge. However, as Lehrer (1974) indicates, the above exclamation is only a more emphatic way of saying ‘I do not just believe she is guilty, I know she is’ where ‘just’ makes it especially clear that the speaker is signalling that she has something more salient than mere belief, not that she has something inconsistent with belief, namely knowledge. Compare: ‘You do not hurt him, you killed him’.
H.A. Prichard (1966) offers a defence of the incompatibility thesis that hinges on the equation of knowledge with certainty (both infallibility and psychological certitude) and the assumption that when we believe in the truth of a claim we are not certain about its truth. Given that belief always involves uncertainty while knowledge never dies, believing something rules out the possibility of knowing it. Unfortunately, however, Prichard gives ‘us’ no goods reason to grant that states of belief are never ones involving confidence. Conscious beliefs clearly involve some level of confidence, to suggest that we cease to believe things about which we are completely confident is bizarre.
A.D. Woozley (1953) defends a version of the separability thesis. Woozley’s version, which deals with psychological certainty rather than belief per se, is that knowledge can exist in the absence of confidence about the item known, although might also be accompanied by confidence as well. Woozley remarks that the test of whether I know something is ‘what I can do, where what I can do may include answering questions’. On the basis of this remark he suggests that even when people are unsure of the truth of a claim, they might know that the claim is true. We unhesitatingly attribute knowledge to people who give correct responses on examinations even if those people show no confidence in their answers. Woozley acknowledges, however, that it would be odd for those who lack confidence to claim knowledge. It would be peculiar to say, ‘I am unsure whether my answer is true: Still, I know it is correct’. But this tension Woozley explains using a distinction between conditions under which we are justified in making a claim (such as a claim to know something), and conditions under which the claim we make are true. While ‘I know such and such’ might be true even if I am unsure whether such and such holds, nonetheless it would be inappropriate for me to claim that I know that such and such unless I was sure of the truth of my claim.
Colin Radford (1966) extends Woozley’s defence of the separability thesis. In Radford’s view, not only is knowledge compatible with the lack of certainty, it is also compatible with a complete lack of belief. He argues by example. In one example, Jean has forgotten that he learned some English history year’s priori and yet he is able to give several correct responses to questions such as ‘When did the Battle of Hastings occur’? Since he forgot that he took history, he considers the correct response to be no more than guesses. Thus, when he says that the Battle of Hastings took place in 1066 he would deny having the belief that the Battle of Hastings took place in 1066. A disposition he would deny being responsible (or having the right to be convincing) that 1066 was the correct date. Radford would nonetheless, insist that Jean know when the Battle occurred, since clearly be remembering the correct date. Radford admits that it would be inappropriate for Jean to say that he knew when the Battle of Hastings occurred, but, like Woozley he attributes the impropriety to a fact about when it is and is not appropriate to claim knowledge. When we claim knowledge, we ought, at least to believe that we have the knowledge we claim, or else our behaviour is ‘intentionally misleading’.
Those that agree with Radford’s defence of the separability thesis will probably think of belief as an inner state that can be detected through introspection. That Jean lack’s beliefs about English history are plausible on this Cartesian picture since Jean does not find himself with any beliefs about English history when seeking them out. One might criticize Radford, however, by rejecting that Cartesian view of belief. One could argue that some beliefs are thoroughly unconscious, for example. Or one could adopt a behaviourist conception of belief, such as Alexander Bain’s (1859), according to which having beliefs is a matter of the way people are disposed to behave (and has not Radford already adopted a behaviourist conception of knowledge?) Since Jean gives the correct response when queried, a form of verbal behaviour, a behaviourist would be tempted to credit him with the belief that the Battle of Hastings occurred in 1066.
D.M. Armstrong (1873) takes a different tack against Radford. Jean does know that the Battle of Hastings took place in 1066. Armstrong will grant Radfod that point, in fact, Armstrong suggests that Jean believe that 1066 is not the date the Battle of Hastings occurred, for Armstrong equates the belief that such and such is just possible but no more than just possible with the belief that such and such is not the case. However, Armstrong insists, Jean also believes that the Battle did occur in 1066. After all, had Jean been mistaught that the Battle occurred in 1066, and subsequently ‘guessed’ that it took place in 1066, we would surely describe the situation as one in which Jean’s false belief about the Battle became unconscious over time but persisted of a memory trace that was causally responsible for his guess. Out of consistency, we must describe Radford’s original case as one that Jean’s true belief became unconscious but persisted long enough to cause his guess. Thus, while Jean consciously believes that the Battle did not occur in 1066, unconsciously he does believe it occurred in 1066. So after all, Radford does not have a counterexample to the claim that knowledge entails belief.
Armstrong’s response to Radford was to reject Radford’s claim that the examinee lacked the relevant belief about English history. Another response is to argue that the examinee lacks the knowledge Radford attributes to him. If Armstrong is correct in suggesting that Jean believes both that 1066 is and that it is not the date of the Battle of Hastings, one might deny Jean knowledge on the grounds that people who believe the denial of what they believe cannot be said t know the truth of their belief. Another strategy might be to compare the examine case with examples of ignorance given in recent attacks on externalist accounts of knowledge, needless to say. Externalists themselves would tend not to favour this strategy. Consider the following case developed by BonJour (1985): For no apparent reason, Samantha believes that she is clairvoyant. Again, for no apparent reason, she one day comes to believe that the President is in New York City, even though she has every reason to believe that the President is in Washington, D.C. In fact, Samantha is a completely reliable clairvoyant, and she has arrived at her belief about the whereabouts of the President thorough the power of her clairvoyance. Yet surely Samantha’s belief is completely irrational. She is not justified in thinking what she does. If so, then she does not know where the President is. But Radford’s examinee is unconventional. Even if Jean lacks the belief that Radford denies him, Radford does not have an example of knowledge that is unattended with belief. Suppose that Jean’s memory had been sufficiently powerful to produce the relevant belief. As Radford says, in having every reason to suppose that his response is mere guesswork, and he has every reason to consider his belief false. His belief would be an irrational one, and hence one about whose truth Jean would be ignorant.
Least has been of mention to an approaching view from which ‘perception’ basis upon itself as a fundamental philosophical topic both for its central place in ant theory of knowledge, and its central place un any theory of consciousness. Philosophy in this area is constrained by a number of properties that we believe to hold of perception, (1) It gives ‘us’ knowledge of the world around ‘us’. (2) We are conscious of that world by being aware of ‘sensible qualities’: Colour, sounds, tastes, smells, felt warmth, and the shapes and positions of objects in the environment. (3) Such consciousness is effected through highly complex information channels, such as the output of the three different types of colour-sensitive cells in the eye, or the channels in the ear for interpreting pulses of air pressure as frequencies of sound. (4) There ensues even more complex neurophysiological coding of that information, and eventually higher-order brain functions bring it about that we interpreted the information so received. (Much of this complexity has been revealed by the difficulties of writing programs enabling computers to recognize quite simple aspects of the visual scene.) The problem is to avoid thinking of here being a central, ghostly, conscious self, fed information in the same way that a screen if fed information by a remote television camera. Once such a model is in place, experience will seem like a veil getting between ‘us’ and the world, and the direct objects of perception will seem to be private items in an inner theatre or sensorium. The difficulty of avoiding this model is epically cute when we considered the secondary qualities of colour, sound, tactile feelings and taste, which can easily seem to have a purely private existence inside the perceiver, like sensation of pain. Calling such supposed items names like ‘sense-data’ or ‘percept’ exacerbates the tendency, but once the model is in place, the first property, that perception gives ‘us’ knowledge of the world and its surrounding surfaces, is quickly threatened, for there will now seem little connection between these items in immediate experience and any independent reality. Reactions to this problem include ‘scepticism’ and ‘idealism’.
A more hopeful approach is to claim that the complexities of (3) and (4) explain how we can have direct acquaintance of the world, than suggesting that the acquaintance we do have been at best indirect. It is pointed out that perceptions are not like sensation, precisely because they have a content, or outer-directed nature. To have a perception is to be aware of the world for being such-and-such a way, than to enjoy a mere modification of sensation. But such direct realism has to be sustained in the face of the evident personal (neurophysiological and other) factors determining law we perceive. One approach is to ask why it is useful to be conscious of what we perceive, when other aspects of our functioning work with information determining responses without any conscious awareness or intervention. A solution to this problem would offer the hope of making consciousness part of the natural world, than a strange optional extra.
Furthering, perceptual knowledge is knowledge acquired by or through the senses and includes most of what we know. We cross intersections when we see the light turn green, head for the kitchen when we smell the roast burning, squeeze the fruit to determine its ripeness, and climb out of bed when we hear the alarm ring. In each case we come to know something-that the light has turned green, that the roast is burning, that the melon is overripe, and that it is time to get up-by some sensory means. Seeing that the light has turned green is learning something-that, the light has turned green-by use of the eyes. Feeling that the melon is overripe is coming to know a fact-that the melon is overripe-by one’s sense to touch. In each case the resulting knowledge is somehow based on, derived from or grounded in the sort of experience that characterizes the sense modality in question.
Much of our perceptual knowledge is indirect, dependent or derived. By this I mean that the facts we describe ourselves as learning, as coming to know, by perceptual means are pieces of knowledge that depend on our coming to know something else, some other fact, in a more direct way. We see, by the gauge, that we need gas, see, by the newspapers, that our team has lost again, see, by her expression, that she is nervous. This derived or dependent sort of knowledge is particularly prevalent in the cases of vision, but it occurs, to a lesser degree, in every sense modality. We install bells and other noise-makers so that we calm for example, hear (by the bell) that someone is at the door and (by the alarm) that its time to get up. When we obtain knowledge in this way, it is clear that unless one sees-hence, comes to know something about the gauge (that it says) and (hence, know) that one is described as coming to know by perceptual means. If one cannot hear that the bell is ringing, one cannot-in at least in this way-hear that one’s visitors have arrived. In such cases one sees (hears, smells, etc.) that ‘a’ is ‘F’, coming to know thereby that ‘a’ is ‘F’, by seeing (hearing, etc.) that some other condition, ‘b’s’ being ‘G’, obtains when this occurs, the knowledge (that ‘a’ is ‘F’) is derived from, or dependent on, the more basic perceptual knowledge that ‘b’ is ‘G’.
Perhaps as a better strategy is to tie an account save that part that evidence could justify explanation for it is its truth alone. Since, at least the times of Aristotle philosophers of explanatory knowledge have emphasized of its importance that, in its simplest therms, we want to know not only what is the composite peculiarities and particular points of issue but also why it is. This consideration suggests that we define an explanation as an answer to a why-question. Such a definition would, however, be too broad, because some why-questions are requests for consolation (Why did my son have to die?) Or moral justification (Why should women not be paid the same as men for the same work?) It would also be too narrow because some explanations are responses to how-questions (How does radar work?) Or how-possibility-questions (How is it possible for cats always to land their feet?)
In its overall sense, ‘to explain’ means to make clear, to make plain, or to provide understanding. Definition of this sort is philosophically unhelpful, for the terms used in the deficient are no less problematic than the term to be defined. Moreover, since a wide variety of things require explanation, and since many different types of explanation exist, as more complex explanation is required. To facilitate the requirement leaves, least of mention, for us to consider by introduction a bit of technical terminology. The term ‘explanation’ is used to refer to that which is to be explained: The term ‘explanans’ refer to that which does the explaining, the explanans and the explanation taken together constitute the explanation.
One common type of explanation occurs when deliberate human actions are explained in terms of conscious purposes. ‘Why did you go to the pharmacy yesterday?’ ‘Because I had a headache and needed to get some aspirin.’ It is tacitly assumed that aspirin is an appropriate medication for headaches and that going. The pharmacy would be an effective way of getting some. Such explanations are, of course, teleological, referring, ss they do, to goals. The explanans are not the realisation of a future goal - if the pharmacy happened to be closed for stocktaking the aspirin would have been obtained there, bu t that would not invalidate the explanation. Some philosophers would say that the antecedent desire to achieve the end is what doers the explaining: Others might say that the explaining is done by the nature of the goal and the fact that the action promoted the chances of realizing it. (Taylor, 1964). In that it should not be automatically being assumed that such explanations are causal. Philosophers differ considerably on whether these explanations are to be framed in terms of cause or reason, but the distinction cannot be used to show that the relation between reasons and the actions they justify is in no way causal, and there are many differing analyses of such concepts as intention and agency. Expanding the domain beyond consciousness, Freud maintained, in addition, that much human behaviour can be explained in terms of unconscious and conscious wishes. Those Freudian explanations should probably be construed as basically causal.
Problems arise when teleological explanations are offered in other context. The behaviour of non-human animals is often explained in terms of purpose, e.g., the mouse ran to escape from the cat. In such cases the existence of conscious purpose seems dubious. The situation is still more problematic when a supr-empirical purpose in invoked -, e.g., the explanations of living species in terms of God’s purpose, or the vitalistic explanations of biological phenomena in terms of a entelechy or vital principle. In recent years an ‘anthropic principle’ has received attention in cosmology (Barrow and Tipler, 1986). All such explanations have been condemned by many philosophers an anthropomorphic.
Nevertheless, philosophers and scientists often maintain that functional explanations play an important an legitimate role in various sciences such as, evolutionary biology, anthropology and sociology. For example, of the peppered moth in Liverpool, the change in colour from the light phase to the dark phase and back again to the light phase provided adaption to a changing environment and fulfilled the function of reducing predation on the spacies. In the study of primitive soviets anthropologists have maintained that various rituals the (rain dance) which may be inefficacious in braining about their manifest goals (producing rain), actually cohesion at a period of stress (often a drought). Philosophers who admit teleological and/or functional explanations in common sense and science oftentimes take pans to argue that such explanations can be annualized entirely in terms of efficient causes, thereby escaping the charge of anthropomorphism (Wright, 1976): Again, however, not all philosophers agree.
Mainly to avoid the incursion of unwanted theology, metaphysics, or anthropomorphism into science, many philosophers and scientists, especially during the first half of the twentieth century - held that science provides only descriptions and predictions of natural phenomena, but not explanations for a series of influential philosophers of science - including Karl Popper (1935) Carl Hempel and Paul Oppenheim (1948) and Hempel (1965) - maintained that empirical science can explain natural phenomena without appealing to metaphysics or theology. It appears that this view is now accepted by the vast majority of philosophers of science, though there is sharp disagreement on the nature of scientific explanation.
The foregoing approach, developed by Hempel, Popper and others, became virtually a ‘received view’ in the 1960s and 1970s. According to this view, to give a scientific explanation of any natural phenomenon is to show how this phenomena can be subsumed under a law of nature. A particular repture in a water pipe can be explained by citing the universal law that water expands when it freezes and the fact that the temperature of water in a pipe dropped below the freezing point. General law, as well as particular facts, can be explained by subsumption, the law of conservation of linear momentum can be explained by derivation from Newton’s second and third laws of motion. Each of these explanations is a deductive argument: The explanans contain one or more statements of universal laws and, in many cases, statements deceiving initial conditions. This pattern of explanation is known as the deductive-nomological (D-N) model. Any such argument shows that the explanandun had to occur given the explanans.
Many, though not all, adherents of the received view allow for explanation by subsumption under statistical laws. Hempel (1965) offers as an example the case of a man who recovered quickly from a streptococcus infection as a result of treatment with penicillin. Although not all strep infections’ clear up quickly under this treatment, the probability of recovery in such cases is high, and this is sufficient for legitimate explanation According to Hempel. This example conforms to the inductive-statistical (I-S) model. Such explanations are viewed as arguments, but they are inductive than deductive. In these instances the explanation confers high inductive probability on the explanandum. An explanation of a particular fact satisfying either the D-N or I-S model is an argument to the effect that the fact in question was to b e expected by virtue of the explanans.
The received view been subjected to strenuous criticism by adherents of the causal/mechanical approach to scientific explanation (Salmon 1990). Many objections to the received view we engendered by the absence of causal constraints (due largely to worries about Hume’s critique) on the N-D and I-S models. Beginning in the late 1950s, Michael Scriven advanced serious counter-examples to Hempel’s models: He was followed in the 1960s by Wesley Salmon and in the 1970s by Peter Railton. As accorded to the view, one explains phenomenon identifying causes (a death is explained as being real, as something from a massive cerebral haemorrhage) or by exposing underlying mechanisms (the behaviour of a gas is explained in terms of the motion of constituent molecules).
A unification approach to explanation carries with the basic idea that we understand our world more adequately to the extent that we can reduce the number of independent assumptions we must introduce to account for what goes on in it. Accordingly, we understand phenomena to the degree that we can fit them into an overall world picture or Weltanschauung. In order to serve in scientific explanation, the world picture must be scientifically well founded.
During the pas half-century much philosophical attention has ben focussed on explanation in science and in history. Considerable controversy has surrounded the question of whether historical explanation must be scientific, or whether history requires explanations of different types. Many diverse views have been articulated: The forgoing brief survey does not exhaust the variety (Salmon, 19990).
In everyday life we encounter many types of explanation, which appear not to raise philosophical difficulties, in addition to those already made of mention. Prior to take-off a flight attendant explains how to use the safety equipment on the aeroplane. In a museum the guide explains the significance of a famous painting. A mathematics teacher explains a geometrical proof to a bewildered student. A newspaper story explains how a prisoner escaped. Additional examples come easily to mind, the main point is to remember the great variety of contexts in which explanations are sought and given into.
Another item of importance to epistemology is the wider held notion that non-demonstrative inferences can be characterized as inference to the best explanation. Given the variety of views on the nature of explanation, this popular slogan can hardly provide a useful philosophical analysis
Early versions of defeasibility theories had difficulty allowing for the existence of evidence that was ‘merely misleading,’ as in the case where one does know that h3: ‘Tom Grabit stole a book from the library,’ thanks to having seen him steal it, yet where, unbeknown to oneself, Tom’s mother out of dementia gas testified that Tom was far away from the library at the time of the theft. One’s justifiably believing that she gave the testimony would destroy one’s justification for believing that h3' if added by itself to one’s present evidence.
At least some defeasibility theories cannot deal with the knowledge one has while dying that h4: ‘In this life there is no timer at which I believe that ‘d’, where the proposition that 'd' expresses the details regarding some philosophical matter, e.g., the maximum number of blades of grass ever simultaneously growing on the Earth. When it just so happens that it is true that ‘d’, defeasibility analyses typically consider the addition to one’s dying thoughts of a belief that ‘d’ in such a way as to improperly rule out actual knowledge that ‘h4'.
A quite different approach to knowledge, and one able to deal with some Gettier-type cases, involves developing some type of causal theory of Propositional knowledge. The interesting thesis that counts as a causal theory of justification (in the meaning of ‘causal theory’: Intended here) is the that of a belief is justified just in case it was produced by a type of process that is ‘globally’ reliable, that is, its propensity to produce true beliefs-that can be defined (to a god enough approximation) as the proportion of the bailiffs it produces (or would produce where it used as much as opportunity allows) that are true-is sufficiently meaningful-variations of this view have been advanced for both knowledge and justified belief. The first formulation of reliability account of knowing appeared in a note by F.P. Ramsey (1931), who said that a belief was knowledge if it is true, certain can obtain by a reliable process. P. Unger (1968) suggested that 'S’ knows that ‘p’ just in case it is not at all accidental that ‘S’ is right about its being the case that ‘p’. D.M. Armstrong (1973) said that a non-inferential belief qualified as knowledge if the belief has properties that are nominally sufficient for its truth, i.e., guarantee its truth through and by the laws of nature.
Such theories require that one or another specified relation hold that can be characterized by mention of some aspect of cassation concerning one’s belief that ‘h’ (or one’s acceptance of the proposition that ‘h’) and its relation to state of affairs ‘h*’, e.g., 'h' causes the belief: 'h' is causally sufficient for the belief 'h' and the belief have a common cause. Such simple versions of a causal theory are able to deal with the original Notgot case, since it involves no such causal relationship, but cannot explain why there is ignorance in the variants where Notgot and Berent Enç (1984) have pointed out that sometimes one knows of ‘χ’ that is θ thanks to recognizing a feature merely correlated with the presence of θ ness without endorsing a causal theory themselves, there suggest that it would need to be elaborated so as to allow that one’s belief that ‘χ’ has θ has been caused by a factor whose correlation with the presence of øness has caused in oneself, e.g., by evolutionary adaption in one’s ancestors, the disposition that one manifests in acquiring the belief in response to the correlated factor. Not only does this strain the unity of as causal theory by complicating it, but no causal theory without other shortcomings has been able to cover instances of deductively reasoned knowledge.
Causal theories of Propositional knowledge differ over whether they deviate from the tripartite analysis by dropping the requirements that one’s believing (accepting) that ‘h’ be justified. The same variation occurs regarding reliability theories, which present the Knower as reliable concerning the issue of whether or not ‘h’, in the sense that some of one’s cognitive or epistemic states, θ, are such that, given further characteristics of oneself-possibly including relations to factors external to one and which one may not be aware-it is nomologically necessary (or at least probable) that ‘h’. In some versions, the reliability is required to be ‘global’ in as far as it must concern a nomologically (probabilistic, relationship) of states of type θ to the acquisition of true beliefs about a wider range of issues than merely whether or not ‘h’. There is also controversy about how to delineate the limits of what constitutes a type of relevant personal state or characteristic. For example, in a case where Mr Notgot has not been shamming and one does know thereby that someone in the office owns a Ford, such as a way of forming beliefs about the properties of persons spatially close to one, or instead something narrower, such as a way of forming beliefs about Ford owners in offices partly upon the basis of their relevant testimony?
One important variety of reliability theory is a conclusive reason account, which includes a requirement that one’s reasons for believing that ‘h’ be such that in one’s circumstances, if h* were not to occur then, e.g., one would not have the reasons one does for believing that ‘h’, or, e.g., one would not believe that ‘h’. Roughly, the latter is demanded by theories that treat a Knower as ‘tracking the truth’, theories that include the further demand that is roughly, if it were the case, that ‘h’, then one would believe that ‘h’. A version of the tracking theory has been defended by Robert Nozick (1981), who adds that if what he calls a ‘method’ has been used to arrive at the belief that ‘h’, then the antecedent clauses of the two conditionals that characterize tracking will need to include the hypothesis that one would employ the very same method.
But unless more conditions are added to Nozick’s analysis, it will be too weak to explain why one lack’s knowledge in a version of the last variant of the tricky Mr Notgot case described above, where we add the following details: (a) Mr Notgot’s compulsion is not easily changed, (b) while in the office, Mr Notgot has no other easy trick of the relevant type to play on one, and finally for one’s belief that ‘h’, not by reasoning through a false belief ut by basing belief that ‘h’, upon a true existential generalization of one’s evidence.
Nozick’s analysis is in addition too strong to permit anyone ever to know that ‘h’: ‘Some of my beliefs about beliefs might be otherwise, e.g., I might have rejected on of them’. If I know that ‘h5' then satisfaction of the antecedent of one of Nozick’s conditionals would involve its being false that ‘h5', thereby thwarting satisfaction of the consequent’s requirement that I not then believe that ‘h5'. For the belief that ‘h5' is itself one of my beliefs about beliefs (Shope, 1984).
Some philosophers think that the category of knowing for which is true. Justified believing (accepting) is a requirement constituting only a species of Propositional knowledge, construed as an even broader category. They have proposed various examples of ‘PK’ that do not satisfy the belief and/or justification conditions of the tripartite analysis. Such cases are often recognized by analyses of Propositional knowledge in terms of powers, capacities, or abilities. For instance, Alan R. White (1982) treats ‘PK’ as merely the ability to provide a correct answer to a possible questions, however, White may be equating ‘producing’ knowledge in the sense of producing ‘the correct answer to a possible question’ with ‘displaying’ knowledge in the sense of manifesting knowledge. (White, 1982). The latter can be done even by very young children and some non-human animals independently of their being asked questions, understanding questions, or recognizing answers to questions. Indeed, an example that has been proposed as an instance of knowing that ‘h’ without believing or accepting that ‘h’ can be modified so as to illustrate this point. Two examples concerns an imaginary person who has no special training or information about horses or racing, but who in an experiment persistently and correctly picks the winners of upcoming horseraces. If the example is modified so that the hypothetical ‘seer’ never picks winners but only muses over whether those horses wight win, or only reports those horses winning, this behaviour should be as much of a candidate for the person’s manifesting knowledge that the horse in question will win as would be the behaviour of picking it as a winner.
These considerations expose limitations in Edward Craig’s analysis (1990) of the concept of knowing of a person’s being a satisfactory informant in relation to an inquirer who wants to find out whether or not ‘h’. Craig realizes that counterexamples to his analysis appear to be constituted by Knower who are too recalcitrant to inform the inquirer, or too incapacitate to inform, or too discredited to be worth considering (as with the boy who cried ‘Wolf’). Craig admits that this might make preferable some alternative view of knowledge as a different state that helps to explain the presence of the state of being a suitable informant when the latter does obtain. Such the alternate, which offers a recursive definition that concerns one’s having the power to proceed in a way representing the state of affairs, causally involved in one’s proceeding in this way. When combined with a suitable analysis of representing, this theory of propositional knowledge can be unified with a structurally similar analysis of knowing how to do something.
Knowledge and belief, according to most epistemologists, knowledge entails belief, so that I cannot know that such and such is the case unless I believe that such and such is the case. Others think this entailment thesis can be rendered more accurately if we substitute for belief some closely related attitude. For instance, several philosophers would prefer to say that knowledge entail psychological certainties (Prichard, 1950 and Ayer, 1956) or conviction (Lehrer, 1974) or acceptance (Lehrer, 1989). None the less, there are arguments against all versions of the thesis that knowledge requires having a belief-like attitude toward the known. These arguments are given by philosophers who think that knowledge and belief (or a facsimile) are mutually incompatible (the incomparability thesis), or by ones who say that knowledge does not entail belief, or vice versa, so that each may exist without the other, but the two may also coexist (the separability thesis).
The incompatibility thesis is sometimes traced to Plato (429-347 Bc) in view of his claim that knowledge is infallible while belief or opinion is fallible (‘Republic’ 476-9). But this claim would not support the thesis. Belief might be a component of an infallible form of knowledge in spite of the fallibility of belief. Perhaps, knowledge involves some factor that compensates for the fallibility of belief.
A. Duncan-Jones (1939: Also Vendler, 1978) cite linguistic evidence to back up the incompatibility thesis. He notes that people often say ‘I do not believe she is guilty. I know she is’ and the like, which suggest that belief rule out knowledge. However, as Lehrer (1974) indicates, the above exclamation is only a more emphatic way of saying ‘I do not just believe she is guilty, I know she is’ where ‘just’ makes it especially clear that the speaker is signalling that she has something more salient than mere belief, not that she has something inconsistent with belief, namely knowledge. Compare: ‘You do not hurt him, you killed him.'
H.A. Prichard (1966) offers a defence of the incompatibility thesis that hinges on the equation of knowledge with certainty (both infallibility and psychological certitude) and the assumption that when we believe in the truth of a claim we are not certain about its truth. Given that belief always involves uncertainty while knowledge never dies, believing something rules out the possibility of knowing it. Unfortunately, however, Prichard gives ‘us’ no goods reason to grant that states of belief are never ones involving confidence. Conscious beliefs clearly involve some level of confidence, to suggest that we cease to believe things about which we are completely confident is bizarre.
A.D. Woozley (1953) defends a version of the separability thesis. Woozley’s version, which deals with psychological certainty rather than belief per se, is that knowledge can exist in the absence of confidence about the item known, although might also be accompanied by confidence as well. Woozley remarks that the test of whether I know something is ‘what I can do, where what I can do may include answering questions.’ On the basis of this remark he suggests that even when people are unsure of the truth of a claim, they might know that the claim is true. We unhesitatingly attribute knowledge to people who give correct responses on examinations even if those people show no confidence in their answers. Woozley acknowledges, however, that it would be odd for those who lack confidence to claim knowledge. It would be peculiar to say, I am unsure whether my answer is true: Still, I know it is correct But this tension Woozley explains using a distinction between conditions under which we are justified in making a claim (such as a claim to know something), and conditions under which the claim we make is true. While ‘I know such and such’ might be true even if I am unsure whether such and such holds, nonetheless it would be inappropriate for me to claim that I know that such and such unless I were sure of the truth of my claim.
Colin Radford (1966) extends Woozley’s defence of the separability thesis. In Radford’s view, not only is knowledge compatible with the lack of certainty, it is also compatible with a complete lack of belief. He argues by example. In one example, Jean has forgotten that he learned some English history year’s priori and yet he is able to give several correct responses to questions such as ‘When did the Battle of Hastings occur?’ Since he forgot that he took history, he considers the correct response to be no more than guesses. Thus, when he says that the Battle of Hastings took place in 1066 he would deny having the belief that the Battle of Hastings took place in 1066. A disposition he would deny being responsible (or having the right to be convincing) that 1066 was the correct date. Radford would none the less insist that Jean know when the Battle occurred, since clearly be remembering the correct date. Radford admits that it would be inappropriate for Jean to say that he knew when the Battle of Hastings occurred, but, like Woozley he attributes the impropriety to a fact about when it is and is not appropriate to claim knowledge. When we claim knowledge, we ought, at least to believe that we have the knowledge we claim, or else our behaviour is ‘intentionally misleading’.
Those that agree with Radford’s defence of the separability thesis will probably think of belief as an inner state that can be detected through introspection. That Jean lack’s beliefs about English history is plausible on this Cartesian picture since Jean does not find himself with any beliefs about English history when ne seek them out. One might criticize Radford, however, by rejecting that Cartesian view of belief. One could argue that some beliefs are thoroughly unconscious, for example. Or one could adopt a behaviourist conception of belief, such as Alexander Bain’s (1859), according to which having beliefs is a matter of the way people are disposed to behave (and has not Radford already adopted a behaviourist conception of knowledge?) Since Jean gives the correct response when queried, a form of verbal behaviour, a behaviourist would be tempted to credit him with the belief that the Battle of Hastings occurred in 1066.
D.M. Armstrong (1873) takes a different tack against Radford. Jean does know that the Battle of Hastings took place in 1066. Armstrong will grant Radfod that point, in fact, Armstrong suggests that Jean believe that 1066 is not the date the Battle of Hastings occurred, for Armstrong equates the belief that such and such is just possible but no more than just possible with the belief that such and such is not the case. However, Armstrong insists, Jean also believes that the Battle did occur in 1066. After all, had Jean been mistaught that the Battle occurred in 1066, and subsequently ‘guessed’ that it took place in 1066, we would surely describe the situation as one in which Jean’s false belief about the Battle became unconscious over time but persisted of a memory trace that was causally responsible for his guess. Out of consistency, we must describe Radford’s original case as one that Jean’s true belief became unconscious but persisted long enough to cause his guess. Thus, while Jean consciously believes that the Battle did not occur in 1066, unconsciously he does believe it occurred in 1066. So after all, Radford does not have a counterexample to the claim that knowledge entails belief.
Armstrong’s response to Radford was to reject Radford’s claim that the examinee lacked the relevant belief about English history. Another response is to argue that the examinee lacks the knowledge Radford attributes to him. If Armstrong is correct in suggesting that Jean believes both that 1066 is and that it is not the date of the Battle of Hastings, one might deny Jean knowledge on the grounds that people who believe the denial of what they believe cannot be said t know the truth of their belief. Another strategy might be to compare the examine case with examples of ignorance given in recent attacks on externalist accounts of knowledge (needless to say. Externalists themselves would tend not to favour this strategy). Consider the following case developed by BonJour (1985): For no apparent reason, Samantha believes that she is clairvoyant. Again, for no apparent reason, she one day comes to believe that the President is in New York City, even though she has every reason to believe that the President is in Washington, D.C. In fact, Samantha is a completely reliable clairvoyant, and she has arrived at her belief about the whereabouts of the President thorough the power of her clairvoyance. Yet surely Samantha’s belief is completely irrational. She is not justified in thinking what she does. If so, then she does not know where the President is. But Radford’s examinee is unconventional. Even if Jean lacks the belief that Radford denies him, Radford does not have an example of knowledge that is unattended with belief. Suppose that Jean’s memory had been sufficiently powerful to produce the relevant belief. As Radford says, in having every reason to suppose that his response is mere guesswork, and he has every reason to consider his belief false. His belief would be an irrational one, and hence one about whose truth Jean would be ignorant.
Least has been of mention to an approaching view from which ‘perception’ basis upon itself as a fundamental philosophical topic both for its central place in ant theory of knowledge, and its central place un any theory of consciousness. Philosophy in this area is constrained by a number of properties that we believe to hold of perception, (1) It gives ‘us’ knowledge of the world around ‘us,’ (2) We are conscious of that world by being aware of ‘sensible qualities’: Colour, sounds, tastes, smells, felt warmth, and the shapes and positions of objects in the environment. (3) Such consciousness is effected through highly complex information channels, such as the output of the three different types of colour-sensitive cells in the eye, or the channels in the ear for interpreting pulses of air pressure as frequencies of sound. (4) There ensues even more complex neurophysiological coding of that information, and eventually higher-order brain functions bring it about that we interpreted the information so received. (Much of this complexity has been revealed by the difficulties of writing programs enabling computers to recognize quite simple aspects of the visual scene.) The problem is to avoid thinking of here being a central, ghostly, conscious self, fed information in the same way that a screen if fed information by a remote television camera. Once such a model is in place, experience will seem like a veil getting between ‘us’ and the world, and the direct objects of perception will seem to be private items in an inner theatre or sensorium. The difficulty of avoiding this model is epically cute when we considered the secondary qualities of colour, sound, tactile feelings and taste, which can easily seem to have a purely private existence inside the perceiver, like sensation of pain. Calling such supposed items names like ‘sense-data’ or ‘percepts’ exacerbates the tendency, but once the model is in place, the first property, that perception gives ‘us’ knowledge of the world and its surrounding surfaces, is quickly threatened, for there will now seem little connection between these items in immediate experience and any independent reality. Reactions to this problem include ‘scepticism’ and ‘idealism.’
A more hopeful approach is to claim that the complexities of (3) and (4) explain how we can have direct acquaintance of the world, than suggesting that the acquaintance we do have been at best indirect. It is pointed out that perceptions are not like sensation, precisely because they have a content, or outer-directed nature. To have a perception is to be aware of the world for being such-and-such a way, than to enjoy a mere modification of sensation. But such direct realism has to be sustained in the face of the evident personal (neurophysiological and other) factors determining haw we perceive. One approach is to ask why it is useful to be conscious of what we perceive, when other aspects of our functioning work with information determining responses without any conscious awareness or intervention. A solution to this problem would offer the hope of making consciousness part of the natural world, than a strange optional extra.
Furthering, perceptual knowledge is knowledge acquired by or through the senses and includes most of what we know. We cross intersections when we see the light turn green, head for the kitchen when we smell the roast burning, squeeze the fruit to determine its ripeness, and climb out of bed when we hear the alarm ring. In each case we come to know something-that the light has turned green, that the roast is burning, that the melon is overripe, and that it is time to get up-by some sensory means. Seeing that the light has turned green is learning something-that, the light has turned green-by use of the eyes. Feeling that the melon is overripe is coming to know a fact-that the melon is overripe-by one’s sense to touch. In each case the resulting knowledge is somehow based on, derived from or grounded in the sort of experience that characterizes the sense modality in question.
Much of our perceptual knowledge is indirect, dependent or derived. By this I mean that the facts we describe ourselves as learning, as coming to know, by perceptual means are pieces of knowledge that depend on our coming to know something else, some other fact, in a more direct way. We see, by the gauge, that we need gas, see, by the newspapers, that our team has lost again, see, by her expression, that she is nervous. This derived or dependent sort of knowledge is particularly prevalent in the cases of vision, but it occurs, to a lesser degree, in every sense modality. We install bells and other noise-makers so that we calm for example, hear (by the bell) that someone is at the door and (by the alarm) that its time to get up. When we obtain knowledge in this way, it is clear that unless one sees-hence, comes to know something about the gauge (that it says) and (hence, know) that one is described as coming to know by perceptual means. If one cannot hear that the bell is ringing, one cannot-in at least in this way-hear that one’s visitors have arrived. In such cases one sees (hears, smells, etc.) that ‘a’ is ‘F’, coming to know thereby that ‘a’ is ‘F’, by seeing (hearing, etc.) that some other condition, ‘b’s’ being ‘G’, obtains when this occurs, the knowledge (that ‘a’ is ‘F’) is derived from, or dependent on, the more basic perceptual knowledge that ‘b’ is ‘G’.
And finally, the representational Theory of mind (RTM) (which goes back at least to Aristotle) takes as its starting point commonsense mental states, such as thoughts, beliefs, desires, perceptions and images. Such states are said to have ‘intentionality’ - they are about or refer to things, and may be evaluated with respect to properties like consistency, truth, appropriateness and accuracy. (For example, the thought that cousins are not related is inconsistent, the belief that Elvis is dead is true, the desire to eat the moon is inappropriate, a visual experience of a ripe strawberry as red is accurate, an image of George W. Bush with deadlocks is inaccurate.)
The representational theory of mind, defines such intentional mental states as relations to other mental representations, and explains the extent for which intentionality plays of the former, in terms of the semantic properties of the latter. For example, to believe that Elvis is dead is to be appropriately related to a mental representation whose propositional content is that Elvis is dead. (The desire that Elvis be dead, the fear that he is dead, the regret that he is dead, etc., involve different relations to the same mental representation.) To perceive a strawberry is to have a sensory experience of some kind which is appropriately related to (e.g., caused by) the strawberry Representational theory of mind also understands mental processes such as thinking, reasoning and imagining as sequences of intentional mental states. For example, to imagine the moon rising over a mountain is to entertain a series of mental images of the moon (and a mountain). To infer a proposition q from the proposition’s p and if 'p' then 'q' is (among other things) to have a sequence of thoughts of the form 'p', 'if p' then 'q', 'q'.
Contemporary philosophers of mind have typically supposed (or at least hoped) that the mind can be naturalized -, i.e., that all mental facts have explanations in the terms of natural science. This assumption is shared within cognitive science, which attempts to provide accounts of mental states and processes in terms (ultimately) of features of the brain and central nervous system. In the course of doing so, the various sub-disciplines of cognitive science (including cognitive and computational psychology and cognitive and computational neuroscience) postulate a number of different kinds of structures and processes, many of which are not directly implicated by mental states and processes as commonsensical conceived. There remains, however, a shared commitment to the idea that mental states and processes are to be explained in terms of mental representations.
In philosophy, recent debates about mental representation have centred around the existence of propositional attitudes (beliefs, desires, etc.) and the determination of their contents (how they come to be about what they are about), and the existence of phenomenal properties and their relation to the content of thought and perceptual experience. Within cognitive science itself, the philosophically relevant debates have been focussed on the computational architecture of the brain and central nervous system, and the compatibility of scientific and commonsense accounts of mentality.
Intentional Realists such as Dretske (e.g., 1988) and Fodor (e.g., 1987) note that the generalizations we apply in everyday life in predicting and explaining each other's behaviour (often collectively referred to as ‘folk psychology’) are both remarkably successful and indispensable. What a person believes, doubts, desires, fears, etc. is a highly reliable indicator of what that person will do. We have no other way of making sense of each other's behaviour than by ascribing such states and applying the relevant generalizations. We are thus committed to the basic truth of commonsense psychology and, hence, to the existence of the states its generalizations refer to. (Some realists, such as Fodor, also hold that commonsense psychology will be vindicated by cognitive science, given that propositional attitudes can be construed as computational relations to mental representations.)
Intentional Eliminativists, such as Churchland, (perhaps) Dennett and (at one time) Stich argue that no such things as propositional attitudes (and their constituent representational states) are implicated by the successful explanation and prediction of our mental lives and behaviour. Churchland denies that the generalizations of commonsense propositional-attitude psychology are true. He (1981) argues that folk psychology is a theory of the mind with a long history of failure and decline, and that it resists incorporation into the framework of modern scientific theories (including cognitive psychology). As such, it is comparable to alchemy and phlogiston theory, and ought to suffer a comparable fate. Commonsense psychology is false, and the states (and representations) it postulates simply don't exist. (It should be noted that Churchland is not an eliminativist about mental representation tout court.
Dennett (1987) grants that the generalizations of commonsense psychology are true and indispensable, but denies that this is sufficient reason to believe in the entities they appear to refer to. He argues that to give an intentional explanation of a system's behaviour is merely to adopt the ‘intentional stance’ toward it. If the strategy of assigning contentful states to a system and predicting and explaining its behaviour (on the assumption that it is rational -, i.e., that it behaves as it should, given the propositional attitudes it should have in its environment) is successful, then the system is intentional, and the propositional-attitude generalizations we apply to it are true. But there is nothing more to having a propositional attitude than this.
Though he has been taken to be thus claiming that intentional explanations should be construed instrumentally, Dennett (1991) insists that he is a ‘moderate’ realist about propositional attitudes, since he believes that the patterns in the behaviour and behavioural dispositions of a system on the basis of which we (truly) attribute intentional states to it are objectively real. In the event that there are two or more explanatorily adequate but substantially different systems of intentional ascriptions to an individual, however, Dennett claims there is no fact of the matter about what the system believes (1987, 1991). This does suggest an irrealism at least with respect to the sorts of things Fodor and Dretske take beliefs to be; though it is not the view that there is simply nothing in the world that makes intentional explanations true.
Davidson 1973, 1974 and Lewis 1974 also defend the view that what it is to have a propositional attitude is just to be interpretable in a particular way. It is, however, not entirely clear whether they intend their views to imply irrealism about propositional attitudes. Stich (1983) argues that cognitive psychology does not (or, in any case, should not) taxonomize mental states by their semantic properties at all, since attribution of psychological states by content is sensitive to factors that render it problematic in the context of a scientific psychology. Cognitive psychology seeks causal explanations of behaviour and cognition, and the causal powers of a mental state are determined by its intrinsic ‘structural’ or ‘syntactic’ properties. The semantic properties of a mental state, however, are determined by its extrinsic properties -, e.g., its history, environmental or intra-mental relations. Hence, such properties cannot figure in causal-scientific explanations of behaviour. (Fodor 1994 and Dretske 1988 are realist attempts to come to grips with some of these problems.) Stich proposes a syntactic theory of the mind, on which the semantic properties of mental states play no explanatory role.
It is a traditional assumption among realists about mental representations that representational states come in two basic varieties (Boghossian 1995). There are those, such as thoughts, which are composed of concepts and have no phenomenal (‘what-it's-like’) features (‘qualia’), and those, such as sensory experiences, which have phenomenal features but no conceptual constituents. (Non-conceptual content is usually defined as a kind of content that states of a creature lacking concepts might nonetheless enjoy. On this taxonomy, mental states can represent either in a way analogous to expressions of natural languages or in a way analogous to drawings, paintings, maps or photographs. (Perceptual states such as seeing that something is blue, are sometimes thought of as hybrid states, consisting of, for example, a Non-conceptual sensory experience and a thought, or some more integrated compound of sensory and conceptual components.)
Some historical discussions of the representational properties of mind, seem to assume that Non-conceptual representations - percepts (‘impressions’), images (‘ideas’) and the like - are the only kinds of mental representations, and that the mind represents the world in virtue of being in states that resemble things in it. On such a view, all representational states have their content in virtue of their phenomenal features. Powerful arguments, however, focussing on the lack of generality (Berkeley 1975), ambiguity (Wittgenstein 1953) and non-compositionality (Fodor 1981) of sensory and imagistic representations, as well as their unsuitability to function as logical (Frége 1918/1997, Geach 1957) or mathematical (Frége 1884/1953) concepts, and the symmetry of resemblance (Goodman 1976), convinced philosophers that no theory of mind can get by with only Non-conceptual representations construed in this way.
Contemporary disagreement over Non-conceptual representation concerns the existence and nature of phenomenal properties and the role they play in determining the content of sensory experience. Dennett (1988), for example, denies that there are such things as qualia at all; while to deny that they are needed to explain the content of sensory experience. Among those who accept that experiences have phenomenal content, some (Dretske, Lycan, Tye) argue that it is reducible to a kind of intentional content, while others (Block, Loar, Peacocke) have argued that it is irreducible.
There has also been dissent from the traditional claim that conceptual representations (thoughts, beliefs) lack phenomenology. Chalmers (1996), Flanagan (1992), Goldman (1993), Horgan and Tiensen (2003), Jackendoff (1987), Levine (1993, 1995, 2001), McGinn (1991), Pitt (2004), Searle (1992), Siewert (1998) and Strawson (1994), claim that purely symbolic (conscious) representational states themselves have a (perhaps proprietary) phenomenology. If this claim is correct, the question of what role phenomenology plays in the determination of content reprises for conceptual representation; and the eliminativist ambitions of Sellars, Brandom, Rey, would meet a new obstacle. (It would also raise prima face problems for reductivist representationalism
The representationalist thesis is often formulated as the claim that phenomenal properties are representational or intentional. However, this formulation is ambiguous between a reductive and a non-deductive claim (though the term ‘representationalism’ is most often used for the reductive claim). On one hand, it could mean that the phenomenal content of an experience is a kind of intentional content (the properties it represents). On the other, it could mean that the (irreducible) phenomenal properties of an experience determine an intentional content. Representationalists such as Dretske, Lycan and Tye would assent to the former claim, whereas phenomenalists such as Block, Chalmers, Loar and Peacocke would assent to the latter. (Among phenomenalists, there is further disagreement about whether qualia are intrinsically representational (Loar) or not (Block, Peacocke).
Most (reductive) representationalists are motivated by the conviction that one or another naturalistic explanation of intentionality is, in broad outline, correct, and by the desire to complete the naturalization of the mental by applying such theories to the problem of phenomenality. (Needless to say, most phenomenalists (Chalmers is the major exception) are just as eager to naturalize the phenomenal - though not in the same way.)
The main argument for representationalism appeals to the transparency of experience. The properties that characterize what it's like to have a perceptual experience are presented in experience as properties of objects perceived: in attending to an experience, one seems to ‘see through it’ to the objects and properties it is experiences of. They are not presented as properties of the experience itself. If nonetheless they were properties of the experience, perception would be massively deceptive. But perception is not massively deceptive. According to the representationalist, the phenomenal character of an experience is due to its representing objective, non-experiential properties. (In veridical perception, these properties are locally instantiated; in illusion and hallucination, they are not.) On this view, introspection is indirect perception: one comes to know what phenomenal features one's experience has by coming to know what objective features it represents.
In order to account for the intuitive differences between conceptual and sensory representations, representationalists appeal to their structural or functional differences. Dretske (1995), for example, distinguishes experiences and thoughts on the basis of the origin and nature of their functions: an experience of a property 'P' is a state of a system whose evolved function is to indicate the presence of 'P' in the environment; a thought representing the property 'P', on the other hand, is a state of a system whose assigned (learned) function is to calibrate the output of the experiential system. Rey (1991) takes both thoughts and experiences to be relations to sentences in the language of thought, and distinguishes them on the basis of (the functional roles of) such sentences' constituent predicates. Lycan (1987, 1996) distinguishes them in terms of their functional-computational profiles. Tye (2000) distinguishes them in terms of their functional roles and the intrinsic structure of their vehicles: thoughts are representations in a language-like medium, whereas experiences are image-like representations consisting of ‘symbol-filled arrays.’ (The account of mental images in Tye 1991.)
Phenomenalists tend to make use of the same sorts of features (function, intrinsic structure) in explaining some of the intuitive differences between thoughts and experiences; but they do not suppose that such features exhaust the differences between phenomenal and non-phenomenal representations. For the phenomenalism, it is the phenomenal properties of experiences - qualia themselves - that constitute the fundamental difference between experience and thought. Peacocke (1992), for example, develops the notion of a perceptual ‘scenario’ (an assignment of phenomenal properties to coordinates of a three-dimensional egocentric space), whose content is ‘correct’ (a semantic property) if in the corresponding ‘scene’ (the portion of the external world represented by the scenario) properties are distributed as their phenomenal analogues are in the scenario.
Another sort of representation championed by phenomenalists (e.g., Block, Chalmers (2003) and Loar (1996)) is the ‘phenomenal concept’ - a conceptual/phenomenal hybrid consisting of a phenomenological ‘sample’ (an image or an occurrent sensation) integrated with (or functioning as) a conceptual component. Phenomenal concepts are postulated to account for the apparent fact (among others) that, as McGinn (1991) puts it, ‘you cannot form [introspective] concepts of conscious properties unless you yourself instantiate those properties.’ One cannot have a phenomenal concept of a phenomenal property 'P', and, hence, phenomenal beliefs about P, without having experience of 'P', because 'P' itself is (in some way) constitutive of the concept of 'P'. (Jackson 1982, 1986 and Nagel 1974.)
Though imagery has played an important role in the history of philosophy of mind, the important contemporary literature on it is primarily psychological. In a series of psychological experiments done in the 1970s (summarized in Kosslyn 1980 and Shepard and Cooper 1982), subjects' response time in tasks involving mental manipulation and examination of presented figures was found to vary in proportion to the spatial properties (size, orientation, etc.) of the figures presented. The question of how these experimental results are to be explained has kindled a lively debate on the nature of imagery and imagination.
Kosslyn (1980) claims that the results suggest that the tasks were accomplished via the examination and manipulation of mental representations that they have spatial properties - i.e., pictorial representations, or images. Others, principally Pylyshyn (1979, 1981, 2003), argue that the empirical facts can be explained in terms exclusively of discursive, or propositional representations and cognitive processes defined over them. (Pylyshyn takes such representations to be sentences in a language of thought.)
The idea that pictorial representations are literally pictures in the head is not taken seriously by proponents of the pictorial view of imagery. The claim is, rather, that mental images represent in a way that is relevantly like the way pictures represent. (Attention has been focussed on visual imagery - hence the designation ‘pictorial’; though of course there may imagery in other modalities - auditory, olfactory, etc. - as well.)
The distinction between pictorial and discursive representation can be characterized in terms of the distinction between analog and digital representation (Goodman 1976). This distinction has itself been variously understood (Fodor & Pylyshyn 1981, Goodman 1976, Haugeland 1981, Lewis 1971, McGinn 1989), though a widely accepted construal is that analog representation is continuous (i.e., in virtue of continuously variable properties of the representation), while digital representation is discrete (i.e., in virtue of properties a representation either has or doesn't have) (Dretske 1981). (An analog/digital distinction may also be made with respect to cognitive processes. (Block 1983.)) On this understanding of the analog/digital distinction, imagistic representations, which represent in virtue of properties that may vary continuously (such as more or less bright, loud, vivid, etc.), would be analog, while conceptual representations, whose properties do not vary continuously (a thought cannot be more or less about Elvis: either it is or it is not) would be digital.
It might be supposed that the pictorial/discursive distinction is best made in terms of the phenomenal/nonphenomenal distinction, but it is not obvious that this is the case. For one thing, there may be nonphenomenal properties of representations that vary continuously. Moreover, there are ways of understanding pictorial representation that presuppose neither phenomenality nor analogicity. According to Kosslyn (1980, 1982, 1983), a mental representation is ‘quasi-pictorial’ when every part of the representation corresponds to a part of the object represented, and relative distances between parts of the object represented are preserved among the parts of the representation. But distances between parts of a representation can be defined functionally rather than spatially - for example, in terms of the number of discrete computational steps required to combine stored information about them.
Tye (1991) proposes a view of images on which they are hybrid representations, consisting both of the pictorial and discursive elements. On Tye's account, images are ‘(labelled) interpreted symbol-filled arrays.’ The symbols represent discursively, while their arrangement in arrays has representational significance (the location of each ‘cell’ in the array represents a specific viewer-centred 2-Dimensional location on the surface of the imagined object)
The contents of mental representations are typically taken to be abstract objects (properties, relations, propositions, sets, etc.). A pressing question, especially for the naturalist, is how mental representations come to have their contents. Here the issue is not how to naturalize content (abstract objects can't be naturalized), but, rather, how to provide a naturalistic account of the content-determining relations between mental representations and the abstract objects they express. There are two basic types of contemporary naturalistic theories of content-determination, causal-informational and functional.
Causal-informational theories (Dretske 1981, 1988, 1995) hold that the content of a mental representation is grounded in the information it carries about what does (Devitt 1996) or would (Fodor 1987, 1990) cause it to occur. There is, however, widespread agreement that causal-informational relations are not sufficient to determine the content of mental representations. Such relations are common, but representation is not. Tree trunks, smoke, thermostats and ringing telephones carry information about what they are causally related to, but they do not represent (in the relevant sense) what they carry information about. Further, a representation can be caused by something it does not represent, and can represent something that has not caused it.
The main attempts to specify what makes a causal-informational state a mental representation are Asymmetric Dependency Theories (e.g., Fodor 1987, 1990, 1994) and Teleological Theories (Fodor 1990, Millikan 1984, Papineau 1987, Dretske 1988, 1995). The Asymmetric Dependency Theory distinguishes merely informational relations from representational relations on the basis of their higher-order relations to each other: informational relations depend upon representational relations, but not vice-versa. For example, if tokens of a mental state type are reliably caused by horses, cows-on-dark-nights, zebras-in-the-mist and Great Danes, then they carry information about horses, etc. If, however, such tokens are caused by cows-on-dark-nights, etc. because they were caused by horses, but not vice versa, then they represent horses.
According to Teleological Theories, representational relations are those a representation-producing mechanism has the selected (by evolution or learning) function of establishing. For example, zebra-caused horse-representations do not mean zebra, because the mechanism by which such tokens are produced has the selected function of indicating horses, not zebras. The horse-representation-producing mechanism that responds to zebras is malfunctioning.
Functional theories (Block 1986, Harman 1973), hold that the content of a mental representation is grounded in its (causal computational, inferential) relations to other mental representations. They differ on whether relata should include all other mental representations or only some of them, and on whether to include external states of affairs. The view that the content of a mental representation is determined by its inferential/computational relations with all other representations is holism; the view it is determined by relations to only some other mental states is localism (or molecularism). (The view that the content of a mental state depends on none of its relations to other mental states is atomism.) Functional theories that recognize no content-determining external relata have been called solipsistic (Harman 1987). Some theorists posit distinct roles for internal and external connections, the former determining semantic properties analogous to sense, the latter determining semantic properties analogous to reference (McGinn 1982, Sterelny 1989)
[Reductive] representationalists (Dretske, Lycan, Tye), usually take one or another of these theories to provide an explanation of the (Non-conceptual) content of experiential states. They thus tend to be Externalists about phenomenological as well as conceptual content. Phenomenalists and non-deductive representationalists (Block, Chalmers, Loar, Peacocke, Siewert), on the other hand, take it that the representational content of such states is (at least in part) determined by their intrinsic phenomenal properties. Further, those who advocate a phenomenology-based approach to conceptual content (Horgan and Tiensen, Loar, Pitt, Searle, Siewert) also seem to be committed to internalist individuation of the content (if not the reference) of such states.
Generally, those who, like informational theorists, think relations to one's (natural or social) environment are (at least partially) determinative of the content of mental representations are Externalists, whereas of those who, like some proponents of functional theories, think contentually representative, if only to be determined by an individual's intrinsic properties alone, are internalists (or individualists).
This issue is widely taken to be of central importance, since psychological explanation, whether commonsense or scientific, is supposed to be both causal and content-based. (Beliefs and desires cause the behaviours they do because they have the contents they do. For example, the desire that one have a beer and the beliefs that there is beer in the refrigerator and that the refrigerator is in the kitchen may explain one's getting up and going to the kitchen.) If, however, a mental representation's having a particular content is due to factors extrinsic to it, it is unclear how its having that content could determine its causal powers, which, arguably, must be intrinsic. Some who accept the standard arguments for externalism have argued that internal factors determine a component of the content of a mental representation. They say that mental representations have both ‘narrow’ content (determined by intrinsic factors) and ‘wide’ or ‘broad’ content (determined by narrow content plus extrinsic factors). (This distinction may be applied to the sub-personal representations of cognitive science as well as to those of commonsense psychology.
Narrow content has been variously construed. Putnam (1975), Fodor (1982)), and Block (1986), for example, seem to understand it as something like de dicto content (i.e., Frégean sense, or perhaps character, à la Kaplan 1989). On this construal, narrow content is context-independent and directly expressible. Fodor (1987) and Block (1986), however, have also characterized narrow content as radically inexpressible. On this construal, narrow content is a kind of proto-content, or content-determinant, and can be specified only indirectly, via specifications of context/wide-content pairings. On both construal, narrow contents are characterized as functions from context to (wide) content. The narrow content of a representation is determined by properties intrinsic to it or its possessor such as its syntactic structure or its intra-mental computational or inferential role (or its phenomenology.
Burge (1986) has argued that causation-based worries about externalist individuation of psychological content, and the introduction of the narrow notion, are misguided. Fodor (1994, 1998) has more recently urged that a scientific psychology might not need narrow content in order to supply naturalistic (causal) explanations of human cognition and action, since the sorts of cases they were introduced to handle, viz., Twin-Earth cases and Frége cases, are nomologically either impossible or dismissible as exceptions to non-strict psychological laws.
The leading contemporary version of the Representational Theory of Mind, the Computational Theory of Mind, claims that the brain is a kind of computer and that mental processes are computations. According to the computational theory of mind, cognitive states are constituted by computational relations to mental representations of various kinds, and cognitive processes are sequences of such states. The computational theory of mind and the representational theory of mind, may by attempting to explain all psychological states and processes in terms of mental representation. In the course of constructing detailed empirical theories of human and animal cognition and developing models of cognitive processes’ implementable in artificial information processing systems, cognitive scientists have proposed a variety of types of mental representations. While some of these may be suited to be mental relata of commonsense psychological states, some - so-called ‘subpersonal’ or ‘sub-doxastic’ representations - are not. Though many philosophers believe that computational theory of mind can provide the best scientific explanations of cognition and behaviour, there is disagreement over whether such explanations will vindicate the commonsense psychological explanations of prescientific representational theory of mind.
According to Stich's (1983) Syntactic Theory of Mind, for example, computational theories of psychological states should concern themselves only with the formal properties of the objects those states are relations to. Commitment to the explanatory relevance of content, however, is for most cognitive scientists fundamental (Fodor 1981, Pylyshyn 1984, Von Eckardt 1993). That mental processes are computations, which computations are rule-governed sequences of semantically evaluable objects, and that the rules apply to the symbols in virtue of their content, are central tenets of mainstream cognitive science.
Explanations in cognitive science appeal to a many different kinds of mental representation, including, for example, the ‘mental models’ of Johnson-Laird 1983, the ‘retinal arrays,’ ‘primal sketches’ and ‘2½ -Dimensional sketches’ of Marr, 1982 ‘frames’ of Minsky 1974, the ‘sub-symbolic’ structures of Smolensky 1989, the ‘quasi-pictures’ of Kosslyn 1980, and the ‘interpreted symbol-filled arrays’ of Tye 1991 - in addition to representations that may be appropriate to the explanation of commonsense psychological states. Computational explanations have been offered of, among other mental phenomena, belief (Fodor 1975, Field 1978), visual perception (Marr 1982, Osherson, et al. 1990), rationality (Newell and Simon 1972, Fodor 1975, Johnson-Laird and Wason 1977), language learning and (Chomsky 1965, Pinker 1989), and musical comprehension (Lerdahl and Jackendoff 1983).
A fundamental disagreement among proponents of computational theory of mind concerns the realization of personal-level representations (e.g., thoughts) and processes (e.g., inferences) in the brain. The central debate here is between proponents of Classical Architectures and proponents of Conceptionist Architectures.
The classicists (e.g., Turing 1950, Fodor 1975, Fodor and Pylyshyn 1988, Marr 1982, Newell and Simon 1976) hold that mental representations are symbolic structures, which typically have semantically evolvable constituents, and that mental processes are rule-governed manipulations of them that are sensitive to their constituent structure. The conceptionists (e.g., McCulloch & Pitts 1943, Rumelhart 1989, Rumelhart and McClelland 1986, Smolensky 1988) hold that mental representations are realized by patterns of activation in a network of simple processors (‘nodes’) and that mental processes consist of the spreading activation of such patterns. The nodes themselves are, typically, not taken to be semantically evaluable; nor do the patterns have semantically evaluable constituents. (Though there are versions of Connectionism - ‘localist’ versions - on which individual nodes are taken to have semantic properties (e.g., Ballard 1986, Ballard & Hayes 1984).) It is arguable, however, that localist theories are neither definitive nor representative of the Conceptionist program (Smolensky 1988, 1991, Chalmers 1993).
Classicists are motivated (in part) by properties thought seems to share with language. Fodor's Language of Thought Hypothesis (LOTH) (Fodor 1975, 1987), according to which the system of mental symbols constituting the neural basis of thought is structured like a language, provides a well-worked-out version of the classical approach as applied to commonsense psychology. According to the language of thought hypotheses, the potential infinity of complex representational mental states is generated from a finite stock of primitive representational states, in accordance with recursive formation rules. This combinatorial structure accounts for the properties of productivity and systematicity of the system of mental representations. As in the case of symbolic languages, including natural languages (though Fodor does not suppose either that the language of thought hypothesis explains only linguistic capacities or that only verbal creatures have this sort of cognitive architecture), these properties of thought are explained by appeal to the content of the representational units and their combinability into contentful complexes. That is, the semantics of both language and thought is compositional: the content of a complex representation is determined by the contents of its constituents and their structural configuration.
Connectionists are motivated mainly by a consideration of the architecture of the brain, which apparently consists of layered networks of interconnected neurons. They argue that this sort of architecture is unsuited to carrying out classical serial computations. For one thing, processing in the brain is typically massively parallel. In addition, the elements whose manipulation drives computation in Conceptionist networks (principally, the connections between nodes) are neither semantically compositional nor semantically evaluable, as they are on the classical approach. This contrast with classical computationalism is often characterized by saying that representation is, with respect to computation, distributed as opposed to local: representation is local if it is computationally basic; and distributed if it is not. (Another way of putting this is to say that for classicists mental representations are computationally atomic, whereas for connectionists they are not.)
Moreover, connectionists argue that information processing as it occurs in Conceptionist networks more closely resembles some features of actual human cognitive functioning. For example, whereas on the classical view learning involves something like hypothesis formation and testing (Fodor 1981), on the Conceptionist model it is a matter of evolving distribution of ‘weight’ (strength) on the connections between nodes, and typically does not involve the formulation of hypotheses regarding the identity conditions for the objects of knowledge. The Conceptionist network is ‘trained up’ by repeated exposure to the objects it is to learn to distinguish; and, though networks typically require many more exposures to the objects than do humans, this seems to model at least one feature of this type of human learning quite well.
Further, degradation in the performance of such networks in response to damage is gradual, not sudden as in the case of a classical information processor, and hence more accurately models the loss of human cognitive function as it typically occurs in response to brain damage. It is also sometimes claimed that Conceptionist systems show the kind of flexibility in response to novel situations typical of human cognition - situations in which classical systems are relatively ‘brittle’ or ‘fragile.’
Some philosophers have maintained that Connectionism entails that there are no propositional attitudes. Ramsey, Stich and Garon (1990) have argued that if Conceptionist models of cognition are basically correct, then there are no discrete representational states as conceived in ordinary commonsense psychology and classical cognitive science. Others, however (e.g., Smolensky 1989), hold that certain types of higher-level patterns of activity in a neural network may be roughly identified with the representational states of commonsense psychology. Still others, argue that language-of-thought style representation is both necessary in general and realizable within Conceptionist architectures. (MacDonald & MacDonald 1995 collects the central contemporary papers in the classicist/Conceptionist debate, and provides useful introductory material as well.
Whereas Stich (1983) accepts that mental processes are computational, but denies that computations are sequences of mental representations, others accept the notion of mental representation, but deny that computational theory of mind provides the correct account of mental states and processes.
Van Gelder (1995) denies that psychological processes are computational. He argues that cognitive systems are dynamic, and that cognitive states are not relations to mental symbols, but quantifiable states of a complex system consisting of (in the case of human beings) a nervous system, a body and the environment in which they are embedded. Cognitive processes are not rule-governed sequences of discrete symbolic states, but continuous, evolving total states of dynamic systems determined by continuous, simultaneous and mutually determining states of the systems' components. Representation in a dynamic system is essentially information-theoretic, though the bearers of information are not symbols, but state variables or parameters.
Horst (1996), on the other hand, argues that though computational models may be useful in scientific psychology, they are of no help in achieving a philosophical understanding of the intentionality of commonsense mental states. computational theory of mind attempts to reduce the intentionality of such states to the intentionality of the mental symbols they are relations to. But, Horst claims, the relevant notion of symbolic content is essentially bound up with the notions of convention and intention. So the computational theory of mind involves itself in a vicious circularity: the very properties that are supposed to be reduced are (tacitly) appealed to in the reduction.
To say that a mental object has semantic properties is, paradigmatically, to say that it may be about, or be true or false of, an object or objects, or that it may be true or false simpliciter. Suppose I think that ocelots take snuff. I am thinking about my wish of placing a dot or period, if only to complete of this book, and if what I think of such an aspiring endeavour becomes is true, so, that, within its individualized participation, is then that my thought is true. According to representational theory of mind such states are to be explained as relations between agents and mental representations. To think that ocelots take snuff is to token in some way a mental representation whose content is that ocelots take snuff. On this view, the semantic properties of mental states are the semantic properties of the representations they are relations to.
Linguistic acts seem to share such properties with mental states. Suppose I say that ocelots take snuff. I am talking about ocelots, and if what I say of them (that they take snuff) is true of them, then my utterance is true. Now, to say that ocelots take snuff is (in part) to utter a sentence that means that ocelots take snuff. Many philosophers have thought that the semantic properties of linguistic expressions are inherited from the intentional mental states they are conventionally used to express. On this view, the semantic properties of linguistic expressions are the semantic properties of the representations that are the mental relata of the states they are conventionally used to express.
It is also widely held that in addition to having such properties as reference, truth-conditions and truth - so-called extensional properties - expressions of natural languages also have intensional properties, in virtue of expressing properties or propositions - i.e., in virtue of having meanings or senses, where two expressions may have the same reference, truth-conditions or truth value, yet express different properties or propositions (Frége 1892/1997). If the semantic properties of natural-language expressions are inherited from the thoughts and concepts they express (or vice versa, or both), then an analogous distinction may be appropriate for mental representations.
Søren Aabye Kierkegaard (1813-1855), a Danish religious philosopher, whose concern with individual existence, choice, and commitment profoundly influenced modern theology and philosophy, especially existentialism.
Søren Kierkegaard wrote of the paradoxes of Christianity and the faith required to reconcile them. In his book Fear and Trembling, Kierkegaard discusses Genesis 22, in which God commands Abraham to kill his only son, Isaac. Although God made an unreasonable and immoral demand, Abraham obeyed without trying to understand or justify it. Kierkegaard regards this ‘leap of faith’ as the essence of Christianity.
Kierkegaard was born in Copenhagen on May 15, 1813. His father was a wealthy merchant and strict Lutheran, whose gloomy, guilt-ridden piety and vivid imagination strongly influenced Kierkegaard. Kierkegaard studied theology and philosophy at the University of Copenhagen, where he encountered Hegelian philosophy and reacted strongly against it. While at the university, he ceased to practice Lutheranism and for a time led an extravagant social life, becoming a familiar figure in the theatrical and café society of Copenhagen. After his father's death in 1838, however, he decided to resume his theological studies. In 1840 he became engaged to the 17-year-old Regine Olson, but almost immediately he began to suspect that marriage was incompatible with his own brooding, complicated nature and his growing sense of a philosophical vocation. He abruptly broke off the engagement in 1841, but the episode took on great significance for him, and he repeatedly alluded to it in his books. At the same time, he realized that he did not want to become a Lutheran pastor. An inheritance from his father allowed him to devote himself entirely to writing, and in the remaining 14 years of his life he produced more than 20 books.
Kierkegaard's work is deliberately unsystematic and consists of essays, aphorisms, parables, fictional letters and diaries, and other literary forms. Many of his works were originally published under pseudonyms. He applied the term existential to his philosophy because he regarded philosophy as the expression of an intensely examined individual life, not as the construction of a monolithic system in the manner of the 19th-century German philosopher Georg Wilhelm Friedrich Hegel, whose work he attacked in Concluding Unscientific Postscript (1846: translations, 1941). Hegel claimed to have achieved a complete rational understanding of human life and history; Kierkegaard, on the other hand, stressed the ambiguity and paradoxical nature of the human situation. The fundamental problems of life, he contended, defy rational, objective explanation; the highest truth is subjective.
Kierkegaard maintained that systematic philosophy not only imposed a false perspective on human existence but that it also, by explaining life in terms of logical necessity, becomes a means of avoiding choice and responsibility. Individuals, he believed, create their own natures through their choices, which must be made in the absence of universal, objective standards. The validity of a choice can only be determined subjectively.
In his first major work, Either/Or, Kierkegaards described two spheres, or stages of existence, that the individual may choose: the aesthetic and the ethical. The aesthetic way of life is a refined hedonism, consisting of a search for pleasure and a cultivation of a mood. The aesthetic individual constantly seeks variety and novelty in an effort to stave off boredom but eventually must confront boredom and despair. The ethical way of life involves an intense, passionate commitment to duty, to unconditional social and religious obligations. In his later works, such as Stages on Life's Way (1845: Translations, 1940), Kierkegaard discerned in this submission to duty a loss of individual responsibility, and he proposed a third stage, the religious, in which one submits to the will of God but in doing so finds authentic freedom. In “Fear and Trembling” (1846; Translated, 1941) Kierkegaard focused on God's command that Abraham sacrifice his son Isaac (Genesis 22: 1-19), an act that violates Abraham's ethical convictions. Abraham proves his faith by resolutely setting out to obey God's command, even though he cannot understand it. This ‘suspension of the ethical,’ as Kierkegaard called it, allows Abraham to achieve an authentic commitment to God. To avoid ultimate despair, the individual must make a similar ‘leap of faith’ into a religious life, which is inherently paradoxical, mysterious, and full of risk. One is called to it by the feeling of dread (The Concept of Dread, 1844; translations, 1944), which is ultimately a fear of nothingness.
Toward the end of his life Kierkegaard was involved in bitter controversies, especially with the established Danish Lutheran church, which he regarded as worldly and corrupt. His later works, such as The Sickness Unto Death (1849: translations, 1941), reflects an increasingly somber view of Christianity, emphasizing suffering as the essence of authentic faith. He also intensified his attack on modern European society, which he denounced in The Present Age (1846; translated 1940) for its lack of passion and for its quantitative values. The stress of his prolific writing and of the controversies in which he engaged gradually undermined his health; in October 1855 he fainted in the street, and he died in Copenhagen on November 11, 1855.
Kierkegaard's influence was at first confined to Scandinavia and to German-speaking Europe, where his work had a strong impact on Protestant Theology and on such writers as the 20th-century Austrian novelist Franz Kafka. As existentialism emerged as a general European movement after World War I, Kierkegaard's work was widely translated, and he was recognized as one of the seminal figures of modern culture.
Since scientists, during the nineteenth century were engrossed with uncovering the workings of external reality and seemingly knew of themselves that these virtually overflowing burdens of nothing, in that were about the physical substrates of human consciousness, the business of examining the distributive contribution in dynamic functionality and structural foundation of mind became the province of social scientists and humanists. Adolphe Quételet proposed a ‘social physics’ that could serve as the basis for a new discipline called sociology, and his contemporary Auguste Comte concluded that a true scientific understanding of the social reality was quite inevitable. Mind, in the view of these figures, was a separate and distinct mechanism subject to the lawful workings of a mechanical social reality.
More formal European philosophers, such as Immanuel Kant, sought to reconcile representations of external reality in mind with the motions of matter-based on the dictates of pure reason. This impulse was also apparent in the utilitarian ethics of Jerry Bentham and John Stuart Mill, in the historical materialism of Karl Marx and Friedrich Engels, and in the pragmatism of Charles Smith, William James and John Dewey. These thinkers were painfully aware, however, of the inability of reason to posit a self-consistent basis for bridging the gap between mind and matter, and each remains obliged to conclude that the realm of the mental exists only in the subjective reality of the individual.
No comments:
Post a Comment