The view of language is greatly changed from early modern philosophy to later modern philosophy and to postmodern philosophy. The linguistic question in early modern philosophy, which is characterized by rationalism and empiricism, is discussed in this paper. Linguistic phenomena are not at the center of philosophical reflections in early modern philosophy. The subject of consciousness is at the center of the philosophy, which makes language serve purely as an instrument for representing thoughts. Locke, Leibniz and Descartes consider language from (...) a representationalist point of view. To them, language itself is idealized and represents thought as if it were thought representing itself. Like the structural linguist Saussure, the founders of phenomenology and analytical philosophy give much attention to the logical or static structure of language, and stick up for the representationalism of early modern philosophy. However, their successors refuse to accept this attitude, meaning the final collapse of representationalism. (shrink)

I consider a seemingly attractive strategy for grappling with the mind-body problem. It is often thought that materialists are committed to spatially locating mental events, whereas dualists are barred from so doing. The thought naturally arises, then, that reasons for or against the spatiality of the mental may be wielded to adjudicate between the different positions in the mind-body dispute. Showing that mental events are spatially located, it may be thought, is ipso facto showing the truth of materialism. Conversely, it (...) seems, if we can show that mental events are not spatially located, we will have refuted materialism. The strategy looks promising because it reduces a very abstruse problem to a much more tractable one. Unfortunately, I will argue, it can’t be implemented. (shrink)

There has recently been a growing interest in the topic of vagueness and indeterminacy in contemporary metaphysics, with two views taking center stage. The semantic view holds that indeterminacy is due to vagueness in the extension of concepts, while the ontological view holds that indeterminacy is due to the vagueness of certain objects. There has, however, been little research on discussions of vagueness and indeterminacy in early-modern philosophy despite the relevance of vagueness and indeterminacy for issues such as real and (...) nominal definitions, clear and distinct ideas, and the principle of complete determination. In this paper, I survey discussions of vagueness in Locke, Leibniz, and Kant and point to ways in which the problem of vagueness and indeterminacy touches on broader issues in their respective philosophies. Although Locke, Leibniz, and Kant all suggest that vagueness is a semantic phenomenon, Kant also appears to countenance an ontological view according to which objects as appearances may sometimes be indeterminate. (shrink)

In the marketplace of opinions concerning the metaphysics of mind and consciousness panqualityism (PQ) occupies an interesting position. It is a distinct variant of neutral monism, as well as of protophenomenalism, and as such it strives to carve out a conceptual niche midway between physicalism and mentalism. It is also a brand of Russellian monism, advocated by its supporters as a less costly and less extravagant alternative to panpsychism. Being clearly articulated and relatively well-developed it constitutes an intriguing view. Nonetheless, (...) the present paper takes a decisively critical stance towards PQ. In particular, it challenges it on two principal grounds. First, I argue that PQ's analysis of experience, and of the qualities tasked with constituting the phenomenal character of experience, is fundamentally flawed. Second, I argue that PQ's attempt to explain phenomenal consciousness as a function of reflective awareness is equally misguided. Along the way, the paper also points the shortcomings of previously established critiques of PQ. All in all, the discussion identifies some difficulties that are likely to generalize beyond PQ's specific circumstances, raising concerns regarding the viability of a "middle of the road" solution to the mind–body problem. (shrink)

