Showing posts with label construction. Show all posts
Showing posts with label construction. Show all posts

06 October 2024

On Construction VIII: Science

"Science gains from it [the pendulum] more than one can expect. With its huge dimensions, the apparatus presents qualities that one would try in vain to communicate by constructing it on a small [scale], no matter how carefully. Already the regularity of its motion promises the most conclusive results. One collects numbers that, compared with the predictions of theory, permit one to appreciate how far the true pendulum approximates or differs from the abstract system called 'the simple pendulum'." (Jean-Bernard-Léon Foucault, "Demonstration Experimentale du Movement de Rotation de la Terre", 1851)

"The invention of a new symbol is a step in the advancement of civilisation. Why were the Greeks, in spite of their penetrating intelligence and their passionate pursuit of Science, unable to carry Mathematics farther than they did? and why, having formed the conception of the Method of Exhaustions, did they stop short of that of the Differential Calculus? It was because they had not the requisite symbols as means of expression. They had no Algebra. Nor was the place of this supplied by any other symbolical language sufficiently general and flexible; so that they were without the logical instruments necessary to construct the great instrument of the Calculus." (George H Lewes "Problems of Life and Mind", 1873)

"We shall call this universal organizational science the 'Tektology'. The literal translation of this word from the Greek is 'the theory of construction'. 'Construction' is the most generaI and suitable synonym for the modern concept of 'organization'. [...] The aim of tektology is to systematize organizational experience; this science is clearly empirical and should draw its conclusions by way of induction." (Alexander Bogdanov, "Tektology: The Universal Organizational Science" Vol. I, 1913)

"It would be a mistake to suppose that a science consists entirely of strictly proved theses, and it would be unjust to require this. […] Science has only a few apodeictic propositions in its catechism: the rest are assertions promoted by it to some particular degree of probability. It is actually a sign of a scientific mode of thought to find satisfaction in these approximations to certainty and to be able to pursue constructive work further in spite of the absence of final confirmation." (Sigmund Freud, "Introductory Lectures on Psycho-Analysis", 1916)

"Science is a magnificent force, but it is not a teacher of morals. It can perfect machinery, but it adds no moral restraints to protect society from the misuse of the machine. It can also build gigantic intellectual ships, but it constructs no moral rudders for the control of storm tossed human vessel. It not only fails to supply the spiritual element needed but some of its unproven hypotheses rob the ship of its compass and thus endangers its cargo." (William J Bryan, "Undelivered Trial Summation Scopes Trial", 1925)

"Science aims at constructing a world which shall be symbolic of the world of commonplace experience." (Sir Arthur S Eddington, "The Nature of the Physical World", 1928)

"No doctrinal system in physical science, or indeed perhaps in any science, will alter its content of its own accord. Here we always need the pressure of outer circumstances. Indeed the more intelligible and comprehensive a theoretical system is the more obstinately it will resist all attempts at reconstruction or expansion." (Max Planck, "Where is Science Going?", 1932)

"A scientist, whether theorist or experimenter, puts forward statements, or systems of statements, and tests them step by step. In the field of the empirical sciences, more particularly, he constructs hypotheses, or systems of theories, and tests them against experience by observation and experiment." (Karl Popper, "The Logic of Scientific Discovery", 1934)

"Mathematics as an expression of the human mind reflects the active will, the contemplative reason, and the desire for aesthetic perfection. Its basic elements are logic and intuition, analysis and construction, generality and individuality. Though different traditions may emphasize different aspects, it is only the interplay of these antithetic forces and the struggle for their synthesis that constitute the life, usefulness, and supreme value of mathematical science." (Richard Courant & Herbert Robbins, "What Is Mathematics?", 1941)

"A theoretical science unaware that those of its constructs considered relevant and momentous are destined eventually to be framed in concepts and words that have a grip on the educated community and become part and parcel of the general world picture - a theoretical science [...]" (Erwin Schrödinger, "Are There Quantum Jumps?", The British Journal for the Philosophy of Science Vol. 3, 1952)

"[...] sciences do not try to explain, they hardly even try to interpret, they mainly make models. By a model is meant a mathematical construct which, with the addition of certain verbal interpretations, describes observed phenomena. The justification of such a mathematical construct is solely and precisely that it is expected to work - that is, correctly to describe phenomena from a reasonably wide area. Furthermore, it must satisfy certain aesthetic criteria - that is, in relation to how much it describes, it must be rather simple." (John von Neumann, "Method in the physical sciences", 1955)

"We realize, however, that all scientific laws merely represent abstractions and idealizations expressing certain aspects of reality. Every science means a schematized picture of reality, in the sense that a certain conceptual construct is unequivocally related to certain features of order in reality […]" (Ludwig von Bertalanffy, "General System Theory", 1968)

"Many people believe that reasoning, and therefore science, is a different activity from imagining. But this is a fallacy […] Reasoning is constructed with movable images just as certainly as poetry is." (Jacob Bronowski, "Visionary Eye", 1978)

"[…] the pursuit of science is more than the pursuit of understanding. It is driven by the creative urge, the urge to construct a vision, a map, a picture of the world that gives the world a little more beauty and coherence than it had before." (John A Wheeler, "Geons, Black Holes, and Quantum Foam: A Life in Physics", 1998)

On Constructs VII - Mind

"Ideas are substitutions which require a secondary process when what is symbolized by them is translated into the images and experiences it replaces; and this secondary process is frequently not performed at all, generally only performed to a very small extent. Let anyone closely examine what has passed in his mind when he has constructed a chain of reasoning, and he will be surprised at the fewness and faintness of the images which have accompanied the ideas." (George H Lewes "Problems of Life and Mind", 1873)

"The mind of man, learning consciously and unconsciously lessons of experience, gradually constructs a mental image of its surroundings - as the mariner draws a chart of strange coasts to guide him in future voyages, and to enable those that follow after him to sail the same seas with ease and safety." (William C Dampier, "The Recent Development of Physical Science", 1904)

"[…] we can only study Nature through our senses - that is […] we can only study the model of Nature that our senses enable our minds to construct; we cannot decide whether that model, consistent though it be, represents truly the real structure of Nature; whether, indeed, there be any Nature as an ultimate reality behind its phenomena." (William C Dampier, "The Recent Development of Physical Science", 1904)

