Sentences that are ungrammatical and yet intelligible are instances of what I call perfectly thinkable thoughts. I argue that the existence of perfectly thinkable thoughts is revealing in regard to the question of why syntactic islands should exist. If language is an instrument of thought as understood in the biolinguistics tradition, then a uniquely human subset of thoughts is generated in narrow syntax, which suggests that island constraints cannot be rooted in narrow syntax alone and thus (...) must reflect interface conditions imposed on the output of the computational system and its mapping to external systems. (shrink)

I show that there are good arguments and evidence to boot that support the language as an instrument of thought hypothesis. The underlying mechanisms of language, comprising of expressions structured hierarchically and recursively, provide a perspective (in the form of a conceptual structure) on the world, for it is only via language that certain perspectives are avail- able to us and to our thought processes. These mechanisms provide us with a uniquely human way of thinking and talking about the world (...) that is different to the sort of thinking we share with other animals. If the primary function of language were communication then one would expect that the underlying mechanisms of language will be structured in a way that favours successful communication. I show that not only is this not the case, but that the underlying mechanisms of language are in fact structured in a way to maximise computational efficiency, even if it means causing communicative problems. Moreover, I discuss evidence from comparative, neuropatho- logical, developmental, and neuroscientific evidence that supports the claim that language is an instrument of thought. (shrink)

I have two aims for the present paper, one narrow and one broad. The narrow aim is to show that a class of data originally described by Lynsey Wolter empirically undermine the leading treatments of complex demonstratives that have been described in the literature. The broader aim of the paper is to show that Wolter demonstratives, as I will call the constructions I focus on, are a threat not just to existing treatments, but to any possible theory that (...) retains the uncontroversial assumptions that relative clauses always form a constituent with the nouns they modify, and that semantic composition proceeds sequentially and locally, with the inputs to interpretation having the structure syntax tells us they do. (shrink)

Abstract: One of the institutional highlights of the encounter between Austrian “wissen¬schaftliche Philosophie” and French “philosophie scientifique” in the first half of the 20th century was the “First International Congress for Unity of Science” that took place 1935 in Paris. In my contribution I deal with an episode of the philosophical mega-event whose protagonist was the American philosopher and semiotician Charles William Morris. At the Paris congress he presented his programme of a comprehensive, practice-oriented scientific philosophy and, in a more (...) elaborated version he published it two years later in Logical Positivism, Pragmatism and Scientific Empiricism (Morris 1937). Morris aimed at a synthesis of formalism, pragmatism, and traditional empiricism that combined the virtues of these accounts while avoided their shortocmings. The core of approach was a comprehensive theory of the concept of meaning. Through an analysis of the concept of meaning he sought to sort out the existing differences and the options for a possible future rapprochment between logical empiricism and pragmatism. Against the overly narrow logical empiricist understanding of philosophy as the syntax of the language of science Morris argued for a “scientific pragmatism” that comprised four levels: (1) Philosophy as Logic of Science, (2) Philosophy as Clarification of Meaning (Peirce), (3) Philosophy as Empirical Axiology (Dewey), and (4) Philosophy as Empirical Cosmology (Whitehead). (shrink)

Externalism is the view that the intentional content of a mental state supervenes on its relations to objects in the extramental world. Nativism is the view that some of the innate states of the mind/brain have intentional content. I consider both “causal” and “nomic” versions of externalism, and argue that both are incompatible with nativism. I consider likely candidates for a compatibilist position – a nativism of “narrow” representational states, and a nativism of the contentless formal “vehicles” of representational (...) states. I argue that “narrow nativism” is either too implausible to appeal to the nativist – because it entails that innate representational states are lost as the mind becomes more experienced, or too costly to appeal to the externalist – because a reasonable version of it requires the analytic-synthetic distinction. Finally, I argue that “syntactic nativism” is indistinguishable from classical anti-nativist empiricism, given the latter’s broad tolerance for innate implementation of psychological principles and mechanisms. (shrink)

