The Schwarzschild solution (Schwarzschild, 1915/16) to Einstein’s General Theory of Relativity (GTR) is accepted in theoretical physics as the unique solution to GTR for a central-mass system. In this paper I propose an alternative solution to GTR, and argue it is both logically consistent and empirically realistic as a theory of gravity. This solution is here called K-gravity. The introduction explains the basic concept. The central sections go through the technical detail, defining the basic solution for the geometric tensor, the (...) Christoffel symbols, Ricci tensor, Ricci scalar, Einstein tensor, stress-energy tensor and density-pressure for the system. The density is integrated, and some consistency properties are demonstrated. A notable feature is the disappearance of the event horizon singularity, i.e. there are no black holes. So far this is for a single central mass. A generalization of the solution for multiple masses is then proposed. This is required to support K-gravity as a viable general interpretation of gravity. Then the question of empirical tests is discussed. It is argued that current observational data is almost but not quite sufficient to verify or falsify K-gravity. The Pioneer spacecraft trajectory data is of particular interest, as this is capable of providing a test; but the data (which originally showed anomalies that match K-gravity) is now uncertain. A new and very practical experiment is proposed to settle the matter. This would provide a novel test of GTR, and a novel test of the cause of the Pioneer anomalies. In conclusion, K-gravity has extensive ramifications for gravitational physics and for the philosophy of GTR and space-time. (shrink)

The standard model of cosmology is acclaimed in physics as accurate, robust, well-tested, our best scientific theory of the cosmos, but it has had serious anomalies for a while, including the Hubble tension, anomalous galaxies, and the completely unexplained nature of dark energy and dark matter. And lurking behind it all is the lack of a unified theory: General Relativity (GR) and quantum mechanics (QM) are inconsistent. Now startling new observations by the James Webb Space Telescope (JWST) in 2022 of (...) the early universe present the strongest challenge yet to the standard model, and whispers have started that this shows there is something wrong with the fundamental theory, General Relativity itself. This would be a crisis for cosmology. But haven’t they tested this theory already, and shown it is correct? How could it turn out wrong at this late stage? Here we compare the standard cosmology with an alternative fundamental theory, that has a strikingly different overall cosmological behavior: a simple cyclic expansion function. It is simple and deterministic. There are only two or three general parameters. The interesting result is that this alternative cosmology: (A) closely matches the expansion observed and modelled through the CDM standard model, now going back to red-shifts of 5-15; and (B) it also predicts unexpected early galaxy formation now being reported by the JWST. The point here is not to try to prove this alternative theory however, but rather show how it compares to the conventional cosmology. This show us clearly how weak the empirical evidence for the standard model really is against a counterfactual fundamental theory. Some results established in science are robust against theory change, but we find the standard cosmological model and the implications drawn from it are not robust at all. (shrink)

Physicists routinely claim that the fundamental laws of physics are 'time symmetric' or 'time reversal invariant' or 'reversible'. In particular, it is claimed that the theory of quantum mechanics is time symmetric. But it is shown in this paper that the orthodox analysis suffers from a fatal conceptual error, because the logical criterion for judging the time symmetry of probabilistic theories has been incorrectly formulated. The correct criterion requires symmetry between future-directed laws and past-directed laws. This criterion is formulated and (...) proved in detail. The orthodox claim that quantum mechanics is reversible is re-evaluated. The property demonstrated in the orthodox analysis is shown to be quite distinct from time reversal invariance. The view of Satosi Watanabe that quantum mechanics is time asymmetric is verified, as well as his view that this feature does not merely show a de facto or 'contingent' asymmetry, as commonly supposed, but implies a genuine failure of time reversal invariance of the laws of quantum mechanics. The laws of quantum mechanics would be incompatible with a time-reversed version of our universe. (shrink)

In his [1937, 1938], Paul Dirac proposed his “Large Number Hypothesis” (LNH), as a speculative law, based upon what we will call the “Large Number Coincidences” (LNC’s), which are essentially “coincidences” in the ratios of about six large dimensionless numbers in physics. Dirac’s LNH postulates that these numerical coincidences reflect a deeper set of law-like relations, pointing to a revolutionary theory of cosmology. This led to substantial work, including the development of Dirac’s later [1969/74] cosmology, and other alternative cosmologies, such (...) as the Brans-Dicke modification of GTR, and to extensive empirical tests. We may refer to the generic hypothesis of “Large Number Relations” (LNR’s), as the proposal that there are lawlike relations of some kind between the dimensionless numbers, not necessarily those proposed in Dirac’s early LNH. Such relations would have a profound effect on our concepts of physics, but they remain shrouded in mystery. Although Dirac’s specific proposals for LNR theories have been largely rejected, the subject retains interest, especially among cosmologists seeking to test possible variations in fundamental constants, and to explain dark energy or the cosmological constant. In the first two sections here we briefly summarize the basic concepts of LNR’s. We then introduce an alternative LNR theory, using a systematic formalism to express variable transformations between conventional measurement variables and the true variables of the theory. We demonstrate some consistency results and review the evidence for changes in the gravitational constant G. The theory adopted in the strongest tests of Ġ/G, by the Lunar Laser Ranging (LLR) experiments, assumes: Ġ/G = 3(dr/dt)/r – 2(dP/dt)/P – (dm/dt)/m, as a fundamental relationship. Experimental measurements show the RHS to be close to zero, so it is inferred that significant changes in G are ruled out. However when the relation is derived in our alternative theory it gives: Ġ/G = 3(dr/dt)/r – 2(dP/dt)/P – (dm/dt)/m – (dR/dt)/R. The extra final term (which is the Hubble constant) is not taken into account in conventional derivations. This means the LLR experiments are consistent with our LNR theory (and others), and they do not really test for a changing value of G at all. This failure to transform predictions of LNR theories correctly is a serious conceptual flaw in current experiment and theory. (shrink)