ABSTRACT This paper aims to show that intuitionistic Kripke models are a powerful tool for interpreting Kant’s ‘Critical Philosophy’. Part I reviews some old work of mine that applies these models to provide a reading of Kant’s second antinomy about the divisibility of matter and to answer several attacks on Kant’s antinomies. But it also points out three shortcomings of that original application. First, the reading fails to account for Kant’s second antinomy claim that matter is divisible ‘ad infinitum’ and (...) his first antinomy claim that empirical space extends only ‘ad indefinitum’. Secondly, in conformity with the ‘assertability’ heuristics for Kripke models, it attributes an assertability semantics to Kant. In fact, it attributes a pair of assertability semantics to Kant, but neither of these accords with modern assertabilism. And finally, one must wonder the propriety of using contemporary assertability and contemporary formal logic to save an eighteenth-century text. Part II goes historical to solve the problems about assertability. It outlines the Descartes–Leibniz dialectic about the infinite/indefinite distinction and demonstrates how each position reflects larger philosophical positions. It then demonstrates that Kant’s two versions of assertability and his version of the infinite/indefinite dichotomy emerge naturally from his attempts to resolve a tension in Leibniz’s philosophy. In light of this demonstration, Part III adapts the Kripke model interpretation so that it does reflect that dichotomy. It then refines the Kripke semantics in order to model some of Kant’s signature critical doctrines, and it shows how Kant’s critical version of the infinite/indefinite distinction differs from all those of his predecessors and from his own pre-critical version. It also addresses the question of using contemporary logical machinery to interpret Kant. Part IV turns the tables and uses what we have learned about Kant and modern semantics in order to address a pair of issues in the contemporary critical foundations of logic. (shrink)

How do humans manage to keep track of a gradually changing object or person as the same persisting individual despite the fact that the extraction of information about this individual must often rely on heterogeneous information sources and heterogeneous tracking methods? The article introduces the Empirical Tracking of Individuals theory to address this problem. This theory proposes an analysis of the concept of integrated tracking, which refers to the capacity to acquire, store, and update information about the identity and location (...) of individuals in our environment. It hypothesizes that certain functions of attention are a key to explaining how the cognitive flexibility of the human mind overcomes the heterogeneity of sources and methods in integrated tracking. At least two premises lend support to this hypothesis. First, heterogeneity of tracking sources is overcome by the combination of information from multiple perceptual modalities and a phenomenon of multisensory 'transparency'. Second, heterogeneity of tracking sources and methods may also be overcome by inferences that combine information across domains to acquire reasons to believe propositions about the target's location and identity. (shrink)

Though pictures are often used to present mathematical arguments, they are not typically thought to be an acceptable means for presenting mathematical arguments rigorously. With respect to the proofs in the Elements in particular, the received view is that Euclid's reliance on geometric diagrams undermines his efforts to develop a gap-free deductive theory. The central difficulty concerns the generality of the theory. How can inferences made from a particular diagrams license general mathematical results? After surveying the history behind the received (...) view, this essay provides a contrary analysis by introducing a formal account of Euclid's proofs, termed Eu. Eu solves the puzzle of generality surrounding Euclid's arguments. It specifies what diagrams Euclid's diagrams are, in a precise formal sense, and defines generality-preserving proof rules in terms of them. After the central principles behind the formalization are laid out, its implications with respect to the question of what does and does not constitute a genuine picture proof are explored. (shrink)

In this paper I concentrate on Euclidean diagrams, namely on those diagrams that are licensed by the rules of Euclid’s plane geometry. I shall overview some philosophical stances that have recently been proposed in philosophy of mathematics to account for the role of such diagrams in mathematics, and more particularly in Euclid’s Elements. Furthermore, I shall provide an original analysis of the epistemic role that Euclidean diagrams may have in empirical sciences, more specifically in physics. I shall claim that, although (...) the world we live in is not Euclidean, Euclidean diagrams permit to obtain knowledge of the world through a specific mechanism of inference I shall call inheritance. (shrink)

Voluntary acts are preceded by electrophysiological (RPs). With spontaneous acts involving no preplanning, the main negative RP shift begins at about200 ms. Control experiments, in which a skin stimulus was timed (S), helped evaluate each subject's error in reporting the clock times for awareness of any perceived event.

