The theory of collective agency and intentionality is a flourishing field of research, and our understanding of these phenomena has arguably increased greatly in recent years. Extant theories, however, are still ill-equipped to explain certain aspects of collective intentionality. In this article we draw attention to two such underappreciated aspects: the failure of the intentional states of collectives to supervene on the intentional states of their members, and the role of non-human factors in collective agency and intentionality. We propose a (...) theory of collective intentionality which builds on the ‘interpretationist’ tradition in metasemantics and the philosophy of mind as initiated by David Lewis and recently developed further by Robbie Williams. The collective-level analogue of interpretationism turns out to look different in some ways from the individual-level theory, but is well-suited to accommodating phenomena such as hybrid collective intentionality. Complemented with Kit Fine’s theory of variable embodiment, such a theory also provides a diachronic account of intentional collectives. (shrink)

Though the social world is real and objective, the way that social facts arise out of other facts is in an important way shaped by human thought, talk and behaviour. Building on recent work in social ontology, I describe a mechanism whereby this distinctive malleability of social facts, combined with the possibility of basic human error, makes it possible for a consistent physical reality to ground an inconsistent social reality. I explore various ways of resisting the prima facie case for (...) social inconsistency. I conclude, however, that the prima facie case survives scrutiny, and draw out some of the ramifications. (shrink)

Many philosophers believe that luck egalitarianism captures “desert-like” intuitions about justice. Some even think that luck egalitariansm distributes goods in accordance with desert. In this paper, we argue that this is wrong. Desertism conflicts with luck egalitarianism in three important contexts, and, in these contexts, desertism renders the proper moral judgment. First, compared to desertism, luck egalitarianism is sometimes too stingy: it fails to justly compensate people for their socially valuable contributions—when those contributions arose from “option luck”. Second, luck egalitarianism (...) is sometimes too restrictive: it fails to justly compensate people who make a social contribution when that contribution arose from “brute luck”. Third, luck egalitarianism is too limited in scope: it cannot diagnose economic injustice arising independently of comparative levels of justice. The lesson of this paper is that luck egalitarians should consider supplementing their theory with desert considerations. Or, even better, consider desertism as a superior alternative to their theory. (shrink)

Does the moral badness of pain depend on who feels it? A common, but generally only implicitly stated view, is that it does not. This view, ‘unitarianism’, maintains that the same interests of different beings should count equally in our moral calculus. Shelly Kagan’s project in How to Count Animals, more or less is to reject this common view, and develop an alternative to it: a hierarchical view of moral status, on which the badness of pain does depend on who (...) feels it. In this review essay, we critically examine Kagan’s argument for status hierarchy. In particular, we reject two of the central premises in his argument: that moral standing is ultimately grounded in agency and that unitarianism is overdemanding. We conclude that moral status may, despite Kagan’s compelling argument to the contrary, not be hierarchical. (shrink)

Given any proposition, is it possible to have rationally acceptable attitudes towards it? Absent reasons to the contrary, one would probably think that this should be possible. In this paper I provide a reason to the contrary. There is a proposition such that, if one has any opinions about it at all, one will have a rationally unacceptable set of propositional attitudes—or if one doesn’t, one will end up being cognitively imperfect in some other manner. The proposition I am concerned (...) with is a self-referential propositional attitude ascription involving the propositional attitude of rejection. Given a basic assumption about what constitutes irrationality, and a few assumptions about the nature of cognitively ideal agents, a paradox results. This paradox is superficially like the Liar, but it is importantly different in that no alethic notions are involved at all. As such, it stands independent of the Liar and is not a ‘revenge’ version of it. After setting out the paradox I discuss possible responses. After considering several I argue that one is best off simply accepting that the paradox shows us something surprising and interesting about rationality: that some cognitive shortfall is unavoidable even for ideal agents. I argue that nothing disastrous follows from accepting this conclusion. (shrink)

This thesis is about the metaphysics of logic. I argue against a view I refer to as ‘logical realism’. This is the view that the logical constants represent a particular kind of metaphysical structure, which I dub ‘logico-metaphysical structure’. I argue instead for a more metaphysically lightweight view of logic which I dub ‘logical expressivism’. -/- In the first part of this thesis (Chapters I and II) I argue against a number of arguments that Theodore Sider has given for logical (...) realism. In Chapter I, I present an argument of his to the effect that logico-metaphysical structure provides the only good explanation of the semantic determinacy of the logical constants. I argue that other explanations are possible. In Chapter II, I present another argument of his to the effect that logico-metaphysical structure is something that comes along with ontological realism: the view that there is a non-language-relative fact of the matter about what exists. I argue that the connection between logical and ontological realism is not as close as Sider makes it out to be. -/- In the second part of this thesis (Chapters III – V) I set out a positive view of the logical constants that can explain both why their meanings are semantically determinate, and why they form part of our vocabulary. On that view, the primary bearers of logical structure are propositional attitudes, and the logical constants are in our language as vehicles for the expression of logically complex propositional attitudes. In Chapter III, I set out an expressivist theory of propositional logic. In Chapter IV, I use this theory to explain how the logical connectives end up having determinate meanings. In Chapter V, I extend the expressivist theory to predicate logic. (shrink)

