Formal Philosophy

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.

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.

Formal Philosophy is a collection of short interviews based on 5 questions presented to some of the most influential and prominent scholars in formal philosophy.

Finland is internationally known as one of the leading centers of twentieth century analytic philosophy. This volume offers for the first time an overall survey of the Finnish analytic school. The rise of this trend is illustrated by original articles of Edward Westermarck, Eino Kaila, Georg Henrik von Wright, and Jaakko Hintikka. Contributions of Finnish philosophers are then systematically discussed in the fields of logic, philosophy of language, philosophy of science, history of philosophy, ethics and social philosophy. Metaphilosophical reflections on the nature of philosophy are highlighted by the Finnish dialogue between analytic philosophy, phenomenology, pragmatism, and critical theory.

Many texts on logic are written with a mathematical emphasis, and focus primarily on the development of a formal apparatus and associated techniques. In other, more philosophical texts, the topic is often presented as an indulgent collection of musings on issues for which technical solutions have long since been devised. What has been missing until now is an attempt to unite the motives underlying both approaches. Paul Hoyningen-Huene’s Formal Logic seeks to find a balance between the necessity of formal considerations and the importance of full reflection and explanation about the seemingly arbitrary steps that occasionally confound even the most serious student of logic. Alex Levine’s artful translation conveys both the content and style of the German edition. Filled with examples, exercises, and a straightforward look at some of the most common problems in teaching the subject, this work is eminently suitable for the classroom.

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.

Masses of Formal Philosophy is an outgrowth of Formal Philosophy. That book gathered the responses of some of the most prominent formal philosophers to five relatively open and broad questions initiating a discussion of metaphilosophical themes and problems surrounding the use of formal methods in philosophy. Including contributions from a wide range of philosophers, Masses of Formal Philosophy contains important new responses to the original five questions.

In the spirit of the mega-selling On Bullshit, philosopher Aaron James presents a theory of the asshole that is both intellectually provocative and existentially necessary. What does it mean for someone to be an asshole? The answer is not obvious, despite the fact that we are often personally stuck dealing with people for whom there is no better name. Try as we might to avoid them, assholes are found everywhere—at work, at home, on the road, and in the public sphere. Encountering one causes great difficulty and personal strain, especially because we often cannot understand why exactly someone should be acting like that. Asshole management begins with asshole understanding. Much as Machiavelli illuminated political strategy for princes, this book finally gives us the concepts to think or say why assholes disturb us so, and explains why such people seem part of the human social condition, especially in an age of raging narcissism and unbridled capitalism. These concepts are also practically useful, as understanding the asshole we are stuck with helps us think constructively about how to handle problems he (and they are mostly all men) presents. We get a better sense of when the asshole is best resisted, and when he is best ignored—a better sense of what is, and what is not, worth fighting for.