List Of Unsolved Problems In Philosophy
   HOME

TheInfoList



OR:

This is a list of some of the major
problem Problem solving is the process of achieving a goal by overcoming obstacles, a frequent part of most activities. Problems in need of solutions range from simple personal tasks (e.g. how to turn on an appliance) to complex issues in business an ...
s in
philosophy Philosophy ('love of wisdom' in Ancient Greek) is a systematic study of general and fundamental questions concerning topics like existence, reason, knowledge, Value (ethics and social sciences), value, mind, and language. It is a rational an ...
.


Philosophy of language


Counterfactuals

A counterfactual statement is a conditional statement with a false antecedent. For example, the statement "If
Joseph Swan Sir Joseph Wilson Swan Fellow of the Royal Society, FRS (31 October 1828 – 27 May 1914) was an English physicist, chemist, and inventor. He is known as an independent early developer of a successful incandescent light bulb, and is respon ...
had not invented the modern
incandescent light bulb An incandescent light bulb, also known as an incandescent lamp or incandescent light globe, is an electric light that produces illumination by Joule heating a #Filament, filament until it incandescence, glows. The filament is enclosed in a ...
, then someone else would have invented it anyway" is a counterfactual, because, in fact, Joseph Swan invented the modern incandescent light bulb. The most immediate task concerning counterfactuals is that of explaining their truth-conditions. As a start, one might assert that background information is assumed when stating and interpreting counterfactual conditionals and that this background information is just every true statement about the world as it is (pre-counterfactual). In the case of the Swan statement, we have certain trends in the history of technology, the utility of artificial light, the discovery of electricity, and so on. We quickly encounter an error with this initial account: among the true statements will be "Joseph Swan did invent the modern incandescent light bulb." From the conjunction of this statement (call it "S") and the antecedent of the counterfactual ("¬S"), we can derive any conclusion, and we have the unwelcome result that any statement follows from any counterfactual (see the
principle of explosion In classical logic, intuitionistic logic, and similar logical systems, the principle of explosion is the law according to which any statement can be proven from a contradiction. That is, from a contradiction, any proposition (including its n ...
).
Nelson Goodman Henry Nelson Goodman (7 August 1906 – 25 November 1998) was an American philosopher, known for his work on counterfactuals, mereology, the problem of induction, irrealism, and aesthetics. Life and career Goodman was born in Somerville, Ma ...
takes up this and related issues in his seminal '' Fact, Fiction, and Forecast''; and David Lewis's influential articulation of
possible world A possible world is a complete and consistent way the world is or could have been. Possible worlds are widely used as a formal device in logic, philosophy, and linguistics in order to provide a semantics for intensional and modal logic. Their met ...
theory is popularly applied in efforts to solve it. Physicalist approaches offer alternative solutions to the problem of counterfactuals within a materialist framework. The interventionist account, developed by philosophers like James Woodward, solves the problem by defining counterfactuals in terms of specific physical interventions on causal systems. For example, "If Swan had not invented the light bulb" is interpreted as "If we intervened on the physical system to prevent Swan's invention". This approach avoids contradictions by clearly separating the intervened system from background conditions. Another solution, proposed by Barry Loewer, uses statistical mechanics to ground counterfactuals. This approach defines the truth of counterfactuals based on the most probable evolution of physical microstates consistent with the counterfactual assumption. It resolves the initial problem by replacing abstract possible worlds with concrete physical probabilities, thereby avoiding logical contradictions within a physicalist framework.


Epistemology


Gettier problem

