Nederlog
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. Structure: Entity made up of diverse parts that remains the same entity if some of its parts are replaced by other parts of the same kind. 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. This seems to be a uniquely human abillity in so far as it depends on the human ability to reason with symbols. In logic and mathematics relations that represent are isomorphisms or morphisms. 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. Map: Representation of some features and relations in some territory; in mathematics: function with specified domain and range. A.k.a. mapping. 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 twotermed (which is no principal restriction, since a relation involving n terms can be seen as pair of n1 terms and the nterm). 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. Isomorphism: From the Greek: "Having the same form". As spelled out with some modern mathematics: A 11 mapping between two sets such that some (structural) relations  the forms  are preserved. The mathematical statement just given has the following import: Let A1..An and B1...Bn be sets,; let f be a 11 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 settheory and firstorder 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. Model: (1) Imitation, likeness, analogy of a thing or kind of things. (2) In logic: Settheoretical representation of the universe of discourse of a language. 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 settheoretical 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.




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 computerscientist 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 