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.

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)

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)

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)

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)

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.

I focus on and criticize John Searle's argument against a classical computational view of the mind according to which the attribution of syntax is observer relative (in Searle, Rediscovery of Mind, MIT Press, 1992). Searle's argument is interesting inasmuch as it differs from his previous and more well-known argument that syntax is not sufficient for semantics. This argument aims to undercut even the syntax as something that exists only in the eye of the beholder. I show that (...) Searle's argument rests on premises that go unsupported. (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)

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)

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)

A response to a recent critique by Cem Bozşahin of the theory of syntactic semantics as it applies to Helen Keller, and some applications of the theory to the philosophy of computer science.

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)

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)

A response to a recent critique by Cem Bozşahin of the theory of syntactic semantics as it applies to Helen Keller, and some applications of the theory to the philosophy of computer science.

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)

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.].

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).

Many philosophers think that being in an intentional state is a matter of being related to a sentence in a mental language-a 'Language of Thought' (see especially Fodor 1975, 1987 Appendix; Field 1978). According to this view-which I shall call 'the LT hypothesis'-when anyone has a belief or a desire or a hope with a certain content, they have a sentence of this language, with that content, 'written' in their heads. The claim is meant quite literally: the mental representations that (...) make up the items of this language have semantic and syntactic properties. This is why, according to this view, cognitive psychology does, and should, treat that part of the mind which deals with intentional states as a semantic and a syntactic 'engine'. (shrink)

It is unfashionable to suggest that enactive processes - including some that involve the mirror neuron system - might contribute to the comprehension of sign language. The present essay formulates and defends a version of that unfashionable suggestion, as it applies to certain forms of syntactic processing. There is evidence that has been thought to weigh against any such suggestion, coming from neuroimaging experiments and from the study of Deaf aphasics. In both cases it is shown to be unpersuasive.

This paper brings Merleau-Ponty’s phenomenological approach to Sasha Waltz’s dance film S, which focuses on the relation between sexuality and language. Maintaining that movement in cinema takes place in the viewers and not the film, the paper considers how the visual can be deepened to include the ways we move and are moved. Saussure’s insights into language are brought to the sensible, which is here understood in terms of divergences from norms. Though film would seem to privilege vision, viewing this (...) film helps to elucidate Merleau-Ponty’s claim that a film succeeds when it engages the viewer’s embodied understanding, and shifts the norms of the corporeal schema. (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)

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)

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)

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)

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)

Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the decision (...) problem for the generated languages is generally unsolvable. With this in mind, I provide here a short primer of the syntax of WGs, which includes syntactic restrictions that guarantee decidability for the corresponding generated languages. (shrink)

This paper explores the impact of furniture and machines on spatial organization and circulation systems in industrial buildings using space syntax analysis. While space syntax research covers various settings, industrial buildings have received limited attention. This study aims to address this gap by examining how machines and furniture influence spatial organization and circulation in two industrial buildings: A Nitrile Glove manufacturing facility and a textile manufacturing factory. The furnished and unfurnished floor plans were analyzed using space syntax (...) software, DepthMapX, with connectivity and agent-based analyses. The results indicate that unfurnished plans have centrally located connectivity values, whereas furnished plans create subspaces with varying connectivity. Agent-based analysis reveals that unfurnished spaces have high density in the center, while furnished spaces distribute density more evenly, resulting in more uniform circulation. This study concludes that industrial building spatial configurations result from a combination of architectural design and the placement of machines and furniture. (shrink)

Intertheoretic relations are an important topic in the philosophy of science. However, since their classical discussion by Ernest Nagel, such relations have mostly been restricted to relations between pairs of theories in the natural sciences. In this paper, we present a model of a new type of intertheoretic relation, called 'Montague Reduction', which is assumed in Montague's framework for the analysis and interpretation of natural language syntax. To motivate the adoption of our new model, we show that this model (...) extends the scope of application of the Nagelian (or related) models, and that it shares the epistemological advantages of the Nagelian model. The latter is achieved in a Bayesian framework. (shrink)

This paper highlights a small selection of cases where crosslinguistic insights have been important to big questions in the theory of semantics and the syntax/semantics interface. The selection includes (i) the role and representation of Speaker and Addressee in the grammar; (ii) mismatches between form and interpretation motivating high-placed silent operators for functional elements; and (iii) the explanation of semantic universals, including universals pertaining to inventories, in terms of learnability and the trade-off between informativeness and simplicity.