The concept of modes of existence of semiotic entities underlies (post)Greimasian semiotics, yet it seems to have received little attention. Modes of existence can be used in different senses. For Greimas, from the perspective of narrative semiotics, when Michelangelo first receives a block of marble and decides to sculpt the David, his intention is in a virtual mode; as Michelangelo progresses he ends up bringing the David into existence, and his intention comes to the realized mode. In Fontanille’s tensive semiotics, (...) however, modes of existence can have to do with how one can narrow or broaden the scope of our apprehension of the David as our eyes look at it in order to produce a meaningful experience. In this work, the perspectives of narrative and tensive semiotics are contrasted both theoretically and practically applying both to a number of examples. In order to identify all possible modes of existence and all the possibilities of transitioning from one to the other in the examples presented, we resort to the method of finite-state automata from computer science. In the end, we propose a robust narrative account of modes of existence that relies on narrative semiotics for its definition, but into which intent and apprehension from tensive semiotics can be integrated. This work calls for the need of establishing a syntax of modes of existence, since both Greimas and Fontanille construe them as being necessary to account for the production of signification. (shrink)

In their monograph Narrow Content, Yli-Vakkuri and Hawthorne argue that all versions of internalism about mental content are either false or "pointless" (roughly, of no interest). We overview Yli-Vakkuri and Hawthorne's main line of argument and suggest that, while largely correct, it does not touch the core internalist claim that mental states have internally determined contents. Instead of engaging with this claim, Yli-Vakkuri and Hawthorne attack a variety of stronger or weaker claims. The stronger claims fall prey to the (...) Mirror Man argument and other considerations. The weaker claims fall prey to the charge of pointlessness. But the core internalist view is left untouched. (shrink)

An account of distinctively mathematical explanation (DME) should satisfy three desiderata: it should account for the modal import of some DMEs; it should distinguish uses of mathematics in explanation that are distinctively mathematical from those that are not (Baron [2016]); and it should also account for the directionality of DMEs (Craver and Povich [2017]). Baron’s (forthcoming) deductive-mathematical account, because it is modelled on the deductive-nomological account, is unlikely to satisfy these desiderata. I provide a counterfactual account of DME, the (...) class='Hi'>Narrow Ontic Counterfactual Account (NOCA), that can satisfy all three desiderata. NOCA appeals to ontic considerations to account for explanatory asymmetry and ground the relevant counterfactuals. NOCA provides a unification of the causal and the non-causal, the ontic and the modal, by identifying a common core that all explanations share and in virtue of which they are explanatory. (shrink)

I critically examine some provocative arguments that John Searle presents in his book The Rediscovery of Mind to support the claim that the syntactic states of a classical computational system are "observer relative" or "mind dependent" or otherwise less than fully and objectively real. I begin by explaining how this claim differs from Searle's earlier and more well-known claim that the physical states of a machine, including the syntactic states, are insufficient to determine its semantics. In contrast, his more recent (...) claim concerns the syntax, in particular, whether a machine actually has symbols to underlie its semantics. I then present and respond to a number of arguments that Searle offers to support this claim, including whether machine symbols are observer relative because the assignment of syntax is arbitrary, or linked to universal realizability, or linked to the sub-personal interpretive acts of a homunculus, or linked to a person's consciousness. I conclude that a realist about the computational model need not be troubled by such arguments. Their key premises need further support. (shrink)

Like '&', '=' is no term; it represents no extrasentential property. It marks an atomic, nonpredicative, declarative structure, sentences true solely by codesignation. Identity (its necessity and total reflexivity, its substitution rule, its metaphysical vacuity) is the objectual face of codesignation. The syntax demands pure reference, without predicative import for the asserted fact. 'Twain is Clemens' is about Twain, but nothing is predicated of him. Its informational value is in its 'metailed' semantic content: the fact of codesignation (that 'Twain' (...) names Clemens) that explains what fact it asserts and why it is necessary. Critiques of concepts of rigidity and elimination of singular terms result. (shrink)

The ‘syntax’ and ‘combinatorics’ of my title are what Curry (1961) referred to as phenogrammatics and tectogrammatics respectively. Tectogrammatics is concerned with the abstract combinatorial structure of the grammar and directly informs semantics, while phenogrammatics deals with concrete operations on syntactic data structures such as trees or strings. In a series of previous papers (Muskens, 2001a; Muskens, 2001b; Muskens, 2003) I have argued for an architecture of the grammar in which finite sequences of lambda terms are the basic data (...) structures, pairs of terms syntax, semantics for example. These sequences then combine with the help of simple generalizations of the usual abstraction and application operations. This theory, which I call Lambda Grammars and which is closely related to the independently formulated theory of Abstract Categorial Grammars (de Groote, 2001; de Groote, 2002), in fact is an implementation of Curry’s ideas: the level of tectogrammar is encoded by the sequences of lambda-terms and their ways of combination, while the syntactic terms in those sequences constitute the phenogrammatical level. In de Groote’s formulation of the theory, tectogrammar is the level of abstract terms, while phenogrammar is the level of object terms. (shrink)

