We prove that Flagg and Friedman's translation from epistemic to intuitionistic predicate logics is not faithful.

_Supervision of Sandplay Therapy_, the first book on this subject, is an internationally-based volume that describes the state of the art in supervision of sandplay therapy. Recognizing that practitioners are eager to incorporate sandplay therapy into their practice, Harriet Friedman and Rie Rogers Mitchell respond to the need for new information, and successfully translate the theories of sandplay therapy into supervision practice. The book provides a meaningful connection and balance between theoretical principles, practical application, and ongoing therapeutic encounter involved in (...) sandplay. Divided into six sections, contributors cover: original supervision models contemporary supervision models special challenges in supervision international sandplay supervision supervision of special groups connections with other arts therapies. _Supervision of Sandplay Therapy _expands the vision of what is possible in supervision and will be vital reading for those studying supervision and sandplay therapy, as well as for those wanting to provide a depth-oriented approach during supervision. (shrink)

E. T. Jaynes' resolution of Bertrand's paradox in terms of invariance principles is criticized. An experimental setup is considered which generates general solutions to Bertrand's problem by rotating a line around a point a distancer+d from a circle of radiusr. The general solution obtained is neither translationally nor scale invariant, but depends on the value ofr/d. Only in the limitr/d » 0, when the line is just translating across the circle, is the distribution translationally invariant and scale invariant. In this (...) limiting case the distribution found is just that obtained by Jaynes. (shrink)

Kant was centrally concerned with issues in the philosophy of natural science throughout his career. The Metaphysical Foundations of Natural Science presents his most mature reflections on these themes in the context of both his 'critical' philosophy, presented in the Critique of Pure Reason, and the natural science of his time. This volume presents a translation by Michael Friedman which is especially clear and accurate. There are explanatory notes indicating some of the main connections between the argument of the (...) Metaphysical Foundations and the first Critique - as well as parallel connections to Newton's Principia. The volume is completed by an historical and philosophical introduction and a guide to further reading. (shrink)

In this note we show that Friedman's syntactic translation for intuitionistic logical systems can be carried over to Martin-Löf's type theory, inlcuding universes provided some restrictions are made. Using this translation we show that the theory is closed under a higher type version of Markov's rule.

The main point of this paper is to contribute to understanding Milton Friedman’s (1953) “The Methodology of Positive Economics” (hereafter F1953), one of the most influential statements of economic methodology of the twentieth century, and, in doing so, help discern the non trivial but complex role of philosophic ideas in the shaping of economic theorizing and economists’ self-conception. It also aims to contribute to a better understanding of the theoretical origins of the so-called ‘Chicago’ school of economics. In this (...) paper, I first present detailed textual evidence of the familiarity of George Stigler with the early work of Talcott Parsons, the most important American translator and disseminator of Max Weber’s ideas, who also helped create sociology as a distinct discipline in the United States. The Chicago-Parsons link is no surprise because historians have known that Frank Knight and Parsons corresponded, first about translating Weber and then about matters of mutual interest. Knight, who was a doctoral advisor to Stigler and teacher of Milton Friedman, was not merely the first American translator of Weber, but remained keenly and, perhaps, increasingly interested in Weber throughout his life. I am unfamiliar with any investigation of the Weberian influence on Knight’s students. I show that Stigler praises Parsons’ treatment of Alfred Marshall, who plays an outsized role in Friedman’s self-conception of economics and economic theory. I also show that Stigler calls attention to the methodological similarity between Friedman and Parsons. Finally, I turn to F1953, and I show, first, that some of its most distinctive and philosophically interesting claims echo Parsons’ treatment of methodological matters; second that once alerted one can note Weberian terminology in F1953. (shrink)