"While the stuff from which our world picture is build is yielded exclusively from the sense organs as organs of the mind, so that every man's world picture is and always remains a construct of his mind and cannot be proved to have any other existence […]" (Erwin Schrodinger, "What is Life?", 1944)

"Science begins with the world we have to live in, accepting its data and trying to explain its laws. From there, it moves toward the imagination: it becomes a mental construct, a model of a possible way of interpreting experience." (Northrop Frye, "The Educated Imagination", 1964)

"We never have any understanding of any subject matter except in terms of our own mental constructs of 'things' and 'happenings' of that subject matter." (Douglas T Ross, "Structured analysis (SA): A language for communicating ideas", IEEE Transactions on Software Engineering Vol. 3 (1), 1977)

"Perhaps we all lose our sense of reality to the precise degree to which we are engrossed in our own work, and perhaps that is why we see in the increasing complexity of our mental constructs a means for greater understanding, even while intuitively we know that we shall never be able to fathom the imponderables that govern our course through life." (Winfried G Sebald, "The Rings of Saturn", 1995)

"The seemingly stable scene you normally see is really a mental model that you construct - the eyes are actually darting all around, producing a retinal image as jerky as an amateur video, and some of what you thought you saw was instead filled in from memory." (William H Calvin, "How Brains Think", 1996)

"A general limitation of the human mind is its imperfect ability to reconstruct past states of knowledge, or beliefs that have changed. Once you adopt a new view of the world (or any part of it), you immediately lose much of your ability to recall what you used to believe before your mind changed." (Daniel Kahneman, "Thinking, Fast and Slow", 2011)

20 September 2023

On Construction VI: Mental Models

"But surely it is self-evident that every theory is merely a framework or scheme of concepts together with their necessary relations to one another, and that the basic elements can be constructed as one pleases." (Gottlob Frege, "On the Foundations of Geometry and Formal Theories of Arithmetic" , cca. 1903-1909)

"At present, no complete account can be given - one may as well ask for an inventory of the entire products of the human imagination - and indeed such an account would be premature, since mental models are supposed to be in people's heads, and their exact constitution is an empirical question. Nevertheless, there are three immediate constraints on possible models. […] 1. The principle of computability: Mental models, and the machinery for constructing and interpreting them, are computable. […] 2. The principle of finitism: A mental model must be finite in size and cannot directly represent an infinite domain. […] 3. The principle of constructivism: A mental model is constructed from tokens arranged in a particular structure to represent a state of affairs." (Philip Johnson-Laird, "Mental Models" 1983)

"Concepts are inventions of the human mind used to construct a model of the world. They package reality into discrete units for further processing, they support powerful mechanisms for doing logic, and they are indispensable for precise, extended chains of reasoning. […] A mental model is a cognitive construct that describes a person's understanding of a particular content domain in the world." (John Sown, "Conceptual Structures: Information Processing in Mind and Machine", 1984)

"[Language comprehension] involves many components of intelligence: recognition of words, decoding them into meanings, segmenting word sequences into grammatical constituents, combining meanings into statements, inferring connections among statements, holding in short-term memory earlier concepts while processing later discourse, inferring the writer’s or speaker’s intentions, schematization of the gist of a passage, and memory retrieval in answering questions about the passage. [… The reader] constructs a mental representation of the situation and actions being described. […] Readers tend to remember the mental model they constructed from a text, rather than the text itself." (Gordon H Bower & Daniel G Morrow, 1990)

"We build mental models that represent significant aspects of our physical and social world, and we manipulate elements of those models when we think, plan, and try to explain events of that world. The ability to construct and manipulate valid models of reality provides humans with our distinctive adaptive advantage; it must be considered one of the crowning achievements of the human intellect." (Gordon H Bower & Daniel G Morrow, 1990)

"The strangest and most wonderful constructions in the whole animal world are the amazing, intricate constructions made by the primate Homo sapiens. Each normal individual of this species makes a self. Out of its brain it spins a web of words and deeds, and, like the other creatures, it doesn't have to know what it's doing; it just does it. This web protects it, just like the snail's shell. […] As such, it plays a singularly important role in the ongoing cognitive economy of that living body, because, of all the things in the environment an active body must make mental models of, none is more crucial than the model the agent has of itself." (Daniel Dennett, "Consciousness Explained", 1991)

"We construct mental models that provide us with situations in which we can interact with mental objects that represent objects, properties and relations and that behave in ways that simulate the objects, properties and relations that our models represent. […] The concepts and principles that a person understands, in this sense, are embedded in the kinds of objects that he or she includes in mental models and in the ways in which those objects behave, including how they combine and separate to form other objects." (James G Greeno, "Number sense as situated knowing in a conceptual domain", Journal for Research on Mathematics Education Vol. 22 No. 3, 1991)

"We all depend on models to interpret our everyday experiences. We interpret what we see in terms of mental models constructed on past experience and education. They are constructs that we use to understand the pattern of our experiences." (David Bartholomew, "What is Statistics?", 1995)

"The seemingly stable scene you normally see is really a mental model that you construct - the eyes are actually darting all around, producing a retinal image as jerky as an amateur video, and some of what you thought you saw was instead filled in from memory." (William H Calvin, "How Brains Think", 1996)

"According to mental model theory, human reasoning relies on the construction of integrated mental representations of the information that is given in the reasoning problem's premises. These integrated representations are the mental models. A mental model is a mental representation that captures what is common to all the different ways in which the premises can be interpreted. It represents in "small scale" how "reality" could be— according to what is stated in the premises of a reasoning problem. Mental models, though, must not be confused with images. A mental model often forms the basis of one or more visual images, but some of them represent situations that cannot be visualized. Instead, mental models are often likened to diagrams since, as with diagrams, their structure is analogous to the structure of the states of affairs they represent." (Carsten Held et al, "Mental Models and the Mind", 2006)

"Art is constructivist in nature, aimed at the deliberate refinement and elaboration of mental models and worldviews. These are the natural products of cognition itself, the outcome of the brain’s tendency to strive for the integration of perceptual and conceptual material over time. […] human culture is essentially a distributed cognitive system within which worldviews and mental models are constructed and shared by the members of a society. Artists are traditionally at the forefront of that process, and have a large influence on our worldviews and mental models." (Mark Turner, "The Artful Mind : cognitive science and the riddle of human creativity", 2006)