Turner argues that computer programs must have purposes, that implementation is not a kind of semantics, and that computers might need to understand what they do. I respectfully disagree: Computer programs need not have purposes, implementation is a kind of semantic interpretation, and neither human computers nor computing machines need to understand what they do.

Many attempts to define depiction appeal to viewers' perceptual responses. Such accounts are liable to give a central role in determining depictive content to picture features responsible for the response, design. A different project is to give a compositional semantics for depictive content. Such attempts identify syntax: picture features systematically responsible for the content of the whole. Design and syntax are competitors. But syntax requires system, in how picture features contribute to content, that design does not. By (...) examining John Kulvicki's semantics for basic depictive content, I argue that the relevant systematicity is absent from the pictorial realm. (shrink)

Phrase structure trees have a hierarchical structure. In many subjects, most notably in {\bf taxonomy} such tree structures have been studied using ultrametrics. Here syntactical hierarchical phrase trees are subject to a similar analysis, which is much simpler as the branching structure is more readily discernible and switched. The occurrence of hierarchical structure elsewhere in linguistics is mentioned. The phrase tree can be represented by a matrix and the elements of the matrix can be represented by triangles. The height at (...) which branching occurs is not prescribed in previous syntactic models, but it is by using the ultrametric matrix. In other words the ultrametric approach gives a complete description of phrase trees, unlike previous approaches. The ambiguity of which branching height to choose, is resolved by postulating that branching occurs at the lowest height available. An ultrametric produces a measure of the complexity of sentences: presumably the complexity of sentences increases as a language is acquired so that this can be tested. All ultrametric triangles are equilateral or isosceles. Here it is shown that \={X} structure implies that there are no equilateral triangles. Restricting attention to simple syntax a minimum ultrametric distance between lexical categories is calculated. A matrix constructed from this ultrametric distance is shown to be different than the matrix obtained from features. It is shown that the definition of {\sc c-command} can be replaced by an equivalent ultrametric definition. The new definition invokes a minimum distance between nodes and this is more aesthetically satisfying than previous varieties of definitions. From the new definition of {\sc c-command} follows a new definition of of the central notion in syntax namely {\sc government}. (shrink)

It is commonly assumed that images, whether in the world or in the head, do not have a privileged analysis into constituent parts. They are thought to lack the sort of syntactic structure necessary for representing complex contents and entering into sophisticated patterns of inference. I reject this assumption. “Image grammars” are models in computer vision that articulate systematic principles governing the form and content of images. These models are empirically credible and can be construed as literal grammars for images. (...) Images can have rich syntactic structure, though of a markedly different form than sentences in language. (shrink)

One particularly successful approach to modeling within cognitive science is computational psychology. Computational psychology explores psychological processes by building and testing computational models with human data. In this paper, it is argued that a specific approach to understanding computation, what is called the ‘narrow conception’, has problematically limited the kinds of models, theories, and explanations that are offered within computational psychology. After raising two problems for the narrow conception, an alternative, ‘wide approach’ to computational psychology is proposed.

SummaryIn this paper I discuss two influential views in the philosophy of mind: the two‐component picture draws a distinction between ‘narrow content’ and ‘broad content’, while radical externalism denies that there is such a thing as narrow content. I argue that ‘narrow content’ is ambiguous, and that the two views can be reconciled. Instead of considering that there is only one question and three possible answers corresponding to Cartesian internalism, the two‐component picture, and radical externalism respectively, I (...) show that there are two distinct questions: ‘Are mental contents internal to the individual?’ and, ‘Are mental contents analysable in two‐components?’ Both questions can be given a positive or a negative answer, in such a way that there are four, rather than three, possible views to be distinguished. The extra view whose possibility emerges in this framework is that which mixes radical externalism with the two‐component picture. It agrees with radical externalism that there cannot be ‘solipsistic’ contents: content is not an intrinsic property of the states of an individual organism, but a relational property. It also agrees with the two‐component picture, on a certain interpretation: the broad content of a psychological state depends upon what actually causes that state, but the narrow content depends only on what normally causes this type of state to occur. In the last section of the paper, I deal with internal representation which seem to be independent even of the normal environment. I show that such contents are themselves independent of the normal environment only in a relative sense: they are locally independent of the normal environment, yet still depend on it via the concepts to which they are connected in the concept system. (shrink)

