The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

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)

1971. Discourse Grammars and the Structure of Mathematical Reasoning II: The Nature of a Correct Theory of Proof and Its Value, Journal of Structural Learning 3, #2, 1–16. REPRINTED 1976. Structural Learning II Issues and Approaches, ed. J. Scandura, Gordon & Breach Science Publishers, New York, MR56#15263. -/- This is the second of a series of three articles dealing with application of linguistics and logic to the study of mathematical reasoning, especially in the setting of a concern for improvement of (...) mathematical education. The present article presupposes the previous one. Herein we develop our ideas of the purposes of a theory of proof and the criterion of success to be applied to such theories. In addition we speculate at length concerning the specific kinds of uses to which a successful theory of proof may be put vis-a-vis improvement of various aspects of mathematical education. The final article will deal with the construction of such a theory. The 1st is the 1971. Discourse Grammars and the Structure of Mathematical Reasoning I: Mathematical Reasoning and Stratification of Language, Journal of Structural Learning 3, #1, 55–74. https://www.academia.edu/s/fb081b1886?source=link . (shrink)

Standardized academic English is now understood to be rooted in histories and practices that are colonial, classist, nationalist, heteronormative, ableist, and sexist. Current teaching of academic English carries an ethos of making practices of research writing accessible to students from marginalized backgrounds through explicit attention to language patterns and genre structures. In the context of both ideological critique and explicit pedagogy, I discuss three pragmatic elements of research writing—positionality, citation, and evaluation—with examples from one of my courses. I present these (...) elements and my approach to teaching them as a practice that is attentive to both details of published scholarship and students’ agency and intentionality in shaping their own writing projects, claims, and arguments. My work is framed by a functional approach to grammar where grammar is not interesting as a standardized apparatus but as a code that provides a range of options for producing performative effects. I call this spacious grammar. (shrink)

Husserl’s Logical Grammar is intended to explain how complex expressions can be constructed out of simple ones so that their meaning turns out to be determined by the meanings of their constituent parts and the way they are put together. Meanings are thus understood as structured contents and classified into formal categories to the effect that the logical properties of expressions reflect their grammatical properties. As long as linguistic meaning reduces to the intentional content of pre-linguistic representations, however, it (...) is not trivial to account for how semantics relates to syntax in this context. In this paper, I analyze Husserl’s Logical Grammar as a system of recursive rules operating on representations and suggest that the syntactic form of representations contributes to their semantics because it carries information about semantic role. I further discuss Husserl’s syntactic account of the unity of propositions and argue that, on this account, logical form supervenes on syntactic form. In the last section I draw some implications for the phenomenology of thought and conjecture that the structural features it displays are likely to convey the syntactic structures of an underlying language-like representational system. (shrink)

This paper attempts to show the real nature of Universal Grammar. Universal grammar is separate part of human mind which makes language learning possible and generative. Universal grammar is the symbolic and systematic rules inside our mind. These rules help us to classify, analyze, differentiate, assimilate, understand and recognize human language. This paper determines the real nature of philosophical grammar and discusses the modular and non-modular approach of it. I shall examine the critical approaches of Wittgenstein (...) and Chomsky and their comparison to investigate the philosophical grammar. (shrink)

In this paper it is shown how simple texts that can be parsed in a Lambek Categorial Grammar can also automatically be provided with a semantics in the form of a Discourse Representation Structure in the sense of Kamp [1981]. The assignment of meanings to texts uses the Curry-Howard-Van Benthem correspondence.

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)

I argue that the ability to compute phrase structure grammars is indicative of a particular kind of thought. This type of thought that is only available to cognitive systems that have access to the computations that allow the generation and interpretation of the structural descriptions of phrase structure grammars. The study of phrase structure grammars, and formal language theory in general, is thus indispensable to studies of human cognition, for it makes explicit both the unique type of human thought and (...) the underlying mechanisms in virtue of which this thought is made possible. (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.

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)

