Talk:Counterexample

	Mathematics portal This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics articles
Mid	This article has been rated as Mid-priority on the project's priority scale.

Philosophy: Logic Mid‑importance

This article is within the scope of WikiProject Philosophy, a collaborative effort to improve the coverage of content related to philosophy on Wikipedia. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the general discussion about philosophy content on Wikipedia.PhilosophyWikipedia:WikiProject PhilosophyTemplate:WikiProject PhilosophyPhilosophy articles

Mid

This article has been rated as Mid-importance on the project's importance scale.

Associated task forces:
/
	Logic

Opening Statements[edit]

The opening statement “In logic, and especially in its applications to mathematics and philosophy, a counterexample is an exception to a proposed general rule.” is inaccurate. An exception implies that the the rule under question is valid in some or most cases. The existence of a counterexample has no such implications. Also the statement “In mathematics, counterexamples are often used to prove the boundaries of possible theorems” is equally misleading. Counterexample cannot be used to establish boundaries (whatever that means). I'll wait a few days, and if there are no replies or edits, I'll modify these statements. 24.14.155.208 (talk) 20:15, 3 February 2014 (UTC)[reply]

.[edit]

Uruk-Hai...

/chortle Kaz 19:55, 17 Jan 2005 (UTC)

Not Pc

/chortle Indigenius 01:11, 2 June 2006 (UTC)[reply]

Brazilian logic[edit]

Removed: However, it does not work in Brazilian logic, where contradictions aren't necessarily false. Counterexamples can exist in Brazilian logic, but the above argument must be checked to ensure that the contradiction produced actually is false in the particular case at hand.

According to the page referenced, the law of non-contradiction holds in Brazilian logic. (I have my suspicions about the contents of that page too, but $\neg \phi (t)\to \neg \forall x:\phi (x)$ works in linear logic with quantifiers, and R# is stronger than that.) -Dan 16:33, 21 November 2005 (UTC)

fix-up[edit]

The definition for the mathematics should be about something, everyone understands. Just get a better example instead of "Orcs" 24.12.8.97 20:50, 25 September 2006 (UTC)[reply]

Local or global[edit]

The following text was removed:

A counterexample may be local or global in an argument called bia.

If an editor can complete the thought, with a reference, it may improve the article.Rgdboer (talk) 21:47, 18 January 2015 (UTC)[reply]

2602:306:BDCA:ACE0:19DA:FC75:4D66:5B9E (talk) 19:40, 24 February 2016 (UTC)[reply]

Reasoning Counterexamples Are Based On[edit]

Do counterexamples come from inductive or abductive reasoning? I'm asking because I have determined that deductive reasoning means following the right conclusion and therefore ascertains no counterexamples whatsoever. Cbsteffen (talk) 19:42, 24 February 2016 (UTC)[reply]

Question about non-counterexamples[edit]

Correct me if I'm wrong, but if something is not a counterexample, then do we say it is an "example"? For example, can we say that 7 and 10 are examples to the statement "All prime numbers are odd"? 173.76.246.128 (talk) 18:26, 17 August 2020 (UTC)[reply]

We say that 7 is an example of an odd prime. 10 is no more an example (or counterexample) relating to odd primes than is pi. Slgaiser (talk) 13:28, 3 July 2021 (UTC)[reply]