Feb 9, 2012
Logic+Philosophy: About structures, maps and representations
The terms I define are of fundamental importance to human understanding and explaining, for that is done in terms of models, that are representations.
Here are some of the relevant terms defined with links:
As indicated, the given definitions are all from my Philosophical Dictionary - that needs some updating and uploading - and are important for philosophy of science, epistemology and methodology. The links in what follows also are to terms in that dictionary.
This is a fundamental stipulative definition of a fundamental idea that is fleshed out in various ways in various disciplines, like logic, mathematics and linguistics. Structures in some sense are often supposed to be part of reality, and sometimes reality or some part of it is considered to be made up of nothing but structures.
Representing: Something A represents something B if and only if the properties, relations and elements of A are systematically correlated with the properties, relations and elements of B in such a way that - some of - the latter can be inferred from the former for those who know the correlation.
The idea that something A represents something B is very fundamental and occurs in many forms.
An often useful instance of representing is a map that represents some territory.
The ideas of a map and the closely related mapping are very fundamental, and are somehow involved in much or all of human cognition and understanding - which after all is based on the making of mental maps or models of things.
The first definition that is given is from the use of "map" in cartography and the second from mathematics, but both are related, and mappings can be seen as mathematical abstractions from maps.
1. maps: It is important to understand that one of the important points of maps (that also applies to mappings) is that they leave out - abstract from, do not depict - many things that are in the territory (or set) it represents. More generally, the following points about maps are important:
It may be well to add some brief comments and explanations to these points
Maps and territories: In the case of paper maps, the general point of having a map is that it charts aspects of some territory (which can be seen as a set of things with properties in relations, but that is not relevant in the present context).
Thus, generally a map only represents certain aspects of the territory it charts, and usually contains helpful material on the map to assist a user to relate it properly to what it charts.
And maps may be partially mistaken or may be outdated and still be helpful to find one's way around the territory it charts, while it also is often helpful if the map explicitly shows what is guessed or unknown in it.
2. mappings: In mathematics, the usage of the terms "map" and "function" is not precisely regulated, but one useful way to relate them and keep them apart is to stipulate that a function is a set of pairs of which each first member is paired to just one second member, and a map is a function of which also the sets from which the first and second members are selected are specified. (These sets are known respectively as domain and range, or source and target. See: Function.)
Note that for both functions and maps the rule or rules by which the first members in the pairs in the functions and maps need not be known or, if it is known, need not be explicitly given. Of course, if such a rule is known it may be very useful and all that may need to be listed to describe the function or map.
Here are some useful notations and definitions, that presume to some extent standard set theory. It is assumed that the relations, functions and maps spoken of are binary or two-termed (which is no principal restriction, since a relation involving n terms can be seen as pair of n-1 terms and the n-term). In what follows "e" = "is a member of":
There are several ways in which such mappings can hold, and I state some with the usual wordings:
One reason to have partial maps (and functions: the same terminology given for maps holds for functions) is that there may well be exceptional cases for some items in A. Thus, if m maps numbers to numbers using 1/n the case n=0 must be excluded.
The mathematical statement just given has the following import: Let A1..An and B1...Bn be sets,; let f be a 1-1 function from Ai to Bi for 1<=i<=n; let S be a relation of the elements of A1..An and R a relation between the elements of B1..Bm with m<=n. Then using Cartesian Products from set-theory and first-order predicate logic:
f is an isomorphism from A1*..*An to B1*..*Bm for S and R
In words: IFF a1 .. an stand in relation S precisely if f(a1) .. f(am), that is the values of a1 .. am for f, stand in relation R.
And clearly any isomorphism f for S1 and R1 may also be an isomorphism for relations S2 and R2, .. , and relations Sk and Rk, while what makes isomorphisms important and a kind of representing is that having the isomorphism one can say what is the case if A1*...*An from what is the case in B1*...*Bm or the other way around. In this sense, a map also is an isomorphism of aspects of the territory, if it is a correct map.
In the first sense, models are made for many kinds of reasons. In general, a model abstracts from certain - possibly many - features of the thing modelled, and imitates only some aspects and features of it. In science, models are often used - e.g. models of airplanes in windtunnels - to find out things about whatever is modelled.
Also in the first sense, if metaphorically, it is often said with considerable sense that when one tries to understand something one constructs a mental model for it, in some ways, that may involve language, imagery or diagrams.
In the second sense, a model is a set-theoretical construction that is used as an interpretation for a (formal) language one investigates, and model theory is a collection of sophisticated and highly developed techniques and results in mathematical logic.
As to ME/CFS (that I prefer to call ME):
Short descriptions of the above:
1. Ten reasons why ME/CFS is a real disease by a professor of medicine of Harvard.
2. Long essay by a professor emeritus of medical chemistry about maltreatment of ME.
3. Explanation of what's happening around ME by an investigative journalist.
4. Report to Canadian Government on ME, by many medical experts.
5. Advice to psychiatrist by a psychiatrist who understands ME is an organic disease
6. English mathematical genius on one's responsibilities in the matter of one's beliefs:
7. A space- and computer-scientist takes a look at psychology.
See also: ME -Documentation and ME - Resources
The last has many files, all on my site to keep them accessible.
|home - index - summaries - top - mail|