"In specific cases, we think by applying mental rules, which are similar to rules in computer programs. In most of the cases, however, we reason by constructing, inspecting, and manipulating mental models. These models and the processes that manipulate them are the basis of our competence to reason. In general, it is believed that humans have the competence to perform such inferences error-free. Errors do occur, however, because reasoning performance is limited by capacities of the cognitive system, misunderstanding of the premises, ambiguity of problems, and motivational factors. Moreover, background knowledge can significantly influence our reasoning performance. This influence can either be facilitation or an impedance of the reasoning process." (Carsten Held et al, "Mental Models and the Mind", 2006)

"Prom the processing view, the model theory distinguishes between three different operations. In the construction phase, reasoners construct the mental model that reflects the information from the premises. In the inspection phase, this model is inspected to find new information that is not explicitly given in the premises. In most variants of the model theory, the inspection process is conceptualized as a spatial focus that scans the model to find new information not given in the premises.. In the variation phase, reasoners try to construct alternative models from the premises that refute the putative conclusion. If no such model is found, the putative conclusion is considered true." (Carsten Held et al, "Mental Models and the Mind", 2006)

"We all construct mental models that describe our various mental states, bodies of knowledge about our abilities, depictions of our acquaintances, and collections of stories about our pasts. Then, whenever we use our models of ourselves, we tend to use terms like conscious - when those reflections lead to choices we make, and we use unconscious or unintentional to describe those activities that we regard as beyond our control." (Marvin Minsky, "The Emotion Machine: Commonsense thinking, artificial intelligence, and the future of the human mind", 2006)

"Just as physicists have created models of the atom based on observed data and intuitive synthesis of the patterns in their data, so must designers create models of users based on observed behaviors and intuitive synthesis of the patterns in the data. Only after we formalize such patterns can we hope to systematically construct patterns of interaction that smoothly match the behavior patterns, mental models, and goals of users. Personas provide this formalization." (Alan Cooper et al, "About Face 3: The Essentials of Interaction Design", 2007)

"The concepts and constructs about real work things we have in our heads are called mental model." (Hassan Qudrat-Ullah, "System Dynamics Based Learning Environments" [in "Encyclopedia of Information Technology Curriculum Integration"], 2008)

[mental model:] "Internal representations constructed on the spot when required by demands of an external task or by a self-generated stimulus. It enables activation of relevant schemata, and allows new knowledge to be integrated. It specifies causal actions among concepts that take place within it, and it can be interacted with in the mind." (Daniel Churchill, "Mental Models" [in "Encyclopedia of Information Technology Curriculum Integration"], 2008)

"Mental models represent possibilities, and the theory of mental models postulates three systems of mental processes underlying inference: (0) the construction of an intensional representation of a premise’s meaning – a process guided by a parser; (1) the building of an initial mental model from the intension, and the drawing of a conclusion based on heuristics and the model; and (2) on some occasions, the search for alternative models, such as a counterexample in which the conclusion is false. System 0 is linguistic, and it may be autonomous. System 1 is rapid and prone to systematic errors, because it makes no use of a working memory for intermediate results. System 2 has access to working memory, and so it can carry out recursive processes, such as the construction of alternative models." (Sangeet Khemlania & P.N. Johnson-Laird, "The processes of inference", Argument and Computation, 2012)

On Construction IV: Models

" […] as a general rule, that in selecting a particular case for constructing a model the first prerequisite is regularity. By selecting a symmetrical form for the model, not only is the execution simplified, but what is of more importance, the model will be of such a character as to impress itself readily on the mind." (Felix Klein, 1893)

"To use an old analogy - and here we can hardly go except upon analogy - while the building of Nature is growing spontaneously from within, the model of it, which we seek to construct in our descriptive science, can only be constructed by means of scaffolding from without, a scaffolding of hypotheses. While in the real building all is continuous, in our model there are detached parts which must be connected with the rest by temporary ladders and passages, or which must be supported till we can see how to fill in the understructure. To give the hypotheses equal validity with facts is to confuse the temporary scaffolding with the building itself." (John H Poynting, 1899)

"[…] we can only study Nature through our senses - that is […] we can only study the model of Nature that our senses enable our minds to construct; we cannot decide whether that model, consistent though it be, represents truly the real structure of Nature; whether, indeed, there be any Nature as an ultimate reality behind its phenomena." (William C Dampier, "The Recent Development of Physical Science", 1904)

"Physics is the attempt at the conceptual construction of a model of the real world and its lawful structure." (Albert Einstein, [letter to Moritz Schlick] 1931)

"The sciences do not try to explain, they hardly even try to interpret, they mainly make models. By a model is meant a mathematical construct which, with the addition of certain verbal interpretations, describes observed phenomena. The justification of such a mathematical construct is solely and precisely that it is expected to work" (John Von Neumann, "Method in the Physical Sciences", 1955)

"General Systems Theory is a name which has come into use to describe a level of theoretical model-building which lies somewhere between the highly generalized constructions of pure mathematics and the specific theories of the specialized disciplines. Mathematics attempts to organize highly general relationships into a coherent system, a system however which does not have any necessary connections with the 'real' world around us. It studies all thinkable relationships abstracted from any concrete situation or body of empirical knowledge." (Kenneth E Boulding, "General Systems Theory - The Skeleton of Science", Management Science Vol. 2 (3), 1956)

"[a pictorial representation] is not a faithful record of a visual experience, but the faithful construction of a relational model […] Such a model can be constructed to any required degree of accuracy . What is decisive here is clearly the word 'required'. The form of a representation cannot be divorced from its purpose and the requirements of the society in which the given visual language gains currency." (Ernst H Gombrich," Art and illusion", 1960)

"In fact, the construction of mathematical models for various fragments of the real world, which is the most essential business of the applied mathematician, is nothing but an exercise in axiomatics." (Marshall Stone, cca 1960)

"[…] no models are [true] = not even the Newtonian laws. When you construct a model you leave out all the details which you, with the knowledge at your disposal, consider inessential. […] Models should not be true, but it is important that they are applicable, and whether they are applicable for any given purpose must of course be investigated. This also means that a model is never accepted finally, only on trial." (Georg Rasch, "Probabilistic Models for Some Intelligence and Attainment Tests", 1960)

