List of unsolved problems in philosophy

Philosophy
Plato – Kant – Nietzsche
Philosophers
Aestheticians Epistemologists Ethicists Logicians Metaphysicians Social and political philosophers
Traditions
Analytic Continental Pragmatism Eastern Islamic Platonic Scholastic
Periods
Ancient Medieval Modern Contemporary
Literature
Aesthetics Epistemology Ethics Logic Metaphysics Political philosophy
Branches
Aesthetics Epistemology Ethics Legal philosophy Logic Metaphysics Political philosophy Social philosophy
Lists
Index Outline Years Problems Publications Theories Glossary Philosophers
Philosophy portal

This is a list of some of the major unsolved problems in philosophy. Clearly, unsolved philosophical problems exist in the lay sense (e.g. "What is the meaning of life?", "Where did we come from?", "What is reality?", etc.). However, professional philosophers generally accord serious philosophical problems specific names or questions, which indicate a particular method of attack or line of reasoning. As a result, broad and untenable topics become manageable. It would therefore be beyond the scope of this article to categorize "life" (and similar vague categories) as an unsolved philosophical problem.

Aesthetics

Essentialism

In art, essentialism is the idea that each medium has its own particular strengths and weaknesses, contingent on its mode of communication. A chase scene, for example, may be appropriate for motion pictures, but poorly realized in poetry, because the essential components of the poetic medium are ill suited to convey the information of a chase scene. This idea may be further refined, and it may be said that the haiku is a poor vehicle for describing a lover's affection, as opposed to the sonnet. Essentialism is attractive to artists, because it not only delineates the role of art and media, but also prescribes a method for evaluating art (quality correlates to the degree of organic form). However, considerable criticism has been leveled at essentialism, which has been unable to formally define organic form or for that matter, medium. What, after all, is the medium of poetry? If it is language, how is this distinct from the medium of prose fiction? Is the distinction really a distinction in medium or genre? Questions about organic form, its definition, and its role in art remain controversial. Generally, working artists accept some form of the concept of organic form, whereas philosophers have tended to regard it as vague and irrelevant.

Art objects

This problem originally arose from the practice rather than theory of art. Marcel Duchamp, in the 20th century, challenged conventional notions of what "art" is, placing ordinary objects in galleries to prove that the context rather than content of an art piece determines what art is. In music, John Cage followed up on Duchamp's ideas, asserting that the term "music" applied simply to the sounds heard within a fixed interval of time.

While it is easy to dismiss these assertions, further investigation shows that Duchamp and Cage are not so easily disproved. For example, if a pianist plays a Chopin etude, but his finger slips missing one note, is it still the Chopin etude or a new piece of music entirely? Most people would agree that it is still a Chopin etude (albeit with a missing note), which brings into play the Sorites paradox, mentioned below. If one accepts that this is not a fundamentally changed work of music, however, is one implicitly agreeing with Cage that it is merely the duration and context of musical performance, rather than the precise content, which determines what music is? Hence, the question is what the criteria for art objects are and whether these criteria are entirely context-dependent.

Epistemology

Epistemological problems are concerned with the nature, scope and limitations of knowledge. Epistemology may also be described as the study of knowledge.

Gettier problem

Plato suggests, in his Theaetetus (210a) and Meno (97a–98b), that "knowledge" may be defined as justified true belief. For over two millennia, this definition of knowledge has been reinforced and accepted by subsequent philosophers, who accepted justifiability, truth, and belief as the necessary and sufficient conditions for information to earn the special designation of being "knowledge."

In 1963, however, Edmund Gettier published an article in the periodical Analysis entitled "Is Justified True Belief Knowledge?", offering instances of justified true belief that do not conform to the generally understood meaning of "knowledge." Gettier's examples hinged on instances of epistemic luck: cases where a person appears to have sound evidence for a proposition, and that proposition is in fact true, but the apparent evidence is not causally related to the proposition's truth.

In response to Gettier's article, numerous philosophers have offered modified criteria for "knowledge." There is no general consensus to adopt any of the modified definitions yet proposed.

Infinite regression

Overlooking for a moment the complications posed by Gettier problems, philosophy has essentially continued to operate on the principle that knowledge is justified true belief. The obvious question that this definition entails is how one can know whether one's justification is sound. One must therefore provide a justification for the justification. That justification itself requires justification, and the questioning continues interminably.

