The expression tode ti, commonly translated as ‘a this’, plays a key role in Aristotle’s metaphysics. Drawing lightly on theories of demonstratives in contemporary linguistics, I discuss the expres...

To compute is to execute an algorithm. More precisely, to say that a device or organ computes is to say that there exists a modelling relationship of a certain kind between it and a formal specification of an algorithm and supporting architecture. The key issue is to delimit the phrase of a certain kind. I call this the problem of distinguishing between standard and nonstandard models of computation. The successful drawing of this distinction guards Turing's 1936 analysis of computation against (...) a difficulty that has persistently been raised against it, and undercuts various objections that have been made to the computational theory of mind. (shrink)

Accelerating Turing machines have attracted much attention in the last decade or so. They have been described as “the work-horse of hypercomputation” (Potgieter and Rosinger 2010: 853). But do they really compute beyond the “Turing limit”—e.g., compute the halting function? We argue that the answer depends on what you mean by an accelerating Turing machine, on what you mean by computation, and even on what you mean by a Turing machine. We show first that in the current literature the term (...) “accelerating Turing machine” is used to refer to two very different species of accelerating machine, which we call end-stage-in and end-stage-out machines, respectively. We argue that end-stage-in accelerating machines are not Turing machines at all. We then present two differing conceptions of computation, the internal and the external, and introduce the notion of an epistemic embedding of a computation. We argue that no accelerating Turing machine computes the halting function in the internal sense. Finally, we distinguish between two very different conceptions of the Turing machine, the purist conception and the realist conception; and we argue that Turing himself was no subscriber to the purist conception. We conclude that under the realist conception, but not under the purist conception, an accelerating Turing machine is able to compute the halting function in the external sense. We adopt a relatively informal approach throughout, since we take the key issues to be philosophical rather than mathematical. (shrink)

Berkeley holds that vision, in isolation, presents only color and light. He also claims that typical perceivers experience distance, figure, magnitude, and situation visually. The question posed in New Theory is how we perceive by sight spatial features that are not, strictly speaking, visible. Berkeley’s answer is “that the proper objects of vision constitute an universal language of the Author of nature.” For typical humans, this language of vision comes naturally. Berkeley identifies two sorts of objects of vision: primary (light (...) and colors) and secondary (distance, figure, magnitude, and situation). Berkeley also appeals to a third class of a different sort: visible figure, magnitude, and situation, constituting the vocabulary of the language of vision. By considering two perceivers who lack this vocabulary we may better understand this third category and the difference between those who must learn the language of vision and those for whom it is a natural endowment. (shrink)

The logical properties of the 'if-then' connective of ordinary English differ markedly from the logical properties of the material conditional of classical, two-valued logic. This becomes apparent upon examination of arguments in conversational English which involve (noncounterfactual) usages of if-then'. A nonclassical system of propositional logic is presented, whose conditional connective has logical properties approximating those of 'if-then'. This proposed system reduces, in a sense, to the classical logic. Moreover, because it is equivalent to a certain nonstandard three-valued logic, its (...) decision procedure is almost as efficient as that of the classical logic. It therefore provides a rational and convenient system in which to formalize English arguments. (shrink)

RÉSUMÉ : Dans son récent recueil d’articles Language, Truth and History, Donald Davidson semble pencher en faveur d’une philosophie du langage mettant l’accent sur la notion de l’intention communicative du sujet parlant; en quoi il se rapproche du point de vue de Paul Grice. Si cela est juste, la pensée de Davidson se serait dégagée de l’approche sémantique formelle qu’il soutenait dans ses Inquiries into Truth and Interpretation. Dans cet article, je soutiens que, bien qu’il y ait beaucoup de similitudes (...) entre ces deux penseurs, Davidson n’a pas abandonné ses précédentes vues sur le langage. (shrink)

: Sociologists of Scientific Knowledge sometimes claim to study scientists belonging to other forms of life. This claim causes difficulties, as traditionally Wittgensteinians have taken it to be the case that other forms of life are incomprehensible to us. This paper examines whether, and how, sociologists might gain understanding of another form of life, and whether, and how, this understanding might be passed on to readers. I argue that most techniques proposed for gaining and passing on understanding are inadequate, but (...) I end by describing a method that might work. (shrink)