Plato Plato ( ; Greek language, Greek: , ; born  BC, died 348/347 BC) was an ancient Greek philosopher of the Classical Greece, Classical period who is considered a foundational thinker in Western philosophy and an innovator of the writte ...
suggests, in his '' Theaetetus'' (210a) and ''
Meno ''Meno'' (; , ''Ménōn'') is a Socratic dialogue written by Plato around 385 BC., but set at an earlier date around 402 BC. Meno begins the dialogue by asking Socrates whether virtue (in , '' aretē'') can be taught, acquired by practice, o ...
'' (97a–98b), that "knowledge" may be defined as justified true belief. For over two millennia, this
definition of knowledge Definitions of knowledge aim to identify the essential features of knowledge. Closely related terms are conception of knowledge, theory of knowledge, and analysis of knowledge. Some general features of knowledge are widely accepted among philosoph ...
was accepted by subsequent philosophers. An item of information's justifiability, truth, and belief were seen as the necessary and sufficient conditions for knowledge. But in 1963, Edmund Gettier published an article in the journal ''
Analysis Analysis (: analyses) is the process of breaking a complex topic or substance into smaller parts in order to gain a better understanding of it. The technique has been applied in the study of mathematics and logic since before Aristotle (38 ...
'', a peer-reviewed academic journal of philosophy, entitled "Is Justified True Belief Knowledge?" which offered instances of justified true belief that do not conform to the generally understood meaning of "knowledge." Gettier's examples hinged on instances of
epistemic Epistemology is the branch of philosophy that examines the nature, origin, and limits of knowledge. Also called "the theory of knowledge", it explores different types of knowledge, such as propositional knowledge about facts, practical knowledg ...
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. Finally, if
infallibilism Infallibilism is the epistemological view that propositional knowledge is incompatible with the possibility of being wrong. Definition In philosophy, infallibilism (sometimes called "epistemic infallibilism") is the view that knowing the truth o ...
is true, that would seem to definitively solve the Gettier problem for good. Infallibilism states that knowledge requires certainty, such that, certainty is what serves to bridge the gap so that we arrive at knowledge, which means we would have an adequate definition of knowledge. However, infallibilism is rejected by the overwhelming majority of philosophers/epistemologists. Physicalist and materialist approaches to the Gettier problem generally attempt to ground knowledge in causal or reliabilist terms, avoiding appeal to abstract justification. For instance, the causal theory of knowledge, proposed by Alvin Goldman, suggests that for a belief to count as knowledge, it must be caused by the fact that makes it true. This approach aims to solve Gettier cases by requiring a direct causal connection between the truth and the belief. Similarly, reliabilist theories, such as those developed by Goldman and others, define knowledge in terms of beliefs produced by reliable cognitive processes. These physicalist perspectives attempt to sidestep the traditional justification requirement that led to Gettier problems, instead focusing on the physical and cognitive mechanisms that produce true beliefs Among philosophers from the
socialist bloc The Eastern Bloc, also known as the Communist Bloc (Combloc), the Socialist Bloc, the Workers Bloc, and the Soviet Bloc, was an unofficial coalition of communist states of Central and Eastern Europe, Asia, Africa, and Latin America that were a ...
, Polish Marxist Adam Schaff directly engaged with Western epistemological problems, including the Gettier problem. In his work "History and Truth" (1976), Schaff critiqued the traditional "justified true belief" definition of knowledge from a materialist perspective. He argued that knowledge should be understood as a process rather than a static state, emphasizing the role of social practice and historical context in knowledge formation. Schaff's approach suggests that Gettier-type problems arise from an overly individualistic and ahistorical conception of knowledge. By reframing knowledge as a socio-historical process, Schaff's theory potentially avoids Gettier cases by grounding knowledge in collective human practice rather than individual justification. This perspective offers a Marxist materialist solution to the Gettier problem, emphasizing the social nature of knowledge over individual belief states.


Problem of the criterion

The problem of the criterion challenges the traditional definition of knowledge as justified true belief. It questions how one can determine if a justification is sound without relying on further justification, potentially leading to an infinite regress. This issue has been a subject of significant debate in epistemology. One perspective, often associated with skepticism, concludes that true knowledge might be impossible due to this infinite regression. However, many philosophers find this conclusion too extreme for practical epistemology. Several alternative approaches have been proposed: 1. Foundationalism, which posits certain basic beliefs as self-justifying, thus halting the regress. 2. Coherentism, which argues that beliefs are justified by their coherence with other beliefs. Susan Haack's foundherentism is a notable hybrid approach. 3. Infinitism, proposed by Peter D. Klein, which views the infinite regress as unproblematic. Among contemporary epistemologists, reliabilism has emerged as the most widely accepted approach to addressing the problem of the criterion. Developed by philosophers like Alvin Goldman, reliabilism suggests that beliefs can be justified if they are produced by reliable cognitive processes, potentially avoiding the need for infinite justification. This view aligns well with naturalistic approaches to epistemology and has gained significant traction in recent decades. In practice, many philosophers find that there is often a discernible line between sufficient justification and excessive inquiry, allowing for practical epistemological investigations despite the theoretical challenges posed by the problem of the criterion. The debate surrounding this problem remains active, with various approaches offering different insights into the nature of knowledge and justification. However, reliabilism continues to be the most influential framework in contemporary discussions of the problem of the criterion.


Problem of induction

Scottish philosopher
David Hume David Hume (; born David Home; – 25 August 1776) was a Scottish philosopher, historian, economist, and essayist who was best known for his highly influential system of empiricism, philosophical scepticism and metaphysical naturalism. Beg ...
first formulated the problem of induction, arguing there is no non-circular way to justify inductive reasoning. That is, reasoning based on inferring general conclusions from specific observations. This is a problem because induction is widely used in everyday life and scientific reasoning, e.g., "The sun has risen in the east every day, therefore it will rise in the east tomorrow." Various philosophers have proposed solutions or alternative perspectives: Karl Popper argued that science and ordinary life do not use induction, and induction is in fact a myth. Instead, knowledge is created by
conjecture In mathematics, a conjecture is a conclusion or a proposition that is proffered on a tentative basis without proof. Some conjectures, such as the Riemann hypothesis or Fermat's conjecture (now a theorem, proven in 1995 by Andrew Wiles), ha ...
and criticism. The main role of observations and experiments in science, he argued, is in attempts to criticize and refute existing theories. Some philosophers, like Nelson Goodman, have attempted to solve the problem by appealing to the notion of entrenchment or the natural kinds that form the basis of our inductive practices. More recently, some cognitive scientists and philosophers have suggested that induction might be better understood as a fundamental aspect of general intelligence. This view posits that inductive reasoning is not a distinct logical process but rather an emergent property of intelligent systems processing information and recognizing patterns. This perspective aligns with observations of both human cognition and artificial intelligence systems, such as large language models, which demonstrate inductive-like capabilities without explicitly following inductive rules. It suggests that the problem of induction might be reframed as a question of how general intelligence processes information and makes predictions based on past experiences. The most popular views are scientific realist around the problem of induction in philosophy usually grounded in cognitive science, problem of induction has implications for our understanding of reasoning, scientific methodology, and artificial intelligence.


Molyneux problem

The Molyneux problem dates back to the following question posed by William Molyneux to
John Locke John Locke (; 29 August 1632 (Old Style and New Style dates, O.S.) – 28 October 1704 (Old Style and New Style dates, O.S.)) was an English philosopher and physician, widely regarded as one of the most influential of the Enlightenment thi ...
in the 17th century: if a man born blind, and able to distinguish by touch between a
cube A cube or regular hexahedron is a three-dimensional space, three-dimensional solid object in geometry, which is bounded by six congruent square (geometry), square faces, a type of polyhedron. It has twelve congruent edges and eight vertices. It i ...
and a
globe A globe is a spherical Earth, spherical Model#Physical model, model of Earth, of some other astronomical object, celestial body, or of the celestial sphere. Globes serve purposes similar to maps, but, unlike maps, they do not distort the surface ...
, 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 Epistemology is the branch of philosophy that examines the nature, origin, and limits of knowledge. Also called "the theory of knowledge", it explores different types of knowledge, such as propositional knowledge about facts, practical knowle ...
and the
philosophy of mind Philosophy of mind is a branch of philosophy that deals with the nature of the mind and its relation to the Body (biology), body and the Reality, external world. The mind–body problem is a paradigmatic issue in philosophy of mind, although a ...
, and was widely discussed after Locke included it in the second edition of his ''
Essay Concerning Human Understanding ''An Essay Concerning Human Understanding'' is a work by John Locke concerning the foundation of human knowledge and understanding. It first appeared in 1689 (although dated 1690) with the printed title ''An Essay Concerning Humane Understand ...
''. 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. Empirical studies of human subjects who gained vision after extended congenital blindness have provided clear evidence. The landmark 2011 study by Held et al. demonstrated that subjects were unable to immediately link objects known by touch to their visual appearance. Instead, they gradually developed this ability over days or months. Thus, a person newly given sight cannot immediately identify shapes they previously knew only by touch. The ability to associate tactile and visual information requires learning and experience. Another study suggests, however, that the results might have been due to a visual deficit, rather than a true lack of intermodal neural connections.


Münchhausen trilemma

In
epistemology Epistemology is the branch of philosophy that examines the nature, origin, and limits of knowledge. Also called "the theory of knowledge", it explores different types of knowledge, such as propositional knowledge about facts, practical knowle ...
, the Münchhausen trilemma is a thought experiment intended to demonstrate the theoretical impossibility of proving any truth, even in the fields of logic and mathematics, without appealing to accepted assumptions. If it is asked how any given proposition is known to be true, proof may be provided. The Münchhausen trilemma is that there are only three ways of completing a proof: * The circular argument, in which the proof of some proposition presupposes the truth of that very proposition * The regressive argument, in which each proof requires a further proof, ''
ad infinitum ''Ad infinitum'' is a Latin phrase meaning "to infinity" or "forevermore". Description In context, it usually means "continue forever, without limit" and this can be used to describe a non-terminating process, a non-terminating ''repeating'' pro ...
'' * The dogmatic argument, which rests on accepted precepts which are merely asserted rather than defended The trilemma, then, is the decision among the three equally unsatisfying options.
Karl Popper Sir Karl Raimund Popper (28 July 1902 – 17 September 1994) was an Austrian–British philosopher, academic and social commentator. One of the 20th century's most influential philosophers of science, Popper is known for his rejection of the ...
's suggestion was to accept the trilemma as unsolvable and work with knowledge by way of conjecture and criticism.


Metaphysics


Why there is something rather than nothing

The question about why is there anything at all instead of nothing has been raised or commented on by philosophers including
Gottfried Wilhelm Leibniz Gottfried Wilhelm Leibniz (or Leibnitz; – 14 November 1716) was a German polymath active as a mathematician, philosopher, scientist and diplomat who is credited, alongside Sir Isaac Newton, with the creation of calculus in addition to ...
,
Martin Heidegger Martin Heidegger (; 26 September 1889 – 26 May 1976) was a German philosopher known for contributions to Phenomenology (philosophy), phenomenology, hermeneutics, and existentialism. His work covers a range of topics including metaphysics, art ...
, and
Ludwig Wittgenstein Ludwig Josef Johann Wittgenstein ( ; ; 26 April 1889 – 29 April 1951) was an Austrian philosopher who worked primarily in logic, the philosophy of mathematics, the philosophy of mind, and the philosophy of language. From 1929 to 1947, Witt ...
– who called it the fundamental question of
metaphysics Metaphysics is the branch of philosophy that examines the basic structure of reality. It is traditionally seen as the study of mind-independent features of the world, but some theorists view it as an inquiry into the conceptual framework of ...
. The question is general, rather than concerning the existence of anything specific such as the
universe The universe is all of space and time and their contents. It comprises all of existence, any fundamental interaction, physical process and physical constant, and therefore all forms of matter and energy, and the structures they form, from s ...
/ s, the
Big Bang The Big Bang is a physical theory that describes how the universe expanded from an initial state of high density and temperature. Various cosmological models based on the Big Bang concept explain a broad range of phenomena, including th ...
, mathematical laws,
physical law Scientific laws or laws of science are statements, based on repeated experiments or observations, that describe or predict a range of natural phenomena. The term ''law'' has diverse usage in many cases (approximate, accurate, broad, or narrow) ...
s,
time Time is the continuous progression of existence that occurs in an apparently irreversible process, irreversible succession from the past, through the present, and into the future. It is a component quantity of various measurements used to sequ ...
,
consciousness Consciousness, at its simplest, is awareness of a state or object, either internal to oneself or in one's external environment. However, its nature has led to millennia of analyses, explanations, and debate among philosophers, scientists, an ...
or
God In monotheistic belief systems, God is usually viewed as the supreme being, creator, and principal object of faith. In polytheistic belief systems, a god is "a spirit or being believed to have created, or for controlling some part of the un ...
.


Problem of universals

The problem of universals refers to the question of whether
properties Property is the ownership of land, resources, improvements or other tangible objects, or intellectual property. Property may also refer to: Philosophy and science * Property (philosophy), in philosophy and logic, an abstraction characterizing an ...
exist, and if so, what they are. Properties are qualities or relations or names that two or more entities have in common. The various kinds of properties, such as qualities and relations, are referred to as universals. For instance, one can imagine three cup holders on a table that have in common the quality of ''being circular'' or ''exemplifying circularity'', or bear the same name, "circular cup" or two daughters that have in common ''being the female offsprings of Frank.'' There are many such properties, such as being human, red, male or female, liquid, big or small, taller than, father of, etc. While philosophers agree that human beings talk and think about properties, they disagree on whether these universals exist in
reality Reality is the sum or aggregate of everything in existence; everything that is not imagination, imaginary. Different Culture, cultures and Academic discipline, academic disciplines conceptualize it in various ways. Philosophical questions abo ...
or merely in thought, speech and sight.


Principle of individuation

Related to the problem of universals, the principle of individuation is what individuates universals.


Sorites paradox

Otherwise known as the "
paradox A paradox is a logically self-contradictory statement or a statement that runs contrary to one's expectation. It is a statement that, despite apparently valid reasoning from true or apparently true premises, leads to a seemingly self-contradictor ...
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 The Ship of Theseus, also known as Theseus's Paradox, is a paradox and a common thought experiment about whether an object is the same object after having all of its original components replaced over time, typically one after the other. In Gre ...
and the
continuum fallacy The sorites paradox (), sometimes known as the paradox of the heap, is a paradox that results from vague predicates. A typical formulation involves a heap of sand, from which grains are removed individually. With the assumption that removing a s ...
.


Theseus paradox

Also known as the
ship of Theseus The Ship of Theseus, also known as Theseus's Paradox, is a paradox and a common thought experiment about whether an object is the same object after having all of its original components replaced over time, typically one after the other. In Gre ...
, this is a classical paradox on the first branch of metaphysics, ontology (philosophy of existence and identity). The paradox runs thus: There used to be the great ship of Theseus which was made out of, say, 100 parts. Each part has a single corresponding replacement part in the ship's port. Over the centuries, each part is replaced individually as it breaks, and eventually, not a single original part of the ship remains. Is this new ship the ship of Theseus or not? If yes, consider this: the broken original parts are repaired and re-assembled. Is this the ship of Theseus or not? If not, let us name the new ship "The Argo". At what point did the crew of the Theseus become the crew of the Argo? And what ship is sailing when 50 of the parts have been replaced? If both the ships trade a single piece, are they still the same ships? This paradox is a minor variation of the Sorites Paradox above, and has many variations itself. Both sides of the paradox have convincing arguments and counter-arguments, though no one is close to proving it completely.


Material implication

People have a rather clear idea of what if-then means. In
formal logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure o ...
however, material implication defines if-then, 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 causal 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. The discrepancy between material implication and the general conception of conditionals however is a topic of intense investigation: whether it is an inadequacy in formal logic, an ambiguity of ordinary
language Language is a structured system of communication that consists of grammar and vocabulary. It is the primary means by which humans convey meaning, both in spoken and signed language, signed forms, and may also be conveyed through writing syste ...
, or as championed by H. P. Grice, that no discrepancy exists.


Philosophy of mind


Mind–body problem

The
mind–body problem The mind–body problem is a List_of_philosophical_problems#Mind–body_problem, philosophical problem concerning the relationship between thought and consciousness in the human mind and Human body, body. It addresses the nature of consciousness ...
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, and how causality occurs between the two.
Neurobiology Neuroscience is the scientific study of the nervous system (the brain, spinal cord, and peripheral nervous system), its functions, and its disorders. It is a multidisciplinary science that combines physiology, anatomy, molecular biology, ...
and
emergence In philosophy, systems theory, science, and art, emergence occurs when a complex entity has properties or behaviors that its parts do not have on their own, and emerge only when they interact in a wider whole. Emergence plays a central rol ...
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).


