List of Illustrations Introduction 1 The Didactic and the Elegant: Some Thoughts on Scientific and Technological Illustrations in the Middle Ages and Renaissance 3 2 Temples of the Body and Temples of the Cosmos: Vision and Visualization in the Vesalian and Copernican Revolutions 40 3 Descartes’s Scientific Illustrations and ’la grande mecanique de la nature’ 86 4 Illustrating Chemistry 135 5 Representations of the Natural System in the Nineteenth Century 164 6 Visual Representation in Archaeology: Depicting the Missing-Link in Human (...) Origins 184 7 Towards an Epistemology of Scientific Illustration 215 8 Illustration and Inference 250 9 Visual Models and Scientific Judgment 269 10 Are Pictures Really Necessary? The Case of Sewall Wright’s ’Adaptive Landscapes’ 303 Bibliography 339 Notes on Contributors 373 Index 377. (shrink)

A phenomenological approach to mathematical practice is sketched out, and some problems with this sort of approach are considered. The approach outlined takes mathematical practices as its data, and seeks to provide an empirically adequate philosophy of mathematics based on observation of these practices. Some observations are presented, based on two case studies of some research into the classification of C*-algebras. It is suggested that an anti-realist account of mathematics could be developed on the basis of these and other studies, (...) locating the substance of mathematics in the various informal argument methods used by mathematicians. (shrink)

The role of audiences in mathematical proof has largely been neglected, in part due to misconceptions like those in Perelman and Olbrechts-Tyteca which bar mathematical proofs from bearing reflections of audience consideration. In this paper, I argue that mathematical proof is typically argumentation and that a mathematician develops a proof with his universal audience in mind. In so doing, he creates a proof which reflects the standards of reasonableness embodied in his universal audience. Given this framework, we can better understand (...) the introduction of proof methods based on the mathematician’s likely universal audience. I examine a case study from Alexander and Briggs’s work on knot invariants to show that we can fruitfully reconstruct mathematical methods in terms of audiences. (shrink)

Perhaps a part of what makes expertise so inspiring to the curious researcher is the possibility of appropriating the structural components of skilled action to draw a roadmap towards their achievement that anyone might be able to follow. Accordingly, the purpose of this essay is to shed light upon the role that creativity plays in the production and environment of skilled action to that foregoing end. In doing so, I suggest that the lessons to be learned from recent empirical research (...) on creativity has much to offer to the cognitive science of skill and expertise. Experts are able to bring their intelligence to bear in controlling fast and seemingly automatic actions by utilizing a form of control often called ‘intelligent automaticity.’ In this spirit, I argue that the environment of intelligently automatic action control curates a similarly ideal environment for the processes of creativity. Moreover, insofar as creativity is ideally operative within the environment of expert action control, I argue further that creativity functions as one representative form of ‘intelligence’ embedded within otherwise fluid, and automatic expert actions. Creativity is able to do so even without conscious representation through the powers of incubated cognition. (shrink)

The aim of this article is to contribute to responsible innovation by developing a conceptual framework for the processes of creativity and innovation. The hypothesis is that creative and innovative processes are similar in that both are affective in nature. I develop this conceptual framework through an interpretation of the insights of Henri Poincaré’s notion of the ‘four stages’ in the creative process and Joseph Schumpeter’s notion of the entrepreneur. Building on this framework, I analyze the creative and innovative practices (...) of the film director Lars von Trier and the entrepreneur Steve Jobs. The interpretation and analysis suggest that the processes of creativity and innovation are similar in nature in that both are based on the moods of disturbance and enthusiasm; but that they differ in that creativity is based on the feelings of interest and irritation, whereas innovation is based on the feelings of desire and anger. In the conclusion I discuss the implications of this for responsible innovation with regard to the social aspect of resistance towards innovation and the ethical aspects of anger in entrepreneurial leadership. (shrink)

