Zeno’s Arrow and Nāgārjuna’s Fundamental Wisdom of the Middle Way Chapter 2 contain paradoxical, dialectic arguments thought to indicate that there is no valid explanation of motion, hence there is no physical or generic motion. There are, however, diverse interpretations of the latter text, and I argue they apply to Zeno’s Arrow as well. I also find that many of the interpretations are dependent on a mathematical analysis of material motion through space and time. However, with modern philosophy and (...) physics we find that the link from no explanation to no phenomena is invalid and that there is a valid explanation and understanding of physical motion. Hence, those arguments are both invalid and false, which banishes the MMK/2 and The Arrow under this and derivative interpretations to merely the history of philosophy. However, a view that maintains their relevance is that each is used as a koan or sequence of koans designed to assist students in spiritual meditation practice. This view is partly justified by the realization that both Nāgārjuna and Zeno were likely meditation masters in addition to being logicians. The works are, therefore, not works that should be assessed as having valid arguments and true conclusions by the standards of modern analytic philosophy—contrary to some of the literature—but rather are therapeutic and perhaps more appropriately considered as part of an experientially focused philosophy such as existentialism, phenomenology or religion. (shrink)

These remarks take up the reflexive problematics of Being and Nothingness and related texts from a metalogical perspective. A mutually illuminating translation is posited between, on the one hand, Sartre’s theory of pure reflection, the linchpin of the works of Sartre’s early period and the site of their greatest difficulties, and, on the other hand, the quasi-formalism of diagonalization, the engine of the classical theorems of Cantor, Gödel, Tarski, Turing, etc. Surprisingly, the dialectic of mathematical logic from its inception (...) through the discovery of the diagonal theorems can be recognized as a particularly clear instance of the drama of reflection according to Sartre, especially in the positing and overcoming of its proper value-ideal, viz. the synthesis of consistency and completeness. Conversely, this translation solves a number of systematic problems about pure reflection’s relations to accessory reflection, phenomenological reflection, pre-reflective self-consciousness, conversion, and value. Negative foundations, the metaphysical position emerging from this translation between existential philosophy and metalogic, concurs by different paths with Badiou’s Being and Event in rejecting both ontotheological foundationalisms and constructivist antifoundationalisms. (shrink)

About selected philosophical questions of the past and today, with Egon Bondy (1930-2007). In a reaction to his response, I'll add a redefinition of the existential view of decision that is incomplete, and an explanation why 'social science' can be mathematized. The article also include my other ideas which have been developed since 1995. The interview was published in Blisty and Nove Slovo (2003), and some experts were published in The Ice House, Holland Park, London (2013), and Parallax Art Fair (...) (2015). (shrink)

In his article “Insight: Genesis and Ongoing Context,” Fred Crowe calls out Lonergan’s line “the diagram is more important than…is ordinarily believed” as the “philosophical understatement of the century.” Sixteen pages later he identifies elaborating an invariant cognitional theory to underlie generalized emergent probability and thus “the immanent order of the universe of proportionate being,” as “our challenge,” “but given the difficulty” he does not “see any prospect for an immediate answer.” Could this have something to do with the lack (...) of a comprehensive diagram of cognitional theory? Appendix A of The Boston College Lectures on Mathematical Logic and Existentialism offers diagrams of the dynamics of knowing and doing perhaps copied from Lonergan’s own blackboard work, but they do not distinguish explanatory and descriptive insights, let alone statistical insights, and do not illustrate the pull upwards or the fusing of routinized insights. Before we can effectively relate cognitional theory to generalized emergent probability, we must have an adequately rigorous and precise cognitional theory. I firmly believe in the truth of Lonergan’s fundamental insights, but in order to rigorously undergird generalized emergent probability there are many pertinent questions about his cognitional theory which must be asked and answered. In this paper I (1) review some of Lonergan’s attempts to diagram cognitional theory and discuss what insights they do and do not express, (2) elaborate and defend principles for making our formulations of insight into insight rigorous and clear, and (3) attempt to build up a diagram which makes full use of those principles in a maximally expressive way. (shrink)

In this short paper it is aimed to show that the concept of the “function”(the ergon) is such a concept that beyond its use in everyday language as a process or functioning, it can be considered as a mathematical function, and rather than modeling the phenomenon that is thought (by Aristotle)to correspond to reality, it models the derivative of this phenomenon, therefore it can be likened to a derivative function and the function obtained through its integration would better explain (...) the actual phenomenon, and interestingly, existentialists, who often reject the function argument, approach this more closely. (shrink)

First published in 1990, _Existentialism_ is widely regarded as a classic introductory survey of the topic, and has helped to renew interest in existentialist philosophy. The author places existentialism within the great traditions of philosophy, and argues that it deserves as much attention from analytic philosophers as it has always received on the continent.