This essay reflects on arguments by Paul Ramsey, in The Patient as Person: Explorations in Medical Ethics (1970) and elsewhere, that continue to challenge policy‐makers and those doing clinical and translational research involving children. Ramsey argued that parents cannot morally authorize their child's participation in research unless the research is designed to benefit the child. He acknowledged that abiding by this position could have adverse impacts on improving child health, and he concluded, in a 1976 Hastings Center Report piece, that (...) researchers must “sin bravely.” Many philosophers and theologians, including Richard McCormick, have argued against Ramsey. The Ramsey‐McCormick debate played out in the bioethics literature and, by invitation, at the deliberations of the National Commission for the Protection of Human Subjects of Biomedical and Behavioral Research, which was tasked with developing an ethics framework and policies for human subjects protections. Although in its final recommendations, the commission sided with McCormick, the strict limitations on risks and harms to which a child can be exposed were clearly influenced by Ramsey. (shrink)

This collection of essays, sketches, talks, and poems is hardly a must, even for Buber fans. It is not his best writing or his deepest thinking. However, each selection is short enough not to waste the reader's time and suggestive enough to lure him on to the next one in the hope that the real gems will be there. Buber seldom published his poems, and the reason is clear. With a few memorable exceptions the poems collected here are not strong--at (...) least not in the translations given; fortunately the German is printed alongside. Buber made these selections himself from writings between 1902 and 1964. The criterion of selection was to collect a valid and "survival-worthy expression of an experience, a feeling, a decision, yes even a dream." The ten sections of the book are not titled but some of the topics covered are: words and language, discussions of various thinkers, the idea of community, education, religion, psychology, and politics. Many of the pieces were prepared for particular occasions. Friedman explains those occasions in the back of the book and gives other bits of information that aid the translation and clear up some obscure references. Some of the themes that pervade the selections are: the togetherness of body and spirit, dialogue, the importance of existential trust, and the sacredness of the concrete world and of everyday encounters. Ruth Anshen's inspired introduction to the Credo Perspectives Series is worthy of its repetition in all the volumes.--S. O. H. (shrink)

This dissertation intends to contribute to the discussion about the asymmetry W. V. Quine sees between indeterminacy of translation and underdetermination of theory. Quine often formulates the asymmetry by saying that there is a fact of the matter to physics but none to translation. The first chapters of the dissertation constitute an attempt of clarification of that notion of fact of the matter. They contain an analysis of the relations between Quine's notion of fact of the matter, his (...) physicalism, and his conception of truth. The main conclusion of those chapters is that the notion of fact of the matter is physicalistic, which means that it is what, according to Quine, embodied the nature of extralinguistic reality that determines truth. The next chapters contain an analysis of Quine's indeterminacy of translation thesis and underdetermination of theory. The main conclusions of those chapters are the following: indeterminacy of translation is an ontological thesis, and its content has not changed through Quine's writings, although the formulations of the thesis have varied; Quine's definitive arguments for indeterminacy of translation are not to be found in his physicalism, but in his behaviorism; underdetermination of theory is a methodological doctrine, for it concerns the evidential link between observation and theory; there is an asymmetry between indeterminacy of translation and underdetermination of theory. The remaining chapters of the dissertation constitute a review of the main texts by other authors addressing Quine's claim that there is an asymmetry between indeterminacy of translation and underdetermination of theory. The positions of Noam Chomsky, Richard Rorty, and Micheal Friedman are analyzed and criticized. The positions of Dagfinn Follesdal and Roger Gibson have appeared to our lights as the ones that should be taken most seriously. Follesdal is the one who seems to have accomplished the last progresses in the discussion over the asymmetry between underdetermination of theory and indeterminacy of translation by distinguishing clearly Quine's epistemological arguments for indeterminacy of translation thesis from the ontological content of that thesis. (shrink)

In this paper we prove conservation theorems for theories of classical first-order arithmetic over their intuitionistic version. We also prove generalized conservation results for intuitionistic theories when certain weak forms of the principle of excluded middle are added to them. Members of two families of subsystems of Heyting arithmetic and Buss-Harnik’s theories of intuitionistic bounded arithmetic are the intuitionistic theories we consider. For the first group, we use a method described by Leivant based on the negative translation combined with (...) a variant of Friedman’s translation. For the second group, we use Avigad’s forcing method. (shrink)

I develop a translation procedure between λ-structures, which correspond to premice in the Friedman–Jensen indexing convention on the one hand and s-structures, which are essentially the same as premice in the Mitchell–Steel indexing scheme.

