Sword of Philosophy attempts to address some of the fundamental questions in philosophy. Beginning with the problem of our conceptions of the outside world and reality itself, it moves into an application of these issues to our experiences of the world and the consequential scientific systems we create. The problem of the nature of values and ethics are considered, and the applications of these problems to society are delineated. The nature of logic and mathematics are considered, with a focus on the incompleteness, model theory, and the differing approaches of formalism and realism. The nature of God is also considered.

This work is an introduction to informal and formal logic. It covers what is usually taught in the first term of a two-term sequence in logic at community colleges and at four-year colleges and universities. Following treatment of the nature of argument, this book distinguishes induction from deduction. The book then covers how to fill out argument fragments (or enthymemes) and how to recognize, as well as how to avoid constructing, deceptive or mistaken arguments (informal fallacies). Aristotle's class logic is canvassed, specifying rules for constructing valid arguments, and identifying formal fallacies committed when these rules are broken. Boole's modifications of class logic and the formal system are also introduced. Under the heading of the formal system, truth trees, the truth table method for determining validity, and finally, proof construction are all covered. The section on proof construction walks students through the process of building a demonstration in logic.

What can reason (or more broadly, thinking) do for us and what can't it do? This is the question examined by Herbert A. Simon, who received the 1978 Nobel Prize in Economic Sciences "for his pioneering work on decision-making processes in economic organizations."
The ability to apply reason to the choice of actions is supposed to be one of the defining characteristics of our species. In the first two chapters, the author explores the nature and limits of human reason, comparing and evaluating the major theoretical frameworks that have been erected to explain reasoning processes. He also discusses the interaction of thinking and emotion in the choice of our actions. In the third and final chapter, the author applies the theory of bounded rationality to social institutions and human behavior, and points out the problems created by limited attention span human inability to deal with more than one difficult problem at a time. He concludes that we must recognize the limitations on our capabilities for rational choice and pursue goals that, in their tentativeness and flexibility, are compatible with those limits.

ALERT: Before you purchase, check with your instructor or review your course syllabus to ensure that you select the correct ISBN. Several versions of Pearson's MyLab & Mastering products exist for each title, including customized versions for individual schools, and registrations are not transferable. In addition, you may need a CourseID, provided by your instructor, to register for and use Pearson's MyLab & Mastering products. Packages Access codes for Pearson's MyLab & Mastering products may not be included when purchasing or renting from companies other than Pearson; check with the seller before completing your purchase. Used or rental books If you rent or purchase a used book with an access code, the access code may have been redeemed previously and you may have to purchase a new access code. Access codes Access codes that are purchased from sellers other than Pearson carry a higher risk of being either the wrong ISBN or a previously redeemed code. Check with the seller prior to purchase. -- Critical Thinking Skills in Everyday Context - The Socrates Model Thinking Socratically is a treatment of critical thinking, rather than an informal logic textbook. It emphasizes a philosophical reflection on real issues from everyday life, in order to teach students the skills of critical thinking in a commonplace context that is easy to understand and certain to be remembered. Teaching and Learning Experience Improve Critical Thinking - Thinking Socratically contextualizes the presentation of critical thinking topics through easy-to-understand information, and shows, rather than just tells, students how to be critical thinkers by encouraging them to follow Socrates as a model. Engage Students - Thinking Socratically exposes students to a variety of readings listed after expository material, Venn diagrams, chapter-end summaries, etc. - in order to outline important concepts and learning tools needed for useful reasoning. Support Instructors - Teaching your course just got easier! You can create a Customized Text or use our Instructor's Manual, or PowerPoint Presentation Slides. Plus, Thinking Socratically is organized around topics for ease of assignments, and uses standard terminology to eliminate student confusion.

Foundational issues in statistical mechanics and the more general question of how probability is to be understood in the context of physical theories are both areas that have been neglected by philosophers of physics. This book fills an important gap in the literature by providing a most systematic study of how to interpret probabilistic assertions in the context of statistical mechanics. The book explores both subjectivist and objectivist accounts of probability, and takes full measure of work in the foundations of probability theory, in statistical mechanics, and in mathematical theory. It will be of particular interest to philosophers of science, physicists and mathematicians interested in foundational issues, and also to historians of science.

