This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were revised and (...) updated by their authors for publication in this volume. There are three sections: Advances in Logic, Advances in Theoretical Computer Science, and Advances in Philosophical Logic. Well-known specialists present original research on several aspects of model theory, proof theory, algebraic logic, category theory, connections between logic and computer science, and topics of philosophical logic of current interest. Topics interweave proof-theoretical, semantical, foundational, and philosophical aspects with algorithmic and algebraic views, offering lively high-level research results. (shrink)

The Fifth International Congress of Logic, Methodology and Philosophy of Science was held at the University of Western Ontario, London, Canada, 27 August to 2 September 1975. The Congress was held under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science, and was sponsored by the National Research Council of Canada and the University of Western Ontario. As those associated closely with the work of the Division (...) over the years know well, the work undertaken by its members varies greatly and spans a number of fields not always obviously related. In addition, the volume of work done by first rate scholars and scientists in the various fields of the Division has risen enormously. For these and related reasons it seemed to the editors chosen by the Divisional officers that the usual format of publishing the proceedings of the Congress be abandoned in favour of a somewhat more flexible, and hopefully acceptable, method of pre sentation. Accordingly, the work of the invited participants to the Congress has been divided into four volumes appearing in the University of Western Ontario Series in Philosophy of Science. The volumes are entitled, Logic, Foundations of Mathematics and Computability Theory, Foun dational Problems in the Special Sciences, Basic Problems in Methodol ogy and Linguistics, and Historical and Philosophical Dimensions of Logic, Methodology and Philosophy of Science. (shrink)

Imre Lakatos' philosophical and scientific papers are published here in two volumes. Volume I brings together his very influential but scattered papers on the philosophy of the physical sciences, and includes one important unpublished essay on the effect of Newton's scientific achievement. Volume 2 presents his work on the philosophy of mathematics (much of it unpublished), together with some critical essays on contemporary philosophers of science and some famous polemical writings on political and educational issues.

Imre Lakatos' philosophical and scientific papers are published here in two volumes. Volume I brings together his very influential but scattered papers on the philosophy of the physical sciences, and includes one important unpublished essay on the effect of Newton's scientific achievement. Volume 2 presents his work on the philosophy of mathematics (much of it unpublished), together with some critical essays on contemporary philosophers of science and some famous polemical writings on political and educational issues.

Following a previous article published in Biological Theory, in this study we present a mathematical theory for a science of qualities as directly perceived by living organisms, and based on morphological patterns. We address a range of qualitative phenomena as observables of a psychological system seen as an impredicative system. The starting point of our study is the notion that perceptual phenomena are projections of underlying invariants, objects that remain unchanged when transformations of a certain class under consideration (...) are applied. The study develops with the observables, the entailed total order and metric, whence the algebra and the geometry of such a science, presenting a formal phenomenological model for phenomena that are not rigidly Euclidean. We show how non-Euclidean perception can have many useful Euclidean formalizations, as well as locally-homeomorphic-to-Euclidean-space models. The mathematical models we provide are tested on the basis of results from experimental psychology, in particular from the field of color, time, and space perception. (shrink)

The present book of proceedings includes chapters related to the areas of pure, applied and inter-disciplinary mathematics reflecting the potential applications in the domains of sciences and engineering. The main areas include algebra and its applications, analysis and approximation theory, cryptography, computational fluid dynamics, continuum mechanics and vibrations, differential equations and applications, graph theory, fuzzy mathematics and logic, numerical analysis, optimization and its applications, wave propagation, etc. The scientists, engineers, academicians and researchers working in the proposed areas of coding and (...) information theory, computational fluid dynamics, differential equations, fuzzy sets and systems, numerical analysis, optimization, vibrations, etc. looking for new insight and ideas in these areas will be benefitted by the contents of this book. In fact, it will be useful to a large class of readers interested in recent findings related to mathematical sciences and their applications to the diverse domains of knowledge. The book will be a fruitful contribution to all knowledge seekers and researchers in the concerned areas who are looking for new insight and ideas. As it consists of updated research articles on emerging areas of mathematical sciences and their applications, it will be a valued addition to the learning resource centres of various universities, industries, and research and development organizations across the globe. (shrink)