Existentialism claims that propositions that directly refer to individuals depend on those individuals for their existence. I argue for two points regarding Existentialism. First, I argue that recent accounts of Existentialism run into difficulties accommodating the possibility of there being a lonely alien electron. This problem is distinct from one of the better-known alien problems—concerning iterated modal properties of aliens—and can’t be solved using a standard response to the iterated case. Second, though the lonely alien electron problem (...) might seem to be reason to reject the sort of Existentialist view at hand, there’s a plausible way to preserve the view: accept the existence of possible worlds that directly refer to individuals that don’t exist in those worlds. Such a solution might seem incompatible with Existentialism, but I show that Existentialists can avoid the incompatibility and should find the resulting view plausible. (shrink)

I defend a neo-Kantian view wherein we are capable of being completely autonomous and impartial and argue that this ability can ground normativity. As this view includes an existentialist conception of the self, I defend radical choice, a primary component of that conception, against arguments many take to be definitive. I call the ability to use radical choice “existentialist voluntarism” and bring it into a current debate in normative philosophy, arguing that it allows that we can be distanced from all (...) ends at once so as to be completely impartial. Finally, I indicate how this can be the source of normativity as it provides a purely impartial reason for being rational. (shrink)

Existentialism concerning singular propositions is the thesis that singular propositions ontologically depend on the individuals they are directly about in such a way that necessarily, those propositions exist only if the individuals they are directly about exist. Haecceitism is the thesis that what non-qualitative facts there are fails to supervene on what purely qualitative facts there are. I argue that existentialism concerning singular propositions entails the denial of haecceitism and that this entailment has interesting implications for debates concerning (...) the philosophy of language, the nature of propositions, and the metaphysics of modality. (shrink)

There is a major debate as to whether there are non-causal mathematical explanations of physical facts that show how the facts under question arise from a degree of mathematical necessity considered stronger than that of contingent causal laws. We focus on Marc Lange’s account of distinctively mathematical explanations to argue that purported mathematical explanations are essentially causal explanations in disguise and are no different from ordinary applications of mathematics. This is because these explanations work not by (...) appealing to what the world must be like as a matter of mathematical necessity but by appealing to various contingent causal facts. (shrink)

This essay utilizes the work of the comedy group, Monty Python, as a means of introducing basic concepts in Existentialism, especially as it pertains to the writings of Nietzsche, Sartre, and Camus.

K denotes both the knowledge predicate satisfied by every currently known theorem and the finite set of all currently known theorems. The set K is time-dependent, publicly available, and contains theorems both from formal and constructive mathematics. Any theorem of any mathematician from past or present forever belongs to K. Mathematical statements with known constructive proofs exist in K separately and form the set K_c⊆K. We assume that mathematical sets are atemporal entities. They exist formally in ZFC theory (...) although their properties can be time-dependent (when they depend on K) or informal. The true statement "K is non-empty" is outside K forever because K is not a formal set. Paul Cohen proved in 1963 that the equality 2^{\aleph_0}=\aleph_1 is independent of ZFC. Before 1963, the statement "There is a known constructively defined integer n⩾1 such that 2^{\aleph_0}=\aleph_n" was outside K. Since 1963, this statement is outside K forever. The true statement "There exists a set X⊆{1,...,49} such that card(X)=6 and X never occurred as the winning six numbers in the Polish Lotto lottery" refers to the current non-mathematical knowledge and is outside K forever. In Martin-Löf's terminology, every currently known theorem is actually true whereas every theorem (known or unknown) is potentially true. Actual truth is knowledge dependent and tensed. Potential truth is knowledge independent and tenseless. Algorithms always terminate. We explain the distinction between algorithms whose existence is provable in ZFC and constructively defined algorithms which are currently known. By using this distinction, we obtain non-trivially true statements on decidable sets X⊆N that belong to constructive and informal mathematics and refer to the current mathematical knowledge on X. For every such statement, its truth concerning the current mathematical knowledge is implied by a true statement of the form: (the conjunction of i conditions of the form α∈K)∧(the conjunction of j conditions of the form β∉K)∧(the conjunction of k conditions of the form γ∈K_c)∧(the conjunction of l conditions of the form δ∉K_c), where i,j,k,l∈N and α,β,γ,δ are mathematical statements. In constructive mathematics and the traditional Brouwerian intuitionism, the truth of a mathematical statement means that we know a constructive proof. Therefore, the truth of a mathematical statement depends on time, where the statement is formally stated in the classical mathematics without the predicate K. In this article, mathematical statements on decidable sets X⊆N refer to time because they refer to the current mathematical knowledge on X. They cannot be formally stated in the classical mathematics without the predicate K and their logical values may change in time. For a set X⊆N whose infiniteness is false or unproven, we define which elements of X are classified as known. No known set X⊆N satisfies Conditions (1)-(4) and is widely known in number theory or naturally defined, where this term has only informal meaning. (1) A known algorithm with no input returns an integer n satisfying card(X)<ω ⇒ X⊆(-∞,n]. (2) A known algorithm for every k∈N decides whether or not k∈X. (3) For every known algorithm A with no input, the statement "A returns the logical value of the statement card(X)=ω" is outside K. (4) There are many elements of X and it is conjectured, though so far unproven, that X is infinite. (5) X is naturally defined. The infiniteness of X is false or unproven. X has the simplest definition among known sets Y⊆N with the same set of known elements. No set X⊆N will satisfy Conditions (1)-(4) forever, if for every algorithm with no input, at some future day, a computer will be able to execute this algorithm in 1 second or less. The physical limits of computation disprove the assumption of the above statement. We prove that the set X={n∈N: the interval [-1,n] contains more than 29.5+(11!/(3n+1))∙sin(n) primes of the form k!+1} satisfies Conditions (1)-(5) except the requirement that X is naturally defined. We present a table that shows satisfiable conjunctions of the form #(Condition1)∧(Condition 2)∧#(Condition 3)∧(Condition 4)∧#(Condition 5), where # denotes the negation ¬ or the absence of any symbol. We prove that there exists a naturally defined set C⊆N which satisfies the following conditions (6)-(11). (6) A known and simple algorithm for every k∈N decides whether or not k∈C. (7) For every known algorithm A with no input, the statement "A returns the logical value of the statement card(C)=ω" is outside K. (8) For every known algorithm A with no input, the statement "A returns the logical value of the statement card(N\C)=ω" is outside K. (9) It is conjectured, though so far unproven, that C is infinite. (10) For every known algorithm A with no input, the statement "A returns an integer n satisfying card(C)<ω ⇒ C⊆(-∞,n]" is outside K. (11) For every known algorithm A with no input, the statement "A returns an integer m satisfying card(N\C)<ω ⇒ N\C⊆(-∞,m]" is outside K. The set C={k∈N: 2^{2^k}+1 is composite} is naturally defined and satisfies conditions (6)-(11). (shrink)

