In reworking his Logical Investigations Husserl adopts two positions that were not actually incorporated into later editions of the Investigations but do appear in other writings: a new distinction between signitive and significative intentions, and the claim that even naming and perceiving acts are categorially formed. This paper investigates Husserl's notion of noematic sense and the pure grammatical ' categories ' intimated therein in order to shed light on these new positions. The paper argues that the development of the (...) theories of the noema and of pure grammar allows us to recognize how even merely perceived or named things have a certain categoriality belonging to them, but that this development also requires us to distinguish between an anticipatory categoriality and an articulated categoriality. (shrink)

This paper accomplishes two goals. First, I elucidate Edmund Husserl’s theory of inauthentic judgments from his 1890 “On the Logic of Signs (Semiotic).” It will be shown how inauthentic judgments are distinct from other signitive experiences, in such a manner that when Husserl seeks to account for them, he is forced to revise the general structure of his philosophy of meaning and in doing so, is also able to realize novel insights concerning the nature of signification. Second, these conclusions are (...) revealed to be the foundation of Husserl’s pure logical grammar, found in the 1901 “Fourth Logical Investigation.” In his analysis of inauthentic judgments, Husserl already recognized, albeit in a problematic way and for entirely different reasons, many of the central tenets of the 1901 work concerning categoremata and syncategoremata, matter and form, and the isomorphism between them. (shrink)

This paper accomplishes two goals. First, I elucidate Edmund Husserl’s theory of inauthentic judgments from his 1890 “On the Logic of Signs.” It will be shown how inauthentic judgments are distinct from other signitive experiences, in such a manner that when Husserl seeks to account for them, he is forced to revise the general structure of his philosophy of meaning and in doing so, is also able to realize novel insights concerning the nature of signification. Second, these conclusions are revealed (...) to be the foundation of Husserl’s pure logical grammar, found in the 1901 “Fourth Logical Investigation.” In his analysis of inauthentic judgments, Husserl already recognized, albeit in a problematic way and for entirely different reasons, many of the central tenets of the 1901 work concerning categoremata and syncategoremata, matter and form, and the isomorphism between them. (shrink)

The label `semiotic grammar' captures a fundamental property of the grammars of human languages: not only is language a semiotic system in the familiar Saussurean sense, but its organizing system, its grammar, is also a semiotic system. This proposition, explicated in detail by William McGregor in this book, constitutes a new theory of grammar. Semiotic Grammar is `functional' rather than `formal' in its intellectual origins, approaches, and methods. It demonstrates, however, that neither a purely functional nor (...) a purely formal account of language is adequate, given the centrality of the sign as the fundamental unit of grammatical analysis. The author distinguishes four types of grammatical signs: experiential, logical, interpersonal, and textural. The signifiers of these signs are syntagmatic relationships of the following types, respectively: constituency, dependency, conjugational and linking. McGregor illustrates and exemplifies the theory with data from a variety of languages including English, Acehnese, Polish, Finnish, Japanese, Chinese, and Mohawk; and from his pioneering research on Gooniyandi and Nyulnyul, two languages of the Kimberleys region of Western Australia. (shrink)

Like proper names, demonstratives, and definite descriptions, pronouns have referential uses. These can be 'essentially indexical' in the sense that they cannot be replaced by non-pronominal forms of reference. Here we show that the grammar of pronouns in such occurrences is systematically different from that of other referential expressions, in a way that illuminates the differences in reference in question. We specifically illustrate, in the domain of Romance clitics and pronouns, a hierarchy of referentiality, as related to the topology (...) of the grammatical phase. Our explanation is based on extending the 'Topological Mapping Hypotheses' of Longobardi and Sheehan & Hinzen. The extended topology covers the full range of interpretations, from purely predicative to quantificational, to referential and deictic. Along this scale, grammatical complexity increases, and none of these forms of reference is lexical. This provides evidence for the foundational conclusion that the source of essential indexicality is grammatical rather than lexical, semantic or pragmatic. (shrink)