What determines whether an object is an artwork? In this paper I consider what I will call ‘social’ theories of art, according to which the arthood of objects depends in some way on the art-related social practices that we have. Though such a dependence claim is plausible in principle, social theories of art tend to unpack the determining link between artworks and social practices in terms of intentional relations between the objects in question and the people involved in the relevant (...) practices. This intentionalism has unappealing upshots. Drawing on two-dimensional approaches in social ontology, I show how social theories of art can be done differently, improving their prospects. (shrink)

When some P implies some Q, this should have some impact on what attitudes we take to P and Q. In other words: logical consequence has a normative import. I use this idea, recently explored by a number of scholars, as a stepping stone to a bolder view: that relations of logical consequence can be identified with norms on our propositional attitudes, or at least that our talk of logical consequence can be explained in terms of such norms. I investigate (...) the prospects of such a cognitive norm account of logical consequence. I go over the challenges involved in finding a plausible bridge principle connecting logical consequence to cognitive norms, in particular a biconditional principle that gives us not only necessary but sufficient conditions for logical consequence in terms of norms on propositional attitudes. Then, on the assumption that an adequate norm can be found, I consider what the philosophical merits of such a cognitive norm account would be, and what theoretical commitments it would generate. (shrink)

An introduction to the special issue of the Erasmus Journal for Philosophy and Economics: "On the Very Idea of a Just Wage".

This introductory chapter provides a general framework for thinking about the relationship between wealth and power. It begins by situating the topic in the history of political thought, modern social science, and recent political philosophy, before putting forward an analytical framework. This has three elements: first, the idea of liberalism's public/private divide: a division between a power-wielding state from which wealth should be absent, and a market economy from which power should be absent; second, the two ways the division can (...) be transgressed by the power of the wealthy: by the wealthy subverting the power of the state and by directly exercising power within the economy; and third, the four different approaches to responding to the transgression, either aiming to reassert the public/private divide or to move beyond it. (shrink)

Is political equality viable given the unequal private property holdings characteristic of a capitalist economy? This book places the wealth-politics nexus at the centre of scholarly analysis. Traditional theories of democracy and property have often ignored the ways in which the rich attempt to convert their wealth into political power, operating on the implicit assumption that politics is isolated from economic forces. This book brings the moral and political links between wealth and power into clear focus. The chapters are divided (...) into three thematic sections. Part I analyses wealth and politics from the perspective of various political traditions, such as liberalism, republicanism, anarchism, and Marxism. Part II addresses the economic sphere, and looks at the political influence of corporations, philanthropists and commons-based organizations. Finally, Part III turns to the political sphere and looks at the role of political parties and constitutions, and phenomena such as corruption and lobbying. Wealth and Power: Philosophical Perspectives will be of interest to scholars and advanced students working in political philosophy, political science, economics, and law. (shrink)

Short introduction to the V2 publication of "The War of Appearances: Transparency, Opacity, Radiance" (2016). An anthology with Matteo Pasquinelli, Luciana Parisi, Graham Harman, Tomas Saraceno, René ten Bos, Tim Morton, McKenzie Wark, Wim Delvoye, Diana Scherer, Paolo Cirio, Paul Frissen, and Willem Schinkel.

Short introduction to the V2 publication of "The War of Appearances: Transparency, Opacity, Radiance" (2016). An anthology with Matteo Pasquinelli, Luciana Parisi, Graham Harman, Tomas Saraceno, René ten Bos, Tim Morton, and many others.

My first aim in this paper is to use time diagrams in the style of Brentano to analyze constructions in Brouwer's separable mathematics more precisely. I argue that constructions must involve not only pairing and projecting as basic operations guaranteed by the intuition of twoity, as sometimes assumed in the literature, but also a recalling operation. My second aim is to argue that Brouwer's views on the intuition of twoity and arithmetic lead to an ontological explosion. Redeveloping the (...) constructions of natural numbers and systems sketched in an appendix to Brouwer's Cambridge lectures, I observe that the only plausible way he can make some elementary arithmetic in his separable mathematics is by allowing for the same canonical number to be determined by multiple separable entities, resulting in an overabundant mathematical ontology. (shrink)