In this paper the use of mathematics in economics will be discussed, by comparing two approaches to mathematics, a Cartesian approach, and a Newtonian approach. I will argue that while mainstream economics is underpinned by a Cartesian approach which led to a divorce between mathematics and reality, the contributions of key authors of the Cambridge tradition, like Marshall, Keynes and Sraffa, are characterised by a Newtonian approach to mathematics, where mathematics is aimed at a study of reality. Marshall was influenced (...) by the Newtonian approach that still characterised many aspects of the Cambridge Mathematical Tripos, where the emphasis was on geometrical and mechanical examples rather than on symbolic (Cartesian) mathematics. Keynes, who criticised (Cartesian) symbolic mathematics, was indeed an admirer of Newton and of his method. Sraffa's mathematical constructions are also in line with the Newtonian approach where arithmetic and geometry were strictly separated, since Sraffa's mathematical constructions typically use arithmetic without engaging in the mixture between geometry and arithmetic that occurs in the Cartesian approach. View the Open Peer Discussion of this paper ». (shrink)

Summary Syriac translations and Syriac scholars played an important role in the transmission of the sciences, including the mathematical sciences, from the Greek to the Arabic world. Relatively little, unfortunately, remains of the translations and original mathematical works of earlier Syriac scholars, but some materials have survived, and further glimpses of what once existed may be gained from works of later authors. The paper will provide an overview of the earlier materials that have survived or are known to (...) have existed. This will be followed by an account of some of the later materials, which will include an example illustrating how further earlier materials can be recovered from the writings of later authors, and a mention, by way of an epilogue, of an instance where a Syriac scholar was involved in a major historical and scientific event in the West, namely the reform of the calendar by Gregory XIII. (shrink)

In the present article, we have demonstrated that it is important to understand the equating of mathematics with ontology in Badiou’s philosophy, taking into account the necessary connection between rational materialism and ontological realism. Only in this way can we truly understand Badiou’s fundamental thesis that thinking and being are the same. Philosophy is not ontology and it is not a true procedure, but a thought that arises by being conditioned with the generic thoughts of all four truth procedures (art, (...) politics, science, and love), which in turn does not mean that it cannot speak in the name of truth and ontology. (shrink)

According to quasi-empiricism, mathematics is very like a branch of natural science. But if mathematics is like a branch of science, and science studies real objects, then mathematics should study real objects. Thus a quasi-empirical account of mathematics must answer the old epistemological question: How is knowledge of abstract objects possible? This paper attempts to show how it is possible.The second section examines the problem as it was posed by Benacerraf in Mathematical Truth and the next (...) section presents a way of looking at abstract objects that purports to demythologize them. In particular, it shows how we can have empirical knowledge of various abstract objects and even how we might causally interact with them. (shrink)

Imre Lakatos' philosophical and scientific papers are published here in two volumes. Volume I brings together his very influential but scattered papers on the philosophy of the physical sciences, and includes one important unpublished essay on the effect of Newton's scientific achievement. Volume 2 presents his work on the philosophy of mathematics, together with some critical essays on contemporary philosophers of science and some famous polemical writings on political and educational issues.

This paper begins by distinguishing intrinsic and extrinsic contributions of mathematics to scientific representation. This leads to two investigations into how these different sorts of contributions relate to confirmation. I present a way of accommodating both contributions that complicates the traditional assumptions of confirmation theory. In particular, I argue that subjective Bayesianism does best accounting for extrinsic contributions, while objective Bayesianism is more promising for intrinsic contributions.

Attempts to lay a foundation for the sciences based on modern mathematics are questioned. In particular, it is not clear that computer science should be based on set-theoretic mathematics. Set-theoretic mathematics has difficulties with its own foundations, making it reasonable to explore alternative foundations for the sciences. The role of computation within an alternative framework may prove to be of great potential in establishing a direction for the new field of computer science.Whitehead''s theory of reality is re-examined as (...) a foundation for the sciences. His theory does not simply attempt to add formal rigor to the sciences, but instead relies on the methods of the biological and social sciences to construct his world-view. Whitehead''s theory is a rich source of notions that are intended to explain every element of experience. It is a product of Whitehead''s earlier attempt to provide a mathematical foundation for the physical sciences and is still consistent with modern physics. (shrink)

Includes text of Gommaṭasāra Jīva-Kāṇḍa in Prakrit with English and Hindi translation.

In deductive theorizing using mathematics as our theorizing tool, nature is known to routinely help us discover new empirical truths about itself, whether we want the help or not (“generative phenomenon”). Why? That’s because, I argue, some of our deductive inference rules are themselves of empirical origin, thereby providing nature with a seemingly-trivial but crucial link to our mind’s reason.

