The volume consists of thirteen papers devoted to various problems of the philosophy of logic and mathematics. They can be divided into two groups. The first group contains papers devoted to some general problems of the philosophy of mathematics whereas the second group - papers devoted to the history of logic in Poland and to the work of Polish logicians and math-ematicians in the philosophy of mathematics and logic. Among considered problems are: meaning of reverse mathematics, proof in mathematics, the status of Church's Thesis, phenomenology in the philosophy of mathematics, mathematics vs. theology, the problem of truth, philosophy of logic and mathematics in the interwar Poland.

The dead are gone. They count for nothing. Yet, if we count the dead, their number is staggering. And they account for most of what is great about civilization. Compared to the greatness of the dead, the accomplishments of the living are paltry. Which is it then: are the dead still there to be counted or not? And if they are still there, where exactly is "there"? We are confronted with the ancient paradox of nonexistence bequeathed us by Parmenides. The mystery of death is the mystery of nonexistence. A successful attempt to provide a metaphysics of death, then, must resolve the paradox of nonexistence. That is the aim of this study. At the same time, the metaphysics of death, of ceasing to exist, must serve as an account of birth, of coming to exist; the primary thesis of this book is that this demands going beyond existence and nonexistence to include what underlies both, which one can call, following tradition, "being." The dead and the unborn are therefore objects that lack existence but not being. Nonexistent objects - not corpses, or skeletons, or memories, all of which are existent objects - are what are "there" to be counted when we count the dead.

What is the true worth of Wittgenstein's contribution to philosophy? Answers to this question are strongly divided. However, most assessments rest on certain popular misreadings of his purpose. This book challenges both "theoretical" and "therapeutic" interpretations. In their place, it seeks to establish that, from beginning to end, Wittgenstein regarded clarification as the true end of philosophy. It argues that, properly understood, his approach exemplifies rather than betrays critical philosophy and provides a viable alternative to other contemporary offerings.

Jan Wolenski and Sandra Lapointe Polish philosophy goes back to the 13th century, when Witelo, famous for his works in optics and the metaphysics of light, lived and worked in Silesia. Yet, Poland's academic life only really began after the University of Cracow was founded in 1364 - its development was interrupted by the sudden death of King Kazimierz III, but it was re-established in 1400. The main currents of classical scholastic thought like Thomism, Scottism or Ockhamism had been late - about a century - to come to Poland and they had a considerable impact on the budding Polish philosophical scene. The controversy between the via antiqua and the via moderna was hotly 1 debated. Intellectuals deliberated on the issues of concilliarism (whether the C- mon Council has priority over the Pope) and curialism (whether the Bishop of Rome has priority over the Common Council). On the whole, the situation had at least two remarkable features. Firstly, Polish philosophy was pluralistic, and remained so, since its very beginning. But it was also eclectic, which might explain why it aimed to a large extent at achieving a compromise between rival views. Secondly, given the shortcomings of the political system of the time as well as external pr- sure by an increasingly hegemonic Germany, thinkers were very much interested in political matters. Poland was a stronghold of political thought (mostly inclined towards concilliarism) and Polish political thought distinguished itself in Europe J."

This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz's work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics and Theoretical Computer Science.

The range of contributions includes material on the extension of natural deduction with higher-order rules, as opposed to higher-order connectives, and a paper discussing the application of natural deduction rules to dealing with equality in predicate calculus. The volume continues with a key chapter summarizing work on the extension of the Curry-Howard isomorphism (itself a by-product of the work on natural deduction), via methods of category theory that have been successfully applied to linear logic, as well as many other contributions from highly regarded authorities. With an illustrious group of contributors addressing a wealth of topics and applications, this volume is a valuable addition to the libraries of academics in the multiple disciplines whose development has been given added scope by the methodologies supplied by natural deduction. The volume is representative of the rich and varied directions that Prawitz work has inspired in the area of natural deduction.
"

"Exploring Hegels philosophical psychology to uncover viable remedies to the chief dilemmas plaguing contemporary philosophy of mind, Hegel and Mind exposes why mind cannot be an epistemological foundation nor reduced to discursive consciousness not modelled after computing machines"--Provided by publisher.