Introduction to alternative ontology of mind and physics based on the multi-dimensional model of A Geometric Theory of the Universe (Holster).

IBE ('Inference to the best explanation' or abduction) is a popular and highly plausible theory of how we should judge the evidence for claims of past events based on present evidence. It has been notably developed and supported recently by Meyer following Lipton. I believe this theory is essentially correct. This paper supports IBE from a probability perspective, and argues that the retrodictive probabilities involved in such inferences should be analysed in terms of predictive probabilities and a priori probability ratios (...) of initial events. The key point is to separate these two features. Disagreements over evidence can be traced to disagreements over either the a priori probability ratios or predictive conditional ratios. In many cases, in real science, judgements of the former are necessarily subjective. The principles of iterated evidence are also discussed. The Sceptic's position is criticised as ignoring iteration of evidence, and characteristically failing to adjust a priori probability ratios in response to empirical evidence. (shrink)

These are the first two chapters from a monograph (The Time Flow Manifesto, Holster, 2013-14; unpublished), defending the concepts of time directionality and time flow in physics and naturalistic metaphysics, against long-standing attacks from the ‘conventional philosophy of physical time’. This monograph sets out to disprove twelve specific “fallacies of the conventional philosophy”, stated in the first section below. These are the foundational principles of the conventional philosophy, which developed in the mid-C20th from positivist-inspired studies. The first chapter begins (...) by re-presenting the basic analysis of time reversal symmetry in the context of probabilistic or non-deterministic processes, removing the first critical error in the conventional account. The second chapter argues for a law-like explanation of physical time asymmetry and irreversibility, and shows how the ‘reversibility paradoxes’ are explained. (shrink)

In the philosophy of time, the neo-positivist is focussed above all else on sustaining the view called the static theory of time, as the very foundation of their scientific metaphysics. This is the deeply held metaphysical conviction of almost all ‘modern philosophical-scientific’ writers on time. In fact it is hardly too much to say that the entire official modern 20th Century philosophy of physics rests on the assumption that the static theory of space-time is the only concept of time we (...) can use in physics. The static theory of time prescribes the representational space for physics as being logically based on space-time – to the point physicists are incapable of conceiving a theory without space-time any longer, and mutter superstitiously among themselves if someone suggests such a thing. By extension, this space-time provides the representation of all reality for the modern scientific materialists, since they believe that everything ultimately reduces to physics. This agenda simultaneously requires discrediting the alternative concept of time flow and the associated traditional metaphysical concepts that it supports. This Chapter explains the concept of time flow and contrasts it with the static or block universe theory as a genuine and natural alternative for a physical ontology. (shrink)

This study presents a new type of foundational model unifying quantum theory, relativity theory and gravitational physics, with a novel cosmology. It proposes a six-dimensional geometric manifold as the foundational ontology for our universe. The theoretical unification is simple and powerful, and there are a number of novel empirical predictions and theoretical reductions that are strikingly accurate. It subsequently addresses a variety of current anomalies in physics. It shows how incomplete modern physics is by giving an example of a theory (...) that is genuinely unified. In doing this, it radically alters the metaphysical interpretation of the nature of time, space and matter currently interpreted from modern physics. It also profoundly challenges materialist expectations about a naturalistic account our own existence. I contend here that there is sufficient evidence to support this theory as a leading paradigm for a unified foundational theory. (shrink)

This chapter starts with a simple conventional presentation of time reversal in physics, and then returns to analyse it, rejects the conventional analysis, and establishes correct principles in their place.

‘Philosophy’ today has come to mean the academic ideological disputes between various grandiose ‘meta-philosophies’, rather than the content or explanation of the real problems and issues. I illustrate typical expressions of the conventional ‘scientific' anti-realist philosophy of time here, and how far it has infiltrated the scientific world view.

