In the last few decades there has been a revival of interest in diagrams in mathematics. But the revival, at least at its origin, has been motivated by adherence to the view that the method of mathematics is the axiomatic method, and specifically by the attempt to fit diagrams into the axiomatic method, translating particular diagrams into statements and inference rules of a formal system. This approach does not deal with diagrams qua diagrams, and is incapable of accounting for the (...) role diagrams play as means of discovery and understanding. Alternatively, this paper purports to show that the view that the method of mathematics is the analytic method is capable of dealing with diagrams qua diagrams, and of accounting for such role. (shrink)

If something changes from being in one state to being in another state, when exactly does it change? And what’s going on at that time? These questions are often discussed under the heading of the ‘moment’ or ‘instant’ of change. In this paper, I will investigate a view on which there is an intrinsically distinguished, atomic time at which something changes, and at that time it is metaphysically indeterminate what is the case. The background metaphysical picture is situationalism, a theory (...) on which reality is composed of irreducibly conflicting parts. These conflicting parts give rise to unsettledness in reality as a whole, and also at the point of change. I propose this view as a competitor for existing accounts of the time of change, and spell out a few reasons in its favour. (shrink)

This compelling reevaluation of the relationship between logic and knowledge affirms the key role that the notion of judgement must play in such a review. The commentary repatriates the concept of judgement in the discussion, banished in recent times by the logical positivism of Wittgenstein, Hilbert and Schlick, and the Platonism of Bolzano. The volume commences with the insights of Swedish philosopher Per Martin-Löf, the father of constructive type theory, for whom logic is a demonstrative science in which judgement is (...) a settled feature of the landscape. His paper opens the first of four sections that examine, in turn, historical philosophical assessments of judgement and reason; their place in early modern philosophy; the notion of judgement and logical theory in Wolff, Kant and Neo-Kantians like Windelband; their development in the Husserlian phenomenological paradigm; and the work of Bolzano, Russell and Frege. The papers, whose authors include Per Martin-Löf, Göran Sundholm, Michael Della Rocca and Robin Rollinger, represent a finely judged editorial selection highlighting work on philosophers exercised by the question of whether or not an epistemic notion of judgement has a role to play in logic. The volume will be of profound interest to students and academicians for its application of historical developments in philosophy to the solution of vexatious contemporary issues in the foundation of logic. ​. (shrink)

Contemporary accounts of logic and language cannot give proper treatments of plural constructions of natural languages. They assume that plural constructions are redundant devices used to abbreviate singular constructions. This paper and its sequel, "The logic and meaning of plurals, II", aim to develop an account of logic and language that acknowledges limitations of singular constructions and recognizes plural constructions as their peers. To do so, the papers present natural accounts of the logic and meaning of plural constructions that result (...) from the view that plural constructions are, by and large, devices for talking about many things (as such). The account of logic presented in the papers surpasses contemporary Fregean accounts in its scope. This extension of the scope of logic results from extending the range of languages that logic can directly relate to. Underlying the view of language that makes room for this is a perspective on reality that locates in the world what plural constructions can relate to. The papers suggest that reflections on plural constructions point to a broader framework for understanding logic, language, and reality that can replace the contemporary Fregean framework as this has replaced its Aristotelian ancestor. (shrink)

Recently, various people have maintained that one must revise either the externalistically-based notion of singular thought or the naïve realism-inspired notion of relational particularity, as respectively applied to some thoughts and to some perceptual experiences. In order to do so, one must either provide a broader notion of singular thought or flank the notion of relational particularity with a broader notion of phenomenal particularity. I want to hold that there is no need of that revision. For the original notions can (...) still play the role for which they were invoked. This requires that (i) both the first and the second notion respectively involve a dependence on and a metaphysical relation to the intentional objects of certain mental states once we are ontologically committed to such objects; (ii) both that object-dependence and that metaphysical relation are interpreted in terms of a substantive individuation of the relevant mental state via the object it is about: that object constitutes the state. (shrink)

How is Frege able to claim that the notion of judgement is essential to his logic without introducing a form of psychologism? I argue first that Frege’s logical notion of judgement is to be distinguished from an empirical notion of judgement, that it cannot be understood as an abstract, idealized notion, and that there are doubts concerning a transcendental reading of Frege’s writings. Then, I explain that the logical notion of judgement has to be understood from a first-person perspective, to (...) be contrasted with a third-person perspective, in which judgement is understood as an empirical, psychological phenomenon. Frege’s logic is essentially a first-person engagement, as each of us can make use of the ideography as a science of logic only if we ourselves have made the relevant judgements. Finally, I claim that the judging agent as conceived by Frege can, after all, be understood as a transcendental ego. (shrink)

