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

The main purpose of the paper is to outline the formal-logical, general theory of language treated as a particular ontological being. The theory itself is called the ontology of language, because it is motivated by the fact that the language plays a special role: it reflects ontology and ontology reflects the world. Language expressions are considered to have a dual ontological status. They are understood as either concretes, that is tokens – material, physical (...) objects, or types – classes of tokens, which are abstract objects. Such a duality is taken into account in the presented logical theory of syntax, semantics and pragmatics. We point to the possibility of building it on two different levels; one which stems from concretes, language tokens of expressions, whereas the other one – from their classes, types conceived as abstract, ideal beings. The aim of this work is not only to outline this theory as taking into account the functional approach to language, with respect to the dual ontological nature of its expressions, but also to show that the logic based on it is ontologically neutral in the sense that it abstracts from accepting some existential assumptions, related with the ontological nature of these linguistic expressions and their extra-linguistic ontological counterparts (objects). (shrink)

The main goal of this paper is to outline a general formal-logical theory of language construed as a particular ontological being. The theory itself will be referred to as an ontology of language, because it is motivated by the fact that language plays a special role: it reflects ontology, and ontology reflects the world. Linguistic expressions will be regarded as having a dual ontological status: they are to be understood as either concreta – i.e. (...) tokens, in the sense of material, physical objects – or types, in the sense of classes of tokens – i.e. abstract objects. Such a duality will then be taken into account in the logical theory of syntax, semantics and pragmatics presented here. We point to the possibility of constructing the latter on two different levels, one stemming from concreta, construed as linguistic tokens of expressions, the other from their classes – namely types, conceived as abstract, ideal beings. The aim of this work is not only to outline such a theory with respect to the dual ontological nature of the expressions of language in terms that take into account a functional approach to language itself, but also to show that the logic based on it is ontologically neutral in the sense that it is abstracted from the level at which certain existential assumptions relating to the ontological nature of these linguistic expressions and their extra-linguistic ontological counterparts (objects) would have to be embraced. (shrink)

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

This book presents a formal and philosophical analysis of language syntax. It refers to some ideas of E.Husserl and G. Frege, to S. Leśniewski's theory of syntactic categories and K. Ajdukiewicz's conception of formal grammar, also to Ch.S. Pierces's distinction between tokens (concrete linguistic entities) and types (ideal linguistic entities) and to A.A. Markov's theory of algorithms. The central aim of the book is - in the spirit of these ideas - to provide both strict yet comprehensive lectures on (...) two axiomatic theories of languages (grammars) irrespective of specific structure of their expression and the notation used in them. The main feature of these theories are that definitions of well-formed expression allow the formulation of algorithms for the examination of syntactic correctness of expressions and that their formalizations are bi-level, in reference to opposite philosophical orientations: nominalistic and idealistic. The theoretical considerations in the book speak in favour of the former. The book contains a translation of the basic contents of the book in Polish "Teorie języków syntaktycznie kategorialnych ("Theories of syntactically categorial languages"), PWN, Warszawa-Wrocław 1985, and extensive Introduction and Final Remarks. In Introduction are discussed the main assumptions, objectives and conditionings of presented theories and intuitive foundations of these theories. Final Remarks are connected with the subject-matter of the book and the ability to build syntax theories in the opposition spirit, because of the Platonic approach to language syntax. -/- . (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 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)

The main objective of the paper is to provide a conceptual apparatus of a general logical theory of language communication. The aim of the paper is to outline a formal-logical theory of language in which the concepts of the phenomenon of language communication and language communication in general are defined and some conditions for their adequacy are formulated. The theory explicates the key notions of contemporary syntax, semantics, and pragmatics. The theory is formalized on two levels: (...) token-level and type-level. As such, it takes into account the dual – token and type – ontological character of linguistic entities. The basic notions of the theory: language communication, meaning and interpretation are introduced on the second, type-level of formalization, and their required prior formalization of some of the notions introduced on the first, token-level; among others, the notion of an act of communication. Owing to the theory, it is possible to address the problems of adequacy of both empirical acts of communication and of language communication in general. All the conditions of adequacy of communication discussed in the presented paper, are valid for one-way communication (sender-recipient); nevertheless, they can also apply to the reverse direction of language communication (recipient-sender). Therefore, they concern the problem of two-way understanding in language communication. (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)

We started from the fact that type theory, in the way it was implemented in IL, makes it costly to deal with nominalization processes. We have also argued that the type hierarchy as such doesn't play any real role in a grammar; the classification it provides for different semantic objects is already contained, in some sense, in the categorial structure of the grammar itself. So, on the basis of a theory of properties (Cocchiarella's HST*) we have tried to build (...) a language (IL*) whose syntax does not contain any explicit typing of expressions. Some of the consequences that this move brings about in the overall organization of the grammar can be summarized as follows:it allows for a simple treatment of infinitives, gerunds, factives and, in general, all those phenomena which might be analyzed as cases of nominalization;it provides a simpler and more constrained semantics than IL, since IL* doesn't go beyond second order, and its non-modal basis is axiomatizable;it suggests that the role of logical form in a theory of grammar could be that of a family of theories of semantic objects;it eliminates the extrinsic limitations of a type hierarchy on the choice of the system of syntactic categories.I think that it is interesting to notice how having an explicit semantic framework helps to provide a sense in which it is legitimate to regard the syntax of a language as ‘autonomous’. (shrink)

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

