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 dissertation concerns Edmund Husserl's theory of meaning. It focuses on Husserl's position as it develops from the Logical Investigations, published in 1900-01, through the writing of the Ideas in 1913. ;I argue that there are two theories of meaning at operation in Husserl's thinking in the Logical Investigations. One which is based upon the theory of pure logical grammar, the other based upon the theory of intentional acts of consciousness. I also consider the way in which Husserl's (...) employs the first of these to account for the distinction between sense and nonsense. ;The second chapter concerns the development of Husserl's thought from 1900 to 1913. In particular, I trace the development of this theory of the pure transcendental ego and its relationship to the notions of the epoche and the reduction. In turn, I consider the phenomenological criticism of this position made by Heidegger and Merleau-Ponty. ;Chapter three is concerned with the way in which the development of Husserl's thinking on the ego impacts on the theory of meaning. In particular, I focus on the developments which appear in the Vorlesungen Uber Bedeutungslehre: Sommersemester 1908 and Ideas I. The most significant development being the introduction of the concept of the noema as the object of the intentional act of meaning. I also consider the recent debate concerning the proper understanding of the noema as well as the relationship between sense and linguistic expression. ;These concerns lead to a consideration of Derrida's influential reading of Husserl's theory of meaning in Speech and Phenomena. While arguing that there is much of value in Derrida's reading, I criticize his claim that Husserl's theory is committed to a theory of pure self presence and intuitive presence. ;Finally, following Derrida, I question Husserl's theory of pure logical grammar. Through a consideration of poetic expression, I consider why this theory is unable to account for the distinction between sense and nonsense. However, I do argue that the intentional act theory can offer a justification for this distinction. For this reason, I conclude that a revised understanding of Husserl's phenomenological approach to meaning is still viable. (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)

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.

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)

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)

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)

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)

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)

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)

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)

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

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)

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)

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)

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)

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)

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)

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)

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)

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

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)

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)

Wittgenstein is apparently contending that it is simply linguistic habit that gives us the impression that the question “who or what…?” fits the subject expression of the sentence. The logical conclusions in this chapter show that the strong reading of the proposed thesis developed here of a purely sound‐oriented character of the grammar of a single language (in this case, English) cannot be entirely right, and might not even be what Wittgenstein intended, because he only spoke of the sound (...) as one characteristic of the concept of a sentence. The author seeks a twofold understanding of the grammatical: on the one hand it should grasp sentences as whole units (not aggregates of the “singing from the score” type); on the other hand it should help us better understand the motivation for Wittgenstein's thesis that the grammatical concept of a sentence is oriented by (among other things) sound. (shrink)

The article presents proofs of the context freeness of a family of typelogical grammars, namely all grammars that are based on a uni- ormultimodal logic of pure residuation, possibly enriched with thestructural rules of Permutation and Expansion for binary modes.

The contributions in this grammar-theoretical volume examine current developmental trends in German under the aspect of changing coding techniques. These tendencies include morpho-syntactical changes in the realization of aspect, tense and mode as well as tendencies to omit the article and the processes resulting from this and also purely syntactic changes like the distance position of pronominal adverbs.

An attractive way to model the relation between an underspecified syntactic representation and its completions is to let the underspecified representation correspond to a logical description and the completions to the models of that description. This approach, which underlies the Description Theory of Marcus et al. 1983 has been integrated in Vijay-Shanker 1992 with a pure unification approach to Lexicalized Tree-Adjoining Grammars (Joshi et al. 1975, Schabes 1990). We generalize Description Theory by integrating semantic information, that is, we propose (...) to tackle both syntactic and semantic underspecification using descriptions. (shrink)

