BaalChatzaf Posted October 18, 2007 Share Posted October 18, 2007 There are two related notions that occur in a mathematical context: measure and quantity. Let us examine the notion of quantity. There are roughly three kinds of quantitya. Ordinal. An ordinal quantity indicates where in a sequence something is. First, Second, etc.b. Cardinal. A cardinal quantity answers the question -- How Many.c. Measure. A measure quantity answers the question -- How Much. Ordinals and Cardinals are represented by positive and non-negative integers (respectively) in the finite case. So we have the first item, the second item etc. for ordinals. Or zero items, one item, two items etc. for cardinals. Measure is different. First of all Measure is generally compact and continuous and not discrete. Measure is handled in physics by the use of -real numbers-. The set of real numbers is linearly ordered, is compact and dense (no holes, no gaps, no jumps). That are other mathematical objects that are not quantities but have quantities associated with them. For example vectors. Vectors have a magnitude (represented by a non-zero real number) and a direction (conventionally a real number between 0 and 2*pi in the radian system for measuring angles. When Rand spoke of measurement omission she implied the underlying quantities were measures and involved linearly ordered, dense and compact systems, the simplest of which is the real number systems. If compactness is not absolutely required (i.e. we do not require sequences to converge), then the rational numbers will do. They form a dense but not compact system. When Rand held that mathematics is the science of measurement she was effectively restricting mathematics to the system of real numbers or rational numbers. Mathematics is much broader than that. For example there are mathematical systems that deal with symmetries of all sorts. Group theory is the kind of mathematical system used to express and describe symmetries. Groups, qua groups are not bound to systems of quantities. One could say mathematics is the discipline or art of abstract structures and relations. For the more technically informed, mathematical systems can be expressed as categories of one kind or another. [Category her is not the general term meaning class; in a math context, category is a particular kind of mathematical system, and I do not intend to discuss categories here]Ba'al Chatzaf Link to comment Share on other sites More sharing options...
tjohnson Posted October 18, 2007 Share Posted October 18, 2007 One could say mathematics is the discipline or art of abstract structures and relations.Interesting post. Korzybski would say mathematics is the discipline or art of abstract structures and relations capable of exact treatment at a given date. All knowledge consists of abstract structures and relations but mathematics differs in the sense that they are exact and so, ideal.Traditionally, too, since Aristotle, and, in the opinion of the majority, eventoday, mathematics is considered as uniquely connected with quantity andmeasurement. Such a view is only partial, because there are many most importantand fundamental branches of mathematics which have nothing to do with quantityor measurement—as, for instance, the theory of groups, analysis situs, projectivegeometry, the theory of numbers, the algebra of ‘logic’, . Sometimes mathematics is spoken about as the science of relations, butobviously such a definition is too broad. If the only content of knowledge isstructural, then relations, obvious, or to be discovered, are the foundation of allknowledge and of all language, as stated in the division of words given above. Sucha definition as suggested would make mathematics co-extensive with all language,and this, obviously, is not the case. Link to comment Share on other sites More sharing options...
merjet Posted October 18, 2007 Share Posted October 18, 2007 Ba'al, It is refreshing to see somebody on an Objectivist forum not confounding measurement with other kinds of quantification.One could say mathematics is the discipline or art of abstract structures and relations.I think this is too broad, since logic would satisfy the definiens. I think a good definition of math is "the science of quantity and quantifiable structures." Link to comment Share on other sites More sharing options...
merjet Posted October 18, 2007 Share Posted October 18, 2007 Traditionally, too, since Aristotle, and, in the opinion of the majority, eventoday, mathematics is considered as uniquely connected with quantity andmeasurement. Such a view is only partial, because there are many most importantand fundamental branches of mathematics which have nothing to do with quantityor measurement—as, for instance, the theory of groups, analysis situs, projectivegeometry, the theory of numbers, the algebra of ‘logic’, . Sometimes mathematics is spoken about as the science of relations, butobviously such a definition is too broad. If the only content of knowledge isstructural, then relations, obvious, or to be discovered, are the foundation of allknowledge and of all language, as stated in the division of words given above. Sucha definition as suggested would make mathematics co-extensive with all language,and this, obviously, is not the case.The theory of groups, projective geometry, and the theory of numbers have nothing to do with quantity? Pretty bizarre in my view. Link to comment Share on other sites More sharing options...
tjohnson Posted October 18, 2007 Share Posted October 18, 2007 The theory of groups, projective geometry, and the theory of numbers have nothing to do with quantity? Pretty bizarre in my view.Really? What does Group Theory have to do with quantity or measurement, for example? Link to comment Share on other sites More sharing options...
merjet Posted October 18, 2007 Share Posted October 18, 2007 The theory of groups, projective geometry, and the theory of numbers have nothing to do with quantity? Pretty bizarre in my view.Really? What does Group Theory have to do with quantity or measurement, for example?Correct me if I'm wrong, but I assumed by "group theory" you meant algebraic groups. Examples of such groups are (1) the set of all integers and addition and (2) the set of all rationals excluding 0 and multiplication. Numbers are quantitative. Link to comment Share on other sites More sharing options...
tjohnson Posted October 18, 2007 Share Posted October 18, 2007 Correct me if I'm wrong, but I assumed by "group theory" you meant algebraic groups. Examples of such groups are (1) the set of all integers and addition and (2) the set of all rationals excluding 0 and multiplication. Numbers are quantitative.From Wiki;"Group theory is the mathematical study of symmetry, as embodied in the structures known as groups"Whether or not some number systems are groups is another issue. Link to comment Share on other sites More sharing options...
merjet Posted October 18, 2007 Share Posted October 18, 2007 From Wiki;"Group theory is the mathematical study of symmetry, as embodied in the structures known as groups"Whether or not some number systems are groups is another issue.Fine. However, you quoted Korzybski saying group theory has "nothing to do with quantity". Link to comment Share on other sites More sharing options...
tjohnson Posted October 18, 2007 Share Posted October 18, 2007 Fine. However, you quoted Korzybski saying group theory has "nothing to do with quantity".Baal said 'Group theory is the kind of mathematical system used to express and describe symmetries. Groups, qua groups are not bound to systems of quantities." Maybe Baal could elaborate, my group theory knowledge is limited to one course some 25 years ago and it's a huge field of study. Link to comment Share on other sites More sharing options...
merjet Posted October 18, 2007 Share Posted October 18, 2007 Fine. However, you quoted Korzybski saying group theory has "nothing to do with quantity".Baal said 'Group theory is the kind of mathematical system used to express and describe symmetries. Groups, qua groups are not bound to systems of quantities." Maybe Baal could elaborate, my group theory knowledge is limited to one course some 25 years ago and it's a huge field of study."Not bound to systems of quantities", or in other words "does not necessarily involve quantities", is quite different from "has nothing to do with quantity." It's like "Some S is not P" versus "No S is P." Link to comment Share on other sites More sharing options...
tjohnson Posted October 19, 2007 Share Posted October 19, 2007 "Not bound to systems of quantities", or in other words "does not necessarily involve quantities", is quite different from "has nothing to do with quantity." It's like "Some S is not P" versus "No S is P."I don't know what else to say, Group Theory is about the study of symmetries. Just because a number system is an example of a group doesn't change this. A group G is a finite or infinite set of elements together with a binary operation (called the group operation) that together satisfy the four fundamental properties of closure, associativity, the identity property, and the inverse property. The operation with respect to which a group is defined is often called the "group operation," and a set is said to be a group "under" this operation. Elements A, B, C, ... with binary operation between A and B denoted AB form a group if1. Closure: If A and B are two elements in G, then the product AB is also in G.2. Associativity: The defined multiplication is associative, i.e., for all A,B,C in G, (AB)C==A(BC).3. Identity: There is an identity element I (a.k.a. 1, E, or e) such that IA==AI==A for every element A in G.4. Inverse: There must be an inverse (a.k.a. reciprocal) of each element. Therefore, for each element A of G, the set contains an element B==A^(-1) such that AA^(-1)==A^(-1)A==I.Now what has this to do with quantity or measurement? Link to comment Share on other sites More sharing options...
BaalChatzaf Posted October 19, 2007 Author Share Posted October 19, 2007 From Wiki;"Group theory is the mathematical study of symmetry, as embodied in the structures known as groups"Whether or not some number systems are groups is another issue.Fine. However, you quoted Korzybski saying group theory has "nothing to do with quantity".There exist groups in which the elements are not associated with quantities or are quantities. Then there are groups in which the elements and or structures are very much involved with quantities. For example the group of linear transformations on a vector space. If the vector spaces are real, the transformations are uniquely represented by non-singular matrices whose elements are real numbers.The definition of a group is not inherently bound to any system of quantities. For example the Klein 4-Group which is the set of strings over the alphabet {x, y} (these are two distinct symbols, that is all) with the defining relationsx*x = e (the identity) x*y = y*x. This group happens to be isomorphic to the set of symmetries on a (general) rectangle. It has four distinct elements:e (the identity), x, y and x*yBa'al Chatzaf Link to comment Share on other sites More sharing options...
BaalChatzaf Posted October 19, 2007 Author Share Posted October 19, 2007 Ba'al, It is refreshing to see somebody on an Objectivist forum not confounding measurement with other kinds of quantification.One could say mathematics is the discipline or art of abstract structures and relations.I think this is too broad, since logic would satisfy the definiens. I think a good definition of math is "the science of quantity and quantifiable structures."Logic is a mathematical system. Special case (for example): Boolean algebras (the algebra of propositions) is a distributive complemented lattice. Ba'al Chatzaf Link to comment Share on other sites More sharing options...
tjohnson Posted October 19, 2007 Share Posted October 19, 2007 Below is a discussion about the relationship between group theory and physics. We can see that quantity and measurement are involved in the work of the physicist as he establishes some relation and the mathematician is using numbers to establish the "same" relation. Group theory goes beyond this, however, and into invariance of relations.The role of groups in physical theory is best described by quoting ProfessorRainich. (Remarks in brackets are mine.) ‘A physicist, we may take it, is a personwho measures according to certain rules. Let us denote by a the number he obtainedin a given situation by applying the rule number one, by b the number obtained inthe same situation by measuring according to rule number two and so on (a may bee.g. the volume, b the pressure, c the temperature of gas in a given container). Thephysicist finds further that the results of measurements of the same kind undertakenin different situations satisfy certain relations, we may write, for instance: r(a,b)=c. A mathematician is busy deducing from some given propositions otherpropositions; this usually leads to numbers which we may call A, B, C, . . . . Thesenumbers also satisfy certain relations, say R(A,B)=C. Then comes, as Professor Weyl says, a messenger, a go-between who may be amathematician or a physicist, or both, and says: “If you establish a correspondencebetween the physical quantities and the mathematical quantities, if you assign A toa, B to b, etc., the same relations hold for the physical quantities as for the corresponding mathematical quantities sothat R≡r.” [similarity of structure.] ‘It may happen, and in fact it happens often, that the same mathematical theorycan be applied to the same physical facts in more than one way; for instance, insteadof assigning to the physical quantities a, b, . . . the mathematical quantities A, B, . . .we might have assigned to them A', B', . . . with the same results, that is, therelations for physical quantities are the same as for the mathematical quantitiescorresponding to them now (think of space considered from the experimental pointof view—and of coordinate geometry; different ways of establishing acorrespondence result from different choices of coordinate axes). If this happens itmeans that the mathematical theory possesses a peculiar property, namely, that if A'is substituted for A, B' for B and so on, no relation of the type R(A,B)=Cwhich was correct before the substitution is destroyed; in other words, there are substitutions ortransformations for which all relations are invariant. All such transformationsconstitute what we call a group; the existence and the properties of such a grouppresent a very important characteristic of the mathematical theory. Moreover it isclear that if two different mathematical theories can be applied—in the sensedescribed above—to the same physical theory, the groups of these two theories willbe essentially the same, so that the groups reflect some of the most fundamentalproperties of physical systems.’2 Link to comment Share on other sites More sharing options...
BaalChatzaf Posted October 19, 2007 Author Share Posted October 19, 2007 Below is a discussion about the relationship between group theory and physics. We can see that quantity and measurement are involved in the work of the physicist as he establishes some relation and the mathematician is using numbers to establish the "same" relation. Group theory goes beyond this, however, and into invariance of relations.The role of groups in physical theory is best described by quoting ProfessorRainich. (Remarks in brackets are mine.) ‘A physicist, we may take it, is a personwho measures according to certain rules. Let us denote by a the number he obtainedin a given situation by applying the rule number one, by b the number obtained inthe same situation by measuring according to rule number two and so on (a may bee.g. the volume, b the pressure, c the temperature of gas in a given container). Thephysicist finds further that the results of measurements of the same kind undertakenin different situations satisfy certain relations, we may write, for instance: r(a,b)=c. A mathematician is busy deducing from some given propositions otherpropositions; this usually leads to numbers which we may call A, B, C, . . . . Thesenumbers also satisfy certain relations, say R(A,B)=C. Then comes, as Professor Weyl says, a messenger, a go-between who may be amathematician or a physicist, or both, and says: “If you establish a correspondencebetween the physical quantities and the mathematical quantities, if you assign A toa, B to b, etc., the same relations hold for the physical quantities as for the corresponding mathematical quantities sothat R≡r.” [similarity of structure.] ‘It may happen, and in fact it happens often, that the same mathematical theorycan be applied to the same physical facts in more than one way; for instance, insteadof assigning to the physical quantities a, b, . . . the mathematical quantities A, B, . . .we might have assigned to them A', B', . . . with the same results, that is, therelations for physical quantities are the same as for the mathematical quantitiescorresponding to them now (think of space considered from the experimental pointof view—and of coordinate geometry; different ways of establishing acorrespondence result from different choices of coordinate axes). If this happens itmeans that the mathematical theory possesses a peculiar property, namely, that if A'is substituted for A, B' for B and so on, no relation of the type R(A,B)=Cwhich was correct before the substitution is destroyed; in other words, there are substitutions ortransformations for which all relations are invariant. All such transformationsconstitute what we call a group; the existence and the properties of such a grouppresent a very important characteristic of the mathematical theory. Moreover it isclear that if two different mathematical theories can be applied—in the sensedescribed above—to the same physical theory, the groups of these two theories willbe essentially the same, so that the groups reflect some of the most fundamentalproperties of physical systems.’2This interesting observation would not apply to the two major theories of gravitation, Newtonian and Einsteinian (General Theory of Relativity). The underlying mathematical structure of the theories are extremely distinct and different from each other. Newtonian gravitation is based on a scalar potential function. Einsteinian gravitation is based on a tensor potential. The equations that follow are different in number and kind. The underlying geometries are also quite different and distinct. The genius of Einstein's theory is that it -explains- why the Newtonian theory is so close to right in a sufficiently "flat" manifold. Close to right, but not right. It is no accident that Newton's Law of Universal Gravitation has worked as well as it has (even though it is not right). A lovely account of this can be found in -Introduction to General Relativity:Spacetime and Geometry- by Sea Carroll, pp 286-293. Interested readers will need some math background but it is not overly daunting. Ba'al Chatzaf Link to comment Share on other sites More sharing options...
merjet Posted October 19, 2007 Share Posted October 19, 2007 Now what has this to do with quantity or measurement?I've already answered that. But you have yet to make a case that group theory has nothing to do with quantity or numbers. Absent that, we are just "spinning the tires" and I'm ready to "exit the car". Incidentally, in post #14 you used "quantity" or "quantities" nine times, so it would take a long and steep uphill drive to convince me group theory has nothing to do with quantity. Link to comment Share on other sites More sharing options...
merjet Posted October 19, 2007 Share Posted October 19, 2007 Logic is a mathematical system. Special case (for example): Boolean algebras (the algebra of propositions) is a distributive complemented lattice.There is clearly much overlap between math and logic, but I don't regard all of logic, e.g. term logic and informal logical fallacies, to be simply a subset or type of math. Link to comment Share on other sites More sharing options...
tjohnson Posted October 19, 2007 Share Posted October 19, 2007 I've already answered that. But you have yet to make a case that group theory has nothing to do with quantity or numbers. Absent that, we are just "spinning the tires" and I'm ready to "exit the car". Incidentally, in post #14 you used "quantity" or "quantities" nine times, so it would take a long and steep uphill drive to convince me group theory has nothing to do with quantity.The mathematician is not concerned with quantities or measurement, it is the physicist, etc., whoever is APPLYING the mathematics. Link to comment Share on other sites More sharing options...
merjet Posted October 19, 2007 Share Posted October 19, 2007 I should have done this earlier, but it is not too late. I looked at the definition of mathematics in my Webster's New World Dictionary (copyright 1970) and here it is.mathematics - the group of sciences (including arithmetic, geometry, algebra, calculus, etc.) dealing with quantities, magnitudes, and forms, and their relationships, attributes, etc., by the use of numbers and symbolsI like it. The same definition is here: http://www.yourdictionary.com/mathematicsRegarding "magnitude" as covering "measurement", it is clear that mathematics is far wider than "the science of measurement." Link to comment Share on other sites More sharing options...
Michael Stuart Kelly Posted October 19, 2007 Share Posted October 19, 2007 Merlin,Isn't magnitude a kind of measurement?Michael Link to comment Share on other sites More sharing options...
tjohnson Posted October 19, 2007 Share Posted October 19, 2007 Regarding "magnitude" as covering "measurement", it is clear that mathematics is far wider than "the science of measurement."There are many ways one could define 'mathematics'. Korzbski defines it as "Mathematics consists of limited linguistic schemes of multiordinal relations capableof exact treatment at a given date." Maybe we should discuss the merits of each definition. Link to comment Share on other sites More sharing options...
merjet Posted October 19, 2007 Share Posted October 19, 2007 (edited) Merlin,Isn't magnitude a kind of measurement?MichaelOff-hand, I think a better way of saying it is that one measures magnitudes.A measurement is a ratio of one magnitude to another of the same type. For example, the length of a football field is 100 times the length of one yard. Edited October 19, 2007 by Merlin Jetton Link to comment Share on other sites More sharing options...
merjet Posted October 19, 2007 Share Posted October 19, 2007 There are many ways one could define 'mathematics'. Korzbski defines it as "Mathematics consists of limited linguistic schemes of multiordinal relations capable of exact treatment at a given date." Maybe we should discuss the merits of each definition.One of the rules of a good definition is that it not be vague or obscure. I note that you misspelled his name, omitting the "y". If you were to correct it, would that be doing math? Link to comment Share on other sites More sharing options...
tjohnson Posted October 19, 2007 Share Posted October 19, 2007 There are many ways one could define 'mathematics'. Korzbski defines it as "Mathematics consists of limited linguistic schemes of multiordinal relations capable of exact treatment at a given date." Maybe we should discuss the merits of each definition.One of the rules of a good definition is that it not be vague or obscure. I note that you misspelled his name, omitting the "y". If you were to correct it, would that be doing math? Well I'm glad that you took the time to notice that spelling error I am not aware of any "rules of a good definition", nor do I think definitions are static affairs. Mathematics has changed incredibly in the last 2000 years and so maybe the definition must change as well. I believe mathematics grew out of quantity and measurement but evolved into, as per Korzybski, the study of exact relations, more or less. In applied mathematics we don't deal with exact relations in our measurements and quantities, they can only be considered approximate. Link to comment Share on other sites More sharing options...
merjet Posted October 19, 2007 Share Posted October 19, 2007 I am not aware of any "rules of a good definition"They are given in many introductory logic texts, e.g. David Kelley's The Art of Reasoning.There are 5 rules here: http://en.citizendium.org/wiki/CZ:DefinitionsKelley's book has these 5 plus one more: A definition should include a genus and a differentia. Link to comment Share on other sites More sharing options...
Recommended Posts
Create an account or sign in to comment
You need to be a member in order to leave a comment
Create an account
Sign up for a new account in our community. It's easy!
Register a new accountSign in
Already have an account? Sign in here.
Sign In Now