The conventional claims and concepts of 5* - 8* are a hang-over from the classical theory of thermodynamics – i.e. thermodynamics based on a fully deterministic micro-theory, developed in the time of Boltzmann, Loschmidt and Gibbs in the late C19th. The classical theory has well-known ‘reversibility paradoxes’ when applied to the universe as a whole. But the introduction of intrinsic probabilities in quantum mechanics, and its consequent time asymmetry, fundamentally changes the picture.

In this chapter, we see one way that time flow may force us to develop our physical theory if we add it back into physics proper. Now of course this is speculative in this context, and should be thought of as a model. The two following extracts are from introductions a more complete unified theory. They explain the basic mathematical models that are required to illustrate the point that such models may be plausible. The second extract, ‘the parable of the (...) ants’, introduces us to the ideological-philosophical conflict that prevents such a development being considered in the present generation, which we will go on to next. (shrink)

This continues from Part 1. It is shown how an intensional interpretation of physics object languages can be formalised, and how a syntactic compositional time reversal operator can subsequently be defined. This is applied to solve the problems used as examples in Part 1. A proof of a general theorem that such an operator must be defineable is sketched. A number of related issues about the interpretation of theories of physics, including classical and quantum mechanics and classical EM theory are (...) discussed. (shrink)

This study analyses the predictions of the General Theory of Relativity (GTR) against a slightly modified version of the standard central mass solution (Schwarzschild solution). It is applied to central gravity in the solar system, the Pioneer spacecraft anomalies (which GTR fails to predict correctly), and planetary orbit distances and times, etc (where GTR is thought consistent.) -/- The modified gravity equation was motivated by a theory originally called ‘TFP’ (Time Flow Physics, 2004). This is now replaced by the ‘Geometric (...) Model’, 2014 [20], which retains the same theory of gravity. This analysis is offered partially as supporting detail for the claim in [20] that the theory is realistic in the solar system and explains the Pioneer anomalies. The overall conclusion is that the model can claim to explain the Pioneer anomalies, contingent on the analysis being independently verified and duplicated of course. -/- However the interest lies beyond testing this theory. To start with, it gives us a realistic scale on which gravity might vary from the accepted theory, remain consistent with most solar-scale astronomical observations. It is found here that the modified gravity equation would appear consistent with GTR for most phenomena, but it would retard the Pioneer spacecraft by about the observed amount (15 seconds or so at time). Hence it is a possible explanation of this anomaly, which as far as I know remains unexplained now for 20 years. -/- It also shows what many philosophers of science have emphasized: the pivotal role of counterfactual reasoning. By putting forward an exact alternative solution, and working through the full explanation, we discover a surprising ‘counterfactual paradox’: the modified theory slightly weakens GTR gravity – and yet the effect is to slow down the Pioneer trajectory, making it appear as if gravity is stronger than GTR. The inference that “there must be some tiny extra force…” (Musser, 1998 [1]) is wrong: there is a second option: “…or there may be a slightly weaker form of gravity than GTR.” . (shrink)

This paper argues that ordinary object languages for fundamental physics are incomplete, essentially because they are extensional, and consequently lack any adequate formal representation of contingency. It is shown that it is impossible to formulate adequate deduction systems for general transformations in such languages. This is argued in detail for the time reversal transformation. Two important controversies about the application of time reversal in quantum mechanics are summarized at the start, to provide the context of this problem, and show its (...) serious implications, but the aim here is not to solve these problems. The flaw is not special to quantum mechanics: it is a general feature traced to extensionality, and demonstrated through a simple example in classical physics. It is proposed that this defect can be overcome by extending to an intensional semantics, but this involves extending the usual formalism of physics. A detailed proposal for such an extension is given in Part 2. (shrink)

This is a summary presentation of TAU, a theory proposed to explain relativity and unify physics. It is a radical change, because it proposes six dimensions of space, instead of the usual three (normal physics) or nine (string theory). It starts with an alternative foundation for Special Relativity, and leads to a unified theory of physics. It is a realist theory because it is realist about space and time. The TAU concept is briefly introduced here, and its results explained in (...) three main areas, particles, gravity and cosmology. In these areas it makes strong predictions and has several tests. This presentation is based around these applications and the key questions of completing a full particle model, and completing tests of gravity and tests of cosmology. These will decide its fate as an empirical theory. The aim here is to give an overview, in reasonable detail for generalists to see how the model works, but with a minimum of theoretical derivations, so we do not get too bogged down in equations. There are a lot of illustrations instead. Please note this is only a survey of the theory, and a more detailed introduction with proofs follows in Chapters 2-6, where it is developed in stages. In the first half here, we go quickly over the main concepts, in the second half, we give some equations for cosmology and gravity solutions in more detail, because they are more novel. (shrink)