Erroneously attributing propositional attitudes (desires, beliefs...) to computational artefacts has become internationally commonplace in the public arena, especially amongst the new generation of non-initiated users. Technology for rendering machines “user-friendly” is often inspired by interpersonal human communication. This calls forth designers to conceptualise a major component of human intelligence: the sense ofcommunicability, and its logical consequences. The inherentincommunicability of machines subsequently causes a shift in design strategy. Though cataloguing components of bouts between person and machine with Speech Act Theory has (...) been popular, I will endeavour to present thesine qua non for their insertion into a larger unit of discourse — their societal embodiment. I shall argue that the so-called “intelligence” of the artificial should to be seenas a purposeful act that is socially generated, because it comes of Man,for Man. Designership will provide the forum for evolving user requirements and interface renewal. (shrink)

I argue for a cognitive architecture in which folk psychology is supported by an interface of a ToM module and the language faculty, the latter providing the former with interpreted LF structures which form the content representations of ToM states. I show that LF structures satisfy a range of key features asked of contents. I confront this account of ToM with eliminativism and diagnose and combat the thought that "success" and innateness are inconsistent with the falsity of folk psychology. I (...) show that, while my ensemble account of ToM and language refutes the culturalist presuppositions that tend to underlie eliminativist arguments, the falsity of folk psychology is consistent with the account. (shrink)

Dans la première partie de cet article, je presente une thèse parapluie — la thèse de l'«exhaustion» — qui cerne bien l'élément central des diverses positions déflationnistes au sujet de la vérité : l'idée que le contenu du prédicat de vérité s'épuise entièrement dans le contenu de ce à quoi le prédicats'applique. Je soutiens que cette thèse n'est supportée que d'une manière triviale par l'idée courante que la vérite résiste à une analyse substantielle, car les prédicats en général ne se (...) prêtent guere à ce genre d'analyse. J'examine ensuite deux élaborations positives de la thèse de l'exhaustion; et je soutiens que ni l'une ni l'autre ne commence même à montrer que la thèse en question soit explicativement adéquate. (shrink)

The paper considers our ordinary mentalistic discourse in relation to what we should expect from any genuine science of the mind. A meta-scientific eliminativism is commended and distinguished from the more familiar eliminativism of Skinner and the Churchlands. Meta-scientific eliminativism views folk psychology qua folksy as unsuited to offer insight into the structure of cognition, although it might otherwise be indispensable for our social commerce and self-understanding. This position flows from a general thesis that scientific advance is marked by an (...) eschewal of folk understanding. The latter half of the paper argues that, contrary to the received view, Chomsky's review of Skinner offers not just an argument against Skinner's eliminativism, but, more centrally, one in favour of the second eliminativism. (shrink)

It is widely held that propositions are structured entities. In The Nature and Structure of Content (2007), Jeff King argues that the structure of propositions is none other than the syntactic structure deployed by the speaker/hearers who linguistically produce and consume the sentences that express the propositions. The present paper generalises from King’s position and claims that syntax provides the best in-principle account of propositional structure. It further seeks to show, however, that the account faces severe problems pertaining to the (...) fine individuation of propositions that the account entails. The ‘fineness of cut’ problem has been raised by Collins (The unity of linguistic meaning, 2007) and others. King (Philos Stud 163(3):763–781, 2013) responds to these complaints in ways this paper rebuts. Thus, the very idea of structured propositions is brought into doubt, for the best in-principle account of such structure appears to fail. (shrink)

Answering machines and other types of recording devices present prima facie problems for traditional theories of the meaning of indexicals. The present essay explores a range of semantic and pragmatic responses to these issues. Careful attention to the difficulties posed by recordings promises to help enlighten the boundaries between semantics and pragmatics more broadly.

The object of this paper is to show why recent research in the psychology of deductive and probabilistic reasoning does not have.

Arguments based on Leibniz's Law seem to show that there is no room for either indefinite or contingent identity. The arguments seem to prove too much, but their conclusion is hard to resist if we want to keep Leibniz's Law. We present a novel approach to this issue, based on an appropriate modification of the notion of logical consequence.

: The relationship between facts and values—in particular, naturalism and normativity—poses an ongoing challenge for feminist science studies. Some have argued that the fact/value holism of W.V. Quine's naturalized epistemology holds promise. I argue that Quinean epistemology, while appropriately naturalized, might weaken the normative force of feminist claims. I then show that Quinean epistemic themes are unnecessary for feminist science studies. The empirical nature of our work provides us with all the naturalized normativity we need.