In this paper, I introduce the narrow-sense and wide-sense conceptions of the community of inquiry (Sprod, 2001) as a way of understanding what is meant by the phrase ‘converting the classroom into a community of inquiry.’ The wide-sense conception is the organising or regulative principle of scholarly communities of inquiry and a classroom-wide ideal for the reconstruction of education. I argue that converting the classroom into a community of inquiry requires more than following a specific procedural method, and, therefore, (...) that the wide-sense conception must inform the narrow-sense community of inquiry, as it provides the pedagogical guidelines for classroom practice. This is followed by a discussion on the dual role of the teacher as facilitator and co-inquirer in mediating between the two conceptions of the community of inquiry. Finally, I look at three different interpretations of John Dewey’s educational theory and practice that underpins philosophy for children. I conclude that without an understanding of the relationship between the two conceptions of the community of inquiry to guide the larger aims of an education that supports democratic ways of life, the teacher’s role remains unclear. (shrink)

in recent years, policy makers have shown increasing interest in implementing policies aimed at promoting individual well-being. But how should policy makers choose their well-being policies? a seemingly reasonable first step is to settle on an agreed-upon definition of well-being. yet there currently is significant disagreement on how well-being ought to be characterized, and agreement on the correct view of well-being does not appear to be forthcoming. Nevertheless, i argue in this paper that there are several reasons to think that (...) the domain of well-being in the public policy context is narrower than that of well-being in general, which makes agreement on how to understand well-being in the public policy context more likely. (shrink)

An essay on Wittgenstein's conception of nonsense and its relation to his idea that "logic must take care of itself". I explain how Wittgenstein's theory of symbolism is supposed to resolve Russell's paradox, and I offer an alternative to Cora Diamond's influential account of Wittgenstein's diagnosis of the error in the so-called "natural view" of nonsense.

This article analyzes the historical development of the philosophical logic syntax from the standpoint of the unity of historical and logical methods. According to this perspective, there are three types of logical syntax: the elementary subject-predicate, the modified definitivespecificative, and the standard propositional-functional. These types are generalized in the grammatical and mathematical styles of logical syntax. The main attention is paid to two scientific revolutions in elementary subject-predicate syntax, which led to the emergence of modified definitive-specific (...) and standard propositional-functional syntaxes and created the syntactic conditions for the development of contemporary philosophical logic. The specifics of contemporary philosophical logic and the methodological possibilities of its application to philosophical discourse are studied. The article aims to reevaluate the undeservedly forgotten systems of philosophical logic of the continental tradition, created by such prominent representatives as Aristotle, G.W.F. Hegel, and E. Husserl, and to actualize these logics in the context of contemporary philosophical culture. The potential of the above-mentioned logics is not fully involved in the philosophical discourse of modernity, primarily because they primarily used an imperfect elementary subject-predicate syntax and modified definitive-specificative syntax as its slightly improved version. Both syntaxes have one thing in common: the grammatical style of sentence structure. Nevertheless, they also have one common flaw – a high dependence on grammar formalism. As a result, the interaction between these syntaxes and Frege’s standard propositional-functional syntax is impossible, because the latter is based on mathematical formalism, which operates on the philosophical logic of the analytic tradition. The article substantiates the way to solve this problem by constructing a modified subject-predicate syntax of contemporary philosophical logic. This syntax provides information interaction between Aristotle’s elementary subject-predicate syntax, and Frege’s standard propositional-functional syntax based on Hegel’s modified definitive-specificative syntax. The proposed solution to this problem can create new opportunities for complementarity and mutual enrichment between the philosophical logic of continental and analytical traditions. The theoretical basis for the construction and study of contemporary philosophical logic is a functional analysis of contemporary symbolic logic, which improves the grammatical analysis of traditional formal logic. Functional-grammatical analysis is a way to rehabilitate the philosophical logic of the continental tradition. The novelty of this paper lies in the substantiation of the modified subjectpredicate syntax of contemporary philosophical logic. It makes it possible to establish a dialogue between continental and analytical traditions, which is designed to promote the further development of philosophy. (shrink)