The conclusion is that no one can truly have knowledge of anything, since it is, due to this infinite regression, impossible to satisfy the justification element. In practice, this has caused little concern to philosophers, since the line between a reasonably exhaustive investigation and superfluous investigation is usually clear.

Others argue for forms of coherentist systems, e.g. Susan Haack. Recent work by Peter D. Klein^[1] views knowledge as essentially defeasible. Therefore an infinite regress is unproblematic, since any known fact may be overthrown on sufficiently in depth investigation.

Molyneux problem

The Molyneux problem dates back to the following question posed by William Molyneux to John Locke in the 17th century: if a man born blind, and able to distinguish by touch between a cube and a globe, were made to see, could he now tell by sight which was the cube and which the globe, before he touched them? The problem raises fundamental issues in epistemology and the philosophy of mind, and was widely discussed after Locke included it in the second edition of his Essay Concerning Human Understanding.^[2]

A similar problem was also addressed earlier in the 12th century by Ibn Tufail (Abubacer), in his philosophical novel, Hayy ibn Yaqdhan (Philosophus Autodidactus). His version of the problem, however, dealt mainly with colors rather than shapes.^[3][4]

Modern science may now have the tools necessary to test this problem in controlled environments. The resolution of this problem is in some sense provided by the study of human subjects who gain vision after extended congenital blindness. One such subject took approximately a year to recognize most household objects purely by sight. This indicates that this may no longer be an unsolved problem in philosophy.

Münchhausen trilemma

The Münchhausen trilemma, also called Agrippa's trilemma, purports that it is impossible to prove any certain truth even in fields such as logic and mathematics. According to this argument, the proof of any theory rests either on circular reasoning, infinite regress, or unproven axioms.

Qualia

The question hinges on whether color is a product of the mind or an inherent property of objects. While most philosophers will agree that color assignment corresponds to spectra of light frequencies, it is not at all clear whether the particular psychological phenomena of color are imposed on these visual signals by the mind, or whether such qualia are somehow naturally associated with their noumena. Another way to look at this question is to assume two people ("Fred" and "George" for the sake of convenience) see colors differently. That is, when Fred sees the sky, his mind interprets this light signal as blue. He calls the sky "blue." However, when George sees the sky, his mind assigns green to that light frequency. If Fred were able to step into George's mind, he would be amazed that George saw green skies. However, George has learned to associate the word "blue" with what his mind sees as green, and so he calls the sky "blue", because for him the color green has the name "blue." The question is whether blue must be blue for all people, or whether the perception of that particular color is assigned by the mind.

This extends to all areas of the physical reality, where the outside world we perceive is merely a representation of what is impressed upon the senses. The objects we see are in truth wave-emitting (or reflecting) objects which the brain shows to the conscious self in various forms and colors. Whether the colors and forms experienced perfectly match between person to person, may never be known. That people can communicate accurately shows that the order and proportionality in which experience is interpreted is generally reliable. Thus one's reality is, at least, compatible to another person's in terms of structure and ratio.

Ethics

Moral luck

The problem of moral luck is that some people are born into, live within, and experience circumstances that seem to change their moral culpability when all other factors remain the same.

For instance, a case of circumstantial moral luck: a poor person is born into a poor family, and has no other way to feed himself so he steals his food. Another person, born into a very wealthy family, does very little but has ample food and does not need to steal to get it. Should the poor person be more morally blameworthy than the rich person? After all, it is not his fault that he was born into such circumstances, but a matter of "luck".

A related case is resultant moral luck. For instance, two persons behave in a morally culpable way, such as driving carelessly, but end up producing unequal amounts of harm: one strikes a pedestrian and kills him, while the other does not. That one driver caused a death and the other did not is no part of the drivers' intentional actions; yet most observers would likely ascribe greater blame to the driver who killed. (Compare consequentialism.)

The fundamental question of moral luck is how our moral responsibility is changed by factors over which we have no control.

Moral knowledge

Are moral facts possible, what do they consist in, and how do we come to know them? Rightness and wrongness seem strange kinds of entities, and different from the usual properties of things in the world, such as wetness, being red, or solidity. Richmond Campbell^[5] has outlined these kinds of issues in his encyclopedia article Moral Epistemology.