We show how to encode context-free string grammars, linear context-free tree grammars, and linear context-free rewriting systems as Abstract Categorial Grammars. These three encodings share the same constructs, the only difference being the interpretation of the composition of the production rules. It is interpreted as a first-order operation in the case of context-free string grammars, as a second-order operation in the case of linear context-free tree grammars, and as a third-order operation in the case of linear context-free rewriting systems. (...) This suggest the possibility of defining an Abstract Categorial Hierarchy. (shrink)

This paper sketches or signals some ideas, results, and proposals connected with the theoretical issues related to the categorial approach to language which originated from the first author and which form the basis for further research by the second author. The main aims are the following: 1) to bring into common use some Polish ideas concerned with classical categorial grammar; 2) to take into consideration a universal and simultaneously formal-logical perspective; 3) to consider Peirce's well-known differentiation of (...) linguistic objects, i.e. their twofold ontological status as tokens and types and, according to this, to consider the biaspectual formalization of language dealing with the two main orientations in the controversy between nominalism and Platonism; 4) to characterize language according to Frege's ontological canons, according to which each expression of language corresponds to its denotation. All of these factors make possible not only the syntactic characterization of language but also the introduction of syntactic and semantic definitions of a true expression and its denotation. These notions correspond here to the old classical, but not necessarily standard, understanding of semantic concepts. The paper is divided into four sections: the first contains a brief characterization of the categorial approach to syntax; the second presents two strains of this approach; the third touches on certain general semantic issues connected with the notion of truth; and the last gives some final remarks. (shrink)