Usually technological innovation and artistic work are seen as very distinctive practices, and innovation of technologies is understood in terms of design and human intention. Moreover, thinking about technological innovation is usually categorized as “technical” and disconnected from thinking about culture and the social. Drawing on work by Dewey, Heidegger, Latour, and Wittgenstein and responding to academic discourses about craft and design, ethics and responsible innovation, transdisciplinarity, and participation, this essay questions these assumptions and examines what kind of knowledge and (...) practices are involved in art and technological innovation. It argues that technological innovation is indeed “technical”, but, if conceptualized as techne, can be understood as art and performance. It is argued that in practice, innovative techne is not only connected to episteme as theoretical knowledge but also has the mode of poiesis: it is not just the outcome of human design and intention but rather involves a performative process in which there is a “dialogue” between form and matter and between creator and environment in which humans and non-humans participate. Moreover, this art is embedded in broader cultural patterns and grammars—ultimately a ‘form of life’—that shape and make possible the innovation. In that sense, there is no gap between science and society—a gap that is often assumed in STS and in, for instance, discourse on responsible innovation. It is concluded that technology and art were only relatively recently and unfortunately divorced, conceptually, but that in practices and performances they were always linked. If we understand technological innovation as a poetic, participative, and performative process, then bringing together technological innovation and artistic practices should not be seen as a marginal or luxury project but instead as one that is central, necessary, and vital for cultural-technological change. This conceptualization supports not only a different approach to innovation but has also social-transformative potential and has implications for ethics of technology and responsible innovation. (shrink)

Within the philosophy of language, contextualists typically hold (and semantic minimalists deny) that pragmatic elements of an utterance can affect its semantic content. This paper concretizes this debate by analogizing both positions to different kinds of time-travel stories: contextualism is akin to Ludovician narratives that deny the possibility of temporal editing (or “the changing of past events”) while semantic minimalism is aligned with stories that allow the past to be literally altered. By focusing particularly on Denis Villeneuve’s 2016 film Arrival, (...) which portrays a Ludovician model of temporality that firmly denies the possibility of temporal editing, this paper defends the strength of the contextualist position. (shrink)

ABSTRACT This part of the series has a dual purpose. In the first place we will discuss two kinds of theories of proof. The first kind will be called a theory of linear proof. The second has been called a theory of suppositional proof. The term "natural deduction" has often and correctly been used to refer to the second kind of theory, but I shall not do so here because many of the theories so-called are not of the second kind--they (...) must be thought of either as disguised linear theories or theories of a third kind (see postscript below). The second purpose of this part is 25 to develop some of the main ideas needed in constructing a comprehensive theory of proof. The reason for choosing the linear and suppositional theories for this purpose is because the linear theory includes only rules of a very simple nature, and the suppositional theory can be seen as the result of making the linear theory more comprehensive. CORRECTION: At the time these articles were written the word ‘proof’ especially in the phrase ‘proof from hypotheses’ was widely used to refer to what were earlier and are now called deductions. I ask your forgiveness. I have forgiven Church and Henkin who misled me. (shrink)

This essay presents a new way of conceptualizing the problem of political obligation. On the traditional ‘normativist’ framing of the issue, the primary task for theory is to secure the content and justification of political obligations, providing practically applicable moral knowledge. This paper develops an alternative, ‘pragmatist’ framing of the issue, by rehabilitating a frequently misunderstood essay by Hanna Pitkin and by recasting her argument in terms of the ‘pragmatic turn’ in recent philosophy, as articulated by Robert Brandom. From this (...) perspective, the content and justification of political obligations cannot be determined in a way that is in principle separable from their application. This casts ‘political obligation’ not as a problem to be philosophically resolved, but as a political predicament that calls for a kind of practical engagement. The merit of this perspective is to draw our attention toward the conditions under which the problem appears as a lived predicament. (shrink)