In particular, he considers three alternative explanations of moral facts as: theological, (supernatural, the commands of God); non-natural (based on intuitions); or simply natural properties (such as leading to pleasure or to happiness). There are cogent arguments against each of these alternative accounts, he claims, and there has not been any fourth alternative proposed. So the existence of moral knowledge and moral facts remains dubious and in need of further investigation. But moral knowledge supposedly already plays an important part in our everyday thinking, in our legal systems and criminal investigations.

Philosophy of language

Moore's disbelief

Although this problem has received relatively little attention, it intrigued philosopher Ludwig Wittgenstein when G. E. Moore presented it to the Moral Science Club at Cambridge. The statement "Albany is the capital of New York, but I don't believe it" is not necessarily false, but it seems to be unassertable. The speaker cannot simultaneously assert that Albany is the capital of New York and his disbelief in that statement. (Moore's explanation of what appears to be a contradiction when we assert that a proposition is true but claim not to believe it draws a distinction between what is asserted and what is implied. To claim that the capital of New York is Albany makes an assertion which is either true or false. Someone making this assertion implies that they believe it. When they go on to assert 'but I don't believe it', they contradict not the original assertion but the original implication. Moore realized, however, that it is the contradiction between the assertion and the implication that gives the expression the appearance of nonsense.)

Philosophy of mathematics

Mathematical objects

What are numbers, sets, groups, points, etc.? Are they real objects or are they simply relationships that necessarily exist in all structures? Although many disparate views exist regarding what a mathematical object is, the discussion may be roughly partitioned into two opposing schools of thought: platonism, which asserts that mathematical objects are real, and formalism, which asserts that mathematical objects are merely formal constructions. This dispute may be better understood when considering specific examples, such as the "continuum hypothesis". The continuum hypothesis has been proven independent of the ZF axioms of set theory, so according to that system, the proposition can neither be proven true nor proven false. A formalist would therefore say that the continuum hypothesis is neither true nor false, unless you further refine the context of the question. A platonist, however, would assert that there either does or does not exist a transfinite set with a cardinality less than the continuum but greater than any countable set. So, regardless of whether it has been proven unprovable, the platonist would argue that an answer nonetheless does exist.

Metaphysics

Sorites paradox

Otherwise known as the "paradox of the heap", the question regards how one defines a "thing." Is a bale of hay still a bale of hay if you remove one straw? If so, is it still a bale of hay if you remove another straw? If you continue this way, you will eventually deplete the entire bale of hay, and the question is: at what point is it no longer a bale of hay? While this may initially seem like a superficial problem, it penetrates to fundamental issues regarding how we define objects. This is similar to Theseus' paradox and the Continuum fallacy.

Counterfactuals

A counterfactual is a statement that follows this form: "If Joseph Swan had not invented the modern incandescent light bulb, then someone else would have invented it anyway." People use counterfactuals every day; however, its analysis is not so clear. Swan, after all, did invent the modern incandescent light bulb, so how can the statement be true, if it is impossible to examine its correspondence to reality? (See correspondence theory of truth.) Similar statements have the form, "If you don't eat your meat, then you can't have any pudding." This is another clear if-then statement, which is not verifiable (assuming the addressee did eat his/her meat). Two proposed analyses have resulted from this question. First, some philosophers assert that background information is assumed when stating and interpreting counterfactual conditionals. In the case of the Swan statement, certain trends in the history of technology, the utility of artificial light, and the discovery of electricity may all provide evidence for a logically sound argument. However, other philosophers assert that a modal "possible world" theory offers a more accurate description of counterfactual conditionals. According to this analysis, in the Swan example one would consider the closest possible world to the real world in which Swan did not create the modern incandescent light bulb. When a counterfactual is used as an argument to justify an illegal act, it is known as the dirty hands argument. For example, "if I didn't sell him drugs then someone else would have, and those drugs might not have been cut or more harmful."

Material implication

People have a pretty clear idea what if-then means. However, in formal logic, if-then is defined by material implication, which is not consistent with the common understanding of conditionals. In formal logic, the statement "If today is Saturday, then 1+1=2" is true. However, '1+1=2' is true regardless of the content of the antecedent; a casual or meaningful relation is not required. The statement as a whole must be true, because 1+1=2 cannot be false. (If it could, then on a given Saturday, so could the statement). Formal logic has shown itself extremely useful in formalizing argumentation, philosophical reasoning, and mathematics. However, the discrepancy between material implication and the general conception of conditionals is a topic of intense investigation: whether it is an inadequacy in formal logic, an ambiguity of ordinary language, or as championed by H.P. Grice, that there is no discrepancy.