The paper contains an overview of the most important results presented in the monograph of the author "Teorie Językow Syntaktycznie-Kategorialnych" ("Theories of Syntactically-Categorial Languages" (in Polish), PWN, Warszawa-Wrocław 1985. In the monograph four axiomatic systems of syntactically-categorial languages are presented. The first two refer to languages of expression-tokens. The others also takes into consideration languages of expression-types. Generally, syntactically-categorial languages are languages built in accordance with principles of the theory of syntactic categories introduced by S. Leśniewski [1929,1930]; (...) they are connected with- the Ajdukiewicz’s work [1935] which was a continuation of Leśniewski’s idea and further developed and popularized in the research on categorial grammars, by Y. Bar-Hillel [1950,1953,1964]. To assign a suitable syntactic category to each word of the vocabulary is the main idea of syntactically-categorial approach to language. Compound expressions are built from the words of the vocabulary and then a suitable syntactic-category is assigned to each of them. A language built in this way should be decidable, which means that there should exist an algorithm for deciding about each expression of it, whether it is well-formed or is syntactically connected . The traditional, originating from Husserl, understanding of the syntactic category confronts some difficulties. This notion is defined by abstraction using the concept of affiliation of two expressions to the same syntactic category. (shrink)

We show how to encode context-free string grammars, linear context-free tree grammars, and linear context-free rewriting systems as Abstract Categorial Grammars. These three encodings share the same constructs, the only difference being the interpretation of the composition of the production rules. It is interpreted as a first-order operation in the case of context-free string grammars, as a second-order operation in the case of linear context-free tree grammars, and as a third-order operation in the case of linear context-free rewriting systems. (...) This suggest the possibility of defining an Abstract Categorial Hierarchy. (shrink)

Even though residuation is at the core of Categorial Grammar (Lambek, 1958), it is not always immediate to realize how standard logical systems like Multi-modal Categorial Type Logics (MCTL) (Moortgat, 1997) actually embody this property. In this paper, we focus on the basic system NL (Lambek, 1961) and its extension with unary modalities NL() (Moortgat, 1996), and we spell things out by means of Display Calculi (DC) (Belnap, 1982; Goré, 1998). The use of structural operators in DC permits (...) a sharp distinction between the core properties we want to impose on the logical system and the way these properties are projected into the logical operators. We will show how we can obtain Lambek residuated triple \, / and of binary operators, and how the operators and introduced by Moortgat (1996) are indeed their unary counterpart.In the second part of the paper we turn to other important algebraic properties which are usually investigated in conjunction with residuation (Birkhoff, 1967): Galois and dual Galois connections. Again, DC let us readily define logical calculi capturing them. We also provide preliminary ideas on how to use these new operators when modeling linguistic phenomena. (shrink)

The Lambek-Grishin calculus is a symmetric version of categorial grammar obtained by augmenting the standard inventory of type-forming operations (product and residual left and right division) with a dual family: coproduct, left and right difference. Interaction between these two families is provided by distributivity laws. These distributivity laws have pleasant invariance properties: stability of interpretations for the Curry-Howard derivational semantics, and structure-preservation at the syntactic end. The move to symmetry thus offers novel ways of reconciling the demands of (...) natural language form and meaning. (shrink)

Among the main concerns of 20th century philosophy was that of the foundations of mathematics. But usually not recognized is the relevance of the choice of a foundational approach to the other main problems of 20th century philosophy, i.e., the logical structure of language, the nature of scientific theories, and the architecture of the mind. The tools used to deal with the difficulties inherent in such problems have largely relied on set theory and its “received view”. There are specific (...) issues, in philosophy of language, epistemology and philosophy of mind, where this dependence turns out to be misleading. The same issues suggest the gain in understanding coming from category theory, which is, therefore, more than just the source of a “non-standard” approach to the foundations of mathematics. But, even so conceived, it is the very notion of what a foundation has to be that is called into question. The philosophical meaning of mathematics is no longer confined to which first principles are assumed and which “ontological” interpretation is given to them in terms of some possibly updated version of logicism, formalism or intuitionism. What is central to any foundational project proper is the role of universal constructions that serve to unify the different branches of mathematics, as already made clear in 1969 by Lawvere. Such universal constructions are best expressed by means of adjoint functors and representability up to isomorphism. In this lies the relevance of a category-theoretic perspective, which leads to wide-ranging consequences. One such is the presence of functorial constraints on the syntax–semantics relationships; another is an intrinsic view of (constructive) logic, as arises in topoi and, subsequently, in more general fibrations. But as soon as theories and their models are described accordingly, a new look at the main problems of 20th century’s philosophy becomes possible. The lack of any satisfactory solution to these problems in a purely logical and set-theoretic setting is the result of too circumscribed an approach, such as a static and punctiform view of objects and their elements, and a misconception of geometry and its historical changes before, during, and after the foundational “crisis”, as if algebraic geometry and synthetic differential geometry – not to mention algebraic topology – were secondary sources for what concerns foundational issues. The objectivity of basic geometrical intuitions also acts against the recent version of structuralism proposed as ‘the’ philosophy of category theory. On the other hand, the need for a consistent and adequate conceptual framework in facing the difficulties met by pre-categorical theories of language and scientific knowledge not only provides the basic concepts of category theory with specific applications but also suggests further directions for their development (e.g., in approaching the foundations of physics or the mathematical models in the cognitive sciences). This ‘virtuous’ circle is by now largely admitted in theoretical computer science; the time is ripe to realise that the same holds for classical topics of philosophy. (shrink)

This paper reminds, puts in order, sketches and also initiates some researches from the field of logic and philosophy of language. It lays emphasis on the logical-linguistic and ontological developmental lines originated with Polish researchers. The author discusses two opposite orientations of the former line in the process of formalization of language, called here nominalistic and Platonistic. The paper mentions the author's result (1989; 1991) concerning theoretical equivalence of two axiomatic approaches to language syntax which (...) take into consideration these two different philosophical orientations, respectively. It also introduces certain formal-logical foundations of language semantics, discusses and develops the problem of the syntactic and semantic categorial agreement, i.e. the agreement of the syntactic category of each language expression with the ontological category assigned to the reference of this expression. The author, in particular, gives a solution to this problem for quantifiers. (shrink)

In the dialogue of scientists and theologians, participants experienced differences in linguistic usage of the various disciplines, for example different concepts, grammatical rules, characteristic terminology, specific phrases, and expressions. A fascinating subject of this dialogue concerned God’s agency in human history within space-time, where the concepts of ‘God’ and ‘divine agency’ were unusual. In the church tradition, believers learned to use these concepts using biblical training with narratives such as the Exodus or Babylon stories. But to handle these narratives in (...) historical situations, we need to analyse the concepts of ‘history’ and its ambiguity, and the ‘historical method of explanation’ to answer the question: ‘How does God act in history?’ The central question of this article was: Is history a domain of Divine Agency? It is imperative to pay attention to the specific grammar of religious language and to distinguish it categorically from the computational language of the natural sciences. History as such should be deconstructed into history 1 and history 2. However, religious and technical activities are of different logical types, so we cannot combine them in one conceptual scheme on the same level. Nevertheless, it is conceivable that coherence might be possible at a higher conceptual level. A qualitative method of a critical literature review across disciplines was used and a subsequent contemplative conceptualisation was proposed. Contribution: This article illustrated the difference between religious and scientific concepts to address Divine Agency in history. If reality or the universe can be described as an information-bearing entity in process, and if this is hierarchically structured, then we can imagine God interacting with this hierarchy. (shrink)

In his major work, the Periphyseon, the ninth century Latin philosopher John Scottus Eriugena gives, with the help of what he calls "dialectic", a rational analysis of reality. According to him, dialectic is a science which pertains both to language and reality. Eriugena grounds this position in a realist ontological exegesis of the Aristotelian categories, which are conceived as categories of being. His interpretation tends to transform logical patterns, such as Porphyry's Tree or the doctrine of the categories, (...) into a structure which is both ontological and logical, and to use them as tools for the analysis of the sensible world. The combination of dialectic interpreted as a science of being, capable of expressing truths about the sensible world as well as about discourse, with an ontological interpretation of logical concepts allows Eriugena to develop his metaphysical theory, a strong realism. Eriugena not only supports a theological realism, but also, and principally, an ontological realism, the assertion of the immanent existence of forms. Eriugena claims that genera and species really subsist in the individuals: they are completely and simultaneously present in each of the entities which belong to them. (shrink)

Language in Action demonstrates the viability of mathematical research into the foundations of categorial grammar, a topic at the border between logic and linguistics. Since its initial publication it has become the classic work in the foundations of categorial grammar. A new introduction to this paperback edition updates the open research problems and records relevant results through pointers to the literature. Van Benthem presents the categorial processing of syntax and semantics as a central component in (...) a more general dynamic logic of information flow, in tune with computational developments in artificial intelligence and cognitive science. Using the paradigm of categorial grammar, he describes the substructural logics driving the dynamics of natural language syntax and semantics. This is a general type-theoretic approach that lends itself easily to proof-theoretic and semantic studies in tandem with standard logic. The emphasis is on a broad landscape of substructural categorial logics and their proof-theoretical and semantic peculiarities. This provides a systematic theory for natural language understanding, admitting of significant mathematical results. Moreover, the theory makes possible dynamic interpretations that view natural languages as programming formalisms for various cognitive activities. (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)

Available for the first time in 20 years, here is the Rudolf Carnap's famous principle of tolerance by which everyone is free to mix and match the rules of ...

First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

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

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth-conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the `logicality of language', accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter-examples consisting of acceptable tautologies and contradictions, the logicality of language (...) is often paired with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is `blind' to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non-classical---indeed quite exotic---kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis-a-vis its open class terms and employs a deductive system that is basically classical. (shrink)

We introduce _Interleave-Disjunction-Lock parallel multiple context-free grammars_ (IDL-PMCFG), a novel grammar formalism designed to describe the syntax of free word order languages that allow for extensive interleaving of grammatical constituents. Though interleaved constituents, and especially the so-called hyperbaton, are common in several ancient (Classical Latin and Greek, Sanskrit...) and modern (Hungarian, Finnish...) languages, these syntactic structures are often difficult to express in existing formalisms. The IDL-PMCFG formalism combines Seki et al.’s parallel multiple context-free grammars (PMCFG) with Nederhof and Satta’s IDL (...) expressions. We define the semantics of IDL-PMCFGs and study their expressivity, proving that IDL-PMCFG extends both PMCFG and IDL-CFG (context-free grammars equipped with IDL expressions) and that IDL-PMCFG parsing is \(\mathrm {NP}\) -hard. We then introduce COMPĀ, a programming language extending Ranta’s Grammatical Framework (GF) and built as a high-level front-end formalism to IDL-PMCFG for practical grammar development. We present a parsing algorithm for IDL-PMCFG inspired by earlier Earley-style PMCFG parsing algorithms and Nederhof and Satta’s IDL graphs and give a worst-case estimate of its complexity as a function of several metrics on IDL expressions, the size of the input and a new notion of the _G_-density of a language. (shrink)

This paper proposes that the meanings of some natural language expressions should be thought of as functions on their own continuations. Continuations are a well-established analytic tool in the theory of programming language semantics; in brief, a continuation is the entire default future of a computation. I show how a continuation-based grammar can unify several aspects of natural language quantification in a new way: merely stating the truth conditions for quantificational expressions in terms of continuations automatically accounts (...) for scope displacement and scope ambiguity. To prove this claim, I exhibit a simple finite context-free grammar with a strictly compositional semantics in which quantificational NPs are interpreted in situ but take semantic scope over larger constituents. There is no Quantifier Raising (nor any use of a level of Logical Form distinct from overt syntax), no Cooper Storage (or similar mechanisms used in many recent HPSG, Categorial, or Type-logical treatments), and no need for type-shifting (as in Hendriks' Flexible Types account). Continuations also provide a natural account of generalized coordination that does not require either type-shifting or type polymorphism. Compositionality issues are discussed in some detail. (shrink)

The subject matter of this work covers the issues or problems listed below: * The problem of the ontological status of language signs and a more general philosophical problem connected with it: * What is language as a system of signs, which – on the one hand – serves to: 1) represent our knowledge about the reality which is being recognized, and, on the other one to: 2) a. explore and better cognize or discover it, b. describe (...) it in an adequate manner, and c. enable users to make interpersonal communication? All the pragmatic functions of language require carrying out its logical-philosophical analysis, and this means both regarding its syntax and semantics. Such an analysis is not possible without determining the following: How are signs perceived and what is their ontological nature in the so-called functional approach towards logical semiotics of natural language, founded on two ways of their usage: either as signs which we use in concrete situational or situational-language contexts or as isolated signs detached from such contexts? In the first case, they are language tokens (concretes), existing material objects perceived through the senses, with a fixed temporal-spatial location, in the other one – they are non-concretes and as such (as the majority of researchers in the field of philosophy and linguistics accept) – abstract objects, language types. The type-token distinction (differentiation between abstract and concrete) has already acquired a certain status in contemporary philosophy and is of considerable importance to metaphysics and epistemology in particular. Indeed, it is most often illustrated with reference to language signs (words, expressions) as the distinction type/token of a sign, introduced into semiotics by Ch. S. Peirce. In the semiotic analysis, and also in the linguistic one, there are used both types and tokens of signs, however, often without paying due attention to when it is said about types and when about tokens. This is related to the problems which are still considered by the philosophy of language: What is the type? What is the token (specimen)? What are the mutual relations between the type and the token? Disputes concerning providing answers to these questions are related to existential issues dealing with the ontological status of these language signs and two currents within the ontology of language, remaining under the influence of two fundamental concepts formed in the debate: nominalism and realism. The author presents in brief different stances on the above-mentioned issues or problems, as well as argues that from the logical point of view: 1) working out any theoretical conception of language must take into account its bi-aspectual characteristics: as a language of expression-tokens and as a language of expression-types; 2) advocating either of the standpoints: (a) types exist independent of their tokens, or (b) it is not so, can be omitted in syntactic considerations on language; 3) mutual relations between sign-tokens differ from the mutual relations between sign-types, yet; 4) determination of the mutual relation between sign-types and sign-tokens depends on accepting either of the standpoints: (a) or (b); 5) semantic or semantic-pragmatic concepts of language, such as meaning, denotation, interpretation should be defined exclusively for types of tokens, but their definitions require certain reference to the functions which sign-tokens perform in the language (words, expressions), or to relations between them; 6) The concept of an act of language communication differs from general language communication: the first one is defined by means of sign-tokens, whereas the other one – with the use of sign-types. (shrink)

