Bastard's object

From Maths
Revision as of 11:54, 5 May 2018 by Alec (Talk | contribs) (Created page with "{{Stub page|msg=It would be good to have a category of bastards' objects and a stricter definition. This will do for now. ~~~~|grade=D}} ::: {{Caution|{{XXX|{{abbr|not to b...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
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:not to be confused with: a counter-example, see below

Definition

Vs a counter-example

Given a statement;

  • [ilmath]\forall X[\varphi(X)][/ilmath]In words:[Note 1] made for some [ilmath]\varphi[/ilmath]

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

Informal discussion:


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

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

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:

  • [ilmath]\exists Y[\neg[\varphi(Y)]][/ilmath][Note 2]

Then such a [ilmath]Y[/ilmath] 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.

Notes

  1. Discussion on the basics of reading FOL statements:


    This statement, [ilmath]\forall X[\varphi(X)][/ilmath], is a first order logic statement (FOL) expressed in a first order language whose symbols are that of logic. See Reading FOL statements for a broader overview. The statement above has 2 parts:

    • [ilmath]\forall X[\ldots][/ilmath] means "for all things (in our language) it follows that we have ( [ilmath]\ldots[/ilmath] )
    • [ilmath]\varphi(X)[/ilmath] is a formula (sometimes overlaps with and is called a predicate)

    Combining these:

    • [ilmath]\forall X[\varphi(X)][/ilmath] means "for all X there is, the statement [ilmath]\varphi(X)[/ilmath] holds"
      • This statement alone doesn't say what [ilmath]\varphi[/ilmath] is, [ilmath]\varphi[/ilmath] is said to be a free variable

    Any free variables left when one has read an entire statement are assumed to be "for all of them that there are", for example:

    • [ilmath]\forall X[\varphi(X)][/ilmath] is just short for [ilmath]\forall \varphi[\forall X[\varphi(X)]][/ilmath]; note that this statement does not have [ilmath]\varphi[/ilmath] "free" any more.
    • [ilmath]\exists\varphi[\forall X[\varphi(X)]][/ilmath] does not have [ilmath]\varphi[/ilmath] free either and says "there exists a [ilmath]\varphi[/ilmath] such that ( for all [ilmath]X[/ilmath] we have ( [ilmath]\varphi(X)[/ilmath] ) )

    These are clearly different statements

    TODO: Fix formatting
  2. There exists a "[ilmath]Y[/ilmath]" such that we have ( not the following ( [ilmath]\varphi(Y)[/ilmath] ) )