Formal logic has often been seen as uniquely placed to analyze mathematical argumentation. While formal logic is certainly necessary for a complete understanding of mathematical practice, it is not sufficient. Important aspects of mathematical reasoning closely resemble patterns of reasoning in nonmathematical domains. Hence the tools developed to understand informal reasoning, collectively known as argumentation theory, are also applicable to much mathematical argumentation. This chapter investigates some of the details of that application. Consideration is given to the many contrasting meanings (...) of the word “argument”; to some of the specific argumentation-theoretic tools that have been applied to mathematics, notably Toulmin layouts and argumentation schemes; to some of the different ways that argumentation is implicated in mathematical practices; and to the social aspects of mathematical argumentation. (shrink)

A sourcebook/textbook on the problem of free will and determinism. Contains a history of the free will problem, a taxonomy of current free will positions, the standard argument against free will, the physics, biology, and neuroscience of free will, the most plausible and practical solution of the problem, and reviews of the work of the leading determinist Ted Honderich, the leading libertarian Robert Kane, the well-known compatibilist Daniel Dennett, and the determinism-agnostic Alfred Mele.

PLEASE NOTE: This is the corrected 2nd eBook edition, 2021. ●●●●● _Critique of Impure Reason_ has now also been published in a printed edition. To reduce the otherwise high price of this scholarly, technical book of nearly 900 pages and make it more widely available beyond university libraries to individual readers, the non-profit publisher and the author have agreed to issue the printed edition at cost. ●●●●● The printed edition was released on September 1, 2021 and is now available through (...) all booksellers, including Barnes & Noble, Amazon, and brick-and-mortar bookstores under ISBN 978-0-578-88646-6. ●●●●● In light of the length of this book, readers who would like to have a more detailed description of the book's objectives and method may find it helpful to read the detailed and clearly written Wikipedia entry about this work: From the Wikipedia search page, use the search phrase "Critique of Impure Reason". At least at the time of this writing (11/29/2021), the Wikipedia entry is well-researched and accurate. ●●●●● In addition, a "Primer on Bartlett's CRITIQUE OF IMPURE REASON" has been made available by the author. It is available under its title through PhilPapers and other philosophy online archives. ●●●●● COMMENDATIONS OF THIS WORK, from the back cover of the published edition: ●●●●● “I admire its range of philosophical vision.” – Nicholas Rescher, Distinguished University Professor of Philosophy, University of Pittsburgh, author of more than 100 books. ●●●●● “Bartlett’s _Critique of Impure Reason_ is an impressive, bold, and ambitious work. Careful scholarship is balanced by original analyses that lead the reader to recognize the limits of meaning, knowledge, and conceptual possibility. The work addresses a host of traditional philosophical problems, among them the nature of space, time, causality, consciousness, the self, other minds, ontology, free will and determinism, and others. The book culminates in a fascinating and profound new understanding of relativity physics and quantum theory.” – Gerhard Preyer, Professor of Philosophy, Goethe-University, Frankfurt am Main, Germany, author of many books including _Concepts of Meaning_, _Beyond Semantics and Pragmatics_, _Intention and Practical Thought_, and _Contextualism in Philosophy_. ●●●●● “[This work’s] goal is of a unique and difficult species: Dr. Bartlett seeks to develop a formal logical calculus on the basis of transcendental philosophical arguments; in fact, he hopes that this calculus will be the formal expression of the transcendental foundation of knowledge.... I consider Dr. Bartlett’s work soundly conceived and executed with great skill.” – C. F. von Weizsäcker, philosopher and physicist, former Director, Max-Planck-Institute, Starnberg, Germany. ●●●●● “Bartlett has written an American “Prolegomena to All Future Metaphysics.” He aims rigorously to eliminate meaningless assertions, reach bedrock, and place philosophy on a firm foundation that will enable it, like science and mathematics, to produce lasting results that generations to come can build on. This is a great book, the fruit of a lifetime of research and reflection, and it deserves serious attention.” — Martin X. Moleski, former Professor, Canisius College, Buffalo, NY, studies of scientific method, the presuppositions of thought, and the self-referential nature of epistemology. ●●●●● “Bartlett has written a book on what might be called the underpinnings of philosophy. It has fascinating depth and breadth, and is all the more striking due to its unifying perspective based on the concepts of reference and self-reference.” – Don Perlis, Professor of Computer Science, University of Maryland, author of numerous publications on self-adjusting autonomous systems and philosophical issues concerning self-reference, mind, and consciousness. ●●●●● ●●●●● The _Critique of Impure Reason: Horizons of Possibility and Meaning_ comprises a major and important contribution to philosophy. Thanks to the generosity of its publisher, this massive 885-page volume has been published as a free open access eBook (3.75MB) as well as an open access printed edition. It inaugurates a revolutionary paradigm shift in philosophical thought by providing compelling and long-sought-for solutions to a wide range of philosophical problems. In the process, the work fundamentally transforms the way in which the concepts of reference, meaning, and possibility are understood. The book includes a Foreword by the celebrated German philosopher and physicist Carl Friedrich von Weizsäcker. ●●●●● In Kant’s _Critique of Pure Reason_ we find an analysis of the preconditions of experience and of knowledge. In contrast, but yet in parallel, the new _Critique_ focuses upon the ways—unfortunately very widespread and often unselfconsciously habitual—in which many of the concepts that we employ _conflict_ with the very preconditions of meaning and of knowledge. ●●●●● This is a book about the boundaries of frameworks and about the unrecognized conceptual confusions in which we become entangled when we attempt to transgress beyond the limits of the possible and meaningful. We tend either not to recognize or not to accept that we all-too-often attempt to trespass beyond the boundaries of the frameworks that make knowledge possible and the world meaningful. ●●●●● The _Critique of Impure Reason_ proposes a bold, ground-breaking, and startling thesis: that a great many of the major philosophical problems of the past can be solved through the recognition of a viciously deceptive form of thinking to which philosophers as well as non-philosophers commonly fall victim. For the first time, the book advances and justifies the criticism that a substantial number of the questions that have occupied philosophers fall into the category of “impure reason,” violating the very conditions of their possible meaningfulness. ●●●●● The purpose of the study is twofold: first, to enable us to recognize the boundaries of what is referentially forbidden—the limits beyond which reference becomes meaningless—and second, to avoid falling victims to a certain broad class of conceptual confusions that lie at the heart of many major philosophical problems. As a consequence, the boundaries of _possible meaning_ are determined. ●●●●● Bartlett, the author or editor of more than 20 books, is responsible for identifying this widespread and delusion-inducing variety of error, _metalogical projection_. It is a previously unrecognized and insidious form of erroneous thinking that undermines its own possibility of meaning. It comes about as a result of the pervasive human compulsion to seek to transcend the limits of possible reference and meaning. ●●●●● Based on original research and rigorous analysis combined with extensive scholarship, the _Critique of Impure Reason_ develops a self-validating method that makes it possible to recognize, correct, and eliminate this major and pervasive form of fallacious thinking. In so doing, the book provides at last provable and constructive solutions to a wide range of major philosophical problems. ●●●●● CONTENTS AT A GLANCE ▪▪▪▪▪ Preface ▪▪▪▪▪ Foreword by Carl Friedrich von Weizsäcker ▪▪▪▪▪ Acknowledgments ▪▪▪▪▪ Avant-propos: A philosopher’s rallying call ▪▪▪▪▪ Introduction ▪▪▪▪▪ A note to the reader ▪▪▪▪▪ A note on conventions ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART I ▪▪▪▪▪ ▪▪▪▪▪ WHY PHILOSOPHY HAS MADE NO PROGRESS AND HOW IT CAN ▪▪▪▪▪ 1 Philosophical-psychological prelude ▪▪▪▪▪ 2 Putting belief in its place: Its psychology and a needed polemic ▪▪▪▪▪ 3 Turning away from the linguistic turn: From theory of reference to metalogic of reference ▪▪▪▪▪ 4 The stepladder to maximum theoretical generality ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART II ▪▪▪▪▪ THE METALOGIC OF REFERENCE ▪▪▪▪▪ A New Approach to Deductive, Transcendental Philosophy ▪▪▪▪▪ 5 Reference, identity, and identification ▪▪▪▪▪ 6 Self-referential argument and the metalogic of reference ▪▪▪▪▪ 7 Possibility theory ▪▪▪▪▪ 8 Presupposition logic, reference, and identification ▪▪▪▪▪ 9 Transcendental argumentation and the metalogic of reference ▪▪▪▪▪ 10 Framework relativity ▪▪▪▪▪ 11 The metalogic of meaning ▪▪▪▪▪ 12 The problem of putative meaning and the logic of meaninglessness ▪▪▪▪▪ 13 Projection ▪▪▪▪▪ 14 Horizons ▪▪▪▪▪ 15 De-projection ▪▪▪▪▪ 16 Self-validation ▪▪▪▪▪ 17 Rationality: Rules of admissibility ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART III ▪▪▪▪▪ PHILOSOPHICAL APPLICATIONS OF THE METALOGIC OF REFERENCE ▪▪▪▪▪ Major Problems and Questions of Philosophy and the Philosophy of Science ▪▪▪▪▪ 18 Ontology and the metalogic of reference ▪▪▪▪▪ 19 Discovery or invention in general problem-solving, mathematics, and physics ▪▪▪▪▪ 20 The conceptually unreachable: “The far side” ▪▪▪▪▪ 21 The projections of the external world, things-in-themselves, other minds, realism, and idealism ▪▪▪▪▪ 22 The projections of time, space, and space-time ▪▪▪▪▪ 23 The projections of causality, determinism, and free will ▪▪▪▪▪ 24 Projections of the self and of solipsism ▪▪▪▪▪ 25 Non-relational, agentless reference and referential fields ▪▪▪▪▪ 26 Relativity physics as seen through the lens of the metalogic of reference ▪▪▪▪▪ 27 Quantum theory as seen through the lens of the metalogic of reference ▪▪▪▪▪ 28 Epistemological lessons learned from and applicable to relativity physics and quantum theory ▪▪▪▪▪ ▪▪▪▪▪ PART IV ▪▪▪▪▪ HORIZONS ▪▪▪▪▪ 29 Beyond belief ▪▪▪▪▪ 30 _Critique of Impure Reason_: Its results in retrospect ▪▪▪▪▪ ▪▪▪▪▪ SUPPLEMENT ▪▪▪▪▪ The Formal Structure of the Metalogic of Reference ▪▪▪▪▪ APPENDIX I ▪▪▪▪▪ The Concept of Horizon in the Work of Other Philosophers ▪▪▪▪▪ APPENDIX II ▪▪▪▪▪ Epistemological Intelligence ▪▪▪▪▪ References ▪▪▪▪▪ Index ▪▪▪▪▪ About the author. (shrink)