Bursill-Hall, writing as a linguist, has produced a book of interest and use to all students of philosophy who are intrigued either by medieval or by modern theories of language, or by both. Bursill-Hall’s book is the first full-length presentation of this material in English. After a brief, not to say, desultory, survey of the history of linguistic theory from the Greeks until the appearance of the so-called Modistae, the author discusses the descriptive technique and the terminology of the (...) speculative grammarians. The third chapter, "Metalanguage," offers a valuable analysis of the basic "elements" and "categories" of modistic grammar. One especially striking feature of this chapter is the author’s account of the sequence of operations through which a vox, or meaningless sound, becomes, first, a dictio, or sound capable of signifying, and, then, a pars orationis, a part of speech or word-class, capable of entering into syntactic relations with other partes orationis so as to produce a meaningful and well-formed sentence. The next four chapters form the core of the work. Taking as his primary sources the Belgian Siger of Courtrai, the German Thomas of Erfurt, and the Dane Martin of Dacia, Bursill-Hall expounds in detail the modistic treatments of the essential, specific and accidental features of the declinable and indeclinable word-classes and the modistic theories of syntax. An evaluative conclusion comparing modistic and modern linguistic theory is followed by a series of appendices in which detailed diagrams make visible the definitions and interrelations of the various modes and partes orationis in the texts of Siger, Thomas and Martin. The work includes a useful bibliography, a table of passages cited from medieval authors, an index of examples cited in the main text, an index of names and an index of subjects. The exposition and the apparatus combine to yield a volume of quickly apparent value for both reference and research. This said, and with due regard for the fact that the author is writing as a professional linguist, it must be said that a certain sense of philosophical disappointment cannot be suppressed. Looked at linguistically, speculative grammar is an attempt to inventory and describe those features of word-classes in virtue of which an element of language is potentially expressive of meaning and capable of entering into syntactic relations with other significant elements. Looked at philosophically, speculative grammar is a theory of the intelligibility of linguistic expressions—cp. Thomas of Erfurt, #225: the end served by a complete expression is "to express a composite mental concept and to generate a perfect understanding in the mind of the hearer." Intelligibility is seen in this theory as the product of the concurrence or interpenetration of the ontological constitution of extramental realities, the apprehensive powers of the intellect and the manners of signifying conferred by the intellect on the linguistic medium in accordance with its appreciation of extramental reality. The author is certainly aware of the philosophical matrix of the grammatical theories he rehearses. At the same time, he seems to give these underlying philosophical considerations rather short shrift. To say, as he does, that the Modistae "seem to have been unaware of... the fact that their theories were in fact a projection into reality of the basic patterns of the language in which they were expressed," is surely not to do justice to the complex ontological, epistemological and semantic issues informing their work. Similarly, a statement that comparison between modistic and modern theories faces the difficulty that "the medieval vision of man in his environment and the metaphysical theories of the world are entirely different from those of today" is, at best, uninformative and, at worst, a piece of vaporous historicism. At other times, it is not entirely clear what interpretation the author is recommending. This is especially true of his remarks about the inactive character of the modus intelligendi. While the Modistae were, after all, doing grammar and not epistemology or, should one say, rational psychology, still, their grammatical theory rests on their insistence that the forms of language are linked appropriately to the forms of being and it is the modus intelligendi activus that is responsible both for the possibility and the success of this linkage. This volume is well-produced and almost completely free of misprints. However, the obnoxiously high price asked by the publisher is not justified either by the quality of production or by the inclusion of numerous Latin citations; it only serves, I fear, as a barrier to the wide circulation the book deserves.—D. L. (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)