Richard Tieszen presents an analysis, development, and defense of a number of central ideas in Kurt Goedel's writings on the philosophy and foundations of mathematics and logic. Tieszen structures the argument around Goedel's three philosophical heroes - Plato, Leibniz, and Husserl - and his engagement with Kant, and supplements close readings of Goedel's texts on foundations with materials from Goedel's Nachlass and from Hao Wang's discussions with Goedel. As well as providing discussions of Goedel's views on the philosophical significance of his technical results on completeness, incompleteness, undecidability, consistency proofs, speed-up theorems, and independence proofs, Tieszen furnishes a detailed analysis of Goedel's critique of Hilbert and Carnap, and of his subsequent turn to Husserl's transcendental philosophy in 1959. On this basis, a new type of platonic rationalism that requires rational intuition, called 'constituted platonism', is developed and defended. Tieszen shows how constituted platonism addresses the problem of the objectivity of mathematics and of the knowledge of abstract mathematical objects. Finally, he considers the implications of this position for the claim that human minds ('monads') are machines, and discusses the issues of pragmatic holism and rationalism.

Within traditional decision theory, common decision principles -- e.g. the principle to maximize utility -- generally invoke idealization; they govern ideal agents in ideal circumstances. In Realistic Decision Theory, Paul Weirch adds practicality to decision theory by formulating principles applying to nonideal agents in nonideal circumstances, such as real people coping with complex decisions. Bridging the gap between normative demands and psychological resources, Realistic Decision Theory is essential reading for theorists seeking precise normative decision principles that acknowledge the limits and difficulties of human decision-making.

We see the face of the Virgin Mary staring up at us from a grilled cheese sandwich and sell the uneaten portion of our meal for $37,000 on eBay. While science offers a wealth of rational explanations for natural phenomena, we often prefer to embrace the fantasies that reassured our distant ancestors. And we'll even go to war to protect our delusions against those who do not share them.
These are examples of what evolutionary psychologist Hank Davis calls "Caveman Logic." Although some examples are funny, the condition itself is no laughing matter. In this engagingly written book, Davis encourages us to transcend the mental default settings and tribal loyalties that worked well for our ancestors back in the Pleistocene age. Davis laments a modern world in which more people believe in ESP, ghosts, and angels than in evolution. Superstition and religion get particularly critical treatment, although Davis argues that religion, itself, is not the problem but "an inevitable by-product of how our minds misperform."
Davis argues, "It's time to move beyond the one-size-fits-all, safety and comfort-oriented settings that got our ancestors through the terrifying Pleistocene night." In contrast, Davis advocates a world in which "spirituality" is viewed as a dangerous rather than an admirable quality, and suggests ways in which we can overcome our innate predisposition toward irrationality. He concludes by pointing out that "biology is not destiny." Just as some of us succeed in watching our diets, resisting violent impulses, and engaging in unselfish behavior, we can learn to use critical thinking and the insights of science to guide individual effort and social action in the service of our whole species.

This reissue, first published in 1971, provides a brief historical account of the Theory of Logical Types; and describes the problems that gave rise to it, its various different formulations (Simple and Ramified), the difficulties connected with each, and the criticisms that have been directed against it. Professor Copi seeks to make the subject accessible to the non-specialist and yet provide a sufficiently rigorous exposition for the serious student to see exactly what the theory is and how it works.

This truly philosophical book takes us back to fundamentals - the sheer experience of proof, and the enigmatic relation of mathematics to nature. It asks unexpected questions, such as 'what makes mathematics mathematics?', 'where did proof come from and how did it evolve?', and 'how did the distinction between pure and applied mathematics come into being?' In a wide-ranging discussion that is both immersed in the past and unusually attuned to the competing philosophical ideas of contemporary mathematicians, it shows that proof and other forms of mathematical exploration continue to be living, evolving practices - responsive to new technologies, yet embedded in permanent (and astonishing) facts about human beings. It distinguishes several distinct types of application of mathematics, and shows how each leads to a different philosophical conundrum. Here is a remarkable body of new philosophical thinking about proofs, applications, and other mathematical activities.

