The belief that p is true p
Then it must be supplemented with accounts of what facts are, and that it is for a belief to correspond to a fact, and these are the problems on which the correspondence theory of truth has founded. For one thing, it is far from clear that any significant gain in understanding is achieved by reducing ‘the belief that snow is white is true’ that ‘the fact that snow is white exists’: For these expressions seem equally resistant to analysis and to close in meaning for one to provide an illuminating account of the other. In addition, the general relationship that holds in particular between the belief that snow is white and the fact that Dogs bark, and so on, is very hard to identify. The best attempt to date is Wittgenstein’s (1922) so-called ‘picture theory’, whereby, an elementary proposition is a configuration of terms, an atomic fact is a configuration of simple objects, an atomic fact corresponds to an elementary proposition (and makes it true) when their configurations are identical and when the terms in the proposition refer to the similarly-placed objects in fact, and the truth value of each complex proposition is entailed by the truth values of the elementary ones. However, even if this account is correct as far as it goes, it would need to be completely with plausible theories of ‘logical configuration’, ‘elementary proposition’, ‘reference’, and ‘entailment’, none of which is easy to come by.
A central characteristic of truth - one that any adequate theory must explain - is that when a proposition satisfies its ‘condition of proof (or verification)’ then it is regarded as true. To the extent that the property of corresponding with reality is mysterious, we are going to find it impossible to see why what we take to verify a proposition should indicate the possession of that property. Therefore a tempting alternative to the correspondence theory - an alternative which eschews obscure, metaphysical concepts and which explain quite straightforwardly why verifiabiity implies truth - is implied to identify truth with verifiability (Peirce, 1932). This idea can take on various forms. One version involves the further assumptions that verifiability is ‘holistic’ -,i.e., that a belief is justified (i.e., verified) when it is par t of an entire system of beliefs that is consistent and ‘harmonious’ (Bradley, 1914 and Hempel, 1935). This is known as the coherence theory of truth. Another version involves the assumption that there is, associated with each proposition, some specific procedure for finding out whether one should believe it or not. On this account to say that a proposition is true is to say that it would be verified by the appropriate procedure (Dummett, 1978 and Putman, 1931): In the context of mathematics this amounts to the identification of truth with provability.
The attraction of the verificationist account of truth are that it is refreshingly clear compared with the correspondence theory, and that it succeeds in connecting truth with verification. The trouble is that the bond it postulates between these notions is implausibly strong. And, truly, take verification to indicate truth. But also we recognize the possibility that a proposition may be false in spite of there being impeccable reasons to believe, and that a proposition may be true even though we aren’t able to discover that it is: Verifiability and truth are no doubt highly correlated, but surely not the same thing.
Yet, another well-known account of truth is known as ‘pragmatism’ (James, 1909 and Papineau, 1987). As we have just seen, the verificationist selects a prominent property of truth and considers it to be the essence of truth. Similarly, the pragmatist focuses on another important characteristic - namely, that true belie are a good basis for action - and takes this to belief very nature of truth. True assumptions are said to be, by definition, those which provoke action with desirable results. Again, we have an account with a single attractive explanatory feature, but, agin, the central objection is that the relationship it postulates between truth and its alleged analysans - in this case, utility - is implausibly close. Granted true beliefs tend to foster success, but it happens regularly that actions based on true beliefs lead to disaster, while false assumptions, by pure chance, produce wonderful results.
One of the few uncontroversial facts about truth is that the proposition that snow is white, the proposition that lying is wrong is true if and only if lying is wrong and so forth. Traditional theories acknowledge this fact but regard it as insufficient and, as we have seen, inflate it with some further principle of the form, ‘÷’ is true if and only if ‘÷’ has property ‘p’ (such as corresponding to reality , verifiability, or being suitable as a basis for action), which is supposed to specify what truth is. Some radical alternatives to the traditional theories result from denying the need for any such further specifications (Ramsey, 1927: Strawson, 1950 and Quine, 1990). For example, one might suppose that the basic theory of truth contains nothing more than equivalences to the form. ‘The proposition that ‘p’ is true if and only if ‘p’ (Horwich. 1990).
This sort of proposal is best presented in conjunction with an account of the raison d’etre of our notion of truth: Namely, That it enables us to express attitudes toward those propositions we can designate but not explicitly formulate. Suppose, for example, you are told that Einstein’s last words expressed a claim about physics, an area in which you think he was very reliable. Suppose that, unknown to you, his claim was the proposition that quantum mechanics is wrong. What conclusion can you draw. Exactly which proposition becomes the appropriate object of your belief. Surely not that quantum mechanics is wrong, because you are not aware that, that is what he said. What is needed is something equivalent to the infinite conjunction.
That is, a proposition ‘K’ with the following properties: That from ‘K’ and any further premise of the form. Einstein claim was the proposition that ‘P’ you can infer ‘p’, whatever it is. Now suppose as the deflationist says, that our understanding of the truth predicate consists in the stipulative decision to accept any instance of the schema. The proposition that ‘p’ is true if and only if ‘p’. then your problem is solved. For if ‘K’ is the proposition. Einstein’s claim is true, it will have precisely the inferential power that is needed. From it and Einstein claim is the proposition that quantum mechanics is wrong. You can use Leibniz law to infer that the proposition that quantum mechanics is wrong is true, which, given the relevant axiom of the deflationary theory, allows you to derive that Quantum mechanics is wrong. This one point in favour of the deflationary theory is that it squares with a plausible story about the function of our notion of truth: Its axioms explain that function without the need for any further analysis of what truth is.
Not all variant s of deflationism have this virtu e. according to the redundancy/performative theory of truth, the pair of sentences, The proposition that ‘p’ is true, and plain ‘p’ have exactly the same meaning and express the sam e statement as one another, so it is a syntactic illusion to think that is true, attributes any sort of property to a proposition (Ramsey, 1927 and Strawson, 1950). But in that case it becomes hard to explain why we are entitled to infer that The proposition that quantum mechanics is wrong is true, from Einstein’s claim is th e proposition that quantum mechanics is wrong ans Einstein’s claim is true. For if truth is not a property, then we can no longer account for the inference by invoking the law that if ‘÷’ is identical with ‘y’ then any property of ‘÷’ is a property of ‘y’, and vice versa. Thus, the redundancy/performative theory, by identifying rather than merely correlating the contents of ‘The proposition that ‘p’ is true and ‘p’ precludes the prospect of a good explanation of one of truth’s most significant and useful characteristics. So, it is better to restrict our claim to the weak equivalence schema: The proposition that ‘p’ is true if and only if ‘p’.
Support for deflationism depends upon the possibility of showing that its axioms - instances of the equivalence schema - unsupplemented by any further analysis, will suffice to explain all the central facts about truth: For example, that the verification of a proposition indicates its truth, and that true beliefs have a practical value. The first of these facts follows trivially from the deflationary axiom: For given or a priori knowledge of the equivalence of ‘p’ and ‘The proposition that ‘p’ is true, any reason to believe that ‘p’ becomes an equally good reason to believe that the proposition that ‘p’ is true. The second fact also be explained in terms of the deflationary axioms, but not quite so easily. Consider, to begin with, beliefs of the form,
(B) If I perform act À`, then my desires will be fulfilled
Notice that the psychological role of such a belief is, roughly to cause the performance of À`, in other words, given that I do have belief (B), then typically:
I will perform act A
And notice also that when the belief is true then, given the deflationary axioms, the performance of A will in fact lead to the fulfilment of one`s desire, i.e.,
If (B) is true, then if I perform A,
my desires will be fulfilled
Therefore:
If (B) is true, then my desires will be fulfilled
So, it is quite reasonable to value the truth of beliefs of that form. But such beliefs are derived by inference from other beliefs and can be expected to be true if those other beliefs are true. So, it is reasonable to value the truth of any belief that might be used in such an inference.
To the extent that such deflationary accounts can be given of all the facts involving truth, then the explanatory demands on a theory of truth will be met by the collection of all statements like, The proposition that snow is white is true if and only if snow is white, and the sense that some deep analysis of truth is needed will be undermined.
However, there are several strongly felt objections to deflationism. One reason for dissatisfaction is that the theory has an infinite number of axioms, and therefore cannot be completely written down. it can be described (as the theory whose axioms are the propositions of the form `p`, if and only if it is true that p), but not explicitly formulated. This alleged defect has led some philosophers to develop theories which show, first, how the truth of any proposition derives from the referential properties of its constituents and second, how the referential properties of primitive constituents are determined (Tarski, 1943 and Davidson, 1969). Nonetheless, it remains controversial to assume that all propositions - including belief attributions, laws of nature and counterfactual conditionals - depends for their truth values on what their constituents refer to. Moreover, there is no immediate prospect of a decent, finite theory of reference,. So it is far from clear that the infinite list-like character of deflationism can be avoided.
Another source of dissatisfaction with this theory is that certain instances of the equivalence schema are clearly false. Consider:
(a) THE PROPOSITION EXPRESSED BY THE SENTENCE
IN CAPITAL LETTERS IS NOT TRUE.
Substituting this into the schema one gets a version of the Liar paradox specifically
From which a contradiction is easily derivable. (Given (b), the supposition that (a) is true implies that (a) is not true and the supposition that it is not true implies that it is.) Consequently, not every instance of the equivalence schema can be included in the theory of truth, but it is no simple matter to specify the ones to be excluded (Kripke, 1975). Of course, deflationism is far from alone in having to confront this problem.
A third objection to the version of the deflationary theory, as presented concerns its reliance on propositions as the basic vehicles of truth. It is widely felt that the notion of proposition is defective and that it should not be employed in semantics. If this point of view is accepted then the natural deflationary reaction is to attempt a reformulation that would appeal only to sentences, for example:
‘p’ is true if and only if p
But this so-called ‘disquotational theory of truth’ (Quine, 1990) comes to grief over indexicals, demonstrative and other terms whose referents vary with the context of use. It is not the case, for example, that every instance of ‘I am hungry’ is true and only if I am hungry. And there is no simple way of modifying the disquotational schema to accommodate this problem. A possible way out of these difficulties is to resist the critique of propositions. Such entities may well exhibit an unwelcome degree of indeterminacy, and may well dely reduction to familiar items. However, they do offer a plausible account of belief (as relations to propositions) and, in ordinary language at least, they are indeed taken to be the primary bearers of truth. Traditionally, belief has been of epistemological interest in its propositional guise: ‘S’ believes that ‘p’, where ‘p’ is a proposition toward which an agent ‘S’ exhibits an attitude of acceptance. Not all belief are of this sort, such that, if I trust what you say. I believe you. And someone may believe in the Prime Minister or the Primer of Ontario, or in a free-market economy, or in God. It is sometimes supposed that all belief is ‘reducible’ to propositional belief, as a belief-that. Thus, my believing you might be thought a matter of my believing, perhaps, that what you say is true, and your belief in a free-market or in God, a matter of your believing that=free-market economies are desirable or that God exists. It is doubtful, however, that non-propositional believing can in every case, be reduced in this way. Debate on this point has tended to focus on an apparent distinction between belief-that and belief-in, and the application of this distinction to believe in God (Swinburne, 1981). Some philosophers have followed Aquinas (Summa Theologiae) in supposing that to believe in God is simply to believe that certain truths hold: That God exists, that he is benevolent, and so forth. Others (Hick, 1957) argue that belief-in is a distinctive attitude one that includes essentially an element of trust. More commonly, belief-in has been taken to involve a combination of propositional beliefs together with some further attitude.
It is commonly supposed that problems about the nature of truth are intimately bound up with questions as to the accessibility and autonomy of facts in various domains: Questions about whether the facts can be known, and whether they can exist independently of our capacity to discover them (Dummett, 1978 and Putnam, 1981). One might reason, for example, that if ‘T’ is true means nothing more than ’T’, will be verified, then certain forms of scepticism (specifically, those that doubt the correctness of our methods of verification) will be precluded, and that the facts will have been revealed as dependent on human practices. Alternatively, it might be said that if truth were an inexplicable, primitive non-epistemic property, then the fact that it is true would be completely independent of us. Moreover, we could, in that case, have no reason to assume that the proposition we believe actually have this property: So scepticism could be unavoidable. In a similar vein, it might be thought that a special (and perhaps undesirable) feature of the deflationary approach is that truth is derived of any such metaphysical or epistemological implications.
On close scrutiny, however, it is far from clear that there exists any account of truth with consequences regarding the accessibility or autonomy of non-semantic matters. For although an account of truth may be expected to have such implications for facts of the form ‘T’ is true: It cannot be assumed without further argument that the same conclusions will apply to the fact ‘T’. For it cannot be assumed that ‘T’ and ‘T’ is true are equivalent to none another given the account of truth that is being employed. Of course, if truth is defined in the way that the deflationist proposes, then the equivalence holds by definition. But if truth is defined by reference to some metaphysical or epistemological characteristic, then the equivalence schema is thrown into doubt pending some demonstration that the truth predicate, in some sense assumed, will satisfy it in so far as there are thoughts to be epistemological problems hanging over ‘T’ that do not threaten ‘T’, is true, it will be difficult to give the needed demonstration. Similarly, if truth is defined that the fact, ‘T’ is felt to be more or less independent of human practices than the fact that ‘T’ is true. Then, again, it is unclear that the equivalence schema will hold. It would seem, therefore, that the attempt to base epistemological or metaphysical conclusions on a theory of truth must fail because in any such attempt the equivalence schema will be simultaneously relied on and undermined.
Our dialectic awareness or the consciousness of self-realization and undivided wholeness, as marked by realization, perception or knowledge and often something not generally realized, perceived or known, e.g., aware of our own inner weakness, as these central features of our lives that is notoriously difficult to characterize. You experience going on in the world, and turning inward (introspecting), your experiencing, objects of awareness that can be external or internal. Pressing your finger on the edge of a table, you can be aware of the table’s edge, and aware of the feeling of presence (though perhaps and simultaneously).
Philosophers from Locke to Nagel have insisted that our experiences have distinctive qualities: There is ‘something’ it is like, to have them. It would seem important then, to distinguish qualities of objects of which you are aware from qualities of your awareness. Suppose you are aware of a round red tomato. The tomato, but not your awareness that it is round and red. What then are the qualities of your awareness? Here we encounter a deep puzzle that divides theorists into the rigidity and sternfull of camps.
Some materialist, like Dennett, insist that awareness lacks the qualities we attribute to experience are really those of experienced objects. This opens the way to a dismissed of phenomenal qualities (qualia), qualities that seem to have no place in the material world; others regard such qualities such as qualities as parentally genuine, preferring to dismiss any theory unable to accommodate them. Convinced that the qualities of awareness are ineliminable and irreducible to respectable material properties, some philosophers following Frank Jackson, contend they are epiphenomental: Real, but causally inefficarlous. Still others, including Seale, point to what they regard as a fundamental distinction between the intrinsically subjective as characterized of awareness and the objective, for which of the public character or material objects, but deny that this yields epiphenomenlism.
Introspection, as derived from the Latin, intro (within) and specere (to look), defines introspection by whose attention the mind gives to itself or to its own operation and occurrence. I can know that there is as fat hairy spider in my bath, by looking there and seeing it. But how do I know that I am seeing it rather than smelling it, or that my attitude to it is one of disgust rather than delight? One answer is, by a subsequent introspective act of ‘looking within’ and attending to the psychological state - my seeing the spider. Introspection, therefore, is a mental occurrence, which has as its object some other psychological state like perceiving, desiring, willing, feeling, and do forth. In being a distinct awareness episode it is different from a more general self-consciousness which characterizes all or some of our mental history.
The awareness generated by an introspective act can have varying degrees of complexity. It might be a simple knowledge of (mental) things - such as a particular perception-episode: Or, it might be the more complex knowledge of truth about one’s own mind. In this latter full-blown judgmental form, introspection is usually the self-ascription of psychological properties and, when linguistically expressed, results in statements like, ‘I am watching the spider’ or ‘I am repulsed’.
In psychology this deliberate inward look becomes a scientific method when it is directed towards answering questions of theoretical importance for the advancement of our systematic knowledge of the laws and condition of mental processes (Stout, 1938). In philosophy, introspection (sometimes also called ‘reflection’) remains simply ‘that notice which the Mind takes of its own Operations’ (Locke, 1690) and has been used to serve of some important functions:
2. Metaphysical: A metaphysics of mind needs to take cognizance of introspection. One can argue for `ghostly` mental entities, for ‘qualia’, for sense-data by claiming introspective awareness of them. First-person psychological reports can have special consequences for the nature of persons and personal identity: Hume for example, was content to reject the notion of a soul-substance because he failed to find such a thing by looking within. Moreover, some philosophers argue for the existence of additional perspectival facts - the fact of, what it is like to be the person I am, or, to have an experience of such-and-such (Nagel, 1974). Introspection as our access to such facts becomes important when we construct a complete metaphysics of the world.
3. Epistemological: Surprisingly, the most important use made of introspection has been in accounting for our knowledge of the outside world. According to a foundationalist theory of justification an empirical belief is either basic and self-justifying or is justified in relation to basic beliefs. Basic beliefs therefore, constitute the rock-bottom of all justification and knowledge. Now introspective awareness is said to have a unique epistemological status: We are said to achieve the best possible epistemological position and consequently, introspective beliefs become prime candidates for basic beliefs and thereby constitute the foundation of all justification.
The traditional theory of introspection, is an explanation of this capacity of our looking within constructed from a Descartes-Locke and Kant perspective. It develops as an epistemological corollary to a metaphysical dualism. The world of Matter is known through external and outer sense-perception. So cognitive access to Mind must be based on a parallel process of introspection which, though . . . not Sense, as having nothing to do with external Objects, yet (it) is very like it, and might properly enough be called, internal Sense (Locke, 1690). However, having mind as object is not sufficient to make a way of knowing inner in the relevant sense, because mental facts can be grasped through sources rather than introspection. The point is rather that an inner perception provides a kind of access to the mental not obtained otherwise - it is a look within from within. Stripped of metaphor this indicates the epistemological features as having:
(1) Only I can introspect my mind.
(2) I can introspect only my mind.
Tenets (1) and (2) are grounded in the Cartesian idea of privacy of the mental. Normally, a single object can be perceptually or inferentially grasped by many subjects, just as the same subject can perceive and infer different things. The epistemic peculiarity of introspection is that it is exclusive - it gives knowledge only of the mental history of the subject introspecting.
Tenet (3) of the traditional theory is grounded in the Cartesian idea of privileged access. The epistemic superiority of introspection lies in its being an infallible source of knowledge. First-person psychological statements which are its typical results cannot be mistaken. This claim is sometimes supported by an imaginability test, i.e., the impossibility of imagining that ‘I believe that I am in pain’ while at the same time imaging evidence that ‘I am not in pain’. An apparent counterexample to this infallibility claim would be the introspective judgement, ‘I am perceiving a dead friend’, when I am really hallucinating. This is taken care of by reformulating such introspective reports as, ‘I seem to be perceiving a dead friend’. The importance of such privileged access is that introspection becomes a way of knowing immune from the pitfalls of other sources of cognition. The basic symmetry between first and third person psychological statements can be traced to their being generated (respectively) by introspective and non-introspective methods.
The traditional theory of introspection, therefore, can be encapsulated in four major theses (1) Perceptual Model Thesis, (2) Distinct At Thesis, (3) Privacy Thesis, and (4) Privileged Access Thesis.
An important qualification needs to be made regarding tenets (1) and (2), as aforementioned. Introspection, so far, has been defined as yielding the knowledge of the subject’s own mind or mental history. The broadening terms as mental history , or my mind, however, tend to gloss over an important controversy centring on the actual mental items revealed in introspection. The debate has in itself a greater significance than just generating a list: If we find uncontroversial psychological entities not amenable to introspection or dubiously mental items that are uncontroversially introspected, then it would be clear that introspectibility is either not a necessary or not a sufficient criterion of the mental. Some of the philosophically interesting putative objects of introspection are:
2. Self or I, as of a mediated introspection it is generally supposed to reveal not only psychological states but also the subject or seat of there states. Some ( as in Hume) however, confess to a failure to discover a Self over and above its states by looking within. The issue hinges on whether, in becoming aware of my experience, I am also not aware of them as my-experiences and whether the latter awareness is possible without an introspective awareness of the Self.
3. Bodily sensations like aches, itches, and so forth. Reports like, ‘I am dizzy’, ‘I have a sinking feeling in my stomach’, are sometimes said to be known introspectively, to hold them to be bona fide introspections we would need either to construe bodily sensations as mental or to allow an introspective awareness of some physical states.
4. Time and temporal determination for this is part of Kant’s idiosyncratic theory of inner sense. Our faculty of Sensibility is exercised either as ‘outer sense’ or as ‘inner sense’. The intuitive aspect or Form of outer sense is Space and Time and that of inner sense is Time. This means that while all objects of outer sense are represented as spatial, all inner perceptions are proceeded as temporal. But more interestingly, even our ascription of temporal succession to events in the world is dependent on and derived from the (introspected) successiveness of our inner perceptions.
A broadly Wittgensteinian approach of an awakening awareness questions the idea of an inward look picking out mental phenomena not accessible from a third-person perspective. The argument has many versions. On one version, there would be a tension between our private and privileged accessibilities to introspective awareness which cannot be mistaken as Ryle (1949) has a stronger objection to a logically self-defeating awareness and suggests a way out by such terms as ‘retrospection’, virtually abandons the model of introspection. Again, we cannot in the same breath say that introspection is a distinct mental operation and that it is a logically infallible way of knowing. If pain and the awareness are distinct existence, then the logical possibility of awareness of pain without pain is still present (Armstrong, 1966) and the doctrine of infallibility falls. There is thus a tension between the accessibility between the thesis of an action and or its approachability.
We can think of instances of introspection yielding mistaken belief. We have been known to misidentify our mental states and we can think of cases where a physiologist says that the brain state responsible for particular mental state has not occurred even though my introspective report is that I am in that state, and so it seems better to weaken the claim that introspective reports are infallible. But any substantial weakening of this idea that introspection is a different kind of knowing.
However, the rejection of one or more of its constitutive tenets, by denying dualism, physicalists about the mind abolish the metaphysical foundations of standard views: But even dualists can account for introspective awareness in different ways. In concerning a few features to some of these options are alternatively mentioned:
2. Reflexive models of epistemic accessibility to our minds need not involve a separate attentive act. Part of the meaning of a conscious state is that I know that I am in that state, when I am in that state. Consciousness is conceived as a ‘phosphorescence’ attached to some mental occurrence and in no need of a subsequent illumination to reveal itself. Of course, if introspection models as a distinct act then reflexive models are really accounts of first-person access that make no appeal to introspection.
3. The physicalists’ denial of metaphysically private mental facts naturally suggests that ‘looking within’ is not merely the perception but is perception. For Ryle, mental states are ‘iffy’ behavioural facts which, in principle, are equally accessible to everything in the same way. One‘s own self-awareness therefore is, in effect, no different in type from anyone else’s observations about one’s mind.
A more interesting move is for the physicalists to retain the truism that I am sad in a very different way from that in which I know you to be sad. This directedness or non-inferential nature of self-knowledge can be preserved in some physicalists theories of introspection. For instance, Armstrong’s identification of mental stats with causes of bodily behaviour and of the latter with brain states, makes introspection the process of acquiring information about such inner physical causes. But since introspection is itself a mental state, it is a process in the brain as well, and since its grasp of the relevant causal information is direct, it becomes a process in which the brain scans itself.
Alternatively, a broadly ‘functionalist’ view of mental states suggests of a machine-analogue of th e introspective situation: A machine table with the instruction -Print: ‘I am in state ‘A’‘ when in state ‘A’ results in the output ‘I am in stat e ‘A’, when state ‘A’ occasions to occurs. Similarly, if we define mental states and events functionality, we can say that introspection occurs when an occurrence of a mental state ‘M’ directly results in the awareness of ‘M’. Accountably , this way of emphasizing directness yields a non-perceptual and non-observational model of introspection, the machine in printing ‘I am in state ‘A’, does so (when it is not making a ‘verbal mistake’) just because it is in state ‘A’. There is no computational information or process of ascertaining involved. The latter through a sequence of states.
This casts new light on the discussion, in that, the legitimate question: How do I know that I am seeing a spider? Was interpreted as a demand for the faculty or information processing mechanism whereby I come to acquire this knowledge. Peculiarities of first-person psychological awareness and reports were carried over as peculiarities of this mechanism. However, the question need not demand the search for a method of knowing but rather for an explanation of the special epistemic feature s of first-person psychological statements. On this reading, the problem of introspection (as a way of knowing) dissolves but the problem of explaining ‘introspective’ or first-person authority remains.
Leibniz’s term for inner awareness or self-consciousness, in contrast with ‘perception’ or outer awareness which extend beyond a level or normal servicing of a supporting introduction would be that of ‘apperception’. He held, in opposition to Descartes, that adult humans can have experiences of which they are unaware: Experiences of which they are unaware, experiences which may affect what they do, but which are not brought to self-consciousness. Indeed, there are creatures, such as animals and babies which completely lack the ability to reflect on their experiences, and to become aware of them. The unity of a subject’s experience, which stem from them as experiences of theirs, which stem from his capacity to recognize all his experiences as his, was dubbed by Kant as the ‘transcendental’, which of a unity is an apperception. This apprehension of unity is transcendental, rather than empirical, because it is presupposed in experience and cannot be derived from. Kant used the need for this unity as the basis of his afforded attempt into the refutation of scepticism about the external world. He regarded that my experiences could only be united in one’s self-consciousness if, at least some of them were experiences of a law-governed world of objects in space. Other experiences are those that of a necessary condition of inner awareness.
At the expense of a qualifying mind, the expression ‘self-consciousness’ can mean different things. In the sense (1) ‘consciousness of self’ it refers to the awareness a subject (of experiencing) has of itself, i.e., of the typical referent of the pronoun ‘I’. It is not merely a grasp of the entity that happens to be myself. The philosophical issues given as at present revolve around how such awareness is generated and what its logical structure is. Alternatively, self-consciousness can be (2) ‘Experiences of the items in one’s consciousness or the contents of a mindful state excising consciousness, like sensations, thoughts, feeling, and so forth. This leaves open the possibility of such awareness being a result of the special faculty of introspection, however, there is a use of self-consciousness that refers to the ‘self- intimation’ of every conscious state and in this sense it means (3) The ‘ability’ of a conscious state to become an object to itself. The philosophical problem, at which point is to cash out in epistemic and metaphysical forms, the metaphor or ‘phosphorescence’ that is generally used to capture the reflexivity of consciousness.
The prevalent commonality that normally concede in the way one knows something about oneself is significantly different from the way one know the same sort of thing about someone else. Knowledge of one’s own current mental states is ordinarily not grounded on information about behaviours and physical circumstances. Knowledge of one’s actions, and of such facts as that one is sitting or standing, is usually ‘without observation’ or, at any rate, not based on the sorts of observations that ground one’s knowledge of the actions and posture of others. One’s perceptual knowledge of one’s situation in the world, e.g., that one is facing a tree, differ markedly from the perceptual knowledge that others have of the same facts, since it usually doesn’t involve perceiving oneself. And one’s memory knowledge of one’s own past is normally very different from one‘s memory knowledge of the past of others: One remembers one’s thoughts, feelings, perceptions and actions from the inside, in a way that does not depend on the use of any criterion of personal identity to identify a remembered self as oneself.
Although, in many cases one could speak of a ‘special’ first-person access, it is the access people have to their own mental states that has attracted the most attention. Some philosophers, e.g., Ryle (1949), have denied that there is a fundamental difference between first-person and third-person knowledge of mental states. Others, most notably Wittgenstein (1953), have maintained that where the difference seems most pronounced, e.g., in the case of pain ascriptions the first -person ‘avowals’ are not really expressions of knowledge as all, however, according to Wittgenstein, an avowal of an intention is not based on a self-examination which parallels the investigation of the world around us: It is only marginally liable to error, and in certain cases as an artificial expression of the intention replacing a natural one (e.g., a raised fist). Nonetheless, this makes it possible to explain how we can learn and communicate with, mentalisic language, which were things that remained mysterious when intentions, feelings, and the such, were treated as given objects.
In that such views are manifestations of the twentieth-century reaction against Cartesian views about self-knowledge that are often associated with the claim that there are radical first-person and third-person asymmetries. These include the views that the mind is transparent to itself, that mental states are ‘self-intimating’, that first-person ascriptions of mental states are infallible, and that self-knowledge of mental states serves as the foundation for the rest of our empirical knowledge. Thus it is sometimes taken to characterize the structure of ‘our knowledge’ or ‘scientific knowledge’, rather than the structure of the cognitive system of an individual subject.
Nevertheless, such views have been undermined by the work of Freud, with the postulation of a realm of unconscious wishes, intentions, and so forth, by work in cognitive psychology which shows most of the information processing in the mind to be unconscious mind And which shows many sorts of introspective reports to be unreliable (Nisbett and Wilson, 1977) and by philosophical criticisms of foundationalist accounts who reject these Cartesian claims would agree that the reasons for their rejection are not reasons for denying that there is first-person knowledge of mental states that differ importantly from third-person knowledge of the same phenomena.
One question about such knowledge is whether it is appropriately thought of as observational, e.g., as grounded in a kind of perception that could be called ‘inner sense’. Modern defenders of the view that such observational (e.g., D.M, Armstrong, 1968) take perceiving something to be a matter of being so related to it that its having certain properties is apt to give rise to the non-inferential belief that there is something that has them. On this conception, it seems plausible to say, that one perceives mental states and events occurring in one’s own mind, in virtue of an internal mechanism by which mental states give rise to true beliefs about themselves, but cannot perceive those occurring in the minds of others and that it is in this that one’s special access to one’s mind consists.
Some who agree with such a reliable internal mechanistic view of introspective awareness would object to describing such knowledge as perceptual. In paradigm cases of perceptions, e.g., vision, the casual connection between the object perceived and the perceiver’s belief about it is mediated by a state of the perceiver, a ‘sense-experience’ and which the subject can be aware of (in bring aware of the look or feel of a thing). There seem to be no such intermediaries between our sensations, thoughts, beliefs, and so forth, and our beliefs about them, and this seems a reason for denying that our awareness of them is perceived.
A different objection questions the idea, implicit in the perceptual model, that there is only a contingent connection between having mental states and being aware of them (just as there is only a contingent connection between there being trees and mountains and there being perceptual awareness of them). It makes doubtful sense too suppose that there are creatures that have pain without having any capacity whatever to be aware of their pains. And a consideration of the explanatory role of self-knowledge, suggests that for many kinds of mental states the very capacity to have and conceive of such states involves immediate person-person access’ to the existence of these states in onself. To mention thus, one instance, that if being a subject of belief and desires involve as being at least minimally rational, and if rational recision of one’s belief-desire system is the light of new experiences, that require some knowledge of what one’s current beliefs and desires are, then being a subject of such states requires the capacity to be aware of them. While we should reject any intimation thesis strong enough to rule out the possibility of self-deception, or to deny mental states to minimals and infants, it is far from obvious that the nature of mental states is distinct from their introspective accessibility as the observational model implies (Shoemaker.1988).
Lichtenberg denied that Descartes had a right to say that, ‘I am thinking: Therefore? I exist: Claiming that he was only entitled in that ‘I am Thinking’. And Hume (1739) famously denied that when one introspects one finds any item over and above one’s individual perceptions, that could be one’s individual perceptions, that could be the self or subject that ‘has’ them. Such denials have led some (Including Hume) to deny that there is any such self or subject, and have led others to wonder how we can have knowledge of such a thing or refer to it with ‘I’. Arguably, such denials lose their force if we abandon the observational model self-knowledge: What is disturbing is the idea that we perceive ‘by an inner sense’ perceptions, thoughts, and so forth, but do not perceive anything that could be their subject. Of course, if perceiving something to construe merely as being so related to it as to acquire, in a reliable way , rue beliefs about it, then our enabling capacities for self-knowledge involves our being able to perceive both individual mental events or states and the self (Person) who has them (Shoemaker, 1986).
The peculiarities of self-knowledge are, in any case, closed tied to the peculiarities of self-reference. If the amnesiac Joe Jones discovers that Joe Jones is the culprit without realizing that he himself is Joe Jones, this will not be a case of self-knowledge in the sense that concerns us, seen though it is a case in which the person who is the Knower himself. We are concerned with cases in which someone knows that he himself, or she herself, is so and so. lf, it is that so and so, where this is knowledge the Knower would express by saying, ‘I am so and so’ (Castaneda, 1968). One feature of first-person reference is that in no way depends on the availability of individuating descriptions one can refer to oneself with ‘I’ am without knowing of any descriptions that could be used to fix its reference. A related feature of ‘I’-judgements is their immunity to error thorough misidentification differs from that which characterizes judgements having demonstratives such as ‘this’ as subject: Where both ‘I am F’ and ‘This is F" are immune to such error, the memory judgement ‘I was F’ preserves the immunity while the memory judgement ‘This was F’ does not (for a qualification of this (Shoemaker, 1986). This is related to the fact, already mentioned that first-person memory judgements typically do not need to be grounded on any criterion of identity.
It is precisely where ‘I’-judgements are known in distinctively fist-personal ways that they have this immunity to error through misidentification. And ‘I’-judgements that do not have this immunity (e.g., ‘I’ am bleeding’, if inferred from the blood on this floor) always have among their grounds some that do (e.g., ‘I’ see blood, or ‘There in blood near me’): It is arguable that part of what gives first-person content to belief and other mental states is their relation to distinctively first-person ways of knowing, and that without such ‘special success’ there could be no first-person reference at all (Evans,1982). (But another important feature of "I"-judgements is their intimate relation to action: The amnesiac Joe Jones will not be moved to action by learning that Joe Jones is in danger, but will be if he learns in addition that he is Joe Jones and so that he himself is in danger(Perry, 1979).
A stronger and more controversial claim is that the special access persons have to themselves enters into the very identity conditions for the sorts of things persons are. Many have argued, in following Locke, that memory access is part of what determines the temporal boundaries of persons. A major determinant of the spatial boundaries of persons, i.e., of what counts as part of a persons body, is the extent of direct voluntary control, and this is intimately tied to the special epistemic access persons have to their own voluntary actions. And a familiar Kantian idea is that unity of consciousness different stares belonging to the same conscious subject - in some way involves consciousness. Or the possibility of consciousness, of this unity.
It seems, that, even so, that the Theologian Bishop of Hippo in North Africa, for which Augustine (354-430) builds his epistemology around an account of our curtailing certainty of some knowledge of necessary truth. His paradigm of this sort of truth include basic mathematical and logical truths such as 7 + 3 = 10 and ‘there is one world or it is not the case that there is one world (De libero arbitrio II, 8.8.3), but also propositions about value and morality (‘what is incorruptible is better than what is corruptible’, ‘we should live justly’: De libero arbitrio, . . . And have our existence in some knowledgeable distinction of certainty. Augustine argues that it follows from the nature of the paradigms objects of knowledge that truth is perceptible only by the mind or reason, and not by sense perception: Since all objects of the senses are contingent and mutable we cannot have knowledge through sense perception. He develops his notion of direct acquaintance in terms of the metaphor of light and vision. Just as our seeing material objects depends on their being illuminated by the light of the sun. Our intellectual vision of intelligible objects depend on their illumination by intelligible light truth itself. Augustine identified truth itself with God, who is himself necessary, immutable and eternal, and hence, maintains that our knowledge of truth rests on divine illumination.
Augustine distinguishes between beliefs grounded in this sort of intellectual vision and beliefs justified in other ways, and when a belief is grounded in this way we can be said to have understanding (intellectus) the justification associated with understanding differs from that which is associated with mere belief, not only in degree but also in kind. Understanding of a proposition requires evidence that is internally acquainted to the proposition, so that one possesses the reason for the truth of the proposition. Other sort of evidence, for example, testimony, - can provide justification but are only externally related to the proposition they support. One can be said to know (in a broad sense) a theorem of geometry, for example, when one believes it on the testimony of a geometer, but one can be said to understand the theorem only when one affordingly grasps its truth. Augustine holds that a vast number of our beliefs, - for example, all those about events and places we have not ourselves experienced and about other people’s beliefs and attitudes - rests, on the testimony of others and despite the fact that beliefs based on testimony lack the paradigm sort of justification provided by intellectual vision, we are, but, nonetheless, epistemically justified in holding many beliefs of this sort.
But, still, theoretical knowledge or understanding, as identified with the grasp of Platonic Ideas, as the structure or essence of a thing as contrasted with its matter, is that, however, this notion of ‘Forms’ as essences has obvious similarities with the Platonic view. They became the ‘substantial forms’ of scholasticism, and were accepted until the seventeenth century. Nonetheless, Kant saw form as the a priori aspect of experience. We are presented with phenomenological ‘matter’, which has no meaning until the mind imposes some form upon it.
The standardized conception of meaning as truth-conditions need not and should not be advanced as bing in itself a complex account of meaning, for instance, one who understands a language must have some idea of the range of speech acts conventionally performed by the various types of sentences in the language, and must have some idea of the significance of various kinds of speech act. The claim of the theorist of truth-conditions should rather be targeted on the notion of content: If two indicative sentences differ in what they strictly and literally say, then this difference is fully accounted for by the difference in their truth-conditions. It is this claim, and its attendant problems, which are concerned in the meaning of a complex expression as a functional explanation. Scientists have often been inclined to offer functional explanations of such phenomena as explanatory features that one that explains the presence and persistence of the feature in terms of the ongoing working of social systems as a whole. It might be held that functional explanation is a part of the whole called by us the universe, a part limited in time and space, as experiences in thought and feelings as something separate from the rest - a kind of optical illusion of conceptual content. This delusion is a kind of prison for us, restricting us to our personal desires and to affection for a few persons nearest to us. Our task must be to free ourselves from the prison by widening our circle of compassion to embrace all living creatures and the whole of nature in its beauty. Nobody is able to achieve this completely, but striving for such is obtainably achieving, in itself, a part of the liberation and a foundation for inner security.
That being said, that most theories of explanation is the idea that explanation depends on general laws governing the phenomena in question. We may explain some complex social phenomenon as the aggregate result of the actions of a large number of individual agents with a hypothesized act of goals within a structured environment of choice. As biologists explain species traits in terms of their contribution to reproductive activities, and sociology sometimes explain social traits in terms of their contribution to ‘social’ fitness. However, the analogy is misleading, because there is a general mechanism establishing functionality in the biological realm that is not present in the social realm. This is the mechanism of natural selection, through which a species arrives at a set of traits that are locally optimal. There is no analogous process at work in the social realm, however, so it is groundless to suppose that social traits exist because of their beneficial consequence for the good of society as a whole (or important subsystem within society). So functional explanations of social phenomena must be buttressed by specific accounts of the causal processes that underlie the postulated functional relationships.
Wittgenstein himself introduces the term ‘criterion’ to convey that the connection is not merely that one or other kind of behaviour is caused by one or other kind of mental state. Rather there is (also) a conceptual connection. Behavioural circumstances are the ‘criteria’ rather than merely the effects or ‘symptoms’ of mentality. This idea of a ‘criterial’ connection has been much discussed in the philosophical literature. The most interesting recent discussions may be found in McDowell (1983) and Wright (1984): Wright takes the notion of criterion to support an ‘anti-realist’ view of the meaning of sentences attributing mental states to others. The view replaces the ‘realist’ idea that the meaning of such sentences are given by the condition in which they are true. The most influential idea in the theory of meaning 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 Frége, and was developed in a distinctive way by the early Wittgenstein, and is a leading idea of Davidson. The conception has remained so central that those who offer opposing theories characteristically define their position by reference to it.
The conception of meaning as truth-conditions need not and should not be advanced as being in itself a complex account of meaning. For instance, one who understands a language must have some idea of the range of speech acts conventionally performed by the various types of sentences in the language, and must have some idea of the language and must have some idea of the significance of various kinds of speech act. The claim of the theorist of truth-conditions should rather be targeted on the notion of what they strictly and literally say, then this difference is fully accounted for by the differences in their truth-conditions. The idea that they are given by conditions which warrant their assertion, i.e., given by their criteria. The truth-conditions for these sentences are undetected by the person making the attribution, since the mental states being attributed (pain, to say) are not themselves directly available to this experience in a way that they are to the subject of the attribution. Thus, it cannot be knowledge or the truth-conditions which underlies the linguistic competence with these sentences as the realist claims. What underlies this competence rather, is knowledge of the criteria in th e subjects behaviour is without the purview of the attributive attributor’s experience. Wright, following Wittgenstein, claims that there is a conceptual rather than a contingent link between the behaviour of the subject and the mental state because it is not on the basis of an inference (based on an empirical theory) that one goes from an observation of the behaviour to an attribution of the mental states. But Wright following a widely held interpretation of Wittgenstein, also claims that the criteria are defeasible. That is, it is possible that the criteria should be fulfilled but that the attribution of the relevant mental state turn out to be false.
According to Dilthey, Aristotle’s category of acting and suffering is rooted in prescientific experience, which is then explicated as the category of efficacy or influence (Wirkung) in the human sciences and as the category of cause (Ursache) in the natural sciences. Our understanding of influence in the human sciences is less removed from the full reality of life than are the causal explanations arrived at in the natural sciences. To this extent the human sciences can claim a priority over the natural sciences, whereas we have direct access to the real elements of the historical world (psychological human beings) the elements of the natural world are merely hypothetical entities such as atoms. The natural sciences deal with outer experiences while the human sciences are based on inner experience.
Whereas the natural sciences aim at ever broader generalizations, the human sciences place equal weight on understanding individuality, Dilthy regarded individuals as points of intersections of the social and cultural system in which they participated. Any psychological contribution to understanding human life must be interacted into more public frameworks. Although universal laws of history are rejected particularly human sciences can establish uniformities limited to specific social and cultural systems. Nonetheless, probabilistic or statistical laws are thought to yield statistical explanations of individuals of a recent, yet, detailing of the statistical model have been a matter of much controversy. It is sometimes claimed that although explanations whether in ordinary life or in the sciences, seldom conform fully to the covering law model, the model, nevertheless, represents an ideal that all explanations must strive to attain the covering law model, though influential, it is not universally accepted. Even though human actions are often explained by being rationalized, -i.e., by citing the agents beliefs and desires (and other intentional mental states such as emotions, hopes, and expressions) that constitute a reason for doing what was done. You opened the window because you wanted some fresh air and believed that by opening the window you could secure this result. It has been a controversial issue whether such rationalizing explanations are casual, i.e., whether they invoke beliefs and desires as a cause of the action. Another issue is whether these ‘rationalizing’ explanations must conform to the covering law and if so, what laws might underscore of such explanations.
These considerations answer in the most general terms, that is ‘to explain’ or to make clear, to make plain, or to provide an understanding. Definitions of this sort are philosophically unhelpful, for the terms used in the definiens are no less problematic than the term to be defined.
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 radically assumed that aspirin is an appropriate medication for headaches and that going to the pharmacy would be an efficient way of getting some. Such explanations are, of course, teleological, inferring, as they do, to goals - if the pharmacy happened to be closed for shelf stocking, the aspirin would not have been obtained there, but that would not invalidate the explanation. Some philosophers would say that the antecedent desire to achieve the end and is what does 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 (e.g.,Taylor, 1964 ). In any case it should not be automatically assumed that such explanations are causal. Philosophers differ considering on whether these explanations are to be framed in terms of cause or reasons. The distinction between reasons and causes is motivation, in good part by a desire to separate the rational from the natural order. Historically, it probably traces back, at least to Aristotle’s similar (but not identical) distinction between final and efficient causes. Recently, the contrast has been drawn primarily to the domain of actions and, secondarily elsewhere.
If reason states can motivate, however, why (apart from confusing them with reason proper) deny that they are causes. For one thing, they are not events, at least in the usual sense entailing change: They are dispositional states (this contrasts them with occurrences, but does not imply that they admit of dispositional analysis). It has also seemed to those who deny that reasons are causes that the former justify as well as explain the actions for which they are reasons, whereas the role of causes is at most to explain. Another claim is that the relation between reasons (and about reason states are often cited explicitly) and the actions they explain of a non-contingent, whereas the relation of causes to their effects is contingent. The logical connection argument proceeds from this claim to the conclusion that reasons are not causes.
There is, then, a clear distinction between reasons proper and causes, and even between reason states and event causes: But the distinction cannot be used to show that the relation between reasons and the actions they justify is in no way causal. Precisely, parallel points hold in the epistemic domain (and indeed for all the propositional attitudes, since they all similarly admit of justifications, and explanation by reasons). Suppose my reason for believing that you received my letter today, is that I sent it by express yesterday. My reason strictly speaking, is that I sent it by express just the other day, my reason state in my believing this is arguably, my reason justifies the further proposition I believe for which it is my reason, and my reason state - my evidence belief - both explains and justifies my belief that you received the letter today. I can say that what justifies that belief is (the fact) I sent the letter by express yesterday, but the statement expresses my believing that evidence proposition, and indeed, if I do not believe it, my belief that you received the letter is not justified, it is not justified by the mere truth in the proposition (and can be justified even if that proposition is false).
However, a unification approach to explanation has been developed by Michael Friedman and Philip Kitcher (Kitcher, in Kitcher and Salmon, 1989). The basic idea is 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 a general world picture or Weltanschauung. In order to serve in scientific explanations, the world picture must be scientifically well founded.
In contrast to the foregoing views - which stress such factors as logical relations, laws of nature and causality - a number of philosophers (e.g., Achinstein, 1983 and van Fraasen, 1980) have urged that explanation, and not scientific explanations, can be analysed entirely in pragmatic terms.
During the past half-century much philosophical attention has been 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 foregoing brief survey does not exhaust the variety (Salmon, 1990).
In everyday life we encounter many types of explanation, which appear not to raise philosophical difficulties, in addition to those already discussed. Prior to take-off a flight attendant explains how to use the safety equipment on th e aeroplane. In a museum the guide explains the significance of a famous painter. 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 context in which explanations are sought and given.
Another item of importance to epistemology is the widely held notion that non-demonstrative inference 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.
Holding to this particular point and within this peculiarly occupied station of space, it is not unusually to find it said that, an inference is a (perhaps very complex) act of thought by virtue of which act (1) I pass from a set of one or more propositions or statements to a proposition or statement and (2) It appears that the later is true if the former is or are. This psychological characterization has occurred widely in the literature under more or less variations.
It is natural to desire a better characterization of inference, but attempts to do so by constructing a fuller psychological explanation fail to comprehend the grounds on which inferences will be objectively valid - a point elaborated made by Gottlob Frége. And attempts to better understand the nature of inference through the device of the representation of inference by formal-logical calculations or derivations (1) leaves us puzzled about the relation of formal-logical derivations to the informal inferences they are supposed to represent , and (2) leaves us worried about the sense of such formal derivations. Are these derivations inferences? And are n’t informal inferences needed in order to apply the rules governing the constructions of formal derivations (inferring that this operation is an application of that formal rule?)
Coming up with a good and adequate characterization of inference - and even working out what would count as a good and adequate characterization, is that, here - is a hard by no means nearly solved psychological problem. Therefore the process of drawing a conclusion from premises or assumptions, or, loosely, the conclusion so drawn. An argument can be merely a number of statements of which one is designated the conclusion and the rest are designated premises in whether the premises imply the conclusion is thus independent of any one ‘s actual beliefs in either of them. Beliefs, however , is essential to inference. Inferences occurs only if someone, owing to believing the premises, begins to believe the conclusion or continues to believe the conclusion with greater confidence than before . Because inference requires a subject who has beliefs, some requirements of (an ideally) acceptable inference do not apply to abstractive arguments: One must believe that the premises support the conclusion, neither of these beliefs may be based on one‘s prior belief in the conclusion. Where, W.E. Johnson called these the epistemic conditions of inference. In ‘reductio ad absurdum’ argument that deduces a self-contradiction from certain premises, not all steps of the argument will correspond to steps of inference, no one deliberately infers a contradiction. What one infers, in such an argument, is the certain premises are consistent.
Acceptable inferences can fall short of being ideally acceptable according to the requirements set forth. Relevant beliefs are sometimes indefinite, infant’s and children infer, spite having no grasp of the sophisticated notion of support. One function of idealization is to set standards for that which fall short. It is possible to judge how nearly inexplicit, automatic, unreflective, less-than-ideal inferences met ideal requirements.
In ordinary speech ‘infer’ often functions as a synonym of ‘imply’, as in ‘The new tax law infers that we have to calculate the value of our shrubbery’. Careful philosophical writing avoid this usage. Implication is, and inference is not, a relation between statements.
Valid deductive inference corresponds to a valid deductive argument: It is logically impossible for all the premises to be true when the conclusion is false. That is, the conjunction of all the premises and the negation of the conclusion is inconsistent. Whatever a conjunction is inconsistent , there is a valid argument for the negation of any conjunct from the conjuncts. (Relevance, logic imposes restrictions on validity to avoid this.) Whenever one argument is deductively valid, so is another argument that goes in a different direction. (1) ‘Stacy left her slippers in the kitchen’, implies of (2) ‘Stacy had some slippers’.Should one acquainted with Stacy and the kitchen infer of (1) and (2) from (1), or infer not-(1) from not-(2), or make neither inference ? Formal logic tells us about implication and deductive validity, but it cannot tell us when or what to infer. Reasonable inference depend on comparative degrees of reasonable belief.
An inference in which every premise and every step is beyond question is a demonstrative inference. (Similarly, reasoning for which this condition holds is demonstrative reasoning.) Just as what is beyond question can very from one situation to that of another, so can what counts as demonstrative. The term presumably derives from Aristotle’s ‘Posterior Analysis’. Understanding Aristotle’s views on demonstration requires understanding his general scheme for classifying inferences.
Not all inferences, are deductive. In an inductive inference, one infers from an observed combination of characteristics to some similar unobserved combinations.
‘Reasoning’ like painting and frosting, and many other words, has a process-product-ambiguity. Reasoning can be a process that occurs in time or it can be a result or product. To a letter to the editor can both contain reasoning and be the result of reasoning. It is often unclear whether a word such as ‘statistical’ that modifies the words ‘inference’ or ‘reasoning’, applies primarily to stages in the process or to the content of the product.
One view, attractive for its simplicity is that the stages of the process of reasoning correspond closely to the parts of the product. Examples that confirm this view are scarce as testing alternatives, discarding and reviving, revising and transposing, and so forth, are as common to the process of reasoning as to other creative activities. A product seldom reflects the exact history of its production.
In ‘An Examination of Sir William Hamilton’s Philosophy’, J.S. Mill says that reasoning is a source from which we derive new truths. This is a useful saying so long as we remember that not all reasoning is inference.
Inferential knowledge, is a kind of ‘indirect’ knowledge, namely knowledge based on or resulting from inference. Assuming that knowledge is at least true. Justified belief, inference knowledge is constituted knowledge by a belief that is justified because it is inferred from certain other beliefs. The knowledge that 7 equals 7 seems non-inferential. We do not infer from anything that 7 equals 7 - it is obvious and self-evident. The knowledge that 7 is the cube root of 343, in contrast, seems inferential. We cannot know this without inferring it from something else, such as the result obtained when multiplying 7 times 7 times 7.
Two sots of inferential relations may be distinguished. ‘I inferred that someone died because the flag is at half-mast’ may be true because yesterday I acquired the belief about the flag, which caused me to acquire the further belief that someone died. ‘I inferentially believe that someone died because the flag is at half-mast’ may be true, because I retain the belief that someone died and it remains based in my belief about the flag. My belief that someone died is thus either episodically or structurally inferential. The episodic process is an occurrent, causal relation among belief acquisitions. The structural beliefs, and need not be occurrent (some reserved reference for the episodic relation), an inferential belief acquire on the basis that may later belief is held on a different basis as when I forgot I saw a flag at half-mast, but continue to believe someone died because of news reports.
That, ‘How do you know?’ and ‘Prove it?’ Always seem pertinent suggests that all knowledge is inferential, a version of the coherence theory. The well-known regress argument seems to show, however, that not all knowledge can be inferential, which is a version of foundationalism. For if ‘S’ knows something inferentially, ‘S’ must infer it correctly from premises ‘S’ known to be true. The question whether those premises are also known inferentially begins either an infinite regress of inferences (which is humanly impossible) or a circle of justification (which could not constitute good reasoning).
Which source’s of knowledge are non-inferential remains an issue that an apple is red, e.g., our knowledge is based in some manner on the way the apple looks: ‘By the way it looks’. This answer seems correct, moreover, only if an inference from the way the apple looks to its being red would be warranted. Nevertheless, perceptual beliefs are formed so automatically that talk of inference seem inappropriate In addition, inference, as a process whereby beliefs are acquired as a result of holding other beliefs may be distinguished from inference as a state in which one belief is sustained on the basis of others. Knowledge, that is, inferential in one way, need not be inferential in the other.
It is justly held, of many who claim from the legitimate forms of non-deductive reasoning that provides an important alternative to both deduction and enumerative induction that inference to the best explanation in, be that, it is only through reasoning to the best explanation that one can justify belie about explanations that one can justify belief about the external world , the past , theoretical entities in science, and even the future. Consider belief about the external world and assume that we know what we do about the external world through or knowledge of subjective and fleeting sensations. It seems obvious that we cannot deduce any truth about the existence of physical objects from truths describing the character of our sensations. But neither can we observe a correlation between sensations and something other than sensations since by hypotheses of our sensations, are nonetheless, that we may be able to posit physical objects as the best explanation for the character and order our sensations. In the same way as, various hypotheses about the past might best explain present memory, theoretical postulates in physics, might best explain phenomena in the macro-world: And it is even possible that our access to the future is through universal laws that are formulated to explain past observations. But what exactly is the form of an inference. But what exactly is the form of an independence to the best explanation.
When one presents such an inference in ordinary discourse it often seems to have the following form:
2. If ‘E’ had been the case Ï is what we would expect
Therefor e th ere is a high probability that
This is the argument form that Charles Sangers Peirce (1839-1914) called hypotheses or ‘abduction’. To consider a very simple example, we might upon coming across some footprints on a sandy beach and, reason to the conclusion that a person walked along the sandy beach, recently by noting that if a person had walked along the beach one would expect to find just such footprints.
But is abduction a legitimate form of reasoning? Obviously, if the conditional in 2 above is read as a material conditional such arguments would be hopelessly bad, since the proposition that ‘E’ materially implies Ï is entailed by Ï, there would always be an infinite number of competing inference to the best explanation and none of them would seem to lend even prima facie support to its conclusion. The conditionals we employ in ordinary discourse, however, are seldom, if ever, material conditionals. Indeed, the vast majority of ‘if. . . ., then . . . Statements do not seem to be truth-functionally complex. Rather, they seem to assert a connection of some sort between the states of affairs preferred to, in the antecedent (after ‘if’) and in the consequent (after the ‘then’). Perhaps, the argument form has more plausibility if the conditional is read in this more natural way. But consider an alternative - footprints explanation.
2. If cows wearing boots had walked along the beach recently one would expect to find such footprints.
Therefore, there is a high probability that ,
This inference has precisely the same form as the earlier to the conclusion that people walked along the beach recently and premisses are just as true, but we would no doubt regard both the conclusion and the inference as simply silly. If we are to distinguish between legitimate and illegitimate reasoning to the best explanation it would seem that we need a more sophisticated model of the argument form. It would seem that in reasoning to the best explanation we need a criteria choosing between alternative explanations, it is important that these criteria not be implicit premises which will convert our argument into an inductive argument. Thus, for example, if the reason we conclude that people rather than cows walked along th e beach is only that we are implicitly relying on the premises that footprints of this sorts are usually produced by people, then it is tempting to suppose that our inferences to the best explanation was really a disguised indicative inference of the form.
2. Here are footprints
Therefore in all probability
If we follow the suggestion, made above, we might construe the form of reasoning to the best explanation. However:
2. Of the set of available and competing explanations (E1, E2 . . .,En) capable of explaining Ï, E1, is the best, according to the correct criteria for choosing among potential explanations.
Therefore in all probability
One cannot help but notice, that there is a crucial ambiguity in the concept of the best explanation. It might be true of an explanation E1, that it has the best chance of being correct without it being probable that E1 is correct. If I have two tickets in the lottery and the hundred of other people each have one ticket, I am the person who has the best chance of winning, but it would be complete ly irrational to conclude on that basis that I am likely to win. It is much more likely that one of the other people will win than I will win. To conclude that a given explanation is actually likely to be correct, that I must hold that it is more likely that it is true than the disjunction of all other possible explanations is correct. And, since, on many models of potential explanations satisfying the formal requirements of adequate explanation is unlimited this will be no small feat.
Explanations are also sometimes take to be more plausible, as the more explanatory ‘power’ they have. This power is usually defined in term of the number of things or more likely, the number of kinds of things the theory can explain. Thus Newtonian mechanics was so attractive, the argument goes partly because of the range of the phenomena the theory could explain.
The familiarity of an explanation in terms of its resemblance to an already accepted kind of explanation, is also sometimes cited as a reason for preferring that explanation to less similar kinds of explanation. So, if one provokes a kind of evolutionary explanation for the disappearance of one organ in a creature, one should look more favourably for the disappearance of another organ.
The aforesaid mention of only being of three examples of criteria one might use in choosing among alterative explanations. But evaluating the claim that inference to the best explanation , is that it is true in that of its legitimate and independent argument of Form. One must explore the question of whether it is a contingent fact that at least in most of phenomena that satisfy a given criterion, simplicity, for example, are more likely to be correct. while it might be nice (for scientist’s and writers of textbooks) if the universe were structured in n such a way that simple, powerful and familiar explanations were usually the correct explanation. It is difficult as to avoid the explanation that if this is true it would be an empirical fact about our universe, discovering that simplicity to the best or possibility of its being the best of explanations, is an independent source of information about the world? Why should we not conclude that it would be more perspicuous to represent the reasoning this way?
2. Here is an observed phenomenon, and E1 is the simplest, most powerful, familiar explanation available
Therefore, in all probability.
But, the aforesaid mention is simply an instance of familiar inductive reasoning having derived of a conclusion by reasoning the answer was obtained by inference, such that determination arrives at by reasoning., and could be wrong if it is an inference based on insufficient or incomplete evidence, as, perhaps, it could have been based on the suspicions would on such simplicity from which is sustained by the questions that one in the group was a stranger in the vicinity. Nonetheless, initially we were confused but soon enough we fully understood. Is that, of an intuitive cognition that I’ve awakened in aflame of the burning sparks of ambers of fire.
The positional connection from which is associated with ‘intuition’ from which a non-inferential knowledge or grasp as of a propositional concept or entity, that is not based to perception, memory, or introspection, also the capacity in virtue of which such cognition is possible. A person might know that 1 + 1 = 2 intuitively, e.g., not on the basis of inferring it from other propositions. And one might know intuitively, of what yellow is, i.e., might understand the concept even though ‘yellow’ is not definable. or one might have an intuitive awareness of God or some other entity. Certain mystics hold that there can be intuitive or immediate apprehension of God. Ethical intuitionist’s holds both that we can have intuitive knowledge of certain moral concepts that are indefinable, and that certain propositions, such as that pleasure is intrinsically good, are knowable through intuition. Self-evident propositions are those that can be seen (non-inferentially) to be true once one fully understands them. It is often held that all and only self-evident propositions are knowable, through intuition, which is indefinable with a certain kind of intellectual or rational insight intuitive knowledge of moral or other philosophical propositions or concepts has been grammatically possessed by competent users of a language, such language by competent users of a language. Such language users can know immediately whether certain sentences are grammatical or not without recourse to any conscious reasoning.
Deduction is commonly distinguished from the term used for any premises of reasoning that takes use from empirical premises in empirical conclusions, yet supported by the premise, that is not deductively entailed by them, deduction arguments are therefore kinds of applicative arguments and therefore entailed by them. Nonetheless, inductive arguments are therefore kinds of an application argument, in which something as beyond the content or the premise is inferred as probable or supporting them. Induction is, however, commonly distinguished from literary arguments to theoretical explanations which share in this applicatory character. Nonetheless, the displacing phraseology brings an outdistanced characterization as described to the kinds of induction.
Once, again, deduction is characterized of a finite sequence of sentences whose last sentence is a conclusion of the sequence (the one said to be the deduced),and which is such that each sentence in the sequence is an ‘axiom’ or a premise or follows from preceding sentences in the sequence by a rule of inference. The very same sequence of sentences might be a deduction relative to one such system but not relative to another.
The concept of deduction is generalization of the concept of proof. A proof is finite sequence of sentences each of which is an axiom or follows from preceding sentences in the sequence by a rule of inference. the last sentence in the sequence is a theorem, given that the system of axioms and rules of inference are effectively specifiable, there is an effective procedure for determining whenever a finite sequence of sentences is given, whether it is a proof relative to that sentence. The notion of theorem is not in general effective (decidable). For there may be no method by which we can always find a proof of a given sentence or determine that none exists.
The concepts of deduction and consequence are distinct, the first is a syntactical and secondly, is semantical. It was a discovery that, relative to the axioms and rules of inference of classical logic, a sentence ‘S’ is deducible from a set of sentences ‘K’ provided an important consequence of this discovery. It is trivial that sentence ‘S’ is deducible from ‘K’ just in case ‘S’ is deducible from some finite subset of ‘K’, just in case ‘S’ is a consequence of some finite subset of ‘K’. This compactness property had to be shown.
A system of natural deduction is axiomless. Proofs of theorems within a system are generally easier with natural deduction. Proofs of theorems about a system such as the results mentioned are generally easier if the system has axioms.
In a secondary sense, ‘deduction’ refers to an inference in which a speaker claims the conclusion follows necessarily from the premises. Its proof is a collection of considerations and reasonings that instill and sustain the conviction that some proposed theorem - the theorem proved - is not only true, but could not possibly be false.
The word ‘belief’ is commonly used to designate both a particular sort of psychological state, a state believing and a particular intentional content or proposition believed. Reasons fo belief exhibit an analogous duality. A proposition, ‘p’, might be said to provide a normative reason to believe a proposition ‘q’, for instance, when ‘p’ bear some appropriate warranting relation to ‘q’. And ‘p’ might afford a perfectly good reason to believe ‘q’, even though no one, as a matter of fact, believes either ‘p’ or ‘q’. In contrast, ‘p’ is a reason that I have for believing ‘q’, if I believe ‘p’ and ‘p’ counts as a reason to believe ‘q’. Undoubtedly I have reason to believe countless propositions that I shall never as it happens, come top believe. Suppose, however, that ‘p’ is a reason for which I believe ‘q’. In that case I must believe that both ‘p’ and ‘q’, as ‘p’ must be a reason to believe ‘q’ - or at any rate, I must regard it as such, for which it may be that I must, in addition, believe ‘q’ at least in part, because I believe ‘p’.
Reasons in these senses are inevitably epistemic, they turn on considerations of evidence, truth-conduciveness, and the like, but not all reasons for belief are of this sort. An explanatory reason, a reason why I believe ‘p’ may simply be an explanation for my having or coming to have this belief. Perhaps I believe ‘p’ because I was brainwashed or struck on the head, or because I have strong non-epistemic motives for this belief. I might of course, hold that belief on basis of unexceptionable epistemic grounds. When this is so, my believing ‘p’ may both warrant and explain my believing ‘p’. Reflections of this sort can lead to questions concerning the overall or ‘all-things-considered’ reasonableness of a given belief. Some philosophers (e.g., Clifford) argue that a belief’s reasonableness depends exclusively on its epistemic standing: My believing ‘p’ is reasonable for me, where belief is concerned with epistemic reasons that is overriding. Others, siding with James, have focussed on the role of belief in our psychological economy, arguing that the reasonableness of my holding a given belief can be affected by a variety of non-epistemic considerations. Suppose I have some evidence that ‘p’ is false, but I stand to benefit in a significant way from coming to believe ‘p’. If that is so, and if the practical advantages of my holding ‘p’ considerably outweigh the practical disadvantages, it might seem obvious that my holding ‘p’ is reasonable for me in some all-embracing sense.
Intuition and deduction, are generally given to a sharp distinguish whereby one has intuition knowledge that ‘p’ when:
2. One’s knowledge that ‘p’ is immediate, and
3. One’s knowledge that ‘p’ is not of any instance of the operation of any of the five senses (so that knowledge of the nature of one’s own experience is not intuitive.)
On this account neither mediated nor sensory knowledge is intuitive knowledge. Some philosophers, however, want to allow sensory knowledge to count as intuitive: To do this, emit clause (3) as mentioned above.
The two principal families of examples of mediated (e.g., not immediate) knowledge that have interested philosophers are, knowledge through representation and knowledge by inference. Knowledge by representation occurs when the thing known is not what one appeals to as a basis for claiming to know it, as when one appeals to sensory phenomena as a basis for knowledge of the world (and the world is known to be a sense-phenomena construct) or as when one appeals to words as a source of knowing the world (as when one claims that a proposition is true of the world solely by virtue of the meaning of the words expressing it).
There are other idioms that are used to mark out the differences between non-intuitional and intuitional ways of knowing, such as knowing indirectly and knowing directly, or knowing in the absence of the thing known, it is sometimes useful to speak of the object of knowledge being intuitively given, meaning that we can know things about it without mediation. The justification of a claim to knowledge by appeal to its object being intuitively given is surely as good for as could be. What could be a better basis for a claim to knowledge than the object of knowledge itself, in as given just as it is?
We might say that deductive inference is a mode of achieving conditional knowledge. One infers a proposition ‘p’ from one or more propositions p1, . . . pn, . . . called the premises of the inference, ‘p’, and ‘p’ being called the conclusion of the inference. Most generally, to validly infer ‘p’ from premises p1, . . . pn, . . . is to think or reason one’s way to ‘p’ from those premises in such a way that one can see that, if the premises are known (and so true) then the conclusion is thereby known.
One of the fundamental problems of philosophy, overlapping epistemology and the philosophy of logic, is that if giving criteria for when a deductive inference is valid, criteria for when an inference does or can continue knowledge or truth. These are in fact, two very different proposals for solutions to this problem, one that has slowly come into fashion during the early part of this century, and another that has been much out of fashion, but is gaining in admirers. The former, which develops out of the tradition of Aristotelians syllogistic, holds that all valid deductive inferences can be analysed and paraphrased as follows:
The validity of the inference made from sentences in that syntax to sentences in that syntax, as this is entirely a function of the signs fo logical operations expressed in the syntax.
In particular, it is principally the meaning of the signs for logical operations that justly taking considered rules of inference as valid. (Koslow, 1991),for example, is such a justification as given by Frége, one of the great developers of this view of the nature of the proper criteria for valid deductive inference. Someone who in fact, in the late nineteenth century, gave us an interpreted logical syntax (and so a formal deductive logic) far, greater and more powerful than had been available through the tradition of Aristotlean syllogistic:
The following is a valid rule of inference, as ‘A’ and A B, for if ‘B’ were false, since ‘A’ is true. A B would be false, but it is supposed to be true (Frége, 1964).
Frége believed that th e principal virtue of such formal-syntactic reconstructions of inferences - as validity moving on the basis of the meanings of the signs for the logical operations alone - was that it eliminated dependence on intuition and let one see exactly on what our inferences depended. e.g.,
. . . Now, when I came to consider the question to which of these two kinds the judgements of arithmetic belong. I first had to ascertain how far one could proceed in arithmetic by means of inferences alone, with the sole support of those laws of thought that transcended all particulars . . . To prevent anything intuitively (Anschauliches) from penetrating unnoticed. I had to bend every effort to keep the chain of inferences free from gaps (Frége, 1975).
In the literature most ready to hand, the alternative view was suppose by Descartes and elaborated by John Locke, who maintained that inferences move best and most soundly when based on intuition.
If we observe the Acts of our own Minds, we shall find, that we reason best and clearest, when we only observe the connexion of the [ideas], without reducing our Thoughts to any Rule of Syllogism (Locke, 1975).
What is it that one is intuiting? Ideas, or meaning, and relationships among them. Ideas or meaning are taken to be directly given: The difference being marked by Locke, is between (a) Inferring Socrates is mortal from the premisses that All men are mortal and Socrates is a man by appealing to the formal-logical rule. All ‘A’ are ‘B’, ‘C’ is an ‘A’, therefore ‘C’ is ‘B’, which is supposed to be done without any appeal to the intuitive meanings of ‘All and is’ and (b) Seeing that Socrates is moral follows from All men are mortal and Socrates is a man, by virtue of understanding (the meaning of) those informal sentences without any appeal to the formal-logical rule. Locke is also making the point that inferences made on the basis of such an understanding of meaning, are better, and more fundamental than inferences made on the basis of an appeal to a formal-logical schema. Locke would certainly maintain that such informal, intuitive inferences made on the basis of understanding the meaning sentences of formal inferences than formal-logical inference serve as a check on intuitive inference.
Such distrust of formal logical inference or greater trust in intuitive inference has been promoted in recent times by Henri Poincaré and Brouwer (Detlefsen, 1991).
We might say that for Frége, too, logical inferences moved by virtue of intuition or meaning, the meaning of the sign for logical inference, for we have seen how Frége appealed in such meanings in order to justify formal-logical rules of inference. Of course, once the formal-logical rules are so justified, Frége is quite content to appeal in them in the construction of deduction, not returning each time to the intuited meaning of the logical signs. What is now in Frége is the conviction that inferences that proceed wholly on the basis of the logical signs for logical operations, are complete with respect to logical implication - that if ‘B’ logically follows from ‘A’, then we should in principle be able to deduce ‘B’ from ‘A’ by rules which mention only logical operations and not, e.g., the concrete meaning of predicated expressions. In the relevant propositions, there is a deep issue which is destined to become the principal issue in the philosophy and epistemology of logical theory. That through what extent in what measure does intuition of the non-logical content of propositions (i.e., contents other than the meaning of the signs for logical operations) rightly sustain inference?
This is the issue that really concerned Brouwer and Poincaré (Detlefsen, 1991). But consider Katz (1988) argued that Descartes’ cogito, is a sound inference made on the basis of intuitions or meaning and is inable of being articulated or paraphrased as formal-syntactic reasoning after the now ubiquitously deployed method of Frége depending - (as described) - on logical operations alone. But one does not really need to reach for of other examples. Virtually, all inferences set out in mathematical or most obvious proceed on the basis of intuitively given meaning content rather than appeal in formal-logical rules, but it is easy to find examples of such proofs that clearly do not depend on the meaning beliefs for logical operations, but rather on the non-logical content of the mathematical proposition.
The following presentation, by mathematical knowledge is first the prototypical paradigm in the presentment of mathematical paradox.
Mathematics is, historically, perhaps the earliest science, as for many thinkers mathematical knowledge, by virtue of its seeming absolute certainty, has served as an ideal or paradigm for all the sciences. For example, the mathematical method was extended by rationalistic scenists like Galileo and Descartes to the realm of what we today call physics. Even if we do not go so far as to regard physics as the ‘mathematics of motion’, mathematical knowledge seems to be indispensable for modern scientific knowledge - the mathematically illiterate cannot read the papers of Dirac, Einstein or Feynman. We can say, therefore, that mathematics is at least continuous with scientific knowledge.
Yet mathematics seems continuous also with metaphysics, mathematics seems not to deal with nature - its subject matter could be variously described as ‘ideal’ or ‘abstract’. Figures the triangle and spheres, and so forth, are ideal - they are perfectly shaped and have no breadth. They seem to be the limit of some infinite process unattainable in the actual world. Numbers, on the other hand, are idealizations of any actual objects. Furthermore, the very certainty of mathematical knowledge seems to set it apart from empirical knowledge. Kant put the matter polemically in his ‘good company’ argument: One cannot reject metaphysics without rejecting mathematics. This argument, of course, was intended as an ‘ad hominem’ argument against the empiricist (like David Hume) who, being pro-science, would never reject mathematics.
Latter-day ‘naturalists’ are also subject to Kant’s ‘good company’ argument. As formulated by Paul Benacrraf, this argument goes for the naturalist, who takes seriously the finding of modern science, knowledge is a causal interaction between Knower and environment. (The causal interaction involved may be seen as an energy transfer between an individual Knower and his environment, or - as in ‘evolutionary epistemology - a process of natural selection that shape and entire species.) But mathematical objects do not participate in casual interactions. Hence mathematical knowledge is impossible, unless we drop naturalism. (It is interesting that something like this argument already occurs in Plato’s -Sophist-, at §248: If knowing is to be acting on something, it follows that what is known must be acted upon by it, and so on, this showing, reality when it is being so acted upon - and that, we say, cannot happen to the changeless.)
We can, therefore, sum up the paradox of mathematical knowledge as follows: Without mathematical knowledge, there is no scientific knowledge - yet the epistemology (‘naturalism’) suggested by scientific knowledge seems to make mathematical knowledge impossible, it is, nonetheless, that we shall continue of the various strategies to deal with the paradox of mathematical knowledge.
There is a non-causal relationship between the soul, or mind, of humanity, and the world of mathematics. The naturalist epistemology is inadequate, (this need not involve rejection of ‘naturalism’, . . . Of course, this idea is the basis of Plato’s entire metaphysics, but mathematicians have felt the same way, G.H. Hardy (1929) and Roger Penrose (1989), for example, speak of a ‘seeing’, that a mathematical proposition is true, proof being necessary only to persuade others. In our century the great logician Gödel (1948) endorsed the view that there is some other connection between ourselves and reality than sense perception, and that this ‘mathematical intuition’ can account for mathematical knowledge. In fact Gödel’s discoveries in logic have been used to support the realist position. Gödel’s theorem has been interpreted as showing that, for any serious system of mathematical axioms, the mathematicians can know a mathematical truth, that does not follow rom those axioms: Realists argue that the only way this could be true is by mathematical intuition. This argument can be resisted, however, since it presupposes what is doubtful, that we know that the axioms of mathematics are jointly consistent (The unprovable truth, call it ‘G’, says, roughly, ‘I am not provable’ but if the axioms are inconsistent, then everything is provable, so ‘G’ is false.) Granted, one could argue that we know that the axioms of mathematics are consistent because we intuit their truth - true axioms are preforce consistent, but the appeal to Gödel’s theorem then becomes superfluous and circular.
Though ‘Platonist’ realism in a sense accounts for mathematical knowledge, it postulates such a gulf between both the ontology and the epistemology of science and that of mathematics that realism is often said to make the applicability of mathematics in natural science into an inexplicable mystery.
Recently, therefore, some writers have attempted a broader realist position based on ‘structuralism’: Mathematics is about structures, not objects. Benacerraf (1965) already suggested such a position in ‘What Numbers Could Not Be’, but such writers as Michael Resnik (1982) and Penelope Maddy (1980) have developed the position, which can be seen as an ‘Aristotelian’ attempt to reconcile the naturalist epistemology with an attenuated mathematical realism. There is a mathematical intuition, but it is not a separate faculty from empirical sense perception. This idea is supported also by the work of the influential American philosopher of mathematics, Charles Parsons (1979-80), and by that of the present author (Steiner, 1975). Its propositions claim to make the applicability of mathematic of the empirical world intelligible.
The Kantian strategies exemplify that mathematical knowledge is a necessary condition of empirical knowledge. Kant himself argued that the laws of mathematics are actually constraints on our perception of space and time. In knowing mathematics, then, we know only the laws of our own perception. Physical space in itself, for all we know, may not obey the laws of Euclidean geometry and arithmetic, but the world as perceived by us must. As mathematics is objective - or ‘intersubjective’ - on the sense that it holds good of all perceptions of the whole human race, past, present and the future. For this reason, also, there is no problem with the applicability of mathematics in empirical science - or so the Kantian’s claim.
Kant’s view of mathematical knowledge is often regarded as having been refute d by the discovery of non-Euclidean geometry, and curved spaces, but these geometries are ‘logically Euclidean’ (i.e., a curved region looks flatter and flatter the smaller it gets), and Kant could have made the more modest claim that any single field of vision is, a priori, a logically Euclidean space.
At any rate, the modern branch of mathematics known as topology, developed by the famous mathematician Henri Poincaré, can be regarded as the part of geometry for which the Kantian thesis remains a viable option.
Poincaré (1907) was a Kantian in arithmetic as well, for him, the law of mathematical induction Was the essence of arithmetical property ‘P’ of zero which is ‘hereditary‘ (i.e., it holds of n + 1 wherever it holds for ‘n’) holds of every natural number. This principle is justified by noting that if ‘P’ holds of zero, then it holds of 1, so by ‘modus ponens’, it actually holds of 1. By continual use of ‘modus ponens’ and hereditariness, we know that we can eventually ‘arrive at’ any number ‘n’ and show that ‘P’ holds of ‘n’. This is the kind of self-knowledge of which Kant spoke, although Poincaré held, inspired by Kant, that it cannot be reduced to ‘logic’: On the contrary, mathematical induction is a principle about what logic can do. Poincaré knew of Frége’s and Russell’s efforts (as part of their ‘logicism’), to convert the principle of mathematical induction to logical definition: (roughly) ‘n’ is a natural number just of it is subject to the law of induction, but he regarded this definition as being circular.
In the 1920`of the present century, two outstanding logicians -Hilbert and Brouwer- argued for competing versions of Kantianism: Formalism`and intuitionism. Both men accepted that the ultimate content of mathematics is intuition, and that classical mathematics goes beyond the merely intuitive) for example, in its acquiescence in infinite totalities), and therefore, does not give to knowledge. But where Brouwer (1913) advocated replacing classical mathematics by a new kind of mathematics (which he and his followers proceeded to develop), Hilbert (1926) took the conservative approach of justifying the so-called, ideal proofs of classical mechanics as instruments of discovery.
John Stuart Mill (1843) is the most outstanding of empiricist to adopt the radical stance that mathematics is a branch, not of logic, but of physics. The relative certainty - logic - and applicability - that attaches to mathematical results from the great range of empirical confirmation that mathematics enjoys. For geometry, of course, the position is widely accepted today, but it is more difficult to see how one could regard arithmetic as empirical, for example, what would be en empirical evidence for. 1234 x 1234 = 1,522,750? Certainly nothing that would justify our actual conviction concerning this product. Recently some authors, most notably Philip Kitcher (1983), have attempted to refurbish this position by arguing that the axiom of arithmetical applicability can be given an empirical interpretation and supposed by evidence.
A logicist strategy argues that mathematics is just a branch of logic, or, more generally, and traditionally more analytic-truth, though this is not an empiricism interpretation of mathematics,. Since it appears to give a non-metaphysical account of mathematical knowledge. Empiricist have assumed that since it is proved that mathematics is logic, the problem of mathematical knowledge no longer arises, since there is no philosophical problem about logical knowledge. Nevertheless, it should be remembered that it was Leibniz who first conjectured, and tried to prove mathematics is logic - but he had a metaphysical picture of logical knowledge, as being true in all possible worlds. Nor was Frége, who invented modern logic, in part, to prove that mathematics is nothing but logic (and thus founded the modern logicist school), an empiricist. Conversely, the common belief that Hume’s view of mathematics as the study of relations among idea’s, prefigure as modern logicism is actually due to Kant‘s influence. For Kant (in the Prolegomena) characterized Hume’s theory as ‘amounting to’ the claim that mathematics is ‘analytic’, a quite doubtful characterization in the light of Hume’s explicit declaration (Treatise I,ii,4) that such propositions, as ‘The shortest distance between two points is a straight line’ are not true by ‘definition’. Perhaps a better translation of Hume’s doctrine into Kantian language would be: Mathematics is synthetic a priori, this does not mean that Kant and Hume had the same philosophy of mathematics, though, because their theories of the a priori, e.g., their theories of necessary truth were quite different.
Nevertheless, knowledge as a set of ideas are the twentieth- century empiricalists, like the later Russell, Carnap, Ayer, and Hempel saw logicism as an appropriate doctrine. They, unlike that of Leibniz, saw logical validity as a matter of linguistic rules, the rules governing words like ‘all’, ‘and’, and ‘not‘: Knowledge of these was considered to be free of metaphysics. However, the complete answer would involve a solution to the problem of induction, as to explain how any part or present experience makes warranted for being of reason. It was the ‘positivism’ who’s adherence to the doctrine that science is the only form of knowledge and that there is nothing in the universe beyond what can in principle be scientifically known. It was logical, in its independence on developments in ‘logic’ and mathematics in the early year’s, if this century which were taken to reveal how a priori knowledge of necessary truths, is compatible with a thorough-going empiricism. It had to be cognitively meaningful of and only if it can be verified or falsified. A sentence is said to be cognitively meaningful if and only if it can be verified of falsified in experiences, however, this is not meant to require that the sentence be conclusively verifiable or that the sentence is false. Since universal scientific laws or hypotheses (which are suppose to pass the test) are not logically deducibly from any amount of actually observed evidence .
Since science is regarded as the repository of all genuine knowledge, this become the task of exhibiting the structure of, as it has been so-called, the ‘logic’ of science the theory of knowledge, thus becomes the philosophy of science.. It has three major tasks: (1) To analyse the meaning of the statements of science exclusively in terms of thus, and becomes the philosophy of science terms that it has meaning of the statant of science, exclusively in and of observations for experience, in principle analysably to human beings: (2) To concerning observations or experience serve certain observant ions or experiences serve to confirm a given statement in the sense of making it more warranted or reasonable. To show how non-empiricism or a priori knowledge, if the necessary truths of logic and mathematics is possible, even of fact which can be intelligibly thoroughgoing hypothesis, seem known as in empirically verifiable or falsified.
A neglected virtue of ‘logicism’, is that it solves - or dissolves some of the problems of mathematical applicability, logicism shows that all mathematical science can be represented in set theory, thus the only relation between physical objects and mathematical objects we only need recognize is that physical objects can be members of sets (sets being mathematical objects). Presumably, if we believe in sets at all, we have no further problem of seeing how physical objects can be members of sets, son some (but not all) (Steiner, 1989) of the problems concerning mathematical applicability disappear. This virtue of logicism does not depend on or upon our recognizing set theory as ‘logic’.
In pragmatist theories of mathematical knowledge, the indispensability of mathematics in all other knowledge, especially in physical sciences, is converted into justification of mathematical ‘commitments’. The only justification of mathematical assertions is that we cannot help ourselves, if we want to achieve the goals of science and everyday life. While this might be regarded as weak confirmation indeed (and certain no explanation of the ‘obviousness’ of mathematics, as Parsons has pointed out), pragmatists argue that mathematics is in the same boat as every scientific theory. in this sense, their argument is similar to the ‘good company’ argument of Kant.
Quine (e.g., 1960, 1970)who has made this pragmatist-Kantian argument famous (though Quine’s predecessor at Harvard, C.I. Lewis already preached a syntheses of Kantianism and pragmatism in ‘Mind and the World Order), adds a Deweyite ‘Naturalistic’ element: Ultimately what justifies mathematics and every justified theory in its usefulness in predicting ‘surface irritations’. What is striking about Quine’s philosophy of mathematics, however, is that it is explicitly Platonist in its ontology (though not, of course, in its epistemology). Quine agrees with Frége that modern mathematics is heavily ‘committed’ to abstract objects - and disagrees with Wittgenstein and the British ‘ordinary language’ school, who regarded the ‘commitment’ as a manner of speaking , similar , if you will, to the commitment of a politician which nobody takes seriously.
For Quine, again, commitment to abstract objects is justified on pragmatic grounds: We have no choice if we want to do science, however, by combining Platonism, pragmatism and naturalism. Quine seems to make it impossible to give a theory of mathematical discovery. His reasoning can give, at best, a post facto pragmatist justification for mathematics once it has been discovered. For Quine has no place, in his philosophy, for ‘mathematical intuition’ either in the Kantian sense of th e Platonic sense. Thus, Quine’s picture of mathematical discovery is that of a senseless procedure that accidentally get s post facto justification.
Finding to the applicable approach that ‘solves’ the paradox, is by denying the very existence of mathematical knowledge. According to these approaches, mathematical theorems do not express ‘truths’, hence there is nothing to ‘know;. Mathematics can play its role in science and daily life without being ‘true’.
According to ‘instrumentalism’, mathematics is a tool for making inferences in other fields, but is not itself a science. Perhaps, the simplest and most radical form of this view is ‘fictionalism’. The fictionalist argues that, in principal, one could do without mathematics - even in science but mathematics allows the scientist the use of compact, elegant proofs, of what otherwise would be cumbersome deduction. A recent science of this position is by Hartry Field (1980). Field argues that one can rewrite physical theories, without any reference to ‘mathematical objects’, and then prove that adding mathematical axioms does not increase the deductive power of the rewritten theory. He actually shows how one might get rid of mathematical objects in a particular theory, namely classical gravitation, and how , by what amounts to a consistency proof, one shows that adding mathematics produces a ‘conservative extension’ of this ‘nominalistic’ theory of gravitation. Field claims explicitly, as a virtue of his fictionalism, that it eliminates the puzzles concerning mathematical applicability, since we have no longer to worry about the alleged gulf between the subject matter of mathematics and that of the natural sciences.
However, Field’s thesis is controversial, instead of ‘mathematical objects, Field’s version of gravitation takes points in ‘space-time as real enmities, and some argue that this is out of the frying pan and into the fire. Others protest that there are physical theories that are not space-time theories at all, like quantum mechanics. Some argue that the consistency proof will raise the ghosts of ‘meta-language’. And there are technical objections based on the use by Field’s ‘higher-order’ logic in his version of gravity.
Conventionalism is the view that mathematical theorems are ‘true by convention’, generally speaking, (but not always) it is supposed that the language has a logical or logic-like syntax and that the rules for logical or logic-like operations (e.g., those generalizing formal-logical `deductions of such rules for as language, meaning for words are instituted by convention, by specifying a subset `X`of the sentence or formulas in the language. Relative to the given rules the meaning of the signs in the sentence or formulas in the set `X` and the rules such that complex expressions either re=porting instituting equivalence among verbal nor symbolic expressions, in form, defer-verbal or symbolic definitions that report and explain how expressions that have been used. Formal axiomatic systems in which the meaning of each expression is gathered from its formal-logical relations with the other expressions provoked instituting, implicit definition.
Relative to the given rules, the meaning of the signs in the sentences or formulas in the set ‘X’ and implicitly defined to be a necessary truth are ones necessary truths are ones which must be true, or whose opposite is impossible. Contingent truths are those that are not necessary and whose opposite is therefore possible. Similar problems face the suggestion that necessary truths are the ones we know with certainty. We lack a criterion for which certainty, there are necessary truths we don’t know, and (barring dubious arguments for scepticism) it is reasonable to suppose that we know some contingent truths with certainty. However, axiomatic systems in which the meaning of each expression is accumulatively placed as its formal-logical relationships with the other expressions, provide institutionally implicit definitions.
By definition, through ‘X’ are implicitly defined and though the rules. Such signs as that: Language consists of signs as a binary relation signs to ÷, y, 0, 1, 2 = as a binary relation, + as binary operation design. The rules will all be of the form: _+_=-,or _+_=_+_, or _=_+_ where we distinguish ÷, y, 1, 2, in all possible ways over th e _’s. The rules are:
2. If W = Z occurs, you may substituted by Z for W whenever W occurs in the position _= or =_.
Here are the formulas ÷ that, together with the rules, implicitly define the signs ÷, y, 0, 1, 2, +, =; ÷ + 0 = ÷ + y = y + ÷. So what, for example, does 0 mean? It means, among other things, that ÷ + 0 = ÷, 0 + 0 + 0. 1 + 0 =1, 2 + 0 = 2, 0 + ÷ = ÷, 0 + 1 =1. This makes the theory rather more tractable since , in a sense, all the truths are contained in those few. In a theory so organized, the few truths from which all others are deductively inferred are called axioms. So axiomatic theories, like algebraic and differential equations which are means of representing physical processes and mathematical structures, could be made objects of mathematical investigation.
It is, nonetheless, for which Poincaré argued, for example, that the difference between Euclidean and non-Euclidean geometry is not a factual, but only a conventional difference. That is, we can adopt either Euclidean or non-Euclidean geometry according to convenience, since geometry according to convenience since geometry is the study of measurements, and measuring instruments are subject to the forces of nature. For example, we can explain the failure of signs of triangles to sum to 180 degrees either by postulating ‘deforming’ forces, or by another way of saying that there is no such thing as ‘knowledge’ in geometry, unless ‘knowledge’ that such-and-such are the consequences of our convention is meant. Poincaré does not extend in general, his general point of view in topology (and arithmetic, as we have seen is not conventionalism, but Kantian.
Thus, for example, Poincaré position implies that whether a surface is flat or parabolic is a matter of convention, but that the surface is of two dimensions is no conventional at all, no conceivable force could alter our ‘rulers’ in such a way to cause a two-dimensional. Though this position is Kantian, in that Poincaré gives a biological explanation for our perception of dimension, particularly why we perceive the world in three dimensions and not more.
The late Wittgenstein (1956-1976) is often regarded as a conventionalist, though a much more thoroughgoing one than Poincaré, since Wittgenstein makes no distinction between geometry and other branches of mathematics, including arithmetic. And it is true that Wittgenstein often refers to mathematical theorems as conventions.
1.Wittgenstein does not say that mathematical theories follow from’ convention. On the contrary, for Wittgenstein, each step in a mathematical proof is a new convention, not just the axioms (as for Poincaré). Convention, for Wittgenstein, do not ‘bind’ anybody.
2.This apparent anarchical element in Wittgenstein’s position, however, can mislead. When Wittgenstein speaks of a theorem as a convention, he does not mean that there is a genuine option to ignore the proof and accept the negation of the theorem. All mathematical conventions, for Wittgenstein, presuppose empirical regularities which, in his words, are then ‘hardened’ into rules. That is, what happens most of the time is regarded as the norm, and deviations are to be explained as mistakes, perturbations, and so forth. Empirical regularities connected with measuring are ‘hardened’ into theorems of geometry, while regularities in counting are hardened into theorems of arithmetic and number theory.
3.Wittgenstein does side with the conventionalist in one sense, however, in that he regards it as very misleading to speak of mathematical knowledge. To say that someone knows the Pythagoreans Theorem is, for Wittgenstein, like saying that someone knows that 12 inches is equal to 1 foot. But there is a tendency for us to regard mathematical knowledge, rather, as like empirical knowledge, a tendency which leads either to empiricist or Platonist theories of mathematics, both of which Wittgenstein rejected.
But still, for our considerations, that call for or justify action may be subjective or objective. A subjective reason is a consideration an agent understands to support a course of action whether or not it actually dies, an objective reason is one that does support a course of action, regardless of whether the agent realizes it. What are cited as reason may be matters either of fact or of value, but when facts area cared values are also relevant. Thus the fact that cigarette smoke contains nicotine is a reason for not smoking only because nicotine has undesirable effects. The most important evaluative reasons are normative reasons -,i.e., for considerations having ethical force becomes obligatory reasons when in conjunction with normative considerations they give rise to an obligation. Thus in view of the obligation to help the needy the fact that others are hungry is an obligating reason to see they are fed.
Reasons action enters practical thinking as the contents of belief, desires and other mental states. But not all the reasons that one has need motivate the corresponding behaviour. Thus I recognize an obligation to pay taxes, yet do so only for fear of punishment, if so, then only my fear of punishment, and, if so, then only my fear is an explaining reason for my action. An overriding reason is one that takes precedence over all others. It is often claimed that moral reasons override all others objectively, and may speak of an all-things-considered reason - one that after due consideration is taken as finally determinative of what shall be done.
Of the standard theoretical account of ‘realism’, takes beliefs to be genuine states causally implicated in behaviour. Others deflate the standard version, imagining that beliefs (and other propositional attitudes) possess only an attenuated kind of reality. Quine (1960 §45), for instance, links the ascription of attitudes to the translation of utterances. Just as, for Quine, there is no translation-independent fact if the manner as to what a given sentence means, there is no non-contextual fact of the matter as to what a given agent believes. Beliefs, like meaning is indeterminate, Donald Davidson (1984) echoes the sentiment. We can concoct distinct but equally apt. schemes of belief ascriptions for any agent. These schemes will depend partly on us, the ascribers, since they hinge on correlations between an agent’s utte198rance and sentences in our language, it makes no sense, then to talk of beliefs or meaning independently of a particular linguistic context.
A different anti-realism tack is taken by Daniel Dennett (1987) who defends an ‘instrumentalist’ conception of belief. We have a practical interest in regarding certain ‘systems’ - people, animals, machines, even committee - as rational as registering on the whole, what is true and as reasoning in accord with appropriate norms. In so doing, we take up the ‘intentional stance’. We are, as a result, in a position to make sense of and within limits, to predict the behaviour of the system in question. The practical success on this enterprise, however, does not depend on its yielding true descriptions of states and going-on-inside agent.
It is but a brief step from anti-realism to out-and-out scepticism about belief. Stephen Stich (1083), Patrican Churchland (1981) have argued that the concept of belief belongs to an out-moulded ‘folk psychology’. Folk psychology provides a theory of intelligent behaviour. Beliefs are among the theoretical entities postulated by the theory. Were we to abandon this theory, we would thereby ‘culminate’ its postulated entities. Beliefs would go the way of caloric phlogiston and the ether, theoretical terms dropped from our inventory of constituents of the world when theories to which they figured were replaced by better theories. Eliminativism is contend that recent advances in psychology and neuroscience suggest that folk psychology is, even now, being eclipsed by better theories, and that, in consequence it is reasonable to deny the existence of belief.
Critics respond that this claim is self-defeating, if eliminativism were right, then, by their own light, it would be impossible to believe what theory say through, of corse, it would be equally impossible to believe it false. The criticism misses the target. A proposition may be true but pragmatically unstable. I cannot coherently claim always to lie, yet, for all that, I may always lie. As things stand, eliminativist’s are obliged to articulate their position using concepts that have their home in the folk theory, they attack. Presumably a concepts that would enable the point to be made without involving reference to belief.
Eliminativism has not been widely embraced. It is not clear that the theoretical advances touted by eliminativist’s would eradicate belief. Psychology might replace the concept of belief with something finer grained, belief could turn to designate a range of states, Were that to happen, however, we might regard it as a discovery about the deeper character if belief, not its elimination. And were neuroscience to abandon reference to beliefs, we should have no more reason to doubt their existence, than we have reason to doubt the reality of trees, rocks, and solid surfaces because such things are ignored by basic physics.
That being said, coherence in epistemology lends of a structure of knowledge or justified beliefs representing knowledge are known or justified in virtue of their relations to other beliefs specifically in virtue of belonging to a coherent system of beliefs. Assuming that the orthodox account of knowledge is correct, at least in maintaining that justified true belief is necessary for knowledge. We can identify two kinds of coherence theories of knowledge: Those that are coherentists’ merely in virtue of incorporating a coherence theory of justification and those that are doubly coherentist because they account for both justification and truth in terms of coherence. What follows will focus on coherence theories of justification.
Historically, coherentism is the most significant alternative to foundationalism. The latter holds that some beliefs, basic of foundational beliefs, are justified apart from their relations to other beliefs, while in other beliefs derive their justification from that of foundational belief. Foundationalism portrays justification as having a structure like that of a building, with certain beliefs serving as the foundation and all other beliefs supported by them. Coherentism rejects this image and pictures justification as having the structure of a raft - justified belief is like the planks that make up a raft, mutually support one another. This picture of the coherence theory is due to the positivist, Otto Neurath. Among the postivist, Hempel shares Neurath’s sympathy for coherentism. Other defender’s of coherentism from the late nineteenth and early twentieth centuries were idealist’s, e.g., Bradley, Bosan-quet and Brand Blanshard (idealists often held the sort of double coherence theory mentioned earlier.
The contrast between foundationalism and coherentism is commonly developed in terms of regress argument. If we are asked what justifies one of our beliefs, we characteristically answer by citing other beliefs that supports it, e.g., logically or probabilistically if we are asked about this second belief, we are likely to cite a third, fourth or even a fifth, belief and so forth. There are three shapes such an evidential chain might have, it could go on forever, it could eventually end in some belief, or it could loop back upon itself, i.e., eventually higher up, on the chain. Assuming that infinite chains are not really possible,. We are left with a choice between chains that end and circular chains. According to foundationalists, chains must eventually end with a foundational belief is justified, in the beginning of the chain is to be justified, coherentists are then portrayed as holding than circular chains can yield justified belief.
This portrayal is, in a way, correct, but it is also misleading since it suggests that the disagreement between coherentism and foundationalism is best understood as concerning only the structure of evidential chains. Talk of evidential chains in which beliefs that are further down on the chain are responsible for beliefs that are higher up naturally suggests that the idea that just as real chains naturally suggest the idea that just as real naturally suggests the idea that just as real chains are responsible for beliefs that are further down on the chain are responsible for beliefs that are higher up naturally suggests the idea that just as real chains transfer forces, evidentialism sounds like real possibilities. Foundational beliefs already have justification, and evidential chain serves to pass the justification, and evidential chains serve to pass the justification along to other beliefs. But coherentism seems to be a nonstarter for no belief in the chain is justified to begin with, there is nothing to pass along. Altering the metaphor, we might say that coherrentism seems about as likely to succeed as a bucket brigade that does not end at a well, about belief that are justified for not in simply sound moves around in a circle.
The coherence seeks to dispel this appearance by pointing out that the primary function of evidential chains is not to transfer epistemic status, such as justification, from belief to belief. Indeed, beliefs are not the primary locus of justification. Rather, it is the whole systems of belief of justification or not in the primary sense: Individual beliefs are justified in virtue of their in an appropriately, structured system of beliefs. Accordingly, what the coherentist claims is that the appropriate sorts of evidential chains which will be circular - indeed, will likely contain numerous circles - constitute justified systems of belief. The individual belief within a system are themselves justified in virtue of their place in the entire system and not because this status is passed on to them from beliefs further down some evidential chain from beliefs further down some evidential chain in which they figure. One can, therefore, view coherentism with considerable accuracy as a version of foundationalism that holds all beliefs to b e fundamental. From this perspective the difference between coherentism and traditional foundationalism has to do with what accounts for the epistemic status of foundational beliefs, with traditional foundationalism holding that such beliefs can be justified in various ways, e.g., by perception or reason, while coherentism insists that the only way such beliefs can be justified is by being the only way such beliefs can be justified by being a member of an appropriately structured system of beliefs.
One outstanding problem the coherentist faces is to specify exactly what constitutes a coherent system of beliefs. Coherence clearly must involve much more than mere absence of mutually contradictory beliefs. One way in which beliefs can be logically consistent is by concerning completely unrelated matters, but such a consistent system of beliefs would not embody the sort of mutual support that constitutes the core idea of coherentism. Moreover, one might question whether logic consistency is even necessary for coherence, e.g., on the basis of the preface paradox. Similar points can be made regarding efforts to begin an account of coherence with the idea that beliefs and degrees of belief must correspond to the probability calculus. So although it is difficult to avoid thinking that such formal features as logical and probabilistic consistency are significantly involved in coherence, it is not clear exactly how they are involved. An account of coherence can be drawn more directly from the following intuitive idea: A coherent system of belief is one in which each belief is epistemically supported by the others, where various types of epistemic support are recognized, e.g., deductive or inductive arguments, or inference to the best explanation. There are, however, at least two problems this suggestion does not address. First, since very small sets of beliefs can be mutually supporting the coherentist needs to say something about the scope a system of beliefs must have to exhibit the sort of coherence required for justification. Second, given the possibility of small sets of mutually supportive beliefs, it is apparently possible to build a system of very broad scope out of small sets of mutually supportive beliefs by mere conjunction, i.e., without forgoing any significant support relations among them. Yet, since he interrelatedness of all truths does not seem discoverable by analysing the concept of justification, the coherentist cannot rule out epistemically isolated subsystems of belief entirely. So the coherentist must say what sorts of isolated subsystems of belief are compatible with coherence.
The difficulties involved in specifying a more precise concept of coherence should not be pressed too vigoursly against the coherentist. For one thing, foundationalists have been forced to grant coherence a significant role within their accounts of justification, so no dialectical advantage can be gained by pressing them. Moreover, only a little reflection is needed to see that nearly all the difficulties involved in specifying coherence are manifestations within a specific context of quite general philosophical problems concerning such matters as induction, explanation, theory choice, problems that are faced by logicians, philosophers of science, and epistemologists quite generally, regardless of whether they are set coordinates on coherrentism.
Coherentism faces a number of serious objections, since according to coherrentism justification is determined solely by the relations among beliefs, it does not seem to be capable of taking us outside the circle of our beliefs, this fact, gives rise to complacents with external reality, e.g., through perceptions and that it can neither guarantee nor given to claim that it is likely that coherent systems of belief will make contact with such reality or contain true beliefs. And with coherent systems of belief will make contact with such reality or contain true beliefs. And while it is widely granted that justified false beliefs are possible, it is just as widely accepted that there is an important connection between justification and truth, which justification that rules out accounts according to which justification is not truth-conducive. These abstraction formulated in complacents can be more vivid in the case of the former, by imagining a person with a coherent system of beliefs that becomes frozen, and fails to change in the face of ongoing sensory experience: And in the case of the latter, by pointing out that barring and unexpected account of coherence, it seems that a wide variety of coherent systems of belief are possible systems that are largely disjoint or even incompatible.
The most prominent recent externalist views have been versions of ‘reliabilism’, whose main requirement for justification is roughly that the belief be produced in a way other or through a process that makes it objectively likely that the belief is true (Goldman, 1986). What makes such a view externalist is the absence of any requirement that the person for whom the belief is justified having any sort of cognitive access to the relation of reliability in question. Lacking such access, such a person will in general, have no reason for thinking that the belief is true or likely to be true, but will, on such an account, is, nonetheless, be epistemically justified in accepting it. Thus such a view arguably marks a major break from the modern epistemological tradition, stemming from Descartes, which identifies epistemic justification with having a reason, perhaps even a conclusive reason for thinking that the belief is true. And epistemologists working within tradition is likely to feel that the externalist, rather than concept of epistemic justification With which the traditional epistemologist is concerned, has simply changed the subject.
With that, if an account implies that the standards of rational belief are those that would be endorsed or presupposed by the individual, then the account, yet, again, can be plausibly regarded as a subjective one, provided that there is nothing else in the account to guarantee that adhering to these standards is a reliable way to acquire true beliefs. And if an account of epistemic rationality implies that by being rational, individuals are assured of being reliable (or least more reliable than they would if they were irrational), then the account is not a subjective one.
Thus, reliabilist accounts of rational belief are paradigmatically objective. Classical foundationalist accounts are also objective. What about coherentist account? It can be tempting to think they are best classified as subjective, since what it is rational for us to believe, according to coherentists, is in large part a function of what we happen to believe. But any account of rational belief will allow for subjective inputs of experience or beliefs or whatever. The crucial question is whether the standards that relate these inputs to rational belief are objective or subjective, and in the case of coherentism the standards are typically explicated in a thoroughly objective manner. Coherentist ordinarily insist that if my beliefs are to be coherent and hence rational, they must at a minimum be consistent. It does not matter whether I think that inconsistency is always and everywhere to be avoided, and it does not matter whether I avoided, and it does not matter whether I would think this were it reflective. Likewise, it does not matter whether the individual or group or the human community at large think this or whether their intellectual practice presuppose this. According to coherentists, inconsistency implies incoherence, and it is always irrational for us to be incoherent, regardless of or our own subjective standards.
The view that knowledge and epistemic (knowledge-relevant) justification have a two-tier structure: Some instances of knowledge and justification are non-inferential. Or foundational, and all other instances thereof, are inferential, or non-foundational, in that they derive ultimately from foundational knowledge or justification. This structural view originates in Aristotle’s ‘Posterior Analysis’ (at least regarding knowledge), receive’s an extreme formulation in Descartes’s ‘Mediation’, and flourishes with varying details, in the works of such twentieth-century philosophers as Russell, C.L. Lewis, and Chisholm’s nature of non-inferential, or foundational knowledge and justification, and (b) the specific explanation of how foundational knowledge and justification can be transmitted to non-foundational beliefs. Foundationalism allows for differences on these projects, since it is essentially a view about the structure of knowledge and epistemic justification.
The questions whether knowledge has foundations is essentially the question whether the sort of justification pertinent to knowledge has a two-tier structure. Some philosophers have construed the former question as asking whether knowledge depends on beliefs that are certain in some sense (e.g., indubitable or infallible). This construal bears, however, on only one species of foundationalism, radical foundationalism. Such foundationalism, represented primarily by Descartes, requires that foundational beliefs be certain and able to guarantee the certainty of the non-foundational beliefs they support. Radical foundationalism is currently unpopular for two main reasons. First, very few, if at any, of our perceptual beliefs are certain (i.e., indubitable) and second. Those of our belief that might be candidates for certainty (e.g., the belief that I am thinking lack sufficient substance to guarantee the certainty of our rich, highly inferential knowledge of the external world (e.g., our knowledge of physics, chemistry and biology.)
Contemporary foundationalism typically endorse modest foundationalism, the view that non-inferentially justified, foundational beliefs need not possess or provide certainty and need not deductively support justified non-foundational beliefs. Foundational beliefs (or statements) are often called ‘basic beliefs, or statements, but the precise understanding of ‘basic’ is controversial among foundationalist. As foundationalists agree, however, in that general understanding of non-inferentially justified foundational beliefs as beliefs whose justification does not derive from other beliefs, although they leave open whether the causal basis of foundational beliefs includes other beliefs. (Epistemic justification comes in degrees, but for simplification we can restrict issues to justification sufficient for satisfaction of the justification condition to what it takes or a belief to have of what it takes to show that a belief has by justification, omitting issues of what it takes to show that a belief has it.)
Three prominent account s of non-inferential justification are available to modest to fundamentalist: (1) Self-justification, (2) Justification by non-belief, non-propositional experiences, and (3) Justification by a non-justification (including at one time, John Curt Ducasse (1881-1969) and Milton Roderick Chisholm (1916-99) contend that foundational beliefs can justify themselves, with no evidential support elsewhere. Proponents of foundational justification by non-belief experiences cast out literal self-justification they hold, following C.I. Lewis (1883-1964) that foundational perceptual beliefs can be justified by non-belief sensory or perceptual experiences (e.g., seeming to see a dictionary) that make true are best explained by or otherwise support these beliefs (e.g., that belief that there is, or at least appears to be, a dictionary here) proponents of foundational justification by reliable origins find the basis of non-inferential justification in belief-forming process, make true or true are best explained by a foundational belief.
Despite disagreements over the basis of foundational justification, modest founationalists typically agree that foundational justification is characterized, or defeasibility, i.e., can be defeated undermined or overridden by a certain sort of expansion of one’s evidence or justified beliefs. For instance, your belief that there is a blue dictionary before you - could lose its justification (e.g., the justification from your current perceptual experience) that you make true, are best explained by or otherwise support, this beliefs (e.g., the belief that there is, or at acquiring new evidence that there is a blue light shining on the dictionary before you. Foundational justification, therefore, can vary over time if accompanied by relevant changes in one’s perceptual evidence, it does not follow, however, that foundational justification positively depends, i.e., based on grounds for denying that there are defeaters. The relevant dependence can be regarded as negative, in that there need only be an absence of genuine defeaters. Critics of foundationalism sometimes neglect that latter distinctions regarding an epistemic dependence.
The second big task for foundationalists is to explain how justification transmits from foundational belief to inferentially justified, non-foundational beliefs. Radically that makes true, are best explained by or otherwise support, this belief for (e.g., the belief that there is, or as foundationalists such transmission, on entailment relations that guarantee the truth or the certainty of non-foundational beliefs, modest foundationalists are more flexible, allowing for merely probabilistic inference connections that transmit justification. For instance, a modest foundationalist can appeal to explanation inferential connections, as when a foundational belief (e.g., I seem to feel wet) is best explained for a person by a particular physical-object belief (e.g., the belief by a particular physical-object (e.g., the belief that the air conditioner over-head is leaking on me). Various other forms of probabilistic inference are available to modest foundationalists, and nothing in principle requires that they restrict foundational beliefs to what one ‘seems’ to sense or to perceive.
The traditional motivation for foundationalism comes largely from an eliminative regress argument, outlined in Aristotle’s, Posterior Analysis. The argument, in shortest form, is that foundationalism is a correct account of the structure of justification, since the alternative accounts all fail. Inferential justification is justification wherein one belief that, B1, is justified on the basis of another belief, B2. How, if at all, is B2, the supporting belief, itself justified? Obviously Aristotle suggests, we cannot have a circle at this point, where B2 is justified by B1. Nor can we show the chain of support to extend endlessly with no ultimate basis for justification. We cannot, moreover, allow B2 to remain unjustified, lest it takes what it takes to support B1. If this is right, the structure of justification does not involve circles, endless regress, or unjustified starters-beliefs. That is, this structure is evidently foundationalists. This is, in skeletal form, the regress argument for foundationalism appropriate interests, and due attention to scepticism about justification, this argument poses a serious challenge to non-foundationalists account of the structure of epistemic justification, such as epistemic coherrentism. More significantly, foundationalism will then show forth as one of the most compelling accounts of the structures of knowledge and justification. This explains, at least in part, why foundationalism has been very preeminent historically and is still widely held in contemporary epistemology.
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 depending on what caused the subject to have the belief. In recent decades a number of epistemologists pursed this plausible idea with varying degrees of measure in so, that some proposals are gainfully to employed a causal criteria fo knowledge and then at one for justifications.
Some causal theories of knowledge have it that it has the right sort of 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 mathematics and other necessary facts and perhaps any fact expressed by a universal generalization: And proponent s of this sort of criterion have usually supposed that it is limited to perceptual knowledge of particular facts about the subject’s environment that make true, are best explained by or otherwise that it is limited to perceptual knowledge of particular facts about the subject’s surroundings.
For example, Armstrong (1973) proposed that a belief of the form ‘This (perceived) object is ‘F’, is (non-inferential) knowledge if and only if the belief is a completely reliable sign that the perceived object is ‘F’: That is, the fact that the object is ‘F’ contributed to causing the belief and its doing so depended on properties of the believer such that the laws of nature dictate that, for any subject ‘÷’ and perceived object ‘y’ if ‘÷’ has those properties and believes that ‘y’ is ‘F’, then ‘y’ is ‘F’. Dretske (1981) offers a rather similar account in terms of the belief‘s being caused by a signal received by the perceiver that carries the information that the object is ‘F’.
This sort of condition fails, however, to be sufficient for non-inferential perceptual knowledge because it is compatible with the belief’s being unjustified, and an unjustified belief cannot be knowledge. For example, suppose that your mechanisms for colour perception are working well, but you have been given good reason to think otherwise, to think, say, that things look tinted to you and look coloured to things coloured. If you fail to heed these reasons you have for thinking that your colour perception is awry and believe of a thing that looks coloured and tinted to you that it is to your belief, and fail to be justified and will therefore fail to be knowledge, even though it is caused by thing’s being tinted and coloured, such as to be a completely reliable sign (or to carry the information) that the thing is both tinted and coloured at the same time.
One can hold, or keep at a distance as to cause to or miss an objective by or as if by turning aside this sort of counterexample by simply adding to the causal condition the requirement that the belief be justified. But this enriched condition would still be insufficient. Suppose, for example, that in an experiment you are given a drug that in nearly all people, but not in you, as it happens, causes the aforesaid aberration in colour perception. The experimenter tells you that you’ve taken such a drug you but says, ‘No, wait a minute, the drug you took was just a placebo. But suppose further that this last thing the experimenter tells you is false. Her telling you this gives you justification for believing of a thing that looks tinted and is coloured to you that it is the case in being tinted and coloured at the same within the same temporal space and time (the context of position or placement in the here and now) in that, in fact, this justification that is unknown to you (that the experimenter’s statement was false) makes it the case that your true belief is not knowledge can though it satisfies Armstrong’s causal condition.
Goldman requires the global reliability of the belief-producing process for the justification of a belief: He requires also for knowledge because justification is required for knowledge. His idea is that a justified true belief is knowledge if the type of process that produced it would not have produced it within such but a relevant counterfactual situation in which it is false.
The theory of relevant alternatives can be viewed as the attempt to accommodate two opposing strands in our thinking about knowledge. On one interpretation, this means that the justifications or evidence one must have in order to know a proposition ‘p’ must be sufficient to delaminate 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 for one to know that every alternative to ‘p’ is false. This element of our thinking about knowledge is exploited by sceptical arguments. These arguments call our attention to alternatives that our evidence can not 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, yet having the resemblance to zebra-like appearance, the sceptic inquires how we that we are not seeing a cleverly 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 we cannot eliminate, as well as others with more general applications981 (dreams, hallucinations, and so forth) the sceptic appears to show that this requirement that our evidences eliminate every alternative from, if ever satisfied. Nonetheless, there are forms of all possible perceptions, and there are categories through which we make judgements about all possible experiences. Whether these correspond to a world beyond experience, we can not know, but we can analyse what we can be sure of about possible experience. Hence, we can have some kind of knowledge, but not knowledge of things-in-themselves.
The alterative account of knowledge can be motivated by noting that other concepts exhibit the same logical structure. Two examples of this are the concept ‘flat’ and the concept ‘empty’ (Dretske, 1981). Both appear only if it does not contain anything and a surface is flat only if it does not have any bumps. However, the absolute character of these concepts is relative to a standard. Un the case of flat, there is a standard for what counts as a bump and in the case of empty, there is a standard for what counts as a thing. We would not deny that a table is flat because a microscope reveals irregularities in its surface structure. We would not deny that irregularity of its surface, nor would we deny that a warehouse is empty because it contains particles of dust. To be flat is to be free of any relevant bumps. To be empty is to be devoid of all relevant alternatives theory, that says that to know of a proposition is to have evidence that eliminate all relevant alternatives.
At this point, Descartes appeared to have created a greater scepticism than that of Montaigne: With rising doubt about the prevailing intellectual tradition, his efforts set forth a general scepticism, not just against scholasticism or Renaissance naturalism, but against the possibility of there being any system of ideas that could not be cast in doubt.
Aristotle`s Posterior Analytic, aiming to show that knowledge and epistemic justification have described by epistemic foundationalism, lending itself to such as justification. As a causal theory of justification is intended of a belief and is justified just in case it was produced by a type of process to produce true beliefs - which can be defined (to a good enough approximation) as the proposition of the beliefs it produces (or, would produce were it used as much as opportunity allows) that are true - is sufficiently great.
As, once, again, some philosophers (Dretske, 1970) have argued that the relevant alternative theory of knowledge entails the falsity of the principle that the set of known (by ‘S’) propositions is closed under known (by ‘S’) entailment although others have disputed this (Stine, 1976 and Colen, 1988). This affirms the following conditional - (the closure principle)
If S Knows p and S knows that p entails q
then S knows q.
According to the theory of relevant alternatives, we can know a proposition ‘p’, without knowing that some (non-relevant) alternative to ‘p’ is false. But since an alternative ‘h’ to ‘p’ is incompatible with ‘p’, then ‘p’ will trivially entail ‘not-h’ so it will be possible to know some proposition without knowing in another proposition trivially entailed by it.
For example, we can know that we see a zebra without knowing that it is not the case that we see a cleverly disguised mule (on the assumption that ‘we see a cleverly disguised mule’ is not a relevant alternative). This will involve a violation consequence of the theory because the closure principle seems to many to be quite intuitive. In fact, we can view sceptical arguments as employing the closure principle as a premiss, along with the premiss that we do not know that the alternatives raised by the sceptic are false. From these two premisses, it follows (on the assumption that we see that the propositions we believe entail the falsity of sceptical alternatives) that we do not know the propositions we believe. For example, it follows from the closure principle and the fact that we do not know that we do not see a cleverly disguised mule, that we do not know that we see a zebra. We can view the relevant alternatives theory as relying to the sceptic arguments by denying the closure principle.
What makes an alternative situation relevant, for which a situational relevance that Goldman does not try to formulate a criterion of relevance, but in giving examples of what he takes to be relevant alternative situations he makes remarks that suggest one. Suppose, he says, that a parent takes a child’s temperature with the one thermometer that the parent selected at random from several lying in the medicine cabinet: Only one of the particular thermometers was chosen, and was in good-enough and in working order: It correctly shows the child’s temperature to be normal but if it had been abnormal, then of the other of thermometers would have erroneously shown it to be normal. The parent‘s actual true belief is caused by a globally reliable process but, Goldman says (1986), because it was ‘just luck’ that the parent happened to select a good working thermometer ‘we would not say that the parent knows that the child’s temperature is normal’. Goldman gives another example:
Goldman suggests that the reason for denying knowledge in the thermometer example, is that it was ‘just luck’ that the parent did not pick a non-operative thermometer and in the twins example, the reason is that there was ‘a serious possibility’ that it might have been the other twin -Trudy- that Sam saw. This suggests a criterion in fashion of relevance: An alternative situation, where the same belief is produced in the same way but is false, yet, is relevant just in case at some point before the actual belief was caused the change of that situation’s having come about instead of the actual situation was too high, it was too much a matter of luck that it didn’t come about.
This would mean that the proposed criterion of knowledge is such, that a justified true belief that ‘p’ is knowledge just in case there is no alternative ‘non-p’ situation in which the subject is similarly caused to believe that ‘p’ and which is such that at some point the actual world there was a serious chance that situation might occur instead of the actual one.
This avoids the sorts of counterexamples we gave for the causal criteria we made mention of earlier, but it vulnerable to ones of a different sort. Suppose you stand on the mainland looking over the water at an island, on which are several structures that look (from at least some point of view) as would appear as barns. You happen to be looking at one of these that is in fact a barn and your belief to that effect is justified, given how it looks to you and the fact that you have no reason to think otherwise. But, suppose, that the great majority of the barn-looking structures on the island are not really barns at all, but fakes. Finally, suppose all of the island’s fake barns are obscured by trees and that circumstances made it very unlikely that you would have got to a viewpoint not on the mainland. Yet, it seems, your justified belief that you are looking at a barn is not knowledge, despite the fact there would have developed alternative situations where you are similarly caused to have a fake belief that you are looking at a barn.
That example shows that the ‘local reliability’ of the belief-producing process, on the ’serious chance’ explication of what makes alternative relevant, is not sufficient to make a justified true belief knowledge. Another example will show that it is also not necessary. Suppose I am justified in believing the truth that Varsity defeated the Golden Hawks in their basketball game last night by hearing it so reported by a radio newscaster, and there is nothing at all untoward in the way the newscasters time, came to say what he did. But suppose further that at the same time, unknown to
me, on the other hand station a newscaster reads from a mistyped copy and says that the Golden Hawks defeated Varsity. Since I pretty much randomly choice which local station to listen to, the probability that I would end up with a similarly caused but false belief about the outcome of the Golden Hawks-Varsity game was about one-half, a serious chance. Yet, surely I know the outcome of the game on the basis of hearing the non-defective newscast as well as I ever know such a thing in such a basis.
These examples make it seem likely that, if there is a criterion for what makes an alternative situation relevant that will save Goldman‘s claim about local reliability and knowledge, it will not be simple.
The position or attitude that determine how something is seen, presented, or evaluated, that from this viewpoint the picture looks of being one that has acquired special skills in or the knowledge and mastery about something favourably construed in the epistemic status for having some kind of reliable linkage to the truth. F.P. Ramsey (1931), who said that a belief is 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 ‘p’. D.M. Armstrong (1973) relatively drew an analogy between a thermometer that reliably indicated the temperature and a belief that reliability of a non-inferential belief has properties that are nomically sufficient for its truth, i.e., guaranteed its truth through laws of nature.
Closely allied to the nomic sufficiency account is the counterfactual or subjunctive account of knowledge, primarily du e F.I. Dretske (1971, 1981), A.I. Goldman (1976-1980) and R. Nozick (1981). The core of this approach is that S’s belief that ‘p’ qualities as knowledge just in case ‘S’ believes ‘p’ because of reasons that would not obtain unless ‘p’ were true, or because of a process or method that would believe in ‘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 in the way he does, unless there were 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 were is no ‘relevant’ situation in which ‘p’ is false but ‘S’ would still believe that ‘p’. In which an attempt to accommodate of our thinking about knowledge is first by that of an absolute concept of knowledge. On this interpretation 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 to a proposition ‘p’ is a proposition incompatible with ‘p’). This is, one’s justification or evidence for ‘p’ must be sufficient for one to know that every alternative to ‘p’ is false. The element of our thinking about the relevant alternative account can be motivate d by noting that other concepts exhibit the same logical structure. Two examples of this are the concept ‘flat’ and the concept ‘empty’ (Dretske, 1981). Both appear to be absolute concepts - a space is empty only if it does not contain anything and its sustaining surface is flat, only if it does not have any obstacles or bulging protrusions. However, the absolute character of these concepts is relative for what counts as a protrusion or bump that in the case of empty there is a standard for what counts as a thing, or stands in virtue as being an attribute.
This conclusion conflicts with another strand of our thinking about knowledge, by that we know of many things. Thus, there is a tension in our ordinary thinking about knowledge - if ever a belief that knowledge is, in the sense of an absolute concept and instances of that concept.
Nonetheless, there would seem to be two options for removing this tension, especially, the theory of relevant alternatives which can be viewed as an attempt to provide a more satisfactory response to this tension in our thinking about knowledge. It attempts to characterize knowledge in a way that preserves both our belief that knowledge is an absolute concept and our belief that we have knowledge.
Some philosophers (Dretske, 1970) have argued that the relevant alternatives theory of knowledge entails the falsity of the principle that the set of known (by ‘S’) propositions is closed under known (by ‘S’) entailment, although others have disputed this (Stine, 1976 and Cohen, 1988). This principle affirming the closure principle as such that:
If ‘S’ knows ‘p’ sand ‘S’ knows that ‘p’ entails ‘q’
then ‘S’ knows ‘q’.
According to the theory of relevant alternatives, we can know a proposition ‘P’, without knowing that some (non-relevant) alternative to ‘p’ is false. but since an alterative ‘h’ to ‘p’ is incompatible with ‘p’ then ‘p will trivially entail ‘not-h’. So it will be possible to know some proposition without knowing another proposition trivially entailed by it.
The view that a belief acquires favourable epistemic status by having some kind of reliable linkage to the truth. 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 is 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 indicates the temperature and a belief that reliably indicates the truth. Armstrong said that a non-inferential belief qualifies as knowledge if the belief has properties that are nomically sufficient for its truth, i.e., guarantee its truth that abide to the laws of nature.
Closely allied to the nomic sufficiency account is the counterfactual or subjective account of knowledge, primarily due to F.I. Dretske (1971, 1981), A.I. Goldman (1976, 1986) and R. Nozick (1981). The core of this 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’ were 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 reason for believing there is a telephone before him, or would not come to believe this in the way he does, unless there were a telephone before him. Thus, there is a counterfactual reliable guarantor of the beliefs being true. A variant of the counterfactual approach says that `S` knows that `p` only if which `p` is false but `S` knows that only if there is no `relevant alterative`situation in which `p` is false but `S` would still believe that which `p` is false but `S` still believes that `p`.
Reliabilism is standardly classified as ‘externalist’ theory because it invokes some truth-linked factor, and truth is ‘external’ to the believer. Virtually all theories of knowledge, of course, share an externalist component in requiring truth as a condition for knowing. Reliabilism goes further, however, in trying to capture additional conditions for knowledge by means of a nomic, counterfactual or other such ‘external’ relation between belief and truth.
Among reliabilist theories of justification (as opposed to knowledge) there are two main varieties: Reliable indicator theories and reliable process theories. In their simplest forms, the reliable indicator theory says that a belief is justified in case it is based on reasons that are reliable indicators of the truth (Swain, 1981), and the reliable process theory says that a belief is justified in case it is produced by cognitive processes that are generally reliable (Goldman, 1979 and Talbot, 1990).
The reliable process theory is grounded on two main point. First, the justificational status of a belief depends of the psychological processes that cause (or causally sustain) it, not simply on the logical status of the proposition, or its evidential relation to other propositions. Even a tautology can be believed unjustifiably if one arrives at that belief through inappropriate psychological processes. Similarly, a detective might have a body of evidence supporting the hypothesis that Jones is guilty. But if the detective fails to put the pieces of evidence together, and instead believes in Jones’s guilt only because of his unsavoury appearance, the detective’s belief is unjustified. The critical determinants of justificational status, then, are psychological processes, i.e., belief-forming or belief-preserving processes such as perception, memory, reasoning, guessing, or introspecting. Process reliabilism is a species of causal theory: Such as a belief if justified in case it was produced by a type of process that is ‘globally’ reliable, that is, its propensity to produce true beliefs - which can be defined (too a good enough approximation) as the proportion of the beliefs it produces (it would produce, were it used as much as opportunity allows) that are true - is sufficiently great. The causation in question, however, is ‘beneath the structural surfaces’, in this respect process reliabilism is not externalist, since it focuses on inner processes.
The reliability process theory is causally grounded on or upon two crucial and important points. First, the justification status of a belief depends on or upon the psychological process that cause (or causally sustain) it, not simply on the logical status of the proposition, or its evidential relation to other propositions. Even a tautology can be believed unjustifiably if one arrives at that belief through inappropriate psychological processes. Similarly, a detective might have a body of evidence supporting the hypothesis that Jones is guilty. But if the detective fails to place of the symmetric sequence of ordering, that by putting the pieces of evidence together, and instead believes in Jones`s guilt only because if his unsavoury appearance, the detective`s belief is unjustified. The critical determinants of justificational status, then, are psychological processes, i.e., belief-forming or belief-preserving processes such as perception, memory, reasoning, guessing or introspection. Process reliabilism is a species of causal theory, such in the knowledge that having a true belief that `p`is knowledge, that in case it has the right sort of causal connection 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 mathematics and other necessary facts and perhaps any fact expresses by a universal generalization: Proponents of this sort if criterion have usually supposed that it is limited to perceptual knowledge of particular facts about the subjects environment. Where 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 - which can be defined (to a good enough approximation) as the proportion of the beliefs it produces (or would produce) that are true - is sufficiently great - as the view that a belief acquires favourable epistemic status by having one kind of reliable linkage to the truth.
The scandalous rumours and undertones about or abroad the tattling rumour about the death of epistemology. Death notices appeared in such works as ‘Philosophy and the Mirror of Nature’ (1979) by Richard Rorty and Williams’s ‘Groundless Belief’ (1977). Of late the rumours seem to have died down, but whether they will prove to have been exaggerated remains to be seen.
Arguments for the death of epistemology typically pass through three stages. At the first stage, the critic characterizes the task of epistemology by identifying the distinctive sorts of questions it deals with. At the second stage, he tries to isolate the theoretical ideas that make those questions possible. Finally, he tries to undermine those ideas in question are less than compelling, there is no pressing need to solve the problems they give rise to. Thus, the death-of-epistemology the theorists holds that there is no barrier of, say, demonology or judicial astrology. These disciplines, are centre on questions that were once taken very seriously indeed, but as their presuppositions came to seem dubious, debating their problems came to seem pointless. Furthermore, some theorists hold that philosophy, as a distinctive, professionalized activity, revolves essentially around about the death of epistemology is apt to evolve into speculation about the death of philosophy generally.
Clearly, the death-of-epistemology theorist must hold that there is nothing special about philosophical problems. This is where philosophers who see little sense in talk of the death of epistemology disagree. For them, philosophical problems, including epistemological problems, are distinctive in that they are ‘natural’ o r ‘intuitive’: That is to say, they can be posed and understood taking for granted little or nothing in the way of contentious, theoretical ideas. Thus, unlike problems belonging to the particular sciences, they bare ‘perennial’ problems that could occur to more or less anyone, anything and anywhere, But are the standard problems of epistemology really ‘intuitive’ as all that? Or if they indeed come to seem so commonsensical, is this only because commonsense is a repository fo r ancient theory? These are the sorts of question that underlie speculation about epistemology’s possible demise.
Because it resolves round questions like this, the death-of-epistemology movement is distinguished by its interest in what we may call ‘theoretical diagnosis;, bring to light the theoretical background to philosophical problems so as to argue that they cannot survive detachment from it. This explains the movement’s interest in historical-explanatory accounts of the emergence of philosophical problems. If certain problems can be shown not to be perennial, rather, to have emerged at definite points in time, this strongly suggestive of their dependence on some particular theoretical outlook: And, if an account of that outlook makes intelligible the subsequent development of the discipline centred on those problems, that is evidence for its correctness. Still, the goal of theoretical diagnosis is to establish logical dependence, not just historical correlation. Although not just historical correlation. So, although historical investigation into the roots and development of epistemology can provide valuable clues to the ideas that inform its problems, history cannot substitute for problem-analysis.
The death-of-epistemology movement has many sources: In the pragmatists, particularly James and Dewey, and in the writings of Wittgenstein, Quine, Sellars and Austin. But the project of theoretical diagnosis must be distinguished from the ‘therapeutic’ approach ti philosophical problems that some names on the list of theoretical diagnosis does not claim that the problem he analyses are ‘pseudo-problems’ rooted in ‘conceptual confusion’: Rather, rooted and claims that, while genuine, they are wholly internal to a particular intellectual project whose generally unacknowledged theoretical commitments he aims to isolate and express criticism.
Turning to details, the task of epistemology, as these radical critics conceive it, is to determine the nature, scope and limits, indeed the very possibility of human knowledge. Since epistemology determines the extent to which knowledge is possible. It cannot itself take for granted the results of any particular forms of empirical inquiry. Thus epistemology purports to be a non-empirical discipline, the function of which is to sit in judgement on all particular discursive practices with a view to determining their cognitive status. The epistemologists (or, in the rea of epistemological-centred philosophy, we might as well say ’the philosophers’) is someone professionally equipped to determine what forms of judgement are ‘scientific’, ‘rational’. ‘merely expressive’, and so forth. Epistemology is therefore fundamentally concerned with sceptical questions. Determining the scope and limits of human knowledge is a matter of showing where and when knowledge is possible. But there is a project called ‘showing that knowledge is possible’ only because there are powerful arguments for the view that knowledge is impossible. yet, the scepticism in question is firs t and foremost radical scepticism, the theses, with respect to this or that area of putative knowledge we are never so much as justified in believing one thing rather than another. The task of epistemology is thus to determine the extent in which bit is possible to respond to the challenge s posed by radical sceptical arguments by determining where we can and cannot have justifications for our beliefs. If in turns out that the prospects are most hopeful for some sorts of beliefs than for others, we will have uncovered a difference in epistemological status. The ‘scope and limit’ question and problem of radical scepticism are two sides of one coin.
This emphasis on scepticism as the fundamental problem of epistemology may strike some philosophers s misguided. Much recent work on the concept of knowledge, particularly that inspired by Gettier’s demonstration of the insufficiency of the standard ‘justified true analysis’, has been carried on independently of any immediate concern with scepticism. I think it must be admitted that philosophers who envisage the death of epistemology tend to assume a somewhat dismissive attitude to work of this kind. In part, this is because they tend to be precise necessary and sufficient conditions for the application of any concept. But the determining factor is their thought that only the centrality of the problem of radical scepticism can reexplain the important for philosophy that, at least in the modern period, epistemology has taken on. Since radical scepticism concerns the very possibility of justification, for philosophers who put this problem first, questions about what special sorts of justification yield knowledge, or about whether knowledge might b e explained in non-justificational terms, are of secondary importance. Whatever importance they have will have to derive the end from connections. If any, with sceptical problems.
In light of this, the fundamental question for death-of-epistemology theorists becomes, ‘What are the essential theoretical presuppositions of arguments for radical scepticism? Different theorists suggest different answers. Rorty traces scepticism to the ‘representationalist’ conception of belief and its close ally, the correspondence theory of truth. According to Rorty, if we think of beliefs as ‘representations’, that aim to correspond with mind-independent ‘reality’ (mind as the mirror of nature), we will always face insuperable problems when we try to assure ourselves that the proper alignment has been achieved. In Rorty’s view, by switching to a more ‘pragmatic’ or ‘behaviouristic’ conception of beliefs as devised for coping with particular, concrete problems, we can put scepticism, hence the philosophical discipline that revolves around it, behind us once and for all.
Other theorists stress epistemological foundationalism as the essential background to traditional sceptical problems. There are reasons for preferring this approach. Arguments for epistemological conclusions require at least one epistemological premiss. It is, therefore, not easy to see how metaphysical or semantic doctrines of the sort emphasized by Rorty could, by themselves, generate epistemological problems, such as radical scepticism. On the other hand, the case for scepticism’s essential dependence on foundationalist preconceptions is by no means easy to make. It has even been argued that this approach ‘gets things almost entirely upside down’. The thought it has, is that foundationalism is an attempt to save knowledge from the sceptic, and is therefore a reaction to, rather than a presupposition of, the deepest and most intuitive arguments for scepticism. Challenges like this certainly need to be met by death-of-epistemology theorists, who have sometimes been too ready to take for obvious asceticism’s dependence on foundationalist, or other theoretical ideas. This reflects, perhaps the dangers of taking one’s cue from historical accounts of the development of sceptical problems. It may be that, in the heyday of foundationalism, sceptical arguments were typically presented within a foundationalist context. But the crucial question is not whether some sceptical arguments do take foundationalism for granted but whether there are any that do not. This issue - indeed, the general issue of whether scepticism is a truly intuitive problem – can only be resolved by detailed analysis of the possibilities and resources of sceptical argumentation.
Another question concern why anti-foundationalism leads to the death of epistemology than a non-foundational. Hence ‘coherentist’ approach to knowledge and justification. It is true that death-of-epistemology theorists often characterize justification is to make a negative point. According to foundationalism, our beliefs fall naturally to foundationalism, our belief categories that reflect objectives context-independent relations of epistemological priority. Thus,, for example, experimental beliefs are thought to be naturally or intrinsically prior to beliefs about the natural world. This relation of epistemic priority is, so to say, just a fact. Foundationalism is therefore committed to a strong form of ‘realism’ about epistemological facts and relations, call it ‘epistemological realism’. For some anti-foundationalists, talk of coherence is just a way of rejecting the picture in favour of the view that justification is a matter of accommodating new beliefs to relevant background beliefs in contextually appropriated ways, there being no context-independent, purely epistemological restrictions on what sorts of beliefs can confer evidence on what others. If this is all that is meant, talk of coherence does not point to a theory of justification so much as too the deflationary view that justification is not the sort of thing we should expect to have theories about. There is, however, a stronger sense of a genuine theory. This is the radically holistic account of justification, according to which inference depends on assessing our entire belief-system or ‘total view’, in the light of abstract criteria of ‘coherence’. But it is questionable whether this view, which seems to demand privileged knowledge of what we believe is an alternative to foundationalism or just a variant form. Accordingly, it is possible that a truly uncompromising anti-foundationalism will prove as hostile to traditional coherence theories as to standard foundationalist positions, reinforcing the connection between the rejection of foundationalism and the death of epistemology.
The death-of-epistemology movement has some affinities with the call for a ‘naturalized’ approach to knowledge. Quine argues that the time has come for us to abandon such traditional projects as refuting the sceptic by showing how empirical knowledge can be rationally reconstructed on a sensory basis, hence justifying empirical knowledge at large. We should concentrate instead on the more tractable problem of explaining how we ‘project our physics from our data’, i.e., how retinal stimulations cause us to respond with increasingly complex sentences about events in our environment. Epistemology should be transformed into a branch of natural science, specifically experimental psychology. But though Quine presents this as a suggestion about how to continue doing epistemology, to philosophers who think that the traditional questions still lack satisfactory answers, it looks more like abandoning epistemology in favour of another pursuit entirely. It is significant, therefore, that in subsequent writings Quine has been less dismissive of sceptical concerns. But if this is how `naturalized`epistemology develops then for the death-of-epistemology theorist, its claims will open up a new field for theoretical diagnosis.
Even so, the scepticism hypothesis is designed to impugn our knowledge of empirical propositions by showing that our experience is not a reliable source of beliefs. Thus, one form of traditional scepticism developed by the Pyrrhonists, namely that reason is incapable of producing knowledge, is ignored by contemporary scepticism. Apparently, the sceptical hypothesis can be employed in two distinct ways. It can be used to show that our beliefs fall short of being certain and it can be used to show that they are not even justified. In fact, as we are to implicate that the first use depends on or upon the second.
`Letting ‘p’ stand for any ordinary belief (e.g., there ids a table before me) the first type of argument employing the sceptical hypothesis can be stared as follows:
1. If ‘S’ knows that ‘p’, then ‘p’ is certain.
2. The sceptical hypothesis shows that ‘p’ is not certain.
Therefore, ‘S’ does not know that ‘p’ is not certain.
No argument for the first premiss is needed because this first form of the argument employing the sceptical hypothesis is only concerned with cases in which certainty is though t to be a necessary condition of knowledge. Yet issues surrounding certainty are inextricably connected with those concerning scepticism. For many sceptics have traditionally held that knowledge requires certainty, and, of course, they claim that certain knowledge is not possible. In part, in order to avoid scepticism, the anti-sceptics have generally held that knowledge does not require certainty: According to which the meaning of a concept is to be sought in the experimental or practical consequences of its application. The epistemology of pragmatism is typically anti-Cartesian, fallibilistic, naturalistic. In some versions it is also realistic, in others not. In fact, Wittgenstein (1972) claims roughly, that propositions which are known are always subject to challenge, whereas, when we say that ‘p’ is certain, we are foreclosing challenges to ‘p’. As he puts it. ‘Knowledge and certainty’ belong to different categories (Wittgenstein, 1969). As such, if justification is a necessary condition of knowledge, it is suggested that it explicitly employs the premiss needed by the first argument discussed or aforementioned, as namely that ‘S is not justified in denying the sceptical hypothesis. Nonetheless, the first premiss employs a version of the co-called ‘transmissibility principle’ which probably first occurred with Edmund Gettier’s standard analysis of propositional knowledge, and is suggested by Plato and Kant among others, and implies that if one has a justified true belief that ‘p’ then one knows that ‘p’ has a three individually necessary and jointly sufficient conditions, as the ‘tripartite definition of knowledge’ stating that justification, truth and belief are justified true beliefs. The belief condition requires that anyone who knows that ‘p’ believe 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.
Such as in the second premiss of the argument is a Cartesian not in of doubt which is roughly that a proposition, ‘p’. Is doubtful for ‘S’ if there is a proposition that (1) ’S’ is not justified in denying and (2) if added to S’s beliefs , would lower the warrant of ‘p’ as it seems clear that certainty is a property that can be ascribed to either a person or a belief. However, a Cartesian characterization of a concept of absolute certainty seems the approach that is a proposition ‘p’. Is certain for ‘S’ just in case ‘S’ is warranted in believing that ‘p’ and there are absolutely no grounds whatsoever for doubting. If. now one could characterize those ground in a variety of ways (Firth,1976; Miller, 1978; Klein, 1981,1990). For example, a ground ‘g’ for making ‘p’ doubtful for ‘S’ could be such that (a)‘S’ is not warranted in denying ‘g’ and:
(B1) If ‘g’ is added to S’s beliefs, the negation of ‘p’ is warranted Or,
(B2) if ‘g’ is added t o S’s beliefs, ‘p’ is no longer warranted:
Or,
Warranty might there also be an increased rather than just ‘passed on’. The coherence of probable propositions with other probable propositions with other probable propositions might (defensibly ) making them all the more evident (Firth, 1964).
Nonetheless, if belief is a necessary condition of knowledge since we can believe a proposition without believing all of the propositions entailed by it. It is clear that the principle is false. similarly, the principle entails for other uninteresting reasons. For example, if the entailment is a very complex one, ‘S’ may not be justified in believing what is entailed because ‘S’ does not recognize the entailment. In addition., "S’ may recognizes the entailment but believe the entailing in the proposition for silly reasons. But, the interesting question is this: If `S`is justified in believing (or knows) that `p`. And `p`obvious ly (to S) entails`q`, and `S`believes `q`on the basis of believing is justified in believing (or, in a position to know) that q.
Even so, Quine argued that the classical foundationalist project was a failure, both in its details and in it s conception. On the classical view, an epistemological theory would tell us how we ought to arrive at our beliefs, only by developing such a theory and then applying it could we reasonably come to believe anything about the world around us. Thus, on this classical view, an epistemological theory must be developed independently of, and prior to, any scientific theorizing: Proper scientific theorizing could only occur after such a theory was developed and deployed. This was Descartes’ view of how an epistemological theory ought to proceed, it was what he called ‘First Philosophy’. Moreover, it is this approach to epistemological issues motivated not only foundationalism, but virtually all epistemological theorizing for the next 300 years.
Quine urged a rejection of this approach to epistemological questions. Epistemology, on Quine’s view, is a branch of natural science. It studies the relationship between human beings ad their environment, in particular, it asks how it is that human beings can arrive at beliefs about the world around them on the basis of sensory stimulation, the only source of belief there is. Thus Quine commented, [sensory stimulation] and the torrential output [our total science] is a relation we are prompted to study for somewhat the same reasons that always prompted epistemology: Namely, in order to see how evidence relates to theory, and in what ways one’s theory of nature transcends any available evidence (Quine,1969), Quine spoke of this project study as ‘epistemology naturalized’.
One important difference between this approach and more traditional ones becomes plain when the two are applied to sceptical questions. On the classical view, if we to explain how knowledge is possible, it is illegitimate to make use of the resources of science: This would simply beg the question against the sceptic by making use of the very knowledge which he calls into question. Thus, Descartes’ attempt to answer the sceptic begins by rejecting all those beliefs about which any doubt is possible. Descartes must respond to the sceptic from a starting place which includes no be beliefs at all. Naturalistic epistemologists, however, understand the demand to explain the possibility of knowledge differently. As Quine argues, sceptical questions arise from within science. It is precisely our success in understanding the world, and thus in seeing that appearance and reality may differ, that raises the sceptical question in the first place . We may thus legitimately use the resources of science to answer the question which science itself has raised. The question about how knowledge is possible should thus be construed as an empirical question: It is a question about creatures such as we (given what our best current scientific theories tell us, we are like) ma y come to have accurate beliefs about the world (given what our best current scientific theories tell us the world is lik0e), Quine suggests that the Darwinian account of the origin of species gives a very general explanation of why it is that we should be well adapted to getting true beliefs about our environment (Stich, 1990), although Quine himself does no t suggest it, in that investigations in the sociology of knowledge are obviously relevant as well.
This approach into sceptical questions clearly makes them quite tractable, and its proponents see this, understandably, as an important advantage of the naturalistic approach. It is in part for this reason that current work in psychology and sociology is under such close scrutiny by many epistemologists. By the same token, the detractors of the naturalistic approach argue that this way of dealing with sceptical questions simply bypasses the very question which philosophers have long dealt with. Far from answering the traditional sceptical question. It is argued, the naturalistic approach merely changes the topic (e.g., Stroud, 1981). Debates between naturalistic epistemologists and their critics thus frequently focus on or upon whether this new way of doing epistemology adequately answers, transforms or simply ignores the questions, which others see as central to epistemological inquiry. Some are the naturalistic approach as an attempt to abandon the philosophical study of knowledge.
Precisely what the Quinean project amounts to is also a subject of some controversy. Both those who see themselves as opponents of naturalistic epistemology and those who are eager to sign onto the project frequently disagree about what the project is. The essay of Quine’s which prompted this controversy (Quine, 1969) leaves a great deal of room for interpretation.
At the centre of this controversy is the issue of the normative dimension of epistemological inquiry. Philosophers differ regarding the sense. if any, in which epistemology is normative (roughly, valuational). But what precisely is at stake is this controversy is no clearer than the problematic fact/value distinction itself. Much epistemologists as such make judgements of value or epistemic responsibility? If epistemology is naturalistic, then even epistemic principles simply articulate under what conditions - say, appropriate perceptual stimulation - a belief is justified, or constitutes knowledge. Its standards of, e.g., resilience for bridges. It is not obvious, however, that the appropriated standards can be established without independent judgements that, say, a certain kind of evidence is good enough for justified belief (or knowledge). The most plausible view may be that justification is like intrinsic goodness: Though it supervenes on natural properties, it cannot be analysed wholly in factual statements.
Perhaps, the central role which epistemological theories have traditionally played is normative. Such theories were meant not merely to describe the various processes of belief acquisitions and retention, but to tell us which of these processes we ought to be using. By describing his preferred epistemological approach as a ‘chapter of psychology and hence of natural science’ (Quine, 1969). Quine has encouraged many to interpret his view as a rejection of the normative dimension of epistemological theorizing (Goldman. 1986; Kim, 1988). Quine has, however, since repudiated this reading: Naturalization of epistemology does not jettison the normative and settle for the indiscriminate description of ongoing procedure’ (Quine, 1986 & 1999)
Unfortunately, matters are not quite a simple as this quotation makes things seem, Quine goes on to say, ‘For me, normative epistemology is a branch of engineering. It is the technology of truth-seeking, . . . There is no question as of th e ultimate value, as in morals: It is a matter of efficacy for an ulterior end, truth or prediction. The normative, as elsewhere in engineering, becomes descriptive when the terminal parameter is expressed’ (Quine, 1986). But this suggestion, brief as it is, is compatible with a number of different approaches.
On one approach, by Alvin Goldman (Goldman, 1968). Knowledge is just true belief which is produced by a reliable process, that is, a process which tends to produce true beliefs. In so much as, the view that a belief acquires favourable epistemic status by having some kind of reliable linkage to the truth. Variations of this view have been advanced for both knowledge and justified belief. The first formulation of a reliable account of knowing appeared in a note by F.P. Ramsey (1931), who said that a belief is 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 indicates the truth. Armstrong said that a non-inferential belief qualifies as knowledge if the belief has properties that are nominally sufficient for its truth, i.e., guarantee its truth according to the laws of nature.
Yet, the `technological`question arises in asking which processes tend to produce true belief. Questions of this sort are clearly part of natural science, but there is also the account of knowledge itself. On Goldman`s view, the claim that knowledge is reliably produced true belief is arrived at independent of, and prior to, scientific investigation: It is a product of conceptual analysis. Given Quine `s rejection of appeals to meaning, the analytic-synthetic distinction, and thus the very enterprise of conceptual analysis, this position is not open to him. Nevertheless, it is for many and attractive way of allowing scientific theorizing to play a larger role in epistemology than it traditionally has, and thus one important approach which might reasonably be thought of as a naturalistic epistemology.
Those who eschew conceptual analysis will need another way of explaining how the normative dimension of epistemology arises within the context of empirical inquiry. Quine says that this normative is not mysterious once we recognize that it `becomes descriptive when the terminal parameter is expressed`. But why is it conduciveness to truth. Than something else, such as survival, which is at issue here. Why is it that truth counts as the goal for which ewe should aim. Is this merely a sociological point, that people do seem to have this goal. Or is conduciveness to truth itself instrumental to other goals in some way that makes it of special pragmatic importance. It is not that Quine has no way to answer these questions within the confines of the naturalistic position he defines, rather that there seem to be many different options open, such that which is needed of further exploration and elaborations.
A number of attempts to fill in the naturalistic account draw a close connection between how people actually reason and how they ought to reason, thereby attempting to illuminate the relation between th e normative and the descriptive. One view has in that these two are identical (Kornblith, 1985; Sober, 1978), that with respect to a given subject-matter ‘psychologism’ is the theory that the subject-matter in question can be reduced to, or explained in terms of, psychological phenomena., as mental acts, events, states, dispositions and the like. But different criteria of legitimacy are normally considered appropriate types of reasoning, or roles for the faculty of reason, seem to be commonly recognized in Western culture.
It is, nonetheless, that modern science gave new impetus to affirmative theorizing about rationality, it was probably, at least in part because of the important part played by mathematics in the new mechanics of Kepler, Galileo and Newton, that some philosophers though it plausible to suppose that rationality was just as much the touchstone of scientific truth as of mathematical truth. At any rate, that supposition seems to underlie the epistemologies of Descartes and Spinoza, for example, in that which observation and experiment are assigned relatively little importance compared with the role of reason. Correspondingly, it was widely held that knowledge of right and wrong is knowledge of necessary truths that are to be discovered by rational intuition in much the same way as it was believed that the fundamental principles of arithmetic and geometry are discovered, for example, Richard Price argued that rational agent void of all moral judgement, . . is not possible to be imagined`(1797).
But in modern philosophy the most influential sceptical challenge to everyday beliefs about rationality was originated by Hume. Hume argued the impossibility of reasoning from the past to the future or from knowledge about some instances of a particular kind of situation to knowledge about all instances of that kind. There would b e nothing contradictory, he claimed, in supposing both that the sun had always risen in the past and that it would not rise tomorrow. In effect, therefore, Hume assumed the only valid standards of cognitive rationality were those concerned that rationality, where in of consisting to the conformity with the laws of deductive logic, and that of rationality as exhibited by correct mathematical calculation, and the concerning aspect of whose reasoning that depends for its correctness solely on the meaning of words that belong neither to logical nor to our mathematical vocabulary thus, it would be rational to infer that, if two people; are first cousins of one another, they share, at least one grand-parent. The form of rationality is exhibited by applicative induction that conform to appropriate criteria, as in an inference from experimental data to a general theory that explains them. For example, a hypothesis about the cause of a phenomenons needs to be tested in a relevant variety of controlled conditions in order to eliminate other possible explanations of the phenomenon, and it would be irrational to judge the hypothesis to be well-supported unless it had survived a suitable set of such tests.
Deduction was not a rational procedure, on his view, because it could not be reduced to the exercise of reason in one or another of these roles as played by doing their part.
Hume’s argument about induction is often criticized for begging the question on the grounds that induction should be held to be a valid process in its own right and with its own criterions of good and bad reasoning. But this response to Hume seems just to beg the question in the opposite direction. What is needed instead, as, perhaps, to demonstrate a continuity between inductive and deductive reasoning, with the latter exhibited as a limiting case of the former (Cohen. 1989). Even so, Hume’s is no t the only challenge that defenders of inductive rationality need to rebuff. Popper has also denied the possibility of inductive reasoning, and much-discussed paradoxes about inductive reasoning have been proposed by Goodman and Hemper.
Hemper’s paradox in the study of confirmation (1945) has introduced a paradox that raises fundamental questions about what counts as confirming evidence for a universal hypothesis. To generate the paradox three intuitive principles are invoked:
2. Equivalence Principle. If is confirming evidence for hypothesis ‘h1' and if ‘h1' is logically equivalent to hypothesis ‘h’, then is confirming evidence for h2. For example, if instances of ravens that are black are confirming evidence that all ravens are black, they are also confirming evidence that all non-black things are non-raven, since the latter hypothesis is logically equivalent to the former.
3. A Principle of Deductive logic: A sentence of the form, All A`s are B`s is logically equivalent to one of the form, that All non-B`s are non-A`s.
Using these principles, the paradox is generate d by supposing that all the non-black things so far observed have been non-ravens. These might include white shoes, green leaves and red apples, by Nicod`s principle, this is confirming evidence for the hypothesis, All non-black things are non-ravens. (In the schematic version of Nicod`s principle. Let A`s be non-black things and B`s be non-ravens.) But by principle (3) of deductive logic, the hypothesis, All non-black things are non-ravens, is logically equivalent to, All ravens are black. Therefore by th equivalence principle (2) the fac t that all the non-black things so far observed have been non-ravens is confirming evidence for the hypothesis that all ravens are black. That is, instances of white shoes, green leaves and red apples count as evidence for this hypothesis, which seems absurd, This is Hempel`s ravens paradox.
Hume also argued, as against philosophers like Richard Price (1787), that it was impossible for any reasoning to demonstrate the moral rightness or wrongness of a particular action. There would be nothing self-contradictory in preferring the destruction of the whole world to the scratching of one’s little finger. The only role for reason in decision making was to determine the means to desired ends. Nonetheless, Price’s kind of ethical rationalism has been revived in more recent times by W.D. Ross (1930) and others. Perhaps Hume’s argument had been based on question-begging assumptions, and it may be more cogent to point out that ethical rationalism implies a unity of moral standards that is not grounded to exist in the real world.
Probabilistic reasoning is another area in which the possibility of attaining fully rational results has sometimes been queried, as in the lottery paradox. And serious doubts have also been raised (Sen. 1982) about the concept of a rational agent that is required b y classical models of economic behaviour. No doubt a successful piece of embezzlement may in certain circumstances further the purpose of an accountant, and need not be an irrational action. But is it entitled to the accolades of rationality: And how should its immorality be weighed against its utility in the scales of practical reasoning? Or, is honesty always the rationally preferable policy.
These philosophical challenges to rationality gave been directed against the very possibility of these existing valid standards of reasoning of this of that area of enquiry. They have thus been concerned with the integrity of the concept of rationality rather than with the extent to which that concept is in fact instantiated by the actual thoughts, procedure and actions of human beings. The latter of issue’s seem at first sight to be a matter for philosophical, than philosophical research. Some of this research will no doubt be concerned with the circumstances under which people fail to perform in accordance with valid principles that they have nevertheless developed or adopted, as when they make occasional mistakes in their arithmetical calculations. But there also to be room for research into the categories of the population have developed or adopted. Some of this would be research into the success with which the relevant principles have been taught, as when students are educated in formal logic or statistical theory. Some would be research into th e extent to which those who have not had any relevant education are, or are not, prone to any systematic patterns of error in their reasoning. And it is this last type of research that has claimed results with ‘bleak implications for human rationality’ (Nisbett and Borgida, 1975).
One robust result was when (Wason, 1966) logically untutored subjects are presented with four cards showing, respectively, ‘A’. ‘D’ ‘4' and ‘7', and they know that every card has a le tter on on e dide and a number on the other. They are then given the rule, ‘If a card has a vowel on one side, It has an even number on the other’, and told that their task is to say which of the cards they need to turn in order to find out whether the rule is true or false. The most frequent answers are ‘A and 4' and ‘Only A’ which are both wrong, while the right answer ‘A and 7' is given spontaneously by very few subjects. Wason interpreted this result as demonstrating that most subjects have a systematic bias towards seeking verification than falsification in testing the rule, and he regarded this bias as a fallacy of the same kind as Popper claimed to have discerned in the belief that induction could be a valid form of human reasoning.
Some of these results concern probabilistic reasoning, for example, in an experiment (Kahneman and Tversky, 1972) on statistically untutored students the subjects are told that in a certain town blue and green cabs operate in a ratio of 85 to 15 respectively. A witness identifies the cab in an accident as green and the court is told that in the relevant circumstances he says that a cab is blue when it is blue, or that a cab is green when it is green in 80 per cent of cases. When asked the probability that the cab involved in the accident was blue subjects tend to say 20 per cent. The experimenters have claimed that this robust result shows the prevalence of a systematic fallacy in ordinary people’s probabilistic reasoning, though a failure to pay attention prior probabilities and it has been argued (Saks and Kidd, 1980) that the existence of several such results demonstrates the inherent unsoundness of mandating lay juries to decide issues of fact in a court of law.
However, it is by no means clear that these psychological experimenters have interpreted their data correctly o r that the implications for human rationality are as bleak as they suppose (Cohen, 1981, 1982). For example, it might be argued that Wason’s experiment merely shows the difficulty that people have in applying the familiar rule of contraposition to artificial conditional relationships that lack any basis in causality or in any explanatory system. And as for the cabs, it might well be dispute d whether the size of the fleet to which a cab belongs should be accepted as determining a prior probability that can count against a posterior probability founded on the causal relation between a witness’s mental powers and his courtroom testimony. To count against such a posterior probability one would need a prior one that was also rooted in causality, such as the ratio in which cabs from the blue fleet and cabs from the green fleet (which may have different policies about vehicle maintenance and driver training) are involved in accidents of the kind in question. In other words, the subjects may interpret the question to concerning probabilities, not probabilities conceived as relative frequencies that may be accidental, nonetheless, it is always necessary to consider whether the dominant responses given by subjects in such experiments should be taken, on the assumption that they are correct, as indicating how the task is generally understood - instead of as indicating, on the assumption that the task is understood exactly in the way intended, what error are being made.
Finally, there is an obvious paradox in supposing that untutored human intuitions may be systematically erroneous over a wide range of issues in human reasoning. On what non-circular basis other than such intuitions can philosophers ultimately found their theories about the correct norms of deductive or probabilistic reasoning? No doubt an occasional intuition may have to be sacrificed in order to construct an adequately comprehensive system of norms. But empirical data seem in principle incapable of showing that the untutored human mind is deficient in rationality, since we need to assume the existence of this rationality - in most situations - in order to provide a basis for those normative theories in terms of which we feel confident in criticizing occasional errors of performance in arithmetical calculations, and so forth.
There has been a steady stream of two-way traffic between epistemology and psychology. Philosophers and psychologists have relied on novel epistemological doctrines and arguments to support psychological views, more recently, epistemologists have been drawn to psychology in an attempt to solve their own problems.
It is, nonetheless, that many epistemological disagreements within psychology pertain in some way or other to disputes about ‘behavioiuralism’. The epistemological argument most widely used by behaviouralists turns on the alleged unobservability of mental events or states. If cognitions are unobservable in principle, the argument runs, we have no warrant for believing that they exist and, hence, no warrantably accepting to cognitive explanations. The same argument applies to non-cognitive mental states, such as sensations or emotions. Opponents of behaviouralism sometimes reply that mental states can be observed. Each of us, through ‘introspection’, can observe at least some mental states, namely our own (at least those of which we are conscious). To this point, behaviouralists have made several replies, some (e.g., Zuriff, 1985) argue that introspection is too unreliable for introspective reports too qualify as firm scientific evidence. Others have replied that, even if introspection is private and that this fact alone renders introspective data unsuitable as evidence in a science of behaviour. A more radical reply, advanced by certain philosophers, is that introspection is not a form of observation, but rather a kind of theorizing. More precisely, when we report on the basis of introspection, that we have a painful sensation, a thought, a mental imag e, and so forth, we are theorizing about what is present. The resulting view, the fact that we introspect does on this view, the fact that we introspect does no t show that any mental states are observable.
Given by our inherent perception of the world, is only after a long experience that one is visually to identify such things in our familiar surroundings that do not typically go through such a process known as the relevance of perceptual identifiability. However, the perceptual knowledge of the expert is still dependent, of course, since even an expert cannot see what kind of flower it is, nonetheless, it is to say, that the expert has developed identificatory skills that no longer require the sort of conscious inferential processes that characterize a beginner’s efforts. Much of our perceptual knowledge - even (sometimes) the most indirect and derived forms of it - does not mean that learning is not required to know in this way. That these sensory facts are, so to speak, are right up against the mind’s eye, and one cannot be mistaken about the conveying facts in the mind, as for these facts are, in reality, facts about the way things appear to be. Normal perception of external conditions, are, then, turning to be (always) a type of indirect perception. Such by seeing that the appearances (of the tomatoe) and inferring (this is typically said to be automatic and unconscious), on the basis of certain background assumptions (e.g., that there typically is a tomatoe in front of one when one has experiences of this sort) that there is a tomatoe in front of one. All knowledge of an objective reality, then, even what commonsense regards as the most direct perceptual knowledge, is based on a even more direct knowledge of the appearances.
Fo r the representationalist, then, perceptual knowledge of our physical surroundings is always theory-loaded and indirect. Such perception is ‘loaded’ with the theory that there is some regular, some uniform, correlation between the way things appear (known in a perceptually direct way) and the way things actually are (known, known at all, in a perceptually indirect way).
Another view, as direct realism, refuses to restrict direct perceptual knowledge to an inner world of subjective experience. Though the direct realist is willing to concede that much of our knowledge of the physical world is indirect, however direct and immediate it may sometimes feel, some perceptual knowledge of physical reality is direct. What makes it direct is that such knowledge is not based on., nor in any way dependent on, other knowledge and belief. The justification needed for the knowledge is right there in the experience itself.
Too understand the way that is supposed to work, consider an ordinary example, for which of ‘S’ identifies a banana (learns that it is a banana) by noting its shape and colour - perhaps, even tasting and smelling it (to make sure it is not wax). In this case the perceptual knowledge that is a banana is (the direct realist admits) indirect, dependent on S’s perceptual knowledge of its shape, colour, smell and taste. ‘S’ learns that it is a banana by seeing that it is yellow, banana-shaped, and so on. Nonetheless, S’s perception of the banana’s colour and shape is not indirect. ‘S’ does not see that the object is yellow, for example, by seeing (knowing, believing) anything more basic - either about the banana or anything else, e.g., his own sensations of the banana, for ‘S’ has learned to identify such features, that, of course, what ‘S’ learned to do is not make an inference, even a unconscious inference, from other things he believes. What ‘S’ acquired was a cognitive skill, a disposition to believe of yellow objects he saw that they were yellow. The exercise of this skill does not require, and in no way depends on, the having of any other beliefs. ‘S’ identifcatory success will depend on his operating in certain special conditions, of course, ‘S’ will not, as, perhaps, be able to visually identify yellow object s in drastically reduced lighting, at funny viewing angles, or when afflicted with certain nervous disorders. But these facts about when ‘S’ can see that something is yellow does not show that his perceptual knowledge (that ‘a’ is yellow) in any way depends on a belief (let alone knowledge) that he is in such special conditions. It merely shows that direct perceptual knowledge is the skill of exercising a skill, an identificatory skill that like any skill requires certain conditions for its successful exercise. An expert basketball player cannot shoot accurately in a hurricane. He needs normal conditions to do what he has learned to do. So also with individuals who have developed perceptual (cognitive) skills. They need normal conditions to do what they have learned to do. They need normal conditions to see, for example, that something is yellow. But they don’t, any more than the basketball player, have to know they are in the conditions to do what being in these conditions enables then to do.
This means, of course, that for the direct realist direct perceptual knowledge is fallible and corrigible. Whether ‘S’ sees that ‘a; is ‘F’ depends on his being caused to believe that ‘a’ is ‘F’ in conditions that are appropriate for an exercise of that cognitive skill. If conditions are right, then ‘S’ sees (hence, knows) that ‘a’ is ‘F’. If they aren’t, he doesn’t. Whether or not ‘S’ knows depends, then, not on what else (if any thing) ‘S’ believes, but on the circumstances in which ‘S’ comes to believe. This being so, this type of direct realism is a form of an externalized world.
No comments:
Post a Comment