The story of Sosipatra of Pergamum (4th century C.E.) as told by her biographer, Eunapius of Sardis in his Lives of the Philosophers and Sophists, is a remarkable tale. It is the story of an elite young girl from the area of Ephesus, who was educated by traveling oracles (daemons), and who grew up to lead her own philosophy school on the west coast of Asia Minor. She was also a prophet of sorts, channeling divine messages to her students, family, and friends, and foretelling the future. Sosipatra of Pergamum is the first sustained, book length attempt to tell the story of this mysterious woman. It presents a rich contextualization of the brief and highly fictionalized portrait provided by Eunapius. In doing so, the book explores the cultural and political landscape of late ancient Asia Minor, especially the areas around Ephesus, Pergamum, Sardis, and Smyrna. It also discusses moments in Sosipatra's life for what they reveal more generally about women's lives in Late Antiquity in the areas of childhood, education, family, household, motherhood, widowhood, and professional life. Her career sheds light on late Roman Platonism, its engagement with religion, ritual, and "magic," and the role of women in this movement. By thoroughly examining the ancient evidence, Heidi Marx recovers a hidden yet important figure from the rich intellectual traditions of the Roman Near East.

Ordinary language and scientific language enable us to speak about, in a singular way (using demonstratives and names), what we recognize not to exist: fictions, the contents of our hallucinations, abstract objects, and various idealized but nonexistent objects that our scientific theories are often couched in terms of. Indeed, references to such nonexistent items-especially in the case of the application of mathematics to the sciences-are indispensable. We cannot avoid talking about such things. Scientific and ordinary languages thus enable us to say things about Pegasus or about hallucinated objects that are true (or false), such as "Pegasus was believed by the ancient Greeks to be a flying horse," or "That elf I'm now hallucinating over there is wearing blue shoes." Standard contemporary metaphysical views and semantic analyses of singular idioms on offer in contemporary philosophy of language have not successfully accommodated these routine practices of saying true and false things about the nonexistent while simultaneously honoring the insight that such things do not exist in any way at all (and have no properties). That is, philosophers often feel driven to claim that such objects do exist, or they claim that all our talk isn't genuine truth-apt talk, but only pretence. This book reconfigures metaphysics (and the role of metaphysics in semantics) in radical ways that allow the accommodation of our ordinary ways of speaking of what does not exist while retaining the absolutely crucial presupposition that such objects exist in no way at all, have no properties, and so are not the truth-makers for the truths and falsities that are about them.

In Frege's Conception of Logic Patricia A. Blanchette explores the relationship between Gottlob Frege's understanding of conceptual analysis and his understanding of logic. She argues that the fruitfulness of Frege's conception of logic, and the illuminating differences between that conception and those more modern views that have largely supplanted it, are best understood against the backdrop of a clear account of the role of conceptual analysis in logical investigation. The first part of the book locates the role of conceptual analysis in Frege's logicist project. Blanchette argues that despite a number of difficulties, Frege's use of analysis in the service of logicism is a powerful and coherent tool. As a result of coming to grips with his use of that tool, we can see that there is, despite appearances, no conflict between Frege's intention to demonstrate the grounds of ordinary arithmetic and the fact that the numerals of his derived sentences fail to co-refer with ordinary numerals. In the second part of the book, Blanchette explores the resulting conception of logic itself, and some of the straightforward ways in which Frege's conception differs from its now-familiar descendants. In particular, Blanchette argues that consistency, as Frege understands it, differs significantly from the kind of consistency demonstrable via the construction of models. To appreciate this difference is to appreciate the extent to which Frege was right in his debate with Hilbert over consistency- and independence-proofs in geometry. For similar reasons, modern results such as the completeness of formal systems and the categoricity of theories do not have for Frege the same importance they are commonly taken to have by his post-Tarskian descendants. These differences, together with the coherence of Frege's position, provide reason for caution with respect to the appeal to formal systems and their properties in the treatment of fundamental logical properties and relations.

Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is subsequently developed with clean formal mathematics. Alongside the practical examples, readers learn what can and can't be calculated; for example the correctness of a derivation proving a given sequent can be tested mechanically, but there is no general mechanical test for the existence of a derivation proving the given sequent. The undecidability results are proved rigorously in an optional final chapter, assuming Matiyasevich's theorem characterising the computably enumerable relations. Rigorous proofs of the adequacy and completeness proofs of the relevant logics are provided, with careful attention to the languages involved. Optional sections discuss the classification of mathematical structures by first-order theories; the required theory of cardinality is developed from scratch. Throughout the book there are notes on historical aspects of the material, and connections with linguistics and computer science, and the discussion of syntax and semantics is influenced by modern linguistic approaches. Two basic themes in recent cognitive science studies of actual human reasoning are also introduced. Including extensive exercises and selected solutions, this text is ideal for students in logic, mathematics, philosophy, and computer science.

