Giorgio Venturi - Böcker

This volume showcases some of the up-and-coming voices of an emerging field - the philosophy of set theory - which in recent years has gained prominence in the philosophy of mathematics. The chapters in this volume both present new topics and propose solutions to old problems. It contains a broad picture of the philosophy of set theory, examining questions from epistemology and ontology, whilst touching on the use of formal theories in the study of mathematical infinity.Key features of this volume: •    Explores new and interesting connections between philosophy, set theory, and the study of infinity.•    Considers questions intended to appeal to a wider audience in both philosophy and mathematical logic.•    Examines three key areas of study: Epistemology, Formal Theories, and Ontology.The book provides a key reference text for future debates and is ideal for both newcomers to the philosophy of set theory and established researchers in the field.

The truth-theoretic tradition stems from Alfred Tarski's solution to the semantic paradoxes, while the proof-theoretic tradition dates back to Dag Prawitz's analysis of set-theoretic paradoxes in terms of structural proof theory.

This book is a collection of essays that offer original logical and philosophical investigations into the century-long endeavor to understand paradoxes. It bridges the gap between the two most prominent traditions in the analysis of paradoxes: the truth-theoretic and proof-theoretic approaches. The truth-theoretic tradition stems from Alfred Tarski's solution to the semantic paradoxes, while the proof-theoretic tradition dates back to Dag Prawitz's analysis of set-theoretic paradoxes in terms of structural proof theory. Rather than viewing these traditions as competing perspectives, this volume advocates for the idea that a deeper understanding of paradoxes requires insights from both truth-theoretic and proof-theoretic conceptions of language and meaning. Although the collection does not aim to be exhaustive, it seeks to highlight the vast scope of the subject and its deep connections to various fields of inquiry. The essays are organized into four sections: the first focuses on methodology, the second and third examine paradoxes through the conventional lenses of logical investigation—semantics and syntax—, and the fourth presents a selection of paradoxes that extend beyond the interplay between syntax and semantics, exploring other dimensions of human rationality.

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.