A proposition may be true or false it be said to take the truth-value true, and if the latter the truth-value false. The idea behind the term is the analogy between assigning a propositional variable one or other of these values, as a formula of the propositional calculus, and assigning an object as the value of many other variable. Logics with intermediate values are called many-valued logics. Then, a truth-function of a number of propositions or sentences is a functions of them that has a definite truth-value, depend only on the truth-values of the constituents. Thus (p & q) is a combination whose truth-value is true when 'p' is true and 'q' is true, and false otherwise,' p' is a truth-function of 'p', false when 'p' is true and true when 'p' is false. The way in which the value of the whole is determined by the combinations of values of constituents is presented in a truth table.
In whatever manner, truth of fact cannot be reduced to any identity and our only way of knowing them is empirically, by reference to the facts of the empirical world.
A proposition is knowable deductively if it can be known without experience of the specific course of events in the actual world. It may, however, be allowed that some experience is required to acquire the concepts involved in a deductive proposition. Some thing is knowable only empirical if it can be known deductively. The distinction given one of the fundamental problem areas of epistemology. The category of deductive propositions is highly controversial, since it is not clear how pure thought, unaided by experience, can give rise to any knowledge at all, and it has always been a concern of empiricism to deny that it can. The two great areas in which it seems to be so are logic and mathematics, so empiricists have commonly tried to show either that these are not areas of real, substantive knowledge, or that in spite of appearances their knowledge that we have in these areas is actually dependent on experience. The former ligne tries to show sense trivial or analytic, or matters of notation conventions of language. The latter approach is particularly y associated with Quine, who denies any significant slit between propositions traditionally thought of as speculatively, and other deeply entrenched beliefs that occur in our overall view of the world.
Another contested category is that of speculative concepts, supposed to be concepts that cannot be derived from experience, bu t which are presupposed in any mode of thought about the world, time, substance, causation, number, and self are candidates. The need for such concept s, and the nature of the substantive a prior I knowledge to which they give rise, is the central concern of Kant s Critique of Pure Reason.
Likewise, since their denial does not involve a contradiction, there is merely contingent: Their could have been in other ways a hold of the actual world, but not every possible one. Some examples are Caesar crossed the Rubicon and Leibniz was born in Leipzig, as well as propositions expressing correct scientific generalizations. In Leibniz's view truth of fact rest on the principle of sufficient reason, which is a reason why it is so. This reason is that the actual world (by which he means the total collection of things past, present and future) is better than any other possible world and therefore created by God. The foundation of his thought is the conviction that to each individual there corresponds a complete notion, knowable only to God, from which is deducible all the properties possessed by the individual at each moment in its history. It is contingent that God actualizes te individual that meets such a concept, but his doing so is explicable by the principle of sufficient reason, whereby God had to actualize just that possibility in order for this to be the best of all possible worlds. This thesis is subsequently lampooned by Voltaire (1694-1778), in whom of which was prepared to take refuge in ignorance, as the nature of the soul, or the way to reconcile evil with divine providence.
In defending the principle of sufficient reason sometimes described as the principle that nothing can be so without there being a reason why it is so. But the reason has to be of a particularly potent kind: eventually it has to ground contingent facts in necessities, and in particular in the reason an omnipotent and perfect being would have for actualizing one possibility than another. Among the consequences of the principle is Leibniz's relational doctrine of space, since if space were an infinite box there could be no reason for the world to be at one point in rather than another, and God placing it at any point violate the principle. In Abelards' (1079-1142), as in Leibniz, the principle eventually forces te recognition that the actual world is the best of all possibilities, since anything else would be inconsistent with the creative power that actualizes possibilities.
If truth consists in concept containment, then it seems that all truth are analytic and hence necessary. If they are all necessary, surely they are all truth of reason. In that not every truth can be reduced to an identity in a finite number of steps; in some instances revealing the connexion between subject and predicate concepts would require an infinite analysis, while this may entail that we cannot prove such proposition as a prior, it does not appear to show that proposition could have ben false. Intuitively, it seems a better ground for supposing that it is a necessary truth of a special sort. A related question arises from the idea that truth of fact depend on Gods' decision to create the best world: If it is part of the concept of this world that it is best, how could its existence be other than necessary? An accountable and responsively answered explanation would be so, that any relational question that brakes the norm lay eyes on its existence in the manner other than hypothetical necessities, i.e., it follows from Gods' decision to create the world, but God had the power to create this world, but God is necessary, so how could he have decided to do anything else? Leibniz says much more about these matters, but it is not clear whether he offers any satisfactory solutions.
The view that the terms in which we think of some area is sufficiently infected with error for it to be better to abandon them than to continue to try to give coherent theories of their use. Eliminativism should be distinguished from scepticism that claims that we cannot know the truth about some area; eliminativism claims rather that there is no truth there to be known, in the terms that we currently think. An eliminativist about theology simply counsels abandoning the terms or discourse of theology, and that will include abandoning worries about the extent of theological knowledge.
Eliminativists in the philosophy of mind counsel abandoning the whole network of terms mind, consciousness, self, Qualia that usher in the problems of mind and body. Sometimes the argument for doing this is that we should wait for a supposed future understanding of ourselves, based on cognitive science and better than any our current mental descriptions provide, sometimes it is supposed that physicalism shows that no mental description of ourselves could possibly be true.
Sceptical tendencies emerged in the 14th-century writings of Nicholas of Autrecourt. His criticisms of any certainty beyond the immediate deliverance of the senses and basic logic, and in particular of any knowledge of either intellectual or material substances, anticipate the later scepticism of Balye and Hume. The; latter distinguishes between Pyrrhonistic and excessive scepticism, which he regarded as unlivable, and the more mitigated scepticism that accepts every day or commonsense beliefs (not as the delivery of reason, but as due more to custom and habit), but is duly wary of the power of reason to give us much more. Mitigated scepticism is thus closer to the attitude fostered by ancient scepticism from Pyrrho through to Sexus Empiricus. Although the phrase Cartesian scepticism is sometimes used, Descartes himself was not a sceptic, but in the method of doubt, uses a sceptical scenario in order to begin the process of finding a secure mark of knowledge. Descartes himself trusts a category of clear and distinct ideas, not far removed from the phantasia kataleptiké of the Stoics.
Scepticism should not be confused with relativism, which is a doctrine about the nature of truth, and may be motivated by trying to avoid scepticism. Nor is it identical with eliminativism, which counsels abandoning an area of thought altogether, not because we cannot know the truth, but because there are no truth capable of being framed in the terms we use.
Descartes theory of knowledge starts with the quest for certainty, for an indubitable starting-point or foundation on the basis alone of which progress is possible. This is eventually found in the celebrated Cogito ergo sum: I think therefore I am. By locating the point of certainty in my own awareness of my own self, Descartes gives a first-person twist to the theory of knowledge that dominated them following centuries in spite of various counter-attacks on behalf of social and public starting-point. The metaphysics associated with this priority is the famous Cartesian dualism, or separation of mind and matter into two different but interacting substances, Descartes rigorously and rightly sees that it takes divine dispensation to certify any relationship between the two realms thus divided, and to prove the reliability of the senses invokes a clear and distinct perception of highly dubious proofs of the existence of a benevolent deity. This has not met general acceptance: as Hume drily puts it, to have recourse to the veracity of the supreme Being, in order to prove the veracity of our senses, is surely making a very unexpected circuit.
In his own time Descartes conception of the entirely separate substance of the mind was recognized to give rise to insoluble problems of the nature of the causal connexion between the two. It also gives rise to the problem, insoluble in its own terms, of other minds. Descartes notorious denial that non-human animals are conscious is a stark illustration of the problem. In his conception of matter Descartes also gives preference to rational cogitation over anything derived from the senses. Since we can conceive of the matter of a ball of wax surviving changes to its sensible qualities, matter is not an empirical concept, but eventually an entirely geometrical one, with extension and motion as its only physical nature. Descartes thought, as reflected in Leibniz, that the qualities of sense experience have no resemblance to qualities of things, so that knowledge of the external world is essentially knowledge of structure rather than of filling. On this basis Descartes erects a remarkable physics. Since matter is in effect the same as extension there can be no empty space or void, since there is no empty space motion is not a question of occupying previously empty space, but is to be thought of in terms of vortices (like the motion of a liquid).
Although the structure of Descartes epistemology, theory of mind, and theory of matter have ben rejected many times, their relentless exposure of the hardest issues, their exemplary clarity, and even their initial plausibility, all contrive to make him the central point of reference for modern philosophy.
The self conceived as Descartes presents it in the first two Meditations: aware only of its own thoughts, and capable of disembodied existence, neither situated in a space nor surrounded by others. This is the pure self of I-ness that we are tempted to imagine as a simple unique thing that make up our essential identity. Descartes view that he could keep hold of this nugget while doubting everything else is criticized by Lichtenberg and Kant, and most subsequent philosophers of mind.
Descartes holds that we do not have any knowledge of any empirical proposition about anything beyond the contents of our own minds. The reason, roughly put, is that there is a legitimate doubt about all such propositions because there is no way to deny justifiably that our senses are being stimulated by some cause (an evil spirit, for example) which is radically different from the objects that we normally think affect our senses.
He also points out, that the senses (sight, hearing, touch, etc., are often unreliable, and it is prudent never to trust entirely those who have deceived us even once, he cited such instances as the straight stick that looks ben t in water, and the square tower that looks round from a distance. This argument of illusion, has not, on the whole, impressed commentators, and some of Descartes contemporaries pointing out that since such errors become known as a result of further sensory information, it cannot be right to cast wholesale doubt on the evidence of the senses. But Descartes regarded the argument from illusion as only the first stage in a softening up process which would lead the mind away from the senses. He admits that there are some cases of sense-base belief about which doubt would be insane, e.g., the belief that I am sitting here by the fire, wearing a winter dressing gown.
Descartes was to realize that there was nothing in this view of nature that could explain or provide a foundation for the mental, or from direct experience as distinctly human. In a mechanistic universe, he said, there is no privileged place or function for mind, and the separation between mind and matter is absolute. Descartes was also convinced, that the immaterial essences that gave form and structure to this universe were coded in geometrical and mathematical ideas, and this insight led him to invent algebraic geometry.
A scientific understanding of these ideas could be derived, said Descartes, with the aid of precise deduction, and he also claimed that the contours of physical reality could be laid out in three-dimensional coordinates. Following the publication of Newtons Principia Mathematica in 1687, reductionism and mathematical modelling became the most powerful tools of modern science. And the dream that the entire physical world could be known and mastered through the extension and refinement of mathematical theory became the central feature and guiding principle of scientific knowledge.
Having to its recourse of knowledge, its cental questions include the origin of knowledge, the place of experience in generating knowledge, and the place of reason in doing so, the relationship between knowledge and certainty, and between knowledge and the impossibility of error, the possibility of universal scepticism, and the changing forms of knowledge that arise from new conceptualizations of the world. All of these issues link with other central concerns of philosophy, such as the nature of truth and the natures of experience and meaning.
Foundationalism was associated with the ancient Stoics, and in the modern era with Descartes (1596-1650). Who discovered his foundations in the clear and distinct ideas of reason? Its main opponent is Coherentism, or the view that a body of propositions mas be known without a foundation in certainty, but by their interlocking strength, than as a crossword puzzle may be known to have been solved correctly even if each answer, taken individually, admits of uncertainty. Difficulties at this point led the logical passivists to abandon the notion of an epistemological foundation altogether, and to flirt with the coherence theory of truth. It is widely accepted that trying to make the connexion between thought and experience through basic sentences depends on an untenable myth of the given.
Meanwhile, the truth conditions of a statement is the condition the world must meet if the statement is to be true. To know this condition is equivalent to knowing the meaning of the statement. Although his sounds as if it gives a solid anchorage when in turns out that the truth condition can only be defined by repeating the very same statement. The truth condition of 'snow is white' is that snow is white, the truth condition of 'Britain would have capitulated had Hitler invaded' is that Britain would have capitulated had Hitler invaded. It is disputed whether this element of running-on-the-spot disqualifies truth conditions from playing the central role in a substantive theory of meaning. Truth-conditional theories of meaning are sometimes opposed by the view that to know the meaning of a statement is to be able to use it in a network of inferences.
The view that the role of sentences in inference gives a more important key to their meaning than their 'external' reflation to things in the world. The meaning of a sentence becomes its place in a network =of inferences that it legitimates. Also known as functional role semantics, procedural semantics, or conceptual role semantics. The view bears some relation to the coherence theory of truth and suffers from the same suspicion that it divorces meaning from any suspicion ta it divorces meaning from any clear association with things in the world.
Still, in spite of these concerns, the problem, least of mention, is of defining knowledge in terms of true beliefs plus some favoured relations between the believer and the facts that began with Platos view in the Theaetetus, that knowledge is true belief, and some logos. Due of its nonsynthetic epistemology, the enterprising of studying the actual formation of knowledge by human beings, without aspiring to certify those processes as rational, or its proof against scepticism or even apt to yield the truth. Natural epistemology would therefore blend into the psychology of learning and the study of episodes in the history of science. The scope for external or philosophical reflection of the kind that might result in scepticism or its refutation is markedly diminished. Despite the fact that the terms of modernity are so distinguished as exponents of the approach include Aristotle, Hume, and J. S. Mills.
The task of the philosopher of a discipline would then be to reveal the correct method and to unmask counterfeits. Although this belief lay behind much positivist philosophy of science, few philosophers now subscribe to it. It places too well a confidence in the possibility of a purely previous first philosophy, or viewpoint beyond that of the work ones way of practitioners, from which their best efforts can be measured as good or bad. These standpoints now seem that too many philosophers to be fanciful, that the more modest of tasks that are actually adopted at various historical stages of investigation into different areas with the aim not so much of criticizing but more of systematization, in the presuppositions of a particular field at a particular tie. There is still a role for local methodological disputes within the community investigators of some phenomenon, with one approach charging that another is unsound or unscientific, but logic and philosophy will not, on the modern view, provide an independent arsenal of weapons for such battles, which indeed often come to seem more like political bids for ascendancy within a discipline.
This is an approach to the theory of knowledge that sees an important connexion between the growth of knowledge and biological evolution. An evolutionary epistemologist claims that the development of human knowledge processed through some natural selection process, the best example of which is Darwin's theory of biological natural selection. There is a widespread misconception that evolution proceeds according to some plan or direct, but it has neither, and the role of chance ensures that its future course will be unpredictable. Random variations in individual organisms create tiny differences in their Darwinian fitness. Some individuals have more offsprings than others, and the characteristics that increased their fitness thereby become more prevalent in future generations. Once upon a time, at least a mutation occurred in a human population in tropical Africa that changed the haemoglobin molecule in a way that provided resistance to malaria. This enormous advantage caused the new gene to spread, with the unfortunate consequence that sickle-cell anaemia came to exist.
Chance can influence the outcome at each stage: First, in the creation of genetic mutation, second, in wether the bearer lives long enough to show its effects, thirdly, in chance events that influence the individuals actual reproductive success, and fourth, in whether a gene even if favoured in one generation, is, happenstance, eliminated in the next, and finally in the many unpredictable environmental changes that will undoubtedly occur in the history of any group of organisms. As Harvard biologist Stephen Jay Gould has so vividly expressed that process over again, the outcome would surely be different. Not only might there not be humans, there might not even be anything like mammals.
We will often emphasis the elegance of traits shaped by natural selection, but the common idea that nature creates perfection needs to be analysed carefully. The extent to which evolution achieves perfection depends on exactly what you mean. If you mean Does natural selections always take the best path for the long-term welfare of a species? The answer is no. That would require adaption by group selection, and this is, unlikely. If you mean Does natural selection creates every adaption that would be valuable? The answer again, is no. For instance, some kinds of South American monkeys can grasp branches with their tails. The trick would surely also be useful to some African species, but, simply because of bad luck, none have it. Some combination of circumstances started some ancestral South American monkeys using their tails in ways that ultimately led to an ability to grab onto branches, while no such development took place in Africa. Mere usefulness of a trait does not necessitate a means in that what will understandably endure phylogenesis or evolution.
This is an approach to the theory of knowledge that sees an important connexion between the growth of knowledge and biological evolution. An evolutionary epistemologist claims that the development of human knowledge proceeds through some natural selection process, the best example of which is Darwin's theory of biological natural selection. The three major components of the model of natural selection are variation selection and retention. According to Darwin's theory of natural selection, variations are not pre-designed to do certain functions. Rather, these variations that do useful functions are selected. While those that do not employ of some coordinates in that are fully purposed are also, not to any of a selection, as duly influenced of such a selection, that may have responsibilities for the visual aspects of a variational intentionally occurs. In the modern theory of evolution, genetic mutations provide the blind variations: Blind in the sense that variations are not influenced by the effects they would have-the likelihood of a mutation is not correlated with the benefits or liabilities that mutation would confer on the organism, the environment provides the filter of selection, and reproduction provides the retention. Fatnesses are achieved because those organisms with features that make them less adapted for survival do not survive in connexion with other organisms in the environment that have features that are better adapted. Evolutionary epistemology applies this blind variation and selective retention model to the growth of scientific knowledge and to human thought processes overall.
The parallel between biological evolution and conceptual or epistemic evolution can be seen as either literal or analogical. The literal version of evolutionary epistemology deeds biological evolution as the main cause of the growth of knowledge. On this view, called the evolution of cognitive mechanic programs, by Bradie (1986) and the Darwinian approach to epistemology by Ruse (1986), that growth of knowledge occurs through blind variation and selective retention because biological natural selection itself is the cause of epistemic variation and selection. The most plausible version of the literal view does not hold that all human beliefs are innate but rather than the mental mechanisms that guide the acquisitions of non-innate beliefs are themselves innately and the result of biological natural selection. Ruse, (1986) demands of a version of literal evolutionary epistemology that he links to sociolology (Rescher, 1990).
On the analogical version of evolutionary epistemology, called the evolution of theories program, by Bradie (1986). The Spenserians approach (after the nineteenth century philosopher Herbert Spencer) by Ruse (1986), the development of human knowledge is governed by a process analogous to biological natural selection, rather than by an instance of the mechanism itself. This version of evolutionary epistemology, introduced and elaborated by Donald Campbell (1974) as well as Karl Popper, sees the [partial] fit between theories and the world as explained by a mental process of trial and error known as epistemic natural selection.
Both versions of evolutionary epistemology are usually taken to be types of naturalized epistemology, because both take some empirical facts as a starting point for their epistemological project. The literal version of evolutionary epistemology begins by accepting evolutionary theory and a materialist approach to the mind and, from these, constructs an account of knowledge and its developments. In contrast, the metaphorical version does not require the truth of biological evolution: It simply draws on biological evolution as a source for the model of natural selection. For this version of evolutionary epistemology to be true, the model of natural selection need only apply to the growth of knowledge, not to the origin and development of species. Crudely put, evolutionary epistemology of the analogical sort could still be true even if Creationism is the correct theory of the origin of species.
Although they do not begin by assuming evolutionary theory, most analogical evolutionary epistemologists are naturalized epistemologists as well, their empirical assumptions, least of mention, implicitly come from psychology and cognitive science, not evolutionary theory. Sometimes, however, evolutionary epistemology is characterized in a seemingly non-naturalistic fashion. Campbell (1974) says that if one is expanding knowledge beyond what one knows, one has no choice but to explore without the benefit of wisdom, i.e., blindly. This, Campbell admits, makes evolutionary epistemology close to being a tautology (and so not naturalistic). Evolutionary epistemology does assert the analytic claim that when expanding ones knowledge beyond what one knows, one must precessed to something that is already known, but, more interestingly, it also makes the synthetic claim that when expanding ones knowledge beyond what one knows, one must proceed by blind variation and selective retention. This claim is synthetic because it can be empirically falsified. The central claim of evolutionary epistemology is synthetic, not analytic. If the central contradictory, which they are not. Campbell is right that evolutionary epistemology does have the analytic feature he mentions, but he is wrong to think that this is a distinguishing feature, since any plausible epistemology has the same analytic feature (Skagestad, 1978).
Two extraordinary issues lie to awaken the literature that involves questions about realism, i.e., What metaphysical commitment does an evolutionary epistemologist have to make? Progress, i.e., according to evolutionary epistemology, does knowledge develop toward a goal? With respect to realism, many evolutionary epistemologists endorse that is called hypothetical realism, a view that combines a version of epistemological scepticism and tentative acceptance of metaphysical realism. With respect to progress, the problem is that biological evolution is not goal-directed, but the growth of human knowledge seems to be. Campbell (1974) worries about the potential dis-analogy here but is willing to bite the stone of conscience and admit that epistemic evolution progress toward a goal (truth) while biologic evolution does not. Many another has argued that evolutionary epistemologists must give up the truth-topic sense of progress because a natural selection model is in essence, is non-teleological, as an alternative, following Kuhn (1970), and embraced in the accompaniment with evolutionary epistemology.
Among the most frequent and serious criticisms levelled against evolutionary epistemology is that the analogical version of the view is false because epistemic variation is not blind (Skagestad, 1978, 613-16, and Ruse, 1986, ch.2 (. Stein and Lipton (1990) have argued, however, that this objection fails because, while epistemic variation is not random, its constraints come from heuristics that, for the most part, are selective retention. Further, Stein and Lipton come to the conclusion that heuristics are analogous to biological pre-adaptions, evolutionary pre-biological pre-adaptions, evolutionary cursors, such as a half-wing, a precursor to a wing, which have some function other than the function of their descendable structures: The function of descendable structures, the function of their descendable character embodied to its structural foundations, is that of the guidelines of epistemic variation is, on this view, not the source of disanalogy, but the source of a more articulated account of the analogy.
Many evolutionary epistemologists try to combine the literal and the analogical versions (Bradie, 1986, and Stein and Lipton, 1990), saying that those beliefs and cognitive mechanisms, which are innate results from natural selection of the biological sort and those that are innate results from natural selection of the epistemic sort. This is reasonable as long as the two parts of this hybrid view are kept distinct. An analogical version of evolutionary epistemology with biological variation as its only source of blondeness would be a null-set theory: This would be the case if all our beliefs are innate or if our non-innate beliefs are not the result of blind variation. An appeal to the legitimate way to produce a hybrid version of evolutionary epistemology since doing so trivializes the theory. For similar reasons, such an appeal will not save an analogical version of evolutionary epistemology from arguments to the effect that epistemic variation is blind (Stein and Lipton, 1990).
Although it is a new approach to theory of knowledge, evolutionary epistemology has attracted much attention, primarily because it represents a serious attempt to flesh out a naturalized epistemology by drawing on several disciplines. In science is relevant to understanding the nature and development of knowledge, then evolutionary theory is among the disciplines worth a look. Insofar as evolutionary epistemology looks there, it is an interesting and potentially fruitful epistemological programme.
What makes a belief justified and what makes a true belief knowledge? Thinking that whether a belief deserves one of these appraisals is natural depends on what caused the depicted branch of knowledge to have the belief. In recent decades a number of epistemologists have pursued this plausible idea with a variety of specific proposals. Some causal theories of knowledge have it that a true belief that 'p' is knowledge just in case it has the right causal connexion to the fact that 'p'. Such a criterion can be applied only to cases where the fact that 'p' is a sort that can reach causal relations, as this seems to exclude mathematically and there necessary facts and perhaps any fact expressed by a universal generalization, and proponents of this sort of criterion have usually supposed that it is limited to perceptual representations where knowledge of particular facts about subjects environments.
For example, Armstrong (1973), predetermined that a position held by a belief in 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 dictated that, for any subject '?' and perceived object 'y', has those properties and believed that 'y' is 'F', then 'y' is 'F?'. (Dretske (1981) offers a rather similar account, in terms of the beliefs being caused by a signal received by the perceiver that carries the information that the object is 'F').
Goldman (1986) has proposed an importantly different causal criterion, namely, that a true belief is knowledge if it is produced by a type of process that is globally and locally reliable. Causing true beliefs is sufficiently high is globally reliable if its propensity. Local reliability has to do with whether the process would have produced a similar but false belief in certain counterfactual situations alternative to the actual situation. This way of marking off true beliefs that are knowledge does not require the fact believed to be causally related to the belief, and so it could in principle apply to knowledge of any kind of truth.
Goldman requires the global reliability of the belief-producing process for the justification of a belief, he requires it also for knowledge because justification is required for knowledge. What he requires for knowledge, but does not require for justification is local reliability. His idea is that a justified true belief is knowledge if the type of process that produced it would not have produced it in any relevant counterfactual situation in which it is false. Its purported theory of relevant alternatives 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.
According to the theory, we need to qualify rather than deny the absolute character of knowledge. We should view knowledge as absolute, reactive to certain standards (Dretske, 1981 and Cohen, 1988). That is to say, in order to know a proposition, our evidence need not eliminate all the alternatives to that preposition, rather for us, that we can know our evidence eliminates al the relevant alternatives, where the set of relevant alternatives (a proper subset of the set of all alternatives) is determined by some standard. Moreover, according to the relevant alternatives view, and the standards determining that of the alternatives is raised by the sceptic are not relevant. If this is correct, then the fact that our evidence cannot eliminate the sceptics alternative does not lead to a sceptical result. For knowledge requires only the elimination of the relevant alternatives, so the relevant alternative view preserves in both strands in our thinking about knowledge. Knowledge is an absolute concept, but because the absoluteness is relative to a standard, we can know many things.
The interesting thesis that counts as a causal theory of justification (in the meaning of causal theory intended here) are that: A belief is justified in case it was produced by a type of process that is globally reliable, that is, its propensity to produce true beliefs-that can be defined (to a good approximation) As the proportion of the beliefs it produces (or would produce) that is true is sufficiently great.
This proposal will be adequately specified only when we are told (I) how much of the causal history of a belief counts as part of the process that produced it, (ii) which of the many types to which the process belongs is the type for purposes of assessing its reliability, and (iii) relative to why the world or worlds are the reliability of the process type to be assessed the actual world, the closet worlds containing the case being considered, or something else? Let us look at the answers suggested by Goldman, the leading proponent of a reliabilist account of justification.
(1) Goldman (1979, 1986) takes the relevant belief producing process to include only the proximate causes internal to the believer. So, for instance, when recently I believed that the telephone was ringing the process that produced the belief, for purposes of assessing reliability, includes just the causal chain of neural events from the stimulus in my ears inward ands other concurrent brain states on which the production of the belief depended: It does not include any events I the telephone, or the sound waves travelling between it and my ears, or any earlier decisions I made that were responsible for my being within hearing distance of the telephone at that time. It does seem intuitively plausible of a belief depends should be restricted to internal ones proximate to the belief. Why? Goldman does not tell us. One answer that some philosophers might give is that it is because a beliefs being justified at a given time can depend only on facts directly accessible to the believers awareness at that time (for, if a believer ought to holds only beliefs that are justified, she can tell at any given time what beliefs would then be justified for her). However, this cannot be Goldmans answer because he wishes to include in the relevantly process neural events that are not directly accessible to consciousness.
(2) Once the reliabilist has told us how to delimit the process producing a belief, he needs to tell us which of the many types to which it belongs is the relevant type. Coincide, for example, the process that produces your current belief that you see a book before you. One very broad type to which that process belongs would be specified by coming to a belief as to something one perceives as a result of activation of the nerve endings in some ones sense-organs, as following a set arrangement, design or pattern that an orderly procedure houses the surrounding order. A constricted type, in which that unvarying processes belong would be specified by coming to a belief as to what one sees as a result of activation of the nerve endings in ones retinas. A still narrower type would be given by inserting in the last specification a description of a particular pattern of activation of the retinas particular cells. Which of these or other types to which the token process belongs is the relevant type for determining whether the type of process that produced your belief is reliable?
(3) Should the justification of a belief in a hypothetical, non-actual example turn on the reliability of the belief-producing process in the possible world of the example? That leads to the implausible result in that in a world run by a Cartesian demon-a powerful being who causes the other inhabitants of the world to have rich and coherent sets of perceptual and memory impressions that are all illusory the perceptual and memory beliefs of the other inhabitants are all unjustified, for they are produced by processes that are, in that world, quite unreliable. If we say instead that it is the reliability of the processes in the actual world that matters, we get the equally undesired result that if the actual world is a demon world then our perceptual and memory beliefs are all unjustified.
Goldmans solution (1986) is that the reliability of the process types is to be gauged by their performance in normal worlds, that is, worlds consistent with our general beliefs about the world . . . about the sorts of objects, events and changes that occur in it. This gives the intuitively right results for the problem cases just considered, but indicate by inference an implausible proportion of making compensations for alternative tending toward justification. If there are people whose general beliefs about the world are very different from mine, then there may, on this account, be beliefs that I can correctly regard as justified (ones produced by processes that are reliable in what I take to be a normal world) but that they can correctly regard as not justified.
However, these questions about the specifics are dealt with, and there are reasons for questioning the basic idea that the criterion for a beliefs being justified is its being produced by a reliable process. Thus and so, doubt about the sufficiency of the reliabilist criterion is prompted by a sort of example that Goldman himself uses for another purpose. Suppose that being in brain-state 'B' always causes one to believe that one is in brain-states 'B'. Here the reliability of the belief-producing process is perfect, but we can readily imagine circumstances in which a person goes into grain-state 'B' and therefore has the belief in question, though this belief is by no means justified (Goldman, 1979). Doubt about the necessity of the condition arises from the possibility that one might know that one has strong justification for a certain belief and yet that knowledge is not what actually prompts one to believe. For example, I might be well aware that, having read the weather bureaus forecast that it will be much hotter tomorrow. I have ample reason to be confident that it will be hotter tomorrow, but I irrationally refuse to believe it until Wally tells me that he feels in his joints that it will be hotter tomorrow. Here what prompts me to believe or not justify my belief, but my belief is nevertheless justified by my knowledge of the weather bureaus prediction and of its evidential force: I can advert to any disavowable inference that I ought not to be holding the belief. Indeed, given my justification and that there is nothing untoward about the weather bureaus prediction, my belief, if true, can be counted knowledge. This sorts of example raises doubt whether any causal conditions, are it a reliable process or something else, is necessary for either justification or knowledge.
Philosophers and scientists alike, have often held that the simplicity or parsimony of a theory is one reason, all else being equal, to view it as true. This goes beyond the unproblematic idea that simpler theories are easier to work with and gave greater aesthetic appeal.
One theory is more parsimonious than another when it postulates fewer entities, processes, changes or explanatory principles: The simplicity of a theory depends on essentially the same consecrations, though parsimony and simplicity obviously become the same. Demanding clarification of what makes one theory simpler or more parsimonious is plausible than another before the justification of these methodological maxims can be addressed.
If we set this description problem to one side, the major normative problem is as follows: What reason is there to think that simplicity is a sign of truth? Why should we accept a simpler theory, instead of its more complex rivals? Newton and Leibniz thought that the answer was to be found in a substantive fact about nature. In Principia, Newton laid down as his first Rule of Reasoning in Philosophy that nature does nothing in vain . . . for Nature is pleased with simplicity and affects not the pomp of superfluous causes. Leibniz hypothesized that the actual world obeys simple laws because Gods' taste for simplicity influenced his decision about which world to actualize.
The tragedy of the Western mind, described by Koyré, is a direct consequence of the stark Cartesian division between mind and world. We discovered the certain principles of physical reality, said Descartes, not by the prejudices of the senses, but by the light of reason, and which thus possess so great evidence that we cannot doubt of their truth. Since the real, or that which actually exists external to ourselves, was in his view only that which could be represented in the quantitative terms of mathematics, Descartes conclude that all quantitative aspects of reality could be traced to the deceitfulness of the senses.
The most fundamental aspect of the Western intellectual tradition is the assumption that there is a fundamental division between the material and the immaterial world or between the realm of matter and the realm of pure mind or spirit. The metaphysical frame-work based on this assumption is known as ontological dualism. As the word dual implies, the framework is predicated on an ontology, or a conception of the nature of God or Being, that assumes reality has two distinct and separable dimensions. The concept of Being as continuous, immutable, and having a prior or separate existence from the world of change dates from the ancient Greek philosopher Parmenides. The same qualities were associated with the God of the Judeo-Christian tradition, and they were considerably amplified by the role played in theology by Platonic and Neoplatonic philosophy.
Nicolas Copernicus, Galileo, Johannes Kepler, and Isaac Newton were all inheritors of a cultural tradition in which ontological dualism was a primary article of faith. Hence the idealization of the mathematical ideal as a source of communion with God, which dates from Pythagoras, provided a metaphysical foundation for the emerging natural sciences. This explains why, the creators of classical physics believed that doing physics was a form of communion with the geometrical and mathematical forms resident in the perfect mind of God. This view would survive in a modified form in what is now known as Einsteinian epistemology and accounts in no small part for the reluctance of many physicists to accept the epistemology associated with the Copenhagen Interpretation.
At the beginning of the nineteenth century, Pierre-Simon LaPlace, along with a number of other French mathematicians, advanced the view that the science of mechanics constituted a complete view of nature. Since this science, by observing its epistemology, had revealed itself to be the fundamental science, the hypothesis of God was, they concluded, entirely unnecessary.
LaPlace is recognized for eliminating not only the theological component of classical physics but the entire metaphysical component as well. The epistemology of science requires, he said, that we proceed by inductive generalizations from observed facts to hypotheses that are tested by observed conformity of the phenomena. What was unique about LaPlaces view of hypotheses was his insistence that we cannot attribute reality to them. Although concepts like force, mass, motion, cause, and laws are obviously present in classical physics, they exist in LaPlaces view only as quantities. Physics is concerned, he argued, with quantities that we associate as a matter of convenience with concepts, and the truth about nature are only the quantities.
As this view of hypotheses and the truth of nature as quantities was extended in the nineteenth century to a mathematical description of phenomena like heat, light, electricity, and magnetism. LaPlaces assumptions about the actual character of scientific truth seemed correct. This progress suggested that if we could remove all thoughts about the nature of or the source of phenomena, the pursuit of strictly quantitative concepts would bring us to a complete description of all aspects of physical reality. Subsequently, figures like Comte, Kirchhoff, Hertz, and Poincaré developed a program for the study of nature hat was quite different from that of the original creators of classical physics.
The seventeenth-century view of physics as a philosophy of nature or as natural philosophy was displaced by the view of physics as an autonomous science that was the science of nature. This view, which was premised on the doctrine of positivism, promised to subsume all of nature with a mathematical analysis of entities in motion and claimed that the true understanding of nature was revealed only in the mathematical description. Since the doctrine of positivism assumes that the knowledge we call physics resides only in the mathematical formalism of physical theory, it disallows the prospect that the vision of physical reality revealed in physical theory can have any other meaning. In the history of science, the irony is that positivism, which was intended to banish metaphysical concerns from the domain of science, served to perpetuate a seventeenth-century metaphysical assumption about the relationship between physical reality and physical theory.
Epistemology since Hume and Kant has drawn back from this theological underpinning. Indeed, the very idea that nature is simple (or uniform) has come in for a critique. The view has taken hold that a preference for simple and parsimonious hypotheses is purely methodological: It is constitutive of the attitude we call scientific and makes no substantive assumption about the way the world is.
A variety of otherwise diverse twentieth-century philosophers of science have attempted, in different ways, to flesh out this position. Two examples must suffice here: Hesse (1969) as, for summaries of other proposals. Popper (1959) holds that scientists should prefer highly falsifiable (improbable) theories: He tries to show that simpler theories are more falsifiable, also Quine (1966), in contrast, sees a virtue in theories that are highly probable, he argues for a general connexion between simplicity and high probability.
Both these proposals are global. They attempt to explain why simplicity should be part of the scientific method in a way that spans all scientific subject matters. No assumption about the details of any particular scientific problem serves as a premiss in Poppers or Quines arguments.
Newton and Leibniz thought that the justification of parsimony and simplicity flows from the hand of God: Popper and Quine try to justify these methodologically median of importance is without assuming anything substantive about the way the world is. In spite of these differences in approach, they have something in common. They assume that all users of parsimony and simplicity in the separate sciences can be encompassed in a single justifying argument. That recent developments in confirmation theory suggest that this assumption should be scrutinized. Good (1983) and Rosenkrantz (1977) has emphasized the role of auxiliary assumptions in mediating the connexion between hypotheses and observations. Whether a hypothesis is well supported by some observations, or whether one hypothesis is better supported than another by those observations, crucially depends on empirical background assumptions about the inference problem here. The same view applies to the idea of prior probability (or, prior plausibility). In of a single hypo-physical science if chosen as an alternative to another even though they are equally supported by current observations, this must be due to an empirical background assumption.
Principles of parsimony and simplicity mediate the epistemic connexion between hypotheses and observations. Perhaps these principles are able to do this because they are surrogates for an empirical background theory. It is not that there is one background theory presupposed by every appeal to parsimony; This has the quantifier order backwards. Rather, the suggestion is that each parsimony argument is justified only to each degree that it reflects an empirical background theory about the subjective matter. On this theory is brought out into the open, but the principle of parsimony is entirely dispensable (Sober, 1988).
This local approach to the principles of parsimony and simplicity resurrects the idea that they make sense only if the world is one way rather than another. It rejects the idea that these maxims are purely methodological. How defensible this point of view is, will depend on detailed case studies of scientific hypothesis evaluation and on further developments in the theory of scientific inference.
It is usually not found of one and the same 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 latter are true if the former is or are. This psychological characterization has occurred over a wider summation of literature under more lesser than inessential variations. Desiring a better characterization of inference is natural. Yet attempts to do so by constructing a fuller psychological explanation fail to comprehend the grounds on which inference will be objectively valid-A point elaborately made by Gottlob Frége. Attempts to understand the nature of inference through the device of the representation of inference by forma-logical calculations or derivations better (1) leave us puzzled about the relation of formal-logical derivations to the informal inferences they are supposedly to represent or reconstruct, and (2) leaves us worried about the sense of such forma derivations. Are these derivations inference? Are not informal inferences needed in order to apply the rules governing the constructions of forma derivations (inferring that this operation is an application of that forma rule)? These are concerns cultivated by, for example, Wittgenstein.
Coming up with an adequate characterization of inference-and even working out what would count as a very adequate characterization here is demandingly by no means nearly some resolved philosophical problem.
The rule of inference, as for raised by Lewis Carroll, the Zeno-like problem of how a proof ever gets started. Suppose I have as premises (I) p and (ii) p q. Can I infer q? Only, it seems, if I am sure of (iii) (p & p q) q. Can I then infer q? Only, it seems, if I am sure that (iv) (p & p q & (p & p q) q) q. For each new axiom (N) I need a further axiom (N + 1) telling me that the set so far implies q, and the regress never stops. The usual solution is to treat a system as containing not only axioms, but also rules of inference, allowing movement from the axioms. The rule modus components allow us to pass from the first premise to ‘q’. Carrolls puzzle shows that distinguishing two theoretical categories is essential, although there may be choice about which theses to put in which category.
Traditionally, a proposition that is not a conditional, as with the affirmative and negative, modern opinion is wary of the distinction, since what appears categorical may vary with the choice of a primitive vocabulary and notation. Apparently categorical propositions may also turn out to be disguised conditionals: 'X' is intelligent (categorical?) Equivalent, if 'X' is given a range of tasks, she does them better than many people (conditional?). The problem is not merely one of classification, since deep metaphysical questions arise when facts that seem to be categorical and therefore solid, come to seem by contrast conditional, or purely hypothetical or potential.
Its condition of some classified necessity is so proven sufficient that if 'p' is a necessary condition of 'q', then 'q' cannot be true unless 'p'; is true? If p is a sufficient condition, thus steering well is a necessary condition of driving in a satisfactory manner, but it is not sufficient, for one can steer well but drive badly for other reasons. Confusion may result if the distinction is not heeded. For example, the statement that 'A' causes 'B' may be interpreted to mean that 'A' is itself a sufficient condition for 'B', or that it is only a necessary condition fort 'B', or perhaps a necessary parts of a total sufficient condition. Lists of conditions to be met for satisfying some administrative or legal requirement frequently attempt to give individually necessary and jointly sufficient sets of conditions.
What is more, that if any proposition of the form if 'p' then 'q'. The condition hypothesized, 'p'. Is called the antecedent of the conditionals, and 'q', the consequent? Various kinds of conditional have been distinguished. Its weakest is that of material implication, merely telling that either 'not-p', or 'q'. Stronger conditionals include elements of modality, corresponding to the thought that if 'p' is truer then 'q' must be true. Ordinary language is very flexible in its use of the conditional form, and there is controversy whether conditionals are better treated semantically, yielding differently finds of conditionals with different meanings, or pragmatically, in which case there should be one basic meaning with surface differences arising from other implicatures.
It follows from the definition of strict implication that a necessary proposition is strictly implied by any proposition, and that an impossible proposition strictly implies any proposition. If strict implication corresponds to 'q' follows from 'p', then this means that a necessary proposition follows from anything at all, and anything at all follows from an impossible proposition. This is a problem if we wish to distinguish between valid and invalid arguments with necessary conclusions or impossible premises.
The Humean problem of induction is that if we would suppose that there is some property A concerning and observational or an experimental situation, and that out of a large number of observed instances of 'A', some fraction m/n (possibly equal to 1) has also been instances of some logically independent property 'B'. Suppose further that the background proportionate circumstances not specified in these descriptions have been varied to a substantial degree and that there is no collateral information available concerning the frequency of B’s among A’s or concerning causal or nomologically connections between instances of 'A' and instances of 'B'.
In this situation, an enumerative or instantial induction inference would move rights from the premise, that m/n of observed 'A's are 'B's to the conclusion that approximately m/n of all 'A's are 'B's. (The usual probability qualification will be assumed to apply to the inference, rather than being part of the conclusion.) Here the class of As should be taken to include not only unobserved 'A's' and future 'A's', but also possible or hypothetical As (an alternative conclusion would concern the probability or likelihood of the adjacently observed 'A' being a 'B').
The traditional or Humean problem of induction, often referred to simply as the problem of induction, is the problem of whether and why inferences that fit this schema should be considered rationally acceptable or justified from an epistemic or cognitive standpoint, i.e., whether and why reasoning in this way is likely to lead to true claims about the world. Is there any sort of argument or rationale that can be offered for thinking that conclusions reached in this way are likely to be true in the corresponding premisses is true ?or even that their chances of truth are significantly enhanced?
Humes discussion of this issue deals explicitly only with cases where all observed 'A's' are 'B's' and his argument applies just as well to the more general case. His conclusion is entirely negative and sceptical: Inductive inferences are not rationally justified, but are instead the result of an essentially a-rational process, custom or habit. Hume (1711-76) challenges the proponent of induction to supply a cogent ligne of reasoning that leads from an inductive premise to the corresponding conclusion and offers an extremely influential argument in the form of a dilemma (a few times referred to as Humes fork), that either our actions are determined, in which case we are not responsible for them, or they are the result of random events, under which case we are also not responsible for them.
Such reasoning would, he argues, have to be either deductively demonstrative reasoning in the concerning relations of ideas or experimental, i.e., empirical, that reasoning concerning matters of fact or existence. It cannot be the former, because all demonstrative reasoning relies on the avoidance of contradiction, and it is not a contradiction to suppose that the course of nature may change, that an order that was observed in the past and not of its continuing against the future: But it cannot be, as the latter, since any empirical argument would appeal to the success of such reasoning about an experience, and the justifiability of generalizing from experience are precisely what is at issue-so that any such appeal would be question-begging. Hence, Hume concludes that there can be no such reasoning (1748).
An alternative version of the problem may be obtained by formulating it with reference to the so-called Principle of Induction, which says roughly that the future will resemble the past or, somewhat better, that unobserved cases will resemble observed cases. An inductive argument may be viewed as enthymematic, with this principle serving as a supposed premiss, in which case the issue is obviously how such a premiss can be justified. Humes argument is then that no such justification is possible: The principle cannot be justified a prior because having possession of been true in experiences without obviously begging the question is not contradictory to have possession of been true in experiences without obviously begging the question.
The predominant recent responses to the problem of induction, at least in the analytic tradition, in effect accept the main conclusion of Humes argument, namely, that inductive inferences cannot be justified in the sense of showing that the conclusion of such an inference is likely to be true if the premise is true, and thus attempt to find another sort of justification for induction. Such responses fall into two main categories: (I) Pragmatic justifications or vindications of induction, mainly developed by Hans Reichenbach (1891-1953), and (ii) ordinary language justifications of induction, whose most important proponent is Frederick, Peter Strawson (1919-). In contrast, some philosophers still attempt to reject Humes dilemma by arguing either (iii) That, contrary to appearances, induction can be inductively justified without vicious circularity, or (iv) that an anticipatory justification of induction is possible after all. In that:
(1) Reichenbachs view is that induction is best regarded, not as a form of inference, but rather as a method for arriving at posits regarding, i.e., the proportion of As remain additionally of B’s. Such a posit is not a claim asserted to be true, but is instead an intellectual wager analogous to a bet made by a gambler. Understood in this way, the inductive method says that one should posit that the observed proportion is, within some measure of an approximation, the true proportion and then continually correct that initial posit as new information comes in.
The gamblers bet is normally an appraised posit, i.e., he knows the chances or odds that the outcome on which he bets will actually occur. In contrast, the inductive bet is a blind posit: We do not know the chances that it will succeed or even that success is that it will succeed or even that success is possible. What we are gambling on when we make such a bet is the value of a certain proportion in the independent world, which Reichenbach construes as the limit of the observed proportion as the number of cases increases to infinity. Nevertheless, we have no way of knowing that there are even such a limit, and no way of knowing that the proportion of As are in addition of B’s converges in the end on some stable value than varying at random. If we cannot know that this limit exists, then we obviously cannot know that we have any definite chance of finding it.
What we can know, according to Reichenbach, is that if there is a truth of this sort to be found, the inductive method will eventually find it. That this is so is an analytic consequence of Reichenbachs account of what it is for such a limit to exist. The only way that the inductive method of making an initial posit and then refining it in light of new observations can fail eventually to arrive at the true proportion is if the series of observed proportions never converges on any stable value, which means that there is no truth to be found pertaining the proportion of 'A's' additionally constitute 'B's'. Thus, induction is justified, not by showing that it will succeed or indeed, that it has any definite likelihood of success, but only by showing that it will succeed if success is possible. Reichenbachs claim is that no more than this can be established for any method, and hence that induction gives us our best chance for success, our best gamble in a situation where there is no alternative to gambling.
This pragmatic response to the problem of induction faces several serious problems. First, there are indefinitely many other methods for arriving at posits for which the same sort of defence can be given-methods that yield the same result as the inductive method over time but differ arbitrarily before long. Despite the efforts of others, it is unclear that there is any satisfactory way to exclude such alternatives, in order to avoid the result that any arbitrarily chosen short-term posit is just as reasonable as the inductive posit. Second, even if there is a truth of the requisite sort to be found, the inductive method is only guaranteed to find it or even to come within any specifiable distance of it in the indefinite long run. All the same, any actual application of inductive results always takes place in the presence to the future eventful states in making the relevance of the pragmatic justification to actual practice uncertainly. Third, and most important, it needs to be emphasized that Reichenbachs response to the problem simply accepts the claim of the Humean sceptic that an inductive premise never provides the slightest reason for thinking that the corresponding inductive conclusion is true. Reichenbach himself is quite candid on this point, but this does not alleviate the intuitive implausibility of saying that we have no more reason for thinking that our scientific and commonsense conclusions that result in the induction of it . . . is true than, to use Reichenbachs own analogy (1949), a blind man wandering in the mountains who feels an apparent trail with his stick has for thinking that following it will lead him to safety.
An approach to induction resembling Reichenbachs claiming in that those particular inductive conclusions are posits or conjectures, than the conclusions of cogent inferences, is offered by Popper. However, Poppers view is even more overtly sceptical: It amounts to saying that all that can ever be said in favours of the truth of an inductive claim is that the claim has been tested and not yet been shown to be false.
(2) The ordinary language response to the problem of induction has been advocated by many philosophers, none the less, Strawson claims that the question whether induction is justified or reasonable makes sense only if it tacitly involves the demand that inductive reasoning meet the standards appropriate to deductive reasoning, i.e., that the inductive conclusions are shown to follow deductively from the inductive assumption. Such a demand cannot, of course, be met, but only because it is illegitimate: Inductive and deductive reasons are simply fundamentally different kinds of reasoning, each possessing its own autonomous standards, and there is no reason to demand or expect that one of these kinds meet the standards of the other. Whereas, if induction is assessed by inductive standards, the only ones that are appropriate, then it is obviously justified.
The problem here is to understand to what this allegedly obvious justification of an induction amount. In his main discussion of the point (1952), Strawson claims that it is an analytic true statement that believing it a conclusion for which there is strong evidence is reasonable and an analytic truth that inductive evidence of the sort captured by the schema presented earlier constitutes strong evidence for the corresponding inductive conclusion, thus, apparently yielding the analytic conclusion that believing it a conclusion for which there is inductive evidence is reasonable. Nevertheless, he also admits, indeed insists, that the claim that inductive conclusions will be true in the future is contingent, empirical, and may turn out to be false (1952). Thus, the notion of reasonable belief and the correlative notion of strong evidence must apparently be understood in ways that have nothing to do with likelihood of truth, presumably by appeal to the standard of reasonableness and strength of evidence that are accepted by the community and are embodied in ordinary usage.
Understood in this way, Strawsons response to the problem of inductive reasoning does not speak to the central issue raised by Humean scepticism: The issue of whether the conclusions of inductive arguments are likely to be true. It amounts to saying merely that if we reason in this way, we can correctly call ourselves reasonable and our evidence strong, according to our accepted community standards. Nevertheless, to the undersealing of issue of wether following these standards is a good way to find the truth, the ordinary language response appears to have nothing to say.
(3) The main attempts to show that induction can be justified inductively have concentrated on showing that such as a defence can avoid circularity. Skyrms (1975) formulate, perhaps the clearest version of this general strategy. The basic idea is to distinguish different levels of inductive argument: A first level in which induction is applied to things other than arguments: A second level in which it is applied to arguments at the first level, arguing that they have been observed to succeed so far and hence are likely to succeed in general: A third level in which it is applied in the same way to arguments at the second level, and so on. Circularity is allegedly avoided by treating each of these levels as autonomous and justifying the argument at each level by appeal to an argument at the next level.
One problem with this sort of move is that even if circularity is avoided, the movement to higher and higher levels will clearly eventually fail simply for lack of evidence: A level will reach at which there have been enough successful inductive arguments to provide a basis for inductive justification at the next higher level, and if this is so, then the whole series of justifications collapses. A more fundamental difficulty is that the epistemological significance of the distinction between levels is obscure. If the issue is whether reasoning in accord with the original schema offered above ever provides a good reason for thinking that the conclusion is likely to be true, then it still seems question-begging, even if not flatly circular, to answer this question by appeal to anther argument of the same form.
(4) The idea that induction can be justified on a pure priori basis is in one way the most natural response of all: It alone treats an inductive argument as an independently cogent piece of reasoning whose conclusion can be seen rationally to follow, although perhaps only with probability from its premise. Such an approach has, however, only rarely been advocated (Russell, 19132 and BonJour, 1986), and is widely thought to be clearly and demonstrably hopeless.
Many on the reasons for this pessimistic view depend on general epistemological theses about the possible or nature of anticipatory cognition. Thus if, as Quine alleges, there is no a prior justification of any kind, then obviously a prior justification for induction is ruled out. Or if, as more moderate empiricists have in claiming some preexistent knowledge should be analytic, then again a prevenient justification for induction seems to be precluded, since the claim that if an inductive premise is truer, then the conclusion is likely to be true does not fit the standard conceptions of analyticity. A consideration of these matters is beyond the scope of the present spoken exchange.
There are, however, two more specific and quite influential reasons for thinking that an early approach is impossible that can be briefly considered, first, there is the assumption, originating in Hume, but since adopted by very many of others, that a move forward in the defence of induction would have to involve turning induction into deduction, i.e., showing, per impossible, that the inductive conclusion follows deductively from the premise, so that it is a forma contradiction to accept the latter and deny the former. However, it is unclear why a prior approach need be committed to anything this strong. It would be enough if it could be argued that it is deductively unlikely that such a premise is true and corresponding conclusion false.
Reichenbach defends his view that pragmatic justification is the best that is possible by pointing out that a completely chaotic world in which there is simply not true conclusion to be found as to the proportion of As in addition that occur of, but B’s is neither impossible nor unlikely from a purely a prior standpoint, the suggestion being that therefore there can be no a prior reason for thinking that such a conclusion is true. Nevertheless, there is still a substring wayin laying that a chaotic world is a prior neither impossible nor unlikely without any further evidence does not show that such a world os not a prior unlikely and a world containing such-and-such regularity might anticipatorily be somewhat likely in relation to an occurrence of a long-run patten of evidence in which a certain stable proportion of observed A’s are B’s ~. An occurrence, it might be claimed, that would be highly unlikely in a chaotic world (BonJour, 1986).
So, to a better understanding of induction we should then term is most widely used for any process of reasoning that takes us from empirical premises to empirical conclusions supported by the premises, but not deductively entailed by them. Inductive arguments are therefore kinds of applicative arguments, in which something beyond the content of the premise is inferred as probable or supported by them. Induction is, however, commonly distinguished from arguments to theoretical explanations, which share this applicative character, by being confined to inferences in which he conclusion involves the same properties or relations as the premises.
The rational basis of any inference was challenged by Hume, who believed that induction presupposed belie in the uniformity of nature, but that this belief has no defence in reason, and merely reflected a habit or custom of the mind. Hume was not therefore sceptical about the role of reason in either explaining it or justifying it. Trying to answer Hume and to show that there is something rationally compelling about the inference referred to as the problem of induction. It is widely recognized that any rational defence of induction will have to partition well-behaved properties for which the inference is plausible (often called projectable properties) from badly behaved ones, for which it is not. It is also recognized that actual inductive habits are more complex than those of similar enumeration, and that both common sense and science pay attention to such giving factors as variations within the sample giving us the evidence, the application of ancillary beliefs about the order of nature, and so on.
Nevertheless, the fundamental problem remains that ant experience condition by application show us only events occurring within a very restricted part of a vast spatial and temporal order about which we then come to believe things.
Uncompounded by its belonging of a confirmation theory finding of the measure to which evidence supports a theory fully formalized confirmation theory would dictate the degree of confidence that a rational investigator might have in a theory, given some-body of evidence. The grandfather of confirmation theory is Gottfried Leibniz (1646-1718), who believed that a logically transparent language of science would be able to resolve all disputes. In the 20th century a fully forma confirmation theory was a main goal of the logical positivist, since without it the central concept of verification by empirical evidence itself remains distressingly unscientific. The principal developments were due to Rudolf Carnap (1891-1970), culminating in his Logical Foundations of Probability (1950). Carnaps idea was that the measure necessitated would be the proportion of logically possible states of affairs in which the theory and the evidence both hold, compared ti the number in which the evidence itself holds that the probability of a preposition, relative to some evidence, is a proportion of the range of possibilities under which the proposition is true, compared to the total range of possibilities left by the evidence. The difficulty with the theory lies in identifying sets of possibilities so that they admit of measurement. It therefore demands that we can put a measure on the range of possibilities consistent with theory and evidence, compared with the range consistent with the evidence alone.
Among the obstacles the enterprise meets, is the fact that while evidence covers only a finite range of data, the hypotheses of science may cover an infinite range. In addition, confirmation proves to vary with the language in which the science is couched, and the Carnapian programme has difficulty in separating genuinely confirming variety of evidence from less compelling repetition of the same experiment. Confirmation also proved to be susceptible to acute paradoxes. Finally, scientific judgement seems to depend on such intangible factors as the problems facing rival theories, and most workers have come to stress instead the historically situated scene of what would appear as a plausible distinction of a scientific knowledge at a given time.
Arose to the paradox of which when a set of apparent incontrovertible premises is given to unacceptable or contradictory conclusions. To solve a paradox will involve showing either that there is a hidden flaw in the premises, or that the reasoning is erroneous, or that the apparently unacceptable conclusion can, in fact, be tolerated. Paradoxes are therefore important in philosophy, for until one is solved it shows that there is something about our reasoning and our concepts that we do not understand. What is more, and somewhat loosely, a paradox is a compelling argument from unacceptable premises to an unacceptable conclusion: More strictly speaking, a paradox is specified to be a sentence that is true if and only if it is false. A characterized objection lesson of it would be: The displayed sentence is false.
Seeing that this sentence is false if true is easy, and true if false, a paradox, in either of the senses distinguished, presents an important philosophical challenger. Epistemologists are especially concerned with various paradoxes having to do with knowledge and belief. In other words, for example, the Knower paradox is an argument that begins with apparently impeccable premisses about the concepts of knowledge and inference and derives an explicit contradiction. The origin of the reasoning is the surprise examination paradox: A teacher announces that there will be a surprise examination next week. A clever student argues that this is impossible. The test cannot be on Friday, the last day of the week, because it would not be a surprise. We would know the day of the test on Thursday evening. This means we can also rule out Thursday. For after we learn that no test has been given by Wednesday, we would know the test is on Thursday or Friday, and would already know that it s not on Friday and would already know that it is not on Friday by the previous reasoning. The remaining days can be eliminated in the same manner.
This puzzle has over a dozen variants. The first was probably invented by the Swedish mathematician Lennard Ekbon in 1943. Although the first few commentators regarded the reverse elimination argument as cogent, every writer on the subject since 1950 agrees that the argument is unsound. The controversy has been over the proper diagnosis of the flaw.
Initial analyses of the subjects argument tried to lay the blame on a simple equivocation. Their failure led to more sophisticated diagnoses. The general format has been an assimilation to better-known paradoxes. One tradition casts the surprise examination paradox as a self-referential problem, as fundamentally akin to the Liar, the paradox of the Knower, or Gödels incompleteness theorem. That in of itself, says enough that Kaplan and Montague (1960) distilled the following self-referential paradox, the Knower. Consider the sentence: (S) the negation of this sentence is known (to be true). Suppose that (S) is true. Then its negation is known and hence true. However, if its negation is true, then (S) must be false. Therefore (s) is false, or what is the name, the negation of (S) is true.
Nevertheless, the philosophy of the French philosopher Auguste Comte (1798-1857), holding that the highest or only form of knowledge is the description or sensory phenomena. Comte held that there were three stages of human belief, the theological, the metaphysical, and a philosophy of the positive, so-called because it confined itself to that is positively given, avoiding all speculation. Comte's position is a version of traditional empiricism, without the tendencies to idealism or scepticism that the position attracts. In his own writing the belief is associated with optimism about the scope of science and the benefits of a truly scientific sociology. In the 19th century , positivism also became associated with evolutionary theory, and any resolutely associated with evolution theory, and a resolutely naturalistic treatment of human affairs philosophy of Mach, and logical positivism. Its descendants include the philosophy of Mach and logical positivism.
Logical positivism, is lonely defined movement or set of ideas whose dominant force in philosophy, at least in English-speaking countries, inti the 1960s, and its influence , if not specific theses, remains present in the views and attitudes of many philosophers. It was 'positivism' in its 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 dependence on development in logic and mathematics in t he early years of this century which were taken to reveal how a priori knowledge of necessary truth is compatible with a thorough-going empiricism.
A sentence, that is, in the sense of being incapable of truth or falsity, required a criterion of meaningfulness, and it was found in the idea of empirical verification. So, that, it is said to be cognitively meaningful if and only if it can be verified or falsified in experience. This is not meant to require that the sentence be conclusively verified or falsified, since universal scientific as a hypotheses (which are supposed to pass the test) are not logically deducible from any amount of actually observed evidence. The criterion is accordingly to be understood to require only verifiability or falsifiability, in the sense of empirical evidence which would count either for or against the truth of the sentence in question, without having to logically imply it. Verification or confirmation is not necessarily something that can be carried out by the person who entertains te sentence at all at the stage of intellectual and technical development achieved at the time it is entertained.
The logical positivist conception of knowledge in its original and purest form sees human knowledge as a complex intellectual structure employed for the successful anticipation of future experience. It requires, on the one hand, a linguistic or conceptual framework in which to express what is to be categorized and predicted and, on the other, a factual element which provides that abstract form with content. This comes, ultimately, from sense experience. No matter of fact that anyone can understand or intelligibly of human experience, and the only reasons anyone could have for believing anything must come, ultimately from actual experience.
The general project of the positivistic theory of knowledge is to exhibit the structure, content, and basis of human knowledge in accordance with these empiricist principles. Since science is regarded as the repository of all genuine human knowledge, this becomes the task of exhibiting the structure, or as it was 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 in terms of observations or experiences in principle available to human beings. (2) To show how certain observations or experiences serve to confirm a given statement in the sense of making it more warranted or reasonable. (3) To show how non-empirical or a priori knowledge of the necessary truth of logic and mathematics is possible even though every matter of fact which can be intelligibly thought or known is empirically verifiable or falsifiable.
(1) The slogan 'the meaning of a statement is its method of verification, expresses the empirical verification theory of meaning. It is more than the general criterion of meaningfulness according to which a sentence is cognitively meaningful if and only if it is empirically verifiable. It system, in addition, that the meaning of each sentence is, it is all those observations which would confirm or disconfirm the sentence. Sentences which would be verified or falsified by all the same observations are empirically equivalent or have the same meaning.
A sentence recording the result of a single observation is an observation or 'protocol' sentence. It can be conclusively verified or falsified on a single occasion. Every other meaningful statement is a 'hypothesis' which implies an indefinitely large number of observation sentences which together exhaust its meaning, but at no time will all of them have been verified or falsified. To give an 'analysis' of the statements of science is to show how the content of each scientific statement can be reduced in this way to nothing more than a complex combination of direct verifiable 'protocol' sentences.
Observations are more than the mere causal impact of external physical stimuli. Since such stimuli only give rise to observations in a properly prepared and receptive mind. Nor are they well though t of in terms of atomistic impressions. It is, nonetheless, toast which is given by te senses, in response to the question of what exactly is so given, sense-data theories posit private showings in the consciousness of the subject. In the case of vision this would be a kind of inner picture show which itself only indirectly represents aspects of the external world. Generally the doctrine that the mind (for sometimes the brain) works on representations of the thing and features of things that we perceive or think about. In the philosophy of perception the view is especially associated with French Cartesian philosopher Nicolas Malebranche (1638-1715) and the English philosopher John Locke (1632-1704) who, holding that the mind is the container for ideas, held that, of our real ideas, some are adequate, and some are inadequate. Those that are adequate, which perfectly supposes them from which it intends to stand for, and to which it refers them. The problems in this account were mercilessly exposed by the French theologian and philosopher Antoine Arnauld (1612- 94) and French critic of Cartesianism Simon Foucher (1644-96), writing against Malebranche and by Berkeley, writing against Locke. The fundamental problem is that the mind is 'supposing' its ideas to represent something else, but it has no access to something else, accept by forming another idea. The difficulty is to understand how the and even escapes from the world of representations, or, in other words, how representations manage to acquire genuine content, pointing beyond themselves in more recent philosophy, the analogy between the mind and s computer has suggested that the mind or brain manipulate symbols, thought of as like the instruction symbols, =thought of as the instructions of a machine program, and that those symbols are representations of aspects of the world.
The Berkeleyan difficulty then recurs, as the programme computer behaves the same way without knowing whether the sign '$' refers to a unit of currency or anything else. The elements of a machine program are identified purely syntactically, so the actual operations of any interrelation of them where each is defined without regard to the interpretation the sentences of the language are intended to have an axiomatized system older than modern logic, nonetheless, the study of interpretations of forma systems proof theory studies relations of deducibility between formulae of a system, but once the notion of an interpretation is in place we can ask whether a forma system meets certain conditions, hence, according to critics, there is no way, on this model, for seeing the mind as concerned with the representational properties of the symbols. The point is sometimes put by saying that the mind, becomes a syntactic engine than a semantic engine. Representation is also attacked, at least as a central concept in understanding the mind, by pragmatists who emphasis instead the activities surrounding s use of language, rather than what they see as a mysterious link between mind and world.
It is now, that the emphasis shifts from thinking of language of agents who do things with their arithmetic simply as a device for describing numbers, it should be placed in activities such as counting and measuring. The shift in emphasis can be an encouragement to pragmatism in place of representation.
It is uncontroversial in contemporary cognitive science that cognitive processes are processes that manipulate representations. This idea seems nearly inevitable. What makes the difference between posses that are cognitive - solving a problem - and those tat are not - a patellar reflex, for example - is just that cognitive processes are epistemically assessable? A solution procedure can be justified or correct, a reflex cannot. Since only things with content can be epistemically assessed, processes appear to count as cognitive only insofar as they implicate representations.
It is tempting to think that thoughts are the mind's representations, aren’t thoughts just this mental states that have (semantic) content? This is, no doubt, hairless enough provided we keep in mind that cognitive science may attribute to thoughts properties and contents that are foreign to common-sense. First, most of the representations hypothesized by cognitive science do not correspond to anything common-sense would recognize as thoughts. Standard psycholinguistics theory, for instance, hypothesize the construction of representations of the syntactics structure of the utterances one hears and understands. Yet, we are not aware of, and nonspecialist do not even understand, the structure represented. Thus, cognitive science may attribute thoughts where common-sense would not. Second, cognitive science may find it useful to individuate thoughts in ways foreign to common-sense.
The representational theory of cognition gives rise to a natural theory of intentional states such as believing , desire and intending. According to this theory, intentional stares factor into two aspects, a functional aspect that distinguishes believing from desiring and so on, and a content aspect that distinguishes beliefs from each other, desires from each other, and so on. A belief that 'p' might be realized as a representation with the content that 'p' and the function of serving as a premise in inference. A desire that 'p' might be realized as a representation with the content that 'p' and the function of initiating processing designed to bring it about that 'p' and terminating such processing when a belief that 'p' is formed.
No comments:
Post a Comment