Philosophers seldom ask questions regarding how certain phenomena occur, because such questions tend to be the province of the sciences or of technology. However, the question how pictures have depth requires philosophical reflection because it takes place on the surface of pictorial objects and involves both physical and phenomenal, i.e. aesthetic, features of those surfaces. This essay examines how pictures have depth by first separating the aesthetic question from interpretive considerations, and thereby refining the question how pictures have depth. Next (...) it explicates two sorts of conceptual tools required to understand the question: several complex concepts needed to understand surfaces, and the concept of intensity. These are then used to understand how pictures can have depth by showing how intensities produce both an aesthetic surface and depth within it. (shrink)

Despite the importance of the variational principles of physics, there have been relatively few attempts to consider them for a realistic framework. In addition to the old teleological question, this paper continues the recent discussion regarding the modal involvement of the principle of least action and its relations with the Humean view of the laws of nature. The reality of possible paths in the principle of least action is examined from the perspectives of the contemporary metaphysics of modality and Leibniz's (...) concept of essences or possibles striving for existence. I elaborate a modal interpretation of the principle of least action that replaces a classical representation of a system's motion along a single history in the actual modality by simultaneous motions along an infinite set of all possible histories in the possible modality. This model is based on an intuition that deep ontological connections exist between the possible paths in the principle of least action and possible quantum histories in the Feynman path integral. I interpret the action as a physical measure of the essence of every possible history. Therefore only one actual history has the highest degree of the essence and minimal action. To address the issue of necessity, I assume that the principle of least action has a general physical necessity and lies between the laws of motion with a limited physical necessity and certain laws with a metaphysical necessity. (shrink)

The paper gives a detailed reconstruction and discussion of Peirce’s doctrine of propositions, so-called Dicisigns, developed in the years around 1900. The special features different from the logical mainstream are highlighted: the functional definition not dependent upon conscious stances nor human language, the semiotic characterization extending propositions and quasi-propositions to cover prelinguistic and prehuman occurrences of signs, the relations of Dicisigns to the conception of facts, of diagrammatical reasoning, of icons and indices, of meanings, of objects, of syntax in Peirce’s (...) logic-as-semiotics. (shrink)

Todd (2016) proposes an analysis of future-directed sentences, in particular sentences of the form 'will(φ)', that is based on the classic Russellian analysis of definite descriptions. Todd's analysis is supposed to vindicate the claim that the future is metaphysically open while retaining a simple Ockhamist semantics of future contingents and the principles of classical logic, i.e. bivalence and the law of excluded middle. Consequently, an open futurist can straightforwardly retain classical logic without appeal to supervaluations, determinacy operators, or any further (...) controversial semantical or metaphysical complication. In this paper, we will show that this quasi-Russellian analysis of 'will' both lacks linguistic motivation and faces a variety of significant problems. In particular, we show that the standard arguments for Russell's treatment of definite descriptions fail to apply to statements of the form 'will(φ)'. (shrink)

It is widely accepted that the notion of an inertial frame is central to Newtonian mechanics and that the correct space-time structure underlying Newton’s methods in Principia is neo-Newtonian or Galilean space-time. I argue to the contrary that inertial frames are not needed in Newton’s theory of motion, and that the right space-time structure for Newton’s Principia requires the notion of parallelism of spatial directions at different times and nothing more. Only relative motions are definable in this framework, never absolute (...) ones. (shrink)

In the course of developing a semantics with epistemological intent, Brandom claims that his inferentialism is Hegelian. This paper argues that, even on a charitable reading, Brandom is an anti-Hegelian.

In this paper I argue for a view of groups, things like teams, committees, clubs and courts. I begin by examining features all groups seem to share. I formulate a list of six features of groups that serve as criteria any adequate theory of groups must capture. Next, I examine four of the most prominent views of groups currently on offer—that groups are non-singular pluralities, fusions, aggregates and sets. I argue that each fails to capture one or more of the (...) criteria. Last, I develop a view of groups as realizations of structures. The view has two components. First, groups are entities with structure. Second, since groups are concreta, they exist only when a group structure is realized. A structure is realized when each of its functionally defined nodes or places are occupied. I show how such a view captures the six criteria for groups, which no other view of groups adequately does, while offering a substantive answer to the question, “What are groups?”. (shrink)

