Applications of Formal Philosophy
Applications of Formal Philosophy

Author: Rafał Urbaniak

Publisher: Springer

Published: 2017-09-05

Total Pages: 261

ISBN-13: 331958507X

DOWNLOAD EBOOK

This book features mathematical and formal philosophers’ efforts to understand philosophical questions using mathematical techniques. It offers a collection of works from leading researchers in the area, who discuss some of the most fascinating ways formal methods are now being applied. It covers topics such as: the uses of probable and statistical reasoning, rational choice theory, reasoning in the environmental sciences, reasoning about laws and changes of rules, and reasoning about collective decision procedures as well as about action. Utilizing mathematical techniques has been very fruitful in the traditional domains of formal philosophy – logic, philosophy of mathematics and metaphysics – while formal philosophy is simultaneously branching out into other areas in philosophy and the social sciences. These areas particularly include ethics, political science, and the methodology of the natural and social sciences. Reasoning about legal rules, collective decision-making procedures, and rational choices are of interest to all those engaged in legal theory, political science and economics. Statistical reasoning is also of interest to political scientists and economists.

Formal and Informal Methods in Philosophy
Formal and Informal Methods in Philosophy

Author:

Publisher: BRILL

Published: 2020-03-31

Total Pages: 328

ISBN-13: 9004420509

DOWNLOAD EBOOK

This book examines the tension between formal and informal methods in philosophy. The rise of analytic philosophy was accompanied by the development of formal logic and many successful applications of formal methods. But analytical philosophy does not rely on formal methods alone. Elements of broadly understood informal logic and logical semiotics, procedures used in natural sciences and humanities, and various kinds of intuition also belong to the philosopher’s toolkit. Papers gathered in the book concern the opposition formality–informality as well as other pairs, such as methodology versus metaphilosophy, interdisciplinarity versus intradisciplinarity, and methodological uniformity versus diversity of sciences. Problems of the nature of logic and the explanatory role of mathematical theories are also discussed.

The Confluence of Philosophy and Law in Applied Ethics
The Confluence of Philosophy and Law in Applied Ethics

Author: Norbert Paulo

Publisher: Springer

Published: 2016-05-26

Total Pages: 251

ISBN-13: 1137557346

DOWNLOAD EBOOK

The law serves a function that is not often taken seriously enough by ethicists, namely practicability. A consequence of practicability is that law requires elaborated and explicit methodologies that determine how to do things with norms. This consequence forms the core idea behind this book, which employs methods from legal theory to inform and examine debates on methodology in applied ethics, particularly bioethics. It is argued that almost all legal methods have counterparts in applied ethics, which indicates that much can be gained from comparative study of the two. The author first outlines methods as used in legal theory, focusing on deductive reasoning with statutes as well as analogical reasoning with precedent cases. He then examines three representative kinds of contemporary ethical theories, Beauchamp and Childress’s principlism, Jonsen and Toulmin’s casuistry, and two versions of consequentialism—Singer’s preference utilitarianism and Hooker’s rule-consequentialism—with regards to their methods. These examinations lead to the Morisprudence Model for methods in applied ethics.

Introduction to Formal Philosophy
Introduction to Formal Philosophy

Author: Sven Ove Hansson

Publisher: Springer

Published: 2018-10-24

Total Pages: 727

ISBN-13: 3319774344

DOWNLOAD EBOOK

This Undergraduate Textbook introduces key methods and examines the major areas of philosophy in which formal methods play pivotal roles. Coverage begins with a thorough introduction to formalization and to the advantages and pitfalls of formal methods in philosophy. The ensuing chapters show how to use formal methods in a wide range of areas. Throughout, the contributors clarify the relationships and interdependencies between formal and informal notions and constructions. Their main focus is to show how formal treatments of philosophical problems may help us understand them better. Formal methods can be used to solve problems but also to express new philosophical problems that would never have seen the light of day without the expressive power of the formal apparatus. ​Formal philosophy merges work in different areas of philosophy as well as logic, mathematics, computer science, linguistics, physics, psychology, biology, economics, political theory, and sociology. This title offers an accessible introduction to this new interdisciplinary research area to a wide academic audience.