Focusing on the grammar and vocabulary of virtue in Kierkegaard’s upbuilding works, it is argued that the Danish philosopher represents a Christian conception of the moral life that is distinct from but—contrary to Alasdair MacIntyre’s claim—not completely opposed to Aristotelian and Thomistic virtue ethics. Although the realities of sin and salvation transcend virtue ethics based purely on human nature, it is demonstrated that this does not prevent Kierkegaard from speaking constructively about human nature, its teleology (a teleological conception of (...) the self) and about the virtues. Yet, from a Christian “upbuilding” perspective, general features of human nature must be transformed profoundly, which implies more than a harmonious perfection or completion of nature (Aquinas), but less than the complete replacement of nature by grace. Since this can be seen as a particular contribution to virtue ethics, in this specific sense, Kierkegaard may be called a virtue ethicist. (shrink)

In the Critique of Pure Reason, Kant defends the mathematically deterministic world of physics by arguing that its essential features arise necessarily from innate forms of intuition and rules of understanding through combinatory acts of imagination. Knowing is active: it constructs the unity of nature by combining appearances in certain mandatory ways. What is mandated is that sensible awareness provide objects that conform to the structure of ostensive judgment: “This (S) is P.” -/- Sensibility alone provides no such objects, (...) so the imagination compensates by combining passing point-data into “pure” referents for the subject-position, predicate-position, and copula. The result is a cognitive encounter with a generic physical object whose characteristics—magnitude, substance, property, quality, and causality—are abstracted as the Kantian categories. Each characteristic is a product of “sensible synthesis” that has been “determined” by a “function of unity” in judgment. -/- Understanding the possibility of such determination by judgment is the chief difficulty for any rehabilitative reconstruction of Kant’s theory. I will show that Kant conceives of figurative synthesis as an act of line-drawing, and of the functions of unity as rules for attending to this act. The subject-position refers to substance, identified as the objective time-continuum; the predicate-position, to quality, identified as the continuum of property values (constituting the second-order type named by the predicate concept). The upshot is that both positions refer to continuous magnitudes, related so that one (time-value) is the condition of the other (property-value). -/- Kant’s theory of physically constructive grammar is thus equivalent to the analytic-geometric formalism at work in the practice of mathematical physics, which schematizes time and state as lines related by an algebraic formula. Kant theorizes the subject–predicate relation in ostensive judgment as an algebraic time–state function. When aimed towards sensibility, “S is P” functions as the algebraic relation “t → ƒ(t).”. (shrink)

Is Pāṇini’s grammar prescriptive or descriptive, or perhaps both at the same time? The answer determines, among many other things, how we should render vā and vibhāṣā in his optional rules. If the grammar is prescriptive, these terms can mean “preferably” and “marginally”. If it is purely descriptive, then only “frequently” and “rarely” are appropriate translations. In Pāṇini as a Variationist (henceforth PV )I suggested that both translations are equally valid, on the grounds that the Aṣṭādhyāyī is at (...) the same time a faithful record of the usage of a community of śiṣṭas, and part of a project to canonize that usage as correct, meant to be binding on all users of the language. Devasthali (1983), however, objected that the idea of “better” or “worse” usage is “foreign to the ancient Sanskrit grammatical works and grammarians”, because they do not deal with incorrect apaśabdas, only with sādhusabdas – the correct words of the divine language. (shrink)

On the basis of an experimental investigation of the construals of present under past in child French, we argue that French children, just like Japanese adult speakers, but unlike French adult speakers, allow pure simultaneous construals of present under past, where the present denotes an interval that lies completely in the past, be it in relative or complement clauses. We conclude that French children have two presents: an indexical present and a zero present (just like Japanese adults, cf. Ogihara (...) 1999, 2008), suggesting that French children have both the Japanese and the French setting for the Sequence of Tense parameter since they allow simultaneous construals of both present and past under past. This multiple grammar approach to tense interpretation in child French extends to child Japanese in so far as Japanese children have been argued to allow simultaneous readings of past under past, although this reading is unavailable in the target grammar (Matsuo & Hollebrandse 1999). (shrink)

We combine state-of-the-art techniques from computational linguisticsand theorem proving to build an engine for playing text adventures,computer games with which the player interacts purely through naturallanguage. The system employs a parser for dependency grammar and ageneration system based on TAG, and has components for resolving andgenerating referring expressions. Most of these modules make heavy useof inferences offered by a modern theorem prover for descriptionlogic. Our game engine solves some problems inherent in classical textadventures, and is an interesting test case (...) for the interactionbetween natural language processing and inference. (shrink)