The perceptual system estimates distal conditions based upon proximal sensory input. It typically exploits information from multiple cues across and within modalities: it estimates shape based upon visual and haptic cues; it estimates depth based upon convergence, binocular disparity, motion parallax, and other visual cues; and so on. Bayesian models illuminate the computations through which the perceptual system combines sensory cues. I review key aspects of these models. Based on my review, I argue that we should posit co-referring perceptual representations (...) corresponding to distinct sensory cues. For example, the perceptual system represents a distal size using a representation canonically linked with vision and a distinct representation canonically linked with touch. Distinct co-referring perceptual representations represent the same denotation, but they do so under different modes of presentation. Bayesian cue combination models demonstrate that psychological explanation of perception should attend to mode of presentation and not simply to denotation. (shrink)

The paradox of the concept horse has often been taken to be devastating for Frege’s ontological distinction between objects and concepts. I argue that if we consider how the concept-object distinction is supposed to account for the unity of linguistic meaning, it transpires that the paradox is in fact not paradoxical.

This is a survey of the concept of continuity. Efforts to explicate continuity have produced a plurality of philosophical conceptions of continuity that have provably distinct expressions within contemporary mathematics. I claim that there is a divide between the conceptions that treat the whole continuum as prior to its parts, and those conceptions that treat the parts of the continuum as prior to the whole. Along this divide, a tension emerges between those conceptions that favor philosophical idealizations of continuity and (...) those that are more readily available for mathematico-scientific use. (shrink)

In recent philosophy of mathematics avariety of writers have presented ``structuralist''views and arguments. There are, however, a number ofsubstantive differences in what their proponents take``structuralism'' to be. In this paper we make explicitthese differences, as well as some underlyingsimilarities and common roots. We thus identifysystematically and in detail, several main variants ofstructuralism, including some not often recognized assuch. As a result the relations between thesevariants, and between the respective problems theyface, become manifest. Throughout our focus is onsemantic and metaphysical issues, (...) including what is orcould be meant by ``structure'' in this connection. (shrink)

Peter Hanks and Scott Soames both defend pragmatic solutions to the problem of the unity of the proposition. According to them, what ties together Tim and baldness in the singular proposition expressed by ‘Tim is bald’ is an act of the speaker : the act of predicating baldness of Tim. But Soames construes that act as force neutral and noncommittal while, for Hanks, it is inherently assertive and committal. Hanks answers the Frege–Geach challenge by arguing that, in complex sentences, the (...) force inherent in the content of an embedded sentence is cancelled. Indrek Reiland has recently objected to Hanks’s proposal that it faces a dilemma: either force cancellation dissolves the unity of the proposition secured by the cancelled act of assertion, or Hanks’s proposal reduces to Soames’s. In this paper, I respond to Reiland by offering an analysis of force cancellation which gets rid of the alleged dilemma. The proposal is based on a set of distinctions from speech act theory : between two senses of ’force’, two types of act, and two types of context. The role of simulation in force cancellation is emphasized, and connections drawn to broader issues such as the evolution of complex language. (shrink)

Tato stať je zamýšlena jako úvod do spojité problematiky explikace pravdivosti a sémantic-kých paradoxů, které onu explikaci pronásledují. Tyto paradoxy jsou viděny jako prostředek ukázání, že nedostatečně promyšlená explikace našeho pojmu pravdivosti (významu pravdi-vostního predikátu) je explikací nevyhovující. Poté jsou předvedeny rysy obou klasických přístupů, Russellovy teorie typů a Tarského hierarchie metajazyků. Nakonec jsou podány zá-kladní ideje hlavních názorových škol, které přišly poté.

A critique of Shaughan Lavine's attempt in /Understanding the Infinite/ to reduce talk about the infinite to finitely comprehensible terms.