Philosophy of mind

Mind–body problem

The mind–body problem is the problem of determining the relationship between the human body and the human mind. Philosophical positions on this question are generally predicated on either a reduction of one to the other, or a belief in the discrete coexistence of both. This problem is usually exemplified by Descartes, who championed a dualistic picture. The problem therein is to establish how the mind and body communicate in a dualistic framework. Neurobiology and emergence have further complicated the problem by allowing the material functions of the mind to be a representation of some further aspect emerging from the mechanistic properties of the brain. The brain essentially stops generating conscious thought during deep sleep; the ability to restore such a pattern remains a mystery to science and is a subject of current research (see also neurophilosophy).

Cognition and AI

This problem actually defines a field, however its pursuits are specific and easily stated. Firstly, what are the criteria for intelligence? What are the necessary components for defining consciousness? Secondly, how can an outside observer test for these criteria? The "Turing Test" is often cited as a prototypical test of consciousness, although it is almost universally regarded as insufficient. It involves a series of questions, by which a sentient entity can theoretically provide answers where a machine could not. A well trained machine, however, could theoretically "parrot" its way through the test. This raises the corollary question of whether it is possible to artificially create consciousness (usually in the context of computers or machines), and of how to tell a well trained mimic from a sentient entity.

Important thought in this area includes most notably: John Searle's Chinese Room, Hubert Dreyfus' non-cognitivist critique, as well as Hilary Putnam's work on Functionalism.

A related field is the ethics of artificial intelligence, which addresses such problems as the existence of moral personhood of AIs, the possibility of moral obligations to AIs (for instance, the right of a possibly sentient computer system to not be turned off), and the question of making AIs that behave ethically towards humans and others.

Hard problem of consciousness

The hard problem of consciousness is the question of what consciousness is and why we have consciousness as opposed to being philosophical zombies. The adjective "hard" is to contrast with the "easy" consciousness problems, which seek to explain the mechanisms of consciousness ("why" versus "how," or final cause versus efficient cause). The hard problem of consciousness is questioning whether all beings undergo an experience of consciousness rather than questioning the neurological makeup of beings.

Philosophy of science

Problem of induction

Intuitively, it seems to be the case that we know certain things with absolute, complete, utter, unshakable certainty. For example, if you travel to the Arctic and touch an iceberg, you know that it would feel cold. These things that we know from experience are known through induction. The problem of induction in short; (1) any inductive statement (like the sun will rise tomorrow) can only be deductively shown if one assumes that nature is uniform. (2) the only way to show that nature is uniform is by using induction. Thus induction cannot be justified deductively.

Demarcation problem

‘The problem of demarcation’ is an expression introduced by Karl Popper to refer to ‘the problem of finding a criterion which would enable us to distinguish between the empirical sciences on the one hand, and mathematics and logic as well as "metaphysical" systems on the other’. Popper attributes this problem to Kant. Although Popper mentions mathematics and logic, other writers focus on distinguishing science from metaphysics and pseudo-science.

Some, including Popper, raise the problem because of an intellectual desire to clarify this distinction. Logical positivists had, in addition, a social and intellectual agenda to discredit non-scientific disciplines.

Realism

Is there a world independent of human beliefs and representations? Is such a world empirically accessible, or would such a world be forever beyond the bounds of human sense and hence unknowable? Can human activity and agency change the objective structure of the world? These questions continue to receive much attention in the philosophy of science. A clear "yes" to the first question is a hallmark of the scientific realism perspective. Philosophers such as Bas van Fraassen have important and interesting answers to the second question. In addition to the realism vs. empiricism axis of debate, there is a realism vs. social constructivism axis which heats many academic passions. With respect to the third question, Paul Boghossian's "Fear of Knowledge: Against Relativism and Constructivism". Oxford University Press. 2006.  is a powerful critique of social constructivism, for instance. Ian Hacking's The Social Construction of What? (Harvard UP, 2000) constitutes a more moderate critique of constructivism, which usefully disambiguates confusing polysemy of the term "constructivism."

See also

• List of years in philosophy
• Thought experiment

References

Unsolved problems by discipline Artificial Intelligence Biology Chemistry Computer science Economics Geoscience Information Theory Linguistics Mathematics Neuroscience Philosophy Physics Statistics