This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century. In the collection of essays presented here, researchers examine Feferman's work on mathematical as well as specific methodological and philosophical issues that tie into mathematics. Feferman's work was largely based in mathematical logic (namely model theory, set theory, proof theory and computability theory), but also branched out into methodological and philosophical issues, making it well known beyond the borders of the mathematics community. With regard to methodological issues, Feferman supported concrete projects. On the one hand, these projects calibrate the proof theoretic strength of subsystems of analysis and set theory and provide ways of overcoming the limitations imposed by Goedel's incompleteness theorems through appropriate conceptual expansions. On the other, they seek to identify novel axiomatic foundations for mathematical practice, truth theories, and category theory. In his philosophical research, Feferman explored questions such as "What is logic?" and proposed particular positions regarding the foundations of mathematics including, for example, his "conceptual structuralism." The contributing authors of the volume examine all of the above issues. Their papers are accompanied by an autobiography presented by Feferman that reflects on the evolution and intellectual contexts of his work. The contributing authors critically examine Feferman's work and, in part, actively expand on his concrete mathematical projects. The volume illuminates Feferman's distinctive work and, in the process, provides an enlightening perspective on the foundations of mathematics and logic.

This book offers a comprehensive account of logic that addresses fundamental issues concerning the nature and foundations of the discipline. The authors claim that these foundations can not only be established without the need for strong metaphysical assumptions, but also without hypostasizing logical forms as specific entities. They present a systematic argument that the primary subject matter of logic is our linguistic interaction rather than our private reasoning and it is thus misleading to see logic as revealing "the laws of thought". In this sense, fundamental logical laws are implicit to our "language games" and are thus more similar to social norms than to the laws of nature. Peregrin and Svoboda also show that logical theories, despite the fact that they rely on rules implicit to our actual linguistic practice, firm up these rules and make them explicit. By carefully scrutinizing the project of logical analysis, the authors demonstrate that logical rules can be best seen as products of the so called reflective equilibrium. They suggest that we can profit from viewing languages as "inferential landscapes" and logicians as "geographers" who map them and try to pave safe routes through them. This book is an essential resource for scholars and researchers engaged with the foundations of logical theories and the philosophy of language.

This collection presents the first sustained examination of the nature and status of the idea of principles in early modern thought. Principles are almost ubiquitous in the seventeenth and eighteenth centuries: the term appears in famous book titles, such as Newton's Principia; the notion plays a central role in the thought of many leading philosophers, such as Leibniz's Principle of Sufficient Reason; and many of the great discoveries of the period, such as the Law of Gravitational Attraction, were described as principles. Ranging from mathematics and law to chemistry, from natural and moral philosophy to natural theology, and covering some of the leading thinkers of the period, this volume presents ten compelling new essays that illustrate the centrality and importance of the idea of principles in early modern thought. It contains chapters by leading scholars in the field, including the Leibniz scholar Daniel Garber and the historian of chemistry William R. Newman, as well as exciting, emerging scholars, such as the Newton scholar Kirsten Walsh and a leading expert on experimental philosophy, Alberto Vanzo. The Idea of Principles in Early Modern Thought: Interdisciplinary Perspectives charts the terrain of one of the period's central concepts for the first time, and opens up new lines for further research.

Peirce's Speculative Grammar: Logic as Semiotics offers a comprehensive, philologically accurate, and exegetically ambitious developmental account of Peirce's theory of speculative grammar. The book traces the evolution of Peirce's grammatical writings from his early research on the classification of arguments in the 1860s up to the complex semiotic taxonomies elaborated in the first decade of the twentieth century. It will be of interest to academic specialists working on Peirce, the history of American philosophy and pragmatism, the philosophy of language, the history of logic, and semiotics.

Lacan and the Formulae of Sexuation provides the first critical reading of Lacan's formulae of sexuation, examining both their logical consistency and clinical consequences. Are there two different entities named Man and Woman, separated by the gulf of sexual difference? Or is it better to conceive of this difference as something purely relative, each human being situated on a sort of continuum from more or less 'man' to more or less 'woman'? Sigmund Freud established the strange way through which sexuality determines being human: his concept of drive was no longer the heteronormative sexual instinct used by the psychiatrists of his time. With his provocative formula according to which 'there is no sexual relationship', Lacan has reinforced this perspective, combining logic and sexuality through the invention of a new operator, the concept 'not all', which points to a form of incompleteness at stake in his 'formulae of sexuation'. This book examines how these formulae have been constructed, and how we should read them in connection with, on one hand, their own logical consistency (a logical square different from Aristotelian tradition) and, on the other hand, a 'part object' in a very different sense to Melanie Klein's. The book also investigates the underlying logic of clinical vignettes, so much in favour in psychoanalytical literature today. The book represents essential reading for Lacanian psychoanalysts, as well as researchers at the cross-section of psychoanalysis, philosophy, and gender studies.