First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

When many people are involved in an activity, it is often difficult, if not impossible, to pinpoint who is morally responsible for what, a phenomenon known as the 'problem of many hands.' This term is increasingly used to describe problems with attributing individual responsibility in collective settings in such diverse areas as public administration, corporate management, law and regulation, technological development and innovation, healthcare, and finance. This volume provides an in-depth philosophical analysis of this problem, examining the notion of moral responsibility and distinguishing between different normative meanings of responsibility, both backward-looking (accountability, blameworthiness, and liability) and forward-looking (obligation, virtue). Drawing on the relevant philosophical literature, the authors develop a coherent conceptualization of the problem of many hands, taking into account the relationship, and possible tension, between individual and collective responsibility. This systematic inquiry into the problem of many hands pertains to discussions about moral responsibility in a variety of applied settings.

First published in 2000. This is Volume V of eight in the Library of Philosophy series on the Philosophy of Mind and Language. Written in 1957, this book enquires how we use language as an instrument of reason, and whether our present use of it is efficient. The use of language for communication is treated as subsidiary.

Of all philosophers of the 20th century, few built more bridges between academic disciplines than Karl Popper. He contributed to a wide variety of fields in addition to the epistemology and the theory of scientific method for which he is best known. This book illustrates and evaluates the impact, both substantive and methodological, that Popper has had in the natural and mathematical sciences. The topics selected include quantum mechanics, evolutionary biology, cosmology, mathematical logic, statistics, and cognitive science. The approach is multidisciplinary, opening a dialogue across scientific disciplines and between scientists and philosophers.

A renowned philosopher's final work, illuminating how the logical empiricist tradition has failed to appreciate the role of actual experiments in forming its philosophy of science. The logical empiricist treatment of physics dominated twentieth-century philosophy of science. But the logical empiricist tradition, for all it accomplished, does not do justice to the way in which empirical evidence functions in modern physics. In his final work, the late philosopher of science William Demopoulos contends that philosophers have failed to provide an adequate epistemology of science because they have failed to appreciate the tightly woven character of theory and evidence. As a consequence, theory comes apart from evidence. This trouble is nowhere more evident than in theorizing about particle and quantum physics. Arguing that we must consider actual experiments as they have unfolded across history, Demopoulos provides a new epistemology of theories and evidence, albeit one that stands on the shoulders of giants. On Theories finds clarity in Isaac Newton's suspicion of mere "hypotheses." Newton's methodology lies in the background of Jean Perrin's experimental investigations of molecular reality and of the subatomic investigations of J. J. Thomson and Robert Millikan. Demopoulos extends this account to offer novel insights into the distinctive nature of quantum reality, where a logico-mathematical reconstruction of Bohrian complementarity meets John Stewart Bell's empirical analysis of Einstein's "local realism." On Theories ultimately provides a new interpretation of quantum probabilities as themselves objectively representing empirical reality.

This book creates a conceptual schema that acts as a correlation between Epistemology and Epistemic Logic. It connects both fields and offers a proper theoretical foundation for the contemporary developments of Epistemic Logic regarding the dynamics of information. It builds a bridge between the view of Awareness Justification Internalism, and a dynamic approach to Awareness Logic. The book starts with an introduction to the main topics in Epistemic Logic and Epistemology and reviews the disconnection between the two fields. It analyses three core notions representing the basic structure of the conceptual schema: "Epistemic Awareness", "Knowledge" and "Justification". Next, it presents the Explicit Aware Knowledge (EAK) Schema, using a diagram of three ellipses to illustrate the schema, and a formal model based on a neighbourhood-model structure, that shows one concrete application of the EAK-Schema into a logical structure. The book ends by presenting conclusions and final remarks about the uses and applications of the EAK-Schema. It shows that the most important feature of the schema is that it serves both as a theoretical correlate to the dynamic extensions of Awareness Logic, providing it with a philosophical background, and as an abstract conceptual structure for a re-interpretation of Epistemology.

