A stimulating intellectual history of Ptolemy's philosophy and his conception of a world in which mathematics reigns supreme The Greco-Roman mathematician Claudius Ptolemy is one of the most significant figures in the history of science. He is remembered today for his astronomy, but his philosophy is almost entirely lost to history. This groundbreaking book is the first to reconstruct Ptolemy's general philosophical system-including his metaphysics, epistemology, and ethics-and to explore its relationship to astronomy, harmonics, element theory, astrology, cosmology, psychology, and theology. In this stimulating intellectual history, Jacqueline Feke uncovers references to a complex and sophisticated philosophical agenda scattered among Ptolemy's technical studies in the physical and mathematical sciences. She shows how he developed a philosophy that was radical and even subversive, appropriating ideas and turning them against the very philosophers from whom he drew influence. Feke reveals how Ptolemy's unique system is at once a critique of prevailing philosophical trends and a conception of the world in which mathematics reigns supreme. A compelling work of scholarship, Ptolemy's Philosophy demonstrates how Ptolemy situated mathematics at the very foundation of all philosophy-theoretical and practical-and advanced the mathematical way of life as the true path to human perfection.

What do pure mathematicians do, and why do they do it? Looking beyond the conventional answers--for the sake of truth, beauty, and practical applications--this book offers an eclectic panorama of the lives and values and hopes and fears of mathematicians in the twenty-first century, assembling material from a startlingly diverse assortment of scholarly, journalistic, and pop culture sources.

Drawing on his personal experiences and obsessions as well as the thoughts and opinions of mathematicians from Archimedes and Omar Khayyam to such contemporary giants as Alexander Grothendieck and Robert Langlands, Michael Harris reveals the charisma and romance of mathematics as well as its darker side. In this portrait of mathematics as a community united around a set of common intellectual, ethical, and existential challenges, he touches on a wide variety of questions, such as: Are mathematicians to blame for the 2008 financial crisis? How can we talk about the ideas we were born too soon to understand? And how should you react if you are asked to explain number theory at a dinner party?

Disarmingly candid, relentlessly intelligent, and richly entertaining, "Mathematics without Apologies" takes readers on an unapologetic guided tour of the mathematical life, from the philosophy and sociology of mathematics to its reflections in film and popular music, with detours through the mathematical and mystical traditions of Russia, India, medieval Islam, the Bronx, and beyond."

Originally published in 1938, this book focuses on the area of elliptic and hyperelliptic integrals and allied theory. The text was a posthumous publication by William Westropp Roberts (1850-1935), who held the position of Vice-Provost at Trinity College, Dublin from 1927 until shortly before his death. This book will be of value to anyone with an interest in the history of mathematics.

Luck permeates our lives, and this raises a number of pressing questions: What is luck? When we attribute luck to people, circumstances, or events, what are we attributing? Do we have any obligations to mitigate the harms done to people who are less fortunate? And to what extent is deserving praise or blame affected by good or bad luck? Although acquiring a true belief by an uneducated guess involves a kind of luck that precludes knowledge, does all luck undermine knowledge? The academic literature has seen growing, interdisciplinary interest in luck, and this volume brings together and explains the most important areas of this research. It consists of 39 newly commissioned chapters, written by an internationally acclaimed team of philosophers and psychologists, for a readership of students and researchers. Its coverage is divided into six sections: I: The History of Luck II: The Nature of Luck III: Moral Luck IV: Epistemic Luck V: The Psychology of Luck VI: Future Research. The chapters cover a wide range of topics, from the problem of moral luck, to anti-luck epistemology, to the relationship between luck attributions and cognitive biases, to meta-questions regarding the nature of luck itself, to a range of other theoretical and empirical questions. By bringing this research together, the Handbook serves as both a touchstone for understanding the relevant issues and a first port of call for future research on luck.

An innovative, dramatic graphic novel about the treacherous pursuit of the foundations of mathematics.

This exceptional graphic novel recounts the spiritual odyssey of philosopher Bertrand Russell. In his agonized search for absolute truth, Russell crosses paths with legendary thinkers like Gottlob Frege, David Hilbert, and Kurt Godel, and finds a passionate student in the great Ludwig Wittgenstein. But his most ambitious goal--to establish unshakable logical foundations of mathematics--continues to loom before him. Through love and hate, peace and war, Russell persists in the dogged mission that threatens to claim both his career and his personal happiness, finally driving him to the brink of insanity.