Written by experts in the field, this volume presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. Argumentation theory studies reasoning and argument, and especially those aspects not addressed, or not addressed well, by formal deduction. The philosophy of mathematical practice diverges from mainstream philosophy of mathematics in the emphasis it places on what the majority of working mathematicians actually do, rather than on mathematical foundations. -/- The book begins by first challenging the (...) assumption that there is no role for informal logic in mathematics. Next, it details the usefulness of argumentation theory in the understanding of mathematical practice, offering an impressively diverse set of examples, covering the history of mathematics, mathematics education and, perhaps surprisingly, formal proof verification. From there, the book demonstrates that mathematics also offers a valuable testbed for argumentation theory. Coverage concludes by defending attention to mathematical argumentation as the basis for new perspectives on the philosophy of mathematics. ​. (shrink)

More or less explicitly inspired by the Aristotelian classification of arguments, a wide tradition makes a sharp distinction between argument and proof. Ch. Perelman and R. Johnson, among others, share this view based on the principle that the conclusion of an argument is uncertain while the conclusion of a proof is certain. Producing proof is certainly a major part of mathematical activity. Yet, in practice, mathematicians, expert or beginner, argue about mathematical proofs. This happens during the search for a proof, (...) then when the proof is presented and discussed by experts, and finally when it is taught or used in didactical contexts. (shrink)