In 1996, Krivine applied Friedman's A-translation in order to get an intuitionistic version of Gödel completeness result for first-order classical logic and countable languages and models. Such a result is known to be intuitionistically underivable 559), but Krivine was able to derive intuitionistically a weak form of it, namely, he proved that every consistent classical theory has a model. In this paper, we want to analyze the ideas Krivine's remarkable result relies on, ideas which where somehow hidden by the (...) heavy formal machinery used in the original proof. We show that the ideas in Krivine's proof can be used to intuitionistically derive some crucial mathematical results, which were supposed to be purely classical up to now: the Ultrafilter Theorem for countable Boolean algebras, and the maximal ideal theorem for countable rings. (shrink)

There is fierce controversy in the United States over whether parents should be able to choose their children's schools and/or curriculum. To discuss the pedagogical arguments inherent in this question, Todd Alan Price and Ruprecht Mattig begin with the classical concept of Bildung as developed by Wilhelm von Humboldt around 1800. Next, they compare Humboldt's ideas with the ideas of John Stuart Mill and Milton Friedman, who stand in the tradition of liberal thought, as Mill was strongly influenced by Humboldt (...) and Friedman, in turn, by Mill. Finally, they consider Friedman's role as a central figure in the school choice movement, and are thus able to trace a line of thought from Humboldt to actual controversies. Price and Mattig's analysis here shows that the liberalism of Humboldt, Mill, and Friedman revolves around diversity and choice in education. Moreover, it traces that in the process of translating, translocating, and transcontextualizing Humboldt's original thought through Mill to Friedman, the complexity of arguments about education and the role of parents and the state in a liberal society has been unduly reduced. The authors conclude the paper by proposing a principle for thinking about the relationship between different educational institutions in democracies. (shrink)

Let n ≥ 3 be an integer. We show that it is consistent that every σ1n-set of reals is universally Baire yet there is a projective well-ordering of the reals. The proof uses “David’s trick” in the presence of inner models with strong cardinals.

A basic result in intuitionism is Π02-conservativity. Take any proof p in classical arithmetic of some Π02-statement , with P decidable). Then we may effectively turn p in some intuitionistic proof of the same statement. In a previous paper [1], we generalized this result: any classical proof p of an arithmetical statement ∀x.∃y.P, with P of degree k, may be effectively turned into some proof of the same statement, using Excluded Middle only over degree k formulas. When k = 0, (...) we get the original conservativity result as particular case. This result was a by-product of a semantical construction. J. Avigad of Carnegie Mellon University, found a short, direct syntactical derivation of the same result, using H. Friedman's A-translation. His proof is included here with his permission. (shrink)

Maurice Friedman's masterly anthology still stands apart decades after its original publication. It has become established as a classic - the most comprehensive collection of existentialist writing ever assembled. This edition includes a special preface by Professor Friedman surveying the developments in the field since this monumental work was first published and commenting on its relevance for present intellectual trends. The short selections from important existentialist writers and their forerunners elucidate the critical issues that exist among existentialists. The topics include (...) phenomenology and ontology, the existential subject, intersubjectivity, religion, and psychotherapy. (shrink)

A biography of the noted philosopher and Jewish theologian focuses on the years in which Buber became internationally acclaimed for his work as an author, philosopher, and peacemaker.

In this paper, I defend Rudolf Carnap's Principle of Tolerance from an accusation, due to Michael Friedman, that it is self-defeating by prejudicing any debate towards the logically stronger theory. In particular, Friedman attempts to show that Carnap's reconstruction of the debate between classicists and intuitionists over the foundations of mathematics in his book The Logical Syntax of Language, is biased towards the classical standpoint since the metalanguage he constructs to adjudicate between the rival positions is fully classical. I argue (...) that this criticism is mistaken on two counts: (1) it fails to fully appreciate the freedom with regard to the construction of linguistic frameworks that Carnap intended his Principle to embody, and (2) Friedman's objection underestimates the extent to which the evaluation of a framework is task-relative. I conclude that Tolerance is not self-undermining in the way that Friedman claims it is. While this is a restricted conclusion -- and is not a vindication of Carnap's views on logic and mathematics tout court -- it nonetheless suggests that his tolerant perspective has been dismissed too quickly, even by his supporters. (shrink)