In this essay I consider the question that divides quetism from existentialism and to defend a particular line on that question. The essay is in three main sections. In the first I set out a view of philosophy under which it grows out of reflection on the views that shape ordinary practice. In the second section I outline a theory as to how exactly practice commits us to such views. And then in the third section I argue on the (...) basis of that account that, notwithstanding serious difficulties, philosophy can feed back onto the views that inform practice and recast them in various ways. I reject the existentialist vision according to which there is no limit to how far philosophy may lead us to reconstruct ourselves. But I also reject the quietist view that philosophy must leave everything as it was. Under the picture adopted, philosophy can be expected to have a threefold impact--meditative, methodological, and moral--on people's habits of experience and behaviour. (shrink)

I argue that the overt subjugation in the system of American slavery and its subsequent effects offer a case study for an existentialist analysis of freedom, oppression and humor. Concentrating on the writings and experiences of Frederick Douglass and the existentialists Simone De Beauvoir and Lewis Gordon, I investigate how the concepts of “spirit of seriousness”, “mystification”, and an existentialist reading of “double consciousness” for example, can elucidate the forms of explicit and concealed oppression. I then make the case that (...) subversive humor is an effective means to bring to consciousness the inconsistencies and incongruities of the serious oppressors. I also illustrate how humor can act as a bulwark against the rise and persistence of oppression by (non-violently) attacking the absolutist stance on human nature maintained through the use of dominating and “authoritative” language and action. (shrink)

Existentialism is a concern about the foundation of meaning, morals, and purpose. Existentialisms arise when some foundation for these elements of being is under assault. In the past, first-wave existentialism concerned the increasingly apparent inability of religion, and religious tradition, to provide such a foundation, as typified in the writings of Kierkegaard, Dostoevsky, and Nietzsche. Second-wave existentialism, personified philosophically by Sartre, Camus, and de Beauvoir, developed in response to the inability of an overly optimistic Enlightenment vision of (...) reason and the common good to provide such a foundation. There is a third-wave existentialism, a new existentialism, developing in response to advances in the neurosciences that threaten the last vestiges of an immaterial soul or self. With the increasing explanatory and therapeutic power of neuroscience, the mind no longer stands apart from the world to serve as a foundation of meaning. This produces foundational anxiety. This collection of new essays explores the anxiety caused by this third-wave existentialism and some responses to it. It brings together some of the world’s leading philosophers, neuroscientists, cognitive scientists, and legal scholars to tackle our neuroexistentialist predicament and explore what the mind sciences can tell us about morality, love, emotion, autonomy, consciousness, selfhood, free will, moral responsibility, law, the nature of criminal punishment, meaning in life, and purpose. (shrink)

This article presents a dual purpose: to carefully consider objections against the existentialist conception of the content of visual experience and to develop and defend a version of it that avoids such objections, specifically addressing the so-called "problem of particularity." The main thesis is that the existential content of visual experience should be understood as relativized, being incomplete content (rather than classical, complete propositions), modeled as a function of the sextuple of the object, agent, time, place, causal relation, and world (...) to absolute values. (shrink)