Pavel Tichy (1936-1994) was a Czech philosopher who originally studied and worked at Charles University in Prague, and spent the second half of his life in New Zealand as a political refugee. Early in his career he invented intensional logic, simultaneously with Richard Montague, but published his version in 1971, slightly after Montague's 1970 papers, and has never been recognised for this achievement. But this was only the beginning of his work. He developed a highly original theory of semantics called (...) Transparent Intensional Logic, which is the basis of an important research program based in the Czech Republic and Slovenia. He published a wide range of original work in semantics, philosophy of logic and language, philosophy of science, and metaphysics; but despite the indisputable quality of this work, he has gained little contemporary recognition. This article provides a brief introduction to his work, focussing mainly on basic ideas of his intensional semantics and his theory of 'constructions'. (shrink)

David Albert has recently argued that classical electromagnetic theory (EM) is not time reversal invariant (non-TRI), while David Malament rejects this argument and maintains the orthodox result, that EM is TRI. Both Albert's and Malament's arguments are analysed, and both are found wanting in certain respects. It is argued here that the result really depends on the choice of theoretical ontology choosen to interpret EM theory, and there is more than one plausible choice. Albert and Malament have choosen different plausible (...) ontologies; but neither shows that their choice of interpretation is definitive. Deeper principles about this choice are examined. The extension to EM theory with magnetic monopoles is also examined. It is concluded that, despite certain flaws in his account, Albert's analysis does reveal serious problems in the orthodox account, which Malament's response does not adequately address. (shrink)

The analysis of the reversibility of quantum mechanics depends upon the choice of the time reversal operator for quantum mechanical states. The orthodox choice for the time reversal operator on QM states is known as the Wigner operator, T*, where * performs complex conjugation. The peculiarity is that this is not simply the unitary time reversal operation, but an anti-unitary operator, involving complex conjugation in addition to ordinary time reversal. The alternative choice is the Racah operator, which is simply ordinary (...) time reversal, T. Orthodox treatments hold that it is either logically or empirically necessary to adopt the Wigner operator, and the Racah operator has received little attention. The basis for this choice is analysed in detail, and it is concluded that all the conventional arguments for rejecting the Racah operator and adopting the Wigner operator are mistaken. The additional problem of whether the deterministic part of quantum mechanics should be judged to be reversible or not is also considered. The adoption of the Racah operator for time reversal appears prima facie to entail that quantum mechanics is irreversible. However, it is concluded that the real answer to question depends upon the choice of interpretation of the theory. In any case, the conventional reasons for claiming that quantum mechanics is reversible are incorrect. (shrink)

This is Part 2 of a four part paper, intended as an introduction to the key concepts and issues of time directionality for physicists and philosophers. It redresses some fundamental confusions in the subject. These need to be corrected in introductory courses for physics and philosophy of physics students. Here we analyze the quantum mechanical time reversal operator and the reversal of the deterministic Schrodinger equation. It is argued that quantum mechanics is anti-symmetric w.r.t. time reversal in its deterministic laws. (...) This contradicts the orthodox analysis, found throughout the conventional literature on physical time, which claims that quantum mechanics is time symmetric (reversible), and that we must adopt the anti-unitary operator (T*) instead of the unitary time reversal operator (T) for time reversal in quantum mechanics. This is widely claimed as settled scientific fact, and large metaphysical conclusions about the symmetry of time are drawn from it. But it is an error. (shrink)

This is Part 1 of a four part paper, intended to redress some of the most fundamental confusions in the subject of physical time directionality, and represent the concepts accurately. There are widespread fallacies in the subject that need to be corrected in introductory courses for physics students and philosophers. We start in Part 1 by analysing the time reversal symmetry of quantum probability laws. Time reversal symmetry is defined as the property of invariance under the time reversal transformation, T: (...) t --> -t. It is shown that quantum mechanics (classical or relativistic) is strongly time asymmetric in its probability laws. This contradicts the orthodox analysis, found throughout the conventional literature on physical time, which claims that quantum mechanics is time symmetric or reversible. This is widely claimed as settled scientific fact, and large philosophical and scientific conclusions are drawn from it. But it is an error. The fact is that while quantum mechanics is widely claimed to be reversible on the basis of two formal mathematical properties (that it does have), these properties do not represent invariance under the time reversal transformation. A recent experiment (Batalhão at alia, 2015) showing irreversibility of quantum thermodynamics is discussed as an illustration of this result. Most physicists remain unaware of the errors, decades after they were first demonstrated. Orthodox specialists in the philosophy of time who are aware of the error continue to refer to the ‘time symmetry’ or ‘reversibility’ of quantum mechanics anyway – and exploit the ambiguity to claim false implications about physical time reversal symmetry in nature. The excuse for perpetrating the confusion is that, since it is has now become customary to refer to the formal properties of quantum mechanics as ‘reversibility’ or ‘time reversal symmetry’, we should just keep referring to them by this name, even though they are not time reversal symmetry. This causes endless confusion, in attempts to explain the physical irreversibility of our universe, and in philosophical discussions of implications of physics for the nature of time. The failure of genuine time reversal symmetry in quantum mechanics changes the interpretation of modern physics in a deep way. It changes the problem of explaining the real irreversibility found throughout nature. (shrink)