This story is at the same time a historical novel and an accessible explication of some of the biggest ideas of mathematics and modern philosophy. With rich characterizations and expressive, atmospheric artwork, the book spins the pursuit of these ideas into a highly satisfying tale. Probing and ingeniously layered, the book throws light on Russell's inner struggles while setting them in the context of the timeless questions he spent his life trying to answer. At its heart, "Logicomix "is a story about the conflict between an ideal rationality and the unchanging, flawed fabric of reality.Apostolos Doxiadis studied mathematics at Columbia University. His international bestseller "Uncle Petros and Goldbach's Conjecture" spearheaded the impressive entrance of mathematics into the world of storytelling. Apart from his work in fiction, Apostolos has also worked in film and theater and is an internationally recognized expert on the relationship of mathematics to narrative. Christos H. Papadimitriou is C . Lester Hogan professor of computer science at the University of California, Berkeley. He was won numerous international awards for his pioneering work in computational complexity and algorithmic game theory. Christos is the author of the novel "Turing: A Novel about Computation." Alecos Papadatos worked for over twenty years in film animation in France and Greece. In 1997, he became a cartoonist for the major Athens daily "To Vima." He lives in Athens with his wife, Annie Di Donna, and their two children. Annie Di Donna studied graphic arts and painting in France and has worked as animator on many productions, among them "Babar" and "Tintin." Since 1991, she has been running an animation studio with her husband, Alecos Papadatos. This innovative graphic novel is based on the early life of the brilliant philosopher Bertrand Russell. Russell and his impassioned pursuit of truth. Haunted by family secrets and unable to quell his youthful curiosity, Russell became obsessed with a Promethean goal: to establish the logical foundation of all mathematics. In his agonized search for absolute truth, Russell crosses paths with legendary thinkers like Gottlob Frege, David Hilbert, and Kurt Godel, and finds a passionate student in the great Ludwig Wittgenstein. But the object of his defining quest continues to loom before him. Through love and hate, peace and war, Russell persists in the dogged mission that threatens to claim both his career and his personal happiness, finally driving him to the brink of insanity. "Logicomix" is at the same time a historical novel and an accessible explication to some of the biggest ideas of mathematics and modern philosophy. With rich characterizations and expressive, atmospheric artwork, the book spins the pursuit of these ideas into a captivating tale. Probing and ingeniously layered, the book throws light on Russell's inner struggles while setting them in the context of the timeless questions he spent his life trying to answer. At its heart, "Logicomix" is a story about the conflict between an ideal rationality and the unchanging, flawed fabric of reality. "At the heart of Logicomix stands Sir Bertrand Russell, a man determined to find a way of arriving at absolutely right answers. It's a tale within a tale, as the two authors and two graphic artists ardently pursue their own search for truth and appear as characters in the book. As one of them assures us, this won't be 'your typical, usual comic book.' Their quest takes shape and revolves around a lecture given by Russell at an unnamed American university in 1939, a lecture that is really, as he himself tells us, the story of his life and of his pursuit of real logical truth. With Proustian ambition and exhilarating artwork, "Logicomix"'s search for truth encounters head-on the horrors of the Second World War and the agonizing question of whether war can ever be the right choice. Russell himself had to confront that question personally: he endured six months in jail for his pacifism. Russell was determined to find the perfect logical method for solving all problems and attempted to remold human nature in his experimental school at Beacon Hill. Despite repeated failures, Russell never stopped being 'a sad little boy desperately seeking ways out of the deadly vortex of uncertainty.' The book is a visual banquet chronicling Russell's lifelong pursuit of 'certainty in total rationality.' As Logic and Mathematics, the last bastions of certainty, fail him, and as Reason proves not absolute, Russell is forced to face the fact that there is no Royal Road to Truth. Authors Dosiadis and Papadimitriou perfectly echo Russell's passion, with a sincere, easily grasped text amplified with breathtaking visual richness, making this the most satisfying graphic novel of 2009, a titanic artistic achievement of more than 300 pages, all of it pure reading joy."--Nick DiMartino, "Shelf Awareness" "This is an extraordinary graphic novel, wildly ambitious in daring to put into words and drawings the life and thought of one of the great philosophers of the last century, Bertrand Russell. The book is a rare intellectual and artistic achievement, which will, I am sure, lead its readers to explore realms of knowledge they thought were forbidden to them."--Howard Zinn "This magnificent book is about ideas, passions, madness, and the fierce struggle between well-defined principle and the larger good. It follows the great mathematicians--Russell, Whitehead, Frege Cantor, Hilbert--as they agonized to make the foundations of mathematics exact, consistent, and complete. And we see the band of artists and researchers--and the all-seeking dog Manga--creating, and participating in, this glorious narrative."--Barry Mazur, Gerhard Gade University Professor at Harvard University, and author of "Imagining Numbers (Particularly the Square Root of Minus Fifteen)" "The lives of ideas (and those who think them) can be as dramatic and unpredicteable as any superhero fantasy. "Logicomix" is witty, engaging, stylish, visually stunning, and full of surprising sound effects, a masterpiece in a genre for which there is as yet no name."--Michael Harris, professor of mathematics at Universite Paris 7 and member of the Institut Universitaire de France

Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois at Urbana-Champaign, USA, before he passed away on May 10, 2017, at the age of 91. Takeuti was one of the founders of Proof Theory, a branch of mathematical logic that originated from Hilbert's program about the consistency of mathematics. Based on Gentzen's pioneering works of proof theory in the 1930s, he proposed a conjecture in 1953 concerning the essential nature of formal proofs of higher-order logic now known as Takeuti's fundamental conjecture and of which he gave a partial positive solution. His arguments on the conjecture and proof theory in general have had great influence on the later developments of mathematical logic, philosophy of mathematics, and applications of mathematical logic to theoretical computer science. Takeuti's work ranged over the whole spectrum of mathematical logic, including set theory, computability theory, Boolean valued analysis, fuzzy logic, bounded arithmetic, and theoretical computer science. He wrote many monographs and textbooks both in English and in Japanese, and his monumental monograph Proof Theory, published in 1975, has long been a standard reference of proof theory. He had a wide range of interests covering virtually all areas of mathematics and extending to physics. His publications include many Japanese books for students and general readers about mathematical logic, mathematics in general, and connections between mathematics and physics, as well as many essays for Japanese science magazines. This volume is a collection of papers based on the Symposium on Advances in Mathematical Logic 2018. The symposium was held September 18-20, 2018, at Kobe University, Japan, and was dedicated to the memory of Professor Gaisi Takeuti.