This paper introduces λ-grammar, a form of categorial grammar that has much in common with LFG. Like other forms of categorial grammar, λ-grammars are multi-dimensional and their components are combined in a strictly parallel fashion. Grammatical representations are combined with the help of linear combinators, closed pure λ-terms in which each abstractor binds exactly one variable. Mathematically this is equivalent to employing linear logic, in use in LFG for semantic composition, but the method seems more practicable.

This interdisciplinary book considers the relationship between language and thought from a philosophical perspective, drawing both on the philosophical study of language and the purely formal study of grammar, and arguing that the two should align. The claim is that grammar provides homo sapiens with the ability to think in certain grammatical ways and that this in turn explains the vast cognitive powers of human beings. Evidence is considered from biology, the evolution of language, language disorders, and linguistic (...) phenomena. (shrink)

I seek to provide a systematic and comprehensive framework for the description and analysis of scientific practice—a philosophical grammar of scientific practice, ‘grammar’ as meant by the later Wittgenstein. I begin with the recognition that all scientific work, including pure theorizing, consists of actions, of the physical, mental, and ‘paper-and-pencil’ varieties. When we set out to see what it is that one actually does in scientific work, the following set of questions naturally emerge: who is doing what, (...) why, and how? More specifically, we must arrive at some coherent philosophical accounts of the following elements of scientific practice: the agent—free, embodied, and constantly in second-person interactions with other agents; the purposes and proximate aims of the agent; types of activities that the agent engages in; ontological principles necessarily presumed for the performance of particular activities; instruments and other resources that the agent pulls together for the performance of each activity. After sketching the general framework, I also give some illustrative contrasts between the more traditional descriptions of scientific practice and the kind of descriptions enabled by the proposed framework. (shrink)

Dewey proposed a new theory of language, in which the form (such as symbols) and content of language are not separated. The content of language includes the physical aspects of the world, which are purely quantitative: the life process, which involves functional responses to qualities, and the human life process, which involves the conscious integration of the potentiality of qualities to form a functional whole. The pinnacle of this process is individuality, or the emergence of a unique function to change (...) social habits through a democratic process. However, there is a real danger that the form and content of language become split. To prevent such a split, Dewey proposed education through the basic occupations of the production of food, clothing and shelter. (shrink)

One of the integral parts of Bayesian coherentism is the view that the relation of ‘being no less coherent than’ is fully determined by the probabilistic features of the sets of propositions to be ordered. In the last one and a half decades, a variety of probabilistic measures of coherence have been put forward. However, there is large disagreement as to which of these measures best captures the pre-theoretic notion of coherence. This paper contributes to the debate on coherence measures (...) by considering three classes of adequacy constraints. Various independence and dependence relations between the members of each class will be taken into account in order to reveal the ‘grammar’ of probabilistic coherence measures. Afterwards, existing proposals are examined with respect to this list of desiderata. Given that for purely mathematical reasons there can be no measure that satisfies all constraints, the grammar allows the coherentist to articulate an informed pluralist stance as regards probabilistic measures of coherence. (shrink)

In this paper, I investigate the German N hin, N her construction. I first provide a close description of its syntactic and semantic properties, arguing that N hin, N her is a grammatical construction. I then show that this construction is not entirely idiosyncratic, as there are specific pragmatic aspects contributing to its meaning and functional potential. These are the deictic adverbs hin and her, restrictions on the choice of nouns, and effects of syntactic disintegration. I argue that a purely (...) semantic analysis of the construction as concessive or concessive conditional is insufficient, as it neglects pragmatic processes of contextual enrichment and implicature. Based on these assumptions, I provide a detailed analysis of the discursive and interactional functions of the construction, showing that it is a prime candidate for construing textual coherence and for subjectification and stance taking. Evidence comes from a corpus of newspaper examples. (shrink)

The phenomenon of mixed quotation exhibits clear signs of both the apparent transparency of compositional language use and the opacity of pure quotation. I argue that the interpretation of a mixed quotation in- volves the resolution of a metalinguistic presupposition. The leading idea behind my proposal is that a mixed-quoted expression, say, “has an anomalous feature”, means what x referred to with the words ‘has an anomalous feature’. To understand how this solves the paradox, I set up a precise (...) grammatical framework, explicitly connecting various levels of linguistic analysis: phonological forms, categorial syntax, and a dynamic picture of the semantics–pragmatics interface. In this framework I formalize and evaluate a presuppositional account of mixed quotation. Finally, I address the phenomenon of unquotation and argue that it is an essential ingredient for empirically adequate analysis of mixed quotation in natural language. (shrink)