A number of general points behind the story of this paper may be worth setting out separately, now that we have come to the end.There is perhaps one obvious omission to be addressed right away. Although the word “information” has occurred throughout this paper, it must have struck the reader that we have had nothing to say on what information is. In this respect, our theories may be like those in physics: which do not explain what “energy” is (a notion (...) which seems quite similar to “information” in several ways), but only give some basic laws about its behaviour and transmission.The eventual recommendation made here has been to use a broad type-theoretic framework for studying various more classical and more dynamic notions of proposition in their interaction. This is not quite the viewpoint advocated by many current authors in the area, who argue for a whole-sale switch from a ‘static’ to a ‘dynamic’ perspective on propositions. This is not the place, however, to survey the conceptual arguments for and against such a more radical move.This still leaves many questions about possible reductions from one perspective to another. For instance, it would seem that classical systems ought to serve as a ‘limiting case’, which should still be valid after procedural details of some cognitive process have been forgotten. There are various ways of implementing the desired correspondence: e.g. by considering extreme cases with ⫅ equal to identity, or, in the pure relational algebra framework by considering only pairs (x, x). What we shall want then are reductions of dynamic logics, in those special cases, to classical logic. But perhaps also, more sophisticated views are possible. How do we take a piece of ‘dynamic’ prose, remove control instructions and the like, and obtain a piece of ‘classical’ text, suitable for inference ‘in the light of eternity’?There is also a more technical side to the matter of ‘reduction’. By now, Logic has reached such a state of ‘inter-translatability’ that almost all known variant logics can be embedded into each other, via suitable translations. In particular, once an adequate semantic has been given for a new system, this usually induces an embedding into standard logic: as we know, e.g., for the case of Modal Logic. Like-wise, all systems of dynamic interpretation or inference proposed so far admit of direct embedding into an ordinary ‘static’ predicate logic having explicit transition predicates (cf. van Benthem 1988b). Thus, our moral is this. The issue is not whether the new systems of information structure or processing are essentially beyond the expressive resources of traditional logical systems: for, they are not. The issue is rather which interesting phenomena and questions will be put into the right focus by them.The next broad issue concerns the specific use of the perspective proposed here, vis-à-vis concrete proposals for information-oriented or dynamic semantics. The general strategy advocated here is to locate some suitable base calculus and then consider which ‘extras’ are peculiar to the proposal. For instance, this is the spirit in which modal S4 would be a base logic of information models, and intuitionistic logicthe special theory devoting itself to upward persistent propositions. Or, with the examples in Section 4.1, the underlying base logic is our relational algebra, whereas, say, ordinary updates then impose special properties, such as ‘idempotence’: $$xRy \Rightarrow yRy$$ Does this kind of application presuppose the existence of one distinguished base logic, of which all others are extensions? This would be attractive-and some form of relational algebra or linear logic might be a reasonable candidate. Nevertheless, the enterprise does not rest on this outcome. What matters is an increased sensitivity to the ‘landscape’ of dynamic logics, just as with the ‘Categorial Hierarchy’ in Categorial Grammar (cf. van Benthem 1989a, 1991) where the family of logics with their interconnections seems more important than any specific patriarch.Finally, perhaps the most important issue in the new framework is the possibility of new kinds of questions arising precisely because of its differences from standard logic. Notably, given the option of regarding propositions as programs, it will be of interest to consider systematically which major questions about programming languages now make sense inside logic too.EXAMPLE. Correctness. When do we have $$\left[\kern-0.15em\left[ \pi \right]\kern-0.15em\right](\left[\kern-0.15em\left[ A \right]\kern-0.15em\right]) \subseteq \left[\kern-0.15em\left[ B \right]\kern-0.15em\right]$$ for (s, t) propositions A, B and a dynamic (s, (s, t)) proposition π?Program Synthesis. Which dynamic proposition will take us from an information state satisfying A to one satisfying B? (This question needs refinement, lest there be trivial answers.)Determinism. Which propositions as programs are deterministic, in the sense of defining single-valued functions from states to states?Querying. What does it mean to ask for information in the present setting? (Again, individual types referring to e will be crucial here.)This is not merely an agenda for wishful thinking. Within Logic, there are various ways of introducing such concerns into semantics, especially, using tools from Automata Theory. (See van Benthem 1989c for further discussion of such computational perspectives in ‘cognitive programming’.)At least if one believes that ‘dynamics’ is of the essence in cognition (rather than a mere interfacing problem between the halls of eternal truth and the noisy streets of reality), the true test for the present enterprise is the development of a significant new research program not merely copying the questions of old. (shrink)