This book sets out for the first time in English and in the terms of modern logic the semantics of the Port Royal Logic (La Logique ou l'Art de penser, 1662-1685) of Antoine Arnauld and Pierre Nicole, perhaps the most influential logic book in the 17th and 18th centuries. Its goal is to explain how the Logic reworks the foundation of pre-Cartesian logic so as to make it compatible with Descartes' metaphysics. The Logic's authors forged a new theory of reference based on the medieval notion of objective being, which is essentially the modern notion of intentional content. Indeed, the book's central aim is to detail how the Logic reoriented semantics so that it centered on the notion of intentional content. This content, which the Logic calls comprehension, consists of an idea's defining modes. Mechanisms are defined in terms of comprehension that rework earlier explanations of central notions like conceptual inclusion, signification, abstraction, idea restriction, sensation, and most importantly within the Logic's metatheory, the concept of idea-extension, which is a new technical concept coined by the Logic. Although Descartes is famous for rejecting "Aristotelianism," he says virtually nothing about technical concepts in logic. His followers fill the gap. By putting to use the doctrine of objective being, which had been a relatively minor part of medieval logic, they preserve more central semantic doctrines, especially a correspondence theory of truth. A recurring theme of the book is the degree to which the Logic hews to medieval theory. This interpretation is at odds with what has become a standard reading among French scholars according to which this 16th-century work should be understood as rejecting earlier logic along with Aristotelian metaphysics, and as putting in its place structures more like those of 19th-century class theory.

The limit of language is one of the most pervasive notions found in Wittgenstein's work, both in his early Tractatus Logico-Philosophicus and his later writings. Moreover, the idea of a limit of language is intimately related to important scholarly debates on Wittgenstein's philosophy, such as the debate between the so-called traditional and resolute interpretations, Wittgenstein's stance on transcendental idealism, and the philosophical import of Wittgenstein's latest work On Certainty. This collection includes thirteen original essays that provide a comprehensive overview of the various ways in which Wittgenstein appeals to the limit of language at different stages of his philosophical development. The essays connect the idea of a limit of language to the most important themes discussed by Wittgenstein-his conception of logic and grammar, the method of philosophy, the nature of the subject, and the foundations of knowledge-as well as his views on ethics, aesthetics, and religion. The essays also relate Wittgenstein's thought to his contemporaries, including Carnap, Frege, Heidegger, Levinas, and Moore.

Offers an extremely bold, far-reaching, and unsuspected thesis in the history of philosophy: Aristotelianism was a dominant movement of the British philosophical landscape, especially in the field of logic, and it had a long survival. British Aristotelian doctrines were strongly empiricist in nature, both in the theory of knowledge and in scientific method; this character marked and influenced further developments in British philosophy at the end of the century, and eventually gave rise to what we now call British empiricism, which is represented by philosophers such as John Locke, George Berkeley and David Hume. Beyond the apparent and explicit criticism of the old Scholastic and Aristotelian philosophy, which has been very well recognized by the scholarship in the twentieth century and which has contributed to the false notion that early modern philosophy emerged as a reaction to Aristotelianism, the present research examines the continuity, the original developments and the impact of Aristotelian doctrines and terminology in logic and epistemology as the background for the rise of empiricism.Without the Aristotelian tradition, without its doctrines, and without its conceptual elaborations, British empiricism would never have been born. The book emphasizes that philosophy is not defined only by the great names, but also by minor authors, who determine the intellectual milieu from which the canonical names emerge. It considers every single published work of logic between the middle of the sixteenth and the end of the seventeenth century, being acquainted with a number of surviving manuscripts and being well-informed about the best existing scholarship in the field. "

Originally published in 1931. This inquiry investigates and develops John Cook Wilson's view of the province of logic. It bases the study on the posthumous collected papers Statement and Inference. The author seeks to answer questions on the nature of logic using Cook Wilson's thought. The chapters introduce and consider topics from metaphysics to grammar and from psychology to knowledge. An early conception of logic in the sciences and presenting the work of an important twentieth century philosopher, this is an engaging work.

Originally published in 1985. This book is about a single famous line of argument, pioneered by Descartes and deployed to full effect by Kant. That argument was meant to refute scepticism once and for all, and make the world safe for science. 'I think, so I exist' is valid reasoning, but circular as proof. In similar vein, Kant argues from our having a science of geometry to Space being our contribution to experience: a different conclusion, arrived at by a similar fallacy. Yet these arguments do show something: that certain sets of opinions, if professed, show an inbuilt inconsistency. It is this second-strike capacity that has kept transcendental arguments going for so long. Attempts to re-build metaphysics by means of such transcendental reasoning have been debated. This book offers an introduction to the field, and ventures its own assessment, in non-technical language, without assuming previous training in logic or philosophy.

This book addresses the hasty development of modern logic, especially its introducing and embracing various kinds of artificial languages and moving from the study of natural languages to that of artificial ones. This shift seemed extremely helpful and managed to elevate logic to a new level of rigor and clarity. However, the change that logic underwent in this way was in no way insignificant, and it is also far from an insignificant matter to determine to what extent the "new logic" only engaged new and more powerful instruments to answer the questions posed by the "old" one, and to what extent it replaced these questions with new ones. Hence, this movement has generated brand new kinds of philosophical problems that have still not been dealt with systematically. Philosophy of Logical Systems addresses these new kinds of philosophical problems that are intertwined with the development of modern logic. Jaroslav Peregrin analyzes the rationale behind the introduction of the artificial languages of logic; classifies the various tools which were adopted to build such languages; gives an overview of the various kinds of languages introduced in the course of modern logic and the motifs of their employment; discusses what can actually be achieved by relocating the problems of logic from natural language into them; and reaches certain conclusions with respect to the possibilities and limitations of this "formal turn" of logic. This book is both an important scholarly contribution to the philosophy of logic and a systematic survey of the standard (and not so standard) logical systems that were established during the short history of modern logic.

This book addresses the argument in the history of the philosophy of science between the positivists and the anti-positivists. The author starts from a point of firm conviction that all science and philosophy must start with the given... But that the range of the given is not definite. He begins with an examination of science from the outside and then the inside, explaining his position on metaphysics and attempts to formulate the character of operational acts before a general theory of symbolism is explored. The last five chapters constitute a treatise to show that the development from one stage of symbolismto the next is inevitable, consequently that explanatory science represents the culmination of knowledge.

Originally published in 1973. This book presents a valid mode of reasoning that is different to mathematical probability. This inductive logic is investigated in terms of scientific investigation. The author presents his criteria of adequacy for analysing inductive support for hypotheses and discusses each of these criteria in depth. The chapters cover philosophical problems and paradoxes about experimental support, probability and justifiability, ending with a system of logical syntax of induction. Each section begins with a summary of its contents and there is a glossary of technical terms to aid the reader.

Originally published in 1981. This is a book for the final year undergraduate or first year graduate who intends to proceed with serious research in philosophical logic. It will be welcomed by both lecturers and students for its careful consideration of main themes ranging from Gricean accounts of meaning to two dimensional modal logic. The first part of the book is concerned with the nature of the semantic theorist's project, and particularly with the crucial concepts of meaning, truth, and semantic structure. The second and third parts deal with various constructions that are found in natural languages: names, quantifiers, definite descriptions, and modal operators. Throughout, while assuming some familiarity with philosophical logic and elementary formal logic, the text provides a clear exposition. It brings together related ideas, and in some places refines and improves upon existing accounts.

Originally published in 1968. This is a critical study of the concept of 'rule' featuring in law, ethics and much philosophical analysis which the author uses to investigate the concept of 'rationality'. The author indicates in what manner the modes of reasoning involved in reliance upon rules are unique and in what fashion they provide an alternative both to the modes of logico-mathematical reasoning and to the modes of scientific reasoning. This prepares the groundwork for a methodology meeting the requirements of the fields using rules such as law and ethics which could be significant for communications theory and the use of computers in normative fields. Other substantive issues related to the mainstream of legal philosophy are discussed - theories of interpretation, the notion of purpose and the requirements of principled decision-making. The book utilizes examples drawn from English and American legal decisions to suggest how the positions of legal positivism and of natural law are equally artificial and misleading.