"[...] sciences do not try to explain, they hardly even try to interpret, they mainly make models. By a model is meant a mathematical construct which, with the addition of certain verbal interpretations, describes observed phenomena. The justification of such a mathematical construct is solely and precisely that it is expected to work - that is, correctly to describe phenomena from a reasonably wide area. Furthermore, it must satisfy certain aesthetic criteria - that is, in relation to how much it describes, it must be rather simple." (John von Neumann, "Method in the physical sciences", 1961)

"Cybernetics is concerned primarily with the construction of theories and models in science, without making a hard and fast distinction between the physical and the biological sciences. The theories and models occur both in symbols and in hardware, and by 'hardware’ we shall mean a machine or computer built in terms of physical or chemical, or indeed any handleable parts. Most usually we shall think of hardware as meaning electronic parts such as valves and relays. Cybernetics insists, also, on a further and rather special condition that distinguishes it from ordinary scientific theorizing: it demands a certain standard of effectiveness. In this respect it has acquired some of the same motive power that has driven research on modern logic, and this is especially true in the construction and application of artificial languages and the use of operational definitions. Always the search is for precision and effectiveness, and we must now discuss the question of effectiveness in some detail. It should be noted that when we talk in these terms we are giving pride of place to the theory of automata at the expense, at least to some extent, of feedback and information theory." (Frank H George, "The Brain As A Computer", 1962)

"Science begins with the world we have to live in, accepting its data and trying to explain its laws. From there, it moves toward the imagination: it becomes a mental construct, a model of a possible way of interpreting experience." (Northrop Frye, "The Educated Imagination", 1964)

"The usefulness of the models in constructing a testable theory of the process is severely limited by the quickly increasing number of parameters which must be estimated in order to compare the predictions of the models with empirical results" (Anatol Rapoport, "Prisoner's Dilemma: A study in conflict and cooperation", 1965)

"Knowing reality means constructing systems of transformations that correspond, more or less adequately, to reality. They are more or less isomorphic to transformations of reality. The transformational structures of which knowledge consists are not copies of the transformations in reality; they are simply possible isomorphic models among which experience can enable us to choose. Knowledge, then, is a system of transformations that become progressively adequate." (Jean Piaget, "Genetic Epistemology", 1968)

"Models are not intended to either reflect or construct a single objective reality. Rather, their purpose is to simulate some aspect of a possible reality. In NLP, for instance, it is not important whether or not a model is 'true' , but rather that it is 'useful'. In fact, all models can be perceived as symbolic or metaphoric, as opposed to reflective of reality. Whether the description being used is metaphorical or literal, the usefulness of a model depends on the degree to which it allows us to move effectively to the next step in the sequence of transformations connecting deeper structures and surface structures. Instead of 'constructing' reality, models establish a set of functions that serve as a tool or a bridge between deep structures and surface structures. It is this bridge that forms our 'understanding' of reality and allows us to generate new experiences and expressions of reality." (Richard Bandler & John Grinder, "The Structure of Magic", 1975)

"In physics it is usual to give alternative theoretical treatments of the same phenomenon. We construct different models for different purposes, with different equations to describe them. Which is the right model, which the 'true' set of equations? The question is a mistake. One model brings out some aspects of the phenomenon; a different model brings out others. Some equations give a rougher estimate for a quantity of interest, but are easier to solve. No single model serves all purposes best." (Nancy Cartwright, "How the Laws of Physics Lie", 1983)

"Physics is like that. It is important that the models we construct allow us to draw the right conclusions about the behaviour of the phenomena and their causes. But it is not essential that the models accurately describe everything that actually happens; and in general it will not be possible for them to do so, and for much the same reasons. The requirements of the theory constrain what can be literally represented. This does not mean that the right lessons cannot be drawn. Adjustments are made where literal correctness does not matter very much in order to get the correct effects where we want them; and very often, as in the staging example, one distortion is put right by another. That is why it often seems misleading to say that a particular aspect of a model is false to reality: given the other constraints that is just the way to restore the representation." (Nancy Cartwright, "How the Laws of Physics Lie", 1983)

"Concepts are inventions of the human mind used to construct a model of the world. They package reality into discrete units for further processing, they support powerful mechanisms for doing logic, and they are indispensable for precise, extended chains of reasoning. […] A mental model is a cognitive construct that describes a person's understanding of a particular content domain in the world." (John Sown, "Conceptual Structures: Information Processing in Mind and Machine", 1984)

"Even if there is only one possible unified theory, it is just a set of rules and equations. What is it that breathes fire into the equations and makes a universe for them to describe? The usual approach of science of constructing a mathematical model cannot answer the questions of why there should be a universe for the model to describe. Why does the universe go to all the bother of existing?" (Stephen W Hawking, "A Brief History of Time: From the Big Bang to Black Holes", 1988)

"The usual approach of science of constructing a mathematical model cannot answer the questions of why there should be a universe for the model to describe. Why does the universe go to all the bother of existing?" (Stephen Hawking, "A Brief History of Time", 1988)

"We build mental models that represent significant aspects of our physical and social world, and we manipulate elements of those models when we think, plan, and try to explain events of that world. The ability to construct and manipulate valid models of reality provides humans with our distinctive adaptive advantage; it must be considered one of the crowning achievements of the human intellect." (Gordon H Bower & Daniel G Morrow, 1990)

"We construct mental models that provide us with situations in which we can interact with mental objects that represent objects, properties and relations and that behave in ways that simulate the objects, properties and relations that our models represent. […] The concepts and principles that a person understands, in this sense, are embedded in the kinds of objects that he or she includes in mental models and in the ways in which those objects behave, including how they combine and separate to form other objects." (James G Greeno, "Number sense as situated knowing in a conceptual domain", Journal for Research on Mathematics Education Vol. 22 No. 3, 1991)

"A model is something one tries to construct when one has to describe a complicated situation. A model is therefore an approximate description of reality and invariably involves many simplifying assumptions. […] models are convenient idealisations." (Ganeschan Venkataraman, "Chandrasekhar and His Limit", 1992)

"Pedantry and sectarianism aside, the aim of theoretical physics is to construct mathematical models such as to enable us, from the use of knowledge gathered in a few observations, to predict by logical processes the outcomes in many other circumstances. Any logically sound theory satisfying this condition is a good theory, whether or not it be derived from ‘ultimate’ or ‘fundamental’ truth." (Clifford Truesdell & Walter Noll, "The Non-Linear Field Theories of Mechanics" 2nd Ed., 1992)