In this article, I will discuss the relationship between mathematical intuition and mathematical visualization. I will argue that in order to investigate this relationship, it is necessary to consider mathematical activity as a complex phenomenon, which involves many different cognitive resources. I will focus on two kinds of danger in recurring to visualization and I will show that they are not a good reason to conclude that visualization is not reliable, if we consider its use in mathematical practice. Then, I (...) will give an example of mathematical reasoning with a figure, and show that both visualization and intuition are involved. I claim that mathematical intuition depends on background knowledge and expertise, and that it allows to see the generality of the conclusions obtained by means of visualization. (shrink)

The aim of the article is to contribute to the conceptualization of creativity in education. The article makes use of the self-Bildung perspective, which is an up-to-date version of the Neo-humanistic notion of the formation of the personality in order to interpret the original notion of the ‘four stages’ of the creative process. The conclusion is that in this perspective creativity can be understood as a state of transcendence and a practice of taste. Finally, the article seeks to sketch out (...) a suggestion of the creative capacities that are important to cultivate in education. (shrink)

A description of the author's application of protocol analysis in the teaching of philosophy.

What is creativity? One new idea may be creative, whereas another is merely new: What's the difference? And how is creativity possible? These questions about human creativity can be answered, at least in outline, using computational concepts. There are two broad types of creativity, improbabilist and impossibilist. Improbabilist creativity involves novel combinations of familiar ideas. A deeper type involves METCS: the mapping, exploration, and transformation of conceptual spaces. It is impossibilist, in that ideas may be generated which – with respect (...) to the particular conceptual space concerned – could not have been generated before. The more clearly conceptual spaces can be defined, the better we can identify creative ideas. Defining conceptual spaces is done by musicologists, literary critics, and historians of art and science. Humanist studies, rich in intuitive subtleties, can be complemented by the comparative rigour of a computational approach. Computational modelling can help to define a space, and to show how it may be mapped, explored, and transformed. Impossibilist creativity can be thought of in “classical” Al terms, whereas connectionism illuminates improbabilist creativity. Most Al models of creativity can only explore spaces, not transform them, because they have no self-reflexive maps enabling them to change their own rules. A few, however, can do so. A scientific understanding of creativity does not destroy our wonder at it, nor does it make creative ideas predictable. Demystification does not imply dehumanization. (shrink)