The evolution of Intelligent Tutoring System (ITS) is the result of the amount of research in the field of education and artificial intelligence in recent years. English is the third most common languages in the world and also is the internationally dominant in the telecommunications, science and trade, aviation, entertainment, radio and diplomatic language as most of the areas of work now taught in English. Therefore, the demand for learning English has increased. In this paper, we describe the design of (...) an Intelligent Tutoring System for teaching English language grammar to help students learn English grammar easily and smoothly. The system provides all topics of English grammar and generates a series of questions automatically for each topic for the students to solve. The system adapts with all the individual differences of students and begins gradually with students from easier to harder level. The intelligent tutoring system was given to a group of students of all age groups to try it and to see the impact of the system on students. The results showed a good satisfaction of the students toward the system. (shrink)

In Groenendijk & Stokhof [1989] a system of dynamic predicate logic (DPL) was developed, as a compositional alternative for classical discourse representation theory (DRT ). DPL shares with DRT the restriction of being a first-order system. In the present paper, we are mainly concerned with overcoming this limitation. We shall define a dynamic semantics for a typed language with λ-abstraction which is compatible with the semantics DPL specifies for the language of first-order predicate logic. We shall propose to use this (...) new logical system as the semantic component of a Montague-style grammar (referred to as dynamic Montague grammar, DMG), which will enable us to extend the compositionality of DPL to the subsentential level. Furthermore, we shall extend this analysis also in this sense that we shall add new, dynamic interpretations for logical constants which in DPL were treated in a static fashion. This will substantially increase the descriptive coverage of DMG. (shrink)

In her Natural Goodness, Philippa Foot argues both that a distinctive grammar of goodness applies to living things generally, and that moral goodness in human beings is a special instance of natural goodness. My goal in this chapter is to provide a sympathetic interpretation of Foots’ grammar of goodness, clarifying and expanding it in a few places, and defending it against some objections. I begin by sketching Foot’s grammar. As I understand it, that grammar includes four (...) main notions: 1) THE GOOD OF, 2) GOOD AS / GOOD IN, 3) GOOD FOR, and 4) GOODS / GOOD THINGS. I then consider the relation between GOOD FOR, on the one hand, and THE GOOD OF and GOOD AS, on the other. Is it always GOOD FOR a living thing to be GOOD AS the kind of thing it is? Could something be GOOD FOR an organism without being part of THE GOOD OF that kind of thing? I argue that GOOD FOR, GOOD AS, and THE GOOD OF are inseparable: what is GOOD FOR a living thing just is that which furthers or constitutes THE GOOD OF such a creature, and THE GOOD OF any creature is the actualization of those well-formed capacities that make it GOOD AS the kind of creature that it is. In the final part of this chapter, I consider how happiness fits into Foot’s grammar of goodness as applied to human beings, paying special attention to the idea that THE GOOD OF any living thing consists in a certain form of activity. (shrink)

This paper analyzes some grammatical aspects of the English verb "to mean" and its nominalizations, and based on that, argues that meaning is something that people do rather than something that words have.

This systematic literature review examines the effectiveness of Grammarly as an Automated Writing Evaluation (AWE) tool for improving the writing skills of English as a Second Language (ESL) and English as a Foreign Language (EFL) students. Drawing on 10 studies published between 2018 and 2024, the review assesses Grammarly’s key features, benefits, and limitations. Results show that Grammarly significantly reduces grammatical errors, enhances students’ writing confidence, and fosters autonomous learning. However, challenges such as over-reliance on the tool and its limited (...) capacity to provide comprehensive feedback on higher-order writing skills remain. The review underscores the need for further research into Grammarly’s long-term effects on writing development, particularly its efficacy across various academic disciplines and contexts. (shrink)

We generalize intuitionistic tense logics to the multi-modal case by placing grammar logics on an intuitionistic footing. We provide axiomatizations for a class of base intuitionistic grammar logics as well as provide axiomatizations for extensions with combinations of seriality axioms and what we call "intuitionistic path axioms". We show that each axiomatization is sound and complete with completeness being shown via a typical canonical model construction.