"[…] it does not seem helpful just to say that all models are wrong. The very word model implies simplification and idealization. The idea that complex physical, biological or sociological systems can be exactly described by a few formulae is patently absurd. The construction of idealized representations that capture important stable aspects of such systems is, however, a vital part of general scientific analysis and statistical models, especially substantive ones, do not seem essentially different from other kinds of model." (Sir David Cox, "Comment on ‘Model uncertainty, data mining and statistical inference’", Journal of the Royal Statistical Society, Series A 158, 1995)

"The science of statistics may be described as exploring, analyzing and summarizing data; designing or choosing appropriate ways of collecting data and extracting information from them; and communicating that information. Statistics also involves constructing and testing models for describing chance phenomena. These models can be used as a basis for making inferences and drawing conclusions and, finally, perhaps for making decisions." (Fergus Daly et al, "Elements of Statistics", 1995)

"We all depend on models to interpret our everyday experiences. We interpret what we see in terms of mental models constructed on past experience and education. They are constructs that we use to understand the pattern of our experiences." (David Bartholomew, "What is Statistics?", 1995)

"Science begins with the world we have to live in, accepting its data and trying to explain its laws. From there, it moves toward the imagination: it becomes a mental construct, a model of a possible way of interpreting experience. The further it goes in this direction, the more it tends to speak the language of mathematics, which is really one of the languages of the imagination, along with literature and music." (Northrop Frye, "The Educated Imagination", 2002)

"The claim that scientific models are metaphors is tied to the fact that often an analogy is exploited to construct a model about a phenomenon. [...] Scientific models appear to be, contrary to past research traditions, as central in scientific practice for describing and communicating aspects of the empirical world as metaphors are in ordinary language." (Daniela M Bailer-Jones," Models, Metaphors and Analogies", 2002)

"Fuzzy models should make good predictions even when they are asked to predict on regions that were not excited during the construction of the model. The generalization capabilities can be controlled by an appropriate initialization of the consequences (prior knowledge) and the use of the recursive least squares to improve the prior choices. The prior knowledge can be obtained from the data." (Jairo Espinosa et al, "Fuzzy Logic, Identification and Predictive Control", 2005)

"Although fiction is not fact, paradoxically we need some fictions, particularly mathematical ideas and highly idealized models, to describe, explain, and predict facts.  This is not because the universe is mathematical, but because our brains invent or use refined and law-abiding fictions, not only for intellectual pleasure but also to construct conceptual models of reality." (Mario Bunge, "Chasing Reality: Strife over Realism", 2006)

"Prom the processing view, the model theory distinguishes between three different operations. In the construction phase, reasoners construct the mental model that reflects the information from the premises. In the inspection phase, this model is inspected to find new information that is not explicitly given in the premises. In most variants of the model theory, the inspection process is conceptualized as a spatial focus that scans the model to find new information not given in the premises.. In the variation phase, reasoners try to construct alternative models from the premises that refute the putative conclusion. If no such model is found, the putative conclusion is considered true." (Carsten Held et al, "Mental Models and the Mind", 2006)

"In order to understand how mathematics is applied to understanding of the real world it is convenient to subdivide it into the following three modes of functioning: model, theory, metaphor. A mathematical model describes a certain range of phenomena qualitatively or quantitatively. […] A (mathematical) metaphor, when it aspires to be a cognitive tool, postulates that some complex range of phenomena might be compared to a mathematical construction." (Yuri I Manin," Mathematics as Metaphor: Selected Essays of Yuri I. Manin", 2007)

"Just as physicists have created models of the atom based on observed data and intuitive synthesis of the patterns in their data, so must designers create models of users based on observed behaviors and intuitive synthesis of the patterns in the data. Only after we formalize such patterns can we hope to systematically construct patterns of interaction that smoothly match the behavior patterns, mental models, and goals of users. Personas provide this formalization." (Alan Cooper et al, "About Face 3: The Essentials of Interaction Design", 2007)

"Although complexity of the physical system is both intimidating and unavoidable in typical networks, for the purposes of control design it is frequently possible to construct models of reduced complexity that lead to effective control solutions for the physical system of interest. These idealized models also serve to enhance intuition regarding network behavior." (Sean Meyn, "Control Techniques for Complex Networks", 2008)

"It is impossible to construct a model that provides an entirely accurate picture of network behavior. Statistical models are almost always based on idealized assumptions, such as independent and identically distributed (i.i.d.) interarrival times, and it is often difficult to capture features such as machine breakdowns, disconnected links, scheduled repairs, or uncertainty in processing rates." (Sean Meyn, "Control Techniques for Complex Networks", 2008)

"There are actually two sides to the success of mathematics in explaining the world around us (a success that Wigner dubbed ‘the unreasonable effectiveness of mathematics’), one more astonishing than the other. First, there is an aspect one might call ‘active’. When physicists wander through nature’s labyrinth, they light their way by mathematics - the tools they use and develop, the models they construct, and the explanations they conjure are all mathematical in nature. This, on the face of it, is a miracle in itself. […] But there is also a ‘passive’ side to the mysterious effectiveness of mathematics, and it is so surprising that the 'active' aspect pales by comparison. Concepts and relations explored by mathematicians only for pure reasons - with absolutely no application in mind—turn out decades (or sometimes centuries) later to be the unexpected solutions to problems grounded in physical reality!" (Mario Livio, "Is God a Mathematician?", 2011)



On Construction II: Theorems

"I am not content with algebra, in that it yields neither the shortest proofs nor the most beautiful constructions of geometry. Consequently, in view of this, I consider that we need yet another kind of analysis, geometric or linear, which deals directly with position, as algebra deals with magnitude." (Gottfried Leibniz, [letter to Christiaan Huygens] 1670)

"A theorem […] is an inference obtained by constructing a diagram according to a general precept, and after modifying it as ingenuity may dictate, observing in it certain relations, and showing that they must subsist in every case, retranslating the proposition into general terms." (Charles S Peirce, "New Elements" ["Kaina stoiceia"], 1904)

"The question of the origin of the hypothesis belongs to a domain in which no very general rules can be given; experiment, analogy and constructive intuition play their part here. But once the correct hypothesis is formulated, the principle of mathematical induction is often sufficient to provide the proof." (Richard Courant & Herbert Robbins, "What Is Mathematics?: An Elementary Approach to Ideas and Methods", 1941)