Central to philosophical practice is the application of philosophers' work by philosophical practitioners to inspire, educate, and guide their clients. For example, in Logic-Based Therapy (LBT) philosophical practitioners help their clients to find an uplifting philosophy that promotes guiding virtues that counteract unrealistic and often self-defeating conclusions derived from irrational premises. I will present the argument that Simone de Beauvoir’s existentialist ethics can be applied as an uplifting philosophy as per LBT methodology, and therefore has utility for philosophical practice. Additionally, (...) I will propose that Beauvoir’s existentialist ethics, as an uplifting philosophy, may act as an antidote for ideological obsession and ideology addiction. I will also suggest that LBT may be a suitable intervention when challenging the unrealistic conclusions derived from illogical premises in practical reasoning that contribute to ideological obsession, because it can contest irrational beliefs in a way that could mitigate the fragmentation anxiety that often arise when individuals relinquish maladaptive self-object organizations. (shrink)

In these days, there is an increasing technological development in intelligent tutoring systems. This field has become interesting to many researchers. In this paper, we present an intelligent tutoring system for teaching mathematics that help students understand the basics of math and that helps a lot of students of all ages to understand the topic because it's important for students of adding and subtracting. Through which the student will be able to study the course and solve related problems. An evaluation (...) of the intelligent tutoring systems was carried out and the results were encouraging. (shrink)

I argue that certain species of belief, such as mathematical, logical, and normative beliefs, are insulated from a form of Harman-style debunking argument whereas moral beliefs, the primary target of such arguments, are not. Harman-style arguments have been misunderstood as attempts to directly undermine our moral beliefs. They are rather best given as burden-shifting arguments, concluding that we need additional reasons to maintain our moral beliefs. If we understand them this way, then we can see why moral beliefs are (...) vulnerable to such arguments while mathematical, logical, and normative beliefs are not—the very construction of Harman-style skeptical arguments requires the truth of significant fragments of our mathematical, logical, and normative beliefs, but requires no such thing of our moral beliefs. Given this property, Harman-style skeptical arguments against logical, mathematical, and normative beliefs are self-effacing; doubting these beliefs on the basis of such arguments results in the loss of our reasons for doubt. But we can cleanly doubt the truth of morality. (shrink)

I introduce an argument for Platonism based on intra-mathematical explanation: the explanation of one mathematical fact by another. The argument is important for two reasons. First, if the argument succeeds then it provides a basis for Platonism that does not proceed via standard indispensability considerations. Second, if the argument fails it can only do so for one of three reasons: either because there are no intra-mathematical explanations, or because not all explanations are backed by dependence relations, or (...) because some form of noneism-the view according to which non-existent entities possess properties and stand in relations-is true. The argument thus forces a choice between nominalism without noneism, intra-mathematical explanation and a backing conception of explanation. You can have any two, but not all three. (shrink)

This monograph offers a fresh perspective on the applicability of mathematics in science. It explores what mathematics must be so that its applications to the empirical world do not constitute a mystery. In the process, readers are presented with a new version of mathematical structuralism. The author details a philosophy of mathematics in which the problem of its applicability, particularly in physics, in all its forms can be explained and justified. Chapters cover: mathematics as a formal science, mathematical (...) ontology: what does it mean to exist, mathematical structures: what are they and how do we know them, how different layers of mathematical structuring relate to each other and to perceptual structures, and how to use mathematics to find out how the world is. The book simultaneously develops along two lines, both inspired and enlightened by Edmund Husserl’s phenomenological philosophy. One line leads to the establishment of a particular version of mathematical structuralism, free of “naturalist” and empiricist bias. The other leads to a logical-epistemological explanation and justification of the applicability of mathematics carried out within a unique structuralist perspective. This second line points to the “unreasonable” effectiveness of mathematics in physics as a means of representation, a tool, and a source of not always logically justified but useful and effective heuristic strategies. (shrink)

Recent experimental evidence from developmental psychology and cognitive neuroscience indicates that humans are equipped with unlearned elementary mathematical skills. However, formal mathematics has properties that cannot be reduced to these elementary cognitive capacities. The question then arises how human beings cognitively deal with more advanced mathematical ideas. This paper draws on the extended mind thesis to suggest that mathematical symbols enable us to delegate some mathematical operations to the external environment. In this view, mathematical symbols (...) are not only used to express mathematical concepts—they are constitutive of the mathematical concepts themselves. Mathematical symbols are epistemic actions, because they enable us to represent concepts that are literally unthinkable with our bare brains. Using case-studies from the history of mathematics and from educational psychology, we argue for an intimate relationship between mathematical symbols and mathematical cognition. (shrink)

Some authors have begun to appeal directly to studies of argumentation in their analyses of mathematical practice. These include researchers from an impressively diverse range of disciplines: not only philosophy of mathematics and argumentation theory, but also psychology, education, and computer science. This introduction provides some background to their work.

Pluralist mathematical realism, the view that there exists more than one mathematical universe, has become an influential position in the philosophy of mathematics. I argue that, if mathematical pluralism is true (and we have good reason to believe that it is), then mathematical realism cannot (easily) be justified by arguments from the indispensability of mathematics to science. This is because any justificatory chain of inferences from mathematical applications in science to the total body of (...) class='Hi'>mathematical theorems can cover at most one mathematical universe. Indispensability arguments may thus lose their central role in the debate about mathematical ontology. (shrink)