CAT4 is proposed as a general method for representing information, enabling a powerful programming method for large-scale information systems. It enables generalised machine learning, software automation and novel AI capabilities. It is based on a special type of relation called CAT4, which is interpreted to provide a semantic representation. This is Part 1 of a five-part introduction. The focus here is on defining the key mathematical structures first, and presenting the semantic-database application in subsequent Parts. We focus in Part 1 (...) on general axioms for the structures, and introduce key concepts. Part 2 analyses the CAT2 sub-relation of CAT4 in more detail. The interpretation of fact networks is introduced in Part 3, where we turn to interpreting semantics. We start with examples of relational and graph databases, with methods to translate them into CAT3 networks, with the aim of retaining the meaning of information. The full application to semantic theory comes in Part 4, where we introduce general functions, including the language interpretation or linguistic functions. The representation of linear symbolic languages, including natural languages and formal symbolic languages, is a function that CAT4 is uniquely suited to. In Part 5, we turn to software design considerations, to show how files, indexes, functions and screens can be defined to implement a CAT4 system efficiently. (shrink)

CAT4 is proposed as a general method for representing information, enabling a powerful programming method for large-scale information systems. It enables generalised machine learning, software automation and novel AI capabilities. It is based on a special type of relation called CAT4, which is interpreted to provide a semantic representation. This is Part 2 of a five-part introduction. The focus here is on defining key mathematical properties of CAT2, identifying the topology and defining essential functions over a coordinate system. The analysis (...) is from first principles. This develops on from the axioms introduced in Part 1. The interpretation of fact networks is introduced in Part 3, and the full application to semantic theory comes in Part 4, where we introduce general functions, including the language interpretation or linguistic functions. In Part 5, we turn to software design considerations, to show how files, indexes, functions and screens can be defined to implement a CAT4 system efficiently. (shrink)

CAT4 is proposed as a general method for representing information, enabling a powerful programming method for large-scale information systems. It enables generalised machine learning, software automation and novel AI capabilities. This is Part 3 of a five-part introduction. The focus here is on explaining the semantic model for CAT4. Points in CAT4 graphs represent facts. We introduce all the formal (data) elements used in the classic semantic model: sense or intension (1st and 2nd joins), reference (3rd join), functions (4th join), (...) time and truth (logical fields), and symbolic content (name/value fields). Concepts are introduced through examples alternating with theoretical discussion. Some concepts are assumed from Part 1 and 2, but key ideas are re-introduced. The purpose is to explain the CAT4 interpretation, and why the data structure and CAT4 axioms have been chosen: to make the semantic model consistent and complete. We start with methods to translate information from database tables into graph DBs and into CAT4. We conclude with a method for translating natural language into CAT4. We conclude with a comparison of the system with an advanced semantic logic, the hyper-intensional logic TIL, which also aims to translate NL into a logical calculus. The CAT4 Natural Language Translator is discussed in further detail in Part 4, when we introduce functions more formally. Part 5 discusses software design considerations. (shrink)

A fundamental problem in understanding the nature of time is explaining its directionality. This 1990 PhD thesis re-examines the concepts of time flow, the physical directionality of time, and the semantics of tensed language. Several novel results are argued for that contradict the orthodox anti-realist views still dominant in the subject. Specifically, the concept of "metaphysical time flow" is supported as a valid scientific concept, and argued to be intrinsic to the directionality of objective probabilities in quantum mechanics; the common (...) claims that quantum probability theory is time reversible is shown to be based on an analytic error, stemming from a false choice for the criterion for reversibility of probabilistic theories (recognized by Satosi Watanabe in the 1950s but ignored in all philosophical discussions); and a consistent semantics for tensed language (adapted from the tree model of Storrs McCall) is constructed, showing that the common rejection of "time flow" as having no meaningful semantics is false. These debates are still ongoing in almost exactly the same state they were pre-1990, and there is appears to be no visible progress in the subject. Critical points made against errors in the orthodox account (which has been sustained for 70 years by the anti-realist philosophy of time, typified by the "Pittsburg School" of Grunbaum-Earman-Norton-Roberts), are still not recognized in the philosophy of time or physics. Some key technical proofs in this thesis have been published in physics proper. See p.ii-iii for full original abstract. (This pdf is uploaded from the Massey University archive.). (shrink)