Estonian doesn't have a definite article. Instead, bare singular noun phrases can unambiguously bear either a definite interpretation or an indefinite interpretation. This paper argues that the pragmatic principles governing the felicitous use of three English articles ("a", "the" and "another"), described by A Grønn and KJ Sæbø (2012, 'A, the, another: A game of same and different' Journal of Logic, Language and Information 21, 75-95) can also account for the conditions under which a bare singular noun phrase in Estonian (...) bears a definite or instead an indefinite interpretation. The two languages use the same pragmatic principles to determine the definiteness interpretation of a noun phrase. The difference is just that in English (where definiteness meanings have been lexicalized) these pragmatic principles govern the felicity of article use, whereas in Estonian they govern the interpretation of a bare singular noun phrase. (shrink)

In this paper, I argue for a modified version of what Devitt calls the Representational Thesis. According to RT, syntactic rules or principles are psychologically real, in the sense that they are represented in the mind/brain of every linguistically competent speaker/hearer. I present a range of behavioral and neurophysiological evidence for the claim that the human sentence processing mechanism constructs mental representations of the syntactic properties of linguistic stimuli. I then survey a range of psychologically plausible computational models of comprehension (...) and show that they are all committed to RT. I go on to sketch a framework for thinking about the nature of the representations involved in sentence processing. My claim is that these are best characterized not as propositional attitudes but, rather, as subpersonal states whose representational properties are determined by their functional role. Finally, I distinguish between explicit and implicit representations and argue that the latter can be drawn on as data by the algorithms that constitute our sentence processing routines. I conclude that skepticism concerning the psychological reality of grammars cannot be sustained. (shrink)

Syntax has to do with rules that constrain how words can combine to make acceptable sentences. Semantics (Frege and Russell) concerns the meaning of words and sentences, and pragmatics (Austin and Grice) has to do with the context bound use of meaning. We can hence distinguish between three competing principles of translation: S—translation preserves the syntax of an original text (ST) in the translation (TT); M—translation preserves the meaning of an ST in a TT; and P—translation preserves the (...) pragmatics of an ST in a TT. A prominent form of P is functionalism defended by linguists and translation theorists (J.R. Firth, Eugene Nida, Susan Bassnett and many others) and historically was defended by philosophers (Russell, Ogden and Richard) but abandoned by philosophers and criticized by Wittgenstein. If we adopt M, then a TT will always say exactly what the ST says, and hence all subsequent TTs, even alternative ones produced via M, will be consistent with each other. But if we adopt P, in contrast, we have no reason to believe that the TTs will say what the ST does, and moreover they can contradict each other. If such contradictory translations are produced on the basis of the totality of empirical evidence, it results in what Quine called the indeterminacy of translation. Yet, P is not easy to reject. In many cases, translation in accordance with M where the meaning to be preserved is linguistic results in TTs that are failures. In contrast to a language focused approach to semantics, I close by following a lead in the translation theory literature of identifying text-types (genres) as a tool for identifying translatable content in an ST. To individuate text-types I identify them with disciplines, as elucidated by the 2nd century Patañjali’s Yoga Sūtra. This allows for the definition of textual meaning as the discipline relative pragmatics of an ST and further for translation to proceed by way of M, while taking the intuitions that motivate P seriously. Translations that preserve textual meaning will not only have the same meaning as each other but will be pragmatically felicitous. (shrink)

Ways of Scope Taking is concerned with syntactic, semantic and computational aspects of scope. Its starting point is the well-known but often neglected fact that different types of quantifiers interact differently with each other and other operators. The theoretical examination of significant bodies of data, both old and novel, leads to two central claims. (1) Scope is a by-product of a set of distinct Logical Form processes; each quantifier participates in those that suit its particular features. (2) Scope interaction is (...) further constrained by the semantics of the interacting operators. The arguments are developed using Minimalist syntax, Generalized Quantify theory, Discourse Representation Theory, and algebraic semantics. The contributors (Beghelli, Ben-Shalom, Doetjes, Farkas, Gutiérrez Rexach, Honcoop, Stabler, Stowell, Szabolcsi and Zwarts) make tightly related theoretical assumptions and focus on related empirical phenomena, which include the direct and inverse scope of quantifiers, distributivity, negation, modal and intensional contexts, weak islands, event-related readings, interrogatives, wh/quantifier interactions, and Hungarian syntax. An introduction to the formal semantics background is provided. Audience: Linguists, philosophers, computational and psycholinguists; advanced undergraduates, graduate students and researchers in these fields. (shrink)

