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

The title of this book refers to the tension between formal and informal elements in the ways analytical philosophy is practiced. The authors examine questions of the scopes and limits of both kinds of research methods.


Foundations of the Formal Sciences II

Foundations of the Formal Sciences II

Author: Benedikt Löwe

Publisher: Springer Science & Business Media

Published: 2013-04-17

Total Pages: 308

ISBN-13: 9401703957

DOWNLOAD EBOOK

"Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main goal is to reestablish the traditionally strong links between these areas of research that have been lost in the past decades. The second conference in the series had the subtitle "Applications of Mathematical Logic in Philosophy and Linguistics" and brought speakers from all parts of the Formal Sciences together to give a holistic view of how mathematical methods can improve our philosophical and technical understanding of language and scientific discourse, ranging from the theoretical level up to applications in language recognition software. Audience: This volume is of interest to all formal philosophers and theoretical linguists. In addition to that, logicians interested in the applications of their field and logic students in mathematics, computer science, philosophy and linguistics can use the volume to broaden their knowledge of applications of logic.


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.


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.


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


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.


The Oxford Handbook of Philosophy of Mathematics and Logic

The Oxford Handbook of Philosophy of Mathematics and Logic

Author: Stewart Shapiro

Publisher: OUP USA

Published: 2005-02-10

Total Pages: 850

ISBN-13: 0195148770

DOWNLOAD EBOOK

Covers the state of the art in the philosophy of maths and logic, giving the reader an overview of the major problems, positions, and battle lines. The chapters in this book contain both exposition and criticism as well as substantial development of their own positions. It also includes a bibliography.