In this paper, we offer a Piagetian perspective on the construction of the logico-mathematical schemas which embody our knowledge of logic and mathematics. Logico-mathematical entities are tied to the subject's activities, yet are so constructed by reflective abstraction that they result from sensorimotor experience only via the construction of intermediate schemas of increasing abstraction. The axiom set does not exhaust the cognitive structure (schema network) which the mathematician thus acquires. We thus view truth not as something to be defined within (...) the closed world of a formal system but rather in terms of the schema network within which the formal system is embedded. We differ from Piaget in that we see mathematical knowledge as based on social processes of mutual verification which provide an external drive to any necessary dynamic of reflective abstraction within the individual. From this perspective, we argue that axiom schemas tied to a preferred interpretation may provide a necessary intermediate stage of reflective abstraction en route to acquisition of the ability to use formal systems in abstracto. (shrink)

The concept of creativity is a central one in folk psychological explanation and has long been prominent in philosophical debates about the nature of art, genius, and the imagination. The scientific investigation of creativity in humans is also well established, and there has been increasing interest in the question of whether the concept can be rigorously applied to non-human animals. In this paper, I argue that such applications face serious challenges of both a conceptual and methodological character, reflecting deep controversies (...) within both philosophy and psychology concerning how to define and apply the concept of creativity. After providing a brief review of some of the leading theories of creativity and discussing some of the strongest putative cases of creative intelligence in non-human animals, I examine some of the more worrisome difficulties faced by attempts to use these theories to answer the question of whether animals are truly creative. I conclude by examining how we might overcome them, and suggest that one approach worth taking seriously is to adopt what I term a Strong Rejectionist view of creativity, eschewing use of the term entirely in the scientific study of comparative cognition. (shrink)