This book is a collection of contributions honouring Arnon Avron's seminal work on the semantics and proof theory of non-classical logics. It includes presentations of advanced work by some of the most esteemed scholars working on semantic and proof-theoretical aspects of computer science logic. Topics in this book include frameworks for paraconsistent reasoning, foundations of relevance logics, analysis and characterizations of modal logics and fuzzy logics, hypersequent calculi and their properties, non-deterministic semantics, algebraic structures for many-valued logics, and representations of the mechanization of mathematics. Avron's foundational and pioneering contributions have been widely acknowledged and adopted by the scientific community. His research interests are very broad, spanning over proof theory, automated reasoning, non-classical logics, foundations of mathematics, and applications of logic in computer science and artificial intelligence. This is clearly reflected by the diversity of topics discussed in the chapters included in this book, all of which directly relate to Avron's past and present works. This book is of interest to computer scientists and scholars of formal logic.

Mathematics depends on proofs, and proofs must begin somewhere, from some fundamental assumptions. For nearly a century, the axioms of set theory have played this role, so the question of how these axioms are properly judged takes on a central importance. Approaching the question from a broadly naturalistic or second-philosophical point of view, Defending the Axioms isolates the appropriate methods for such evaluations and investigates the ontological and epistemological backdrop that makes them appropriate. In the end, a new account of the objectivity of mathematics emerges, one refreshingly free of metaphysical commitments.

We are all captivated and puzzled by the infinite, in its many varied guises; by the endlessness of space and time; by the thought that between any two points in space, however close, there is always another; by the fact that numbers go on forever; and by the idea of an all-knowing, all-powerful God. In this acclaimed introduction to the infinite, A. W. Moore takes us on a journey back to early Greek thought about the infinite, from its inception to Aristotle. He then examines medieval and early modern conceptions of the infinite, including a brief history of the calculus, before turning to Kant and post-Kantian ideas. He also gives an account of Cantor's remarkable discovery that some infinities are bigger than others. In the second part of the book, Moore develops his own views, drawing on technical advances in the mathematics of the infinite, including the celebrated theorems of Skolem and Goedel, and deriving inspiration from Wittgenstein. He concludes this part with a discussion of death and human finitude. For this third edition Moore has added a new part, 'Infinity superseded', which contains two new chapters refining his own ideas through a re-examination of the ideas of Spinoza, Hegel, and Nietzsche. This new part is heavily influenced by the work of Deleuze. Also new for the third edition are: a technical appendix on still unresolved questions about different infinite sizes; an expanded glossary; and updated references and further reading. The Infinite, Third Edition is ideal reading for anyone interested in an engaging and historically informed account of this fascinating topic, whether from a philosophical point of view, a mathematical point of view, or a religious point of view.

The analytic/synthetic distinction looks simple. It is a distinction between two different kinds of sentence. Synthetic sentences are true in part because of the way the world is, and in part because of what they mean. Analytic sentences - like all bachelors are unmarried and triangles have three sides - are different. They are true in virtue of meaning, so no matter what the world is like, as long as the sentence means what it does, it will be true.
This distinction seems powerful because analytic sentences seem to be knowable in a special way. One can know that all bachelors are unmarried, for example, just by thinking about what it means. But many twentieth-century philosophers, with Quine in the lead, argued that there were no analytic sentences, that the idea of analyticity didn't even make sense, and that the analytic/synthetic distinction was therefore an illusion. Others couldn't see how there could fail to be a distinction, however ingenious the arguments of Quine and his supporters.
But since the heyday of the debate, things have changed in the philosophy of language. Tools have been refined, confusions cleared up, and most significantly, many philosophers now accept a view of language - semantic externalism - on which it is possible to see how the distinction could fail. One might be tempted to think that ultimately the distinction has fallen for reasons other than those proposed in the original debate.
In Truth in Virtue of Meaning, Gillian Russell argues that it hasn't. Using the tools of contemporary philosophy of language, she outlines a view of analytic sentences which is compatible with semantic externalism and defends that view against the old Quineanarguments. She then goes on to draw out the surprising epistemological consequences of her approach.