Lewis sender‐receiver games illustrate how a meaningful term language might evolve from initially meaningless random signals (Lewis 1969; Skyrms 2006). Here we consider how a meaningful language with a primitive grammar might evolve in a somewhat more subtle sort of game. The evolution of such a language involves the co‐evolution of partitions of the physical world into what may seem, at least from the perspective of someone using the language, to correspond to canonical natural kinds. While the evolved language (...) may allow for the sort of precise representation that is required for successful coordinated action and prediction, the apparent natural kinds reflected in its structure may be purely conventional. This has both positive and negative implications for the limits of naturalized metaphysics. (shrink)

In several sign languages, plurals can be realized with unpunctuated or punctuated repetitions of a noun, with different semantic implications; similar repetition-based plurals have been described in some homesigns and silent gestures. Unpunctuated repetitions often get approximate ‘at least’ readings while punctuated repetitions typically correspond to ‘exactly’ readings. The prevalence of these mechanisms could be thought to be a case in which Universal Grammar does not just specify the abstract properties of grammatical elements, but also their phonological realization, at (...) least in the visual modality. We explore an alternative in which punctuated and unpunctuated repetitions arise from general properties of iconic representations. On an empirical level, we argue that in ASL, punctuated and unpunctuated repetitions are unlikely to be an exclusively grammatical mechanism, as they can be found with purely iconic representations. On a theoretical level, we argue for a modular account with three components. First, repetition-based plurals can create a simplified pictorial representation. Second, unpunctuated repetitions give rise to pictorial vagueness, resolved by way of quantification over precisifications. Third, a pragmatic process involving strategic reasoning maps these vague representations onto a set of candidate linguistic meanings, including some ‘at least’ plural readings that are best expressed by unpunctuated repetitions. (shrink)