Qualia

The question hinges on whether
color Color (or colour in English in the Commonwealth of Nations, Commonwealth English; American and British English spelling differences#-our, -or, see spelling differences) is the visual perception based on the electromagnetic spectrum. Though co ...
is a product of the mind or an inherent property of objects. Whilst most philosophers will agree that color assignment corresponds to spectra of light
frequencies Frequency is the number of occurrences of a repeating event per unit of time. Frequency is an important parameter used in science and engineering to specify the rate of oscillatory and vibratory phenomena, such as mechanical vibrations, audio ...
, 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 In philosophy of mind, qualia (; singular: quale ) are defined as instances of subjective, conscious experience. The term ''qualia'' derives from the Latin neuter plural form (''qualia'') of the Latin adjective '' quālis'' () meaning "of what ...
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 Perception () is the organization, identification, and interpretation of sensory information in order to represent and understand the presented information or environment. All perception involves signals that go through the nervous syste ...
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.


Hard problem of consciousness

The
hard problem of consciousness In the philosophy of mind, the hard problem of consciousness is to explain why and how humans and other organisms have qualia, phenomenal consciousness, or subjective experience. It is contrasted with the "easy problems" of explaining why and how ...
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" as compared with "how", or
final cause The four causes or four explanations are, in Aristotelian thought, categories of questions that explain "the why's" of something that exists or changes in nature. The four causes are the: material cause, the formal cause, the efficient cause, ...
versus
efficient cause The four causes or four explanations are, in Aristotelian thought, categories of questions that explain "the why's" of something that exists or changes in nature. The four causes are the: material cause, the formal cause, the 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.
Ned Block Ned Joel Block (born 1942) is an American philosopher working in philosophy of mind who has made important contributions to the understanding of consciousness and the philosophy of cognitive science. He has been professor of philosophy and psychol ...
believes that there also exists a "Harder Problem of Consciousness", due to the possibility of different physical and functional neurological systems potentially having phenomenal overlap.


Cognition and AI

This problem actually defines a field; however, its pursuits are specific and easily stated. Firstly, what are the criteria for
intelligence Intelligence has been defined in many ways: the capacity for abstraction, logic, understanding, self-awareness, learning, emotional knowledge, reasoning, planning, creativity, critical thinking, and problem-solving. It can be described as t ...
? What are the necessary components for defining
consciousness Consciousness, at its simplest, is awareness of a state or object, either internal to oneself or in one's external environment. However, its nature has led to millennia of analyses, explanations, and debate among philosophers, scientists, an ...
? Secondly, how can an outside observer test for these criteria? The "
Turing Test The Turing test, originally called the imitation game by Alan Turing in 1949,. Turing wrote about the ‘imitation game’ centrally and extensively throughout his 1950 text, but apparently retired the term thereafter. He referred to ‘ iste ...
" is often cited as a prototypical test of intelligence, although it is almost universally regarded as insufficient. It involves a conversation between a sentient being and a machine, and if the being can't tell he is talking to a machine, it is considered intelligent. 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
computer A computer is a machine that can be Computer programming, programmed to automatically Execution (computing), carry out sequences of arithmetic or logical operations (''computation''). Modern digital electronic computers can perform generic set ...
s or
machine A machine is a physical system that uses power to apply forces and control movement to perform an action. The term is commonly applied to artificial devices, such as those employing engines or motors, but also to natural biological macromol ...
s), and of how to tell a well-trained mimic from a sentient entity. Important thought in this area includes most notably:
John Searle John Rogers Searle (; born July 31, 1932) is an American philosopher widely noted for contributions to the philosophy of language, philosophy of mind, and social philosophy. He began teaching at UC Berkeley in 1959 and was Willis S. and Mario ...
's Chinese Room,
Hubert Dreyfus Hubert Lederer Dreyfus ( ; October 15, 1929 – April 22, 2017) was an American philosopher and a professor of philosophy at the University of California, Berkeley. His main interests included phenomenology, existentialism and the philosophy of ...
' non-cognitivist critique, as well as
Hilary Putnam Hilary Whitehall Putnam (; July 31, 1926 – March 13, 2016) was an American philosopher, mathematician, computer scientist, and figure in analytic philosophy in the second half of the 20th century. He contributed to the studies of philosophy of ...
's work on functionalism. A related field is the
ethics of artificial intelligence The ethics of artificial intelligence covers a broad range of topics within AI that are considered to have particular ethical stakes. This includes algorithmic biases, Fairness (machine learning), fairness, automated decision-making, accountabili ...
, 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.


