{"id":988,"date":"2013-04-22T16:05:22","date_gmt":"2013-04-22T23:05:22","guid":{"rendered":"https:\/\/mathrising.com\/?p=988"},"modified":"2013-04-22T16:24:20","modified_gmt":"2013-04-22T23:24:20","slug":"structure-structure-and-more-structure","status":"publish","type":"post","link":"https:\/\/mathrising.com\/?p=988","title":{"rendered":"Structure, structure and more structure"},"content":{"rendered":"

I was expecting to write about a paper I found recently by Oran Maga<\/a>l<\/a>, a post doc at McGill University, On the mathematical nature of logic<\/em><\/span>. I was attracted to the paper because the title was followed by the phrase Featuring P. Bernays and K. Go\u0308del <\/em><\/span> <\/span><\/p>\n

<\/span><\/p>\n

I\u2019m often intrigued by disputes over whether mathematics can be reduced to logic or whether logic is, in fact, mathematics, because these disputes often remind me of questions addressed by cognitive science, questions related to how the mind uses abstraction to build meaning. <\/span>This particular paper acknowledges, in the end, that its purpose is two-fold. <\/span>It makes the philosophical argument that an examination of the interrelationship between mathematics and logic shows that \u201ca central characteristic of each has an essential role within the other\u201d <\/span>But the paper is also a historical reconstruction and analysis of the ideas presented by Bernays, Hilbert and Go\u0308del (the detail of which is not particularly relevant to my concerns). <\/span>It was Bernays\u2019 perspective that I was most interested in pursuing.<\/span><\/p>\n

<\/span><\/p>\n

Magal begins with the observation that <\/span><\/p>\n

<\/span><\/p>\n

\n

the relationship between logic and mathematics is especially close, closer than between logic and any other discipline, since the very language of logic is arguably designed to capture the conceptual structure of what we express and prove in mathematics.<\/span><\/p>\n

<\/span><\/p>\n<\/blockquote>\n

While some have seen logic as more general than mathematics, there has also been the view that mathematics is more general than logic. <\/span>It is here that Magal introduces Bernays\u2019 idea that logic and mathematics are equally abstract but in different directions<\/em><\/span>. <\/span>And so they cannot be derived one from the other but must be developed side-by-side. <\/span>When logic is stripped of content it becomes the study of inference, of things like negation and implication. <\/span>But while logical abstraction leaves the logical terms constant, according to Bernays, mathematical abstraction leaves structural properties<\/em><\/span> constant. <\/span>These structural properties do seem to be the content of mathematics, and what makes mathematics so powerful. <\/span><\/span><\/p>\n

<\/span><\/p>\n

Magal describes how Bernays understands Hilbert\u2019s axiomatic treatment of geometry. Here, the purely mathematical part of knowledge is separated from geometry (where geometry is thought of as the science of spatial figures) and is then investigated directly.<\/span><\/p>\n

<\/span><\/p>\n

\n

The spatial relationships are, as it were, mapped into the sphere of the abstract mathematical in which the structure of their interconnections appears as an object of pure mathematical thought<\/em><\/span>. This structure is subjected to a mode of investigation that concentrates only on the logical relations and is indifferent to the question of the factual truth, that is, the question whether the geometrical connections determined by the axioms are found in reality (or even in our spatial intuition). (Bernays, 1922a, p. 192) (emphasis added)<\/span><\/p>\n<\/blockquote>\n

<\/span><\/p>\n

Magal then uses abstract algebra to illustrate the point:<\/span><\/p>\n

<\/span><\/p>\n

\n

To understand Bernays\u2019 point, that this is a structural direction of abstraction, and the sense in which this is a mathematical treatment of logic, it is useful to compare this to abstract algebra. The algebra familiar to everyone from our school days abstracts away from particular calculations, and discusses the rules that hold generally (the invariants, in mathematical terminology) while the variable letters are allowed to stand for any numbers whatsoever. Abstract algebra goes further, and \u2018forgets\u2019 not just which number the variables stand for, but also what the basic operations standardly mean. The sign \u2018+\u2019 need not necessarily stand for addition. Rather, the sign \u2018+\u2019 stands for anything which obeys a few rules; for example, the rule that a+ b= b+ a, that a+ 0= a, and so on. Remember that the symbol \u2018a\u2019 need not stand for a number, and the numeral \u20180\u2019 need not stand for the number zero, merely for something that plays the same role with respect to the symbol \u2018+ \u2019 that zero plays with respect to addition. By following this sort of reasoning, one arrives at an abstract algebra; a mathematical study of what happens when the formal rules are held invariant, but the meaning of the signs is deliberately \u2018forgotten\u2019. This leads to the study of general structures such as groups, rings, and fields, with immensely broad applicability in mathematics, not restricted to operations on numbers.<\/span><\/p>\n<\/blockquote>\n

<\/span><\/p>\n

Again the key to the discussion is the question of content. <\/span>When mathematics is viewed as a variant of logic it could easily be judged to have no specific content. <\/span>The various arguments presented are complex, and not everyone writes with respect to the same logic. <\/span><\/span>But the<\/span> <\/span>consistency of Bernays\u2019 argument is most interesting to me. <\/span>He is very clear on the question of content in mathematics. And reading this sent me back to another of his essays<\/a>, where he is responding to Wittgenstein\u2019s thoughts on the foundations of mathematics is 1959. <\/span>Here he challenges Wittgenstein\u2019s view with the nothingness of color.<\/span> <\/span><\/p>\n

<\/span><\/p>\n

\n

Where, however, does the initial conviction of Wittgenstein’s arise that<\/span> in the region of mathematics there is no proper knowledge about objects, but that everything here can only be techniques, standards and customary atti<\/span>tudes, <\/span>He certainly reasons: `There is nothing here at all to which knowing could refer.’\u00a0 That is bound up, as already mentioned, with the circumstance<\/span> that he does not recognize any kind of phenomenology. What probably in<\/span>duces his opposition here are such phrases as the one which refers to the<\/span> `essence’ of a colour; here the word `essence’ evokes the idea of hidden prop<\/span>erties of the color, whereas colors as such are nothing other than what is evident in their manifest properties and relations. But this does not prevent<\/span> such properties and relations from being the content of objective statements; colors are not just a nothing<\/em><\/span>\u2026.That in the region<\/span> of colors and sounds the phenomenological investigation is still in its beginnings, is certainly bound up with the fact that it has no great importance<\/span> for theoretical physics, since in physics we are induced, at an early stage, to eliminate colors and sounds as qualities. Mathematics, however, can be<\/em><\/span> regarded as the theoretical phenomenology of structures<\/em><\/span>. In fact, what contrasts phenomenologically with the qualitative is not the quantitative, as is<\/span> taught by traditional philosophy, but the structural, i.e. the forms of being aside and after, and of being composite, etc., with all the concepts and laws<\/em><\/span> that relate to them. <\/span><\/em>(emphasis added)<\/span><\/p>\n<\/blockquote>\n

<\/span><\/em><\/p>\n

Near the end of the essay he makes a reference to the Leibnizian conception of the characteristica universalis<\/em><\/span> which, Bernays says was intended \u201cto establish a concept-world which would make possible an understanding of all connections existing in reality. <\/span>This dream of Leibniz\u2019s (which it seems Go\u0308del thought feasible) is probably the subject of another blog. <\/span>But in closing I would make the following remarks:<\/span><\/span><\/p>\n

<\/span><\/p>\n

Cognitive scientists have found that abstraction is fundamental to how the body builds meaning or brings structure to its world. <\/span>This is true in visual processes where we find cells in the visual system that respond only to things like verticality, and it is seen in studies that show that a child\u2019s maturing awareness seems to begin with simple abstractions. Mathematics is the powerful enigma that it is because it cuts right into the heart of how we see and how we find meaning.<\/span><\/p>\n

<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"

I was expecting to write about a paper I found recently by Oran Magal, a post doc at McGill University, On the mathematical nature of logic. I was attracted to the paper because the title was followed by the phrase Featuring P. Bernays and K. Go\u0308del <\/p>\n

\n

I\u2019m often intrigued […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[5,32],"tags":[11,15,58,27,70,35],"class_list":["post-988","post","type-post","status-publish","format-standard","hentry","category-mathematics","category-philosophy-of-mathematics","tag-abstraction","tag-cognitive-psychology","tag-logic","tag-math-history","tag-mathematics","tag-philosophy","odd"],"_links":{"self":[{"href":"https:\/\/mathrising.com\/index.php?rest_route=\/wp\/v2\/posts\/988","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/mathrising.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/mathrising.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/mathrising.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/mathrising.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=988"}],"version-history":[{"count":5,"href":"https:\/\/mathrising.com\/index.php?rest_route=\/wp\/v2\/posts\/988\/revisions"}],"predecessor-version":[{"id":990,"href":"https:\/\/mathrising.com\/index.php?rest_route=\/wp\/v2\/posts\/988\/revisions\/990"}],"wp:attachment":[{"href":"https:\/\/mathrising.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=988"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/mathrising.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=988"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/mathrising.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=988"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}