We demonstrate how real progress can be made in the debate surrounding the enhanced indispensability argument. Drawing on a counterfactual theory of explanation, well-motivated independently of the debate, we provide a novel analysis of ‘explanatory generality’ and how mathematics is involved in its procurement. On our analysis, mathematics’ sole explanatory contribution to the procurement of explanatory generality is to make counterfactual information about physical dependencies easier to grasp and reason with for creatures like us. This gives precise content to key (...) intuitions traded in the debate, regarding mathematics’ procurement of explanatory generality, and adjudicates unambiguously in favour of the nominalist, at least as far as explanatory generality is concerned. (shrink)

_ Source: _Volume 6, Issue 2-3, pp 120 - 142 This paper aims to contribute to the debate over epistemic versus non-epistemic readings of the ‘hinges’ in Wittgenstein’s _On Certainty_. I follow Marie McGinn’s and Daniele Moyal-Sharrock’s lead in developing an analogy between mathematical sentences and certainties, and using the former as a model for the latter. However, I disagree with McGinn’s and Moyal-Sharrock’s interpretations concerning Wittgenstein’s views of both relata. I argue that mathematical sentences as well as (...) certainties are true and are propositions; that some of them can be epistemically justified; that in some senses they are not prior to empirical knowledge; that they are not ineffable; and that their primary function is epistemic as much as it is semantic. (shrink)

Call an explanation in which a non-mathematical fact is explained—in part or in whole—by mathematical facts: an extra-mathematical explanation. Such explanations have attracted a great deal of interest recently in arguments over mathematical realism. In this article, a theory of extra-mathematical explanation is developed. The theory is modelled on a deductive-nomological theory of scientific explanation. A basic DN account of extra-mathematical explanation is proposed and then redeveloped in the light of two difficulties that the (...) basic theory faces. The final view appeals to relevance logic and uses resources in information theory to understand the explanatory relationship between mathematical and physical facts. 1Introduction2Anchoring3The Basic Deductive-Mathematical Account4The Genuineness Problem5Irrelevance6Relevance and Information7Objections and Replies 7.1Against relevance logic7.2Too epistemic7.3Informational containment8Conclusion. (shrink)

We present an approach in which ancient Greek mathematical proofs by Hippocrates of Chios and Euclid are addressed as a form of (guided) intentional reasoning. Schematically, in a proof, we start with a sentence that works as a premise; this sentence is followed by another, the conclusion of what we might take to be an inferential step. That goes on until the last conclusion is reached. Guided by the text, we go through small inferential steps; in each one, we (...) go through an autonomous reasoning process linking the premise to the conclusion. The reasoning process is accompanied by a metareasoning process. Metareasoning gives rise to a feeling-knowing of correctness. In each step/cycle of the proof, we have a feeling-knowing of correctness. Overall, we reach a feeling of correctness for the whole proof. We suggest that this approach allows us to address the issues of how a proof functions, for us, as an enabler to ascertain the correctness of its argument and how we ascertain this correctness. (shrink)

Analysing several characteristic mathematical models: natural and real numbers, Euclidean geometry, group theory, and set theory, I argue that a mathematical model in its final form is a junction of a set of axioms and an internal partial interpretation of the corresponding language. It follows from the analysis that (i) mathematical objects do not exist in the external world: they are our internally imagined objects, some of which, at least approximately, we can realize or represent; (ii) (...) class='Hi'>mathematical truths are not truths about the external world but specifications (formulations) of mathematical conceptions; (iii) mathematics is first and foremost our imagined tool by which, with certain assumptions about its applicability, we explore nature and synthesize our rational cognition of it. (shrink)

An analysis of the counter-intuitive properties of infinity as understood differently in mathematics, classical physics and quantum physics allows the consideration of various paradoxes under a new light (e.g. Zeno’s dichotomy, Torricelli’s trumpet, and the weirdness of quantum physics). It provides strong support for the reality of abstractness and mathematical Platonism, and a plausible reason why there is something rather than nothing in the concrete universe. The conclusions are far reaching for science and philosophy.

There is a wide range of realist but non-Platonist philosophies of mathematics—naturalist or Aristotelian realisms. Held by Aristotle and Mill, they played little part in twentieth century philosophy of mathematics but have been revived recently. They assimilate mathematics to the rest of science. They hold that mathematics is the science of X, where X is some observable feature of the (physical or other non-abstract) world. Choices for X include quantity, structure, pattern, complexity, relations. The article lays out and compares these (...) options, including their accounts of what X is, the examples supporting each theory, and the reasons for identifying the science of X with (most or all of) mathematics. Some comparison of the options is undertaken, but the main aim is to display the spectrum of viable alternatives to Platonism and nominalism. It is explained how these views answer Frege’s widely accepted argument that arithmetic cannot be about real features of the physical world, and arguments that such mathematical objects as large infinities and perfect geometrical figures cannot be physically realized. (shrink)

