Marty,
On 07 Jun 2009, at 02:03, Brent Meeker wrote:
>
> m.a. wrote:
>> *Okay, so is it true to say that things written in EXTENSION are
>> never
>> in formula style but are translated into formulas when we put them
>> into INTENSION form? You can see that my difficulty with math
>> arises from an inability to master even the simplest definitions.
>> marty a.*
>
> It's not that technical. I could define the set of books on my
> shelf by
> giving a list of titles: "The Comprehensible Cosmos", "Set Theory and
> It's Philosophy", "Overshoot", "Quintessence". That would be a
> definition by extension. Or I could point to them in succession and
> say, "That and that and that and that." which would be a definition by
> ostension. Or I could just say, "The books on my shelf." which is a
> definition by intension. An intensional definition is a descriptive
> phrase with an implicit variable, which in logic you might write as:
> The
> set of things x such that x is a book and x is on my shelf.
This is a good point. A set is just a collection of objects seen as a
whole.
A definition in extension of a set is just a listing, finite or
infinite, of its elements.
Like in A = {1, 3, 5}, or B = {2, 4, 6, 8, 10, ...}.
A definition in intension of a set consists in giving the typical
defining property of the elements of the set.
Like in C= "the set of odd numbers which are smaller than 6". Or D =
the set of even numbers.
In this case you see that A is the same set as C? And B is the same
set as D.
Now in mathematics we often use abbreviation. So, for example, instead
of saying: the set of even numbers, we will write
{x such-that x is even}.
OK?
Bruno
Suppose,
http://iridia.ulb.ac.be/~marchal/
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list+unsubscribe.domain.name.hidden
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Sun Jun 07 2009 - 10:33:52 PDT