By logical foundations of language syntax ontology we understand here the construction of formalized linguistic theories based on widely conceived mathematical logic and dependent on two trends in language ontology. The formalization includes exclusively the syntactic aspect of logical analysis of language characterized categorially according to Ajdukiewicz's approach [1935, 1960]. Any categorial language L is characterized formally on two levels: on one of them it concerns the language of expression-tokens, on the other one - that of expression-types. Accepting the (...) view that expression-concretes, that is expression-tokens - thus, physical objects are fundamental language layer, whereas the secondary layer for L are expression-abstracts, that is expression-types - thus, ideal objects, it is the nominalistic, concretistic philosophical view on the ontological nature of language entities that is adhered to. Supporting the view that expression-types are the basic language layer, while expression-concretes are the secondary one, we take the opposite standpoint - platonizing one. We prove that the two dual approaches towards the two-level syntax theory of language are logically eqivalent. In the scope of language syntax, both conceptions deriving from two different existential assumption are equivalent. This statement is philosophical significance, since it proves that in syntactical studies on language the assumption of the existence of abstract language beings (interpreted as classes equiform tokens) can be neglected. The idea was signalized by author in ealier paper "On the type-token relationships'' [1986) and than, in a slighly diffrent form in English "On the eliminatibility of ideal linguistic entities, Studia Logica 48,no 4 (1989), pp. 587-615. (shrink)

With reference to Polish logical-philosophical tradition two formal theories of language syntax have been sketched and then compared with each other. The first theory is based on the assumption that the basic linguistic stratum is constituted by object-tokens (concrete objects perceived through the senses) and that the types of such objects (ideal objects) are derivative constructs. The other is founded on an opposite philosophical orientation. The two theories are equivalent. The main conclusion is that in syntactic researches it is (...) redundant to postulate the existence of abstract linguistic entities. Earlier, in a slightly different form, the idea was presented in paper "Logiczne podstawy ontologii składni języka" (1988). (shrink)

The focus of this paper is the syntax of inverse scope in Hungarian, a language that largely disambiguates quantifier scope at spell-out. Inverse scope is attributed to alternate orderings of potentially large chunks of structure, but with appeal to base-generation, as opposed to nonfeature-driven movement as in Kayne 1998. The proposal is developed within mirror theory and conforms to the assumption that structures are antisymmetrical. The paper also develops a matching notion of scope in terms of featural domination, as (...) opposed to c-command, and applies it to otherwise problematic cases of pied piping. Finally, the interaction of different quantifier types is examined and the patterns are explained invoking morphological considerations on one hand and A-bar reconstruction on the other. (shrink)

Predictive syntactic processing plays an essential role in language comprehension. In our previous study using Japanese object-verb (OV) sentences, we showed that the left inferior frontal gyrus (IFG) responses to a verb increased at 120–140 ms after the verb onset, indicating predictive effects caused by a preceding object. To further elucidate the automaticity of the predictive effects in the present magnetoencephalography study, we examined whether a subliminally presented verb (“subliminal verb”) enhanced the predictive effects on the sentence-final verb (“target verb”) (...) unconsciously, i.e., without awareness. By presenting a subliminal verb after the object, enhanced predictive effects on the target verb would be detected in the OV sentences when the transitivity of the target verb matched with that of the subliminal verb (“congruent condition”), because the subliminal verb just after the object could determine the grammaticality of the sentence. For the OV sentences under the congruent condition, we observed significantly increased left IFG responses at 140–160 ms after the target verb onset. In contrast, responses in the precuneus and midcingulate cortex (MCC) were significantly reduced for the OV sentences under the congruent condition at 110–140 and 280–300 ms, respectively. By using partial Granger causality analyses for the OV sentences under the congruent condition, we revealed a bidirectional interaction between the left IFG and MCC at 60–160 ms, as well as a significant influence from the MCC to the precuneus. These results indicate that a top-down influence from the left IFG to the MCC, and then to the precuneus, is critical in syntactic decisions, whereas the MCC shares its task-set information with the left IFG to achieve automatic and predictive processes of syntax. (shrink)

A teaching document I've used in my courses on truth and on incompleteness. Aimed at students who have a good grasp of basic logic, and decent math skills, it attempts to give them the background they need to understand a proper statement of the classic results due to Gödel and Tarski, and sketches their proofs. Topics covered include the notions of language and theory, the basics of formal syntax and arithmetization, formal arithmetic (Q and PA), representability, diagonalization, and the (...) incompleteness and undefinability theorems. (shrink)

