NFL theorems are mathematical results about aggregate performance over all possible functions, while Hume's fork addresses whether a single proposition's negation implies contradiction.
?Rate how convincing each reason is below to see the overall strength.
No one has weighed in yet. Be the first to share reasons for or against this statement.
Sign in or register to share your perspective on this statement.
contradiction(Relevant to distinguishing contradictions from false contingent statements in the logic student variant of the preface paradox.)
A statement that is necessarily false in all interpretations; in this context, specifically the negation of a tautology or any falsehood drawn from a list containing only tautologies and contradictions.
negation(Standard truth conditions for logical negation, used as the basis for arguments against dialetheism)
¬A is true if and only if A is not true
proposition(Used in the context of a semantic theory sensitive to differences in subject matter.)
The content expressed by a sentence, individuated at least in part by the subject matter of the sentence and the contents of its subsentential expressions.