{"id":218,"date":"2015-06-13T03:12:41","date_gmt":"2015-06-13T03:12:41","guid":{"rendered":"http:\/\/aristotle2digital.blogwyrm.com\/?p=218"},"modified":"2021-11-25T21:09:27","modified_gmt":"2021-11-26T02:09:27","slug":"ideal-forms-and-error","status":"publish","type":"post","link":"https:\/\/aristotle2digital.blogwyrm.com\/?p=218","title":{"rendered":"Ideal Forms and Error"},"content":{"rendered":"

A central concept of Socratic and Platonic thought is the idea of an ideal form.\u00a0 It sits at the base of all discussions about knowledge and epistemology.\u00a0 Any rectangle that we draw on paper or in a drawing software package, that we construct using rulers and scissors, or manufacture with computer controlled fabrication is a shadow or reflection of the ideal rectangle.\u00a0 This ideal rectangle exists in the space of forms, which may be entirely within the human capacity to understand the world and distinguish or may actually have an independent existence outside the human mind, reflecting a high power.\u00a0 All of these notions about the ideal forms are familiar from the philosophy from antiquity.<\/p>\n

What isn\u2019t so clear is what Plato\u2019s reaction would be if he were suddenly transported forward in time and plunked down in a classroom discussion about the propagation of error.\u00a0 The intriguing question is would he modify his philosophical thought to expand the concept of an ideal form to include and ideal form of error?<\/p>\n

Let\u2019s see if I can make this question concrete by the use of an example.\u00a0 Consider a diagram representing an ideal rectangle of length $L$ and height $H$.<\/p>\n

\"true_rectangle\"<\/a><\/p>\n

Euclidean geometry tells us that the area of such a rectangle is given by the product<\/p>\n

\\[ A = L \\cdot H \\; . \\]<\/p>\n

Of course, the rectangle represented in the diagram doesn\u2019t really exist since there are always imperfections and physical limitations.\u00a0 The usual strategy is to not take the world as we would like it to be but to take it as it is and cope with these departures from the ideal.<\/p>\n

The departures from the ideal can be classified into two broad categories.<\/p>\n

The first category, called knowledge error, contains all of the errors in our ability to know.\u00a0 For example, we do not know exactly what numerical value to give the length $L$.\u00a0 There are fundamental limitations on our ability to measure or represent the numerical value of $L$ and so we know the \u2018true\u2019 value of $L$ only to within some fuzzy approximation.<\/p>\n

The second category doesn\u2019t seem to have a universally agreed-upon name, reflecting the fact that, as a society, we are still coming to grips with the implications of this idea.\u00a0 This departure from the ideal describes the fact that at some level there may not even be on definable concept of true.\u00a0 Essentially, the idea of the length of an object is context-dependent and may have no absolutely clear idea at the atomic level due to the inherent uncertainty in quantum mechanics.\u00a0 This type of \u2018error\u2019 is sometimes called aleatory error<\/a> (in contrast to epistemic error; synonymous with knowledge error).<\/p>\n

Taken together, the knowledge and aleatory errors contribute to an uncertainty in length of the rectangle of $dL$ and an uncertainty in its height of $dH$.<\/p>\n

\"error_rectangle\"<\/a><\/p>\n

Scientists and engineers are commonly exposed to a model in determining the error in the area of such a rectangle as part of their training to deal with uncertainty and error in a formula sometimes called the propagation of error (or uncertainty).\u00a0 For the case of this error-bound rectangle, the true area, $A’$, is determined also in Euclidean fashion yielding<\/p>\n

\\[ A’ = (L+dL) \\cdot (H+dH) = L \\cdot H + dL \\cdot H + L \\cdot dH + dL \\cdot dH .\\]<\/p>\n

So the error in the error in the area, denoted as $dA$, has a more complicated form that the area itself<\/p>\n

\\[ dA = dL \\cdot H + L \\cdot dH + dL \\cdot dH \\; . \\]<\/p>\n

Now suppose that Plato were in the classroom when this lesson was taught.\u00a0 What would his reaction be?\u00a0 I bring this up because although the treatment above is meant to handle error it is still an idealization.\u00a0 There is still a notion of an ideal rectangle sitting underneath.<\/p>\n

The curious question that follows in its train is this:\u00a0 is there an ideal form for this error idealization?\u00a0 In other words, is there a perfect or ideal error in the space of forms of which our particular error discussion is a shadow or reflection?<\/p>\n

It may sound like this question if predicated on a contradiction but my contention is that it only seems so, on the surface.\u00a0 In understanding the propagation of error in the calculation of the rectangle I\u2019ve had to assume a particular functional relationship.<\/p>\n

It is a profound assumption that the object drawn above (not what it represents but that object itself), which is called a rectangle but which is embodied in the real world as made up of atomic parts (be they physical atoms or pixels), can be characterized by two numbers ($L$ and $H$) even if I don\u2019t know what values $L$ and $H$ take on. \u00a0In some sense, this idealization should sit in the space of forms.<\/p>\n

But if that is true, what stops us there.\u00a0 Suppose we had a more complex functional relationship, something, say, that tries to model the boundaries of the object as a set of curves that deviate much from linearity but enough to capture a shaky hand when the object was drawn or a manufacturing process with deviations when machined. Is this model not also an idealization and therefore a reflection of something within the space of forms?<\/p>\n

And why stop there. It seems to me that the boundary line between what is and is not in the space of forms is arbitrary (and perhaps self-referential \u2013 is the boundary between what is and is not in the space of forms itself in the space of forms).\u00a0 Like levels of abstraction in a computer model depend on the context, could not the space of forms depend on the questions that are being asked.<\/p>\n

Perhaps the space of forms is as infinite or as finite as we need it to be.\u00a0 Perhaps its forms all the way down.<\/p>\n","protected":false},"excerpt":{"rendered":"

A central concept of Socratic and Platonic thought is the idea of an ideal form.\u00a0 It sits at the base of all discussions about knowledge and epistemology.\u00a0 Any rectangle that… Read more ><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-218","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/aristotle2digital.blogwyrm.com\/index.php?rest_route=\/wp\/v2\/posts\/218","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/aristotle2digital.blogwyrm.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/aristotle2digital.blogwyrm.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/aristotle2digital.blogwyrm.com\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/aristotle2digital.blogwyrm.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=218"}],"version-history":[{"count":0,"href":"https:\/\/aristotle2digital.blogwyrm.com\/index.php?rest_route=\/wp\/v2\/posts\/218\/revisions"}],"wp:attachment":[{"href":"https:\/\/aristotle2digital.blogwyrm.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=218"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/aristotle2digital.blogwyrm.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=218"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/aristotle2digital.blogwyrm.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=218"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}