Rudolf Carnap (1891-1970) and W. V. O Quine (1908-2000) have long been seen as key figures of analytic philosophy who are opposed to each other, due in no small part to their famed debate over the analytic/synthetic distinction. This volume of new essays assembles for the first time a number of scholars of the history of analytic philosophy who see Carnap and Quine as figures largely sympathetic to each other in their philosophical views. The essays acknowledge the differences which exist, but through their emphasis on Carnap and Quine's shared assumption about how philosophy should be done-that philosophy should be complementary to and continuous with the natural and mathematical sciences-our understanding of how they diverge is also deepened. This volume reshapes our understanding not only of Carnap and Quine, but of the history of analytic philosophy generally.

This Companion provides a comprehensive guide to ancient logic. The first part charts its chronological development, focussing especially on the Greek tradition, and discusses its two main systems: Aristotle's logic of terms and the Stoic logic of propositions. The second part explores the key concepts at the heart of the ancient logical systems: truth, definition, terms, propositions, syllogisms, demonstrations, modality and fallacy. The systematic discussion of these concepts allows the reader to engage with some specific logical and exegetical issues and to appreciate their transformations across different philosophical traditions. The intersections between logic, mathematics and rhetoric are also explored. The third part of the volume discusses the reception and influence of ancient logic in the history of philosophy and its significance for philosophy in our own times. Comprehensive coverage, chapters by leading international scholars and a critical overview of the recent literature in the field will make this volume essential for students and scholars of ancient logic.

This Companion provides a comprehensive guide to ancient logic. The first part charts its chronological development, focussing especially on the Greek tradition, and discusses its two main systems: Aristotle's logic of terms and the Stoic logic of propositions. The second part explores the key concepts at the heart of the ancient logical systems: truth, definition, terms, propositions, syllogisms, demonstrations, modality and fallacy. The systematic discussion of these concepts allows the reader to engage with some specific logical and exegetical issues and to appreciate their transformations across different philosophical traditions. The intersections between logic, mathematics and rhetoric are also explored. The third part of the volume discusses the reception and influence of ancient logic in the history of philosophy and its significance for philosophy in our own times. Comprehensive coverage, chapters by leading international scholars and a critical overview of the recent literature in the field will make this volume essential for students and scholars of ancient logic.

