Bastard's object

Stub grade: D

This page is a stub

This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:

It would be good to have a category of bastards' objects and a stricter definition. This will do for now. Alec (talk) 11:54, 5 May 2018 (UTC)

Caution:

TODO: Template:Abbr

not to be confused with: a counter-example, see below

Examples

• Trigger's broom

Bastard's object Vs a counter-example

Given a statement;

• $\forall X[\varphi(X)]$^{In words:} made for some $\varphi$

to "prove or disprove it" we must establish either the statement holds, or it does not.

[Expand]

Informal discussion:

---

A counter-example is a demonstration that a statement cannot be true. Suppose for example there is an item, $\mathcal{B}$ in our language for which $\varphi(\mathcal{B})$ is known or easily found to be false

This demonstrates a so called "proof by counter-example" as we have given an instance $\mathcal{B}$ such that we have $\neg[\varphi(\mathcal{B})]$ (the $\neg$ symbol means "not" or negation, to say $\neg[\varphi(\mathcal{B})]$ holds (is true) means that $\varphi(\mathcal{B})$ is false, see principle of excluded middle), obviously this means that $\varphi(X)$ cannot be true for all $X$

Informal examples:

1. the claim "all multiplies of 5 are odd" can instantly be shot down by pointing out that "10 is a multiple of 5 and even"
2. all sequels are worse than the originals

If we show that:

• $\exists Y[\neg[\varphi(Y)]]$

Then such a $Y$ is said to be a "counter example".

As such we see that counter examples are useful tools when forming proofs, where as a bastard's object is a concept which shows that something isn't very useful (in terms of logic) or that a concept is informal.