"The diagrams incorporate a large amount of information. Their use provides extensive savings in space and in mental effort. In the case of many theorems, the setting up of the correct diagram is the major part of the proof. We therefore urge that the reader stop at the end of each theorem and attempt to construct for himself the relevant diagram before examining the one which is given in the text. Once this is done, the subsequent demonstration can be followed more readily; in fact, the reader can usually supply it himself." (Samuel Eilenberg & Norman E. Steenrod, "Foundations of Algebraic Topology", 1952)

"The construction of hypotheses is a creative act of inspiration, intuition, invention; its essence is the vision of something new in familiar material. The process must be discussed in psychological, not logical, categories; studied in autobiographies and biographies, not treatises on scientific method; and promoted by maxim and example, not syllogism or theorem." (Milton Friedman, "Essays in Positive Economics", 1953)

"For the great majority of mathematicians, mathematics is […] a whole world of invention and discovery - an art. The construction of a new theorem, the intuition of some new principle, or the creation of a new branch of mathematics is the triumph of the creative imagination of the mathematician, which can be compared to that of a poet, the painter and the sculptor." (George F J Temple, "100 Years of Mathematics: a Personal Viewpoint", 1981)

"Virtually all mathematical theorems are assertions about the existence or nonexistence of certain entities. For example, theorems assert the existence of a solution to a differential equation, a root of a polynomial, or the nonexistence of an algorithm for the Halting Problem. A platonist is one who believes that these objects enjoy a real existence in some mystical realm beyond space and time. To such a person, a mathematician is like an explorer who discovers already existing things. On the other hand, a formalist is one who feels we construct these objects by our rules of logical inference, and that until we actually produce a chain of reasoning leading to one of these objects they have no meaningful existence, at all." (John L Casti, "Reality Rules: Picturing the world in mathematics" Vol. II, 1992)

"A world view is a system of co-ordinates or a frame of reference in which everything presented to us by our diverse experiences can be placed. It is a symbolic system of representation that allows us to integrate everything we know about the world and ourselves into a global picture, one that illuminates reality as it is presented to us within a certain culture. […] A world view is a coherent collection of concepts and theorems that must allow us to construct a global image of the world, and in this way to understand as many elements of our experience as possible." (Diederick Aerts et al, "World views: From Fragmentation to Integration", 1994)

"What brings us mathematical knowledge? The carriers of mathematical knowledge are proofs, more generally arguments and constructions, as embedded in larger contexts. Mathematicians and teachers of higher mathematics know this, but it should be said. Issues about competence and intuition can be raised as well as factors of knowledge involving the general dissemination of analogical or inductive reasoning or the specific conveyance of methods, approaches or ways of thinking. But in the end, what can be directly conveyed as knowledge are proofs." (Akihiro Kanamori, "Mathematical Knowledge: Motley and Complexity of Proof", Annals of the Japan Association for Philosophy of Science Vol. 21, 2013)

On Construction V: Diagrams

"[…] deduction consists in constructing an icon or diagram the relations of whose parts shall present a complete analogy with those of the parts of the object of reasoning, of experimenting upon this image in the imagination, and of observing the result so as to discover unnoticed and hidden relations among the parts." (Charles S Peirce, 1885)

"A diagram is an icon or schematic image embodying the meaning of a general predicate; and from the observation of this icon we are supposed to construct a new general predicate." (Charles S Peirce, "New Elements" ["Kaina stoiceia"], 1904)

"A theorem […] is an inference obtained by constructing a diagram according to a general precept, and after modifying it as ingenuity may dictate, observing in it certain relations, and showing that they must subsist in every case, retranslating the proposition into general terms." (Charles S Peirce, "New Elements" ["Kaina stoiceia"], 1904)

"Exact figures have, in principle, the same role in geometry as exact measurements in physics; but, in practice, exact figures are less important than exact measurements because the theorems of geometry are much more extensively verified than the laws of physics. The beginner, however, should construct many figures as exactly as he can in order to acquire a good experimental basis; and exact figures may suggest geometric theorems also to the more advanced. Yet, for the purpose of reasoning, carefully drawn free-hand figures are usually good enough, and they are much more quickly done." (George Pólya, "How to solve it", 1945)

"The diagrams incorporate a large amount of information. Their use provides extensive savings in space and in mental effort. In the case of many theorems, the setting up of the correct diagram is the major part of the proof. We therefore urge that the reader stop at the end of each theorem and attempt to construct for himself the relevant diagram before examining the one which is given in the text. Once this is done, the subsequent demonstration can be followed more readily; in fact, the reader can usually supply it himself." (Samuel Eilenberg & Norman E. Steenrod, "Foundations of Algebraic Topology", 1952)

"When the correspondences on the plane can be established between: - all the divisions of one component - and all the divisions of another component, the construction is a DIAGRAM." (Jacques Bertin, "Semiology of graphics", 1967)

"The thinking person goes over the same ground many times. He looks at it from varying points of view - his own, his arch-enemy’s, others’. He diagrams it, verbalizes it, formulates equations, constructs visual images of the whole problem, or of troublesome parts, or of what is clearly known. But he does not keep a detailed record of all this mental work, indeed could not. […] Deep understanding of a domain of knowledge requires knowing it in various ways. This multiplicity of perspectives grows slowly through hard work and sets the state for the re-cognition we experience as a new insight." (Howard E Gruber, "Darwin on Man", 1981)

"According to mental model theory, human reasoning relies on the construction of integrated mental representations of the information that is given in the reasoning problem's premises. These integrated representations are the mental models. A mental model is a mental representation that captures what is common to all the different ways in which the premises can be interpreted. It represents in "small scale" how 'reality' could be - according to what is stated in the premises of a reasoning problem. Mental models, though, must not be confused with images. A mental model often forms the basis of one or more visual images, but some of them represent situations that cannot be visualized. Instead, mental models are often likened to diagrams since, as with diagrams, their structure is analogous to the structure of the states of affairs they represent." (Carsten Held et al, "Mental Models and the Mind", 2006)

On Construction III: Theories

"Analysis is a method where one assumes that which is sought, and from this, through a series of implications, arrives at something which is agreed upon on the basis of synthesis; because in analysis, one assumes that which is sought to be known, proved, or constructed, and examines what this is a consequence of and from what this latter follows, so that by backtracking we end up with something that is already known or is part of the starting points of the theory; we call such a method analysis; it is, in a sense, a solution in reversed direction. In synthesis we work in the opposite direction: we assume the last result of the analysis to be true. Then we put the causes from analysis in their natural order, as consequences, and by putting these together we obtain the proof or the construction of that which is sought. We call this synthesis." (Pappus of Alexandria, cca. 4th century BC)