This paper argues that the idea of a computer is unique. Calculators and analog computers are not different ideas about computers, and nature does not compute by itself. Computers, once clearly defined in all their terms and mechanisms, rather than enumerated by behavioral examples, can be more than instrumental tools in science, and more than source of analogies and taxonomies in philosophy. They can help us understand semantic content and its relation to form. This can be achieved because they have (...) the potential to do more than calculators, which are computers that are designed not to learn. Today’s computers are not designed to learn; rather, they are designed to support learning; therefore, any theory of content tested by computers that currently exist must be of an empirical, rather than a formal nature. If they are designed someday to learn, we will see a change in roles, requiring an empirical theory about the Turing architecture’s content, using the primitives of learning machines. This way of thinking, which I call the intensional view of computers, avoids the problems of analogies between minds and computers. It focuses on the constitutive properties of computers, such as showing clearly how they can help us avoid the infinite regress in interpretation, and how we can clarify the terms of the suggested mechanisms to facilitate a useful debate. Within the intensional view, syntax and content in the context of computers become two ends of physically realizing correspondence problems in various domains. (shrink)

In Nicomachean Ethics X.7–8, Aristotle defends a striking view about the good for human beings. According to Aristotle, the single happiest way of life is organized around philosophical contemplation. According to the narrowness worry, however, Aristotle's contemplative ideal is unduly Procrustean, restrictive, inflexible, and oblivious of human diversity. In this paper, I argue that Aristotle has resources for responding to the narrowness worry, and that his contemplative ideal can take due account of human diversity.

Because psychological studies of attention and cognition are most commonly performed within the strict confines of the laboratory or take cognitively impaired patients as subjects, it is difficult to be sure that resultant models of attention adequately account for the phenomenon of effortless attention. The problem is not only that effortless attention is resistant to laboratory study. A further issue is that because the laboratory is the most common way to approach attention, models resulting from such studies are naturally the (...) most widely propagated, these models naturally tend to be biased toward features of attention most amenable to laboratory study, and these models by their implications set the agenda for future study that leads back to the laboratory. In this self-reinforcing system, features of attention not amenable to laboratory study are naturally neglected by researchers. In this chapter, I suggest an alternative model of attention as a heuristic for opening paths to further profitable research. The features of attention emphasized in this model are not new, but the synthesis is novel and sheds some light on issues relevant to the topic of effortless attention. I begin with the five following observations: -/- 1. One naturally pays attention to a task of current interest. 2. There are (at least) two distinct modes of attention—selective and diffuse. 3. Attention is a constantly shifting avenue for the assimilation of information. 4. Information is not forced in from outside but is captured through internal sensitization. 5. Human information processing is fundamentally syntactic. -/- Combining these five observations yields an explanatory model of attention that is not only consistent with the data from the many studies on attention in recent decades but also allows us to investigate the neglected phenomenon of effortless attention. The model relies on the notions of apertures, draw, and syntax and is explicated by addressing each of the above observations in turn. In the final part of the chapter, I explore how the model expands our understanding of effortless attention. (shrink)

In this paper we discuss a new perspective on the syntax-semantics interface. Semantics, in this new set-up, is not ‘read off’ from Logical Forms as in mainstream approaches to generative grammar. Nor is it assigned to syntactic proofs using a Curry-Howard correspondence as in versions of the Lambek Calculus, or read off from f-structures using Linear Logic as in Lexical-Functional Grammar (LFG, Kaplan & Bresnan [9]). All such approaches are based on the idea that syntactic objects (trees, proofs, fstructures) (...) are somehow prior and that semantics must be parasitic on those syntactic objects. We challenge this idea and develop a grammar in which syntax and semantics are treated in a strictly parallel fashion. The grammar will have many ideas in common with the (converging) frameworks of categorial grammar and LFG, but its treatment of the syntax-semantics interface is radically different. Also, although the meaning component of the grammar is a version of Montague semantics and although there are obvious affinities between Montague’s conception of grammar and the work presented here, the grammar is not compositional, in the sense that composition of meaning need not follow surface structure. (shrink)

This is an extended review of Juhani Yli-Vakkuri & John Hawthorne's book: Narrow Content (Oxford: Oxford University Press, 2018)..

In this article I present the conception of syntax emerging from the “dynamic approach” to syntax and semantics, developed in the last few decades, moving from the critic to the static theories of language, either those developed in the Chomskian framework or those based on Montague’s grammar. I will suggest that this view can be fruitfully compared with Saussure’s position on syntax.