Anscombe’s published writings, lectures and notes on sensation point toward a sophisticated critique of sense-data, representationalist and direct realist theories of perception (in both their historical and contemporary forms), and a novel analysis of the concept of sensation. Her philosophy of perception begins with the traditional question, ‘What are the objects of sensation?’, but the response is a grammatical rather than ontological enquiry. What, she asks, are the characteristics of the grammatical object of sensation verbs? Anscombe’s answer is: sensation verbs (...) take ‘intentional objects’, where an ‘intentional object’ is a description which has the characteristics of the concept of intention—characteristics elucidated in great detail in her Intention. This simple manoeuvre allows Anscombe to reject two opposing positions in the philosophy of perception - that the objects of sensation are sense-data and that the objects of sensation are tables and chairs (etc). Both views, she argues, fail to recognise the grammatical fact that the verbs of sensation take intentional objects. This chapter outlines the case for a grammatical methodology in philosophy of perception, by framing an analysis of the ways in which the sense-data and direct-realist theories of perception arise out of the theoretical demands that are generated when the grammar of the concept of sensation is left unexplored. Along the way, it will be shown that Anscombe’s philosophy of perception should not be read as fore-running contemporary representationalism, and that reading it as such in fact runs counter not only to the letter but the spirit of Ancombe’s proposal. (shrink)

In the introduction to his Philosophy of Nature, Hegel speaks of metaphysics as “the entire range of the universal determinations of thought, as it were the diamond net into which everything is brought and thereby first made intelligible. Every educated consciousness has its metaphysics, an instinctive way of thinking”. Both Wittgenstein and Hegel see our many languages and forms of life as constituted by different diamond nets of categories/grammars. I argue that both Wittgenstein and Hegel take a non-reductive attitude toward (...) this plurality of local ontologies, but that they disagree about what that plurality implies for history and philosophy. Their disagreements come in part from their differing choice of examples, influenced by atomism and holism. Even more, their disagreements stem from divergent notions about the structure and mode of being of those diamond nets. During the discussion, I distinguish three uses of the word “ontology”, and I ask each thinker about what might improve the other’s philosophical project. (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)

In this paper, a formal theory is presented that describes syntactic and semantic mechanisms of philosophical discourses. They are treated as peculiar language systems possessing deep derivational structures called architectonic forms of philosophical systems, encoded in philosophical mind. Architectonic forms are constituents of more complex structures called architectonic spaces of philosophy. They are understood as formal and algorithmic representations of various philosophical traditions. The formal derivational machinery of a given space determines its class of all possible architectonic forms. Some of (...) them stand under factual historical philosophical systems and they organize processes of doing philosophy within these systems. Many architectonic forms have never been realized in the history of philosophy. The presented theory may be interpreted as falling under Hegel’s paradigm of comprehending cultural texts. This paradigm is enriched and inspired with Propp’s formal, morphological view on texts. The peculiarity of this modification of the Hegel-Propp paradigm consists of the use of algebraic and algorithmic tools of modeling processes of cultural development. To speak metaphorically, the theory is an attempt at the mathematical and logical history of philosophy inspired by the Internet metaphor. And that is why it belongs to the tradition of doing metaphilosophy in The Lvov-Warsaw School, which is continued today mainly by Woleński, Pelc, Perzanowski, and Jadacki. (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)

An anti-dispositionalist interpretation of grammatical knowledge would maintain that such knowledge exists whether or not it can be behaviourally manifested; a dispositionalist interpretation, on the other hand, would identify that knowledge with the in principle possibility of certain behavioural manifestations. The purpose of this paper is to present a preliminary case for the dispositionalist interpretation by accomplishing two complementary tasks: first, rejecting a prominent argument against the dispositionalist interpretation; second, advancing an original argument against the anti-dispositionalist interpretation. Both tasks involve (...) rebuttals of certain key theses associated with Chomskyan grammatical metatheory, and therefore, provide new opportunities for assessing its viability. -/- . (shrink)

This article deals with the cognitive relationship between a speaker and her internal grammar. In particular, it takes issue with the view that such a relationship is one of belief or knowledge (I call this view the ‘Propositional Attitude View’, or PAV). I first argue that PAV entails that all ordinary speakers (tacitly) possess technical concepts belonging to syntactic theory, and second, that most ordinary speakers do not in fact possess such concepts. Thus, it is concluded that speakers do (...) not literally ‘know’ or ‘believe’ much of the contents of their grammars, and moreover, that these contents can only be attributed at a subpersonal level. (shrink)