"[...] the task of the theory consists in constructing a picture of the external world that exists purely internally and must be our guiding star in all thought and experiment; that is in completing, as it were, the thinking process and carrying out globally what on a small scale occurs within us whenever we form an idea." (Ludwig E Boltzmann, "On the Significance of Theories", 1890)

"But surely it is self-evident that every theory is merely a framework or scheme of concepts together with their necessary relations to one another, and that the basic elements can be constructed as one pleases." (Gottlob Frege, "On the Foundations of Geometry and Formal Theories of Arithmetic" , cca. 1903-1909)

"We shall call this universal organizational science the 'Tektology'. The literal translation of this word from the Greek is 'the theory of construction'. 'Construction' is the most generaI and suitable synonym for the modern concept of 'organization'. [...] The aim of tektology is to systematize organizational experience; this science is clearly empirical and should draw its conclusions by way of induction." (Alexander Bogdanov, "Tektology: The Universal Organizational Science" Vol. I, 1913)

"[…] the process of scientific discovery may be regarded as a form of art. This is best seen in the theoretical aspects of Physical Science. The mathematical theorist builds up on certain assumptions and according to well understood logical rules, step by step, a stately edifice, while his imaginative power brings out clearly the hidden relations between its parts. A well-constructed theory is in some respects undoubtedly an artistic production." (Ernest Rutherford, 1932)

"A scientist, whether theorist or experimenter, puts forward statements, or systems of statements, and tests them step by step. In the field of the empirical sciences, more particularly, he constructs hypotheses, or systems of theories, and tests them against experience by observation and experiment." (Karl Popper, "The Logic of Scientific Discovery", 1934)

"A theoretical science unaware that those of its constructs considered relevant and momentous are destined eventually to be framed in concepts and words that have a grip on the educated community and become part and parcel of the general world picture - a theoretical science [...]" (Erwin Schrödinger, "Are There Quantum Jumps?", The British Journal for the Philosophy of Science Vol. 3, 1952)

"A second possible approach to general systems theory is through the arrangement of theoretical systems and constructs in a hierarchy of complexity, roughly corresponding to the complexity of the ‘individuals’ of the various empirical fields […] leading towards a ‘system of systems’." (Kenneth E Boulding, "General Systems Theory - The Skeleton of Science", 1956)

"General Systems Theory is a name which has come into use to describe a level of theoretical model-building which lies somewhere between the highly generalized constructions of pure mathematics and the specific theories of the specialized disciplines. Mathematics attempts to organize highly general relationships into a coherent system, a system however which does not have any necessary connections with the 'real' world around us. It studies all thinkable relationships abstracted from any concrete situation or body of empirical knowledge." (Kenneth E Boulding, "General Systems Theory - The Skeleton of Science", Management Science Vol. 2 (3), 1956)

"The usefulness of the models in constructing a testable theory of the process is severely limited by the quickly increasing number of parameters which must be estimated in order to compare the predictions of the models with empirical results" (Anatol Rapoport, "Prisoner's Dilemma: A study in conflict and cooperation", 1965)

"Theories rarely arise as patient inferences forced by accumulated facts. Theories are mental constructs potentiated by complex external prods (including, in idealized cases, a commanding push from empirical reality)." (Stephen J Gould, "Leonardo's Mountain of Clams and the Diet of Worms", 1998)



On Construction I: Mathematics

"Mathematicians therefore proceed 'by construction', they 'construct' more complicated combinations. When they analyse these combinations, these aggregates, so to speak, into their primitive elements, they see the relations of the elements and deduce the relations of the aggregates themselves. The process is purely analytical, but it is not a passing from the general to the particular, for the aggregates obviously cannot be regarded as more particular than their elements." (Henri Poincaré, "Science and Hypothesis", 1902)

"Mathematics has been called the science of the infinite. Indeed, the mathematician invents finite constructions by which questions are decided that by their very nature refer to the infinite. This is his glory." (Hermann Weyl, "Levels of Infinity", cca. 1930)

"[…] the process of scientific discovery may be regarded as a form of art. This is best seen in the theoretical aspects of Physical Science. The mathematical theorist builds up on certain assumptions and according to well understood logical rules, step by step, a stately edifice, while his imaginative power brings out clearly the hidden relations between its parts. A well-constructed theory is in some respects undoubtedly an artistic production." (Ernest Rutherford, 1932)

"Mathematics as an expression of the human mind reflects the active will, the contemplative reason, and the desire for aesthetic perfection. Its basic elements are logic and intuition, analysis and construction, generality and individuality. Though different traditions may emphasize different aspects, it is only the interplay of these antithetic forces and the struggle for their synthesis that constitute the life, usefulness, and supreme value of mathematical science." (Richard Courant & Herbert Robbins, "What Is Mathematics?", 1941)

"The important point for us to observe is that all these constructions and the laws connecting them can be arrived at by the principle of looking for the mathematically simplest concepts and the link between them. In the limited number of mathematically existent simple field types, and the simple equations possible between them, lies the theorist’s hope of grasping the real in all its depth." (Albert Einstein, "Ideas and Opinions", 1954)

"The sciences do not try to explain, they hardly even try to interpret, they mainly make models. By a model is meant a mathematical construct which, with the addition of certain verbal interpretations, describes observed phenomena. The justification of such a mathematical construct is solely and precisely that it is expected to work" (John Von Neumann, "Method in the Physical Sciences", 1955)

"General Systems Theory is a name which has come into use to describe a level of theoretical model-building which lies somewhere between the highly generalized constructions of pure mathematics and the specific theories of the specialized disciplines. Mathematics attempts to organize highly general relationships into a coherent system, a system however which does not have any necessary connections with the 'real' world around us. It studies all thinkable relationships abstracted from any concrete situation or body of empirical knowledge." (Kenneth E Boulding, "General Systems Theory - The Skeleton of Science", Management Science Vol. 2 (3), 1956)

"In fact, the construction of mathematical models for various fragments of the real world, which is the most essential business of the applied mathematician, is nothing but an exercise in axiomatics." (Marshall Stone, cca 1960)