In "Intuitionistic validity in -normal Kripke structures," Buss asked whether every intuitionistic theory is, for some classical theory , that of all -normal Kripke structures for which he gave an r.e. axiomatization. In the language of arithmetic and denote PA plus Open Induction or Open LNP, and are their intuitionistic deductive closures. We show is recursively axiomatizable and , while . If proves PEM but not totality of a classically provably total Diophantine function of , then and so . A (...) result due to Wehmeier then implies . We prove is not -conservative over . If , then is not closed under MR or Friedman's translation, so range (). Both and are closed under the negative translation. (shrink)

A study of the religious philosophy of one of the century's foremost Jewish thinkers. The author, a Buber scholar, summarizes the philosopher's views on ethics and on the history of religion, and his dialog with oriental religions. An existentialist philosopher, Buber sees "salvation" as relatedness to others and to divine revelation in day-to-day events.

Sandplay is one of the fastest growing therapies. What are its origins, who were it pioneers, and how have they influenced the current practice of sandplay? What does the future hold? Rie Rogers Mitchell and Harriet S. Friedman have written a unique book that answers all these questions and many more. They give an overview of the historical origins of sandplay, including biographical profiles of the innovators together with discussions of their seminal writings. The five main therapeutic trends are explored, (...) and in a final chapter the future of sandplay is discussed through addressing emerging issues and concerns. A special feature is a comprehensive international bibliography as well as a listing of sandtray videotapes and audiotapes. (shrink)

My friendship with Martin Buber begins -- The cost of my commitment -- On the suspension of the ethical -- Martin Buber's first visit to America -- Sartre, Heidegger, Jung, and Scholem -- The life of dialogue: letters following Buber's first visit -- Personal direction: letters, 1954-1957 -- The Washington School of Psychiatry and the Buber-Rogers dialogue -- Postscript to I and thou: letters following Buber's second visit -- Buber's last visit to America -- Interrogations and responses: letters following Buber's (...) last visit -- Our stay in Jerusalem and Buber's last years -- Epilogue: memorial address. (shrink)

This Book Incorporates Prof. Friedman S Lectures And Discussions That Were A Part Of The Inter-Cultural Dialogue At Many Levels. His Major Contribution Is In Developing An Approach That Is Within The Framework Of The Human Image.

Martin Buber: The Life of Dialogue, the first study in any language to provide a complete overview of Buber's thought, remains the definitive guide to the full range of his work and the starting point for all modern Buber scholarship. Maurice S. Friedman reveals the implications of Buber's thought for theory of knowledge, education, philosophy, myth, history and Judaic and Christian belief. This fully revised and expanded fourth edition includes a new preface by the author, an expanded bibliography incorporating new (...) Buber scholarship, and two new appendices in the form of essays on Buber's influence on Emmanuel Levinas and Mikhail Bakhtin. (shrink)

These 25 tracks by clarinetist Acker Bilk includes "Evergreen," "The Way We Were," "Raining in my Heart" and many more.

Friedman continues an old and longstanding love: a poetics of dialogue with modern literature. Such a poetics sees literature and its interpretation in terms of what philosopher Martin Buber calls "meeting" or "the between." Friedman's powerful study boldly asserts that meaning can be reached through an engagement with classic works of world literature to arrive at a more powerful and purposeful affirmation while holding the tension with what is negative.

In its traditional form epistemology has always rested on the exclusive reality of the subject-object relationship. If one asks how the subject knows the object, one has in brief form the essence of theory of knowledge from Plato to Bergson; the differences between the many schools of philosophy can all be understood as variations on this theme. There are, first of all, differences in emphasis as to whether the subject or the object is the more real--as in rationalism and empiricism, (...) idealism and materialism, personalism and logical positivism. There are differences, secondly, as to the nature of the subject, which is variously regarded as pure consciousness, will to life, will to power, the scientific observer, or the intuitive knower. There are differences, thirdly, as to the nature of the object--whether it is material reality, thought in the mind of God or man, pantheistic spiritual substance, absolute and eternal mystical Being, or simply something which we cannot know in itself but upon which we project our ordered thought-categories of space, time, and causation. There are differences, finally, as to the relation between subject and object: whether the object is known through dialectical or analytical reasoning, scientific method, phenomenological insight into essence, or some form of direct intuition. (shrink)