Is a human more conscious than an octopus? In the science of consciousness, it’s oftentimes assumed that some creatures (or mental states) are more conscious than others. But in recent years, a number of philosophers have argued that the notion of degrees of consciousness is conceptually confused. This paper (1) argues that the most prominent objections to degrees of consciousness are unsustainable, (2) examines the semantics of ‘more conscious than’ expressions, (3) develops an analysis of what it is for a (...) degreed property to count as degrees of consciousness, and (4) applies the analysis to various theories of consciousness. I argue that whether consciousness comes in degrees ultimately depends on which theory of consciousness turns out to be correct. But I also argue that most theories of consciousness entail that consciousness comes in degrees. (shrink)

This paper examines the idea of "objective phenomenology," or a way of understanding the phenomenal character of conscious experiences that doesn’t require one to have had the kinds of experiences under consideration. My central thesis is that structural facts about experience—facts that characterize purely how conscious experiences are structured—are objective phenomenal facts. I begin by precisifying the idea of objective phenomenology and diagnosing what makes any given phenomenal fact subjective. Then I defend the view that structural facts about experience are (...) objective. I also argue that structural facts about experience, despite being objective, nevertheless still give rise to an explanatory gap. (shrink)

A list of resources for virtue theories of argumentation. Last updated October 31st, 2023.

The traditional view of evidence in mathematics is that evidence is just proof and proof is just derivation. There are good reasons for thinking that this view should be rejected: it misrepresents both historical and current mathematical practice. Nonetheless, evidence, proof, and derivation are closely intertwined. This paper seeks to tease these concepts apart. It emphasizes the role of argumentation as a context shared by evidence, proofs, and derivations. The utility of argumentation theory, in general, and argumentation schemes, in particular, (...) as a methodology for the study of mathematical practice is thereby demonstrated. Argumentation schemes represent an almost untapped resource for mathematics education. Notably, they provide a consistent treatment of rigorous and non-rigorous argumentation, thereby working to exhibit the continuity of reasoning in mathematics with reasoning in other areas. Moreover, since argumentation schemes are a comparatively mature methodology, there is a substantial body of existing work to draw upon, including some increasingly sophisticated software tools. Such tools have significant potential for the analysis and evaluation of mathematical argumentation. The first four sections of the paper address the relationships of evidence to proof, proof to derivation, argument to proof, and argument to evidence, respectively. The final section directly addresses some of the educational implications of an argumentation scheme account of mathematical reasoning. (shrink)

This paper develops a theory of analog representation. We first argue that the mark of the analog is to be found in the nature of a representational system’s interpretation function, rather than in its vehicles or contents alone. We then develop the rulebound structure theory of analog representation, according to which analog systems are those that use interpretive rules to map syntactic structural features onto semantic structural features. The theory involves three degree-theoretic measures that capture three independent ways in which (...) a system can be more or less analog. We explain how our theory improves upon prior accounts of analog representation, provides plausible diagnoses for novel challenge cases, extends to hybrid systems that are partially analog and partially symbolic, and accounts for some of the advantages and disadvantages of representing analogically versus symbolically. (shrink)

Conscious experiences are characterized by mental qualities, such as those involved in seeing red, feeling pain, or smelling cinnamon. The standard framework for modeling mental qualities represents them via points in geometrical spaces, where distances between points inversely correspond to degrees of phenomenal similarity. This paper argues that the standard framework is structurally inadequate and develops a new framework that is more powerful and flexible. The core problem for the standard framework is that it cannot capture precision structure: for example, (...) consider the phenomenal contrast between seeing an object as crimson in foveal vision versus merely as red in peripheral vision. The solution I favor is to model mental qualities using regions, rather than points. I explain how this seemingly simple formal innovation not only provides a natural way of modeling precision, but also yields a variety of further theoretical fruits: it enables us to formulate novel hypotheses about the space and structures of mental qualities, formally differentiate two dimensions of phenomenal similarity, generate a quantitative model of the phenomenal sorites, and define a measure of discriminatory grain. A noteworthy consequence is that the structure of the mental qualities of conscious experiences is fundamentally different from the structure of the perceptible qualities of external objects. (shrink)

Kant’s “primacy of the practical” doctrine says that we can form morally justified commitments regarding what exists, even in the absence of sufficient epistemic grounds. In this paper I critically examine three different varieties of Kant’s “moral proof” that can be found in the critical works. My claim is that the third variety—the “moral-psychological argument” based in the need to sustain moral hope and avoid demoralization—has some intriguing advantages over the other two. It starts with a premise that more clearly (...) coheres with Kant’s mature account of moral motivation, and it invokes plausible empirical-psychological theses to motivate a commitment to the full-blown classical deity—the result Kant clearly wanted. From the point of view of its structure, I think this third variety of moral argument also has the most by way of contemporary interest. (shrink)