The first aim of the paper is to show that under certain conditions generative syntax can be made suitable for Montague semantics, based on his type logic. One of the conditions is to make branching in the so-called X-bar syntax strictly binary, This makes it possible to provide an adequate semantics for Noun Phrases by taking them as referring to sets of collections of sets of entities ( type <ett,t>) rather than to sets of sets of entities (ett).

This comment mainly examines Yli-Vakkuri and Hawthorne’s preferred framework for examining whether narrow content is viable, arguing that their framework is not well-suited to the task; once a more traditional framework is adopted, Y&H’s case against internalism is strengthened.

Along with offering an historically-oriented interpretive reconstruction of the syntax of PM ( rst ed.), I argue for a certain understanding of its use of propositional function abstracts formed by placing a circum ex on a variable. I argue that this notation is used in PM only when de nitions are stated schematically in the metalanguage, and in argument-position when higher-type variables are involved. My aim throughout is to explain how the usage of function abstracts as “terms” (loosely speaking) (...) is not inconsistent with a philosophy of types that does not think of propositional functions as mind- and language-independent objects, and adopts a nominalist/substitutional semantics instead. I contrast PM’s approach here both to function abstraction found in the typed λ-calculus, and also to Frege’s notation for functions of various levels that forgoes abstracts altogether, between which it is a kind of intermediary. (shrink)

Manfred Eigen employs the terms language and communication to explain key recombination processes of DNA as well as to explain the self-organization of human language and communication: Life processes as well as language and communication processes are governed by the logic of a molecular syntax, which is the exact depiction of a principally formalizable reality. The author of the present contribution demonstrates that this view of Manfred Eigen’s cannot be sufficiently substantiated and that it must be supplemented by an (...) approach based on linguistic pragmatics. (shrink)

In this essay I focus on the idea of the univocity of being, championed by Duns Scotus and given prominence more recently by Deleuze. Although I am interested in how this idea can be established, my primary concern is with something more basic: how the idea can even be properly thought. In the course of exploring this issue, which I do partly by borrowing some ideas about logical syntax from Wittgenstein's Tractatus, I try to show how there can be (...) dialogue between analytic philosophers and those of other traditions. (shrink)