Semantics in the Montagovian tradition combines two basic tenets. One tenet is that the semantic value of a sentence is an intension, a function from points of evaluations into truth-values. The other tenet is that the semantic value of a composite expression is the result of applying the function denoted by one component to arguments denoted by the other components. Many philosophers object to intensional semantics on the grounds that intensionally equivalent sentences do not substitute salva veritate into attitude ascriptions. (...) They propose instead that the semantic values of sentences must be structured propositions. In rejecting intensional semantics, philosophers who endorse structured propositions also usually reject functional compositionality, undermining both tenets of the Montagovian programme. I defend a semantic theory that incorporates both structured propositions and functional compositionality. I argue that this semantic theory can preserve many explanatory benefits of Montague semantics. Finally, I show how treating composition functional application can resolve core problems internal to a theory of structured propositions. (shrink)

Aristotle’s solution to Zeno’s arrow paradox differs markedly from the so called at-at solution championed by Russell, which has become the orthodox view in contemporary philosophy. The latter supposes that motion consists in simply being at different places at different times. It can boast parsimony because it eliminates velocity from the ontology. Aristotle, by contrast, solves the paradox by denying that the flight of the arrow is composed of instants; rather, on my reading, he holds that the flight is a (...) unity which is ontologically prior to the temporal parts that may be abstracted from it. I label this position temporal holism; and an entity that is ontological prior to its temporal parts lasting. Lasting, I argue, is the key to Aristotle’s solution to the arrow paradox, but it has received insufficient attention in the relevant literature. I therefore set out here to investigate lasting and highlight its major role in Aristotle’s metaphysics more broadly, and in his solution to other problems of change. I show, too, how lasting within a contemporary context underwrites a parsimonious and intuitive solution to the arrow paradox that retains instantaneous velocity, and hence solves a problem for those who think velocity is required within the ontology to underwrite certain causal roles. (shrink)

The anti-metaphysical attitude of the neo-positivist movement is notorious. It is an essential mark of what its members regarded as the scientific world view. The paper focuses on a metaphysical variation of the scientific world view as proposed by Heinrich Scholz and his Münster group, who can be regarded as a peripheral part of the movement. They used formal ontology for legitimizing the use of logical calculi. Scholz's relation to the neo-positivist movement and his contributions to logic and foundations are (...) discussed. His heuristic background can be drawn from a set of six methodological ‘articles of faith’, formulated in 1942 and published here for the first time. I would like to thank Gudrun Mikus (Paderborn) for her assistance in collecting the material, Neil Tennant (Ohio State University, Columbus) for his efforts to improve the paper not only in lingual aspects, and Christian Thiel (Erlangen) and two anonymous referees for their helpful comments. CiteULike Connotea Del.icio.us What's this? (shrink)

In early analytic philosophy, one of the most central questions concerned the status of arithmetical objects. Frege argued against the popular conception that we arrive at natural numbers with a psychological process of abstraction. Instead, he wanted to show that arithmetical truths can be derived from the truths of logic, thus eliminating all psychological components. Meanwhile, Dedekind and Peano developed axiomatic systems of arithmetic. The differences between the logicist and axiomatic approaches turned out to be philosophical as well as mathematical. (...) In this paper, I will argue that Dedekind’s approach can be seen as a precursor to modern structuralism and as such, it enjoys many advantages over Frege’s logicism. I also show that from a modern perspective, Frege’s criticism of abstraction and psychologism is one-sided and fails against the psychological processes that modern research suggests to be at the heart of numerical cognition. The approach here is twofold. First, through historical analysis, I will try to build a clear image of what Frege’s and Dedekind’s views on arithmetic were. Then, I will consider those views from the perspective of modern philosophy of mathematics, and in particular, the empirical study of arithmetical cognition. I aim to show that there is nothing to suggest that the axiomatic Dedekind approach could not provide a perfectly adequate basis for philosophy of arithmetic. (shrink)

In computational complexity theory, decision problems are divided into complexity classes based on the amount of computational resources it takes for algorithms to solve them. In theoretical computer science, it is commonly accepted that only functions for solving problems in the complexity class P, solvable by a deterministic Turing machine in polynomial time, are considered to be tractable. In cognitive science and philosophy, this tractability result has been used to argue that only functions in P can feasibly work as computational (...) models of human cognitive capacities. One interesting area of computational complexity theory is descriptive complexity, which connects the expressive strength of systems of logic with the computational complexity classes. In descriptive complexity theory, it is established that only first-order systems are connected to P, or one of its subclasses. Consequently, second-order systems of logic are considered to be computationally intractable, and may therefore seem to be unfit to model human cognitive capacities. This would be problematic when we think of the role of logic as the foundations of mathematics. In order to express many important mathematical concepts and systematically prove theorems involving them, we need to have a system of logic stronger than classical first-order logic. But if such a system is considered to be intractable, it means that the logical foundation of mathematics can be prohibitively complex for human cognition. In this paper I will argue, however, that this problem is the result of an unjustified direct use of computational complexity classes in cognitive modelling. Placing my account in the recent literature on the topic, I argue that the problem can be solved by considering computational complexity for humanly relevant problem solving algorithms and input sizes. (shrink)

