Certain anti-realisms about mathematics are distinguished by their taking proof rather than truth as the central concept in the account of the meaning of mathematical statements. This notion of proof which is meaning determining or canonical must be distinguished from a notion of demonstration as more generally conceived. This paper raises a set of objections to Dummett's characterisation of the notion via the notion of a normalised natural deduction proof. The main complaint is that Dummett's use of normalised natural deduction (...) proofs relies on formalisation playing a role for which it is unfit. Instead I offer an alternative account which does not rely on formalisation and go on to examine the relation of proof to canonical proof, arguing that rather than requiring an explicit characterisation of canonical proofs we need to be more aware of the complexities of that relation. (shrink)

This junior/senior level text is devoted to a study of first-order logic and its role in the foundations of mathematics: What is a proof? How can a proof be justified? To what extent can a proof be made a purely mechanical procedure? How much faith can we have in a proof that is so complex that no one can follow it through in a lifetime? The first substantial answers to these questions have only been obtained in this century. The most (...) striking results are contained in Goedel's work: First, it is possible to give a simple set of rules that suffice to carry out all mathematical proofs; but, second, these rules are necessarily incomplete - it is impossible, for example, to prove all true statements of arithmetic. The book begins with an introduction to first-order logic, Goedel's theorem, and model theory. A second part covers extensions of first-order logic and limitations of the formal methods. The book covers several advanced topics, not commonly treated in introductory texts, such as Trachtenbrot's undecidability theorem. Fraissé's elementary equivalence, and Lindstroem's theorem on the maximality of first-order logic. (shrink)

Roslyn Weiss offers a new interpretation of Platonic moral philosophy based on an unconventional reading of the Republic. Her basic argument begins with the point that Plato means for us to react badly to the philosopher-rulers of Book 7. She then makes the case that there are two distinct kinds of philosopher in the Republic--one that is ideal and one that is farcical--and that each represents a separate type of justice. Finally, she argues that Plato recognizes this dualism and (...) points the way toward a resolution"--Publisher's Web site. (shrink)

The seventh edition of this pragmatic guide to determining right and wrong in the workplace is updated with new case studies and ancillary materials to combine stakeholder perspectives with a deep dive on workplace ethics issues. Using a unique stakeholder-based approach, this book takes business ethics out of the theory realm and provides practical ways to analyze any business decision. Including dozens of cases, Joseph Weiss looks beyond the impacts of ethical lapses on share price and profit to focus (...) on relationships between stakeholders, including individuals, groups, corporations, and governments. The new seventh edition includes seven new cases and ten new Point/Counterpoint exercises, which challenge students to argue both sides of a contemporary issue. It incorporates the latest research as well as updated cases dealing with recent scandals at organizations such as Boeing, Facebook, and Uber. Professors will have access to online support, including teaching notes, PowerPoint slides, and sample tests. The book is equipped with a step-by-step guide to implementing stakeholder analysis, tips to help students apply ethical principles in their personal and professional lives, and comprehensive coverage of employee workplace issues. Addressing relevant topics such as risk management, preferential hiring, and sexual harassment in conjunction with the digital divide, bribery, the environment, and more, Business Ethics, seventh edition explores ethical implications in today's increasingly interconnected global business environment. (shrink)

Author note: Penny A. Weiss, Associate Professor of Political Science at Purdue University, is the author of Gendered Community: Rousseau, Sex, and Politics. Marilyn Friedman, Associate Professor of Philosophy at Washington University, is the author of What Are Friends For? Feminist Perspectives on Personal Relationships and Moral Theory.

This self-contained treatise, originally published in 1947 by Holt, Rinehart and Winston, examines fundamental features of nature in order to lay the groundwork for providing a solution to the major problems of ethics.

In Thomas Thomson's System of chemistry of 1802 Bergman and Scheele are actually considered as creators of the analytical concept of an element. With regard to this, a detailed investigation of the work of Bergman and Scheele shows that Thomson's statement contains mistakes as well as inadmissable simplifications and generalizations. It is correct, however, that Bergman in 1774–1777 specifically anticipated in essential aspects the analytical element concept proposed by Lavoisier in 1787–1789.

In this original work of cultural criticism, Allen S. Weiss explores the meaning of radio to the modern imagination.

An investigation of the nature of truth, ethics, and deception.

Possession Trance and Dramatic Perversity Dionysus arrives as a stranger, enigmatic, disquieting, contagious, spreading an epidemic of mania leading to ...

This is one of the most important books on quantum mechanics ever written for lay readers, in which an eminent physicist and successful science writer, Heinz Pagels, discusses and explains the core concepts of physics without resorting to complicated mathematics. "Can be read by anyone. I heartily recommend it!" -- New York Times Book Review. 1982 edition.

Knapp sechs Jahre nach Rudolf Heinz' sechzigstem Geburtstag und dem auf dieses Ereignis ausgerichteten Erscheinen der Festschrift "Kontiguitäten. Texte-Festival für Rudolf Heinz" (Christoph Weismüller [Hg.] unter Mitarbeit von Ralf Bohn, Wien: Passagen 1997) folgt die Nachbearbeitung der "Kontiguitäten" und deren Produktion. Die Post-Skripts zum Texte-Festival für Rudolf Heinz setzen ein mit den Dokumenten der Feierlichkeit der Festschriftüberreichung: Laudatio, Geburtstagskomposition - inklusive Audio-CD -, Photographien der Festschriftübergabe. Unter dem topos Festschrift-Mechané folgt diesen Initialien die Korrespondenz von Heide (...) class='Hi'>Heinz und Christoph Weismüller nebst notwendigen Paraphrasen und Hinweisen. Die Après nehmen einschlägige Kontiguitäts-Effekte auf, die mit der Fertigstellung der Festschrift, der Feierlichkeit der Übergabe, ihrer Distribution und ersten Nachbearbeitungen ihrer Konstitution einhergingen oder diesen folgten. Die Katamnese von Heide Heinz und Rudolf Heinz sowie weitere Korrespondenzen - Heide Heinz mit Ralf Bohn, Doris Dorner, Axel Schünemann; Rudolf Heinz mit Manfred Pohlen - finden sich als Zuträge ein. (shrink)

