- Table View
- List View
Mobilizing Traditions in the First Wave of the British Animal Defense Movement (The Palgrave Macmillan Animal Ethics Series)
by Chien-hui LiThis book explores the British animal defense movement’s mobilization of the cultural and intellectual traditions of its time- from Christianity and literature, to natural history, evolutionism and political radicalism- in its struggle for the cause of animals in the nineteenth and early twentieth centuries. Each chapter examines the process whereby the animal protection movement interpreted and drew upon varied intellectual, moral and cultural resources in order to achieve its manifold objectives, participate in the ongoing re-creation of the current traditions of thought, and re-shape human-animal relations in wider society. Placing at its center of analysis the movement’s mediating power in relation to its surrounding traditions, Li’s original perspective uncovers the oft-ignored cultural work of the movement whilst restoring its agency in explaining social change. Looking forward, it points at the same time to the potential of all traditions, through ongoing mobilization, to effect change in the human-animal relations of the future.
Mocking Bird Technologies: The Poetics of Parroting, Mimicry, and Other Starling Tropes
by Christopher GoGwilt and Melanie D. HolmContributors: Madeleine Brainerd, Joe Conway, Fraser Easton, Christopher GoGwilt, Shari Goldberg, Melanie D. Holm, Sarah Kay, Kaori T. Kitao, Holt V. Meyer, Isabel A. Moore, Fawzia Mustafa, Gavin Sourgen.Mocking Bird Technologies brings together a range of perspectives to offer an extended meditation on bird mimicry in literature: the way birds mimic humans, the way humans mimic birds, and the way mimicry of any kind involves technologies that extend across as well as beyond languages and species. The essays examine the historical, poetic, and semiotic problem of mimesis exemplified both by the imitative behavior of parrots, starlings, and other mocking birds, and by the poetic trope of such birds in a range of literary and philological traditions. Drawing from a cross-section of traditional periods and fields in literary studies (18th-century studies, romantic studies, early American studies, 20th-century studies, and postcolonial studies), the collection offers new models for combining comparative and global studies of literature and culture.EditorsChristopher GoGwilt is Professor of English and Comparative Literature at Fordham University. He is the author of The Passage of Literature: Genealogies of Modernism in Conrad, Rhys, and Pramoedya (Oxford, 2011), The Fiction of Geopolitics: Afterimages of Culture from Wilkie Collins to Alfred Hitchcock (Stanford, 2000), and The Invention of the West: Joseph Conrad and the Double-Mapping of Europe and Empire (Stanford, 1995).Melanie D. Holm is Assistant Professor of the English Department and Graduate Program of Literature and Criticism at Indiana University of Pennsylvania. She also teaches in the university’s Women’s and Gender Studies program. Her scholarly focus is on eighteenth-century literature and skepticism.ContributorsMadeleine Brainerd taught at Washington University in St. Louis and at Excelsior College. Since 2004 she has taught therapeutic yoga and medical qi gong in New York City, at the Integral Yoga Institute, Kenshikai Dojo, Gouverneur Hospital, and other venues. She studies histories of yoga’s intersections with ecological in/justice, animality, and affect theory.Joe Conway is an Assistant Professor of American Literature at the University of Alabama in Huntsville. His articles have appeared or are scheduled to appear in the journals Women’s Studies, Early American Literature, and Nineteenth-Century Contexts. He is currently at work on a monograph about the social life of antebellum money that charts how discourses of noneconomic phenomena such as medicine, race, nationalism, and aesthetics informed nineteenth-century debates about what constitutes good money.Fraser Easton is Associate Professor of English, University of Waterloo, Canada. A specialist in eighteenth-century literature, he has published on Jane Austen, Daniel Defoe, Maria Edgeworth, and Christopher Smart, as well as on newspaper records and historical accounts of passing women in the eighteenth century.Shari Goldberg is Assistant Professor of English at Franklin & Marshall College in Lancaster, Pennsylvania. She is the author of Quiet Testimony: A Theory of Witnessing from Nineteenth-Century American Literature (Fordham, 2013). She has also published essays on silence, politics, and personhood in American literature. Her current research focuses on late-nineteenth-century models of mind and person in narrative and psychological writing.Sarah Kay teaches French and Medieval Studies at New York University. She has written widely on medieval literature across languages, genres, and periods; her work combines the study of medieval texts, especially troubadour songs, with philosophical and theoretical inquiry. Her two most recent books are Parrots and Nightingales: Troubadour Quotations and the Development of European Poetry (2013) and Animal Skins and the Reading Self in Medieval Latin and French Bestiaries (2017).<b
Modal Empiricism: Interpreting Science Without Scientific Realism (Synthese Library #440)
by Quentin RuyantThis book proposes a novel position in the debate on scientific realism: Modal Empiricism. Modal empiricism is the view that the aim of science is to provide theories that correctly delimit, in a unified way, the range of experiences that are naturally possible given our position in the world. The view is associated with a pragmatic account of scientific representation and an original notion of situated modalities, together with an inductive epistemology for modalities. It purports to provide a faithful account of scientific practice and of its impressive achievements, and defuses the main motivations for scientific realism. More generally, Modal Empiricism purports to be the precise articulation of a pragmatist stance towards science.This book is of interest to any philosopher involved in the debate on scientific realism, or interested in how to properly understand the content, aim and achievements of science.
Modal Epistemology After Rationalism
by Bob Fischer Felipe LeonThis collection highlights the new trend away from rationalism and toward empiricism in the epistemology of modality. Accordingly, the book represents a wide range of positions on the empirical sources of modal knowledge. Readers will find an introduction that surveys the field and provides a brief overview of the work, which progresses from empirically-sensitive rationalist accounts to fully empiricist accounts of modal knowledge. Early chapters focus on challenges to rationalist theories, essence-based approaches to modal knowledge, and the prospects for naturalizing modal epistemology. The middle chapters present positive accounts that reject rationalism, but which stop short of advocating exclusive appeal to empirical sources of modal knowledge. The final chapters mark a transition toward exclusive reliance on empirical sources of modal knowledge. They explore ways of making similarity-based, analogical, inductive, and abductive arguments for modal claims based on empirical information. Modal epistemology is coming into its own as a field, and this book has the potential to anchor a new research agenda.
Modal Justification via Theories
by Bob FischerThis monograph articulates and defends a theory-based epistemology of modality (TEM). According to TEM, someone justifiably believe an interesting modal claim if and only if (a) she justifiably believes a theory according to which that claim is true, (b) she believes that claim on the basis of that theory, and (c) she has no defeaters for her belief in that claim. The book has two parts. In the first, the author motivates TEM, sets out the view in detail, and defends it against a number of objections. In the second, the author considers whether TEM is worth accepting. To argue that it is, the author sets out criteria for choosing between modal epistemologies, concluding that TEM has a number of important virtues. However, the author also concedes that TEM is cautious: it probably implies that we are not justified in believing some interesting modal claims that we might take ourselves to be justified in believing. This raises a question about TEM's relationship to Peter van Inwagen's modal skepticism, which the author explores in detail. As it turns out, TEM offers a better route to modal skepticism than the one that van Inwagen provides. But rather than being a liability, the author argues that this is a further advantage of the view. Moreover, he argues that other popular modal epistemologies do not fare better: they cannot easily secure more extensive modal justification than TEM. The book concludes by clarifying TEM's relationship to the other modal epistemologies on offer, contending that TEM need not be a rival to those views, but can instead be a supplement to them.
Modal Logic
by Patrick Blackburn Maarten De Rijke Yde VenemaThis modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including their algorithmic and algebraic aspects. Applications to issues in logic and computer science such as completeness, computability and complexity are considered.
Modal Logic for Philosophers
by James W. GarsonDesigned for use by philosophy students, this 2006 book provides an accessible, yet technically sound treatment of modal logic and its philosophical applications. Every effort has been made to simplify the presentation by using diagrams in place of more complex mathematical apparatus. These and other innovations provide philosophers with easy access to a rich variety of topics in modal logic, including a full coverage of quantified modal logic, non-rigid designators, definite descriptions, and the de-re de-dictio distinction. Discussion of philosophical issues concerning the development of modal logic is woven into the text. The book uses natural deduction systems and also includes a diagram technique that extends the method of truth trees to modal logic. This feature provides a foundation for a novel method for showing completeness, one that is easy to extend to systems that include quantifiers.
Modal Logics and Philosophy: Second Edition
by Rod GirleThe first edition, published by Acumen in 2000, became a prescribed textbook on modal logic courses. The second edition has been fully revised in response to readers' suggestions, including two new chapters on conditional logic, which was not covered in the first edition. "Modal Logics and Philosophy" is a fully comprehensive introduction to modal logics and their application suitable for course use. Unlike most modal logic textbooks, which are both forbidding mathematically and short on philosophical discussion, "Modal Logics and Philosophy" places its emphasis firmly on showing how useful modal logic can be as a tool for formal philosophical analysis. In part 1 of the book, the reader is introduced to some standard systems of modal logic and encouraged through a series of exercises to become proficient in manipulating these logics. The emphasis is on possible world semantics for modal logics and the semantic emphasis is carried into the formal method, Jeffrey-style truth-trees. Standard truth-trees are extended in a simple and transparent way to take possible worlds into account. Part 2 systematically explores the applications of modal logic to philosophical issues such as truth, time, processes, knowledge and belief, obligation and permission.
Modal Naturalism: Science and the Modal Facts (Elements in Metaphysics)
by Amanda Bryant Alastair WilsonHow do we know what is possible or impossible, what is inevitable or unattainable, or what would happen under which circumstances? Since modal facts seem distinctively mysterious and difficult to know, the epistemology of modality has historically been fraught with uncertainty and disagreement. The recent literature has been dominated by rationalist approaches that emphasise a priori reasoning (sometimes including direct intuition of possibility). Only recently have alternative approaches emerged which recognize a broader range of sources of modal knowledge. Yet even emerging non-rationalist views have tended to assign scientific investigation at best a supporting role. Our project in this book is to develop and defend a new approach to the epistemology of modal facts which assigns a central role to scientific investigation. According to modal naturalism, science (construed broadly) is our primary source of evidence concerning the modal facts.
Modality (Central Problems of Philosophy #13)
by Joseph MeliaThis introduction to modality places the emphasis on the metaphysics of modality rather than on the formal semetics of quantified modal logic. The text begins by introducing students to the "de re/de dicto" distinction, conventionalist and conceptualist theories of modality and some of the key problems in modality, particularly Quine's criticisms. It then moves on to explain how possible worlds provide a solution to many of the problems in modality and how possible worlds themselves have been used to analyse notions outside modality such as properties and propositions. Possible worlds introduce problems of their own and the book argues that to make progress with these problems a theory of possible worlds is required. The pros and cons of various theories of possible worlds are then examined in turn, including those of Lewis, Kripke, Adams, Stalnaker and Plantinga.
Modality (Elements in Metaphysics)
by Sònia Roca-RoyesModality is a vast phenomenon. In fact, it is arguably a plurality of phenomena. Within it, one type of modality warrants distinctive interest in philosophy and, in particular, in metaphysics. In view of this, this Element has a first part devoted to modality as a general phenomenon, where different types of modalities are distinguished, and where the question of unification is raised. Following this, the second part is focused on metaphysical modality: the type of modality that is of distinctive interest in metaphysics, and thus for the series of this Element. In this second part, the overarching question is about the source of metaphysical modality, and the discussion here informs back, and is informed by, the question of unification from the first part. This title is also available as open access on Cambridge Core.
Modality and Anti-Metaphysics (Routledge Revivals)
by Stephen K. McLeodThis title was first published in 2001. Modality and Anti-Metaphysics critically examines the most prominent approaches to modality among analytic philosophers in the twentieth century, including essentialism. Defending both the project of metaphysics and the essentialist position that metaphysical modality is conceptually and ontologically primitive, Stephen McLeod argues that the logical positivists did not succeed in banishing metaphysical modality from their own theoretical apparatus and he offers an original defence of metaphysics against their advocacy of its elimination. Seeking to assuage the sceptical worries which underlie modal anti-realism, McLeod provides an original contribution to essentialist epistemology, engaging with current debates about modality and suggesting that standard essentialist approaches to some issues in the philosophies of logic and language require revision. This book offers valuable insights to professional philosophers, postgraduates and advanced undergraduates interested in metaphysics, philosophy of logic or the history of twentieth-century analytic philosophy.
Modality and Propositional Attitudes
by Michael HegartyThis book shows that the semantic analysis of modal notions of possibility and necessity can be used to enhance our understanding of the interpretation of reports of belief or emotional state. It introduces intuitive notation and terminology to express ideas in modern theories of modal interpretation that are normally represented in complex logical formulas, effectively updates the 1960s-era link between possible worlds and the semantics of propositional attitude ascriptions, and reconciles two disparate views of the role of events in semantic interpretation, that of Donald Davidson and that of David Lewis. It reduces a host of variable behaviors of propositional attitude ascription to an intuitive and precise distinction between ascriptions that merely express a commitment to propositional content versus ones that attribute a mental state to the holder of the propositional attitude. This leads to an explanation of the nature and effects of the language disorder of fluent aphasia.
Modality in Argumentation
by Andrea RocciThis book addresses two related questions that have first arisen in Toulmin's seminal book on the uses of argument. The first question is the one of the relationship between the semantic analysis of modality and the structure of arguments. The second question is the one of the distinctive place, or role, of modality in the fundamental structure of arguments. These two questions concern how modality, as a semantic category, relates to the fundamental structure of arguments. The book addresses modality and argumentation also according to another perspective by looking at how different linguistic modal expressions may be taken as argumentative indicators. It explores the role of modal expressions as argumentative indicators by using the Italian modal system as a case study. At the same time, it uses predictions/forecasts in the business-financial daily press to investigate the relation between modality and the context of argumentation.
Modality, Semantics and Interpretations
by Shier Ju Hu Liu Hiroakira OnoThis contributed volume includes both theoretical research on philosophical logic and its applications in artificial intelligence, mostly employing the concepts and techniques of modal logic. It collects selected papers presented at the Second Asia Workshop on Philosophical Logic, held in Guangzhou, China in 2014, as well as a number of invited papers by specialists in related fields. The contributions represent pioneering philosophical logic research in Asia.
Model Cases: On Canonical Research Objects and Sites
by Monika KrauseIn Model Cases, Monika Krause asks about the concrete material research objects behind shared conversations about classes of objects, periods, and regions in the social sciences and humanities. It is well known that biologists focus on particular organisms, such as mice, fruit flies, or particular viruses when they study general questions about life, development, and disease. Krause shows that scholars in the social sciences and humanities also draw on some cases more than others, selecting research objects influenced by a range of ideological but also mundane factors, such as convenience, historicist ideas about development over time, schemas in the general population, and schemas particular to specific scholarly communities. Some research objects are studied repeatedly and shape our understanding of more general ideas in disproportionate ways: The French Revolution has profoundly influenced our concepts of revolution, of citizenship, and of political modernity, just like studies of doctors have set the agenda for research on the professions. Based on an extensive analysis of the role of model cases in different fields, Krause argues that they can be useful for scholarly communities if they are acknowledged and reflected as particular objects; she also highlights the importance of research strategies based on neglected research objects and neglected combinations of research objects and scholarly concerns.
Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings (Lecture Notes in Computer Science #10869)
by Pedro Merino María Del GallardoThis book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018.The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.
Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings (Lecture Notes in Computer Science #11636)
by Axel Legay Fabrizio Biondi Thomas Given-WilsonThis book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019. The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.
Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings (Lecture Notes in Computer Science #12864)
by Ana Sokolova Alfons LaarmanThis book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were carefully reviewed and selected from 20 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.
Model Organisms (Elements in the Philosophy of Biology)
by Sabina Leonelli Rachel AnkenyThis Element presents a philosophical exploration of the concept of the 'model organism' in contemporary biology. Thinking about model organisms enables us to examine how living organisms have been brought into the laboratory and used to gain a better understanding of biology, and to explore the research practices, commitments, and norms underlying this understanding. We contend that model organisms are key components of a distinctive way of doing research. We focus on what makes model organisms an important type of model, and how the use of these models has shaped biological knowledge, including how model organisms represent, how they are used as tools for intervention, and how the representational commitments linked to their use as models affect the research practices associated with them.
Model Theory and the Philosophy of Mathematical Practice: Formalization without Foundationalism
by John T. BaldwinMajor shifts in the field of model theory in the twentieth century have seen the development of new tools, methods, and motivations for mathematicians and philosophers. In this book, John T. Baldwin places the revolution in its historical context from the ancient Greeks to the last century, argues for local rather than global foundations for mathematics, and provides philosophical viewpoints on the importance of modern model theory for both understanding and undertaking mathematical practice. The volume also addresses the impact of model theory on contemporary algebraic geometry, number theory, combinatorics, and differential equations. This comprehensive and detailed book will interest logicians and mathematicians as well as those working on the history and philosophy of mathematics. Explains the philosophical significance of the transformation in model theory and its impact on traditional mathematics; The technical logic is grounded in historical and philosophical contexts, making the subject accessible to philosophers as well as mathematicians; Includes source materials from model theorists discussing their methods and motivation.
Model Theory: Third Edition (Dover Books on Mathematics #58)
by H. Jerome Keisler C. C. ChangModel theory deals with a branch of mathematical logic showing connections between a formal language and its interpretations or models. This is the first and most successful textbook in logical model theory. Extensively updated and corrected in 1990 to accommodate developments in model theoretic methods -- including classification theory and nonstandard analysis -- the third edition added entirely new sections, exercises, and references. Each chapter introduces an individual method and discusses specific applications. Basic methods of constructing models include constants, elementary chains, Skolem functions, indiscernibles, ultraproducts, and special models. The final chapters present more advanced topics that feature a combination of several methods. This classic treatment covers most aspects of first-order model theory and many of its applications to algebra and set theory.
Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 39th IMAC, A Conference and Exposition on Structural Dynamics 2021 (Conference Proceedings of the Society for Experimental Mechanics Series)
by Zhu MaoModel Validation and Uncertainty Quantification, Volume 3: Proceedings of the 39th IMAC, A Conference and Exposition on Structural Dynamics, 2021, the third volume of nine from the Conference brings together contributions to this important area of research and engineering. The collection presents early findings and case studies on fundamental and applied aspects of Model Validation and Uncertainty Quantification, including papers on:Inverse Problems and Uncertainty QuantificationControlling UncertaintyValidation of Models for Operating EnvironmentsModel Validation & Uncertainty Quantification: Decision MakingUncertainty Quantification in Structural DynamicsUncertainty in Early Stage DesignComputational and Uncertainty Quantification Tools
Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics 2023 (Conference Proceedings of the Society for Experimental Mechanics Series)
by Roland Platz Garrison Flynn Kyle Neal Scott OuelletteModel Validation and Uncertainty Quantification, Volume 3: Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics, 2023, the third volume of ten from the Conference brings together contributions to this important area of research and engineering. The collection presents early findings and case studies on fundamental and applied aspects of Model Validation and Uncertainty Quantification, including papers on:Introduction of Uncertainty QuantificationUncertainty Quantification in DynamicsModel Form Uncertainty and Selection incl. Round Robin ChallengeSensor and Information FusionVirtual Sensing, Certification, and Real-Time MonitoringSurrogate Modeling
Model and Data Engineering: 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings (Lecture Notes in Computer Science #11163)
by Ladjel Bellatreche Carlos Ordonez El Hassan Abdelwahed Mattéo Golfarelli Dominique MéryThis book constitutes the refereed proceedings of the 8h International Conference on Model and Data Engineering, MEDI 2018, held in Marrakesh, Morocco, in October 2018.The 23 full papers and 4 short papers presented together with 2 invited talks were carefully reviewed and selected from 86 submissions. The papers covered the recent and relevant topics in the areas of databases; ontology and model-driven engineering; data fusion, classsification and learning; communication and information technologies; safety and security; algorithms and text processing; and specification, verification and validation.