In 1929 Wittgenstein began to work on the first philosophical manuscripts he had kept since completing the Tractatus Logico-Philosophicus in 1918. The impetus for this was his conviction that the logic of the TLP was flawed: it was unable to account for the fact that a proposition that assigns a single value on a continuum to a simple object thereby excludes all assignments of different values to the object . Consequently Wittgenstein's "atomic propositions" could not be logically independent of one (...) another. ;Initially he thought he could replace the "logically perfect language" of the TLP with a "phenomenological language" in which experiential propositions about various "spaces" would form systems. The system described by a phenomenological language would be independent of the one described by ordinary "physicalistic" language; the physical "world" was known only by inference from the phenomenological. But he soon realized there was a fundamental error in this conception: phenomenology has to describe the same world as physics or it fails to provide a foundation for it. This suggests that there is only one world, and one language with two different modes of expression. Wittgenstein's now comes to his fundamental insight: ordinary language is biased towards the description of physical objects and their relations, but it is our only method of expressing phenomenological or abstract concepts. Failure to recognize this difficulty leads to the misapplication of physicalistic concepts, i.e., to grammatical errors. ;This insight had the following impact: the task of philosophy is not to invent logical or phenomenological languages, but to understand the grammar of ordinary language; the notion of a language of pure experience was itself connected with a false, physicalistic idea of the soul as an observer of a private world; the conception of analysis that had guided philosophy since Frege was based on a misused metaphor taken from the grammar of physics: the analysis of an object into its parts or chemical constituents. These ideas reach their ultimate expression in Wittgenstein's Philosophical Investigations. Thus his "later" work actually begins with these 1929--30 manuscripts. (shrink)

All forms of nominal reference, whether quantificational, definite, rigid, deictic, or personal, require that the nominals in question appear in relevant grammatical configurations. Reference is in this sense a grammatical phenomenon. It is never determined lexically or a word-world relation in a purely semantic or causal sense. Here it is further argued that the principles of the grammar of object-reference naturally extend to cases where the reference of one nominal depends on that of another, i.e. the grammar of (...) referential dependence, without any further special grammatical relations such as ‘binding’ required. This further includes a relation of identity. (shrink)

We sketch an axiomatic reformalization of Generalized Phrase StructureGrammar (GPSG) – a definition purely within the language ofmathematical logic of the theory GPSG embodies. While this treatment raisesa number of theoretical issues for GPSG, our focus is not thereformalization itself but rather the method we employ. The model-theoreticapproach it exemplifies can be seen as a natural step in the evolution ofconstraint-based theories from their grammar-based antecedents. One goal ofthis paper is to introduce this approach to a broader audience and (...) todemonstrate its application to an existing theory. As such, it joins agrowing literature of similar studies. Prior studies, however, have had anumber of weaknesses – they generally offer little in the way ofconcrete examples of the advantages the approach has to offer, theytypically ignore significant portions of the theories they address, and, byfully abstracting away from the notion of grammar mechanism, they largelyabandon the possibility of establishing meaningful complexity results. Thesecond goal of the paper is to address these issues. Our thrust is to sketchthe reformalization sufficiently to illustrate the way in which it capturesFeature Specification Defaults (FSDs) and the Exhaustive Constant PartialOrdering (ECPO) property. Our definition of FSDs is considerably simplifiedrelative to the original formalization and is free of the procedural flavorthat has led some to assume that FSDs are inherently dynamic. Our treatmentof ECPO uncovers a gap in its definition in the context of partialcategories that has heretofore gone unnoticed. We offer these as ademonstration of the kind of insight that a model-theoretic reinterpretationcan bring to an existing theory. Further, since these are the types ofproperties that prior studies in this genre have failed to address, FSDs andECPO provide a means for us to explore the limitations of these approachesand to offer ways of overcoming them. Finally, the logical framework weemploy has a well defined generative capacity – definability in thisframework characterizes strong context-freeness in a particular sense. Thus,despite being more abstract than its constraint-based predecessors, themodel-theoretic approach, as exemplified here, can offer stronger complexityresults than are typically available in the constraint-based framework. (shrink)