Much speculation on the sources of Duhem's historical interests fails to account for the major shifts in these interests: neither his belief in the continuous development of physics nor his Catholicism, when his Church was encouraging the study of generally Aristotelian scholastic thought, led to any interest in mediaeval science before 1904. Equally, his own claim that he was merely testing his views on the nature of physical theory is easily squared only with earlier work with no trace of mediaeval (...) science. Behind this discontinuity lies a major crisis. Though not a positivist, Duhem had based all his work on assumptions acceptable to positivists. One of these, the sterility of the Middle Ages, was refuted by his chance discovery of evidence of genuine mediaeval science in the autumn of 1903, but that left the doctrine of scholastic sterility intact. (shrink)

In earlier papers I described the conscious electromagnetic information (CEMI) field theory, which claimed that the substrate of consciousness is the brain’s electromagnetic (EM) field. I here further explore this theory by examining the properties and dynamics of the information underlying meaning in consciousness. I argue that meaning suffers from a binding problem, analogous to the binding problem described for visual perception, and describe how the gestalt (holistic) properties of meaning give rise to this binding problem. To clarify the role (...) of information in conscious meaning, I differentiate between extrinsic information that is symbolic and arbitrary, and intrinsic information, which preserves structural aspects of the represented object and thereby maintains some gestalt properties of the represented object. I contrast the requirement for a decoding process to extract meaning from extrinsic information, whereas meaning is intrinsic to the structure of the gestalt intrinsic information and does not require decoding. I thereby argue that to avoid the necessity of a decoding homunculus, conscious meaning must be encoded intrinsically — as gestalt information — in the brain. Moreover, I identify fields as the only plausible substrate for encoding gestalt intrinsic information and argue that the binding problem of meaning can only be solved by grounding meaning in this field-based gestalt information. I examine possible substrates for gestalt information in the brain and conclude that the only plausible substrate is the CEMI field. (shrink)

A revitalized practice of natural philosophy can help people to live a better life and promote a flourishing ecosystem. Such a philosophy is natural in two senses. First, it is natural by seeking to understand the whole of nature, including mental phenomena. Thus, a comprehensive natural philosophy should address the phenomena of sentience by embracing first- and second-person methods of investigation. Moreover, to expand our understanding of the world, natural philosophy should embrace a full panoply of explanations, similar to Aristotle’s (...) four causes. Second, such a philosophy is natural by being grounded in human nature, taking full account of human capacities and limitations. Future natural philosophers should also make use of all human capacities, including emotion and intuition, as well as reason and perception, to investigate nature. Finally, since the majority of our brain’s activities are unconscious, natural philosophy should explore the unconscious mind with the aim of deepening our relation with the rest of nature and of enhancing well-being. (shrink)

Mathematicians often speak of conjectures, yet unproved, as probable or well-confirmed by evidence. The Riemann Hypothesis, for example, is widely believed to be almost certainly true. There seems no initial reason to distinguish such probability from the same notion in empirical science. Yet it is hard to see how there could be probabilistic relations between the necessary truths of pure mathematics. The existence of such logical relations, short of certainty, is defended using the theory of logical probability (or objective Bayesianism (...) or non-deductive logic), and some detailed examples of its use in mathematics surveyed. Examples of inductive reasoning in experimental mathematics are given and it is argued that the problem of induction is best appreciated in the mathematical case. (shrink)