I want to say something about the sort of arguments that it is possible to lose, and whether losing arguments can be done well. I shall focus on losing philosophical arguments, and I will be talking about arguments in the sense of acts of arguing. This is the sort of act that one can perform on one’s own or with one other person in private. But in either of these cases it is difficult to win—or to lose. So I shall (...) concentrate on arguments with audiences. We may think of winning or losing such arguments in terms of whether the audience is convinced. Of course, this doesn’t necessarily have anything to do with who is in the right. That means that there are two sorts of loser: real losers, who lose the argument deservedly, because they are in the wrong, and mere losers, who lose the argument undeservedly, because they are in the right. Hence there must also be two sorts of winner: real winners, who win the argument deservedly, because they are in the right, and mere winners, who win the argument undeservedly, because they are in the wrong. An optimal outcome for arguments with losers would be if all the losers are real losers. (shrink)

This paper argues that new light may be shed on mathematical reasoning in its non-pathological forms by careful observation of its pathologies. The first section explores the application to mathematics of recent work on fallacy theory, specifically the concept of an ‘argumentation scheme’: a characteristic pattern under which many similar inferential steps may be subsumed. Fallacies may then be understood as argumentation schemes used inappropriately. The next section demonstrates how some specific mathematical fallacies may be characterized in terms of argumentation (...) schemes. The third section considers the phenomenon of correct answers which result from incorrect methods. This turns out to pose some deep questions concerning the nature of mathematical knowledge. In particular, it is argued that a satisfactory epistemology for mathematical practice must address the role of luck. (shrink)

Much work in MKM depends on the application of formal logic to mathematics. However, much mathematical knowledge is informal. Luckily, formal logic only represents one tradition in logic, specifically the modeling of inference in terms of logical form. Many inferences cannot be captured in this manner. The study of such inferences is still within the domain of logic, and is sometimes called informal logic. This paper explores some of the benefits informal logic may have for the management of informal mathematical (...) knowledge. (shrink)

Commentators typically neglect the distinct nature and role of hope in Kant’s system, and simply lump it together with the sort of Belief that arises from the moral proof. Kant himself is not entirely innocent of the conflation. Here I argue, however, that from a conceptual as well as a textual point of view, hope should be regarded as a different kind of attitude. It is an attitude that we can rationally adopt toward some of the doctrines that are not (...) able to be proved from within the bounds of mere reason – either theoretical or practical. This does not mean that hope is unconstrained; there are rational limits, as we shall see. In fact one of my central claims here is that a crucial difference between knowledge, rational Belief, and rational hope is that they are governed by different modal constraints; section II discusses those constraints and the kind of modality involved. In section III, I return to Religion and offer what I take to be Kant’s account of the main objects of rational hope in that text – namely, “alleged outer experiences (miracles)”;a “supposed inner experience(effect of grace)”;and a future collective experience (the construction of a truly ethical society). (shrink)

This three-part chapter explores a higher-order logic we call ‘Classicism’, which extends a minimal classical higher-order logic with further axioms which guarantee that provable coextensiveness is sufficient for identity. The first part presents several different ways of axiomatizing this theory and makes the case for its naturalness. The second part discusses two kinds of extensions of Classicism: some which take the view in the direction of coarseness of grain (whose endpoint is the maximally coarse-grained view that coextensiveness is sufficient for (...) identity), and some which take the view in the direction of fineness of grain (whose endpoint is the maximally fine-grained theory containing all distinctness claims compatible with Classicism). The third part introduces some techniques for constructing models of Classicism, and uses them to prove the consistency of many of the extensions of Classicism introduced in the second part. (shrink)

Some philosophers think that life is worth living not merely because of the goods and the bads within it, but also because life itself is good. I explain how this idea can be formalized by associating each version of such of a view with a function from length of life to the value generated by life itself. Then I argue that every version of the view that life itself is good faces some version of the following dilemma: either (1) good (...) human lives are worse than very long lives wholly devoid of pleasure, desire-satisfaction, knowledge, or any other goods, or (2) very short lives containing nothing but suffering are worth living. Since neither result is plausible, we ought to reject the view that life itself is good. On the view I favor, any given life may be worth living because of the goods that it contains, but life itself is neutral. (shrink)

This paper considers Kant's views on how it can be rational to hope for God's assistance in becoming morally good. If I am fully responsible for making myself good and can make myself good, then my moral condition depends entirely on me. However, if my moral condition depends entirely on me, then it cannot depend on God, and it is therefore impossible for God to provide me with any assistance. But if it is impossible for God to provide me with (...) any assistance, it is irrational for me to hope for such assistance. I address this conundrum by providing an analysis of one necessary condition of rational hope: hope is rational only if the subject is not in a position to be certain that p is really impossible. I then offer several different strategies on which it might be rational to hope that God provides moral assistance, with the most radical of these strategies suggesting that, given our ignorance of the laws of the intelligible world, for all human beings know it is metaphysically possible that God perform a noumenal miracle on their moral character. -/- . (shrink)

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...) to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