In 1655, the philosopher Thomas Hobbes claimed he had solved the centuries-old problem of "squaring of the circle" (constructing a square equal in area to a given circle). With a scathing rebuttal to Hobbes's claims, the mathematician John Wallis began one of the longest and most intense intellectual disputes of all time. "Squaring the Circle" is a detailed account of this controversy, from the core mathematics to the broader philosophical, political, and religious issues at stake.
Hobbes believed that by recasting geometry in a materialist mold, he could solve any geometric problem and thereby demonstrate the power of his materialist metaphysics. Wallis, a prominent Presbyterian divine as well as an eminent mathematician, refuted Hobbes's geometry as a means of discrediting his philosophy, which Wallis saw as a dangerous mix of atheism and pernicious political theory.
Hobbes and Wallis's "battle of the books" illuminates the intimate relationship between science and crucial seventeenth-century debates over the limits of sovereign power and the existence of God.

This book presents a new nominalistic philosophy of mathematics: semantic conventionalism. Its central thesis is that mathematics should be founded on the human ability to create language - and specifically, the ability to institute conventions for the truth conditions of sentences. This philosophical stance leads to an alternative way of practicing mathematics: instead of "building" objects out of sets, a mathematician should introduce new syntactical sentence types, together with their truth conditions, as he or she develops a theory. Semantic conventionalism is justified first through criticism of Cantorian set theory, intuitionism, logicism, and predicativism; then on its own terms; and finally, exemplified by a detailed reconstruction of arithmetic and real analysis. Also included is a simple solution to the liar paradox and the other paradoxes that have traditionally been recognized as semantic. And since it is argued that mathematics is semantics, this solution also applies to Russell's paradox and the other mathematical paradoxes of self-reference. In addition to philosophers who care about the metaphysics and epistemology of mathematics or the paradoxes of self-reference, this book should appeal to mathematicians interested in alternative approaches.

Crispin Wright is widely recognised as one of the most important and influential analytic philosophers of the twentieth and twenty-first centuries. This volume is a collective exploration of the major themes of his work in philosophy of language, philosophical logic, and philosophy of mathematics. It comprises specially written chapters by a group of internationally renowned thinkers, as well as four substantial responses from Wright. In these thematically organized replies, Wright summarizes his life's work and responds to the contributory essays collected in this book. In bringing together such scholarship, the present volume testifies to both the enormous interest in Wright's thought and the continued relevance of Wright's seminal contributions in analytic philosophy for present-day debates;

This Element defends mathematical anti-realism against an underappreciated problem with that view-a problem having to do with modal truthmaking. Part I develops mathematical anti-realism, it defends that view against a number of well-known objections, and it raises a less widely discussed objection to anti-realism-an objection based on the fact that (a) mathematical anti-realists need to commit to the truth of certain kinds of modal claims, and (b) it's not clear that the truth of these modal claims is compatible with mathematical anti-realism. Part II considers various strategies that anti-realists might pursue in trying to solve this modal-truth problem with their view, it argues that there's only one viable view that anti-realists can endorse in order to solve the modal-truth problem, and it argues that the view in question-which is here called modal nothingism-is true.

It is a fact of modern scientific thought that there is an enormous variety of logical systems - such as classical logic, intuitionist logic, temporal logic, and Hoare logic, to name but a few - which have originated in the areas of mathematical logic and computer science. In this book the author presents a systematic study of this rich harvest of logics via Tarski's well-known axiomatization of the notion of logical consequence. New and sometimes unorthodox treatments are given of the underlying principles and construction of many-valued logics, the logic of inexactness, effective logics, and modal logics. Throughout, numerous historical and philosophical remarks illuminate both the development of the subject and show the motivating influences behind its development. Those with a modest acquaintance of modern formal logic will find this to be a readable and not too technical account which will demonstrate the current diversity and profusion of logics. In particular, undergraduate and postgraduate students in mathematics, philosophy, computer science, and artificial intelligence will enjoy this introductory survey of the field.

