We review the dynamical approach to spacetime theories---in particular, its origins in the development of special relativity, its opposition to the contemporary `geometrical' approach, and the manner in which it plays out in general relativity. In addition, we demonstrate that the approach is compatible with the `angle bracket school'.

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

An opinionated introduction to philosophical issues connected to common knowledge.

Critique of instrumental accounts of epistemic rationality.

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.

For digraphs G, we write V(G) for the set of all vertices of G, and E(G) for the set of all edges of G. A digraph on a set E is a digraph G where V(G) = E.

This article explores what it can mean to navigate notions of productive idiocy with aspects of mātauranga Māori (Māori knowledge), through some recent art-as-activism practices of the author, Aotearoa/New Zealand artist Mark Harvey. The works explicated include Waitākere Drag and Auau in the Te Wao Nui ā Tiriwa forest ranges and Productive Promises, which was part of TEZA (Trans Economic Zone of Aotearoa) in Ōtautahi/Christchurch. Avital Ronell’s Nietzschean-influenced perspectives on idiocy are drawn from in relation to Western and Māori (...) perspectives, along with Roger Sansi’s work on idiocy as dissent. From this aggregation of epistemologies, it is proposed that idiocy can be productive through art as activism and that this can align with Indigenous Māori perspectives on playing the fool as a form of resistance and refusal. Examples of Māori concepts engaged with here include perspectives on relationship building, human relationships with forests and the environment, and sovereignty under Te Tiriti o Waitangi (The Treaty of Waitangi). These art-activism projects promised micro-attempts at making positive changes for the communities in which they were situated through performatively generated actions from a Māori perspective within the shroud of ongoing colonization and capitalism. (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)

This article considers the way beneficence was treated in an important journal toward the end of the Old Regime. It finds that the Journal de Paris during the years 1783 and 1784 not only publicized acts of beneficence, but also mediated between members of the public who, on their own initiative, contributed to those in need and officials and organizations which in practice cared for the disadvantaged, especially a committee that freed prisoners for debts to wet nurses and the Société (...) philanthropique of Paris. While the notion of beneficence has sometimes been found to offer a secularized version of the traditional value of charity, this article finds that in practice religious and secular people worked together to support those they deemed worthy of aid. The relation of beneficence to self-interest is also considered, and it is suggested that the initiatives of the better-off members of civil society rather than government opened the way toward something approaching a welfare state. (shrink)

How does match-fixing, or other unfair manipulation of matches, that involves under-performance by players, or refereeing and umpiring that prevents fair competition, be thought of in ethical terms? In this article, I outline the different forms that match-fixing can take and seek to comprehend these disparate scenarios within Kantian, Hegelian and contractualist ethical frameworks. I tentatively suggest that, by developing an ethical opposition to match-fixing in sport, we can give much greater substance to popular phrases such as ‘respect for the (...) game’, encompassing the value of sport itself and respect for other players, fans, sponsors and organisers. Arguing that match-fixing denies recognition to these ‘others’ demonstrates how fundamentally match-fixing ‘hollows out’ sport because a fixed match is of no worth: the whole value of the game has literally been evacuated. (shrink)

This article draws on the free‐text commentaries from trans‐Tasman studies that used the MISSCARE questionnaire to explore the reasons why nurses miss care. In this paper, we examine the idea that nurses perpetuate a self‐effacing approach to care, at the expense of patient care and professional accountability, using what they describe as the art of nursing to frame their claims of both nursing care and missed nursing care. We use historical dialogue alongside a paradigmatic analysis to examine why nurses allow (...) themselves to continue working within settings that put their professional/personal selves aside in an attempt to deliver care within constraints that make completing care an impossible task. The findings suggest an ambivalence and conflict confront nurses attempting to provide care within the New Public Management environment. This can be seen in the tensions that draw a line between care as an art, and care as a financial target, juxtaposed with the inherent clash of values arising from the way nursing care is conceptualised within two contradictory paradigms. (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.

Educating Reason: Critical Thinking, Informal logic, and the Philosophy of Education.

Considerable work within the modern 'space-time theory' approach to relativity physics has been devoted to clarifying the role and meaning of the principle of relativity. Two recent discussions of the principle within this approach, due to Arntzenius (1990) and Friedman (1983), are found to contain difficulties.

In the following paper, Annemiek Richters of the University of Leiden in the Netherlands addresses the dilemmas faced by health professionals who are asked to evaluate and provide supporting documentation for those refugees who seek political asylum in the countries of Europe. It is in the politically charged arena of asylum applications, government regulations, and public policy where bioethics, human rights, and health converge. Despite the 1951 Convention on Refugees, a treaty signed by nations around the world to safeguard the (...) rights of those who are displaced, and other treaties that protect the rights of vulnerable populations, refugee and asylum policies have become increasingly strict in an effort to deter those who would seek safety. This tightening of borders in the countries of the West challenges physicians who find themselves caught between obligations to treat, to advocate, and to challenge policies that make treatment a potentially dangerous proposition. Unfortunately, the World Trade Center attacks have exacerbated the problem by labeling asylees and refugees as potential terrorists and subject to deportation. (shrink)

The one sphere of life where a claimed right to privacy is most sympathetically received is in the inner realm of the mind. I will look briefly at Joseph Tussman’s claim that a government is not only entitled but morally required to be concerned with and involved in the minds of the nation’s citizens. I then further explore reasons why the realm of the mind matters not only morally but politically. There are consequentialist reasons, but more interestingly there are non-consequentialist (...) reasons on the basis of which I introduce the concept of “authentic social justice.” In particular, there are relevant insights to be gainedby reflecting on forms of oppression that are subtle but serious in nature, forms that involve neither violence nor the use of law. (shrink)

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)

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.

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.

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  

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.

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)