Leibniz’s universal characteristic is a fundamental aspect of his theory of cognition. Without symbols or characters it would be difficult for the human mind to define several concepts and to achieve many demonstrations. In most disciplines, and particularly in mathematics, the mind must then focus on symbols and their combinatorial rules rather than on mental contents. For Leibniz, mental perception is most of the time too confused for attaining distinct notions and valid deductions. In this paper, I argue that the (...) functions of symbolization differ depending upon the kind of concepts that are replaced with characters. In my view, most commentators did not sufficiently underline the distinction between two main functions of formal substitution in Leibniz’s characteristic: either increasing our knowledge or simply structuring it. In the first case, we complete our knowledge because formal substitution makes sensible and imaginary concepts more distinct. In the second case, symbolization helps to organize contents that are already conceived of by reason. Thus the process of substitution is not always identically applicable, for symbols replace different types of concepts. (shrink)

In this article, I develop a higher-order interpretation of Leibniz's theory of consciousness according to which memory is constitutive of consciousness. I offer an account of Leibniz's theory of memory on which his theory of consciousness may be based, and I then show that Leibniz could have developed a coherent higher-order account. However, it is not clear whether Leibniz held (or should have held) such an account of consciousness; I sketch an alternative that has at least as many advantages as (...) the higher-order theory. This analysis provides an important antecedent to the contemporary discussions of higher-order theories of consciousness. (shrink)

The standard approach to solve prediction tasks is to apply inductive methods such as, e.g., the straight rule. Such methods are proven to be access-optimal in specific prediction settings, but not in all. Within the optimality-approach of meta-induction, success-based weighted prediction methods are proven to be access-optimal in all possible continuous prediction settings. However, meta-induction fails to be access-optimal in so-called demonic discrete prediction environments where the predicted value is inversely correlated with the true outcome. In this paper the problem (...) of discrete prediction environments is addressed by embedding them into a synchronised prediction setting. In such a setting the task consists in providing a discrete and a continuous prediction. It is shown that synchronisation constraints exclude the possibility of demonic environments. (shrink)

In this paper it is argued that there are relevant similarities of Aristotle's account of definition and Carnap's account of explication. To show this, first, Aristotle's conditions of adequacy for definitions are provided and an outline of the main critique put forward against Aristotle's account of definition is given. Subsequently, Carnap's conditions of adequacy for explications are presented and discussed. It is shown that Aristotle's conditions of extensional correctness can be interpreted against the backdrop of Carnap's condition of similarity once (...) one skips Aristotelian essentialism and takes in a Carnapian and more pragmatic stance. Finally, it is argued that, in general, a complementary rational reconstruction of both approaches allows for resolving problems of interpretational underdetermination. (shrink)

In attempts to come to grips with Kant’s thought, the influence of the philosophy of Christian Wolff (1679-1754) is often neglected. In this paper, I consider three topics in Kant’s philosophy of mind, broadly construed, where Wolff’s influence is particularly visible: consciousness, self-consciousness, and psychology. I argue that we can better understand Kant’s particular arguments and positions within this context, but also gain a more accurate sense of which aspects of Kant’s accounts derive from the antecedent traditions and which constitute (...) genuine philosophical innovations. (shrink)

The subject of this essay is the classical problem of induction, which is sometimes attributed to David Hume and called “the Humean Problem of Induction.” Here, I examine a certain sort of Neo-Aristotelian solution to the problem, which appeals to the concept of natural kinds in its response to the inductive skeptic. This position is most notably represented by Howard Sankey and Marc Lange. The purpose of this paper is partly destructive and partly constructive. I raise two questions. The first (...) is: Are the natural kind solutions to the problem successful? The first thesis of this paper is that they are not, and I will show how and why they fail. And the second question I raise here is: Is there nonetheless some alternative Neo-Aristotelian solution to the problem which is successful and can overcome the shortcomings endemic to the Sankey-Lange account? The second thesis is that there is, and I’ll attempt to sketch one. My stance here may be summarized by saying that, while I agree with Sankey and Lange that the problem of induction can be adequately resolved, and while I am on the whole sympathetic with the Aristotelian spirit of their account, I am, for all that, dissatisfied with the letter of them. Nothing short of a more thoroughgoing Aristotelianism about the epistemology of induction will do. (shrink)