In considering philosophy of education now and in the future, this paper explores the issue from an Australasian perspective. While philosophy of education in this part of the world has strong international links there is an absence of indigenous influences. A number of philosophical strands have developed including naturalism and postmodernism which have informed thinking about education policy and practice. The institutional side of philosophy of education has witnessed both the promotion of philosophers to professorial positions and the slow decline (...) in numbers as departing staff are not replaced. How philosophy of education will fare in the future will depend on the survival of an academic community, the opportunity to teach papers in the subject to undergraduate and postgraduate students (and so replace ourselves) and convincing teachers and policy makers that philosophy of education makes an indispensable contribution to improving policy and the educational experiences of students. (shrink)

Postmodernism has established a significant hold in educational thought and some of the most important ideas are to be found in the writings of Michael Peters. This paper examines his postmodern stance and use of Lyotard's account of knowledge, and from a naturalist point of view raises a number of objections centred on science as a metanarrative, the unity of the empirical and the evaluative, and reason, truth and the growth of knowledge. It is concluded that postmodern epistemology, unlike naturalism, (...) does not serve education well. (shrink)

Postmodernism has established a significant hold in educational thought and some of the most important ideas are to be found in the writings of Michael Peters. This paper examines his postmodern stance and use of Lyotard's account of knowledge, and from a naturalist point of view raises a number of objections centred on science as a metanarrative, the unity of the empirical and the evaluative, and reason, truth and the growth of knowledge. It is concluded that postmodern epistemology, unlike naturalism, (...) does not serve education well. (shrink)

History and the modern sciences are characterized by what is sometimes called a “methodological naturalism” that disregards talk of divine agency. Some religious thinkers argue that this reflects a dogmatic materialism: a non-negotiable and a priori commitment to a materialist metaphysics. In response to this charge, I make a sharp distinction between procedural requirements and metaphysical commitments. The procedural requirement of history and the sciences—that proposed explanations appeal to publicly-accessible bodies of evidence—is non-negotiable, but has no metaphysical implications. The metaphysical (...) commitment is naturalistic, but is both a posteriori and provisional, arising from the fact that formore than 400 years no proposed theistic explanation has been shown capable ofmeeting the procedural requirement. I argue that there is nothing to prevent religious thinkers from seeking to overturn this metaphysically naturalistic stance. But in order to do so they would need to show that their proposed theistic explanations are the best available explanations of a range of phenomena. Until this has been done, the metaphysical naturalism of history and the sciences remains defensible. (shrink)

It is widely assumed that human learning and the structure of human languages are intimately related. This relationship is frequently suggested to derive from a language-specific biological endowment, which encodes universal, but communicatively arbitrary, principles of language structure (a Universal Grammar or UG). How might such a UG have evolved? We argue that UG could not have arisen either by biological adaptation or non-adaptationist genetic processes, resulting in a logical problem of language evolution. Specifically, as the processes of language change (...) are much more rapid than processes of genetic change, language constitutes a both over time and across different human populations, and, hence, cannot provide a stable environment to which language genes could have adapted. We conclude that a biologically determined UG is not evolutionarily viable. Instead, the original motivation for UG arises because language has been shaped to fit the human brain, rather than vice versa. Following Darwin, we view language itself as a complex and interdependent which evolves under selectional pressures from human learning and processing mechanisms. That is, languages themselves are shaped by severe selectional pressure from each generation of language users and learners. This suggests that apparently arbitrary aspects of linguistic structure may result from general learning and processing biases deriving from the structure of thought processes, perceptuo-motor factors, cognitive limitations, and pragmatics. (shrink)

In this paper I will address the question of rationalizing mental causation which is involved in the processes of epistemic justification. The main problem concerning mental causation consists in the apparent incompatibility of the three following claims: (i) the subject's mental states (in particular his belief states) are realized by neural states of the subject's brain; (ii) the justifying character of belief transition consists in the fact that there are certain broadly logical relations between the contents of the relevant beliefs; (...) and (iii) all generations of neural states are, at bottom, governed by the purely physical laws. I try to reconciliate the physical necessity of the neural states generation with the logical rationality of the belief transition. Surprisingly enough, it will turn out that, in a sense, each thinking subject is logically perfect. However, in another sense we are exactly as fallible and irrational as our common-sense tells us. (shrink)

