- Table View
- List View
The Modal Logic of John Fabri of Valenciennes: A Study in Token-Based Semantics (SpringerBriefs in Philosophy)
by Christophe Geudens Lorenz DemeyThe first book-length study to address issues in modal logic at the eve of the Renaissance, this monograph provides important new insights into the way the debates on modal logic during the post-medieval period tied in with the so-called Wegestreit, the divide between the via antiqua and via moderna that dominated the discourse on logic during the 15th and early 16th centuries. The focus of the book is on the logic and philosophy of language of John Fabri of Valenciennes (fl. c. 1500), one of the last exponents of the terminist approach to logic that was bitterly criticized by the humanist movement. By means of a careful reconstruction of Fabri’s text, the book argues that Fabri's modal logic ultimately goes back to the work of John Buridan, and represents the same approach to the topic as the modal logics that were developed by adherents of the via moderna in Paris. This has significant implications for the historiography of post-medieval philosophy. Fabri was active in Louvain, which until the late 16th century was the most important intellectual center in the Low Countries. According to a long-standing tradition in the scholarship, Louvain was one of the few bulwarks of via antiqua logic on the map of post-medieval Europe. The book argues that this thesis is at least in part a scholarly fiction, and thus in need of revision. By shedding light on an author whose thought has thus far remained entirely unstudied, it also constitutes a valuable step towards a history of philosophy without any gaps. The book is aimed at graduate students and researchers in the history of logic and philosophy, but will also be of interest to intellectual historians, historians of ideas, and to any contemporary modal logician who is interested in the historical roots of their discipline.
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 null Amanda Bryant null 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 and Data Engineering: 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings (Lecture Notes in Computer Science #11163)
by El Hassan Abdelwahed Ladjel Bellatreche Mattéo Golfarelli Dominique Méry Carlos OrdonezThis 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.
Model and Mathematics: From the 19th to the 21st Century (Trends in the History of Science)
by Michael Friedman Karin KrauthausenThis open access book collects the historical and medial perspectives of a systematic and epistemological analysis of the complicated, multifaceted relationship between model and mathematics, ranging from, for example, the physical mathematical models of the 19th century to the simulation and digital modelling of the 21st century. The aim of this anthology is to showcase the status of the mathematical model between abstraction and realization, presentation and representation, what is modeled and what models.This book is open access under a CC BY 4.0 license.
Model-Based Reasoning, Abductive Cognition, Creativity: Inferences and Models in Science, Logic, Language, and Technology (Studies in Applied Philosophy, Epistemology and Rational Ethics #70)
by Emiliano Ippoliti Lorenzo Magnani Selene ArfiniThis book discusses how scientific and other types of cognition make use of models, abduction, and explanatory reasoning in order to produce important, innovative, and possibly creative changes in theories and concepts. Gathering revised contributions presented at the international conference on Model-Based Reasoning (MBR023), held on June 7–9, 2023 in Rome, Italy, the book addresses various intertwined topics ranging from the epistemology and applications of models also concerning the problem of knowledge production and scientific methodology (information visualization, experimental methods, and design) to the analysis of their role in cognition, decision-making, also with respect to social implications. The problem of model-based cognition is also illustrated taking advantage of recent results regarding problem-solving, abduction, and logic, paying attention to a critique of the dominant and received approaches, to the aim of fostering new discussions and stimulate new ideas. All in all, the book provides researchers and graduate students in the fields of applied philosophy, epistemology, cognitive science, and artificial intelligence alike with an authoritative snapshot of the latest theories and applications of model-based reasoning.
Model-Based Reasoning in Science and Technology: Theoretical and Cognitive Issues
by Lorenzo MagnaniThis book contains contributions presented during the international conference on Model-Based Reasoning (MBR´012), held on June 21-23 in Sestri Levante, Italy. Interdisciplinary researchers discuss in this volume how scientific cognition and other kinds of cognition make use of models, abduction, and explanatory reasoning in order to produce important or creative changes in theories and concepts. Some of the contributions analyzed the problem of model-based reasoning in technology and stressed the issues of scientific and technological innovation. The book is divided in three main parts: models, mental models, representations; abduction, problem solving and practical reasoning; historical, epistemological and technological issues. The volume is based on the papers that were presented at the international
Model-Based Reasoning in Science and Technology
by Lorenzo Magnani Claudia CasadioThis book discusses how scientific and other types of cognition make use of models, abduction, and explanatory reasoning in order to produce important or creative changes in theories and concepts. It includes revised contributions presented during the international conference on Model-Based Reasoning (MBR'015), held on June 25-27 in Sestri Levante, Italy. The book is divided into three main parts, the first of which focuses on models, reasoning and representation. It highlights key theoretical concepts from an applied perspective, addressing issues concerning information visualization, experimental methods and design. The second part goes a step further, examining abduction, problem solving and reasoning. The respective contributions analyze different types of reasoning, discussing various concepts of inference and creativity and their relationship with experimental data. In turn, the third part reports on a number of historical, epistemological and technological issues. By analyzing possible contradictions in modern research and describing representative case studies in experimental research, this part aims at fostering new discussions and stimulating new ideas. All in all, the book provides researchers and graduate students in the field of applied philosophy, epistemology, cognitive science and artificial intelligence alike with an authoritative snapshot of current theories and applications of model-based reasoning.
Model-Based Reasoning in Science and Technology: Inferential Models for Logic, Language, Cognition and Computation (Studies in Applied Philosophy, Epistemology and Rational Ethics #49)
by Ángel Nepomuceno-Fernández Lorenzo Magnani Francisco J. Salguero-Lamillar Cristina Barés-Gómez Matthieu FontaineThis book discusses how scientific and other types of cognition make use of models, abduction, and explanatory reasoning in order to produce important and innovative changes in theories and concepts. Gathering revised contributions presented at the international conference on Model-Based Reasoning (MBR18), held on October 24–26 2018 in Seville, Spain, the book is divided into three main parts. The first focuses on models, reasoning, and representation. It highlights key theoretical concepts from an applied perspective, and addresses issues concerning information visualization, experimental methods, and design. The second part goes a step further, examining abduction, problem solving, and reasoning. The respective papers assess different types of reasoning, and discuss various concepts of inference and creativity and their relationship with experimental data. In turn, the third part reports on a number of epistemological and technological issues. By analyzing possible contradictions in modern research and describing representative case studies, this part is intended to foster new discussions and stimulate new ideas. All in all, the book provides researchers and graduate students in the fields of applied philosophy, epistemology, cognitive science, and artificial intelligence alike with an authoritative snapshot of the latest theories and applications of model-based reasoning.
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: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings (Lecture Notes in Computer Science #11636)
by Fabrizio Biondi Thomas Given-Wilson Axel LegayThis 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: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings (Lecture Notes in Computer Science #10869)
by María Del Gallardo Pedro MerinoThis 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: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings (Lecture Notes in Computer Science #12864)
by Alfons Laarman Ana SokolovaThis 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 Rachel Ankeny Sabina LeonelliThis 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: 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 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 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
Modeling and Reasoning with Bayesian Networks
by Adnan DarwicheThis 2009 book is a thorough introduction to the formal foundations and practical applications of Bayesian networks. It provides an extensive discussion of techniques for building Bayesian networks that model real-world situations, including techniques for synthesizing models from design, learning models from data, and debugging models using sensitivity analysis. It also treats exact and approximate inference algorithms at both theoretical and practical levels. The treatment of exact algorithms covers the main inference paradigms based on elimination and conditioning and includes advanced methods for compiling Bayesian networks, time-space tradeoffs, and exploiting local structure of massively connected networks. The treatment of approximate algorithms covers the main inference paradigms based on sampling and optimization and includes influential algorithms such as importance sampling, MCMC, and belief propagation. The author assumes very little background on the covered subjects, supplying in-depth discussions for theoretically inclined readers and enough practical details to provide an algorithmic cookbook for the system developer.