Ernst Cassirer’s focus on the expressive function of language should be read, not in the context of Carnap’s debate with Heidegger, but in the context of the earlier work of Chajim (Heymann) Steinthal. Steinthal distinguishes the expressive form of language, when language is studied as a natural phenomenon, from language as a logical, inferential system. Steinthal argues that language always can be expressed in terms of logical inference. Thus, he would disagree with Heidegger, just as (...) Carnap does. But, Steinthal insists, that is not to say that language, as a natural phenomenon, is exhausted by logic or by the place of terms or relations in inferential structures. Steinthal’s “form” of linguistic “expression” is an early version of Cassirer’s “expressive function” for language. The expressive function, then, should not be seen to place a barrier between Carnap and Cassirer. Rather, Steinthal and Cassirer deal with a question that, as far as I know, Carnap does not address directly: how should philosophers analyze human language as a natural phenomenon, as a part of our expression as animals? And how does that expression determine the semantic categories, kind terms, and other structures that develop within, and characterize, human language itself? (shrink)

Bursill-Hall, writing as a linguist, has produced a book of interest and use to all students of philosophy who are intrigued either by medieval or by modern theories of language, or by both. Bursill-Hall’s book is the first full-length presentation of this material in English. After a brief, not to say, desultory, survey of the history of linguistic theory from the Greeks until the appearance of the so-called Modistae, the author discusses the descriptive technique and the terminology of the (...) speculative grammarians. The third chapter, "Metalanguage," offers a valuable analysis of the basic "elements" and "categories" of modistic grammar. One especially striking feature of this chapter is the author’s account of the sequence of operations through which a vox, or meaningless sound, becomes, first, a dictio, or sound capable of signifying, and, then, a pars orationis, a part of speech or word-class, capable of entering into syntactic relations with other partes orationis so as to produce a meaningful and well-formed sentence. The next four chapters form the core of the work. Taking as his primary sources the Belgian Siger of Courtrai, the German Thomas of Erfurt, and the Dane Martin of Dacia, Bursill-Hall expounds in detail the modistic treatments of the essential, specific and accidental features of the declinable and indeclinable word-classes and the modistic theories of syntax. An evaluative conclusion comparing modistic and modern linguistic theory is followed by a series of appendices in which detailed diagrams make visible the definitions and interrelations of the various modes and partes orationis in the texts of Siger, Thomas and Martin. The work includes a useful bibliography, a table of passages cited from medieval authors, an index of examples cited in the main text, an index of names and an index of subjects. The exposition and the apparatus combine to yield a volume of quickly apparent value for both reference and research. This said, and with due regard for the fact that the author is writing as a professional linguist, it must be said that a certain sense of philosophical disappointment cannot be suppressed. Looked at linguistically, speculative grammar is an attempt to inventory and describe those features of word-classes in virtue of which an element of language is potentially expressive of meaning and capable of entering into syntactic relations with other significant elements. Looked at philosophically, speculative grammar is a theory of the intelligibility of linguistic expressions—cp. Thomas of Erfurt, #225: the end served by a complete expression is "to express a composite mental concept and to generate a perfect understanding in the mind of the hearer." Intelligibility is seen in this theory as the product of the concurrence or interpenetration of the ontological constitution of extramental realities, the apprehensive powers of the intellect and the manners of signifying conferred by the intellect on the linguistic medium in accordance with its appreciation of extramental reality. The author is certainly aware of the philosophical matrix of the grammatical theories he rehearses. At the same time, he seems to give these underlying philosophical considerations rather short shrift. To say, as he does, that the Modistae "seem to have been unaware of... the fact that their theories were in fact a projection into reality of the basic patterns of the language in which they were expressed," is surely not to do justice to the complex ontological, epistemological and semantic issues informing their work. Similarly, a statement that comparison between modistic and modern theories faces the difficulty that "the medieval vision of man in his environment and the metaphysical theories of the world are entirely different from those of today" is, at best, uninformative and, at worst, a piece of vaporous historicism. At other times, it is not entirely clear what interpretation the author is recommending. This is especially true of his remarks about the inactive character of the modus intelligendi. While the Modistae were, after all, doing grammar and not epistemology or, should one say, rational psychology, still, their grammatical theory rests on their insistence that the forms of language are linked appropriately to the forms of being and it is the modus intelligendi activus that is responsible both for the possibility and the success of this linkage. This volume is well-produced and almost completely free of misprints. However, the obnoxiously high price asked by the publisher is not justified either by the quality of production or by the inclusion of numerous Latin citations; it only serves, I fear, as a barrier to the wide circulation the book deserves.—D. L. (shrink)

