Springer Graduate Texts in Philosophy – serie

This book, presented in two parts, offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions. Its first part, Logic Sets, and Numbers, shows how mathematical logic is used to develop the number structures of classical mathematics. The exposition does not assume any prerequisites; it is rigorous, but as informal as possible. All necessary concepts are introduced exactly as they would be in a course in mathematical logic; but are accompanied by more extensive introductory remarks and examples to motivate formal developments. The second part, Relations, Structures, Geometry, introduces several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions, and shows how they are used to study and classify mathematical structures. Although more advanced, this second part is accessible to the reader who is either already familiar with basic mathematical logic, or has carefully read the first part of the book. Classical developments in model theory, including the Compactness Theorem and its uses, are discussed. Other topics include  tameness, minimality, and order minimality of structures. The book can be used as an introduction to model theory, but unlike standard texts, it does not require familiarity with abstract algebra. This book will also be of interest to mathematicians who know the technical aspects of the subject, but are not familiar with its history and philosophical background.

This textbook is a second edition of the successful, Mathematical Logic: On Numbers, Sets, Structures, and Symmetry. It retains the original two parts found in the first edition, while presenting new material in the form of an added third part to the textbook. The textbook offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions.Part I, Logic Sets, and Numbers, shows how mathematical logic is used to develop the number structures of classical mathematics. All necessary concepts are introduced exactly as they would be in a course in mathematical logic; but are accompanied by more extensive introductory remarks and examples to motivate formal developments. The second part, Relations, Structures, Geometry, introduces several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions, and shows how they are usedto study and classify mathematical structures. The added Part III to the book is closer to what one finds in standard introductory mathematical textbooks. Definitions, theorems, and proofs that are introduced are still preceded by remarks that motivate the material, but the exposition is more formal, and includes more advanced topics. The focus is on the notion of countable categoricity, which analyzed in detail using examples from the first two parts of the book. This textbook is suitable for graduate students in mathematical logic and set theory and will also be of interest to mathematicians who know the technical aspects of the subject, but are not familiar with its history and philosophical background.

This graduate textbook provides a basic introduction to experimental philosophy (x-phi). In nine chapters, different methods and tools used in X-Phi are explained, spanning quantitative vignette studies, interactive experiments, corpus analysis, psycholinguistic experiments as well as qualitative interview studies. Each chapter introduces a specific experimental method by means of a case study in an easily accessible way and covers the whole research process from the development of a research question to the interpretation of the data.

This graduate textbook provides a basic introduction to experimental philosophy (x-phi). In nine chapters, different methods and tools used in X-Phi are explained, spanning quantitative vignette studies, interactive experiments, corpus analysis, psycholinguistic experiments as well as qualitative interview studies. Each chapter introduces a specific experimental method by means of a case study in an easily accessible way and covers the whole research process from the development of a research question to the interpretation of the data.

This textbook provides an accessible introduction to Adam Smith, one of the most important economic thinkers. His seminal work The Wealth of Nations is a classic text in philosophy, social sciences and economics. This introduction puts Smith’s central ideas on the division of labour, the invisible hand and the market into context. A careful analysis of key passages from Smith’s writings explains how he arrived at a theory of society and the market that has become central to our understanding of human motives. The discussion of Smith’s The Wealth of Nations is followed by sources from the 18th century that shaped Smith’s analysis of human motives and propensities. This introduction is indispensable reading for an informed discussion of the mechanisms that govern human society. It provides an introduction to Adam Smith as one of the most astute thinkers of the 18th century, whose ideas shape modern concepts of the market, making it ideal as course material in courses such as economics, history, political sciences, sociology, literary studies, philosophy.

This textbook provides an accessible introduction to Adam Smith, one of the most important economic thinkers. His seminal work The Wealth of Nations is a classic text in philosophy, social sciences and economics. This introduction puts Smith’s central ideas on the division of labour, the invisible hand and the market into context. A careful analysis of key passages from Smith’s writings explains how he arrived at a theory of society and the market that has become central to our understanding of human motives. The discussion of Smith’s The Wealth of Nations is followed by sources from the 18th century that shaped Smith’s analysis of human motives and propensities. This introduction is indispensable reading for an informed discussion of the mechanisms that govern human society. It provides an introduction to Adam Smith as one of the most astute thinkers of the 18th century, whose ideas shape modern concepts of the market, making it ideal as course material in courses such as economics, history, political sciences, sociology, literary studies, philosophy.

This volume presents 38 classic texts in formal epistemology, and strengthens the ties between research into this area of philosophy and its neighbouring intellectual disciplines. The editors provide introductions to five subsections: Bayesian Epistemology, Belief Change, Decision Theory, Interactive Epistemology and Epistemic Logic.'Formal epistemology' is a term coined in the late 1990s for a new constellation of interests in philosophy, the origins of which are found in earlier works of epistemologists, philosophers of science and logicians. It addresses a growing agenda of problems concerning knowledge, belief, certainty, rationality, deliberation, decision, strategy, action and agent interaction – and it does so using methods from logic, probability, computability, decision and game theory. The volume also includes a thorough index and suggestions for further reading, and thus offers a complete teaching and research package for students as well as research scholars of formal epistemology, philosophy, logic, computer science, theoretical economics and cognitive psychology.

For the first time in English, this anthology offers a comprehensive selection of primary sources in the history of philosophy of language. Beginning with a detailed introduction contextualizing the subject, the editors draw out recurring themes, including the origin of language, the role of nature and convention in fixing form and meaning, language acquisition, ideal languages, varieties of meanings, language as a tool, and the nexus of language and thought, linking them to representative texts.   The handbook moves on to offer seminal contributions from philosophers ranging from the pre-Socratics up to John Stuart Mill, preceding each major historical section with its own introductory assessment. With all of the most relevant primary texts on the philosophy of language included, covering well over two millennia, this judicious, and generous, selection of source material will be an indispensable research tool for historians of philosophy, as well as for philosophers of language,in the twenty-first century.   A vital tool for researchers and contemporary philosophers, it will be a touchstone for much further research, with coverage of a long and varied tradition that will benefit today’s scholars and enhance their awareness of earlier contributions to the field.   ​

This volume presents 38 classic texts in formal epistemology, and strengthens the ties between research into this area of philosophy and its neighbouring intellectual disciplines. The editors provide introductions to five subsections: Bayesian Epistemology, Belief Change, Decision Theory, Interactive Epistemology and Epistemic Logic.'Formal epistemology' is a term coined in the late 1990s for a new constellation of interests in philosophy, the origins of which are found in earlier works of epistemologists, philosophers of science and logicians. It addresses a growing agenda of problems concerning knowledge, belief, certainty, rationality, deliberation, decision, strategy, action and agent interaction – and it does so using methods from logic, probability, computability, decision and game theory. The volume also includes a thorough index and suggestions for further reading, and thus offers a complete teaching and research package for students as well as research scholars of formal epistemology, philosophy, logic, computer science, theoretical economics and cognitive psychology.