epistemology versus ontology essays on the philosophy and foundations of mathematics in honour of per martin l

Download Book Epistemology Versus Ontology Essays On The Philosophy And Foundations Of Mathematics In Honour Of Per Martin L in PDF format. You can Read Online Epistemology Versus Ontology Essays On The Philosophy And Foundations Of Mathematics In Honour Of Per Martin L here in PDF, EPUB, Mobi or Docx formats.

Epistemology Versus Ontology

Author : P. Dybjer
ISBN : 9789400744356
Genre : Philosophy
File Size : 75. 98 MB
Format : PDF, ePub, Docs
Download : 111
Read : 1004

Download Now


This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and epistemological views that are reflected in this opposition. The dominant foundational framework for current mathematics is classical logic and set theory with the axiom of choice (ZFC). This framework is, however, laden with philosophical difficulties. One important alternative foundational programme that is actively pursued today is predicativistic constructivism based on Martin-Löf type theory. Associated philosophical foundations are meaning theories in the tradition of Wittgenstein, Dummett, Prawitz and Martin-Löf. What is the relation between proof-theoretical semantics in the tradition of Gentzen, Prawitz, and Martin-Löf and Wittgensteinian or other accounts of meaning-as-use? What can proof-theoretical analyses tell us about the scope and limits of constructive and predicative mathematics?

The Handbook Of Contemporary Semantic Theory

Author : Shalom Lappin
ISBN : 9780470670736
Genre : Language Arts & Disciplines
File Size : 42. 39 MB
Format : PDF
Download : 421
Read : 173

Download Now


The second edition of The Handbook of Contemporary Semantic Theory presents a comprehensive introduction to cutting-edge research in contemporary theoretical and computational semantics. Features completely new content from the first edition of The Handbook of Contemporary Semantic Theory Features contributions by leading semanticists, who introduce core areas of contemporary semantic research, while discussing current research Suitable for graduate students for courses in semantic theory and for advanced researchers as an introduction to current theoretical work

Essays On Husserl S Logic And Philosophy Of Mathematics

Author : Stefania Centrone
ISBN : 9789402411324
Genre : Philosophy
File Size : 87. 71 MB
Format : PDF, ePub, Mobi
Download : 463
Read : 951

Download Now


Essays on Husserl’s Logic and Philosophy of Mathematics sets out to fill up a lacuna in the present research on Husserl by presenting a precise account of Husserl’s work in the field of logic, of the philosophy of logic and of the philosophy of mathematics. The aim is to provide an in-depth reconstruction and analysis of the discussion between Husserl and his most important interlocutors, and to clarify pivotal ideas of Husserl’s by considering their reception and elaboration by some of his disciples and followers, such as Oskar Becker and Jacob Klein, as well as their influence on some of the most significant logicians and mathematicians of the past century, such as Luitzen E. J. Brouwer, Rudolf Carnap, Kurt Gödel and Hermann Weyl. Most of the papers consider Husserl and another scholar – e.g. Leibniz, Kant, Bolzano, Brentano, Cantor, Frege – and trace out and contextualize lines of influence, points of contact, and points of disagreement. Each essay is written by an expert of the field, and the volume includes contributions both from the analytical tradition and from the phenomenological one.

Epistemology Knowledge And The Impact Of Interaction

Author : Juan Redmond
ISBN : 9783319265063
Genre : Philosophy
File Size : 45. 72 MB
Format : PDF
Download : 241
Read : 875

Download Now


With this volume of the series Logic, Epistemology, and the Unity of Science edited by S. Rahman et al. a challenging dialogue is being continued. The series’ first volume argued that one way to recover the connections between logic, philosophy of sciences, and sciences is to acknowledge the host of alternative logics which are currently being developed. The present volume focuses on four key themes. First of all, several chapters unpack the connection between knowledge and epistemology with particular focus on the notion of knowledge as resulting from interaction. Secondly, new epistemological perspectives on linguistics, the foundations of mathematics and logic, physics, biology and law are a subject of analysis. Thirdly, several chapters are dedicated to a discussion of Constructive Type Theory and more generally of the proof-theoretical notion of meaning.Finally, the book brings together studies on the epistemic role of abduction and argumentation theory, both linked to non-monotonic approaches to the dynamics of knowledge.

Linking Game Theoretical Approaches With Constructive Type Theory

Author : Nicolas Clerbout
ISBN : 9783319190631
Genre : Philosophy
File Size : 39. 88 MB
Format : PDF, Kindle
Download : 829
Read : 483

Download Now


This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. As the work’s subtitle expresses, the authors will build this link by means of the dialogical approach to logic. One important aspect of the present study is that the authors restrict themselves to the logically valid fragment of Constructive Type Theory (CTT). The reason is that, once that fragment is achieved the result can be extended to cover the whole CTT system. The first chapters in the brief offer overviews on the two frameworks discussed in the book with an emphasis on the dialogical framework. The third chapter demonstrates the left-to-right direction of the equivalence result. This is followed by a chapter that demonstrates the use of the algorithm in showing how to transform a specific winning strategy into a CCT-demonstration of the axiom of choice. The fifth chapter develops the algorithm from CTT-demonstrations to dialogical strategies. This brief concludes by introducing elements of discussion which are to be developed in subsequent work.