By Parallel Reasoning is the first comprehensive philosophical examination of analogical reasoning in more than forty years designed to formulate and justify standards for the critical evaluation of analogical arguments. It proposes a normative theory with special focus on the use of analogies in mathematics and science.
In recent decades, research on analogy has been dominated by computational theories whose objective has been to model analogical reasoning as a psychological process. These theories have devoted little attention to normative questions. In this book Bartha proposes that a good analogical argument must articulate a clear relationship that is capable of generalization. This idea leads to a set of distinct models for the critical analysis of prominent forms of analogical argument. The same core principle makes it possible to relate analogical reasoning to norms and values of scientific practice. Reasoning by analogy is justified because it strikes an optimal balance between conservative values, such as simplicity and coherence, and progressive values, such as fruitfulness and theoretical unification. Analogical arguments are also justified by appeal to symmetry--like cases are to be treated alike.
In elaborating the connection between analogy and these broad epistemic principles, By Parallel Reasoning offers a novel contribution to explaining how analogies can play an important role in the confirmation of scientific hypotheses

Anil Gupta asks one of the key questions in philosophy: what is the contribution of experience of knowledge? Gupta develops an account of experience that allows it to inform knowledge while respecting two constraints - the contribution of experience to knowledge must be both rational and substantial. He says that these constraints cannot be met if we make the assumption that experience only aquaints us with partial truth about the world. Instead he uses tools from philosophical logic, specifically the logic of interdependent concepts, to show that a natural account of experience is available using the interdependence of views and perceptual judgements. In essence he argues for a reformed empiricism that embraces experience as conditional.

This volume is a collects papers originally presented at the 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT), held at the University of Liverpool in July 2006. LOFT is a key venue for presenting research at the intersection of logic, economics, and computer science, and this collection gives a lively and wide-ranging view of an exciting and rapidly growing area.

This book was designed primarily as a textbook; though the author hopes that it will prove to be of interests to others beside logic students. Part I of this book covers the fundamentals of the subject the propositional calculus and the theory of quantification. Part II deals with the traditional formal logic and with the developments which have taken that as their starting-point. Part III deals with modal, three-valued, and extensional systems.

Hilbert's Programs & Beyond presents the foundational work of David Hilbert in a sequence of thematically organized essays. They first trace the roots of Hilbert's work to the radical transformation of mathematics in the 19th century and bring out his pivotal role in creating mathematical logic and proof theory. They then analyze techniques and results of "classical" proof theory as well as their dramatic expansion in modern proof theory. This intellectual experience finally opens horizons for reflection on the nature of mathematics in the 21st century: Sieg articulates his position of reductive structuralism and explores mathematical capacities via computational models.

The book sets out a new logic of rules, developed to demonstrate how such a logic can contribute to the clarification of historical questions about social rules. The authors illustrate applications of this new logic in their extensive treatments of a variety of accounts of social changes, analysing in these examples the content of particular social rules and the course of changes in them.