Intellectual humility can be broadly construed as being conscious of the limits of one’s existing knowledge and capable of acquiring more knowledge, which makes it a key virtue of the information age. However, the claim “I am humble” seems paradoxical in that someone who has the disposition in question would not typically volunteer it. Therefore, measuring intellectual humility via self-report may be methodologically unsound. As a consequence, we suggest analyzing intellectual humility semantically, using a psycholexical approach that focuses on both (...) synonyms and antonyms of ‘intellectual humility’. We present a thesaurus-based methodology to map the semantic space of intellectual humility and the vices it opposes as a heuristic to support analysis and diagnosis of this disposition. We performed the mapping both in English and German in order to test for possible cultural differences in the understanding of intellectual humility. In both languages, we find basically the same three semantic dimensions of intellectual humility as well as three dimensions of its related vices. The resulting semantic clusters were validated in an empirical study with English and German participants. We find medium-to-high correlations between thesaurus similarity and perceived similarity, and we can validate the three dimensions identified in the study. But we also find limitations of the thesaurus methodology in terms of cluster plausibility. We conclude by discussing the importance of these findings for constructing psychometric measures of intellectual humility via self-report vs. computer models. (shrink)

Amit's work addresses a critical issue in cognitive science: the structure of neural representations. The use of Hebbian cell assemblies is a positive step, and we now need to consider its role in a larger cognitive theory. When considering the dynamics of a system built out of attractors, a more limited version of reverberation becomes necessary.

The book from which these sections are excerpted is concerned with the prospects for assimilating the study of human intelligence and its products to the natural sciences through the investigation of cognitive structures, understood as systems of rules and representations that can be regarded as “mental organs.” These mental structui′es serve as the vehicles for the exercise of various capacities. They develop in the mind on the basis of an innate endowment that permits the growth of rich and highly articulated (...) structures along an intrinsically determined course under the triggering and partially shaping effect of experience, which fixes parameters in an intricate system of predetermined form. It is argued that the mind is modular in character, with a diversity of cognitive structures, each with its specific properties arid principles. Knowledge of language, of the behavior of objects, and much else crucially involves these mental structures, and is thus not characterizable in terms of capacities, dispositions, or practical abilities, nor is it necessarily grounded in experience in the standard sense of this term.Various types of knowledge and modes of knowledge acquisition are discussed in these terms. Some of the properties of the language faculty are investigated. The basic cognitive relation is “knowing a grammar”; knowledge of language is derivative and, correspondingly, raises further problems. Language as commonly understood is not a unitary phenomenon but involves a number of interacting systems: the “computational” system of grammar, which provides the representations of sound and meaning that permit a rich range of expressive potential, is distinct from a conceptual system with its own properties; knowledge of language must be distinguished from knowledge of how to use a language; and the various systems that enter into the knowledge and use of language must be further analyzed into their specific subcomponents. (shrink)

The book from which these sections are excerpted is concerned with the prospects for assimilating the study of human intelligence and its products to the natural sciences through the investigation of cognitive structures, understood as systems of rules and representations that can be regarded as These mental structui′es serve as the vehicles for the exercise of various capacities. They develop in the mind on the basis of an innate endowment that permits the growth of rich and highly articulated structures along (...) an intrinsically determined course under the triggering and partially shaping effect of experience, which fixes parameters in an intricate system of predetermined form. It is argued that the mind is modular in character, with a diversity of cognitive structures, each with its specific properties arid principles. Knowledge of language, of the behavior of objects, and much else crucially involves these mental structures, and is thus not characterizable in terms of capacities, dispositions, or practical abilities, nor is it necessarily grounded in experience in the standard sense of this term. (shrink)

The mass/count distinction attracts a lot of attention among cognitive scientists, possibly because it involves in fundamental ways the relation between language (i.e. grammar), thought (i.e. extralinguistic conceptual systems) and reality (i.e. the physical world). In the present paper, I explore the view that the mass/count distinction is a matter of vagueness. While every noun/concept may in a sense be vague, mass nouns/concepts are vague in a way that systematically impairs their use in counting. This idea has never been systematically (...) pursued, to the best of my knowledge. I make it precise relying on supervaluations (more specifically, ‘data semantics’) to model it. I identify a number of universals pertaining to how the mass/count contrast is encoded in the languages of the world, along with some of the major dimensions along which languages may vary on this score. I argue that the vagueness based model developed here provides a useful perspective on both. The outcome (besides shedding light on semantic variation) seems to suggest that vagueness is not just an interface phenomenon that arises in the interaction of Universal Grammar (UG) with the Conceptual/Intentional System (to adopt Chomsky’s terminology), but it is actually part of the architecture of UG. (shrink)

The present paper is intended to analyse from a theoretical point of view the relationships between natural language and idiolects in the context of communication by means of the Davidson–Dummett controversy on the nature of language. I will explore from a pragmatic point of view the reliability of an alternative position inspired by the recent literalism/contextualism debate in philosophy of language in order to overcome some limitations of Dummett’s and Davidson’s perspectives on language, idiolects and communication.