Theory Change Ancient Axiomatics And Galileo S Methodology

Proceedings of the 1978 Pisa, Italy, September 4-8, 1978 Conference on the History and Philosophy of Science

Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logic). Kronecker's general arithmetic of forms (polynomials) together with Fermat's infinite descent is put to use in an internal consistency proof. The view is developed in the context of a radical arithmetization of mathematics and logic and covers the many-faceted heritage of Kronecker's work, which includes not only Hilbert, but also Frege, Cantor, Dedekind, Husserl and Brouwer. The book will be of primary interest to logicians, philosophers and mathematicians interested in the foundations of mathematics and the philosophical implications of constructivist mathematics. It may also be of interest to historians, since it covers a fifty-year period, from 1880 to 1930, which has been crucial in the foundational debates and their repercussions on the contemporary scene.

Is knowledge relative? Many academics across the humanities say that it is. However those who work in mainstream epistemology generally consider that it is not. Metaepistemology and Relativism questions whether the kind of anti-relativistic background that underlies typical projects in mainstream epistemology can on closer inspection be vindicated.

During the so-called ‘historical turn’ in the philosophy of science, philosophers and historians boldly argued for general patterns throughout the history of science. From Kuhn’s landmark "Structure of Scientific Revolutions" until the "Scrutinizing Science" project led by Larry Laudan, there was optimism that there could be a general theoretical approach to understanding the process of scientific change. This optimism gradually faded as historians and philosophers began to focus on the details of specific case studies located within idiosyncratic historical, cultural, and political contexts, and abandoned attempts to uncover general patterns of how scientific theories and methods change through time. Recent research has suggested that while we have learned a great deal about the diversity and complexity of scientific practices across history, the push to abandon hope for a broader understanding of scientific change was premature. Because of this, philosophers, historians, and social scientists have become interested in reviving the project of understanding the mechanism of scientific change while respecting the diversity and complexity that has been unveiled by careful historical research over the past few decades. The chapters in this volume consider a particular proposal for a general theory of how scientific theories and methods change over time, first articulated by Hakob Barseghyan in "The Laws of Scientific Change" and since developed in a series of papers by a variety of members of the scientonomy community. The chapters consider a wide range of issues, from conceptual and historical challenges to the posited intellectual patterns in the history of science, to the possibility of constructing a general theory of scientific change, to begin with. Offering a new take on the project of constructing a theory of scientific change and integrating historical, philosophical, and social studies of science, this volume will be of interest to historians, philosophers, and sociologists of science.

This is the first of two volumes containing papers submitted by the invited speakers to the 11th International Congress of Logic, Methodology and Philosophy of Science, held in Cracow in 1999, under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science. The invited speakers are the leading researchers and accordingly the book presents the current state of the intellectual discourse in the respective fields. The papers delivered at the congress were divided into 17 sections. Thus the structure of the volume corresponds to the very schedule of the congress. Volume one contains the opening lecture by Andrzej K. Wróblewski as well as invited papers in sections of Proof Theory, Model Theory, Recursion Theory, Axiomatic Set Theory, Logic and Computation, Logic, Language and Cognition, Methodology, Probability, Induction, and Decision Theory, Philosophy of Logic, Mathematics, and Computer Science, and Philosophy of the Physical Sciences.

Axiomatic Formal Ontology is a fairly comprehensive systematic treatise on general metaphysics. The axiomatic method is applied throughout the book. Its main theme is the construction of a general non-set-theoretical theory of intensional entities. Other important matters discussed are the metaphysics of modality, the nature of actual existence, mereology and the taxonomy of entities.