I intend to bring recent work applying virtue theory to the study of argument to bear on a much older problem, that of disagreements that resist rational resolution, sometimes termed "deep disagreements". Just as some virtue epistemologists have lately shifted focus onto epistemic vices, I shall argue that a renewed focus on the vices of argument can help to illuminate deep disagreements. In particular, I address the role of arrogance, both as a factor in the diagnosis of deep disagreements and (...) as an obstacle to their mutually acceptable resolution. Arrogant arguers are likely to make any disagreements to which they are party seem deeper than they really are and arrogance impedes the strategies that we might adopt to resolve deep disagreements. As a case in point, since arrogant or otherwise vicious arguers cannot be trusted not to exploit such strategies for untoward ends, any policy for deep disagreement amelioration must require particularly close attention to the vices of argument, lest they be exploited by the unscrupulous. (shrink)

Many philosophers accept both of the following claims: (1) consciousness matters morally, and (2) species membership doesn’t matter morally. In other words, many reject speciesism but accept what we might call 'sentientism'. But do the reasons against speciesism yield analogous reasons against sentientism, just as the reasons against racism and sexism are thought to yield analogous reasons against speciesism? This paper argues that speciesism is disanalogous to sentientism (as well as racism and sexism). I make a case for the following (...) asymmetry: (a) some non-humans clearly have interests, but (b) no non-conscious entities clearly have interests. This asymmetry, I argue, renders sentientism resistant to the standard argument against speciesism. (shrink)

Andrews argues for a pluralistic folk psychology that employs different kinds of practices and different kinds of cognitive tools (including personality trait attribution, stereotype activation, inductive reasoning about past behavior, and ...

This paper argues that the theory of structured propositions is not undermined by the Russell-Myhill paradox. I develop a theory of structured propositions in which the Russell-Myhill paradox doesn't arise: the theory does not involve ramification or compromises to the underlying logic, but rather rejects common assumptions, encoded in the notation of the $\lambda$-calculus, about what properties and relations can be built. I argue that the structuralist had independent reasons to reject these underlying assumptions. The theory is given both a (...) diagrammatic representation, and a logical representation in a novel language. In the latter half of the paper I turn to some technical questions concerning the treatment of quantification, and demonstrate various equivalences between the diagrammatic and logical representations, and a fragment of the $\lambda$-calculus. (shrink)

There has been little overt discussion of the experimental philosophy of logic or mathematics. So it may be tempting to assume that application of the methods of experimental philosophy to these areas is impractical or unavailing. This assumption is undercut by three trends in recent research: a renewed interest in historical antecedents of experimental philosophy in philosophical logic; a “practice turn” in the philosophies of mathematics and logic; and philosophical interest in a substantial body of work in adjacent disciplines, such (...) as the psychology of reasoning and mathematics education. This introduction offers a snapshot of each trend and addresses how they intersect with some of the standard criticisms of experimental philosophy. It also briefly summarizes the specific contribution of the other chapters of this book. (shrink)

Kant says that it can be rational to accept propositions on the basis of non-epistemic or broadly practical considerations, even if those propositions include “transcendental ideas” of supersensible objects. He also worries, however, about how such ideas (of freedom, the soul, noumenal grounds, God, the kingdom of ends, and things-in-themselves generally) acquire genuine positive content in the absence of an appropriate connection to intuitional experience. How can we be sure that the ideas are not empty “thought-entities (Gedankendinge)”—that is, speculative fancies (...) that do not and perhaps even cannot have referents in reality? In this paper I argue for an account of the fundamental problem here (i.e. that it is based in a concern about whether or not the objects of such ideas are "really possible" in Kant's technical sense). I then critically evaluate Kant's three proposed solutions to the problem. The third one involves an appeal to the complicated doctrine of "symbolization" that becomes prominent in Kant's later works. -/- . (shrink)

We suggest that there is confusion between why consciousness developed and what additional functions, through continued evolution, it has co-opted. Consider episodic memory. If we believe that episodic memory evolved solely to accurately represent past events, it seems like a terrible system—prone to forgetting and false memories. However, if we believe that episodic memory developed to flexibly and creatively combine and rearrange memories of prior events in order to plan for the future, then it is quite a good system. We (...) argue that consciousness originally developed as part of the episodic memory system—quite likely the part needed to accomplish that flexible recombining of information. We posit further that consciousness was subsequently co-opted to produce other functions that are not directly relevant to memory per se, such as problem-solving, abstract thinking, and language. We suggest that this theory is compatible with many phenomena, such as the slow speed and the after-the-fact order of consciousness, that cannot be explained well by other theories. We believe that our theory may have profound implications for understanding intentional action and consciousness in general. Moreover, we suggest that episodic memory and its associated memory systems of sensory, working, and semantic memory as a whole ought to be considered together as the conscious memory system in that they, together, give rise to the phenomenon of consciousness. Lastly, we suggest that the cerebral cortex is the part of the brain that makes consciousness possible, and that every cortical region contributes to this conscious memory system. (shrink)