The appearance of consciousness in the universe remains one of the major mysteries unsolved by science or philosophy. Absent an agreed-upon definition of consciousness or even a convenient system to test theories of consciousness, a confusing heterogeneity of theories proliferate. In pursuit of clarifying this complicated discourse, we here interpret various frameworks for the scientific and philosophical study of consciousness through the lens of social insect evolutionary biology. To do so, we first discuss the notion of a forward test versus (...) a reverse test, analogous to the normal and revolutionary phases of the scientific process. Contemporary theories of consciousness are forward tests for consciousness, in that they strive to become a means to classify the level of consciousness of arbitrary states and systems. Yet no such theory of consciousness has earned sufficient confidence such that it might be actually used as a forward test in ambiguous settings. What is needed now is thus a legitimate reverse test for theories of consciousness, to provide internal and external calibration of different frameworks. A reverse test for consciousness would ideally look like a method for referencing theories of consciousness to a tractable model system. We introduce the Ant Colony Test as a rigorous reverse test for consciousness. We show that social insect colonies, though disaggregated collectives, fulfill many of the prerequisites for conscious awareness met by humans and honey bee workers. A long lineage of philosophically-neutral neurobehavioral, evolutionary, and ecological studies on social insect colonies can thus be redeployed for the study of consciousness in general. We suggest that the ACT can provide insight into the nature of consciousness, and highlight the ant colony as a model system for ethically performing clarifying experiments about consciousness. (shrink)

We show that Intuitionistic Open Induction iop is not closed under the rule DNS(∃ - 1 ). This is established by constructing a Kripke model of iop + $\neg L_y(2y > x)$ , where $L_y(2y > x)$ is universally quantified on x. On the other hand, we prove that iop is equivalent with the intuitionistic theory axiomatized by PA - plus the scheme of weak ¬¬LNP for open formulas, where universal quantification on the parameters precedes double negation. We also show (...) that for any open formula φ(y) having only y free, $(PA^-)^i \vdash L_y\varphi(y)$ . We observe that the theories iop, i∀ 1 and iΠ 1 are closed under Friedman's translation by negated formulas and so under VR and IP. We include some remarks on the classical worlds in Kripke models of iop. (shrink)

[1] The early years, 1878-1923 -- [2] The middle years, 1923-1945 -- [3] The later years, 1945-1965.

The book attempts to develop an account of simplicity in terms of testability, and to use this account to provide an adequate characterization of induction, one immune to the class of problems suggested by Nelson Goodman. It is then shown that the past success of induction, thus characterized, constitutes evidence for its future success. A qualitative measure of confirmation is developed, and this measure - along with the considerations of simplicity - is used to provide an account of the consilience (...) of inductions, and also an inductivist account of the structure and progress of scientific theory. An appendix extends the treatment of simplicity to statistical distributions and provides a reasonable interpretation of the maximum entropy principle. Thus, this book is an attempt to characterize induction in terms of a well-defined notion of simplicity and to use that characterization as a basis of an account of empirical, and in particular, scientific reasoning. (shrink)

The first study in any language to provide a complete overview of Buber's thought, remains the definitive guide to the full range of his work and the starting point for all modern Buber scholarship. As well as summarizing Buber's early intellectual development and attitudes - his mysticism, his youthful existentialism, his philosophy of Judaism and religious socialism - it focuses on the two crucial issues of his mature thought: his dialogic or I-Thou philosophy, and his probing of the nature and (...) redemption of evil. As a sensitive, intuitive and perennially fascinating account of one of the twentieth century's great spiritual teachers, and as an influential classic in its own right, Martin Buber: The Life of Dialogue reveals the implications of Buber's thought for theory of knowledge, education, philosophy, myth, history and Judaic and Christian belief. (shrink)

This is the first book on Buber to address the full scope of his seminal influence for any number of thinkers and fields from philosophy to psychotherapy to literary theory.