Foundations Of Software Science And Computation Structures

Author : Andrew Pitts
ISBN : 9783662466780
Genre : Computers
File Size : 85. 76 MB
Format : PDF
Download : 993
Read : 493

Download Now


This book constitutes the proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 28 full papers presented in this volume were carefully reviewed and selected from 93 submissions. They are organized in topical sections named: semantics of programming languages; categorical models and logics; concurrent, probabilistic and timed systems; automata, games, verification; logical aspects of computational complexity; and type theory, proof theory and implicit computational complexity. The book also contains one full paper invited talk.

From Logic To Practice

Author : Gabriele Lolli
ISBN : 9783319104348
Genre : Philosophy
File Size : 80. 72 MB
Format : PDF, ePub, Docs
Download : 862
Read : 739

Download Now


This book brings together young researchers from a variety of fields within mathematics, philosophy and logic. It discusses questions that arise in their work, as well as themes and reactions that appear to be similar in different contexts. The book shows that a fairly intensive activity in the philosophy of mathematics is underway, due on the one hand to the disillusionment with respect to traditional answers, on the other to exciting new features of present day mathematics. The book explains how the problem of applicability once again plays a central role in the development of mathematics. It examines how new languages different from the logical ones (mostly figural), are recognized as valid and experimented with and how unifying concepts (structure, category, set) are in competition for those who look at this form of unification. It further shows that traditional philosophies, such as constructivism, while still lively, are no longer only philosophies, but guidelines for research. Finally, the book demonstrates that the search for and validation of new axioms is analyzed with a blend of mathematical historical, philosophical, psychological considerations.

Alan Turing His Work And Impact

Author : S. Barry Cooper
ISBN : 9780123870124
Genre : Mathematics
File Size : 40. 46 MB
Format : PDF, ePub
Download : 445
Read : 674

Download Now


In this 2013 winner of the prestigious R.R. Hawkins Award from the Association of American Publishers, as well as the 2013 PROSE Awards for Mathematics and Best in Physical Sciences & Mathematics, also from the AAP, readers will find many of the most significant contributions from the four-volume set of the Collected Works of A. M. Turing. These contributions, together with commentaries from current experts in a wide spectrum of fields and backgrounds, provide insight on the significance and contemporary impact of Alan Turing's work. Offering a more modern perspective than anything currently available, Alan Turing: His Work and Impact gives wide coverage of the many ways in which Turing's scientific endeavors have impacted current research and understanding of the world. His pivotal writings on subjects including computing, artificial intelligence, cryptography, morphogenesis, and more display continued relevance and insight into today's scientific and technological landscape. This collection provides a great service to researchers, but is also an approachable entry point for readers with limited training in the science, but an urge to learn more about the details of Turing's work. 2013 winner of the prestigious R.R. Hawkins Award from the Association of American Publishers, as well as the 2013 PROSE Awards for Mathematics and Best in Physical Sciences & Mathematics, also from the AAP Named a 2013 Notable Computer Book in Computing Milieux by Computing Reviews Affordable, key collection of the most significant papers by A.M. Turing Commentary explaining the significance of each seminal paper by preeminent leaders in the field Additional resources available online

Conjectures And Refutations

Author : Karl Popper
ISBN : 9781135971304
Genre : Philosophy
File Size : 50. 78 MB
Format : PDF, Kindle
Download : 656
Read : 1274

Download Now


Conjectures and Refutations is one of Karl Popper's most wide-ranging and popular works, notable not only for its acute insight into the way scientific knowledge grows, but also for applying those insights to politics and to history. It provides one of the clearest and most accessible statements of the fundamental idea that guided his work: not only our knowledge, but our aims and our standards, grow through an unending process of trial and error.

Historical Ontology

Author : Ian Hacking
ISBN : 0674016076
Genre : Philosophy
File Size : 65. 21 MB
Format : PDF, ePub
Download : 279
Read : 1159

Download Now


With the unusual clarity, distinctive and engaging style, and penetrating insight that have drawn such a wide range of readers to his work, Ian Hacking here offers his reflections on the philosophical uses of history. The focus of this volume, which collects both recent and now-classic essays, is the historical emergence of concepts and objects, through new uses of words and sentences in specific settings, and new patterns or styles of reasoning within those sentences. In its lucid and thoroughgoing look at the historical dimension of concepts, the book is at once a systematic formulation of Hacking's approach and its relation to other types of intellectual history, and a valuable contribution to philosophical understanding. Hacking opens the volume with an extended meditation on the philosophical significance of history. The importance of Michel Foucault--for the development of this theme, and for Hacking's own work in intellectual history--emerges in the following chapters, which place Hacking's classic essays on Foucault within the wider context of general reflections on historical methodology. Against this background, Hacking then develops ideas about how language, styles of reasoning, and "psychological" phenomena figure in the articulation of concepts--and in the very prospect of doing philosophy as historical ontology.

Top Download:

Best Books