The published works of scientists often conceal the cognitive processes that led to their results. Scholars of mathematical practice must therefore seek out less obvious sources. This article analyzes a widely circulated mathematical joke, comprising a list of spurious proof types. An account is proposed in terms of argumentation schemes: stereotypical patterns of reasoning, which may be accompanied by critical questions itemizing possible lines of defeat. It is argued that humor is associated with risky forms of inference, which (...) are essential to creative mathematics. The components of the joke are explicated by argumentation schemes devised for application to topic-neutral reasoning. These in turn are classified under seven headings: retroduction, citation, intuition, meta-argument, closure, generalization, and definition. Finally, the wider significance of this account for the cognitive science of mathematics is discussed. (shrink)

Callard (2007) argues that it is metaphysically possible that a mathematical object, although abstract, causally affects the brain. I raise the following objections. First, a successful defence of mathematical realism requires not merely the metaphysical possibility but rather the actuality that a mathematical object affects the brain. Second, mathematical realists need to confront a set of three pertinent issues: why a mathematical object does not affect other concrete objects and other mathematical objects, what counts (...) as a mathematical object, and how we can have knowledge about an unchanging object. (shrink)

The existence of fundamental moral disagreements is a central problem for moral realism and has often been contrasted with an alleged absence of disagreement in mathematics. However, mathematicians do in fact disagree on fundamental questions, for example on which set-theoretic axioms are true, and some philosophers have argued that this increases the plausibility of moral vis-à-vis mathematical realism. I argue that the analogy between mathematical and moral disagreement is not as straightforward as those arguments present it. In particular, (...) I argue that pluralist accounts of mathematics render fundamental mathematical disagreements compatible with mathematical realism in a way in which moral disagreements and moral realism are not. 11. (shrink)

As philosophical and scientific arguments for free will skepticism continue to gain traction, we are likely to see a fundamental shift in the way people think about free will and moral responsibility. Such shifts raise important practical and existential concerns: What if we came to disbelieve in free will? What would this mean for our interpersonal relationships, society, morality, meaning, and the law? What would it do to our standing as human beings? Would it cause nihilism and despair as some (...) maintain or would it rather have a humanizing effect on our practices and policies, freeing us from the negative effects of belief in free will? In this chapter we consider the practical implications of free will skepticism and argue that life without free will and basic desert moral responsibility would not be as destructive as many people believe. We argue that prospects of finding meaning in life or of sustaining good interpersonal relationships, for example, would not be threatened. On treatment of criminals, we argue that although retributivism and severe punishment, such as the death penalty, would be ruled out, preventive detention and rehabilitation programs would still be justified. While we will touch on all these issues below, our focus will be primarily on this last issue. -/- We begin in section I by considering two different routes to free will skepticism. The first denies the causal efficacy of the types of willing required for free will and receives its contemporary impetus from pioneering work in neuroscience by Benjamin Libet, Daniel Wegner, and John-Dylan Haynes. The second, which is more common in the philosophical literature, does not deny the causal efficacy of the will but instead claims that whether this causal efficacy is deterministic or indeterministic, it does not achieve the level of control to count as free will by the standards of the historical debate. We argue that while there are compelling objections to the first route—e.g., Al Mele (2009), Eddy Nahmias (2002, 2011), and Neil Levy (2005)—the second route to free will skepticism remains intact. In section II we argue that free will skepticism allows for a workable morality, and, rather than negatively impacting our personal relationships and meaning in life, may well improve our well-being and our relationships to others since it would tend to eradicate an often destructive form of moral anger. In section III we argue that free will skepticism allows for adequate ways of responding to criminal behavior—in particular, incapacitation, rehabilitation, and alternation of relevant social conditions—and that these methods are both morally justified and sufficient for good social policy. We present and defend our own preferred model for dealing with dangerous criminals, an incapacitation account built on the right to self-protection analogous to the justification for quarantine (see Pereboom 2001, 2013, 2014a; Caruso 2016a), and we respond to recent objections to it by Michael Corrado and John Lemos. (shrink)

Published in 1903, this book was the first comprehensive treatise on the logical foundations of mathematics written in English. It sets forth, as far as possible without mathematical and logical symbolism, the grounds in favour of the view that mathematics and logic are identical. It proposes simply that what is commonly called mathematics are merely later deductions from logical premises. It provided the thesis for which _Principia Mathematica_ provided the detailed proof, and introduced the work of Frege to a (...) wider audience. In addition to the new introduction by John Slater, this edition contains Russell's introduction to the 1937 edition in which he defends his position against his formalist and intuitionist critics. (shrink)