Personal identity

In philosophy, the problem of personal identity is concerned with how one is able to identify a single person over a time interval, dealing with such questions as, "What makes it true that a person at one time is the same thing as a person at another time?" or "What kinds of things are we persons?" A question related to the problem of personal identity is Benj Hellie's
vertiginous question Benj Hellie's vertiginous question asks why, of all the subjects of experience out there, ''this'' one—the one corresponding to the human being referred to as Benj Hellie—is the one whose experiences are ''lived''? (The reader is supposed to ...
. The vertiginous question asks why, of all the subjects of experience out there, ''this'' one—the one corresponding to the human being referred to as Benj Hellie—is the one whose experiences are ''live''? (The reader is supposed to substitute their own case for Hellie's.) Hellie's argument is closely related to Caspar Hare's theories of
egocentric presentism Egocentric presentism is a form of solipsism introduced by Caspar Hare in which other persons can be conscious, but their experiences are simply not . Similarly, in related work, Hare argues for a theory of perspectival realism in which other pe ...
and perspectival realism, of which several other philosophers have written reviews. Similar questions are also asked repeatedly by J. J. Valberg in justifying his horizonal view of the self. Tim S. Roberts refers to the question of why a particular organism out of all the organisms that happen to exist happens to be you as the "Even Harder Problem of Consciousness". The philosophical issues with personal identity have been extensively discussed by Thomas Nagel in his book '' The View from Nowhere''. It contrasts passive and active points of view in how humanity interacts with the world, relying either on a subjective perspective that reflects a point of view or an objective perspective that takes a more detached perspective. Nagel describes the objective perspective as the "view from nowhere", one where the only valuable ideas are ones derived independently.
Open individualism Open individualism is a view within the philosophy of self, according to which there exists only one numerically identical subject, who is everyone at all times; in the past, present and future. It is a theoretical solution to the question of ...
is a view in the
philosophy of self Philosophy of self examines the idea of the self at a conceptual level. Many different ideas on what constitutes self have been proposed, including the self being an activity, the self being independent of the senses, the bundle theory of the self ...
, according to which there exists only one numerically identical subject, who is everyone at all times, in the past, present and future. It is a theoretical solution to the question of personal identity, being contrasted with "Empty individualism", the view that personal identities correspond to a fixed pattern that instantaneously disappears with the passage of time, and "Closed individualism", the common view that personal identities are particular to subjects and yet survive over time. Open individualism is related to the concept of
anattā In Buddhism, the term ''anattā'' () or ''anātman'' () is the doctrine of "no-self" – that no unchanging, permanent self or essence can be found in any phenomenon. While often interpreted as a doctrine denying the existence of a self, ''ana ...
in Buddhist philosophy. In Buddhism, the term anattā () or anātman () is the doctrine of "non-self" – that no unchanging, permanent self or essence can be found in any phenomenon. While often interpreted as a doctrine denying the existence of a self, ''anatman'' is more accurately described as a strategy to attain non-attachment by recognizing everything as impermanent, while staying silent on the ultimate existence of an unchanging essence. In contrast, dominant schools of Hinduism assert the existence of Ātman as pure awareness or witness-consciousness, "reify ngconsciousness as an eternal self." One thought experiment in the philosophy of personal identity is the teletransportation paradox. It deals with whether the concept of one's future self is a coherent concept. The thought experiment was formulated by
Derek Parfit Derek Antony Parfit (; 11 December 1942 – 2 January 2017) was a British philosopher who specialised in personal identity, rationality, and ethics. He is widely considered one of the most important and influential moral philosophers of the lat ...
in his 1984 book ''
Reasons and Persons ''Reasons and Persons'' is a 1984 book by the philosopher Derek Parfit, in which the author discusses ethics, rationality and personal identity. It is divided into four parts, dedicated to self-defeating theories, rationality and time, personal ...
.'' Derek Parfit and others consider a hypothetical "teletransporter", a machine that puts you to sleep, records your molecular composition, breaking you down into atoms, and relaying its recording to Mars at the speed of light. On Mars, another machine re-creates you (from local stores of carbon, hydrogen, and so on), each atom in exactly the same relative position. Parfit poses the question of whether or not the teletransporter is actually a method of travel, or if it simply kills and makes an exact replica of the user. Then the teleporter is upgraded. The teletransporter on Earth is modified to not destroy the person who enters it, but instead it can simply make infinite replicas, all of whom would claim to remember entering the teletransporter on Earth in the first place. Using thought experiments such as these, Parfit argues that any criteria we attempt to use to determine sameness of person will be lacking, because there is no further fact. What matters, to Parfit, is simply "Relation R", psychological connectedness, including memory, personality, and so on.


Philosophy of mathematics


Mathematical objects

What are
number A number is a mathematical object used to count, measure, and label. The most basic examples are the natural numbers 1, 2, 3, 4, and so forth. Numbers can be represented in language with number words. More universally, individual numbers can ...
s, sets, groups,
points A point is a small dot or the sharp tip of something. Point or points may refer to: Mathematics * Point (geometry), an entity that has a location in space or on a plane, but has no extent; more generally, an element of some abstract topologica ...
, 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 Platonism is the philosophy of Plato and philosophical systems closely derived from it, though contemporary Platonists do not necessarily accept all doctrines of Plato. Platonism has had a profound effect on Western thought. At the most fundam ...
, 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 In mathematics, specifically set theory, the continuum hypothesis (abbreviated CH) is a hypothesis about the possible sizes of infinite sets. It states: Or equivalently: In Zermelo–Fraenkel set theory with the axiom of choice (ZFC), this ...
". The continuum hypothesis has been proven independent of the ZF axioms of
set theory Set theory is the branch of mathematical logic that studies Set (mathematics), sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory – as a branch of mathema ...
, so within 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 The thumb is the first digit of the hand, next to the index finger. When a person is standing in the medical anatomical position (where the palm is facing to the front), the thumb is the outermost digit. The Medical Latin English noun for thum ...
less than the continuum but greater than any
countable set In mathematics, a set is countable if either it is finite or it can be made in one to one correspondence with the set of natural numbers. Equivalently, a set is ''countable'' if there exists an injective function from it into the natural numbe ...
. So, regardless of whether it has been proven unprovable, the platonist would argue that an answer nonetheless does exist.


Philosophy of science


Demarcation problem

'The problem of demarcation' is an expression introduced by
Karl Popper Sir Karl Raimund Popper (28 July 1902 – 17 September 1994) was an Austrian–British philosopher, academic and social commentator. One of the 20th century's most influential philosophers of science, Popper is known for his rejection of the ...
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 Immanuel Kant (born Emanuel Kant; 22 April 1724 – 12 February 1804) was a German philosopher and one of the central Enlightenment thinkers. Born in Königsberg, Kant's comprehensive and systematic works in epistemology, metaphysics, et ...
. Although Popper mentions mathematics and logic, other writers focus on distinguishing
science Science is a systematic discipline that builds and organises knowledge in the form of testable hypotheses and predictions about the universe. Modern science is typically divided into twoor threemajor branches: the natural sciences, which stu ...
from
metaphysics Metaphysics is the branch of philosophy that examines the basic structure of reality. It is traditionally seen as the study of mind-independent features of the world, but some theorists view it as an inquiry into the conceptual framework of ...
. A prominent question in meta-philosophy is that of whether or not philosophical progress occurs and more so, whether such progress in philosophy is even possible. It has even been disputed, most notably by Ludwig Wittgenstein, whether genuine philosophical problems actually exist. The opposite has also been claimed, for example by Karl Popper, who held that such problems do exist, that they are solvable, and that he had actually found definite solutions to some of them. David Chalmers divides inquiry into philosophical progress in meta-philosophy into three questions. The Existence Question: is there progress in philosophy? The Comparison Question: is there as much progress in philosophy as in science? The Explanation Question: why isn't there more progress in philosophy?


Realism

Does a world independent of human beliefs and representations exist? 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 Bastiaan Cornelis "Bas" van Fraassen (; ; born 5 April 1941) is a Dutch-American philosopher noted for his contributions to philosophy of science, epistemology and formal logic. He is a Distinguished Professor of Philosophy at San Francisco Stat ...
have important and interesting answers to the second question. In addition to the realism vs.
empiricism In philosophy, empiricism is an epistemological view which holds that true knowledge or justification comes only or primarily from sensory experience and empirical evidence. It is one of several competing views within epistemology, along ...
axis of debate, there is a realism vs.
social constructivism Social constructivism is a sociological theory of knowledge according to which human development is socially situated, and knowledge is constructed through interaction with others. Like social constructionism, social constructivism states that ...
axis which heats many academic passions. With respect to the third question,
Paul Boghossian Paul Artin Boghossian (; born June 4, 1957) is an American philosopher. He is Silver Professor of Philosophy at New York University, where he chaired the department from 1994 to 2004. His research interests include epistemology, the philosophy ...
's ''Fear of Knowledge: Against Relativism and Constructivism'' is a powerful critique of social constructivism, for instance. Ian Hacking's ''The Social Construction of What?'' constitutes a more moderate critique of constructivism, which usefully disambiguates confusing polysemy of the term "constructivism."


Relationship between science and religion

What is the relationship between science and religion? Philosophers like Paul Feyerabend, A. C. Grayling, and
Alvin Plantinga Alvin Carl Plantinga (born November 15, 1932) is an American analytic philosophy, analytic philosopher who works primarily in the fields of philosophy of religion, epistemology (particularly on issues involving theory of justification, epistemic ...
have debated whether they are in conflict, incompatible, incommensurable, or independent.


Philosophy of religion

Philosophy of religion Philosophy of religion is "the philosophical examination of the central themes and concepts involved in religious traditions". Philosophical discussions on such topics date from ancient times, and appear in the earliest known Text (literary theo ...
encompasses attempts within metaphysics, epistemology, ethics, and other major philosophical fields to philosophically analyze concepts within religion, the nature of religion itself, and alternatives to religion.


Existence of God

A variety of arguments including forms of the contingency argument,
ontological argument In the philosophy of religion, an ontological argument is a deductive philosophical argument, made from an ontological basis, that is advanced in support of the existence of God. Such arguments tend to refer to the state of being or existing. ...
, and moral argument have been proposed by philosophers like
Aristotle Aristotle (; 384–322 BC) was an Ancient Greek philosophy, Ancient Greek philosopher and polymath. His writings cover a broad range of subjects spanning the natural sciences, philosophy, linguistics, economics, politics, psychology, a ...
, Descartes,
Leibniz Gottfried Wilhelm Leibniz (or Leibnitz; – 14 November 1716) was a German polymath active as a mathematician, philosopher, scientist and diplomat who is credited, alongside Sir Isaac Newton, with the creation of calculus in addition to many ...
, Gödel, and
Aquinas Thomas Aquinas ( ; ; – 7 March 1274) was an Italian Dominican Order, Dominican friar and Catholic priest, priest, the foremost Scholasticism, Scholastic thinker, as well as one of the most influential philosophers and theologians in the W ...
for the existence of
God In monotheistic belief systems, God is usually viewed as the supreme being, creator, and principal object of faith. In polytheistic belief systems, a god is "a spirit or being believed to have created, or for controlling some part of the un ...
throughout history. Arguments for God usually refer to some form of metaphysically or logically necessary maximally great being distinct from individual deities, although philosophers have also proposed different concepts of God.
Wittgenstein Ludwig Josef Johann Wittgenstein ( ; ; 26 April 1889 – 29 April 1951) was an Austrian philosopher who worked primarily in logic, the philosophy of mathematics, the philosophy of mind, and the philosophy of language. From 1929 to 1947, Witt ...
and
Kant Immanuel Kant (born Emanuel Kant; 22 April 1724 – 12 February 1804) was a German philosopher and one of the central Enlightenment thinkers. Born in Königsberg, Kant's comprehensive and systematic works in epistemology, metaphysics, et ...
, on the other hand, defended religious belief while doubting that rational arguments could prove God's existence. Philosophers have also considered objections to the existence of God like the
problem of evil The problem of evil is the philosophical question of how to reconcile the existence of evil and suffering with an Omnipotence, omnipotent, Omnibenevolence, omnibenevolent, and Omniscience, omniscient God.The Stanford Encyclopedia of Philosophy, ...
and divine hiddenness.


Nature of God

What is God like? Philosophers like
John Stuart Mill John Stuart Mill (20 May 1806 – 7 May 1873) was an English philosopher, political economist, politician and civil servant. One of the most influential thinkers in the history of liberalism and social liberalism, he contributed widely to s ...
and
Aquinas Thomas Aquinas ( ; ; – 7 March 1274) was an Italian Dominican Order, Dominican friar and Catholic priest, priest, the foremost Scholasticism, Scholastic thinker, as well as one of the most influential philosophers and theologians in the W ...
addressed the question of what the nature of God is if God exists. Some of the key disagreements concern the doctrine of impassibility and the coherency of a maximally great being or properties like
omnipotence Omnipotence is the property of possessing maximal power. Monotheistic religions generally attribute omnipotence only to the deity of their faith. In the monotheistic religious philosophy of Abrahamic religions, omnipotence is often listed as ...
.


Epistemology of religion

Can religious belief be justified? When? According to the Cambridge Dictionary of Philosophy, religious epistemology "investigates the epistemic status of propositional attitudes about religious claims." Philosophers like
Kant Immanuel Kant (born Emanuel Kant; 22 April 1724 – 12 February 1804) was a German philosopher and one of the central Enlightenment thinkers. Born in Königsberg, Kant's comprehensive and systematic works in epistemology, metaphysics, et ...
, Kierkegaard,
William James William James (January 11, 1842 – August 26, 1910) was an American philosopher and psychologist. The first educator to offer a psychology course in the United States, he is considered to be one of the leading thinkers of the late 19th c ...
, and
Alvin Plantinga Alvin Carl Plantinga (born November 15, 1932) is an American analytic philosophy, analytic philosopher who works primarily in the fields of philosophy of religion, epistemology (particularly on issues involving theory of justification, epistemic ...
have debated stances towards the epistemic status of religious belief like reformed epistemology,
fideism Fideism ( ) is a standpoint or an epistemological theory which maintains that faith is independent of reason, or that reason and faith are hostile to each other and faith is superior at arriving at particular truths (see natural theology). The ...
, and
evidentialism Evidentialism is a thesis in epistemology which states that one is justified to believe something if and only if that person has evidence which supports said belief. Evidentialism is, therefore, a thesis about which beliefs are justified and whic ...
.


Philosophy of sport


Most valuable player problem

The concept of the 'most valuable player' is discussed within the field of philosophy of sport. Philosophers Stephen Kershnar and Neil Feit argue that the concept of the MVP is a fundamentally vague concept, but yet valuable in that it promotes the active discussion of different types of excellence found within a specific sport and the weight to be assigned these types, thus leading to a gain for the discussants. Stephen Kershnar termed this vagueness the 'Most Valuable Player Problem'. He offered a solution to the problem but later recanted it, conceding that the problem remains unsolved.


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 this person's fault that they were 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: two people drive while intoxicated, but 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 In moral philosophy, consequentialism is a class of normative, teleological ethical theories that holds that the consequences of one's conduct are the ultimate basis for judgement about the rightness or wrongness of that conduct. Thus, from a ...
and
choice A choice is the range of different things from which a being can choose. The arrival at a choice may incorporate Motivation, motivators and Choice modelling, models. Freedom of choice is generally cherished, whereas a severely limited or arti ...
). 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 to be strange kinds of entities, and different from the usual properties of things in the world, such as wetness, redness, or solidity. Richmond Campbell 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.


See also

*
Thought experiment A thought experiment is an imaginary scenario that is meant to elucidate or test an argument or theory. It is often an experiment that would be hard, impossible, or unethical to actually perform. It can also be an abstract hypothetical that is ...
*
List of paradoxes This list includes well known paradoxes, grouped thematically. The grouping is approximate, as paradoxes may fit into more than one category. This list collects only scenarios that have been called a paradox by at least one source and have their ...


References

{{DEFAULTSORT:Philosophical Problems
Philosophy Philosophy ('love of wisdom' in Ancient Greek) is a systematic study of general and fundamental questions concerning topics like existence, reason, knowledge, Value (ethics and social sciences), value, mind, and language. It is a rational an ...