The high-profile debate between John Milbank and Slavoj Žižek in The Monstrosity of Christ comprises an immensely important work in the contemporary intersection of Church dogmatics and ontology. This study consists of an indirect commentary on this debate, using Milbank and Žižek’s dispute as a foil for mobilizing an ontology favorable to Eastern Orthodox dogmatics. The starting point here is that Orthodoxy simply bypasses Neo-Platonism as the definitive philosophical expression of its dogmatic theology, and, on this score, Žižek’s powerful criticisms (...) of theurgic Neo-Platonism can be embraced and redirected in support of an ontology of the Orthodox dogma of synergy. It will be shown that Milbank’s position that there is a “Catholic Žižek” who embraces theurgy—that is, analogical, Neo-Platonist ontology—is mistaken; the dismantling of the “suspended middle” is necessary for the Žižekian and that, therefore, a Catholic version of this figure does not exist. But it will be suggested that, instead, there is a latent Orthodox Žižek whose criticism of analogical ontology can pave the way for a more profitable dialogue between Žižek and Orthodoxy. The conclusion will provide a playful reading of an Orthodox Žižek—an entirely fictional but ontologically serviceable character—who can begin new conversations between ontology and dogmatic theology. The upshot of the study is the extension of Terry Eagleton’s claim that the historical materialist, but not the dialectical materialist, can legitimately venerate the Virgin Mary—to the surprising suggestion that even the dialectical materialist can justifiably venerate her, too. (shrink)

A generative grammar for a language L generates one or more syntactic structures for each sentence of L and interprets those structures both phonologically and semantically. A widely accepted assumption in generative linguistics dating from the mid-60s, the Generative Grammar Hypothesis , is that the ability of a speaker to understand sentences of her language requires her to have tacit knowledge of a generative grammar of it, and the task of linguistic semantics in those early days was (...) taken to be that of specifying the form that the semantic component of a generative grammar must take. Then in the 70s linguistic semantics took a curious turn. Without rejecting GGH, linguists turned away from the task of characterizing the semantic component of a generative grammar to pursue instead the Montague-inspired project of providing for natural languages the same kind of model-theoretic semantics that logicians devise for the artificial languages of formal systems of logic, and “formal semantics” continues to dominate semantics in linguistics. This essay argues that the sort of compositional meaning theory that would verify GGH would not only be quite different from the theories formal semanticists construct, but would be a more fundamental theory that supersedes those theories in that it would explain why they are true when they are true, but their truth wouldn’t explain its truth. Formal semantics has undoubtedly made important contributions to our understanding of such phenomena as anaphora and quantification, but semantics in linguistics is supposed to be the study of meaning. This means that the formal semanticist can’t be unconcerned that the kind of semantic theory for a natural language that interests her has no place in a theory of linguistic competence; for if GGH is correct, then the more fundamental semantic theory is the compositional meaning theory that is the semantic component of the internally represented generative grammar, and if that is so, then linguistic semantics has so far ignored what really ought to be its primary concern. (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)

In light of the pragmatic aspirations of ordinary language philosophy, this essay critically examines the competing grammatical strictures that are often set forth within the theoretical discourse of 'power'. It repudiates both categorically appraisive employments of 'power' and the antithetical urge to fully operationalize the concept. It offers an attenuated defense of the thesis that 'power' is an essentially contestable concept, but rejects the notion that this linguistic fact stems from conflict between antipodal ideological paradigms. Careful attention to the ordinary (...) pragmatics of power-language evinces the prospects for integrating various context-specific aspects of power and mediating between traditionally divergent theoretical frameworks. (shrink)