Kant’s critical philosophy represents a rudimentary existentialism, or a proto-existentialism, in the following respects: He emphasizes human finitude, limits our knowledge, and argues that human consciousness is characterized by mineness (Jemeinigkeit). He introduces the influential concept of autonomy, something that lead to controversies about constructivism and anti-realism in meta-ethics and anticipated problems concerning decisionism in Existentialism. Kant makes human freedom the central philosophical issue, arguing (in the incorporation thesis) that freedom is inescapable for human agents. He even (...) holds that awareness of freedom leads to anxiety (as opposed to fear), and that anxiety precedes the fall into evil. In the doctrine of radical evil, he argues that human agents are always already suffering from self-deception because of this fall. In order to overcome self-deception and evil, Kant proscribes a radical self-choice in which the agent takes over himself and society by thinking independently and consistently. However, this is not only a moral issue for Kant but also something that concerns religious faith and hope, since Kant argues that we need religion to overcome not only moral evil but also despair. Although he criticizes traditional natural theology, Kant develops a practical (moral) interpretation of religion that anticipates religious Existentialism. In this context, he developed an influential critique of philosophical theodicies and a notion of the hiddenness of God that emphasizes the importance and inscrutability of evil. By doing this, and by introducing philosophy of religion and philosophical anthropology as new disciplines, Kant prepared the ground for Existentialism. (shrink)

Indispensablists argue that when our belief system conflicts with our experiences, we can negate a mathematical belief but we do not because if we do, we would have to make an excessive revision of our belief system. Thus, we retain a mathematical belief not because we have good evidence for it but because it is convenient to do so. I call this view ‘ mathematical convenientism.’ I argue that mathematical convenientism commits the consequential fallacy and that (...) it demolishes the Quine-Putnam indispensability argument and Baker’s enhanced indispensability argument. (shrink)

This paper examines W.E.B. Du Bois's Darkwater as an existentialist text offering a conception of socialism best characterized as Africana existentialist socialism. It argues for a conception of Africana existentialism as inclusive of issues of collective, and not solely individual responsibility. Darkwater is interpreted in terms of a unifying thematic of a humanist anti-theodicy, our of which emerges Du Bois's conception of an ideal of "service without servants." This socialistic ideal is in turn worked out in relation to the (...) figure of "the Immortal Child.". (shrink)

In this paper, I introduce the idea that some important parts of contemporary pure mathematics are moving away from what I call the extensional point of view. More specifically, these fields are based on criteria of identity that are not extensional. After presenting a few cases, I concentrate on homotopy theory where the situation is particularly clear. Moreover, homotopy types are arguably fundamental entities of geometry, thus of a large portion of mathematics, and potentially to all mathematics, at least according (...) to some speculative research programs. (shrink)

Monsters lurk within mathematical as well as literary haunts. I propose to trace some pathways between these two monstrous habitats. I start from Jeffrey Jerome Cohen’s influential account of monster culture and explore how well mathematical monsters fit each of his seven theses. The mathematical monsters I discuss are drawn primarily from three distinct but overlapping domains. Firstly, late nineteenth-century mathematicians made numerous unsettling discoveries that threatened their understanding of their own discipline and challenged their intuitions. The (...) great French mathematician Henri Poincaré characterised these anomalies as ‘monsters’, a name that stuck. Secondly, the twentieth-century philosopher Imre Lakatos composed a seminal work on the nature of mathematical proof, in which monsters play a conspicuous role. Lakatos coined such terms as ‘monster-barring’ and ‘monster-adjusting’ to describe strategies for dealing with entities whose properties seem to falsify a conjecture. Thirdly, and most recently, mathematicians dubbed the largest of the sporadic groups ‘the Monster’, because of its vast size and uncanny properties, and because its existence was suspected long before it could be confirmed. (shrink)

What is existentialism?--Heidegger: the silent power of the possible.

This contribution aims to explore the historical predecessors of the Five Percenter model of self-realization, as popularized by Hip Hop artists such as Supreme Team, Rakim Allah, Brand Nubian, Wu-Tang Clan, or Sunz of Man. As compared to frequent considerations of the phenomenon as a creative mythological background for a socio-political struggle, Five Percenter teachings shall be discussed as contemporary interpretations of historical models of self-realization in various philosophical, religious, and esoteric systems. By putting the coded system of the tenfold (...) Supreme Mathematics as one of its core teachings in context with the Pythagorean Tetractys, an arrangement of ten points in four lines, the commonalities between the sequence and concepts attributed to the respective numbers will be demonstrated. (shrink)

This article presents a challenge that those philosophers who deny the causal interpretation of explanations provided by population genetics might have to address. Indeed, some philosophers, known as statisticalists, claim that the concept of natural selection is statistical in character and cannot be construed in causal terms. On the contrary, other philosophers, known as causalists, argue against the statistical view and support the causal interpretation of natural selection. The problem I am concerned with here arises for the statisticalists because the (...) debate on the nature of natural selection intersects the debate on whether mathematical explanations of empirical facts are genuine scientific explanations. I argue that if the explanations provided by population genetics are regarded by the statisticalists as non-causal explanations of that kind, then statisticalism risks being incompatible with a naturalist stance. The statisticalist faces a dilemma: either she maintains statisticalism but has to renounce naturalism; or she maintains naturalism but has to content herself with an account of the explanations provided by population genetics that she deems unsatisfactory. This challenge is relevant to the statisticalists because many of them see themselves as naturalists. (shrink)

