[Michael Friedman] This paper considers the extent to which Kant's vision of a distinctively 'transcendental' task for philosophy is essentially tied to his views on the foundations of the mathematical and physical sciences. Contemporary philosophers with broadly Kantian sympathies have attempted to reinterpret his project so as to isolate a more general philosophical core not so closely tied to the details of now outmoded mathematical-physical theories (Euclidean geometry and Newtonian physics). I consider two such attempts, those of Strawson and (...) McDowell, and argue that they fundamentally distort the original Kantian impulse. I then consider Buchdahl's attempt to preserve the link between Kantian philosophy and the sciences while simultaneously generalizing Kant's doctrines in light of later scientific developments. I argue that Buchdahl's view, while not adequate as in interpretation of Kant in his own eighteenth century context, is nonetheless suggestive of an historicized and relativized revision of Kantianism that can do justice to both Kant's original philosophical impulse and the radical changes in the sciences that have occurred since Kant's day. /// [Graham Bird] Michael Friedman criticises some recent accounts of Kant which 'detach' his transcendental principles from the sciences, and do so in order to evade naturalism. I argue that Friedman's rejection of that 'detachment' is ambiguous. In its strong form, which I claim Kant rejects, the principles of Euclidean geometry and Newtonian physics are represented as transcendental principles. In its weak form, which I believe Kant accepts, it treats those latter principles as higher order conditions of the possibility of both science and ordinary experience. I argue also that the appeal to naturalism is unhelpful because that doctrine is seriously unclear, and because the accounts Friedman criticises are open to objections independent of any appeal to naturalism. (shrink)
Here we take the view that LPC(=) is applicable to structures whose domain is too large to be a set. This is not just a matter of class theory versus set theory, although it can be interpreted as such, and this interpretation is discussed briefly at the end.
Here we take the view that LPC(=) is applicable to structures whose domain is too large to be a set. This is not just a matter of class theory versus set theory, although it can be interpreted as such, and this interpretation is discussed briefly at the end.
It has been accepted since the early part of the Century that there is no problem formalizing mathematics in standard formal systems of axiomatic set theory. Most people feel that they know as much as they ever want to know about how one can reduce natural numbers, integers, rationals, reals, and complex numbers to sets, and prove all of their basic properties. Furthermore, that this can continue through more and more complicated material, and that there is never a real problem.
Abstract In this paper I undertake an in-depth examination of an oft mentioned but rarely expounded upon state: suspended judgment. While traditional epistemology is sometimes characterized as presenting a “yes or no” picture of its central attitudes, in fact many of these epistemologists want to say that there is a third option: subjects can also suspend judgment. Discussions of suspension are mostly brief and have been less than clear on a number of issues, in particular whether this third option should (...) be thought of as an attitude or not. In this paper I argue that suspended judgment is (or at least involves) a genuine attitude. Content Type Journal Article Pages 1-17 DOI 10.1007/s11098-011-9753-y Authors Jane Friedman, St Catherine’s College, University of Oxford, Oxford, OX1 3UJ UK Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116. (shrink)
In this collection of essays one of the preeminent philosophers of science writing today offers a reinterpretation of the enduring significance of logical positivism, the revolutionary philosophical movement centered around the Vienna Circle in the 1920s and '30s. Michael Friedman argues that the logical positivists were radicals not by presenting a new version of empiricism (as is often thought to be the case) but rather by offering a new conception of a priori knowledge and its role in empirical knowledge. (...) This collection will be mandatory reading for any philosopher or historian of science interested in the history of logical positivism in particular or the evolution of modern philosophy in general. (shrink)
In this new book, Michael Friedman argues that Kant's continuing efforts to find a metaphysics that could provide a foundation for the sciences is of the utmost ...
Women have historically been prevented from living autonomously by systematic injustice, subordination, and oppression. The lingering effects of these practices have prompted many feminists to view autonomy with suspicion. Here, Marilyn Friedman defends the ideal of feminist autonomy. In her eyes, behavior is autonomous if it accords with the wants, cares, values, or commitments that the actor has reaffirmed and is able to sustain in the face of opposition. By her account, autonomy is socially grounded yet also individualizing and (...) sometimes socially disruptive, qualities that can be ultimately advantageous for women. Friedman applies the concept of autonomy to domains of special interest to women. She defends the importance of autonomy in romantic love, considers how social institutions should respond to women who choose to remain in abusive relationships, and argues that liberal societies should tolerate minority cultural practices that violate women's rights so long as the women in question have chosen autonomously to live according to those practices. (shrink)
Management theory and practice are facing unprecedented challenges. The lack of sustainability, the increasing inequity, and the continuous decline in societal trust pose a threat to ‘business as usual’ (Jackson and Nelson, 2004 ). Capitalism is at a crossroad and scholars, practitioners, and policy makers are called to rethink business strategy in light of major external changes (Arena, 2004 ; Hart, 2005 ). In the following, we review an alternative view of human beings that is based on a renewed (...) Darwinian theory developed by Lawrence and Nohria ( 2002 ). We label this alternative view ‘humanistic’ and draw distinctions to current ‘economistic’ conceptions. We then develop the consequences that this humanistic view has for business organizations, examining business strategy, governance structures, leadership forms, and organizational culture. Afterward, we outline the influences of humanism on management in the past and the present, and suggest options for humanism to shape the future of management. In this manner, we will contribute to the discussion of alternative management paradigms that help solve the current crises. (shrink)
This paper raises some minor questions about Lisa Tessman’s book, Burdened Virtues. Friedman’s questions pertain, among other things, to the adequacy of a virtue ethical focus on character, the apparent implication of virtue ethics that oppressors suffer damaged characters and are not any better off than the oppressed, the importance of whether privileged persons may have earned their privileges, and the oppositional anger that movement feminists sometimes direct against each other.
: Nancy J. Hirschmann presents a feminist, social constructionist account of women's freedom. Friedman's discussion of Hirschmann's account deals with (1) some conceptual problems facing a thoroughgoing social constructionism; (2) three ways to modify social constructionism to avoid those problems; and (3) an assessment of Hirschmann's version of social constructionism in light of the previous discussion.
The study of human morality has historically been carried out primarily by philosophers and theologians. Now this broad topic is also being studied systematically by evolutionary biologists and various behavioral and social sciences. Based upon a review of this work, this paper will propose a unified explanation of human morality as an innate feature of human minds. The theory argues that morality is an innate skill that developed as a means to fulfill the human drive to bond with others in (...) mutual caring. This explanation has also been reported as part of a broader theory on the role of human nature in the shaping of human choices (Driven, Lawrence and Nohria). (shrink)
Michael Friedman's book develops a new and complete reading of this work and reconstructs Kant's main argument clearly and in great detail, explaining its relationship to both Newton's Principia and eighteenth-century scientific thinkers ...
Economist and evolutionary game theorist Daniel Friedman demonstrates that our moral codes and our market systems-while often in conflict-are really devices evolved to achieve similar ends, and that society functions best when morals and markets are in balance with each other.
This paper considers the evolution of the problem of scientific rationality from Kant through Carnap to Kuhn. I argue for a relativized and historicized version of the original Kantian conception of scientific a priori principles and examine the way in which these principles change and develop across revolutionary paradigm shifts. The distinctively philosophical enterprise of reflecting upon and contextualizing such principles is then seen to play a key role in making possible rational intersubjective communication between otherwise incommensurable paradigms.
The logical positivists adopted Poincare's doctrine of the conventionality of geometry and made it a key part of their philosophical interpretation of relativity theory. I argue, however, that the positivists deeply misunderstood Poincare's doctrine. For Poincare's own conception was based on the group-theoretical picture of geometry expressed in the Helmholtz-Lie solution of the space problem, and also on a hierarchical picture of the sciences according to which geometry must be presupposed be any properly physical theory. But both of this pictures (...) are entirely incompatible with the radically new conception of space and geometry articulated in the general theory of relativity. The logical positivists's attempt to combine Poincare's conventionalism with Einstein's new theory was therefore, in the end, simply incoherent. Underlying this problem, moreover, was a fundamental philosophical difference between Poincare's and the positivists concerning the status of synthetic a priori truths. (shrink)
Skeptical problems arising for Kant's version of transcendental idealism have been raised from Kant's own time to the present day. By focussing on how such problems originally arose in the wake of Kant's work, and on the first formulations of absolute idealism by Schelling, I argue that the skeptical problems in question ultimately depend on fundamental features of Kant's philosophy of natural science. As a result, Naturphilosophie and the organic conception of nature cannot easily be separated from the deep and (...) insightful response to these problems offered by absolute idealism. (shrink)
Modal Platonism utilizes “weak” logical possibility, such that it is logically possible there are abstract entities, and logically possible there are none. Modal Platonism also utilizes a non-indexical actuality operator. Modal Platonism is the EASY WAY, neither reductionist nor eliminativist, but embracing the Platonistic language of abstract entities while eliminating ontological commitment to them.
: The regulation of Native identity has been central to the colonization process in both Canada and the United States. Systems of classification and control enable settler governments to define who is "Indian," and control access to Native land. These regulatory systems have forcibly supplanted traditional Indigenous ways of identifying the self in relation to land and community, functioning discursively to naturalize colonial worldviews. Decolonization, then, must involve deconstructing and reshaping how we understand Indigenous identity.
Because it consists of an entire family of specific theories derived from the same first principles, rational choice offers one approach to generate explanations that provide for micro-macro links, and to attack a wide variety of empirical problems in macrosociology. The aims of this paper are (1) to provide a bare skeleton of all rational choice arguments; (2) to demonstrate their applicability to a range of macrosociological concerns by reviewing a sample of both new and classic works; and (3) to (...) discuss the weaknesses of current rational choice theory and the possibilities for its future development. (shrink)
Informal statements of Gödel's Second Incompleteness Theorem, referred to here as Informal Second Incompleteness, are simple and dramatic. However, current versions of Formal Second Incompleteness are complicated and awkward. We present new versions of Formal Second Incompleteness that are simple, and informally imply Informal Second Incompleteness. These results rest on the isolation of simple formal properties shared by consistency statements. Here we do not address any issues concerning proofs of Second Incompleteness.
We introduce insertion domains that support the placement of new, higher, vertices into finite trees. We prove that every nonincreasing insertion domain has an element with simple structural properties in the style of classical Ramsey theory. This result is proved using standard large cardinal axioms that go well beyond the usual axioms for mathematics. We also establish that this result cannot be proved without these large cardinal axioms. We also introduce insertion rules that specify the placement of new, higher, vertices (...) into finite trees. We prove that every insertion rule greedily generates a tree with these same structural properties; and every decreasing insertion rule generates (or admits) a tree with these same structural properties. It is also necessary and sufficient to use the same large cardinals (in the precise sense of Corollary D.25). The results suggest new areas of research in discrete mathematics called "Ramsey tree theory" and "greedy Ramsey theory" which demonstrably require more than the usual axioms for mathematics. (shrink)
The notion of interpretation is absolutely fundamental to mathematical logic and the foundations of mathematics. It is also crucial for the foundations and philosophy of science - although here some crucial conditions generally need to be imposed; e.g., “the interpretation leaves the mathematical concepts unchanged”.
A four dimensional approach to Newtonian physics is used to distinguish between a number of different structures for Newtonian space-time and a number of different formulations of Newtonian gravitational theory. This in turn makes possible an in-depth study of the meaning and status of Newton's Law of Inertia and a detailed comparison of the Newtonian and Einsteinian versions of the Law of Inertia and the Newtonian and Einsteinian treatments of gravitational forces. Various claims about the status of Newton's Law of (...) Inertia are critically examined including these: the Law of Inertia is not an empirical law but a definition; it is not a law simpliciter but a family of schemata; it is a convention and gravitational forces exist only by convention; it is (or is not) redundant; the concepts it embodies can be dispensed with in favor of operationally defined entities; it is unique for a given theory. More generally, the paper demonstrates the importance of space-time structure for the philosophy of space and time and provides support for a realist interpretation of space-time theories. (shrink)
The sensible response to conflicts of interest is impaired by misconceptions and sloppy usage of terminology. Apparent and potential are widely misused modifiers for conflicts. Excessive legislative focus on financial interests limits understanding of the scope and significance of researchers' conflicts of interest. There is no moral or ethical failing in having a conflict of interest; the problem occurs when conflicts are not disclosed appropriately and when conflicts are allowed to bias research, teaching, or practice. Avoidance and prevention should be (...) applied to bias, not conflicts. (shrink)
Part of the ambiguity lies in the various points of view from which this question might be considered. The crudest di erence lies between the point of view of the working mathematician and that of the logician concerned with the foundations of mathematics. Now some of my fellow mathematical logicians might protest this distinction, since they consider themselves to be just more of those \working mathematicians". Certainly, modern logic has established itself as a very respectable branch of mathematics, and there (...) are quite a few highly technical journals in logic, such as The Journal of Sym-. (shrink)
In 1995 we gave a new simple principle of combinatorial set theory and showed that it implies the existence of a nontrivial elementary embedding from a rank into itself, and follows from the existence of a nontrivial elementary embedding from V into M, where M contains the rank at the first fixed point above the critical point. We then gave a “diamondization” of this principle, and proved its relative consistency by means of a standard forcing argument.
In Aristotle's biological works, there is an apparent conflict between passages which seem to insist that only hypothetical necessity (anagk ex hypotheses) operates in the sublunary world, and passages in which some biological phenomena are explained as simply (hapls) necessary. Parallel to this textual problem lies the claim that explanations in terms of simple necessity render teleological explanations (in some of which Aristotle puts hypothetical necessity to use) superfluous. I argue that the textual conflict is only apparent, and that Aristotle's (...) notion of coincidental sameness allows him to avoid the superfluity problem. (shrink)
Whether refusal is an act of civil disobedience meant to challenge the state politically as a form of protest, or an action which reflects a deep moral objection to the policies of the state, selective conscientious objection presents the state and its citizens with a number of difficult legal and moral challenges. Appeals to authority outside of the state, whether religious or secular, influence both citizenship and the behavior of the government itself. As Israel raises funds to defend IDF officers (...) from charges of human rights violations in the United Kingdom, it may find itself in need of a better defense against those citizens hesitant to be placed in harm's way, militarily and legally. At some point in the future it may find itself unable to field soldiers for whom service in the Occupied Territories is prohibited by inviolable secular or religious law. And for those who will continue to argue that they cannot abide service in an army of occupation, an expression sounded in 1968 by Yeshayahu Leibowitz, the moral crisis of an individual conscience rent between obligations to the state and obligations to self, will linger along with the pain of a conscience nurtured and then rejected by this democratic society. (shrink)
Analyses of participation usually assume a dichotomy between 'instrumental' and 'transformative' approaches. However, this study of voluntary biological monitoring experiences and outcomes finds that they cannot be fitted into such a dichotomy. They can enhance the information base for environmental management; change participants through education about scientific practice and ecological change; lead to changes in life direction or group organisation; and influence decision-makers. Personal transformation can take place within a conventionally top-down context. Conversely, grassroots data collection can shore up the (...) status quo and protect local interests. Partnerships between actors can provide distinct but complementary and mutually rewarding outcomes. Power is not located in a data-consuming centre, and data are not meaningless materials that leave the collector unmoved. A more dynamic model of human-nature relations is presented which connects humans and information in the participatory process. (shrink)
: Beginning with Emerson's turn from his pulpit, many argue that American philosophy has rigorously held forth against supernaturalism and metaphysics. While most read self-reliance as a call for individualism, I argue that self-reliance is the application of the moral sentiment to the source of existence Emerson calls the Over-soul. Figures like George Kateb, Stanley Cavell, and Jeffrey Stout have presented a very different picture of American pragmatism. Stout, in particular, is responsible for building up what I call "the myth (...) of the Emersonian democrat." We find that a few philosophical positions generally constitute this myth. The Emersonian democrat is secular, sceptical, relativist, anti-realist, and anti-metaphysical. In fact, on my reading of the strand of pragmatism running from Emerson through James to Dewey, the pluralism of the Emersonian democrat depends on certain metaphysical commitments. The traditional reading of Emerson as anti-religion, and by extension, anti-religious, impedes a better understanding of self-reliance and obfuscates some of the Emersonian inheritances in James and Dewey. (shrink)
The space CS(R) has a unique “Borel structure” in the following sense. Note that there is a natural mapping from R¥ onto CS(R}; namely, taking ranges. We can combine this with any Borel bijection from R onto R¥ in order to get a “preferred” surjection F:R ® CS(R).
ENTIRE BOOK, SINGLE FILE. BOOLEAN RELATION THEORY AND THE INCOMPLETENESS PHENOMENA. 10/30/07 version. Same as 10/01/07 version with Preface added. 568 pages without Appendix B. See above for Appendix B by Francoise Point.
It has been accepted since the early part of the Century that there is no problem formalizing mathematics in standard formal systems of axiomatic set theory. Most people feel that they know as much as they ever want to know about how one can reduce natural numbers, integers, rationals, reals, and complex numbers to sets, and prove all of their basic properties. Furthermore, that this can continue through more and more complicated material, and that there is never a real problem.
Since about 1925, the standard formalization of mathematics has been the ZFC axiom system (Zermelo Frankel set theory with the axiom of choice), about which the audience needs to know nothing. The axiom of choice was controversial for a while, but the controversy subsided decades ago.
We argue that the language of Zermelo Fraenkel set theory with definitions and partial functions provides the most promising bedrock semantics for communicating and sharing mathematical knowledge. We then describe a syntactic sugaring of that language that provides a way of writing remarkably readable assertions without straying far from the set-theoretic semantics. We illustrate with some examples of formalized textbook definitions from elementary set theory and point-set topology. We also present statistics concerning the complexity of these definitions, under various complexity (...) measures. (shrink)
It is not yet clear just what the most illuminating ways of rigorously stating the Incompleteness Theorems are. This is particularly true of the Second. Also I believe that there are more illuminating proofs of the Second that have yet to be uncovered.
This is an immediate conse-quence of a more general combinatorial theorem called Ramsey’s theorem, but it is much simpler to state. We call this adjacent Ramsey theory.
We can look at this model theoretically as follows. By the linearly ordered predicate calculus, we simply mean ordinary predicate calculus with equality and a special binary relation symbol <. It is required that in all interpretations, < be a linear ordering on the domain. Thus we have the usual completeness theorem provided we add the axioms that assert that < is a linear ordering.
A core value of Judaism is leading an ethical life. The Talmud, an authoritative source on Jewish law and tradition, has a number of discussions that deal with honesty in business and decision-making. One motive that can cause individuals to be unscrupulous is the presence of a conflict of interest. This paper will define, discuss, and review five Talmudic concepts relevant to conflict of interest. They are (1) Nogea B’Davar (being an interested party), (2) V’hiyitem N’keyim (behaving to ensure that (...) one is above suspicion) (3) Lifnei Iver (placing a stumbling block before the blind), (4) Shokhad (accepting a bribe), and (5) Geneivat Da’at (deception and undeserved goodwill). Case examples will be used to apply these Talmudic principles to contemporary business practice. This will include discussion of these Talmudic concepts as it applies to specific contemporary business examples relevant to the boardroom, accounting firms, investment banking, politics, and government. It may be impossible to eliminate all conflicts of interest. However, knowledge and awareness of these Talmudic principles can help individuals in business settings better address the ethical issues that they confront. (shrink)
We give a consistency proof within a weak fragment of arithmetic of elementary algebra and geometry. For this purpose, we use EFA (exponential function arithmetic), and various first order theories of algebraically closed fields and real closed fields.
"Moses and Monotheism" is Freud's last book on religion. It was published in its entirety only after his flight from Nazi-occupied Vienna. Moses is perhaps Freud's most controversial book on religion. It is both an apology and a curse. It is a critique of traditional Judaism (by way of an Oedipal analysis of a deified Moses), a defence of a modern humanistic Judaism (a Judaism of moral and intellectual values), and a bitter critique of Christianity (a religion not of the (...) Father but of the sons, a failed religion, which expresses its failure in anti-Semitism). A defiant and rebellious book, one might say, one in which an old man rises to meet his fate and does so with surprising wilfulness and vigour. But Moses also reveals a dogmatic Freud defending a critique of religion that is intellectually flawed and politically misdirected. (shrink)
Gödel's definitive results and his essays leave us with a rich legacy of philosophical programs that promise to be subject to mathematical treatment. After surveying some of these, we focus attention on the program of circumventing his demonstrated impossibility of a consistency proof for mathematics by means of extramathematical concepts.
Mathematical statements arising from program verification are believed to be much easier to deal with than statements coming from serious mathematics. At least this is true for “normal programming”.
Russell’s way out of his paradox via the impre-dicative theory of types has roughly the same logical power as Zermelo set theory - which supplanted it as a far more flexible and workable axiomatic foundation for mathematics. We discuss some new formalisms that are conceptually close to Russell, yet simpler, and have the same logical power as higher set theory - as represented by the far more powerful Zermelo-Frankel set theory and beyond. END.
S. Adams, W. Ambrose, A. Andretta, H. Becker, R. Camerlo, C. Champetier, J.P.R. Christensen, D.E. Cohen, A. Connes. C. Dellacherie, R. Dougherty, R.H. Farrell, F. Feldman, A. Furman, D. Gaboriau, S. Gao, V. Ya. Golodets, P. Hahn, P. de la Harpe, G. Hjorth, S. Jackson, S. Kahane, A.S. Kechris, A. Louveau,, R. Lyons, P.-A. Meyer, C.C. Moore, M.G. Nadkarni, C. Nebbia, A.L.T. Patterson, U. Krengel, A.J. Kuntz, J.-P. Serre, S.D. Sinel'shchikov, T. Slaman, Solecki, R. Spatzier, J. Steel, D. Sullivan, S. (...) Thomas, A. Valette, V.S. Varadarajan, B. Velickovic, B. Weiss, J.D.M. Wright, R.J. Zimmer. (shrink)