This paper develops a version of Natural Logic – an inference system that works directly on natural language syntactic representations, with no intermediate translation to logical formulae. Following work by Sánchez, we develop a small fragment that computes semantic order relations between derivation trees in Categorial Grammar. The proposed system has the following new characteristics: It uses orderings between derivation trees as purely syntactic units, derivable by a formal calculus. The system is extended for conjunctive phenomena like coordination and (...) relative clauses. This allows a simple account of non-monotonic expressions that are reducible to conjunctions of monotonic ones. A decision procedure for provability is developed for a fragment of Natural Logic. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:“Bodyheartminding” (xin 心): Reconceiving the Inner Self and the Outer World in the Language of Holographic Focus and FieldRoger T. Amesin body consciousness: a philosophy of mindfulness and somaesthetics, Richard Shusterman expands upon a professional oeuvre in which his exploration of the phenomenon of “body consciousness” has effected nothing less than a somatic turn in the contemporary Western philosophical narrative.1 But his contribution does not end there. Over the (...) past two decades, the reach and influence of his “somaesthetics” has been extended to the gates of China. Indeed, it has become a theme engaged by scholars of China’s indigenous philosophical traditions, thus providing an opportunity for a further edifying conversation between the Chinese and Western philosophical traditions.2 And it is this conversation, as it has been inspired by Shusterman’s work, that I propose to join in this short essay.In Body Consciousness, Shusterman tells the story of how John Dewey advances the pragmatic project of not only understanding the body better, but indeed of applying the Alexander Technique as his way of using his own body properly.3 Just as Dewey has been a prominent resource for Shusterman in his development of somaesthetics, for Dewey in turn, it was William James’s Principles of Psychology that was a self-confessed inspiration for the development of his own evolving interpretation of pragmatism.4 Indeed, one way of reading Dewey’s philosophical career and his thirty-seven-volume opus is that it is a sustained effort to take the radical “stream-of-consciousness” insights developed in James’s Principles to their logical, systematic conclusion. In pursuing this project, while appreciative, Dewey is at times impatient with James’s dualistic lapses in which he continues to separate individuals from community, mind from body, emotions from intellect, agents from actions, and theory from practice. Dewey takes these unfortunate reversions to old ways of thinking as serving only to confound James’s holistic doctrines of pure experience and radical empiricism. Given Dewey’s own postulate of [End Page 100] immediate and continuous empiricism, one way of tracking his journey from having been inspired by James’s biological naturalism to achieving his own philosophical coherence is to register his unrelenting aversion to dualism in any form.But Dewey himself was not always consistent in this respect. Shusterman gives an account of the early neo-Hegelian Dewey who, affirming the familiar transcendent conception of soul we associate with idealism, unsurprisingly embraces a clear soul and body dualism. And in spite of the philosophically mature Dewey’s best efforts to think “process,” he has no choice but to use both a language and a grammar freighted with substance ontology that resists his more holistic insights. On occasion, even while trying to remain consistent in his thinking, Dewey seems to fall victim to terminology that if not dualistic is at best ambiguous. Dewey’s struggle against this problem of equivocation is particularly apparent in some of the language he appeals to in attempting to put the Humpty Dumpty of mind and body together again. In his effort to register the irreducible continuity and inseparability of the nonanalytic abstractions we differentiate as body and mind—the ontological givenness or “hadness” of “bodyminding”—Dewey still at times invokes terms such as “combination,” “integration,” “unity,” and so on, that take as their suppressed premise “two things becoming one.” By way of contrast, in the correlative vocabulary of Chinese process cosmology, expressions such as yinyang 陰陽, the natural/cultural and the human (tianren 天人), and knowing and doing (zhixing 知行), primacy is given to vital relationality and the continuity it entails. It is not putting two things together that is referenced with these binomials, but the deepening of the horizon of constitutive, internal relationships that transforms the two aspects of the same phenomenon qualitatively into harmonics (he 和) for yinyang, sagacity (sheng 聖) for tianren, and acting wisely (zhi 智) for zhixing. In each instance, the two aspects themselves are simply conceptual abstractions from a complex relational process. The proper and effective measure (du 度) sought in this Confucian cosmology is not quantitatively more or less of two distinct things—taking mind and body as our example—but rather a qualitative and transformative change that... (shrink)

Closed systems are mental artefacts whose structure can neither be explained in terms of innate dispositions nor in terms of the mechanism of natural selection and which stands in contradiction to the conditions of the possibility of information transfer. Kant takes the formal structure of pure mathematics as a guarantor for his reconstruction of a closed system of the subject's structures of knowledge a priori, thereby giving rise to the problem of a normative interface between interior system and exterior (...) information – a problem which is, in this form, not to be solved. By tracing the structure of generative grammar and formal logics back to innate modules, respectively, Chomsky and Fodor are creating the same interface problem, whose basic structure has not yet received the necessary attention. (shrink)

The narratives studied by schema-based models or story grammars are generally simpler than those found in literary texts, such as short stones or novels. Literary narratives are indeterminate, exhibiting conflicts between schemata and frequent ambiguities in the status of narrative elements. An account of the process of comprehending such complex narratives is beyond the reach of purely cognitive models. It is argued that during comprehension response is controlled by affect, which directs the creation of schemata more adequate to the text. (...) Several properties of affect that make it appropriate for this model of narrative are discussed. A short story by Virginia Woolf is analysed in the light of the proposed model. A study with readers of the story is described, which illustrates the process of schema formation: Shifts in the relative importance of story phrases across the reading and the comments made by readers point to a process of schema creation under the control of affect. It is argued that affect may play a more productive role in cognitive processes than is generally acknowledged. (shrink)