Mathematics is everywhere and yet its objects are nowhere. There may be five apples on the table but the number five itself is not to be found in, on, beside or anywhere near the apples. So if not in space and time, where are numbers and other mathematical objects such as perfect circles and functions? And how do we humans discover facts about them, be it Pythagoras’ Theorem or Fermat’s Last Theorem? The metaphysical question of what numbers are and (...) the epistemological question of how we know about them are central to the philosophy of mathematics. These and related philosophical questions are of particular interest because of mathematics’ unusual status. Mathematics is exceptional in that, on the one hand, it appears unhesitatingly true—no one doubts that 2 + 3 = 5—but on the other, as just noted, it is not about the physical world. This ambivalent status is what gives the philosophy of mathematics its special interest. The philosophy of mathematics is also one of the oldest academic fields, more or less coeval with philosophy itself. But contemporary philosophy of mathematics is rather different from its pre-twentieth-century antecedents, largely for three reasons. The first is that since the seventeenth century, mathematics has become integral to science. Science has over the past few centuries become increasingly mathematical, and indeed the fundamental science of nature, physics, is today recognised as a branch of applied mathematics. The second is that mathematics underwent a transformation in the course of nineteenth century: having started the century as a rather traditional-looking science of quantity it emerged a hundred years later a radically transformed abstract theory of structure. The final factor in the transformation of the philosophy of mathematics is the rise of modern logic. Developed by Frege, Cantor and others in the late nineteenth century, modern logic pervades contemporary mathematics, philosophy and computer science, and has had an immeasurable effect on the philosophy of mathematics. These volumes will collect the major works in this major field, with a focus on the last few decades. The anthology will include technical work, which interprets philosophically significant mathematical results or subfields of mathematics, as well as purely philosophical writing, aimed at those without advanced mathematics. The collection should be of interest to both philosophers and mathematicians, as well as to anyone who is susceptible to wondering what the main intellectual tool used in science, economics and finance, and indeed everyday life is ultimately about. (shrink)

For over thirty years I have argued that all branches of science and scholarship would have both their intellectual and humanitarian value enhanced if pursued in accordance with the edicts of wisdom-inquiry rather than knowledge-inquiry. I argue that this is true of mathematics. Viewed from the perspective of knowledge-inquiry, mathematics confronts us with two fundamental problems. (1) How can mathematics be held to be a branch of knowledge, in view of the difficulties that view engenders? What could mathematics be knowledge (...) about? (2) How do we distinguish significant from insignificant mathematics? This is a fundamental philosophical problem concerning the nature of mathematics. But it is also a practical problem concerning mathematics itself. In the absence of the solution to the problem, there is the danger that genuinely significant mathematics will be lost among the unchecked growth of a mass of insignificant mathematics. This second problem cannot, it would seem, be solved granted knowledge-inquiry. For, in order to solve the problem, mathematics needs to be related to values, but this is, it seems, prohibited by knowledge-inquiry because it could only lead to the subversion of mathematical rigour. Both problems are solved, however, when mathematics is viewed from the perspective of wisdom-inquiry. (1) Mathematics is not a branch of knowledge. It is a body of systematized, unified and inter-connected problem-solving methods, a body of problematic possibilities. (2) A piece of mathematics is significant if (a) it links up to the interconnected body of existing mathematics, ideally in such a way that some problems difficult to solve in other branches become much easier to solve when translated into the piece of mathematics in question; (b) it has fruitful applications for (other) worthwhile human endeavours. If ever the revolution from knowledge to wisdom occurs, I would hope wisdom mathematics would flourish, the nature of mathematics would become much more transparent, more pupils and students would come to appreciate the fascination of mathematics, and it would be easier to discern what is genuinely significant in mathematics (something that baffled even Einstein). As a result of clarifying what should count as significant, the pursuit of wisdom mathematics might even lead to the development of significant new mathematics. (shrink)

In this handbook, I put into practice my philosophical views on children's mathematics. The handbook contains brief instructions and examples of mathematical activities. In the INSTRUCTIONS section, instructions are given on how, and in part why that way, to help preschool children in their mathematical development. In the ACTIVITIES section, there are examples of activities through which the child develops her mathematical abilities.

The study determined the influence of innate mathematical characteristics on the number sense competencies of junior high school students in a Philippine public school. The descriptive-correlational research design was used to accomplish the study involving a nonrandom sample of sixty 7th-grade students attending synchronous math sessions. Data obtained from the math-specific Learning Style and Self-Efficacy questionnaires and the modified Number Sense Test (NST) were analyzed and interpreted using descriptive statistics, Pearson’s Chi-Square, and Simple Linear Regression analysis. The research instruments (...) and statistics were all validated and tested for reliability. The analysis revealed that the students are visual learners, had no or slight self-efficacy, and their number sense competency level is poor. They encountered difficulty in all the components and domains of the NST. Moreover, the students’ mathematical self-efficacy is significantly related and may influence their number sense competency level. Building upon the learners’ self-efficacy to further their understanding and skills in number sense is necessary. (shrink)