Author: Sven Ove Hansson
Publisher: Springer
ISBN: 3319774344
Category : Philosophy
Languages : en
Pages : 733

View

Book Description
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.

Author: Peter Smith
Publisher: Cambridge University Press
ISBN: 9780521008044
Category : Mathematics
Languages : en
Pages : 370

View

Book Description
Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this highly accessible book, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated into these languages, concentrating on the easily comprehensible 'tree' method. His discussion is richly illustrated with worked examples and exercises. A distinctive feature is that, alongside the formal work, there is illuminating philosophical commentary. This book will make an ideal text for a first logic course, and will provide a firm basis for further work in formal and philosophical logic.

Author: Rafał Urbaniak
Publisher: Springer
ISBN: 331958507X
Category : Philosophy
Languages : en
Pages : 263

View

Book Description
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.

Author: P.D. Magnus
Publisher: Good Press
ISBN:
Category : Philosophy
Languages : en
Pages : 162

View

Book Description
Forallx is an introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century analytic philosophy. After working through the material in this book, a student should be able to understand most quantified expressions that arise in their philosophical reading. This book treats symbolization, formal semantics, and proof theory for each language. The discussion of formal semantics is more direct than in many introductory texts. Although forall x does not contain proofs of soundness and completeness, it lays the groundwork for understanding why these are things that need to be proven. Contents: What is logic? Sentential logic Truth tables Quanti ed logic Formal semantics Proofs Other symbolic notation Solutions to selected exercises

Author: Vincent F. Hendricks
Publisher: Vince Incorporated Press
ISBN: 9788799101306
Category : Philosophy
Languages : en
Pages : 246

View

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

Author: Russell Marcus
Publisher: Oxford University Press, USA
ISBN: 9780199386482
Category : Philosophy
Languages : en
Pages : 624

View

Book Description
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.

Author: Richard Eldridge
Publisher: Cambridge University Press
ISBN: 9780521805216
Category : Art
Languages : en
Pages : 300

View

Book Description
Richard Eldridge presents a clear and compact survey of philosophical theories of the nature and significance of art. Drawing on materials from classical and contemporary philosophy as well as from literary theory and art criticism, he explores the representational, expressive, and formal dimensions of art, and he argues that works of art present their subject matter in ways that are of enduring cognitive, moral, and social interest. His accessible study will be invaluable to students and to all readers who are interested in the relation between thought and art.

Author:
Publisher: BRILL
ISBN: 9004420509
Category : Philosophy
Languages : en
Pages : 328

View

Book Description
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.

Author: Darren Bradley
Publisher: Bloomsbury Publishing
ISBN: 1780937520
Category : Philosophy
Languages : en
Pages : 327

View

Book Description
Formal methods are changing how epistemology is being studied and understood. A Critical Introduction to Formal Epistemology introduces the types of formal theories being used and explains how they are shaping the subject. Beginning with the basics of probability and Bayesianism, it shows how representing degrees of belief using probabilities informs central debates in epistemology. As well as discussing induction, the paradox of confirmation and the main challenges to Bayesianism, this comprehensive overview covers objective chance, peer disagreement, the concept of full belief, and the traditional problems of justification and knowledge. Subjecting each position to a critical analysis, it explains the main issues in formal epistemology, and the motivations and drawbacks of each position. Written in an accessible language and supported study questions, guides to further reading and a glossary, positions are placed in an historic context to give a sense of the development of the field. As the first introductory textbook on formal epistemology, A Critical Introduction to Formal Epistemology is an invaluable resource for students and scholars of contemporary epistemology.

Author: Russell Marcus
Publisher: Oxford University Press, USA
ISBN: 9780190861780
Category : Philosophy
Languages : en
Pages : 504

View

Book Description
Rigorous yet intuitive and accessible, Introduction to Formal Logic provides a focused, "nuts-and-bolts" introduction to formal deductive logic that covers syntax, semantics, translation, and natural deduction for propositional and predicate logics. For instructors who want to go beyond a basic introduction to explore the connection between formal logic techniques and philosophy, Oxford also publishes Introduction to Formal Logic with Philosophical Applications, an extended version of this text that incorporates two chapters of stand-alone essays on logic and its application in philosophy and beyond.