The book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs and the Problem (...) of Their Mutual Relations” provides a broad introduction into the problem area connected with this differentiation, while the logic-formal characteristics of the distinction are framed in the work entitled “On the Type-Token Relationships” (Chapter 1). The basic part of the book deals with issues relating to syntax (Chapters 2-4) and semantics of language (Chapters 5-6), as well as pertaining to syntactic-semantic pragmatic questions (Chapters 7-13). Throughout the book, language, categorial language, is characterized syntactically as generated by classical categorial grammar (Chapter 2) and formalized on two opposing levels: as language of expression-tokens (level of tokens) and language of expression-types (level of types). The author’s considerations contained in Chapters 2 and 4 lead to the important philosophical conclusion that in formal-logical syntactic studies on language the assumption that expression-types constitute the primary language layer while expression-tokens make the secondary one, can be neglected; thus, this speaks in favour of the opposing standpoint—the concretistic one—in the ontology of language syntax. In the works “Meaning and Interpretations”, Parts I and II (Chapters 5 and 6), it is underlined, however, that such semantic concepts as: meaning, denotation and interpretation are defined on the types level, yet their formal definitions require making use of notions of the tokens level. The semantic notions introduced in the above-mentioned articles are also used in the following works of the present selection, under the titles: “Three Principles of Compositionality” and “On Metaknowledge and Truth” (Chapters 7 and 8). They formalize two principles of compositionality that are well known in the literature on the subject, deriving from Frege, i.e. those of meaning and of denotation; they are related to the syntactic principle of compositionality which was introduced by the author. All the three principles are, at the same time, three conditions of homomorphism of categorial language algebra into three kinds of non-standard models of language (one syntactic and two semantic ones: intensional and extensional), which allows introducing three definitions of truthfulness into these models. The next two works in the collection, entitled: “On Language Adequacy” and “What is the Sense in Logic and Philosophy of Language” (Chapters 9 and 10) concern adequacy of categorial language syntax along with its dual semantics: intensional and extensional, and categorial compatibility of any of its syntactic categories with two corresponding semantic categories: intensional and extensional, based on the compatibility the syntactic category of each language expression with the ontological category assigned to its denotatum. The well-known problem of categorial compatibility for first-order quantifiers finds its solution in the paper “Categories of First-Order Quantifiers” (Chapter 11). In the work “Logic and Ontology of Language” (Chapter 12), being in a sense a summary of the considerations presented in the preceding chapters of the book, language is treated as an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. Application—like throughout the book—of tools of classical logic and set theory has resulted in emergence of a general formal logical theory of syntax, semantics and pragmatics of language, which takes into account duality in the understanding of linguistic expressions as tokens (concretes) and types (abstract objects). In terms that take into account a functional approach to language itself, there comes out an ontological neutrality of logic with respect to existential assumptions relating to the ontological nature of linguistic expressions and their extra-linguistic ontological counterparts. The issues connected with applying logic while explaining the manner of using linguistic tokens and linguistic types to determine notions of language communication are raised and illustrated in the last chapter of the work, bearing the title “A Logical Conceptualization of Knowledge on the Notion of Language Communication”. (shrink)

In this Introduction, I identify seven discrete aspects of attention brought to the fore by by considering the phenomenon of effortless attention: effort, decision-making, action syntax, agency, automaticity, expertise, and mental training. For each, I provide an overview of recent research, identify challenges to or gaps in current attention theory with respect to it, consider how attention theory can be advanced by including current research, and explain how relevant chapters of this volume offer such advances.

Fodor and Pylyshyn's critique of connectionism has posed a challenge to connectionists: Adequately explain such nomological regularities as systematicity and productivity without postulating a "language of thought" (LOT). Some connectionists like Smolensky took the challenge very seriously, and attempted to meet it by developing models that were supposed to be non-classical. At the core of these attempts lies the claim that connectionist models can provide a representational system with a combinatorial syntax and processes sensitive to syntactic structure. They are (...) not implementation models because, it is claimed, the way they obtain syntax and structure sensitivity is not "concatenative," hence "radically different" from the way classicists handle them. In this paper, I offer an analysis of what it is to physically satisfy/realize a formal system. In this context, I examine the minimal truth-conditions of LOT Hypothesis. From my analysis it will follow that concatenative realization of formal systems is irrelevant to LOTH since the very notion of LOT is indifferent to such an implementation level issue as concatenation. I will conclude that to the extent to which they can explain the law-like cognitive regularities, a certain class of connectionist models proposed as radical alternatives to the classical LOT paradigm will in fact turn out to be LOT models, even though new and potentially very exciting ones. (shrink)