a Mathematicians, like Proust and everyone else, are at their best when writing about their first lovea (TM) a ] They are among the very best we have; and their best is very good indeed. a ] One approaches this book with high hopes. Happily, one is not disappointed. a ]In paperback it might well have become a best seller. a ]read it. From The Mathematical Intelligencer Mathematics is shaped by the consistent concerns and styles of powerful minds a (...) three of which are represented here. Kaca (TM)s work is marked by deep commitment and breadth of inquiry. Rota is the easiest of these authors to reada ]a delight: witty and urbane, with a clear and interesting agenda and an astonishing intellectual range. To read him is to be a part of a pleasant and rewarding conversation. Jacob T. Schwartz attacks problems ina ]computer science, mathematical economics, computer and instructional a ] No matter how slippery the problem, Schwartz manages to capture a substantial chunk of it in his mathematical net. a Mathematics Magazine This is a volume of essays and reviews that delightfully explore mathematics in all its moods a from the light and the witty, and humorous to serious, rational, and cerebral. Topics include: logic, combinatorics, statistics, economics, artificial intelligence, computer science, and applications of mathematics broadly. You will also find history and philosophy covered, including discussion of the work of Ulam, Kant, Heidegger among others. (shrink)

Upshot: This is a book for thoughtful science and mathematics teachers and curriculum developers and educational philosophers. Quale helps us to challenge pernicious received “truths‘ and offers us intriguing perspectives, valuable discourse ventures and practical paedagogic strategies to engage the youth of today who are turning away from science in droves, to their and our cost.

The work addresses the problem of the relationship between science and philosophy in the work of Hermann Weyl. The author begins by discussing Weylls Gottingen tradition. Contrary to standard accounts of this tradition, Edmund Husserl and Georg Cantor are included. The influence of this tradition on Weyl is then illustrated by an examination of Weyl's early philosophy of mathematics. Here Weyl attempts to use Husserl's early phenomenology to amalgamate the thought of Felix Klein, David Hilbert and Cantor. Weyl's "phenomenological (...) period," in which he wrote The Continuum and Space-Time-Matter, is then discussed in detail. The work reveals that for Weyl, philosophy and science, guided by the same telos to construct an objective picture of the world, are involved in a dialectic in which each serves as a corrective and limitation of the other. (shrink)

There are many interpretations of the birth of modern science. Most of them are, nevertheless, confined to the analysis of certain historical episodes or technical details, while leaving the very notion of mathematization unanalyzed. In my opinion this is due to a lack of a proper philosophical framework which would show the process of mathematization as something radically new. Most historians assume that the world is just like it is depicted by science. Thus they are not aware of (...) the radical novelty of the mathematization of nature and focus their attention on the details of this process. Phenomenology by its radical questioning of the traditional interpretations of reality provides an ideal means for the reconstruction of the process of mathematization of nature and the birth of mathematical natural science. In a series of papers I tried to show the power of Husserl 's concept of mathematization by filling in the historical details into his interpretation. In the present article I want to compare Husserl 's approach with the approach of Heidegger. I believe that by comparing these two phenomenological theories of mathematization the advantages of Husserl 's approach will come to the fore. _German_ Es gibt mehrere Interpretationen der Entstehung der modernen Wissenschaft. Die meisten von ihnen beschränken sich allerdings auf die Analyse bestimmter historischer Episoden oder technischer Details, während der Begriff der Mathematisierung unanalysiert bleibt. Meiner Meinung nach ist dies auf das Fehlen eines richtigen philosophischen Rahmens zurückzuführen, der den Prozess der Mathematisierung als etwas radikal Neues zeigen würde. Die meisten Historiker gehen davon aus, dass die Welt so ist, wie sie von der Wissenschaft dargestellt wird. So verkennen sie die Radikalität der Mathematisierung der Natur und konzentrieren ihre Aufmerksamkeit auf die Details dieses Prozesses. Die Phänomenologie bietet dank ihrer radikalen Kritik der traditionellen Interpretationen der Realität ein ideales Mittel für die Rekonstruktion des Prozesses der Mathematisierung der Natur und der Geburt der mathematischen Naturwissenschaft. In einer Reihe von Arbeiten habe ich versucht, die Stärke der Husserlschen Interpretation der Mathematisierung zu zeigen, indem ich die historischen Details in seine Interpretation einfügte. Im vorliegenden Artikel möchte ich Husserls Ansatz mit dem Ansatz von Heidegger vergleichen. Durch diesen Vergleich der beiden phänomenologischen Theorien der Mathematisierung der Natur werden die Vorteile von Husserls Ansatz in den Vordergrund treten. (shrink)