The crocodile paradox, also known as crocodile sophism, is a paradox in logic in the same family of paradoxes as the liar paradox. [1] The premise states that a crocodile, who has stolen a child, promises the parent that their child will be returned if and only if they correctly predict what the crocodile will do next.
The transaction is logically smooth but unpredictable if the parent guesses that the child will be returned, but a dilemma arises for the crocodile if the parent guesses that the child will not be returned. In the case that the crocodile decides to keep the child, he violates his terms: the parent's prediction has been validated, and the child should be returned. However, in the case that the crocodile decides to give back the child, he still violates his terms, even if this decision is based on the previous result: the parent's prediction has been falsified, and the child should not be returned. The question of what the crocodile should do is therefore paradoxical, and there is no justifiable solution. [2] [3] [4]
The crocodile dilemma serves to expose some of the logical problems presented by metaknowledge. In this regard, it is similar in construction to the unexpected hanging paradox, which Richard Montague (1960) used to demonstrate that the following assumptions about knowledge are inconsistent when tested in combination: [2]
Ancient Greek sources were the first to discuss the crocodile dilemma. [1]
An axiom, postulate, or assumption is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments. The word comes from the Ancient Greek word ἀξίωμα (axíōma), meaning 'that which is thought worthy or fit' or 'that which commends itself as evident'.
A false dilemma, also referred to as false dichotomy or false binary, is an informal fallacy based on a premise that erroneously limits what options are available. The source of the fallacy lies not in an invalid form of inference but in a false premise. This premise has the form of a disjunctive claim: it asserts that one among a number of alternatives must be true. This disjunction is problematic because it oversimplifies the choice by excluding viable alternatives, presenting the viewer with only two absolute choices when, in fact, there could be many.
In philosophy and logic, the classical liar paradox or liar's paradox or antinomy of the liar is the statement of a liar that they are lying: for instance, declaring that "I am lying". If the liar is indeed lying, then the liar is telling the truth, which means the liar just lied. In "this sentence is a lie", the paradox is strengthened in order to make it amenable to more rigorous logical analysis. It is still generally called the "liar paradox" although abstraction is made precisely from the liar making the statement. Trying to assign to this statement, the strengthened liar, a classical binary truth value leads to a contradiction.
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-contradictory or a logically unacceptable conclusion. A paradox usually involves contradictory-yet-interrelated elements that exist simultaneously and persist over time. They result in "persistent contradiction between interdependent elements" leading to a lasting "unity of opposites".
The unexpected hanging paradox or surprise test paradox is a paradox about a person's expectations about the timing of a future event which they are told will occur at an unexpected time. The paradox is variously applied to a prisoner's hanging or a surprise school test. It was first introduced to the public in Martin Gardner's March 1963 Mathematical Games column in Scientific American magazine.
In mathematics and theoretical computer science, a type theory is the formal presentation of a specific type system. Type theory is the academic study of type systems.
The omnipotence paradox is a family of paradoxes that arise with some understandings of the term omnipotent. The paradox arises, for example, if one assumes that an omnipotent being has no limits and is capable of realizing any outcome, even a logically contradictory one such as creating a square circle. Atheological arguments based on the omnipotence paradox are sometimes described as evidence for countering theism. Other possible resolutions to the paradox hinge on the definition of omnipotence applied and the nature of God regarding this application and whether omnipotence is directed toward God Himself or outward toward his external surroundings.
Bell's theorem is a term encompassing a number of closely related results in physics, all of which determine that quantum mechanics is incompatible with local hidden-variable theories, given some basic assumptions about the nature of measurement. "Local" here refers to the principle of locality, the idea that a particle can only be influenced by its immediate surroundings, and that interactions mediated by physical fields cannot propagate faster than the speed of light. "Hidden variables" are supposed properties of quantum particles that are not included in quantum theory but nevertheless affect the outcome of experiments. In the words of physicist John Stewart Bell, for whom this family of results is named, "If [a hidden-variable theory] is local it will not agree with quantum mechanics, and if it agrees with quantum mechanics it will not be local."
In philosophy and mathematics, Newcomb's paradox, also known as Newcomb's problem, is a thought experiment involving a game between two players, one of whom is able to predict the future.
In traditional logic, a contradiction occurs when a proposition conflicts either with itself or established fact. It is often used as a tool to detect disingenuous beliefs and bias. Illustrating a general tendency in applied logic, Aristotle's law of noncontradiction states that "It is impossible that the same thing can at the same time both belong and not belong to the same object and in the same respect."
Moore's paradox concerns the apparent absurdity involved in asserting a first-person present-tense sentence such as "It is raining, but I do not believe that it is raining" or "It is raining, but I believe that it is not raining." The first author to note this apparent absurdity was George E. Moore. These 'Moorean' sentences, as they have become known, are paradoxical in that while they appear absurd, they nevertheless
In statistics and psychometrics, reliability is the overall consistency of a measure. A measure is said to have a high reliability if it produces similar results under consistent conditions:
"It is the characteristic of a set of test scores that relates to the amount of random error from the measurement process that might be embedded in the scores. Scores that are highly reliable are precise, reproducible, and consistent from one testing occasion to another. That is, if the testing process were repeated with a group of test takers, essentially the same results would be obtained. Various kinds of reliability coefficients, with values ranging between 0.00 and 1.00, are usually used to indicate the amount of error in the scores."
The Euthyphro dilemma is found in Plato's dialogue Euthyphro, in which Socrates asks Euthyphro, "Is the pious loved by the gods because it is pious, or is it pious because it is loved by the gods?" (10a)
The new riddle of induction was presented by Nelson Goodman in Fact, Fiction, and Forecast as a successor to Hume's original problem. It presents the logical predicates grue and bleen which are unusual due to their time-dependence. Many have tried to solve the new riddle on those terms, but Hilary Putnam and others have argued such time-dependency depends on the language adopted, and in some languages it is equally true for natural-sounding predicates such as "green". For Goodman they illustrate the problem of projectible predicates and ultimately, which empirical generalizations are law-like and which are not. Goodman's construction and use of grue and bleen illustrates how philosophers use simple examples in conceptual analysis.
A self-defeating prophecy is the complementary opposite of a self-fulfilling prophecy; a prediction that prevents what it predicts from happening. This is also known as the prophet's dilemma.
Imperative logic is the field of logic concerned with imperatives. In contrast to declaratives, it is not clear whether imperatives denote propositions or more generally what role truth and falsity play in their semantics. Thus, there is almost no consensus on any aspect of imperative logic.
Discursive dilemma or doctrinal paradox is a paradox in social choice theory. The paradox is that aggregating judgments with majority voting can result in self-contradictory judgments.
The Pinocchio paradox arises when Pinocchio says "My nose grows now" and is a version of the liar paradox. The liar paradox is defined in philosophy and logic as the statement "This sentence is false." Any attempts to assign a classical binary truth value to this statement lead to a contradiction, or paradox. This occurs because if the statement "This sentence is false" is true, then it is false; this would mean that it is technically true, but also that it is false, and so on without end. Although the Pinocchio paradox belongs to the liar paradox tradition, it is a special case because it has no semantic predicates, as for example "My sentence is false" does.
In operations research, drama theory is one of several problem structuring methods. It is based on game theory and adapts the use of games to complex organisational situations, accounting for emotional responses that can provoke irrational reactions and lead the players to redefine the game. In a drama, emotions trigger rationalizations that create changes in the game, and so change follows change until either all conflicts are resolved or action becomes necessary. The game as redefined is then played.
