This book explores the results of applying empirical methods to the philosophy of logic and mathematics. Much of the work that has earned experimental philosophy a prominent place in twenty-first century philosophy is concerned with ethics or epistemology. But, as this book shows, empirical methods are just as much at home in logic and the philosophy of mathematics. -/- Chapters demonstrate and discuss the applicability of a wide range of empirical methods including experiments, surveys, interviews, and data-mining. Distinct themes emerge (...) that reflect recent developments in the field, such as issues concerning the logic of conditionals and the role played by visual elements in some mathematical proofs. -/- Featuring leading figures from experimental philosophy and the fields of philosophy of logic and mathematics, this collection reveals that empirical work in these disciplines has been quietly thriving for some time and stresses the importance of collaboration between philosophers and researchers in mathematics education and mathematical cognition. (shrink)

Proceedings of the Tenth Brazilian Conference on Mathematical Logic. Coleção CLE, volume 14, 1995. Centro De Lógica, Epistemologia e História da Ciência, Unicamp, Campinas, SP, Brazil.

The IOth International Congress of Logic, Methodology and Philosophy of Science, which took place in Florence in August 1995, offered a vivid and comprehensive picture of the present state of research in all directions of Logic and Philosophy of Science. The final program counted 51 invited lectures and around 700 contributed papers, distributed in 15 sections. Following the tradition of previous LMPS-meetings, some authors, whose papers aroused particular interest, were invited to submit their works for publication in a collection of (...) selected contributed papers. Due to the large number of interesting contributions, it was decided to split the collection into two distinct volumes: one covering the areas of Logic, Foundations of Mathematics and Computer Science, the other focusing on the general Philosophy of Science and the Foundations of Physics. As a leading choice criterion for the present volume, we tried to combine papers containing relevant technical results in pure and applied logic with papers devoted to conceptual analyses, deeply rooted in advanced present-day research. After all, we believe this is part of the genuine spirit underlying the whole enterprise of LMPS studies. (shrink)

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)

Logic, Methodology and Philosophy of Science VI.

Clear, comprehensive, intermediate introduction to logical languages, applications of symbolic logic to physics, mathematics, biology.

The book is a collection of the author’s selected works in the philosophy and history of logic and mathematics. Papers in Part I include both general surveys of contemporary philosophy of mathematics as well as studies devoted to specialized topics, like Cantor's philosophy of set theory, the Church thesis and its epistemological status, the history of the philosophical background of the concept of number, the structuralist epistemology of mathematics and the phenomenological philosophy of mathematics. Part II contains essays in the (...) history of logic and mathematics. They address such issues as the philosophical background of the development of symbolism in mathematical logic, Giuseppe Peano and his role in the creation of contemporary logical symbolism, Emil L. Post's works in mathematical logic and recursion theory, the formalist school in the foundations of mathematics and the algebra of logic in England in the 19th century. The history of mathematics and logic in Poland is also considered.This volume is of interest to historians and philosophers of science and mathematics as well as to logicians and mathematicians interested in the philosophy and history of their fields. (shrink)

i How can one talk about 'understanding' and 'not understanding' a proposition? Surely it is not a proposition until it's understood ? ...

Proofs and Refutations is essential reading for all those interested in the methodology, the philosophy and the history of mathematics. Much of the book takes the form of a discussion between a teacher and his students. They propose various solutions to some mathematical problems and investigate the strengths and weaknesses of these solutions. Their discussion raises some philosophical problems and some problems about the nature of mathematical discovery or creativity. Imre Lakatos is concerned throughout to combat the classical (...) picture of mathematical development as a steady accumulation of established truths. He shows that mathematics grows instead through a richer, more dramatic process of the successive improvement of creative hypotheses by attempts to 'prove' them and by criticism of these attempts: the logic of proofs and refutations. (shrink)

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. (shrink)

Two chief problems of the theory of knowledge are the question of meaning and the question of verification. The first question asks under what conditions a sentence has meaning, in the sense of cognitive, factual meaning. The second one asks how we get to know something, how we can find out whether a given sentence is true or false. The second question presupposes the first one. Obviously we must understand a sentence, i.e. we must know its meaning, before we can (...) try to find out whether it is true or not. But, from the point of view of empiricism, there is a still closer connection between the two problems. In a certain sense, there is only one answer to the two questions. If we knew what it would be for a given sentence to be found true then we would know what its meaning is. And if for two sentences the conditions under which we would have to take them as true are the same, then they have the same meaning. Thus the meaning of a sentence is in a certain sense identical with the way we determine its truth or falsehood; and a sentence has meaning only if such a determination is possible. (shrink)

First published in 2005. Routledge is an imprint of Taylor & Francis, an informa company.

Together, Models and Computability and its sister volume Sets and Proofs will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the (...) informed and interested nonspecialist. (shrink)

This is an introduction for readers with some basic knowledge of logic to contemporary logical analyses of information flow and multi-agent activity with an emphasis on new perspectives and new research directions. The first major topic are dynamic-epistemic logics for analyzing information dynamics and information update based on new observations, as well as the induced processes of knowledge change and belief revision. The second part of the book connects these dynamic-epistemic logics to richer mathematical models coming from dependence logic, (...) topology and probability. In a third and final part, all these systems are brought to bear on the study of agency in games, bringing together logics for analyzing games and games for analyzing logics in one perspective. An appendix discusses a recent view on how qualitative logical and quantitative arithmetical approaches to reasoning can live together and inform each other. A further appendix summarizes the background in modal logic that is needed for this course. (shrink)