We present a geometrical analysis of the principles that lay at the basis of Categorial Grammar and of the Lambek Calculus. In Abrusci it is shown that the basic properties known as Residuation laws can be characterized in the framework of Cyclic Multiplicative Linear Logic, a purely non-commutative fragment of Linear Logic. We present a summary of this result and, pursuing this line of investigation, we analyze a well-known set of categorial grammar laws: Monotonicity, Application, Expansion, Type-raising, Composition, (...) Geach laws and Switching laws. (shrink)

This article focuses on claims about the origin and evolution of language from the point of view of the formalist–functionalist debate in linguistics. In linguistics, an account of a grammatical phenomenon is considered “formal” if it accords center stage to the structural properties of that phenomenon, and “functional” if it appeals to the language user's communicative needs or to domain‐general human capacities. The gulf between formalism and functionalism has been bridged in language evolution research, in that some leading formalists, Ray (...) Jackendoff for one, appeal to functional mechanisms such as natural selection. In Jackendoff's view, the biological evolution of language has proceeded in stages, each stage improving communicative efficiency. This article calls into question that idea, pointing to the fact that well‐understood purely historical processes suffice to explain the emergence of many grammatical properties. However, one central aspect of formalist linguistic theorizing—the idea of the autonomy of syntax—poses a challenge to the idea, central to most functionalist approaches, that the nature of grammar is a product of purely historical (as opposed to biological) evolution. The article concludes with a discussion of the origins of the autonomy of syntax, speculating that it may well have arisen over evolutionary (as opposed to historical) time. (shrink)

We present a geometrical analysis of the principles that lay at the basis of Categorial Grammar and of the Lambek Calculus. In Abrusci it is shown that the basic properties known as Residuation laws can be characterized in the framework of Cyclic Multiplicative Linear Logic, a purely non-commutative fragment of Linear Logic. We present a summary of this result and, pursuing this line of investigation, we analyze a well-known set of categorial grammar laws: Monotonicity, Application, Expansion, Type-raising, Composition, (...) Geach laws and Switching laws. (shrink)

In response to concerns with existing procedures for measuring strategic control over implicit knowledge in artificial grammar learning , we introduce a more stringent measurement procedure. After two separate training blocks which each consisted of letter strings derived from a different grammar, participants either judged the grammaticality of novel letter strings with respect to only one of these two grammars , or had the target grammar varying randomly from trial to trial which required a higher degree of (...) conscious flexible control. Random variation in the colour and font of letters was introduced to disguise the nature of the rule and reduce explicit learning. Strategic control was observed both in the pure-block and mixed-block conditions, and even among participants who did not realise the rule was based on letter identity. This indicated detailed strategic control in the absence of explicit learning. (shrink)

\ is a 7000 line Prolog parser/theorem-prover for logical categorial grammar. In such logical categorial grammar syntax is universal and grammar is reduced to logic: an expression is grammatical if and only if an associated logical statement is a theorem of a fixed calculus. Since the syntactic component is invariant, being the logic of the calculus, logical categorial grammar is purely lexicalist and a particular language model is defined by just a lexical dictionary. The foundational logic (...) of continuity was established by Lambek while a corresponding extension including also logic of discontinuity was established by Morrill and Valentín :167–192, 2010). \ implements a logic including as primitive connectives the continuous and discontinuous connectives of the displacement calculus, additives, 1st order quantifiers, normal modalities, bracket modalities, and universal and existential subexponentials. In this paper we review the rules of inference for these primitive connectives and their linguistic applications, and we survey the principles of Andreoli’s focusing, and of a generalisation of van Benthem’s count-invariance, on the basis of which \ is implemented. (shrink)