This book defends a version of linguistic idealism, the thesis that the world is a product of language. In the course of defending this radical thesis, Gaskin addresses a wide range of topics in contemporary metaphysics, philosophy of language, philosophical logic, and syntax theory. Starting from the context and compositionality principles, and the idea of a systematic theory of meaning in the Tarski-Davidson tradition, Gaskin argues that the sentence is the primary unit of linguistic meaning, and that (...) the main aspects of meaning, sense and reference, are themselves theoretical posits. Ontology, which is correlative with reference, emerges as language-driven. This linguistic idealism is combined with a realism that accepts the objectivity of science, and it is accordingly distinguished from empirical pragmatism. Gaskin contends that there is a basic metaphysical level at which everything is expressible in language; but the vindication of linguistic idealism is nuanced inasmuch as there is also a derived level, asymmetrically dependant on the basic level, at which reality can break free of language and reach into the realms of the unnameable and indescribable. Language and World will be of interest to scholars and advanced students working in metaphysics, philosophy of language, and linguistics. (shrink)

The papers collected in this volume exemplify some of the trends in current approaches to logic, language and computation. Written by authors with varied academic backgrounds, the contributions are intended for an interdisciplinary audience. The first part of this volume addresses issues relevant for multi-agent systems: reasoning with incomplete information, reasoning about knowledge and beliefs, and reasoning about games. Proofs as formal objects form the subject of Part II. Topics covered include: contributions on logical frameworks, linear logic, (...) and different approaches to formalized reasoning. Part III focuses on representations and formal methods in linguistic theory, addressing the areas of comparative and temporal expressions, modal subordination, and compositionality. (shrink)

The main purpose of Alexander’s book is "to lay a foundation for modes of philosophical thinking and many of the traditional problems of philosophy by an examination of the manner in which ideas are constructed." Toward this end, the book is divided into three parts. The first part deals mainly with language and its constituent questions. The mechanics of communication are presented including a detailed breakdown of its elements and the reasons for its success and failure. With respect to (...) the study of language, Alexander explores such questions as the learning of a language, the study of grammar, the nature of words, and the relation of thought to language. In his section on symbols, the author considers the nature of symbols, the relationship of symbols to their referents, and the distinction between and uses of signs and symbols. The fourth major topic in this section, the concept of meaning, centers around the kinds of referential meaning and the relation of existential variability to class relations. Views mentioned range from Plato to Chomsky, Piaget, and Austin. This first part serves as a backdrop to the more central part dealing with processes of thinking. Analyzed are three basic processes: abstracting, imagining, and generalizing. Three varieties of abstractions: qualities, relations, and functions, are deemed sufficiently important to warrant sustained treatment. Imagining, "the altering of abstractions," is of primary importance in the understanding of the nature of thought. His account of the process of generalizing explicates, among other issues, the concept of universals and their existential status. This section is neatly tied together by an examination of the interrelationships between these three processes in which he appropriately draws upon the major figures of Greek and modern philosophy. Throughout the presentation, the ways in which these processes are expressed linguistically is never lost sight of. The final part of the book, dealing with the nature of rational inquiry, centers upon the concepts of defining, inferring, and systematizing. While the book was designed as an introductory text, its usefulness is certainly not limited to this purpose.—B. G. H. (shrink)