This paper argues for the idea that in describing language we should follow Haskell Curry in distinguishing between the structure of an expression and its appearance or manifestation . It is explained how making this distinction obviates the need for directed types in type-theoretic grammars and a simple grammatical formalism is sketched in which representations at all levels are lambda terms. The lambda term representing the abstract structure of an expression is homomorphically translated to a lambda term representing its manifestation, (...) but also to a lambda term representing its semantics. (shrink)

The positions of Frege, Russell and Wittgenstein on the priority of complexes over (propositional) functions are sketched, challenging those who take the "judgment centered" aspects of the Tractatus to be inherited from Frege not Russell. Frege's views on the priority of judgments are problematic, and unlike Wittgenstein's. Russell's views on these matters, and their development, are discussed in detail, and shown to be more sophisticated than usually supposed. Certain misreadings of Russell, including those regarding the relationship between propositional functions and (...) universals, are exposed. Wittgenstein's and Russell's views on logical grammar are shown to be very similar. Russell's type theory does not countenance types of genuine entities nor metaphysical truths that cannot be put into words, contrary to conventional wisdom. I relate this to the debate over "inexpressible truths" in the Tractatus. I lastly comment on the changes to Russell's views brought about by Wittgenstein's influence. (shrink)

James Shaw has written an excellent book on Wittgenstein’s rule-following considerations. It manages to provide fresh perspectives on a topic on which it seemed.

This essay aims to provide conceptual tools for the understanding of Wittgenstein’s theory of color as a grammar problem instead of a phenomenological or purely scientific one. From an introduction of his understanding of meaning in his early and late life, his notion of grammar will be analyzed to understand his rebuttal of scientific and phenomenological discourse as a proper means for dealing with the problem of color through his critique of Goethe. Then Wittgenstein’s take on color will (...) become clear as his sympathy for Runge, the painter that Goethe criticizes, is analyzed to understand color as a language-game regarding kinds of colors as numbers and geometrical figures, in that grammar rather than experience is used to acknowledge them. (shrink)

In this article, I argue that if tacit knowledge of grammar is analyzable in functional‐computational terms, then it cannot ground linguistic meaning, structure, or sound. If to know or cognize a grammar is to be in a certain computational state playing a certain functional role, there can be no unique grammar cognized. Satisfying the functional conditions for cognizing a grammar G entails satisfying those for cognizing many grammars disagreeing with G about expressions' semantic, phonetic, and syntactic (...) values. This threatens the Chomskyan view that expressions have such values for speakers because they cognize grammars assigning them those values. For if this is true, semantics, syntax, and phonology must be indeterminate, thanks to the indeterminacy of grammar‐cognizing (qua functional‐computational state). So, the fact that a speaker cognizes a grammar cannot explain the determinate character of their language. (shrink)

In this paper, we develop a mathematical model of awareness based on the idea of plurality. Instead of positing a singular principle, telos, or essence as noumenon, we model it as plurality accessible through multiple forms of awareness (“n-awareness”). In contrast to many other approaches, our model is committed to pluralist thinking. The noumenon is plural, and reality is neither reducible nor irreducible. Nothing dies out in meaning making. We begin by mathematizing the concept of awareness by appealing to the (...) mathematical formalism of higher category theory. The beauty of higher category theory lies in its universality. Pluralism is categorical. In particular, we model awareness using the theories of derived categories and (infinity, 1)-topoi which will give rise to our meta-language. We then posit a “grammar” (“n-declension”) which could express n-awareness, accompanied by a new temporal ontology (“n-time”). Our framework allows us to revisit old problems in the philosophy of time: how is change possible and what do we mean by simultaneity and coincidence? Another question which could be re-conceptualized in our model is one of soteriology related to this pluralism: what is a self in this context? A new model of “personal identity over time” is thus introduced. (shrink)