The standard argument against ordered tuples as propositions is that it is arbitrary what truth-conditions they should have. In this paper we generalize that argument. Firstly, we require that propositions have truth-conditions intrinsically. Secondly, we require strongly equivalent truth-conditions to be identical. Thirdly, we provide a formal framework, taken from Graph Theory, to characterize structure and structured objects in general. The argument in a nutshell is this: structured objects are too fine-grained to be identical to truth-conditions. Without identity, there is (...) no privileged mapping from structured objects to truth-conditions, and hence structured objects do not have truth-conditions intrinsically. Therefore, propositions are not structured objects. (shrink)

Evidence is drawn together to connect sources of inconsistency that Frege discerned in his foundations for arithmetic with the origins of the paradox derived by Russell in "Basic Laws" I and then with antinomies, paradoxes, contradictions, riddles associated with modal and intensional logics. Examined are: Frege's efforts to grasp logical objects; the philosophical arguments that compelled Russell to adopt a description theory of names and a eliminative theory of descriptions; the resurfacing of issues surrounding reference, descriptions, identity, substitutivity, paradox in (...) the debates concerning modal and intensional logics; the development of the New Theory of Reference. I consider this to be the philosophical ground upon which the debates regarding that theory should take place. (shrink)

This is the second in a sequence of three essays which axiomatize and apply Edmund Husserl's dependence ontology of parts and wholes as a non-Diodorean, non-Kantian temporal semantics for first-order predicate modal languages. The Ontology of Intentionality I introduced enough of Husserl's dependence-ontology of parts and wholes to formulate his account of order as effected by relating moments of unity, and The Ontology of Intentionality II extends that axiomatic dependence-ontology far enough to enable its semantic application. Formalizing the compatibility [Vereinbarkeit] (...) relation implicated in Husserl's notorious doctrine of impossible meanings, the essay introduces a compatibility restriction on relations to formulate Husserl's distinction between singular [einheitliche] and plural [mehrheitliche] objects, using plural relating moments to define first-order versions of Husserl's notions of relation complexes (i.e. Sachverhalte), abstracta of n-ary relation complexes, categorial relations, abstract eide as unifications of categorial relations, semantic domains as completions of abstract eide, and material regions as semantic domains which are compatibility upper bounds of categorial relations. These concepts will enable the formal dependence-ontological noetic semantics for two-valued, first-order modal languages introduced in the sequel Two-Valued Logics of Intentionality, the third essay in the sequence. (shrink)