When Russell argued for his ontological convictions, for instance that there are negative facts or that there are universals, he expressed himself in English. But Wittgenstein must have noticed that from the point of view of Russell's ideal language these ontological statements appear to be pseudo-propositions. He believed therefore that what these statements pretend to say, could not really be said but only shown. Carnap discovered a way out of this mutism: what in the material mode of (...) speech of the object language looks like a pseudo-proposition can be translated into a perfectly meaningful proposition in the formal mode of speech (in the metalinguistic mode of speech of the logical syntax of language). But is this ascent into the metalanguage necessary? Taking advantage of Lésniewski's logical system there exists another way outwe can expand the number of categories of our ideal language. But Leniewski's formulas raise another profound problem, the problem of semantical muteness (cf. W. G. Lycan Semantic Competence and Funny Functors Monist 64 (1979), 209–222). (shrink)

For the most part, the papers collected in this volume stern from presentations given at a conference held in Tucson over the weekend of May 31 through June 2, 1985. We wish to record our gratitude to the participants in that conference, as well as to the National Science Foundation and the University of Arizona SBS Research Institute for their financial support. The advice we received from Susan Steele on organizational matters proved invaluable and had many felicitous consequences for the (...) success of the con­ ference. We also would like to thank the staff of the Departments of Linguistics of the University of Arizona and the University of Massachusetts at Amherst for their help, as weIl as a number of individuals, including Lin Hall, Kathy Todd, and Jiazhen Hu, Sandra Fulmer, Maria Sandoval, Natsuko Tsujimura, Stuart Davis, Mark Lewis, Robin Schafer, Shi Zhang, Olivia Oehrle-Steele, and Paul Saka. Finally, we would like to express our gratitude to Martin Scrivener, our editor, for his patience and his encouragement. Vll INTRODUCTION The term 'categorial grammar' was introduced by Bar-Rillel as a handy way of grouping together some of his own earlier work and the work of the Polish logicians and philosophers Lesniewski and Ajdukiewicz, in contrast to approaches to linguistic analysis based on phrase structure grammars. (shrink)

