Critique of instrumental accounts of epistemic rationality.

In this paper I examine how the constituent elements of a firm's organizational structure affect the ethical behavior of workers. The formal features of organizations I examine are the compensation practices, performance and evaluation systems, and decision-making assignments. I argue that the formal organizational structure, which is distinguished from corporate culture, is necessary, though not sufficient, in solving ethical problems within firms. At best the formal structure should not undermine the ethical actions of workers. When combined with a strong culture, (...) however, the organizational structure may be sufficient in promoting ethical conduct. While helpful, ethics training and corporate codes are neither necessary nor sufficient in promoting ethical behavior within firms. (shrink)

We consider a number of statements involving restrictions and extensions of algebras, and derive connections with large cardinal axioms.

In this paper, we consider how the four key team emergent states for team learning identified by Bell, Kozlowski and Blawath (2012), namely psychological safety, goal orientation, cohesion, and efficacy, operate as a system that produces the team’s learning climate (TLC). Using the language of systems dynamics, we conceptualize TLC as a stock that rises and falls as a joint function of the psychological safety, goal orientation, cohesion, and efficacy that exists in the team. The systems approach highlights aspects of (...) TLC management that are traditionally overlooked, such as the simultaneous influence of and feedback between the four team emergent states and the inertia that TLC can have as a result. The management of TLC becomes an issue of controlling the system rather than each state as an independent force, especially because changing one part of the system will also affect other parts in sometimes unintended and undesirable ways. Thus the value is to offer a systems view on the leadership function of team monitoring with regards to team emergent states, which we term team state monitoring. This view offers promising avenues for future research as well as practical wisdom. It can help leaders remember that TLC represents an equilibrium that needs balance, in addition to pointing to the various ways in which they can influence such equilibrium. (shrink)

Analysis of Emmy Noether's 1918 theorems provides an illuminating method for testing the consequences of coordinate generality, and for exploring what else must be added to this requirement in order to give general covariance its far-reaching physical significance. The discussion takes us through Noether's first and second theorems, and then a third related theorem due originally to F. Klein. Contact will also be made with the contributions of, principally, J.L. Anderson, A. Trautman, P.A.M. Dirac, R. Torretti and the father of (...) the whole business, A. Einstein. (shrink)

We axiomatize EFA in strictly mathematical terms, involving only the ring operations, without extending the language by either exponentiation, finite sets of integers, or polynomials.

In his 1983 article, Paul A. Roth defends the Quinean project of naturalized epistemology from the criticism presented in my 1980 article. In this note I would like to respond to Roth's effort. I will argue that, while helpful in advancing and clarifying the issues, Roth's defense of naturalized epistemology does not succeed. The primary topic to be clarified is Quine's "no first philosophy" doctrine; but I will address myself to other points as well.

The existence of a definite tangent space structure (metric with Lorentzian signature) in the general theory of relativity is the consequence of a fundamental assumption concerning the local validity of special relativity. There is then at the heart of Einstein's theory of gravity an absolute element which depends essentially on a common feature of all the non-gravitational interactions in the world, and which has nothing to do with space-time curvature. Tentative implications of this point for the significance of the vacuum (...) solutions in general relativity, and for the issue of quantising gravity, are briefly examined. (shrink)

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)

We examine the writings of Adam Smith and Milton Friedman regarding their interpretation and use of the concept of self-interest.We argue that neither Smith nor Friedman considers self-interest to be synonymous with selfishness and thus devoid of ethicalconsiderations. Rather, for both writers self-interest embodies an other-regarding aspect that requires individuals to moderate theiractions when others are adversely affected. The overriding virtue for Smith in governing individual actions is justice; for Friedman it isnon-coercion.

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”.

Should advance directives (ADs) such as living wills be employed to direct the care of the severely demented? In considering this question, I focus primarily on the claims of Rebecca Dresser who objects in principle to the use of ADs in this context. Dresser has persuasively argued that ADs are both theoretically incoherent and ethically dangerous. She proceeds to advocate a Best Interest Standard as the best way for deciding when and how the demented ought to be treated. I put (...) forth a compromise position: both ADs and the Best Interest Standard have roles to play in guiding the care of the severely demented. (shrink)

Certainty (and the lack thereof) is a major issue in mathematics and computer science. Mathematicians strongly believe in a special kind of certainty for their theorems.

Is 'education' a thick epistemic concept? The answer depends, of course, on the viability of the 'thick/thin' distinction, as well as the degree to which education is an epistemic concept at all. I will concentrate mainly on the latter, and will argue that epistemological matters are central to education and our philosophical thinking about it; and that, insofar, education is indeed rightly thought of as an epistemic concept. In laying out education's epistemological dimensions, I hope to clarify the degree to (...) which it makes sense to regard the concept as 'thick'. I also discuss the relationship between philosophy of education and virtue epistemology and the sense in which being educated might itself be thought to be an epistemic virtue. Finally, I urge virtue epistemologists in particular and epistemologists generally to turn their attention to questions of education, to further both the philosophy of education and epistemology itself. (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.

Dispositionalist accounts of colour concepts are now largely discarded. But a number of recent and influential objections to this type of theory can be readily answered providing the dispositionalist account contains the key elements it should---which actual versions in the literature do not. I explicate some of the conceptual components needed in such an account once we correctly understand the anthropocentricity of the colour concepts involved. When these components are incorporated into dispositionalism, including one crucial distinction in particular, some powerful (...) seeming objections against this revised dispositionalism fail. In addition, dispositionalism has extra advantages over the far more popular physicalist theories, and I therefore contend that we should explore vigorously this kind of enriched dispositionalist account. (shrink)