Using hokku poet Basho’s aesthetics of wandering, as defined by Thomas Heyd, I argue that, by detailing the excruciating pointlessness of work undertaken according to commands that take little or no account of their feasibility, Richard Flanagan’s novel, The Narrow Road to the Deep North (which takes its title from Basho's work) transforms the features of this aesthetics into the lived experience of prisoners of war on the ‘line’. In doing so, Flanagan transfers Basho’s aesthetics into a represented actuality (...) through the privileging of subjectivity over identity and the dissolution of the body on the line. The three prongs to Basho’s aesthetics are found in Flanagan’s novel. In this, Flanagan is identifying the complexity of meanings evident in the terminology of such aesthetics, rendering what appears positive in the context of Basho’s poetry negative in its practical application as this is articulated through the prisoners’ wartime experiences. Rather than being formative, Flanagan’s novel suggests wartime experience has a complexly ‘opposite’ effect. This is apparent in the complications of identity represented in post-war terms as a disunity (rather than a coherent unity), as articulated through the use of spatial metaphors that reverse the formative intensities of subjectivity and body through symbolic acts of dispersal and dissolution. (shrink)

In The Elm and the Expert (1994), Fodor rejects the notion of narrow content as superfluous. He envisions a scientific intentional psychology that adverts only to broad content properties in its explanations. I show that there has been no change in Fodor's treatment of Frege cases and cases involving the so‐called deferential concepts. And for good reason: his notion of narrow content (1985‐91) couldn't explain them. The only apparent change concerns his treatment of Twin Earth cases. However, I (...) argue that the notion of broad content that his purely informational semantics delivers is, in some interesting sense, equivalent to the mapping notion of narrow content he officially gave up. I also critically reconstruct the evolution of Fodor's thinking between 1980 and 1994. (shrink)

Abstract: As there are no currently obvious ways to create safe self-improving superintelligence, but its emergence is looming, we probably need temporary ways to prevent its creation. The only way to prevent it is to create a special type of AI that is able to control and monitor the entire world. The idea has been suggested by Goertzel in the form of an AI Nanny, but his Nanny is still superintelligent, and is not easy to control. We explore here ways (...) to create the safest and simplest form of AI which may work as an AI Nanny, that is, a global surveillance state powered by a Narrow AI, or AI Police. A similar but more limited system has already been implemented in China for the prevention of ordinary crime. AI police will be able to predict the actions of and stop potential terrorists and bad actors in advance. Implementation of such AI police will probably consist of two steps: first, a strategic decisive advantage via Narrow AI created by an intelligence services of a nuclear superpower, and then ubiquitous control over potentially dangerous agents which could create unauthorized artificial general intelligence which could evolve into Superintelligence. (shrink)

Embodiment matters to perception and action. Beyond the triviality that, under normal circumstances, we need a body in order to perceive the world and act in it, our particular embodiment, right here, right now, both enables and constrains our perception of possibilities for action. In this chapter, we provide empirical support for the idea that the structural and morphological features of the body can narrow the set of our possible interactions with the environment by shaping the way we perceive (...) the possibilities for action provided. We argue that this narrowing holds true in the perception of what we call strongly embodied affordances, that is, relevant micro-affordances that have a genuinely demanding characteristic, as well as in the perception of actions performed by others. In particular, we show that perceptual contents are shaped by fine-grained morphological features of the body, such as specific hand-shapes, and that they change according to our possibility to act upon them with this body, in this situation, at this moment. We argue that these considerations provide insight into distinguishing a variety of experienced affordance relations that can aid us in better understanding the relevance of embodiment for perception and experience. (shrink)

(Wide) pro-theism is the view that the world is better overall if theism is true. (Wide) anti-theism is the view that our world would be better overall if atheism is true. Arguments for pro-theism and anti-theism typically make use of traditional theism (the view that an omni-God exists) and generic atheism (the view that an omni-God doesn’t exist). In my view, when the debate between pro-theists and anti-theists makes use of traditional theism and generic atheism, pro-theism clearly comes out on (...) top. In this paper, I consider whether this result (i.e. pro-theism’s advantage over anti-theism) changes if we bring axiarchism into the mix: I compare axiarchistic theism and axiarchistic atheism. General axiarchism is the view that the world exists because it is good that it exists, and extreme axiarchism is the view that the world exists because it is the best possible world. When we take general axiarchistic theism and general axiarchistic atheism as our worldviews for comparison, I argue that there is no significant change with respect to anti-theism and pro-theism: neither position is able to capture goods that are traditionally associated with the other position, and so pro-theism still wins out. However, if we instead compare extreme axiarchistic atheism with extreme axiarchistic theism there is a significant change: while the case for pro-theism remains the same (because, I argue, it is not able to capture any of the goods of anti-theism), the case for anti-theism is greatly strengthened, because it is able to capture nearly all of the goods of pro-theism (e.g. the good of an afterlife, of cosmic justice, of there being no gratuitous evil). In other words, given extreme axiarchism, atheistic worlds can (and will) house goods that are traditionally associated with theistic worlds (e.g. those listed prior). This means that, given extreme axiarchism, pro-theists can’t appeal to those goods as favoring their position: they obtain whether our world is atheistic or theistic. Thus, they don’t favor pro-theism over anti-theism; the case for anti-theism has been strengthened. (Alternatively, we may say that the case for pro-theism has been weakened.) Ultimately, there is one good that extreme axiarchistic atheism does not enable anti-theism to capture—namely, God’s intrinsic unlimited goodness—and I argue that this shows that there is still a gap between pro-theism and anti-theism; while the gap has been substantially narrowed, it has not been eliminated. Thus, I suggest that the best route forward for anti-theists is to cast doubt on the view that God’s intrinsic goodness is unlimited. (shrink)

The question “what is an interpretation?” is often intertwined with the perhaps even harder question “what is a scientific theory?”. Given this proximity, we try to clarify the first question to acquire some ground for the latter. The quarrel between the syntactic and semantic conceptions of scientific theories occupied a large part of the scenario of the philosophy of science in the 20th century. For many authors, one of the two currents needed to be victorious. We endorse that such debate, (...) at least in the terms commonly expressed, can be misleading. We argue that the traditional notion of “interpretation” within the syntax/semantic debate is not the same as that of the debate concerning the interpretation of quantum mechanics. As much as the term is the same, the term “interpretation” as employed in quantum mechanics has its meaning beyond (pure) logic. Our main focus here lies on the formal aspects of the solutions to the measurement problem. There are many versions of quantum theory, many of them incompatible with each other. In order to encompass a wider variety of approaches to quantum theory, we propose a different one with an emphasis on pure formalism. This perspective has the intent of elucidating the role of each so-called “interpretation” of quantum mechanics, as well as the precise origin of the need to interpret it. (shrink)

Current theories of grammar handle both extraction and anaphorization by introducing variables into syntactic representations. Combinatory categorial grammar eliminates variables corresponding to gaps. Using the combinator W, the paper extends this approach to anaphors, which appear to act as overt bound variables. [Slightly extended version in Bartsch et al 1989.].

Western liberal intellectuals often find themselves in a precarious situation with regard to whether or not they should celebrate and endorse Friedrich Nietzsche as a philosopher who we should all unequivocally embrace into our Western philosophical canon. While his critique of the Western philosophical tradition and his own creative insights are unprecedented and immensely important, his blatant inegalitarianism and remarks against women are often too difficult to stomach. This paper attempts to introduce Western philosophers to Chuang Tzu, a Chinese thinker (...) who shares much of Nietzsche’s style and philosophy, but also espouses a thoroughgoing egalitarianism. It does so by comparing Nietzsche and Chuang Tzu in regard to their methods, style, and philosophical beliefs, with a particular emphasis on the naturalism and perspectivism found in each thinker’s philosophy. The hope is to provide Western liberal-minded intellectuals interested in Nietzsche and in equality with another perspective to bolster their thinking. (shrink)

In this chapter, I revisit the issue of the explanatory gap that is supposed to open when considering identity statements between physical and mental phenomena. I show that the question asked in the original formulation of the explanatory gap was this: ʻwhy this phenomenal character, rather than any other, is attached to this physiological process?ʼ I argue that this question can be answered, because there is a natural fit between the phenomenal character of experiences and their functional roles. For example, (...) pains feel inherently unpleasant, and that explains why they cause avoidance behaviour, and the felt location and intensity of pain indicates the location and extent of damage to the body. I discuss some other possible gaps in our understanding the relationship between the mental and the physical, and conclude that the fit between functional role and phenomenal character goes a long way, though probably not the whole way, to closing the explanatory gap. (shrink)

It's unclear what narrow content is interpersonally shared for concepts that don't originate from core cognition yet are still definitionally and interpretationally primitive. A primary concern is that for these concepts, one cannot draw a principled distinction between inferences that are content determining and those that aren't. The lack of a principled distinction imperils an account of interpersonally shared concepts.

Current knowledge of the RNA world indicates 2 different genetic codes being present throughout the living world. In contrast to non-coding RNAs that are built of repetitive nucleotide syntax, the sequences that serve as templates for proteins share—as main characteristics—a non-repetitive syntax. Whereas non-coding RNAs build groups that serve as regulatory tools in nearly all genetic processes, the coding sections represent the evolutionarily successful function of the genetic information storage medium. This indicates that the differences in their (...) class='Hi'>syntax structure are coherent with the differences of the functions they represent. Interestingly, these 2 genetic codes resemble the function of all natural languages, i.e., the repetitive non-coding sequences serve as appropriate tool for organization, coordination and regulation of group behavior, and the nonrepetitive coding sequences are for conservation of instrumental constructions, plans, blueprints for complex protein-body architecture. This differentiation may help to better understand RNA group behavioral motifs. (shrink)

Natural recursion in syntax is recursion by linguistic value, which is not syntactic in nature but semantic. Syntax-specific recursion is not recursion by name as the term is understood in theoretical computer science. Recursion by name is probably not natural because of its infinite typeability. Natural recursion, or recursion by value, is not species-specific. Human recursion is not syntax-specific. The values on which it operates are most likely domain-specific, including those for syntax. Syntax seems to (...) require no more (and no less) than the resource management mechanisms of an embedded push-down automaton (EPDA). We can conceive EPDA as a common automata-theoretic substrate for syntax, collaborative planning, i-intentions, and we-intentions. They manifest the same kind of dependencies. Therefore, syntactic uniqueness arguments for human behavior can be better explained if we conceive automata-constrained recursion as the most unique human capacity for cognitive processes. (shrink)

Proponents of phenomenal intentionality share a commitment that, for at least some paradigmatically intentional states, phenomenal character constitutively determines narrow intentional content. If this is correct, then any two states with the same phenomenal character will have the same narrow intentional content. Using a twin-earth style case, I argue that two different people can be in intrinsically identical phenomenological states without sharing narrow intentional contents. After describing and defending the case, I conclude by considering a few objections (...) that help to further illustrate the problem. (shrink)