Using new archival material, this article reconstructs the editorial history of Philosophical Grammar, an edition that Rush Rhees crafted from Wittgenstein's papers. Contrasting the often‐held view that Rhees, in editing Philosophical Grammar, arbitrarily interfered with Wittgenstein's Big Typescript, the article illuminates the work, motives and reasons that underlie Rhees’ editing. Although recent philological evidence supports his editorial decisions, Rhees, at the time, made them based on his desire to do justice to his understanding of Wittgenstein's philosophical orientation. Against (...) this background, purely text‐philological criticism of Philosophical Grammar seems to come from a philosophical culture that was alien to Rhees. (shrink)

This article discusses the English construction variously known as Locative Inversion or Stylistic Inversion. It shows that the construction displays a unique ensemble of grammatical and usage properties that can be stated but not motivated through purely grammatical means. In search of an explanatory approach, an analysis is presented that draws on concepts of Artificial Intelligence, in particular plans viewed as complex mental attitudes. It is claimed that utterances of Locative Inversion are associated with a particular communicative plan on the (...) speaker's part that motivates the grammatical and usage properties of the construction where grammar alone cannot. The final section of the article presents corpus examples showing that Locative Inversion is indeed used in the contexts predicted by the plan associated with the construction. This result is both theoretically and methodologically significant, insofar as it constitutes a case where the grammatical properties of a syntactic construction are better explained through its typical conditions of use than through grammatical means proper. (shrink)

This is an excellent book for philosophers, and others concerned with natural language and cognition, who have not kept up with post-Aspects work in syntax, in particular with the Extended Standard Theory work on government and binding that relates to anaphora and quantification. It is a direct challenge to those who think that there must be a reasonably clearcut semantic level of description for sentences in natural language, one which is crucial for explaining how we learn, understand, and use natural (...) language. Hornstein argues that the properties of quantification such as relative quantifier scope and pronoun binding in natural language are best explained in purely syntactic terms. "Not only are the explanations best construed syntactically but, more important, the distinctions and concepts needed to articulate them cut against the semantic distinctions one would naturally make". This syntactic theory will, of course, be supplemented in a full theory of language use by pragmatic theories that will assign meaning, force, reference, etc., in particular contexts, given all sorts of real world knowledge. But what we won't have will be a compositional, context insensitive level of semantic description in which true, denotation, object, model, etc., loom large. Though Hornstein is a philosopher, his arguments derive from a linguist's familiarity with recent syntactical work; however, the general line is consonant with Stich's From Folk Psychology to Cognitive Science: The Case Against Belief, in which Stich argues beliefs are so context and intrepretive-stance relative that they cannot be grist for a scientific psychology, which must rather limit itself to syntactical characterizations of sentences in cognition. (shrink)

In appearance, Husserl’s writings seem not to have had any influence on linguistic research, nor does what the German philosopher wrote about language seem to be worth a place in the history of linguistics. The purpose of the paper is exactly to contrast this view, by reassessing both the position and the role of Husserl’s early masterpiece — the Logical Investigations — within the history of linguistics. To this end, I will focus mainly on the third (On the theory of (...) wholes and parts) and fourth (The distinction between independent and non-independent meanings) Investigations, paying special attention to Husserl’s mereology and to the idea of a general pure grammar. The paper tries to situate the third and fourth Logical Investigation within the general context of late nineteenth-century and early twentieth-century linguistics and furthermore attempts to show the historical and theoretical importance of the Logical Investigations for the birth and the development of one of the most important linguistic “schools” of the twentieth century, namely structural linguistics. (shrink)

Cet article maintient que l’intérêt de Husserl pour le développement d’une logique pure en tant que théorie de la science limite sa conception de l’ontologie. L’ontologie formelle est, pour Husserl, une théorie formelle des objets de connaissance, dont les catégories fondamentales sont celles de substance, propriété et relation. En outre, les ontologies régionales évoluent au sein des limites catégorielles définies par l’ontologie formelle. Mais une telle ontologie laisse de côté les activités et les processus de tout genre, parmi lesquels (...) le plus important est celui de l’ « avoir à l’esprit ». La phénoménologie transcendantale, en revanche, s’occupe de l’être-conscient-du-monde, un être-conscient qui est cependant inséparable de l’être-dans-le-monde. Cette phénoménologie se situe sur le même terrain ontologique que l’ontologie fondamentale de Heidegger. Mais alors, bien que la notion husserlienne d’ontologie soit limitée par le rôle dominant attribué à la logique en tant que théorie de la science et à la connaissance vraie qui lui est propre, il y a plus d’ontologie chez Husserl que dans son « ontologie ». (shrink)