Responding to claims to the contrary, this essay shows how liberal education, the education of critical exposure, indoctrinates students into a style of belief and belief formation. It argues that a common liberal view about what constitutes freedom from indoctrination is precisely the form of indoctrination feared by many conservative communitarians. While I support the style and procedures of liberal education, I argue that we cannot excise all indoctrinating components from it by semantic, logical or epistemic analyses of what indoctrination (...) or education means. (shrink)

Each of these theorems and concepts arose from very specific considerations of great general interest in the foundations of mathematics (f.o.m.). They each serve well defined purposes in f.o.m. Naturally, the preferred way to formulate them for mathe-matical logicians is in terms that are close to their roots in f.o.m.

We present several selection theorems for Borel relations, involving only Borel sets and functions, all of which can be obtained as consequences of closely related theorems proved in [DSR 96,99,01,01X] involving coanalytic sets. The relevant proofs given there use substantial set theoretic methods, which were also shown to be necessary. We show that none of our Borel consequences can be proved without substantial set theoretic methods. The results are established for Baire space. We give equivalents of some of the main (...) results for the reals. (shrink)

We have been recently engaged in this search, and have announced a long series of successively simpler and more convincing examples. See [Fr09-10].

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.

Let ℜ be an o-minimal expansion of (ℝ, <+) and (φk)k∈ℕ be a sequence of positive real numbers such that limk→+∞f(φk)/φk+1=0 for every f:ℝ→ ℝ definable in ℜ. (Such sequences always exist under some reasonable extra assumptions on ℜ, in particular, if ℜ is exponentially bounded or if the language is countable.) Then (ℜ, (S)) is d-minimal, where S ranges over all subsets of cartesian powers of the range of φ.

I. WKL0 is a conservative extension of PRA for ’-0-2 sentences. II. ACA0 is a conservative extension of PA for arithmetic sentences. III. ATR0 is a conservative extension of IR for arithmetic sentences. IV. ’-1-1-CA0 is a conservative extension of ID(

Areas of Mathematics in Philosophy of Mathematics

 

Export citation  

 

Bookmark  

This essay argues that it is a matter of vital concern to develop a theoretical apparatus that is adequate to the inherent spatiotemporal dynamics of capital accumulation and the changing practices developed to manage the crisis tendencies of those dynamics. This requires integrating the a-spatial theory of capital accumulation and its internal contradictions with the spatial/geographical theory of imperialism that invokes geopolitical and geo-economic struggles between nation-states. I argue that the two are linked by the way capital deals with the (...) problem of absorbing capital surpluses, namely through geographical fixes. The geographical fix requires imperialist expansionism and the battering down of all barriers to the spatial movement of capital. Such a conception provides the necessary clarity in formulating the relations between capital and state that are sometimes missing from Ellen M. Wood's arguments in Empire of Capital. (shrink)

The goal is to show that various exotic prefix classes can be "tamed by large cardinals". I.e., every statement in the class is either provable or refutable using presently formulated large cardinals. Some of these exotic prefix classes consist entirely of explicitly P01 sentences.

In what is portrayed as Buddha's first sermon, the Dhamma‐cakka‐ppavatana Sutta (DCPS), the Buddha highlighted four key aspects or dimensions of existence to which one needs to become attuned so as to become deeply spiritually transformed and end dukkha. Though the DCPS emphasizes dukkha, this is in fact only one of three related characteristics or “marks” of the five khandhas. These “three marks” of all conditioned phenomena are that they are impermanent, painful, and non‐Self. Buddhism emphasizes that change and impermanence (...) are fundamental features of everything. The Four True Realities for the Spiritually Ennobled and statements which point to these realities, such as “This is dukkha,” form the structural framework for all higher teachings of early Buddhism. (shrink)

We present some new set and class theoretic independence results from ZFC and NBGC that are particularly simple and close to the primitives of membership and equality. They are shown to be equivalent to familiar small large cardinal hypotheses. We modify these independendent statements in order to give an example of a sentence in set theory with 5 quantifiers which is independent of ZFC. It is known that all 3 quantifier sentences are decided in a weak fragment of ZF without (...) power set. (shrink)

All axiomatizations in sections 1,2,4-8 are in the language L(Î,W) with just Î and the constant symbol W standing for a Subworld. Think of W as yesterday's world, and think of the quantifiers in the theory as ranging over today's world. The philosophy is that since the universe cannot be completed, every time we reflect on the universe and what we have reflected on previously, we obtain a larger universe.

Extrapolating from the work of Mahlo , one can prove that given any pair of countable closed totally bounded subsets of complete separable metric spaces, one subset can be homeomorphically embedded in the other. This sort of topological comparability is reminiscent of the statements concerning comparability of well orderings which Friedman has shown to be equivalent to ATR0 over the weak base system RCA0. The main result of this paper states that topological comparability is also equivalent to ATR0. In Section (...) 1, the pertinent subsystems of second-order arithmetic and results on well orderings are reviewed. Sections 2 and 3 overview the encoding of metric spaces and homeomorphisms in second-order arithmetic. Section 4 contains a proof of the topological comparability result in ATR0. Section 5 contains the reversal, a derivation of ATR0 from the topological comparability result. In Section 6, additional information about the structure of the embeddings is obtained, culminating in an application to closed subsets of the real numbers. (shrink)

This paper proposes a reconsideration of Karl Mannheim and his work from the viewpoint of the needs of sociological theory. It points out certain affinities between Mannheim and some contemporary theorists, such as Gramsci and Foucault, and then reflects on certain problems in Mannheim's work, particularly the response to "relativism" and the hope of creating new "syntheses" through the sociology of knowledge. Finally, it proposes ways to draw on the sociology of intellectuals, inspired by Mannheim, in order to advance the (...) understanding of social theory. (shrink)