Introduction to Formal Logic with Philosophical Applications
Introduction to Formal Logic with Philosophical Applications

Author: Russell Marcus

Publisher: Oxford University Press, USA

Published: 2017

Total Pages: 624

ISBN-13: 9780199386482

DOWNLOAD EBOOK

Rigorous yet engaging and accessible, Introduction to Formal Logic with Philosophical Applications is composed of two parts. The first part provides a focused, "nuts-and-bolts" introduction to formal deductive logic that covers syntax, semantics, translation, and natural deduction forpropositional and predicate logics. The second part presents student-friendly essays on logic and its applications in philosophy and beyond, with writing prompts and suggestions for further reading.

Philosophy of Logic
Philosophy of Logic

Author:

Publisher: Elsevier

Published: 2006-11-29

Total Pages: 1219

ISBN-13: 008046663X

DOWNLOAD EBOOK

The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and its relevance for philosophy today, and explore in depth developments in informal logic and the relation of informal to symbolic logic, mathematical metatheory and the limiting metatheorems, modal logic, many-valued logic, relevance and paraconsistent logic, free logics, extensional v. intensional logics, the logic of fiction, epistemic logic, formal logical and semantic paradoxes, the concept of truth, the formal theory of entailment, objectual and substitutional interpretation of the quantifiers, infinity and domain constraints, the Löwenheim-Skolem theorem and Skolem paradox, vagueness, modal realism v. actualism, counterfactuals and the logic of causation, applications of logic and mathematics to the physical sciences, logically possible worlds and counterpart semantics, and the legacy of Hilbert's program and logicism. The handbook is meant to be both a compendium of new work in symbolic logic and an authoritative resource for students and researchers, a book to be consulted for specific information about recent developments in logic and to be read with pleasure for its technical acumen and philosophical insights.- Written by leading logicians and philosophers- Comprehensive authoritative coverage of all major areas of contemporary research in symbolic logic- Clear, in-depth expositions of technical detail- Progressive organization from general considerations to informal to symbolic logic to nonclassical logics- Presents current work in symbolic logic within a unified framework- Accessible to students, engaging for experts and professionals- Insightful philosophical discussions of all aspects of logic- Useful bibliographies in every chapter

Logic for Philosophy
Logic for Philosophy

Author: Theodore Sider

Publisher: Oxford University Press

Published: 2010-01-07

Total Pages: 305

ISBN-13: 0192658816

DOWNLOAD EBOOK

Logic for Philosophy is an introduction to logic for students of contemporary philosophy. It is suitable both for advanced undergraduates and for beginning graduate students in philosophy. It covers (i) basic approaches to logic, including proof theory and especially model theory, (ii) extensions of standard logic that are important in philosophy, and (iii) some elementary philosophy of logic. It emphasizes breadth rather than depth. For example, it discusses modal logic and counterfactuals, but does not prove the central metalogical results for predicate logic (completeness, undecidability, etc.) Its goal is to introduce students to the logic they need to know in order to read contemporary philosophical work. It is very user-friendly for students without an extensive background in mathematics. In short, this book gives you the understanding of logic that you need to do philosophy.

The Logic in Philosophy of Science
The Logic in Philosophy of Science

Author: Hans Halvorson

Publisher: Cambridge University Press

Published: 2019-07-11

Total Pages: 305

ISBN-13: 1107110998

DOWNLOAD EBOOK

Reconsiders the role of formal logic in the analytic approach to philosophy, using cutting-edge mathematical techniques to elucidate twentieth-century debates.

Philosophy of Logical Systems
Philosophy of Logical Systems

Author: Jaroslav Peregrin

Publisher: Routledge

Published: 2019-11-11

Total Pages: 188

ISBN-13: 1000727084

DOWNLOAD EBOOK

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.

Rightness as Fairness
Rightness as Fairness

Author: Marcus Arvan

Publisher: Springer

Published: 2016-03-29

Total Pages: 282

ISBN-13: 1137541814

DOWNLOAD EBOOK

Rightness as Fairness provides a uniquely fruitful method of 'principled fair negotiation' for resolving applied moral and political issues that requires merging principled debate with real-world negotiation.