Brouwer’s intuitionism was a far-reaching attempt to reform the foundations of mathematics. While the mathematical community was reluctant to accept Brouwer’s work, its response to later-developed brands of intuitionism, such as those presented by Hermann Weyl and Arend Heyting, was different. The paper accounts for this difference by analyzing the intuitionistic versions of Brouwer, Weyl, and Heyting in light of a two-tiered model of the body and image of mathematical knowledge. Such a perspective provides a richer account (...) of each story and points to a possible connection between the community’s reaction and the changes each mathematician had proposed. (shrink)

Brouwer's philosophy of mathematics is usually regarded as an intra-subjective, even solipsistic approach, an approach that also underlies his mathematical intuitionism, as he strived to create a mathematics that develops out of something inner and a-linguistic. Thus, points of connection between Brouwer's mathematical views and his views about and the social world seem improbable and are rarely mentioned in the literature. The current paper aims to challenge and change that. The paper employs a socially oriented prism to examine (...) Brouwer's views on the construction, use, and practice of mathematics. It focuses on Brouwer's views on language, his social interactions, and the importance of group context as they appear in the significs dialogues. It does so by exploring the establishment and dissolution of the significs movement, focusing on Gerrit Mannoury's influence and relationship with Brouwer and analyzing several fragments from the significs dialogues while emphasizing the role Brouwer ascribed to groups in forming and sharing new ideas. The paper concludes by raising two questions that challenge common historical and philosophical readings of intuitionism. (shrink)

In this paper, we look at applying the techniques from analyzing superintuitionistic logics to extensions of the cointuitionistic Priest-da Costa logic daC (introduced by Graham Priest as “da Costa logic”). The relationship between the superintuitionistic axioms- definable in daC- and extensions of Priest-da Costa logic (sdc-logics) is analyzed and applied to exploring the gap between the maximal si-logic SmL and classical logic in the class of sdc-logics. A sequence of strengthenings of Priest-da Costa logic is examined and employed to pinpoint (...) the maximal non-classical extension of both daC and Heyting-Brouwer logic HB . Finally, the relationship between daC and Logics of Formal Inconsistency is examined. (shrink)

Mathematical objects are divided into (1) those which are autonomous, i.e., not dependent for their existence upon mathematicians’ conscious acts, and (2) intentional objects, which are so dependent. Platonist philosophy of mathematics argues that all objects belong to group (1), Brouwer’s intuitionism argues that all belong to group (2). Here we attempt to develop a dualist ontology of mathematics (implicit in the work of, e.g., Hilbert), exploiting the theories of Meinong, Husserl and Ingarden on the relations between autonomous and (...) intentional objects. In particular we develop a phenomenology of mathematical works, which has the stratified intentional structure discovered by Ingarden in his study of the literary work. (shrink)

Errett Bishop's work in constructive mathematics is overwhelmingly regarded as a turning point for mathematics based on intuitionistic logic. It brought new life to this form of mathematics and prompted the development of new areas of research that witness today's depth and breadth of constructive mathematics. Surprisingly, notwithstanding the extensive mathematical progress since the publication in 1967 of Errett Bishop's Foundations of Constructive Analysis, there has been no corresponding advances in the philosophy of constructive mathematics Bishop style. The aim of (...) this paper is to foster the philosophical debate about this form of mathematics. I begin by considering key elements of philosophical remarks by Bishop, especially focusing on Bishop's assessment of Brouwer. I then compare these remarks with ``traditional'' philosophical arguments for intuitionistic logic and argue that the latter are in tension with Bishop's views. ``Traditional'' arguments for intuitionistic logic turn out to be also in conflict with significant recent developments in constructive mathematics. This rises pressing questions for the philosopher of mathematics, especially with regard to the possibility of offering alternative philosophical arguments for constructive mathematics. I conclude with the suggestion to look anew at Bishop's own remarks for inspiration. (shrink)

