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)

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)

In this small book logician and mathematician Jens Erik Fenstad addresses some of the most important foundational questions of linguistics: What should a theory of meaning look like and how might we provide the missing link between meaning theory and our knowledge of how the brain works? The author’s answer is twofold. On the one hand, he suggests that logical semantics in the Montague tradition and other broadly conceived symbolic approaches do not suffice. On the other hand, he does (...) not argue that the logical approach should be discarded; instead, he opts for a methodological pluralism in which symbolic approaches to meaning are combined with geo- metric ones such as Conceptual Spaces [9] and discusses ways in which these geometric accounts could be hooked up with connectionist frameworks and dynamic systems approaches in neurophysiology. (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 first aim of the paper is to show that under certain conditions generative syntax can be made suitable for Montague semantics, based on his type logic. One of the conditions is to make branching in the so-called X-bar syntax strictly binary, This makes it possible to provide an adequate semantics for Noun Phrases by taking them as referring to sets of collections of sets of entities ( type <ett,t>) rather than to sets of sets of entities (ett).

I believe that the validity of [the Fregean principle of compositionality] is beyond doubt and thus any grammar, whether organized to reflect [it] directly or not, may ultimately be required to satisfy it. One of the systems that are precisely designed to reflect [it] is Montague Grammar, where, technical details aside, it is realized as follows: (2) a. Sentences are composed by putting their constituents together step by step, with no subsequent rearrangement; b. Not only each lexical (...) item but also each rule of composition is assigned an explicit interpretation; c. Interpretation is given in terms of model theory: the denotation conditions of expressions are defined relative to a mathematical construct which, loosely speaking, models the relevant aspects of the world talked about. (shrink)

The paper briefly surveys the sentential proof-theoretic semantics for fragment of English. Then, appealing to a version of Frege’s context-principle (specified to fit type-logical grammar), a method is presented for deriving proof-theoretic meanings for sub-sentential phrases, down to lexical units (words). The sentential meaning is decomposed according to the function-argument structure as determined by the type-logical grammar. In doing so, the paper presents a novel proof-theoretic interpretation of simple type, replacing Montague’s model-theoretic type interpretation (in arbitrary Henkin (...) models). The domains of derivations are collections of derivations in the associated “dedicated” natural-deduction proof-system, and functions therein (with no appeal to models, truth-values and elements of a domain). The compositionality of the semantics is analyzed. (shrink)

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

This paper embeds the core part of Discourse Representation Theory in the classical theory of types plus a few simple axioms that allow the theory to express key facts about variables and assignments on the object level of the logic. It is shown how the embedding can be used to combine core analyses of natural language phenomena in Discourse Representation Theory with analyses that can be obtained in Montague Semantics.

Book synopsis: Our mental lives are entwined with the world. There are worldly things that we have beliefs about and things in the world we desire to have happen. We find some things fearsome and others likable. The puzzle of intentionality — how it is that our minds make contact with the world — is one of the oldest and most vexed issues facing philosophers. Many contemporary philosophers and cognitive scientists have been attracted to the idea that our minds represent (...) the world. This book explores an important assumption about representation, namely, that when we represent things in the world, we represent them as having properties, and in this way our representations have "propositional" structure. The contributors examine what the commitment to propositionalism amounts to; illuminate why one might find the thesis attractive ; and consider ways in which one might depart from propositionalism. The hope is that this will lead towards a more complete understanding of how the mind and world are connected. (shrink)

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

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

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

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.

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)

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)

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)

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)

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.

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)

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

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)

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)

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)

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)

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)

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

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)

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

Review of G.P. Baker and P.M.S. Hacker's Wittgenstein: Rules, Grammar and Necessity, the second volume of their analytical commentary on Wittgenstein's Philosophical Investigations.

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)

Different opinions about the simplicity of God may be connected with different understandings of how abstract terms are used to name the properties which are affirmed of a being. If these terms are taken to signify parts of that being, this being is not a simple one. Thomas Aquinas, who attributes essence, existence and perfections to God, nevertheless thinks that these are not different parts of God. When essence, existence and perfections are attributed to God, they all denominate the same, (...) the Being of the first cause. For Aquinas, this is a consequence of his way of introducing the language about God by basing it upon the philosophical ways leading to God as first cause. Awareness of this connection between Divine attributes and the arguments for God’s existence is crucial for an adequate understanding of Aquinas’ position. (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)

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

The predominant interpretation of Wittgenstein's later remarks on religion takes him to hold that all religious utterances are non-scientific, and to hold that the way to show that religious utterances are non-scientific is to identify and characterise the grammatical rules governing their use. This paper claims that though this does capture one strand of Wittgenstein's later thought on religion, there is an alternative strand of that thought which is quite different and more nuanced. In this alternative strand Wittgenstein stresses that (...) religious utterances and beliefs can come in both scientific and non-scientific varieties. More than that, he claims that the grammar of religious utterances, and the logic of religious beliefs, is often complex – in that individual utterances and beliefs will often be mixed between, indeterminate between, or fluid between being scientific and being non-scientific. This complexity means that it will often be unhelpful to try to pin down one particular grammar or logic for a given utterance or belief. Wittgenstein therefore suggests a new method of grammatical and logical investigation, which is less likely to distort complex grammars or logics by being overly simplistic or rigid. This method is to use simple examples of utterances and beliefs as objects of comparison, so as to illuminate the different aspects of the more complex actual utterances and beliefs under examination. This alternative strand in Wittgenstein's later remarks on religion is a manifestation of a broader strand of Wittgenstein's later thought as a whole, which was first described by Friedrich Waismann, and later developed by Gordon Baker and Oskari Kuusela. The paper concludes by providing examples of religious beliefs which are logically mixed, indeterminate, and fluid, and showing how simple objects of comparison can be used to illuminate them. (shrink)

Proposition and sentence are two separate entities indicating their specific purposes, definitions and problems. A proposition is a logical entity. A proposition asserts that something is or not the case, any proposition may be affirmed or denied, all proportions are either true (1’s) or false (0’s). All proportions are sentences but all sentences are not propositions. Propositions are factual contains three terms: subject, predicate and copula and are always in indicative or declarative mood. While sentence is a grammatical entity, a (...) unit of language that expresses a complete thought; a sentence may express a proposition, but is distinct from the proposition it may be used to express: categories, declarative sentences, exclamatory, imperative and interrogative sentences. Not all sentences are propositions, propositions express sentence. Sentence is a proposition only in condition when it bears truth values i.e. true or false. We use English sentences governed by imprecise rule to state the precise rules of proposition. In logic we use sentence as logical entity having propositional function but grammatical sentences are different from logical sentences while the former are having only two divisions namely subject and predicate and may express wishes, orders, surprise or facts and also have multiple subjects and predicates and the latter must be in a propositional form which states quantity of the subject and the quality of the proposition and multiple subjects and multiple predicate make the proposition multiple. (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 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)