Stojnić et al. (2013, 2017) argue that the reference of demonstratives is fixed without any contribution from the extra-linguistic context. On their `prominence/coherence' theory, the reference of a demonstrative expression depends only on its context-independent linguistic meaning. Here, we argue that Stojnić et al.’s striking claims can be maintained in only the thinnest technical sense. Instead of eliminating appeals to the extra-linguistic context, we show how the prominence/coherence theory merely suppresses them. Then we ask why one might be tempted to (...) try and offer such a view. Since we are rather sympathetic to the motivations we find, we close by sketching a more plausible alternative. (shrink)

We consider the problem of induction over languages containing binary relations and outline a way of interpreting and constructing a class of probability functions on the sentences of such a language. Some principles of inductive reasoning satisfied by these probability functions are discussed, leading in turn to a representation theorem for a more general class of probability functions satisfying these principles.

In his “Wissenschaftslogik: The Role of Logic in the Philosophy of Science,” Michael Friedman argues that Carnap’s philosophy of science “is fundamentally anti-metaphysical—he aims to use the tools of mathematical logic to dissolve rather [than] solve traditional philosophical problems—and it is precisely this point that is missed by his logically-minded contemporaries such as Hempel and Quine”. In this paper, I take issue with this claim, arguing that Quine, too, is a part of this anti-metaphysical tradition. I begin in section I (...) with Russell’s account of scientific philosophy, focusing on its critique of metaphysics and its reliance on logical constructions. I then argue that each of Carnap and Quine take up this call to scientific philosophizing but that they both find Russell’s account of logic wanting. In section II, I first provide an account of Carnap’s critique of metaphysics and its reliance on developments in logic. This is followed by a discussion of his appeal to the analytic/synthetic distinction so as to improve upon Russell’s account of logic. Section III follows this same structure but focuses on Quine. In the end, though, Quine turns not to the analytic/synthetic distinction but to holism to provide an account of logic suitable to scientific philosophy. Carnap had claimed to be “more Russellian than Russell,” and in this final move by Quine I argue that he is “being more Carnapian than Carnap.” I conclude by showing how, contrary to Friedman’s view, Quine’s rejection of the analytic/synthetic distinction does not yield a return to the kind metaphysics that he, Carnap, and Russell all objected to. (shrink)

What is the role of measurement in the sociology of culture and how can we sort out the complexities that distinguish qualitative from quantitative approaches to this domain? In this article, we compare the issues and concerns of contemporary scholars who work on matters of culture with the writings of a group of scholars who had prepared papers for a special symposium on scientific measurement held at the annual meeting of the American Association for the Advancement of Science (AAAS) back (...) in 1956. We focus on three issues—the recurring need to reinvent measurement (as illustrated by the career of the psychologist S.S. Stevens), the linkage between qualitative and quantitative methods of analysis (as articulated in the writings of the sociologist Paul Lazarsfeld), and the assertion (by philosophers Ernst Cassirer and Peter Caws) that theorizing necessarily precedes measuring. We review a number of important advances in the way that measurement is theorized and implemented in the sociology of culture and we also point to a number of enduring dilemmas and conundrums that continue to occupy researchers in the field today. (shrink)

The thesis that numbers are ratios of quantities has recently been advanced by a number of philosophers. While adequate as a definition of the natural numbers, it is not clear that this view suffices for our understanding of the reals. These require continuous quantity and relative to any such quantity an infinite number of additive relations exist. Hence, for any two magnitudes of a continuous quantity there exists no unique ratio. This problem is overcome by defining ratios, and hence real (...) numbers, as binary relations between infinite standard sequences. This definition leads smoothly into a new definition of measurement consonant with the traditional view of measurement as the discovery or estimation of numerical relations. The traditional view is further strengthened by allowing that the additive relations internal to a quantity are distinct from relations observed in the behaviour of objects manifesting quantities. In this way the traditional theory can accommodate the theory of conjoint measurement. This is worth doing because the traditional theory has one great strength lacked by its rivals: measurement statements and quantitative laws are able to be understood literally. 1 This paper was completed in 1990-1. while the author was a visiting scholar at the Irvine Research Unit in Mathematical Behavioral Sciences. University of California. Irvine. The author wishes to thank the Director. Professor R. D. Luce, for the generous provision of space and facilities within the Unit and for his critical comments upon some of the ideas expressed herein: Professor L. Narens. for his trenchant criticisms: and the University of Sydney, for granting Special Study Leave and financial assistance to make the visit possible. (shrink)

often insisted existence in mathematics means logical consistency, and formal logic is the sole guarantor of rigor. The paper joins this to his view of intuition and his own mathematics. It looks at predicativity and the infinite, Poincaré's early endorsement of the axiom of choice, and Cantor's set theory versus Zermelo's axioms. Poincaré discussed constructivism sympathetically only once, a few months before his death, and conspicuously avoided committing himself. We end with Poincaré on Couturat, Russell, and Hilbert.

The philosophical investigation of perceptual illusions can generate fruitful insights in the study of subjective time consciousness. However, the way illusions are interpreted is often controversial. Recently, proponents of the so-called dynamic snapshot theory have appealed to the Waterfall Illusion, a kind of motion aftereffect, to support a particular view of temporal consciousness according to which experience is structured as a series of instantaneous snapshots with dynamic qualities. This dynamism is meant to account for familiar features of the phenomenology of (...) time, such as succession, continuity, and change. Previous theories have typically appealed to a subjective present occupying an interval of time; that is, a “specious present.” I argue, through analysis of motion aftereffect illusions and the rare condition of akinetopsia, i.e. motion-blindness, that the Waterfall Illusion fails to support the dynamic snapshot theory as intended. Furthermore, I suggest that future theories of subjective time should see temporal phenomenology as the result of non-localised processes closely tied to the mechanism underlying consciousness generally. (shrink)

There is a strong intuition that for a change to occur, there must be a moment at which the change is taking place. It will be demonstrated that there are no such moments of change, since no state the changing thing could be in at any moment would suffice to make that moment a moment of change. A moment in which the changing thing is simply in the state changed from or the state changed to cannot be the moment of (...) change, since these states are respectively before and after the change; moreover, to select one of these moments over the other as the moment of change would be arbitrary. A moment in which the changing thing is neither in the state changed from nor in the state changed to cannot be the moment of change, since there are changes for which it is impossible for something to be in neither state. Finally, the moment of change cannot be a moment in which the changing thing is in both the state changed from and the state changed to, as suggested by Graham Priest and others. Even if, like proponents of this view, we are willing to accept the contradictions that the account entails, it is demonstrated that on such a model, every change would require an infinite number of other changes, every change would take an infinite amount of time, and some changes would occur without occurring at any time. Further, the model is grossly counterintuitive, with the exact nature of the counterintuitive element depending on what model of time and space one endorses. Finally, it is demonstrated that this model is incompatible with the Leibniz Continuity Condition. (shrink)

I argue that three main interpretations of the aim of Russell’s early logicism in The Principles of Mathematics (1903) are mistaken, and propose a new interpretation. According to this new interpretation, the aim of Russell’s logicism is to show, in opposition to Kant, that mathematical propositions have a certain sort of complete generality which entails that their truth is independent of space and time. I argue that on this interpretation two often-heard objections to Russell’s logicism, deriving from Gödel’s incompleteness theorem (...) and from the non-logical character of some of the axioms of Principia Mathematica respectively, can be seen to be inconclusive. I then proceed to identify two challenges that Russell’s logicism, as presently construed, faces, but argue that these challenges do not appear unanswerable. (shrink)

In this paper, I investigate type theories from several perspectives. First, I present and elaborate the philosophical and technical motivations for these theories. I then offer a formal analysis of various TTs, focusing on the cardinality of the set of types contained in each. I argue that these TTs can be divided into four formal categories, which are derived from the cardinality of the set of their basic elementary types and the finiteness of the lengths of their molecular types. The (...) paper provides proofs of the cardinality of the universe of types for each of the specified theories. (shrink)

Among the many controversial contributions of E. A. Milne to cosmology, the only one which is taken seriously today (to the extent that it has been absorbed as a premise in most scientific approaches to the problem of the universe as a totality) is his early suggestion that a formal equivalence may be made between Newtonian and Relativistic cosmology. My own paper suggests that, over and above any logical validity in the alleged equivalence, the actual way in which it has (...) subtly insinuated itself into nearly all contemporary speculation reveals as few things could some of the epistemological foundations that underlie the current assumptions in cosmological science. (shrink)

The dominant account of propositions holds that they are structured entities that have, as constituents, the semantic values of the constituents of the sentences that express them. Since such theories hold that propositions are structured, in some sense, like the sentences that express them, they must provide an answer to what I will call Soames’ Question: “What level, or levels, of sentence structure does semantic information incorporate?”. As it turns out, answering Soames’ Question is no easy task. I argue in (...) this paper that the two most promising ways of answering it, the Logical Form Account and the LF Account, are both unsatisfactory. This result casts doubt on the very idea that propositions are structured. (shrink)

In this paper, I argue that Scott Soames’ theory of naturalized cognitive propositions faces a serious objection: there are true propositions for which NCP cannot account. More carefully, NCP cannot account for certain truths of mathematics unless it is possible for there to be an infinite intellect. For those who reject the possibility of an infinite intellect, this constitutes a reductio of NCP.

Eternalists believe that there is no ontological difference between the past, present and future. Thus, a challenge arises: in virtue of what does time have a direction? Some eternalists, Oaklander and Tegtmeier ) argue that the direction of time is primitive. A natural response to positing primitive directionality is the suspicion that said posit is too mysterious to do any explanatory work. The aim of this paper is to relieve primitive directionality of some of its mystery by offering a novel (...) way to understand the phenomenon in terms of the recently popularised notion of grounding. (shrink)