Can music be considered a language of the emotions? The most common view today is that this is nothing but a Romantic cliché. Mainstream philosophy seems to view the claim that 'Music is the language of the emotions' as a slogan that was once vaguely defended by Rousseau, Goethe, or Kant, but that cannot be understood literally when one takes into consideration last century’s theories of language, such as Chomsky's on syntax or Tarski's on semantics (Scruton 1997: ch. 7, see (...) also Davies 2003: ch. 8, and Kania 2012). In this chapter, I will show why this common view is unwarranted, and thus go against nowadays philosophical mainstream by defending what I call the musicalanguage hypothesis. In Section 1, I will introduce the musicalanguage hypothesis and present, based on empirical evidence, some of the many similarities between language and music and explain why we should take them seriously. I will introduce a framework that aims to explain the communicative power of music using what we already know about linguistic communication (1.1). I will then outline several working hypotheses about musical grammar, musical meaning, and affective meaning (1.2), and thus defend that music is indeed very close to literally be a language of the emotions. In Section 2, I will detail some of the methodology, expectations, and preliminary results of a cross-cultural study on musical grammar that I am presently conducting between South India (Chennai) and Switzerland (Geneva and Lausanne)4. This empirical study focuses on two musical idioms and their grammatical features: Western classical music of the Common Period (ca. 1600-1900) and South Indian classical music (also know as Carnatic music). The main hypothesis of this study is that you need to master the grammar of a musical idiom in order to properly understand its musical meanings. (shrink)

This essay presents the nature of aesthetic judgment, the significance of aesthetic judgment and finally, the relevance of art to understanding aesthetic judgment.

This is what I hope is an illuminating, and to a certain degree, novel exposition of Montague Grammar. It is against many standard interpretations, and perhaps even against things Montague himself says at times. However, it makes more sense of how his various commitments fit together in a systematic way. Why, for instance, is it called "Montague Grammar" rather than "Montague Semantics," and what role does his commitment to Fregeanism plays in his conception of language? It is clear (...) that he is committed to the idea that function application is the fundamental mode of semantic composition, and that he is committed to an intensional framework. However, intensions have, since Carnap, been understood as nearly conceptually equivalent to functions from possible worlds to sets of individuals. But, in truth, possible worlds semantics is just dressed up extensional semantics. There are just more objects to go around to serve as inputs for functions, whatever we think of their ontological status. That is, possible worlds semantics is really a semantic reduction of intensional semantics achieved by expanding our ontological commitments. It would be difficult to make sense of Montague's strong commitment to Fregean semantics, if his notion of intension was that of Carnap's. According to my interpretation, Montague's notion of intension must be distinct from the version adopted by possible world semantics. Montague took seriously the idea that intensional semantics was something quite different from extensionalist semantics. The first was not reducible to the second semantically speaking. Just as Frege believed that meaning consisted of both sense and reference, so too did Montague. However, just as Frege also believed, Montague thought that sense and reference were systematically related. As I illustrate, interpreting Montague as adopting a different notion of intension can also resolve the apparent problem of distinguishing the difference in meaning between intensional equivalents. It might also enable us to draw a distinction in epistemic logic between an agent having contradictory beliefs and believing contradictions. (shrink)

This paper investigates the linguistic basis for moral non-cognitivism, the view that sentences containing moral predicates do not have truth conditions. It offers a new argument against this view by pointing out that the view is incompatible with our best empirical theories about the grammatical encoding of illocutionary force potentials. Given that my arguments are based on very general assumptions about the relations between the grammar of natural languages and a sentence's illocutionary function, my arguments are broader in scope (...) than the familiar semantic objections to non-cognitivism relating to the so-called Frege-Geach problem: even if a solution to the Frege-Geach problem has been found, my arguments still stand. (shrink)

Emotion is an important issue in Wittgenstein’s philosophy of psychology, yet the literature on this topic is quite small. Wittgenstein’s philosophical investigation is a grammatical one, and he tries to dissolve philosophical problems by using many philosophical methods. In this paper I examine the grammatical rules for some emotion words and the methods he employs in dealing with the philosophical problem of emotion. To facilitate this examination, I first analyze Wittgenstein’s treatment of the problem of sudden understanding, where the (...) class='Hi'>grammar and methods are easier to comprehend. I will then show that the grammar and methods used by Wittgenstein in the cases of sudden understanding and emotion are rather similar. (shrink)