Logic, Methodology and Philosophy of Science VII.

Depending on what one means by the main connective of logic, the -if..., then... -, several systems of logic result: classic and modal logics, intuitionistic logic or relevance logic. This book presents the underlying ideas, the syntax and the semantics of these logics. Soundness and completeness are shown constructively and in a uniform way. Attention is paid to the interdisciplinary role of logic: its embedding in the foundations of mathematics and its intimate connection with philosophy, in particular the philosophy of (...) language. Set theory is presented both as a conditio sine qua non for logic and as a interesting exact ontology. The study of infinite sets yields perplexing results. Formalization of informal number theory results in formal number theory; Godel's incompleteness is treated. At appropriate places attention is paid to paradoxes, intuitionism, conditionals, the historical development of logic, to logic programming and automated theorem proving for classical logic.". (shrink)

Two chief problems of the theory of knowledge are the question of meaning and the question of verification. The first question asks under what conditions a sentence has meaning, in the sense of cognitive, factual meaning. The second one asks how we get to know something, how we can find out whether a given sentence is true or false. The second question presupposes the first one. Obviously we must understand a sentence, i.e. we must know its meaning, before we can (...) try to find out whether it is true or not. But, from the point of view of empiricism, there is a still closer connection between the two problems. In a certain sense, there is only one answer to the two questions. If we knew what it would be for a given sentence to be found true then we would know what its meaning is. And if for two sentences the conditions under which we would have to take them as true are the same, then they have the same meaning. Thus the meaning of a sentence is in a certain sense identical with the way we determine its truth or falsehood; and a sentence has meaning only if such a determination is possible. (shrink)

Janusz Czelakowski Elements of Formal Action Theory 1. Elementary Action Systems 1.1 Introductory Remarks. In contemporary literature one may distinguish ...

Mathematical Logic: An Introduction is a textbook that uses mathematical tools to investigate mathematics itself. In particular, the concepts of proof and truth are examined. The book presents the fundamental topics in mathematical logic and presents clear and complete proofs throughout the text. Such proofs are used to develop the language of propositional logic and the language of first-order logic, including the notion of a formal deduction. The text also covers Tarski’s definition of truth and the computability (...) concept. It also provides coherent proofs of Godel’s completeness and incompleteness theorems. Moreover, the text was written with the student in mind and thus, it provides an accessible introduction to mathematical logic. In particular, the text explicitly shows the reader how to prove the basic theorems and presents detailed proofs throughout the book. Most undergraduate books on mathematical logic are written for a reader who is well-versed in logical notation and mathematical proof. This textbook is written to attract a wider audience, including students who are not yet experts in the art of mathematical proof. (shrink)

This volume will be of particular interest to researchers working in the history, and in the philosophy, of logic and mathematics, and more generally, to ...

Vorlesungen über die Algebra der Logik ist ein unveränderter, hochwertiger Nachdruck der Originalausgabe aus dem Jahr 1890. Hansebooks ist Herausgeber von Literatur zu unterschiedlichen Themengebieten wie Forschung und Wissenschaft, Reisen und Expeditionen, Kochen und Ernährung, Medizin und weiteren Genres. Der Schwerpunkt des Verlages liegt auf dem Erhalt historischer Literatur. Viele Werke historischer Schriftsteller und Wissenschaftler sind heute nur noch als Antiquitäten erhältlich. Hansebooks verlegt diese Bücher neu und trägt damit zum Erhalt selten gewordener Literatur und historischem Wissen auch für die (...) Zukunft bei. (shrink)

In these essays Geoffrey Hellman presents a strong case for a healthy pluralism in mathematics and its logics, supporting peaceful coexistence despite what appear to be contradictions between different systems, and positing different frameworks serving different legitimate purposes. The essays refine and extend Hellman's modal-structuralist account of mathematics, developing a height-potentialist view of higher set theory which recognizes indefinite extendability of models and stages at which sets occur. In the first of three new essays written for this volume, Hellman shows (...) how extendability can be deployed to derive the axiom of Infinity and that of Replacement, improving on earlier accounts; he also shows how extendability leads to attractive, novel resolutions of the set-theoretic paradoxes. Other essays explore advantages and limitations of restrictive systems - nominalist, predicativist, and constructivist. Also included are two essays, with Solomon Feferman, on predicative foundations of arithmetic. (shrink)

_Philosophical Approaches to the Foundations of Logic and Mathematics_ consists of eleven articles addressing various aspects of the "roots" of logic and mathematics, their basic concepts and the mechanisms that work in the practice of their use.

This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. Looking at a series of interesting systems, increasing in complexity, then proving and discussing the Completeness Theorem for each, the author ensures that the number of new concepts to be absorbed at each stage is manageable, whilst providing lively mathematical applications throughout. Unfamiliar terminology is (...) kept to a minimum, no background in formal set-theory is required, and the book contains proofs of all the required set theoretical results. The reader is taken on a journey starting with König's Lemma, and progressing via order relations, Zorn's Lemma, Boolean algebras, and propositional logic, to completeness and compactness of first-order logic. As applications of the work on first-order logic, two final chapters provide introductions to model theory and nonstandard analysis. (shrink)

The two works reprinted in this volume are a unique fusion of logical thought and inimitable whimsy. Written by the 19th-century mathematician who also gave us "Alive in Wonderland", they are among the most entertaining logical works ever written, and contain some of the most thought-provoking puzzles ever devised.