This book deals with the rise of mathematics in physical sciences, beginning with Galileo and Newton and extending to the present day. The book is divided into two parts. The first part gives a brief history of how mathematics was introduced into physics-despite its "unreasonable effectiveness" as famously pointed out by a distinguished physicist-and the criticisms it received from earlier thinkers. The second part takes a more philosophical approach and is intended to shed some light on that mysterious effectiveness. For this purpose, the author reviews the debate between classical philosophers on the existence of innate ideas that allow us to understand the world and also the philosophically based arguments for and against the use of mathematics in physical sciences. In this context, Schopenhauer's conceptions of causality and matter are very pertinent, and their validity is revisited in light of modern physics. The final question addressed is whether the effectiveness of mathematics can be explained by its "existence" in an independent platonic realm, as Goedel believed. The book aims at readers interested in the history and philosophy of physics. It is accessible to those with only a very basic (not professional) knowledge of physics.

We use addition on a daily basis--yet how many of us stop to truly consider the enormous and remarkable ramifications of this mathematical activity? Summing It Up uses addition as a springboard to present a fascinating and accessible look at numbers and number theory, and how we apply beautiful numerical properties to answer math problems. Mathematicians Avner Ash and Robert Gross explore addition's most basic characteristics as well as the addition of squares and other powers before moving onward to infinite series, modular forms, and issues at the forefront of current mathematical research. Ash and Gross tailor their succinct and engaging investigations for math enthusiasts of all backgrounds. Employing college algebra, the first part of the book examines such questions as, can all positive numbers be written as a sum of four perfect squares? The second section of the book incorporates calculus and examines infinite series--long sums that can only be defined by the concept of limit, as in the example of 1+1/2+1/4+...=? With the help of some group theory and geometry, the third section ties together the first two parts of the book through a discussion of modular forms--the analytic functions on the upper half-plane of the complex numbers that have growth and transformation properties. Ash and Gross show how modular forms are indispensable in modern number theory, for example in the proof of Fermat's Last Theorem. Appropriate for numbers novices as well as college math majors, Summing It Up delves into mathematics that will enlighten anyone fascinated by numbers.

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.

In this first modern, critical assessment of the place of mathematics in Berkeley's philosophy and Berkeley's place in the history of mathematics, Douglas M. Jesseph provides a bold reinterpretation of Berkeley's work. Jesseph challenges the prevailing view that Berkeley's mathematical writings are peripheral to his philosophy and argues that mathematics is in fact central to his thought, developing out of his critique of abstraction. Jesseph's argument situates Berkeley's ideas within the larger historical and intellectual context of the Scientific Revolution. Jesseph begins with Berkeley's radical opposition to the received view of mathematics in the philosophy of the late seventeenth and early eighteenth centuries, when mathematics was considered a science of abstractions. Since this view seriously conflicted with Berkeley's critique of abstract ideas, Jesseph contends that he was forced to come up with a nonabstract philosophy of mathematics. Jesseph examines Berkeley's unique treatments of geometry and arithmetic and his famous critique of the calculus in The Analyst. By putting Berkeley's mathematical writings in the perspective of his larger philosophical project and examining their impact on eighteenth-century British mathematics, Jesseph makes a major contribution to philosophy and to the history and philosophy of science.

This book presents an in-depth and critical reconstruction of Prawitz's epistemic grounding, and discusses it within the broader field of proof-theoretic semantics. The theory of grounds is also provided with a formal framework, through which several relevant results are proved. Investigating Prawitz's theory of grounds, this work answers one of the most fundamental questions in logic: why and how do some inferences have the epistemic power to compel us to accept their conclusion, if we have accepted their premises? Prawitz proposes an innovative description of inferential acts, as applications of constructive operations on grounds for the premises, yielding a ground for the conclusion. The book is divided into three parts. In the first, the author discusses the reasons that have led Prawitz to abandon his previous semantics of valid arguments and proofs. The second part presents Prawitz's grounding as found in his ground-theoretic papers. Finally, in the third part, a formal apparatus is developed, consisting of a class of languages whose terms are equipped with denotation functions associating them to operations and grounds, as well as of a class of systems where important properties of the terms can be proved.