"[...] sciences do not try to explain, they hardly even try to interpret, they mainly make models. By a model is meant a mathematical construct which, with the addition of certain verbal interpretations, describes observed phenomena. The justification of such a mathematical construct is solely and precisely that it is expected to work - that is, correctly to describe phenomena from a reasonably wide area. Furthermore, it must satisfy certain aesthetic criteria - that is, in relation to how much it describes, it must be rather simple." (John von Neumann, "Method in the physical sciences", 1961)

"A theory with mathematical beauty is more likely to be correct than an ugly one that fits some experimental data. God is a mathematician of a very high order, and He used very advanced mathematics in constructing the universe." (Paul Dirac, Scientific American, 1963)

"It seems to be one of the fundamental features of nature that fundamental physical laws are described in terms of a mathematical theory of great beauty and power, needing quite a high standard of mathematics for one to understand it. You may wonder: Why is nature constructed along these lines? One can only answer that our present knowledge seems to show that nature is so constructed. We simply have to accept it. One could perhaps describe the situation by saying that God is a mathematician of a very high order, and He used very advanced mathematics in constructing the universe. Our feeble attempts at mathematics enable us to understand a bit of the universe, and as we proceed to develop higher and higher mathematics we can hope to understand the universe better." (Paul Dirac, "The Evolution of the Physicist's Picture of Nature", 1963)

"A proof is a construction that can be looked over, reviewed, verified by a rational agent. We often say that a proof must be perspicuous or capable of being checked by hand. It is an exhibition, a derivation of the conclusion, and it needs nothing outside itself to be convincing. The mathematician surveys the proof in its entirety and thereby comes to know the conclusion." (Thomas Tymoczko, "The Four Color Problems", Journal of Philosophy , Vol. 76, 1979)

"For the great majority of mathematicians, mathematics is […] a whole world of invention and discovery - an art. The construction of a new theorem, the intuition of some new principle, or the creation of a new branch of mathematics is the triumph of the creative imagination of the mathematician, which can be compared to that of a poet, the painter and the sculptor." (George F J Temple, "100 Years of Mathematics: a Personal Viewpoint", 1981)

"The usual approach of science of constructing a mathematical model cannot answer the questions of why there should be a universe for the model to describe. Why does the universe go to all the bother of existing?" (Stephen Hawking, "A Brief History of Time", 1988)

"People might suppose that a mathematical proof is conceived as a logical progression, where each step follows upon the ones that have preceded it. Yet the conception of a new argument is hardly likely actually to proceed in this way. There is a globality and seemingly vague conceptual content that is necessary in the construction of a mathematical argument; and this can bear little relation to the time that it would seem to take in order fully to appreciate a serially presented proof" (Roger Penrose, "The Emperor’s New Mind", 1989)

"Because mathematical proofs are long, they are also difficult to invent. One has to construct, without making any mistakes, long chains of assertions, and see what one is doing, see where one is going. To see means to be able to guess what is true and what is false, what is useful and what is not. To see means to have a feeling for which definitions one should introduce, and what the key assertions are that will allow one to develop a theory in a natural manner." (David Ruelle, "Chance and Chaos", 1991)

"The letter ‘i’ originally was meant to suggest the imaginary nature of this number, but with the greater abstraction of mathematics, it came to be realized that it was no more imaginary than many other mathematical constructs. True, it is not suitable for measuring quantities, but it obeys the same laws of arithmetic as do the real numbers, and, surprisingly enough, it makes the statement of various physical laws very natural." (John A Paulos, "Beyond Numeracy", 1991)

"Pedantry and sectarianism aside, the aim of theoretical physics is to construct mathematical models such as to enable us, from the use of knowledge gathered in a few observations, to predict by logical processes the outcomes in many other circumstances. Any logically sound theory satisfying this condition is a good theory, whether or not it be derived from ‘ultimate’ or ‘fundamental’ truth." (Clifford Truesdell & Walter Noll, "The Non-Linear Field Theories of Mechanics" 2nd Ed., 1992)

"Mathematics is not placid, static and eternal. […] Most mathematicians are happy to make use of those axioms in their proofs, although others do not, exploring instead so-called intuitionist logic or constructivist mathematics. Mathematics is not a single monolithic structure of absolute truth!" (Gregory J Chaitin, "A century of controversy over the foundations of mathematics", 2000)

"'Doing mathematics' is thus working on the construction of some mathematical object and resembles other creative enterprises of the mind in a scientific or artistic domain. But while the mental exercise of creating mathematics is somehow related to that of creating art, it should remain clear that mathematical objects are very different from the artistic objects that occur in literature, music, or the visual arts." (David Ruelle, "The Mathematician's Brain", 2007)

"What we get at the end is a mathematical theory: a human construct that, unavoidably, uses concepts introduced by definitions. And the concepts evolve in time because mathematical theories have a life of their own. Not only are theorems proved and new concepts named, but at the same time old concepts are reworked and redefined." (David Ruelle, "The Mathematician's Brain", 2007)

"Philosophers have sometimes made a distinction between analytic and synthetic truths. Analytic truths are not verified by observation; true analytic statements are tautologies and are true by virtue of the definitions of their terms and their logical structure. Synthetic truths relate to the material world; the truth of synthetic statements depends on their correspondence to how physical reality works. Mathematics, according to this distinction, deals exclusively with analytic truths. Its statements are all tautologies and are (analytically) true by virtue of their adherence to formal rules of construction." (Raymond S Nickerson, "Mathematical Reasoning: Patterns, Problems, Conjectures, and Proofs", 2009)

"What brings us mathematical knowledge? The carriers of mathematical knowledge are proofs, more generally arguments and constructions, as embedded in larger contexts. Mathematicians and teachers of higher mathematics know this, but it should be said. Issues about competence and intuition can be raised as well as factors of knowledge involving the general dissemination of analogical or inductive reasoning or the specific conveyance of methods, approaches or ways of thinking. But in the end, what can be directly conveyed as knowledge are proofs." (Akihiro Kanamori, "Mathematical Knowledge: Motley and Complexity of Proof", Annals of the Japan Association for Philosophy of Science Vol. 21, 2013)

Related Posts Plugin for WordPress, Blogger...

On Leonhard Euler

"I have been able to solve a few problems of mathematical physics on which the greatest mathematicians since Euler have struggled in va...