In the paper, original formal-logical conception of syntactic and semantic: intensional and extensional senses of expressions of any language L is outlined. Syntax and bi-level intensional and extensional semantics of language L are characterized categorically: in the spirit of some Husserl’s ideas of pure grammar, Leśniewski-Ajukiewicz’s theory syntactic/semantic categories and in accordance with Frege’s ontological canons, Bocheński’s famous motto—syntax mirrors ontology and some ideas of Suszko: language should be a linguistic scheme of ontological reality and simultaneously a tool (...) of its cognition. In the logical conception of language L, its expressions should satisfy some general conditions of language adequacy. The adequacy ensures their unambiguous syntactic and semantic senses and mutual, syntactic, and semantic compatibility, correspondence guaranteed by the acceptance of a postulate of categorial compatibility syntactic and semantic categories of expressions of L. From this postulate, three principles of compositionality follow: one syntactic and two semantic already known to Frege. They are treated as conditions of homomorphism partial algebra of L into algebraic models of L: syntactic, intensional, and extensional. In the paper, they are applied to some expressions with quantifiers. Language adequacy connected with the logical senses described in the logical conception of language L is, of course, an idealization, but only expressions with high degrees of precision of their senses, after due justification, may become theorems of science. (shrink)

In the paper, various notions of the logical semiotic sense of linguistic expressions – namely, syntactic and semantic, intensional and extensional – are considered and formalised on the basis of a formal-logical conception of any language L characterised categorially in the spirit of certain Husserl's ideas of pure grammar, Leśniewski-Ajdukiewicz's theory of syntactic/semantic categories and, in accordance with Frege's ontological canons, Bocheński's and some of Suszko's ideas of language adequacy of expressions of L. The adequacy ensures their unambiguous (...) syntactic and semantic senses and mutual, syntactic and semantic correspondence guaranteed by the acceptance of a postulate of categorial compatibility of syntactic and semantic (extensional and intensional) categories of expressions of L. This postulate defines the unification of these three logical senses. There are three principles of compositionality which follow from this postulate: one syntactic and two semantic ones already known to Frege. They are treated as conditions of homomorphism of partial algebra of L into algebraic models of L: syntactic, intensional and extensional. In the paper, they are applied to some expressions with quantifiers. Language adequacy connected with the logical senses described in the logical conception of language L is, obviously, an idealisation. The syntactic and semantic unambiguity of its expressions is not, of course, a feature of natural languages, but every syntactically and semantically ambiguous expression of such languages may be treated as a schema representing all of its interpretations that are unambiguous expressions. (shrink)

"La Lógica pura, la idea de la Gramática pura y el problema de una filosofí­a del lenguaje en las Investigaciones Lógicas" Una de las cuestiones centrales que hasta hoy en dí­a se siguen debatiendo en torno a la recepción de las Investigaciones Lógicas, se refiere a la relación entre pensamiento y lenguaje, entre significado y expresión lingí¼í­stica, entre percepción y juicio, entre Lógica y Gramática que estableció en el debate con G. Frege y A. Marty, entre otros. El autor se (...) ocupa de las influencias -en parte directas o indirectas- que ha dejado la obra de Husserl sobre la lingí¼í­stica moderna, la filosofí­a del lenguaje del siglo XX y la filosofí­a analí­tica del lenguaje. "The pure Logic, the pure Grammar's idea and the problem of a philosophy of the language in the Logical Investigations". One of the central questions that until today is continued debating around the reception of the Logical Investigations, it refers to the relationship between thought and language. between meaning and linguistic expression, between perception and judgement, between Logic and Grammar that Husserl settled down in the debate with G. Frege and A. Marty, among others. The author is in charge of the influences -direct or indirectly- that has left the work of Husserl on the modern linguistics, the philosophy of the language of the XX century and the analytic philosophy of the language. (shrink)