Few would contest the fact that analytical philosophy has dominated philosophical practice in the English speaking world for about the last century. But dispute continues about both its origins and nature; whilst others question its value. Michael Dummett wholly embraced the analytical approach to philosophy, as he conceived of it. For him analytical philosophy marked itself off from its precursors and its alternatives, embodied in the Continental tradition, by taking the linguistic turn. And Frege was unequivocally the first philosopher to (...) take that auspicious turn, which ushered in a new method in philosophy. Henceforth philosophers were to approach the business of analyzing thought via the enterprise of analyzing language. So Dummett is presenting us with both a history lesson and a recommendation about how we ought to do philosophy. But is his reading of the history accurate? And is his conception of the nature of analytical philosophy viable? In order to reflect on these questions this collection brings together eight scholars who have made a serious business of reading Dummett. (shrink)

Der auf Kants kritischer Philosophie fußenden Philosophengeneration galt Herder als hoffnungslos anachronistischer, vorkritischer Philosoph, dessen Denken für das eigene philosophische Programm keine Relevanz zukomme. Das im folgenden dokumentierte Projekt geht demgegenüber von der Hypothese aus, daß Herder in die Vorgeschichte der Philosophie des deutschen Idealismus gehört, daß er Vorläufer und Weggenosse der nachkantischen Philosophengeneration war. Der vorliegende Band versammelt Arbeiten, die zur Begründung und Diskussion dieser Auffassung in unterschiedlicher Weise beitragen: es geht um die Konturierung der für diese Thematik relevanten (...) Aspekte von Herders eigenem Denken, um die Erschließung der gemeinsamen philosophischen und wissenschaftshistorischen Grundlagen des Herderschen Denkens und der Philosophie des deutschen Idealismus, nicht zuletzt geht es um die Erarbeitung der Rezeption von Herders Philosophie in der nachkantischen Philosophengeneration. (shrink)

The essays presented here by Olkowski and Weiss attempt to situate Merleau-Ponty in the larger context of feminist theory, while impartially evaluating his contributions, both positive and negative, to that theory.

I present a reconstruction of the logical system of the Tractatus, which differs from classical logic in two ways. It includes an account of Wittgenstein’s “form-series” device, which suffices to express some effectively generated countably infinite disjunctions. And its attendant notion of structure is relativized to the fixed underlying universe of what is named. -/- There follow three results. First, the class of concepts definable in the system is closed under finitary induction. Second, if the universe of objects is countably (...) infinite, then the property of being a tautology is \Pi^1_1-complete. But third, it is only granted the assumption of countability that the class of tautologies is \Sigma_1-definable in set theory. -/- Wittgenstein famously urges that logical relationships must show themselves in the structure of signs. He also urges that the size of the universe cannot be prejudged. The results of this paper indicate that there is no single way in which logical relationships could be held to make themselves manifest in signs, which does not prejudge the number of objects. (shrink)

In Telling Flesh, Vicki Kirby addresses a major theoretical issue at the intersection of the social sciences and feminist theory -- the separation of nature from culture. Kirby focuses particularly on postmodern approaches to corporeality, and explores how these approaches confine the body within questions about meaning and interpretation. Kirby explores the implications of this containment in the work of Jane Gallop, Judith Butler, and Drucilla Cornell, as well as in recent cyber-criticism. By analysing the inadvertent repetition of the nature/culture (...) division in this work, Kirby offers a powerful reassessment of dualism itself. (shrink)

The paper is sympathetic to the idea that speakers have implicit knowledge of the semantics of sub-sentential elements of language, loosely, of words. Implicit knowledge is knowledge which the subject need not be capable of articulating yet which is a genuine propositional attitude and it is to be contrasted with tacit knowledge which refers to an information-bearing state which, however, is not a genuine propositional attitude. I begin by defending the implicit knowledge conception of speakers' knowledge of the meanings of (...) words from a challenge articulated by Evans and then go on the offensive against positions which attempt to replace the notion of implicit knowledge in semantic theory by that of tacit knowledge. (shrink)

Russell takes his paper ?On denoting? to have achieved the repudiation of the theory of denoting concepts and Frege?s theory of sense, and the invention of the notion of incomplete symbols.This means that Russell attempts to solve the set theoretic and semantic paradoxes without making use of a theory of sense.Instead, his strategy is to revise his logical ontology by arguing that certain symbols should be treated as incomplete.In constructing such arguments Russell, at various points, makes use of epistemological and (...) metaphysical considerations.These arguments do not form themselves into a systemic set of considerations to be used in appraising a logical system.Finally, the vicious circle principle is argued for on the basis of considerations, which are presumed evident, about the nature of propositional functions.The stringency of this principle is a basic problem for the system of Principia mathematica.However, even given the terms of the argument, ?On denoting? does not offer a complete repudiation of the notion of sense.This allows the possibility of retaining some of the insights of Principia mathematica whilst rejecting the stringency of the vicious circle principle.The basis of such a system is the theory of sense. (shrink)