We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning.

Composition as Identity is the view that an object is identical to its parts taken collectively. I elaborate and defend a theory based on this idea: composition is a kind of identity. Since this claim is best presented within a plural logic, I develop a formal system of plural logic. The principles of this system differ from the standard views on plural logic because one of my central claims is that identity is a relation which comes in a variety of (...) forms and only one of them obeys substitution unrestrictedly. I justify this departure from orthodoxy by showing some problems which result from attempts to avoid inconsistencies within plural logic by means of postulating other non-singular terms besides plural terms. Thereby, some of the main criticisms raised against Composition as Identity can be addressed. Further, I argue that the way objects are arranged is relevant with respect to the question which object they compose, i.e. to which object they are identical to. This helps to meet a second group of arguments against Composition as Identity. These arguments aim to show that identifying composite objects on the basis of the identity of their parts entails, contrary to our common sense view, that rearranging the parts of a composite object does not leave us with a different object. Moreover, it allows us to carve out the intensional aspects of Composition as Identity and to defend mereological universalism, the claim that any objects compose some object. Much of the pressure put on the latter view can be avoided by distinguishing the question whether some objects compose an object from the question what object they compose. Eventually, I conclude that Composition as Identity is a coherent and plausible position, as long as we take identity to be a more complex relation than commonly assumed. (shrink)

The paper surveys the possibility of keeping a neo-Kantian approach in the face of Loop Quantum Gravity. Together with a preliminary analysis of Cassirer’s re-interpretation of Kantian philosophy that allowed him to harmonize the a priori cognitions with the theory of relativity and quantum mechanics, it will focus on the distinction between constitutive and regulativea priori. In this way, the paper will suggest that despite Rovelli’s refutation of Kant’s interpretation of space and time, he seems, at least implicitly, to hold (...) to a couple of neo-Kantian assumptions: the usage of constitutivea priori principlessuch as granularity, indeterminism and partially relation, and the claim for functionalism as a rule in ordering the ‘appearances’. (shrink)

What is the relation of logic to thinking? My dissertation offers a new argument for the claim that logic is constitutive of thinking in the following sense: representational activity counts as thinking only if it manifests sensitivity to logical rules. In short, thinking has to be minimally logical. An account of thinking has to allow for our freedom to question or revise our commitments – even seemingly obvious conceptual connections – without loss of understanding. This freedom, I argue, requires that (...) thinkers have general abilities to respond to support and tension among their thoughts. And these abilities are constituted by following logical rules. So thinkers have to follow logical rules. But there isn’t just one correct logic for thinking. I show that my view is consistent with logical pluralism: there are a range of correct logics, any one of which a thinker might follow. A logic for thinking does, however, have to contain certain minimal principles: Modus Ponens and Non-Contradiction, and perhaps others. We follow logical rules by exercising logical capacities, which display a distinctive first-person/third-person asymmetry: a subject can find the instances of a rule compelling without seeing them as instances of a rule. As a result, there are two limits on illogical thinking. First, thinkers have to tend to find instances of logical rules compelling. Second, thinkers can’t think in obviously illogical ways. So thinking has to be logical – but not perfectly so. When we try to think, but fail, we produce nonsense. But our failures to think are often subjectively indistinguishable from thinking. To explain how this occurs, I offer an account of nonsense. To be under the illusion that some nonsense makes sense is to enter a pretence that the nonsense is meaningful. Our use of nonsense within the pretence relies on the role of logical form in understanding. Finally, while the normativity of logic doesn’t fall directly out of logical constitutivism, it’s possible to build an attractive account of logical normativity which has logical constitutivism as an integral part. I argue that thinking is necessary for human flourishing, and that this is the source of logical normativity. (shrink)