Frege's Theorem collects eleven essays by Richard G Heck, Jr, one of the world's leading authorities on Frege's philosophy. The Theorem is the central contribution of Gottlob Frege's formal work on arithmetic. It tells us that the axioms of arithmetic can be derived, purely logically, from a single principle: the number of these things is the same as the number of those things just in case these can be matched up one-to-one with those. But that principle seems so utterly fundamental to thought about number that it might almost count as a definition of number. If so, Frege's Theorem shows that arithmetic follows, purely logically, from a near definition. As Crispin Wright was the first to make clear, that means that Frege's logicism, long thought dead, might yet be viable. Heck probes the philosophical significance of the Theorem, using it to launch and then guide a wide-ranging exploration of historical, philosophical, and technical issues in the philosophy of mathematics and logic, and of their connections with metaphysics, epistemology, the philosophy of language and mind, and even developmental psychology. The book begins with an overview that introduces the Theorem and the issues surrounding it, and explores how the essays that follow contribute to our understanding of those issues. There are also new postscripts to five of the essays, which discuss changes of mind, respond to published criticisms, and advance the discussion yet further.

This book demonstrates how a radical version of physicalism ('No-Self Physicalism') can offer an internally coherent and comprehensive philosophical worldview. It first argues that a coherent physicalist should explicitly treat a cognitive subject merely as a physical thing and should not vaguely assume an amorphous or even soul-like subject or self. This approach forces the physicalist to re-examine traditional core philosophical notions such as truth, analyticity, modality, apriority because our traditional understandings of them appear to be predicated on a cognitive subject that is not literally just a physical thing. In turn, working on the assumption that a cognitive subject is itself completely physical, namely a neural network-based robot programmed by evolution (hence the term 'No-Self'), the book proposes physicalistic theories on conceptual representation, truth, analyticity, modality, the nature of mathematics, epistemic justification, knowledge, apriority and intuition, as well as a physicalistic ontology. These are meant to show that this No-Self Physicalism, perhaps the most minimalistic and radical version of physicalism proposed to date, can accommodate many aspects that have traditionally interested philosophers. Given its refreshingly radical approach and painstakingly developed content, the book is of interest to anyone who is seeking a coherent philosophical worldview in this age of science.

The world around us is saturated with numbers. They are a fundamental pillar of our modern society, and accepted and used with hardly a second thought. But how did this state of affairs come to be? In this book, Leo Corry tells the story behind the idea of number from the early days of the Pythagoreans, up until the turn of the twentieth century. He presents an overview of how numbers were handled and conceived in classical Greek mathematics, in the mathematics of Islam, in European mathematics of the middle ages and the Renaissance, during the scientific revolution, all the way through to the mathematics of the 18th to the early 20th century. Focusing on both foundational debates and practical use numbers, and showing how the story of numbers is intimately linked to that of the idea of equation, this book provides a valuable insight to numbers for undergraduate students, teachers, engineers, professional mathematicians, and anyone with an interest in the history of mathematics.

How should we think about the meaning of the words that make up our language? How does reference of these terms work, and what is their referent when these are connected to abstract objects rather than to concrete ones? Can logic help to address these questions? This collection of papers aims to unify the questions of syntax and semantics of language, which span across the fields of logic, philosophy and ontology of language. The leading motif of the presented selection is the differentiation between linguistic tokens (material, concrete objects) on the one hand and linguistic types (ideal, abstract objects) on the other. Through a promenade among articles that span over all of the Author's career, this book addresses the complex philosophical question of the ontology of language by following the crystalline conceptual tools offered by logic. At the core of Wybraniec-Skardowska's scholarship is the idea that language is an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. The application throughout the book of tools of classical logic and set theory results fosters the emergence of a general formal logical theory of syntax, semantics and of the pragmatics of language, which takes into account the duality token-type in the understanding of linguistic expressions. Via a functional approach to language itself, logic appears as ontologically neutral with respect to existential assumptions relating to the nature of linguistic expressions and their extra-linguistic counterparts. The book is addressed to readers both at the graduate and undergraduate level, but also to a more general audience interested in getting a firmer grip on the interplay between reality and the language we use to describe and understand it.

This book presents Goedel's incompleteness theorems and the other limitative results which are most significant for the philosophy of mathematics. Results are stated in the form most relevant for use in the philosophy of mathematics. An appendix considers their implications for Hilbert's Program for the foundations of mathematics. The text is self-contained, all notions being explained in full detail, but of course previous exposure to the very first rudiments of mathematical logic will help.