The historical avant-gardes showed that it is in the syntactic space where the mutations of art occur, where the creative potentialities in contemporary art are played. Hence the need to accentuate the syntactic creation registers in the works of the Estridentistas. There is no creation of images, rhythms, words, atmospheres, sound orientations, planes or political-literary postures that are valid apart from the syntax effects in which the poems of Manuel Maples Arce, Germán List, Salvador Gallardo and Kyn-Taniya take place, (...) the paintings, engravings and sculptures by Fermín Revueltas, Ramón Alva de la Canal, Germán Cueto and Leopoldo Méndez, the novels and essays by Arqueles Vela, the pieces from the Estridentista period by Silvestre Revueltas, the plays by Salvador Gallardo and Germán Cueto. The syntax is the tracing of indirect paths created in each poem, installation, plastic or musical work, to show life in things; those forces, paths and paths that, when going from life to language, create a work. It is, therefore, a speed. I don't use "speed" as a metaphor. It is the speeds that interdigitate events, images, objects; those that relate and stress semantic, sound, semiotic and social forces, paths and trajectories. Velocity is the gradient of the syntax, the relationship between phenomena, the variation of the elements according to a certain direction, the trajectory medium, the semantic loads and the systems of signs: it is not necessary to think that the syntactic effects are something like general mechanisms that precede poems, plastic and musical works. A new syntactic speed detaches itself as much as it can from what is constituted and seeks to bring poetic, pictorial, musical language to its threshold of meaning, informational or communication, to its referential, rhythmic, constructive threshold. Therefore, it should not be confused with acceleration. Slowness is a speed, as in Handke's writing or in some sections of Tarr's films. (shrink)

The paper concentrates on the problem of adequate reflection of fragments of reality via expressions of language and inter-subjective knowledge about these fragments, called here, in brief, language adequacy. This problem is formulated in several aspects, the most being: the compatibility of language syntax with its bi-level semantics: intensional and extensional. In this paper, various aspects of language adequacy find their logical explication on the ground of the formal-logical theory T of any categorial language L generated by the so-called (...) classical categorial grammar, and also on the ground of its extension to the bi-level, intensional and extensional semantic-pragmatic theory ST for L. In T, according to the token-type distinction of Ch.S. Peirce, L is characterized first as a language of well-formed expression-tokens (wfe-tokens) - material, concrete objects - and then as a language of wfe-types - abstract objects, classes of wfe-tokens. In ST the semantic-pragmatic notions of meaning and interpretation for wfe-types of L of intensional semantics and the notion of denotation of extensional semanics for wfe-types and constituents of knowledge are formalized. These notions allow formulating a postulate (an axiom of categorial adequacy) from which follow all the most important conditions of the language adequacy, including the above, and a structural one connected with three principles of compositionality. (shrink)

This paper critically discusses Hacker’s reading of nonsense in Wittgenstein’s Tractatus in terms of his notion of misuse, which is taken to consist in the violation of rules of logical syntax. I argue that Hacker’s reading relies on an equivocation between sign and symbol: what is ‘misused’ is a mere sign, but the verdict of nonsensicality relies on seeing it as a symbol. Although Hacker seeks to distance himself from resolute readings – according to which nonsense always consists in (...) nothing but a failure to assign meaning to one’s sentences – I argue that his own verdicts of nonsensicality have their ultimate grounds in exactly the same sort of assessment, i.e. whether meaning has been assigned to a sentence. The rules of logical syntax, contrary to his own intentions, do no real work in determining whether a sentence is nonsensical or not. (shrink)

The main task in this paper is to detail and investigate Carnap’s conception of a “linguistic framework”. On this basis, we will see whether Carnap’s dichotomies, such as the analytic-synthetic distinction, are to be construed as absolute/fundamental dichotomies or merely as relative dichotomies. I argue for a novel interpretation of Carnap’s conception of a LF and, on that basis, will show that, according to Carnap, all the dichotomies to be discussed are relative dichotomies; they depend on conventional decisions concerning the (...) logical syntax of LF. Thus, all of the dichotomies directly hinge on the conception of the LF. The LF’s logical structure, in turn, is an immediate consequence of adopting the linguistic doctrine of logical truths. As we will see, no appeal to any of these distinctions is necessary in establishing a LF and all of its components. I will also draw attention to the differences between what Carnap labels a “way of speaking”, “language”, and “artificial language”. Consequently, I will briefly conclude that none of Quine’s major objections address the main points of Carnap’s theory. (shrink)