_ Source: _Volume 11, Issue 2, pp 117 - 148 The paper examines the problem of self-knowledge from the perspectives of Plotinus and the Indian Advaita school. Analyzing the subject-object relation, I show that according to both Plotinus and Advaita thinkers, full self-knowledge demands complete absence of otherness. Plotinus argues that if self-consciousness is divided into subject-object relation then one will know oneself as contemplated but not as contemplating and no real self-knowledge obtains in this case. Śaṅkara, who constitutes an (...) important representative of Advaita thought, points out that the self cannot know itself as an object because what is called an object to be known becomes established when it is separated from the self, the subject. I argue that at the level of the One, similar to the state of _ātman_ consciousness in Advaita framework, the soul experiences itself in expansive non-dual consciousness. Lastly, I examine the role of non-duality as the foundation of knowledge. (shrink)

I argue that a recent version of the doctrine of mathematical naturalism faces difficulties arising in connection with Wigner's old puzzle about the applicability of mathematics to natural science. I discuss the strategies to solve the puzzle and I show that they may not be available to the naturalist.

This piece is a commentary on a precis of Maggie Boden's book "The creative mind" published in Behavioral and Brain Sciences.

It is shown how mathematical discoveries such as De Moivre's theorem can result from patterns among the symbols of existing formulae and that significant mathematical analogies are often syntactic rather than semantic, for the good reason that mathematical proofs are always syntactic, in the sense of employing only formal operations on symbols. This radically extends the Lakatos approach to mathematical discovery by allowing proof-directed concepts to generate new theorems from scratch instead of just as evolutionary modifications to some existing theorem. (...) The emphasis upon syntax and proof permits discoveries to go beyond the limits of any prevailing semantics. It also helps explain the shortcomings of inductive AI systems of mathematics learning such as Lenat's AM, in which proof has played no part in the formation of concepts and conjectures. (shrink)

Meinongian 'objects' are evoked in an effort to critique and expand upon traditional theories of reference. The argument stems from an account of Peirce's categories of meaning in light of vague, contradictory, inconsistent, general, incomplete, and incompleteable signs. In addition to signs as either 'true', 'false', or meaningless, the function of imaginary numbers reveals the possibility of a sign's being both 'true' and 'false' or neither 'true' nor 'false', over time, and dialogically speaking. This demands a tolerance for vagueness, ambiguity, (...) contradiction, and incessantly changing meaning. (shrink)

This study focuses on undergraduate students' ability to unpack informally written mathematical statements into the language of predicate calculus. Data were collected between 1989 and 1993 from 61students in six small sections of a “bridge" course designed to introduce proofs and mathematical reasoning. We discuss this data from a perspective that extends the notion of concept image to that of statement image and introduces the notion of proof framework to indicate the top-level logical structure of a proof. For simplified informal (...) calculus statements, just 8.5% of unpacking attempts were successful; for actual statements from calculus texts, this dropped to 5%. We infer that these students would be unable to reliably relate informally stated theorems with the top-level logical structure of their proofs and hence could not be expected to construct proofs or evaluate their validity. (shrink)

Introduction to mathematical logic. Part 2.Textbook for students in mathematical logic and foundations of mathematics. Platonism, Intuition, Formalism. Axiomatic set theory. Around the Continuum Problem. Axiom of Determinacy. Large Cardinal Axioms. Ackermann's Set Theory. First order arithmetic. Hilbert's 10th problem. Incompleteness theorems. Consequences. Connected results: double incompleteness theorem, unsolvability of reasoning, theorem on the size of proofs, diophantine incompleteness, Loeb's theorem, consistent universal statements are provable, Berry's paradox, incompleteness and Chaitin's theorem. Around Ramsey's theorem.