The two-fold ontological character of linguistic objects revealed due to the distinction between “type” and “token” introduced by Ch. S. Peirce can be a base of the two-fold, both theoretical and axiomatic, approach to the language. Referring to some ideas included in A. A. Markov’s work [1954] (in Russian) on Theory of Algorithms and in some earlier papers of the author, the problem of formalization of the concrete and abstract words theories raised by J. Słupecki was solved. The (...) construction of the theories presented here has two levels. The axiomatic theory of label-tokens: material, physical linguistic objects, constitutes the first one. Label-types, according to the literature of the subject, are defined on the other level as equivalence classes of equiform label-tokens. Assuming the opposite point of view, one can accept that theory of label-types: abstract labels, formalized on the first level, in which it is possible to define the notion of label-token as well as the derivative notions on the second level, should become the basis of formalization of the theory of linguistic expressions and the theory of language in general. The axioms and definitions of both theories of labels: T k and T p representing the other approach to the ontology of language are included in the sequel of the abstract. The foundations of the theory of labels T k in which the primary assumption as to the label-types existence is superfluous have been referred on the basis of the author's monography "Teorie Języków Syntaktycznie Kategorialnych" ( "The Theories of Syntactically Categorial Languages"), PWN, Warszawa-Wrocław 1985. The basis of the theory of labels T p which takes into account the other position has to be presented here for the first time. Some extended ideas of the paper will also be presented in author's paper "Logiczne podstawy ontologii składni Języka" ("Logical foundations of language syntax ontology), Studia Filozoficzne 6-7 (271-272), (1988), pp. 263-284. (shrink)

Already hailed as a masterpiece, Foundations of Language offers a brilliant overhaul of the last thirty-five years of research in generative linguistics and related fields. "Few books really deserve the cliché 'this should be read by every researcher in the field'," writes Steven Pinker, author of The Language Instinct, "but Ray Jackendoff's Foundations of Language does." Foundations of Language offers a radically new understanding of how language, the brain, and perception intermesh. The book renews the (...) promise of early generative linguistics: that language can be a valuable entrée into understanding the human mind and brain. The approach is remarkably interdisciplinary. Behind its innovations is Jackendoff's fundamental proposal that the creativity of language derives from multiple parallel generative systems linked by interface components. This shift in basic architecture makes possible a radical reconception of mental grammar and how it is learned. As a consequence, Jackendoff is able to reintegrate linguistics with philosophy of mind, cognitive and developmental psychology, evolutionary biology, neuroscience, and computational linguistics. Among the major topics treated are language processing, the relation of language to perception, the innateness of language, and the evolution of the language capacity, as well as more standard issues in linguistic theory such as the roles of syntax and the lexicon. In addition, Jackendoff offers a sophisticated theory of semantics that incorporates insights from philosophy of language, logic and formal semantics, lexical semantics of various stripes, cognitive grammar, psycholinguistic and neurolinguistic approaches, and the author's own conceptual semantics. (shrink)

A discussion of the relation of dialectical transitions in Hegel's speculative logic to changes in categories and grammar in the empirical historical languages.

In On the Genesis of Thought and Language, linguist Alexey Koshelev explores fundamental questions of how human concepts arise in a child, why concepts appear in a child before words, the genesis of language, and why there are so many languages. Chapter One introduces the fundamental dichotomy "visual (exogenous) vs. functional (endogenous)" cognitive units; these units are used to give non-verbal definitions of mental representations of various objects, actions, and situations. In particular, definitions of such concepts as GLASS, (...) CHAIR, BANANA, TREE, LAKE, RUN, and some others are given. Chapter Two discusses how children form concepts, hierarchical relationships, and propositions (conceptual 'utterances'). It is shown that the initial units of the child's representation of the world are pre-conceptual cognitive units--mental representations of whole situations. In the course of two consecutive cycles in the child's cognitive development, these units transform into (a) primary notions--object and motor concepts, and (b) binary role relationships. Together, they constitute the elementary language of thought which, in the process of thinking, is used to build conceptual structures--propositions. It is further demonstrated that, immediately after the formation of thought, the child begins to develop his native language in which concrete and motor concepts become initial meanings of nouns and verbs, while propositions become the meanings of the child's expressions. The chapter concludes with a contrastive analysis of the proposed approach and Aristotle's and Chomsky's views on thought and language. Chapter Three analyzes how a community's culture affects its language. It is demonstrated that the progress of a community, the main constituent of the civilizational component of its culture, enhances the development of the content component of language by extending the range of its lexical and grammatical meanings. In the context of this analysis, Daniel Everett's (2008) hypothesis that culture affects language structure is discussed. In the subsequent sections, models of the development of human and social activity are offered. These models comprise three components: Activity (main component), Thought, and Language (auxiliary components that ensure the successful realization of activities). The models are illustrated with examples of some concrete societies. (shrink)

This volumes aim is to provide an introduction to Carnaps book from a historical and philosophical perspective, each chapter focusing on one specific issue. The book will be of interest not only to Carnap scholars but to all those interested in the history of analytical philosophy.

A traditional view maintains that thought, while expressed in language, is non-linguistic in nature and occurs in non-linguistic beings as well. I assess this view against current theories of the evolutionary design of human grammar. I argue that even if some forms of human thought are shared with non-human animals, a residue remains that characterizes a unique way in which human thought is organized as a system. I explore the hypothesis that the cause of this difference is a grammatical (...) way of structuring semantic information, and I present evidence that the organization of grammar precisely reflects the organization of a specific mode of thought apparently distinctive of humans. Since there appears to be no known non-grammatical structuring principle for the relevant mode of thought, I suggest that grammar is that principle, with no independent ?Language of Thought? needed. (shrink)

The Compendium of Grammar of the Hebrew Language (CGH) is arguably Spinoza's least known work. The CGH appears as an annex at the very end of the first volume, and with an independent pagination from the rest of the volume. Spinoza expresses twice in CGH the need to write a grammar of the Hebrew language, and not of the language of Scripture, as presumably all earlier grammarians of Hebrew had done. According to Jelles, the CGH comprised two (...) parts: one on “etymology,” and one on syntax. Spinoza discusses the Masoretic system of signs that indicates the vocalization, intonation, punctuation, and cantillation of the biblical text. The main question that scholars have pondered regarding CGH is its relation to Spinoza's philosophy. The affirmation that all Hebrew words are basically nouns has led some scholars to posit a relationship between Spinoza's monistic ontology and his self‐professed noun‐based grammar of Hebrew. (shrink)

The main designs of modern theories of syntax assume a process of syntagmatic organization. However, research on first language acquisition leaves no doubt that the structured combination of single lexical items cannot begin until a critical mass of lexical items has been acquired such that the lexicon is structured hierarchically on the basis of hierarchical feature bundling. Independent of a decision between the main views about the design of a proto language (the grammarless “Holophrastic view”,Arbib & Bickerton 2010: (...) 1,Bickerton 2014) or the ‘Compositional View’ as taken byRizzi (2010),Carstairs-McCarthy (2010), and others. What seems to be the minimal offset for language is the existence of grammatical categories like verb and noun, on the one hand, and, on the other hand, functional categories as needed for the expression of all kinds of agreement between the distinct categories to form recursively structured complexes. I follow the different stages of complexification asking whether there is paradigmatic next to syntagmatic organization and what its added value is for the evolution of grammar. The conclusion will be that paradigmatics is an indismissible part of the organization of early language in that it structures the lexicon so as to make primary and secondary syntactic merge possible and, consequently, is also a prerequisite for movement. The guiding idea of this position is Roman Jakobson’s insistence on the twofold organization of language and grammar. The two organizational designs, syntagmatics and paradigmatics, are manifest within each module: in the phonetic, the morphological, the syntactic, the semantic, and the pragmatic form (consider Jakobson’s1971a,breiterated argument). (shrink)

The syntax of Frege's scientific language is commonly taken to be characterized by two oddities: the representation of the intended illocutionary role of sentences by a special sign, the judgement-stroke, and the treatment of sentences as a species of singular terms. In this paper, an alternative view is defended. The main theses are: the syntax of Frege's scientific language aims at an explication of the logical form of judgements; the judgement-stroke is, therefore, a truth-operator, not a pragmatic operator; (...) in Frege's first system, '⊦ Δ' expresses that the circumstance Δ is a fact, and in his second system that the truth-value - Δ is the True; in both systems, the judgement-stroke is construed as a sign sui generis, not as a genuine predicate; its counterpart in natural language is the syntactic "form of assertoric sentences", not the truth-predicate; neither in Frege's first nor in his second system sentences are treated as singular terms. (shrink)