We show how removing faith-based beliefs in current philosophies of classical and constructive mathematics admits formal, evidence-based, definitions of constructive mathematics; of a constructively well-defined logic of a formal mathematical language; and of a constructively well-defined model of such a language. -/- We argue that, from an evidence-based perspective, classical approaches which follow Hilbert's formal definitions of quantification can be labelled `theistic'; whilst constructive approaches based on Brouwer's philosophy of Intuitionism can be labelled `atheistic'. -/- We then adopt what (...) may be labelled a finitary, evidence-based, `agnostic' perspective and argue that Brouwerian atheism is merely a restricted perspective within the finitary agnostic perspective, whilst Hilbertian theism contradicts the finitary agnostic perspective. -/- We then consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary, evidence-based, definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways. -/- We show that the two definitions correspond to two distinctly different---not necessarily evidence-based but complementary---assignments of satisfaction and truth to the compound formulas of PA over N. -/- We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both the complementary interpretations; and conclude some unsuspected constructive consequences of such complementarity for the foundations of mathematics, logic, philosophy, and the physical sciences. -/- . (shrink)

One of the open problems in the philosophy of information is whether there is an information logic (IL), different from epistemic (EL) and doxastic logic (DL), which formalises the relation “a is informed that p” (Iap) satisfactorily. In this paper, the problem is solved by arguing that the axiom schemata of the normal modal logic (NML) KTB (also known as B or Br or Brouwer’s system) are well suited to formalise the relation of “being informed”. After having shown that (...) IL can be constructed as an informational reading of KTB, four consequences of a KTB-based IL are explored: information overload; the veridicality thesis (Iap → p); the relation between IL and EL; and the Kp → Bp principle or entailment property, according to which knowledge implies belief. Although these issues are discussed later in the article, they are the motivations behind the development of IL. (shrink)

I argue against the interpretation of propositions as intentions and proof-objects as fulfillments proposed by Heyting and defended by Tieszen and van Atten. The idea is already a frequent target of criticisms regarding the incompatibility of Brouwer’s and Husserl’s positions, mainly by Rosado Haddock and Hill. I raise a stronger objection in this paper. My claim is that even if we grant that the incompatibility can be properly dealt with, as van Atten believes it can, two fundamental issues indicate (...) that the interpretation is unsustainable regardless: (1) it is hard to determine, without appealing to propositional intentions on pain of circularity, what intention a proof-object should be understood as a fulfillment of; (2) due to a difficult fulfillment dilemma, it is unclear, at best, what the object of an intention corresponding to a proposition is. (shrink)

The major point in [1] chapter 2 is the following claim: “Any formalized system for the Theory of Computation based on Classical Logic and Turing Model of Computation leads us to a contradiction.” So, in the case we wish to save Classical Logic we should change our Computational Model. As we see in chapter two, the mentioned contradiction is about and around the concept of time, as it is in the contradiction of modified version of paradox. It is natural to (...) try fabricating the paradox not by time but in some other linear ordering or the concept of space. Interestingly, the attempts to have similar contradiction by the other concepts like space and linear ordering, is failed. It is remarkable that, the paradox is considered either Epistemological or Logical traditionally, but by new considerations the new version of paradox should be considered as either Logical or Physical paradox. Hence, in order to change our Computational Model, it is natural to change the concept of time, but how? We start from some models that are different from the classical one but they are intuitively plausible. The idea of model is somewhat introduced by Brouwer and Husserl [3]. This model doesn’t refute the paradox, since the paradox and the associated contradiction would be repeated in this new model. The model is introduced in [2]. Here we give some more explanations. (shrink)

One of the possible hypotheses about time is to consider any instant of time as fuzzy number, so that two instants of time could be overlapped. Historically, some Mathematicians and Philosophers have had similar ideas like Brouwer and Husserl [5]. Throughout this article, the impact of this change on Theory of Computation and Complexity Theory are studied. In order to rebuild Theory of Computation in a more successful and productive approach to solve some major problems in Complexity Theory, the (...) present research is done. This novel theory is called here, the fuzzy time theory of computation, TC^*. (shrink)

In the Netherlands and Belgium, it is lawful for voluntary euthanasia to be offered on the grounds of psychiatric suffering. A recent case that has sparked much debate is that of Aurelia Brouwers, who was helped to die in the Netherlands on account of her suffering from borderline personality disorder. It is sometimes claimed that whether or not a mentally ill person’s wish to die is valid hinges on whether or not that wish is a symptom of the person’s mental (...) disorder. This article addresses the philosophical problems raised by this claim, with a specific focus on the diagnosis of borderline personality disorder. After considering descriptivist and causal conceptualizations of mental disorder, I argue that the current approach to borderline personality disorder in psychiatry precludes the possibility of dissociating the wish to die from the disorder. I then examine the implications of this analysis for the question of whether or not the request for voluntary euthanasia in the case of borderline personality disorder can be considered valid. Ultimately, I conclude that the inability to dissociate the wish to die from the disorder does not invalidate the wish in the case of borderline personality disorder. (shrink)

Negation often reinforces problematic habits of othering, but rethinking negation can make good on feminist hopes for logic as a transformative space for inclusion. As Plumwood argues in her 1993 paper, not all uses of negation in the context of social identity are inherently problematic, but the widespread implicit use of classical negation has limited our options with respect to representing difference, ultimately reinforcing dualisms that essentialize social differences in problematic ways. In response to these limitations, I take inspiration from (...) Dembroff’s recent work on the metaphysics of genderqueer identity to build models of social identity using the Heyting-Brouwer logic developed by Rauszer in her 1974 paper. Ultimately, I argue that these models demonstrate both how classical negation reinforces problematic habits of othering and how alternative forms of negation can transform our treatment of social identity altogether. (shrink)

In a recent paper by Tranchini (Topoi, 2019), an introduction rule for the paradoxical proposition ρ∗ that can be simultaneously proven and disproven is discussed. This rule is formalized in Martin-Löf’s constructive type theory (CTT) and supplemented with an inferential explanation in the style of Brouwer-Heyting-Kolmogorov semantics. I will, however, argue that the provided formalization is problematic because what is paradoxical about ρ∗ from the viewpoint of CTT is not its provability, but whether it is a proposition at all.

MethodologyA new hypothesis on the basic features characterizing the Foundations of Mathematics is suggested.Application of the methodBy means of it, the several proposals, launched around the year 1900, for discovering the FoM are characterized. It is well known that the historical evolution of these proposals was marked by some notorious failures and conflicts. Particular attention is given to Cantor's programme and its improvements. Its merits and insufficiencies are characterized in the light of the new conception of the FoM. After the (...) failures of Frege's and Cantor's programmes owing to the discoveries of an antinomy and internal contradictions, respectively, the two remaining, more radical programmes, i.e. Hilbert's and Brouwer's, generated a great debate; the explanation given here is their mutual incommensurability, defined by means of the differences in their foundational features.ResultsThe ignorance of this phenomenon explains the inconclusiveness of a century-long debate between the advocates of these two proposals. Which however have been so greatly improved as to closely approach or even recognize some basic features of the FoM.Discussion on the resultsYet, no proposal has recognized the alternative basic feature to Hilbert's main one, the deductive organization of a theory, although already half a century before the births of all the programmes this alternative was substantially instantiated by Lobachevsky's theory on parallel lines. Some conclusive considerations of a historical and philosophical nature are offered. In particular, the conclusive birth of a pluralism in the FoM is stressed. (shrink)

The classical interpretation of mathematical statements can be seen as comprising two separate but related aspects: a domain and a truth-schema. L. E. J. Brouwer’s intuitionistic project lays the groundwork for an alternative conception of the objects in this domain, as well as an accompanying intuitionistic truth-schema. Drawing on the work of Arend Heyting and Michael Dummett, I present two objections to classical mathematical semantics, with the aim of creating an opening for an alternative interpretation. With this accomplished, I (...) then make the case for intuitionism as a suitable candidate to fill this void. (shrink)

Kripke frames (and models) provide a suitable semantics for sub-classical logics; for example, intuitionistic logic (of Brouwer and Heyting) axiomatizes the reflexive and transitive Kripke frames (with persistent satisfaction relations), and the basic logic (of Visser) axiomatizes transitive Kripke frames (with persistent satisfaction relations). Here, we investigate whether Kripke frames/models could provide a semantics for fuzzy logics. For each axiom of the basic fuzzy logic, necessary and sufficient conditions are sought for Kripke frames/models which satisfy them. It turns out (...) that the only fuzzy logics (logics containing the basic fuzzy logic) which are sound and complete with respect to a class of Kripke frames/models are the extensions of the Gödel logic (or the super-intuitionistic logic of Dummett); indeed this logic is sound and strongly complete with respect to reflexive, transitive and connected (linear) Kripke frames (with persistent satisfaction relations). This provides a semantic characterization for the Gödel logic among (propositional) fuzzy logics. (shrink)

This article analyses in detail Wittgenstein’s ‘Cambridge period’ from his return to Cambridge in 1929 until his decease in 1951. Within the ‘Cambridge period’, scholars usually distinguish the ‘middle’ (1929–1936) and the ‘late’ (1936–1951) periods. The trigger point of Wittgenstein’s return to Cambridge and philosophy was his visit to Brouwer’s lecture on ‘Mathematics, Science, and Language’ in Vienna in March 1928. Dutch mathematician Brouwer influenced not only Wittgenstein’s ability to do philosophy again but also the development of some (...) of his ideas. Namely, for Brouwer, language was a natural development of the social history of human beings. With the help of his friends, F. P. Ramsey, J. M. Keynes, G. E. Moore, and B. Russell, in 1929 Wittgenstein returned to Cambridge. The author argues that this was the crucial turning point in his philosophy that led to the revision of some of his ideas. Wittgenstein returned from self-isolation in remote villages of Lower Austria to the intellectual academic environment, where he could discuss his ideas with intellectual interlocutors and receive their valuable remarks and comments. This article is organised in chronological order: it describes the very ‘early’ middle period of 1929–1935 involving the development of Wittgenstein’s ‘phenomenology’ and the origin of the ‘language-games’ concept in the Blue and Brown Books; 1935–1936 period of ‘romantic’ enthusiasm for Soviet Russia and a trip there; Wittgenstein’s life and work during the WWII-time; resign from teaching in Cambridge in 1947 to finally finish his Philosophical Investigations. The author suggests that the ‘romantic areal’ about the USSR was formed by Wittgenstein’s predilection for Russian poetry and literature of the nineteenth century, i.e., Tolstoy, Dostoevsky, and Pushkin. Analysing the development of Wittgenstein’s ideas on language in his Cambridge period, the author mentions the influence of N. Bakhtin and P. Sraffa. Also, the author touches upon the topic of the possibility of Marxism’s influence on Wittgenstein’s life and thought. (shrink)

In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under the interpretation. (...) The second yields a strong, finitary, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically computable Tarskian truth values to the formulas of PA under the interpretation. We situate our investigation within a broad analysis of quantification vis a vis: * Hilbert's epsilon-calculus * Goedel's omega-consistency * The Law of the Excluded Middle * Hilbert's omega-Rule * An Algorithmic omega-Rule * Gentzen's Rule of Infinite Induction * Rosser's Rule C * Markov's Principle * The Church-Turing Thesis * Aristotle's particularisation * Wittgenstein's perspective of constructive mathematics * An evidence-based perspective of quantification. By showing how these are formally inter-related, we highlight the fragility of both the persisting, theistic, classical/Platonic interpretation of quantification grounded in Hilbert's epsilon-calculus; and the persisting, atheistic, constructive/Intuitionistic interpretation of quantification rooted in Brouwer's belief that the Law of the Excluded Middle is non-finitary. We then consider some consequences for mathematics, mathematics education, philosophy, and the natural sciences, of an agnostic, evidence-based, finitary interpretation of quantification that challenges classical paradigms in all these disciplines. (shrink)

In this Dissertation, we examine a handful of related themes in the philosophy of logic and mathematics. We take as a starting point the deeply philosophical, and—as we argue, deeply Kantian—views of L.E.J. Brouwer, the founder of intuitionism. We examine his famous first act of intuitionism. Therein, he put forth both a critical and a constructive idea. This critical idea involved digging a philosophical rift between what he thought of himself as doing and what he thought of his contemporaries, (...) specifically Hilbert, as doing. He sought to completely separate mathematics from mathematical language, and thereby logic. In chapter 3, we examine the philosophical foundations for this separation. Artemov Artemov (2001) articulates what we might think of as constructive propositional reasoning in a formal system that augments classical propositional logic with a theory of proofs. In doing this, instead of using just one type of object to characterize constructive reasoning, he uses two; propositions and proofs. In chapter 4, we explore the extent to which it might make sense to think of classical propositional reasoning as instead a theory that has two types of objects in the Artemov style. In chapters 5 and 6, we examine two specific case studies; we look at two philosophical phenomena that admit of formal characterizations and then propose those. In both cases, we focus on predicate style treatments of modality. (shrink)

This article’s conclusion is that the theories of Einstein are generally correct and will still be relevant in the next century (there will be modifications necessary for development of quantum gravity). Those Einsteinian theories are Special Relativity, General Relativity, and the title of a paper he published in 1919 which asked if gravitation plays a role in the composition of elementary particles of matter. This paper was the bridge between General Relativity and the Unified Field Theory he sought during the (...) last 25 years of his life. In an article published in the "Annals of Physics" in 1957, Charles Misner and John Wheeler claimed that Einstein's latest equations demonstrated the unified field theory. But Einstein himself felt he had not fully succeeded. The present article begins with Olbers’ paradox (why is the sky dark at night?) Then it briefly proceeds to the subjects of Newtonian gravity, quantum entanglement, gravitational waves, E=mc^2, dark energy, dark matter, cosmic expansion, redshift, blueshift, the cosmic microwave background, the 1st Law of Thermodynamics, and explanation of advanced waves travelling back in time. The section “vector-tensor-scalar geometry” touches on mass, quantum spin, the Higgs boson and Higgs field, stellar jets, the pervasiveness of photons and gravitons, and supersymmetry. Then come half a dozen paragraphs referring to formation of planets, black holes, and bosons of the weak and strong nuclear forces. They end with Descartes’ space-matter relation. Also added are paragraphs about simply-connected mathematics, non-orientability, consciousness, the Law of Falling Bodies, the multiverse, space-time travel developed from maths’ Brouwer Fixed Point Theorem and from an experiment in electrical engineering performed at Yale University, development from future space-time travel of human flight in the manner of fiction’s Superman and Supergirl, as well as downloaded band-gap implants in the brain that could deal with forms of matter. They could add or delete anything and everything we choose by emulating computers’ copy/paste function to add things; as well as their delete function, to remove things. To complete my seemingly unusual ideas, 6 sections are added – 1) “Advanced and Retarded Waves” is extended to include dinosaurs, ageing, and photography, 2) there’s a bit about space-time warping and “imaginary” computers, 3) several paragraphs about restoring health (even gaining immortality) by using gravity, 4) a section about superconductivity and the electric or magnetic fields of planets (this section mentions Mercury, Planet 9 and precession), 5) a section titled EXPLAINING OCEAN TIDES WHEN GENERAL RELATIVITY SAYS GRAVITY IS A PUSH CAUSED BY THE CURVATURE OF SPACE-TIME (this has subsections about M-Sigma, Geysers on Saturn’s Moon Enceladus, and A Brief History of Gravity), plus 5) the potential of COVID-19 to create the Golden Rule, world peace, eternal life, and a non-economic world that doesn’t use any form of money (no cash, credit cards, digital currency, etc.) The final section is called DISTANT-FUTURE SCIENCE INTERPRETED BY RELIGIONS AS SUPERNATURAL and introduces an idea for becoming immortal in these physical bodies. If the Theory of Everything sought by physicists applies to all space-time, then every person’s brain must be entangled with the 22nd century (and far beyond that time too). (shrink)

A Monograph Dealing With Unification In Relation To Dark Energy, Dark Matter, Cosmic Expansion, E=mc2, Quantum Gravity, "Imaginary" Computers, Creation Of The Infinite And Eternal Universe Using Electronic BITS + PI + "Imaginary" Time, Earthly Education, Science-Religion Union, The Human Condition, Superconductivity, Planetary Fields, How Gravitation Can Boost Health, Space-Time Propulsion From The Emdrive To The Brouwer Fixed-Point Theorem, "Light Matter", Etc. These Effects Were Originally Discussed In Several Short Internet Articles. Table Of Contents Introduction Superconductivity And Planetary Magnetic (...) / Electric Fields Co-Movement Of Photons And Graviton General Relativity Deletes Dark Energy, Dark Matter And Universal Expansion The Relation Of The Higgs Field To Gravity Spin Interactions And Making Bosons Or Fermions The Final Missing Steps In E=mc2 What Will Education Be Like In 2049? Learn By Holographic Teachers Using Quantum Mechanics, "Imaginary" Computers And A Unification Of Physics That Will Bring Education To Everyone, Everywhere Hypotheses Supporting Gravitation As A Push - (1) M-Sigma, The Non-Fundamental Nuclear Forces (2) Geysers On Saturn's Moon Enceladus (3) Gravity, Falling Bodies (4) Earth's Tides, Astronomical Unit, Cosmic Backgrounds A Proposal For The True Human Condition That Reconciles Science With Religion Back To The Moon And On To The Stars Normalising Patients With Gravitation. (shrink)

What is so special and mysterious about the Continuum, this ancient, always topical, and alongside the concept of integers, most intuitively transparent and omnipresent conceptual and formal medium for mathematical constructions and the battle field of mathematical inquiries ? And why it resists the century long siege by best mathematical minds of all times committed to penetrate once and for all its set-theoretical enigma ? -/- The double-edged purpose of the present study is to save from the transfinite deadlock of (...) higher set theory the jewel of mathematical Continuum -- this genuine, even if mostly forgotten today raison d'etre of all set-theoretical enterprises to Infinity and beyond, from Georg Cantor to W. Hugh Woodin to Buzz Lightyear, by simultaneously exhibiting the limits and pitfalls of all old and new reductionist foundational approaches to mathematical truth: be it Cantor's or post-Cantorian Idealism, Brouwer's or post-Brouwerian Constructivism, Hilbert's or post-Hilbertian Formalism, Goedel's or post-Goedelian Platonism. -/- In the spirit of Zeno's paradoxes, but with the enormous historical advantage of hindsight, we claim that Cantor's set-theoretical methodology, powerful and reach in proof-theoretic and similar applications as it might be, is inherently limited by its epistemological framework of transfinite local causality, and neither can be held accountable for the properties of the Continuum already acquired through geometrical, analytical, and arithmetical studies, nor can it be used for an adequate, conceptually sensible, operationally workable, and axiomatically sustainable re-creation of the Continuum. -/- From a strictly mathematical point of view, this intrinsic limitation of the constative and explicative power of higher set theory finds its explanation in the identified in this study ultimate phenomenological obstacle to Cantor's transfinite construction, similar to topological obstacles in homotopy theory and theoretical physics: the entanglement capacity of the mathematical Continuum. (shrink)

We develop a simple framework called ‘natural topology’, which can serve as a theoretical and applicable basis for dealing with real-world phenomena.Natural topology is tailored to make pointwise and pointfree notions go together naturally. As a constructive theory in BISH, it gives a classical mathematician a faithful idea of important concepts and results in intuitionism. -/- Natural topology is well-suited for practical and computational purposes. We give several examples relevant for applied mathematics, such as the decision-support system Hawk-Eye, and various (...) real-number representations. -/- We compare classical mathematics (CLASS), intuitionistic mathematics (INT), recursive mathematics (RUSS), Bishop-style mathematics (BISH) and formal topology, aiming to reduce the mutual differences to their essence. To do so, our mathematical foundation must be precise and simple. There are links with physics, regarding the topological character of our physical universe. -/- Any natural space is isomorphic to a quotient space of Baire space, which therefore is universal. We develop an elegant and concise ‘genetic induction’ scheme, and prove its equivalence on natural spaces to a formal-topological induction style. The inductive Heine-Borel property holds for ‘compact’ or ‘fanlike’ natural subspaces, including the real interval [g, h]. Inductive morphisms respect this Heine-Borel property, inversely. This partly solves the continuous-function problem for BISH, yet pointwise problems persist in the absence of Brouwer’s Thesis. -/- By inductivizing the definitions, a direct correspondence with INT is obtained which allows for a translation of many intuitionistic results into BISH. We thus prove a constructive star-finitary metrization theorem which parallels the classical metrization theorem for strongly paracompact spaces. We also obtain non-metrizable Silva spaces, in infinite-dimensional topology. Natural topology gives a solid basis, we think, for further constructive study of topological lattice theory, algebraic topology and infinite-dimensional topology. The final section reconsiders the question of which mathematics to choose for physics. Compactness issues also play a role here, since the question ‘can Nature produce a non-recursive sequence?’ finds a negative answer in CTphys . CTphys , if true, would seem at first glance to point to RUSS as the mathematics of choice for physics. To discuss this issue, we wax more philosophical. We also present a simple model of INT in RUSS, in the two-players game LIfE. (shrink)

This paper is on Aristotle's conception of the continuum. It is argued that although Aristotle did not have the modern conception of real numbers, his account of the continuum does mirror the topology of the real number continuum in modern mathematics especially as seen in the work of Georg Cantor. Some differences are noted, particularly as regards Aristotle's conception of number and the modern conception of real numbers. The issue of whether Aristotle had the notion of open versus closed intervals (...) is discussed. Finally, it is suggested that one reason there is a common structure between Aristotle's account of the continuum and that found in Cantor's definition of the real number continuum is that our intuitions about the continuum have their source in the experience of the real spatiotemporal world. A plea is made to consider Aristotle's abstractionist philosophy of mathematics anew. (shrink)

My article began as a very short 250 words inspired by astrophysicist Jeff Hester's (pro-evolution) pages on entropy (Astronomy magazine - Oct. and Nov. 2017 - http://www.astronomy.com/magazine/jeff-hester/2017/09/entropys-rainbow and http://www.astronomy.com/magazine/jeff-hester/2017/10/entropy-redux). The letter I wrote pointed out evolution's pluses (eg adaptations) and minuses (regarding origins). It went on to speak of a human, scientific, entirely natural explanation for what is called God. It proposes that the true human condition after death and before birth is as a member of the Elohim - a (...) name used for God in the Old Testament which, according to World Book Encyclopedia, means the PLURAL MAJESTY OF THE ONE GOD. This led to a few hundred more words about why some people call an entirely natural process "supernatural". I speculate that it must be because of the applications in thousands of years of finding a successful theory of quantum gravity (union of quantum mechanics and Einstein's theory of gravity - general relativity). Like quantum mechanics and gravitation, those apps would include all space and all time, and would undoubtedly be as mysterious to us as our technology would initially be to the builders of Egypt's first pyramids. In years past, the denial of divine beings by science may have been logical. But times sometimes change radically. Such a paradigm shift seems to be upon us now, with the recent discovery of gravitational waves and the anticipation of quantum gravity. In changing times, scientists and philosophers and everyone must always keep open minds. Of course, proposing that the human condition after death and before birth is as a member of the Elohim means that humans of the far distant future must be capable of the creation attributed to God by many people throughout the centuries. Therefore, a subsection entitled "Creation Of The Infinite, Eternal Cosmos Using Electronic BITS, Pi And Imaginary Time" has been added to the end of this article. -/- . (shrink)