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)

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)

Proof-theoretic models of grammar are based on the view that an explicit characterization of a language comes in the form of the recursive enumeration of strings in that language. That recur-sive enumeration is carried out by a procedure which strongly generates a set of structural de-scriptions Σ and weakly generates a set of strings S; a grammar is thus a function that pairs an element of Σ with elements of S. Structural descriptions are obtained by means of Context-Free phrase (...) structure rules or via recursive combinatorics and structure is assumed to be uniform: binary branching trees all the way down. In this work we will analyse natural language constructions for which such a rigid conception of phrase structure is descriptively inadequate, and pro-pose a solution for the problem of phrase structure grammars assigning too much or too little structure to natural language strings: we propose that the grammar can oscillate between levels of computational complexity in local domains, which correspond to elementary trees in a lexicalised Tree Adjoining Grammar. (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)

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)

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)

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

Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the (...) decision problem for the generated languages is generally unsolvable. With this in mind, I provide here a short primer of the syntax of WGs, which includes syntactic restrictions that guarantee decidability for the corresponding generated languages. (shrink)

Quantification, Negation, and Focus: Challenges at the Conceptual-Intentional Semantic Interface Tista Bagchi National Institute of Science, Technology, and Development Studies (NISTADS) and the University of Delhi Since the proposal of Logical Form (LF) was put forward by Robert May in his 1977 MIT doctoral dissertation and was subsequently adopted into the overall architecture of language as conceived under Government-Binding Theory (Chomsky 1981), there has been a steady research effort to determine the nature of LF in language in light of structurally (...) diverse languages around the world, which has ultimately contributed to the reinterpretation of LF as a Conceptual-Intentional (C-I) interface level between the computational syntactic component of the faculty of language and one or more interpretive faculties of the human mind. While this has opened up further possibilities of research in phenomena such as quantifier scope and scope interactions between negation, quantification, and focus, it has also given rise to a few real challenges to linguistic theory as well. Some of these are: (i) the split between lexical meaning – a matter supposedly belonging to the phase-wise selection of lexical arrays – and issues of semantic interpretation that arise purely from binding and scope phenomena (Mukherji 2010); (ii) partially relatedly, the level at which theta role assignment can be argued to take place, an issue that is taken up by me in Bagchi (2007); and (iii) how supposedly “pure” scopal phenomena relating to quantifiers, negation, and emphasizing expressions such as only and even (comparable to, e.g., Urdu/Hindi hii and bhii, Bangla –i and –o) also have dimensions of both focus and discourse reference. While recognizing all of these challenges, this talk aims to highlight particularly challenge (iii), both in terms of scholarship in the past and for the rich prospects for research on languages of south Asia with the semantics of quantification, negation, and focus in view. The scholarship of the past that I seek to relate this issue to is where, parallel to (and largely independently of) the research on LF that had been happening, Barwise and Cooper were developing their influential view of noun phrases as generalized quantifiers, culminating in their key 1981 article “Generalized Quantifiers and Natural Language” while, independently, McCawley, in his 1981 book Everything that Linguists have Always Wanted to Know about Logic, established through argumentation that all noun phrases semantically behave like generalized quantified expressions (further elaborated by him in the second – 1994 – revised edition of his book). I seek to demonstrate, based on limited data analysis from selected languages of south Asia, that our current understanding of quantification, negation, and focus under the Minimalist view owes something significant to the two major, but now largely marginalized, works of scholarship, and that for the way forward it is essential to adopt a more formal-semantic approach as adopted by them and also by later works such as Denis Bouchard’s (1995) The Semantics of Syntax, Mats Rooth’s work on focus (e.g., Rooth 1996, “Focus” in Shalom Lappin’s Handbook of Contemporary Semantic Theory), Heim and Kratzer’s Semantics in Generative Grammar (1998), and Yoad Winter’s (2002) Linguistic Inquiry article on semantic number, to cite just a few instances. (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)

This chapter makes the following main claims about Hungarian: A. There is a detailed parallelism between the structures of noun phrases (DPs) and clauses (CPs), involving inflection, possessor extraction, and articles as complementizers. B. "HAVE sentences" are existential sentences involving possessor extraction. C. The argument frame of complex event nominals is identical to that of the underlying verb. D. The deverbal affix in nominals may have either a plain verb or a complex verb in its scope.

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

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

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)

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)

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

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

My aim in this chapter is to extend the Realist account of the foundations of linguistics offered by Postal, Katz and others. I first argue against the idea that naive Platonism can capture the necessary requirements on what I call a ‘mixed realist’ view of linguistics, which takes aspects of Platonism, Nominalism and Mentalism into consideration. I then advocate three desiderata for an appropriate ‘mixed realist’ account of linguistic ontology and foundations, namely (1) linguistic creativity and infinity, (2) linguistics as (...) a theory of types (and not tokens) and (3) independence but structural respect between language and the linguistic competence thereof. My own brand of mixed realism, what I call ante rem realism, is defended along the lines of an ante rem or non-eliminative structuralism, the likes of which has been offered for mathematics by Resnik (1997) and Shapiro (1997). In other words, grammars describe a mind-independent (but not necessarily unconnected) linguistic reality in terms of linguistic patterns or structures also known as natural languages. I further amend this picture to allow for the possibility of a naturalistic account of language acquisition and evolution by arguing against a particular view of the type-token distinction. (shrink)

We explore ChatGPT’s handling of left-peripheral phenomena in Italian and Italian varieties through prompt engineering to investigate 1) forms of syntactic bias in the model, 2) the model’s metalinguistic awareness in relation to reorderings of canonical clauses (e.g., Topics) and certain grammatical categories (object clitics). A further question concerns the content of the model’s sources of training data: how are minor languages included in the model’s training? The results of our investigation show that 1) the model seems to be biased (...) against reorderings, labelling them as archaic even though it is not the case; 2) the model seems to have difficulties with coindexed elements such as clitics and their anaphoric status, labeling them as ‘not referring to any element in the phrase’, and 3) major languages still seem to be dominant, overshadowing the positive effects of including minor languages in the model’s training. (shrink)

With reference to Hungarian, the paper argues that DP is analogous to CP. The D head *a(z)* is an analog of the complementizer C. It enables its complement to act as an argument. Definiteness is anchored in a feature lower in the structure.

It is commonplace for philosophers to distinguish mere truths from truths that perspicuously represent the world's structure. According to a popular view, the perspicuous truths are supposed to be metaphysically revelatory and to play an important role in the accounts of law-hood, confirmation, and linguistic interpretation. Yet, there is no consensus about how to characterize this distinction. I examine strategies developed by Lewis and by Sider in his Writing the Book of the World which purport to explain this distinction (...) in terms of vocabulary: the truths that represent the world perspicuously have better, joint-carving vocabulary. I argue that the distinction between a perspicuous and mere truth concerns both the vocabulary of the sentence and its grammar. I then show that the collective motivations for distinguishing perspicuous from mere truths do not allow Lewis and Sider to properly impose constraints on grammar. (shrink)

Je suis d'avis que la table de l'intentionnalité (rationalité, esprit, conscience, pensée, langage, personnalité, etc.) qui figure en bonne place ici décrit plus ou moins précisément, ou du moins sert d'heuristique pour, comment nous pensons et nous nous comportions, et donc il n'englobe pas simplement la philosophie et la psychologie, mais tout le reste (histoire, littérature, mathématiques, politique, etc.). Notez en particulier que l'intentionnalité et la rationalité que je (avec Searle, Wittgenstein et d'autres) le voir, comprend à la fois conscient (...) délibératif système linguistique 2 et inconscient automatisé système prélinguistique 1 actions ou réflexes. Je fournis une enquête critique de quelques-unes des principales conclusions de deux des plus éminents étudiants du comportement des temps modernes, Ludwig Wittgenstein et John Searle, sur la structure logique de l'intentionnalité (esprit, langue, comportement), en prenant comme point de départ La découverte fondamentale de Wittgenstein, à savoir que tous les problèmes véritablement « philosophiques » sont les mêmes, les confusions sur la façon d'utiliser la langue dans un contexte particulier, et donc toutes les solutions sont les mêmes— en regardant comment la langue peut être utilisée dans le contexte en cause afin que sa vérité (Conditions de satisfaction ou COS) sont claires. Le problème fondamental est que l'on peut dire n'importe quoi, mais on ne peut pas signifier (état clair COS pour) toute déclaration arbitraire et le sens n'est possible que dans un contexte très spécifique. J'analyse divers écrits par et à leur sujet du point de vue moderne des deux systèmes de pensée (popularisés comme «penser vite, penser lentement»), en utilisant une nouvelle table de l'intentionnalité et de nouvelles nomenclatures de systèmes doubles. Je montre que c'est un puissant heuristique pour décrire le comportement. Ainsi, tout comportement est intimement lié si l'on prend le point de vue correct. L'illusion phénoménologique (oubli de notre système automatisé 1) est universelle et s'étend non seulement à travers la philosophie, mais tout au long de la vie. Je suis sûr que Chomsky, Obama, Zuckerberg et le pape serait incrédule si on leur dit qu'ils souffrent du même problème que Hegel, Husserl et Heidegger, (ou qu'ils diffèrent seulement dans le degré de la drogue et les toxicomanes du sexe en étant motivés par la stimulation de leur cortices frontaux par la livraison de dopamine (et plus de 100 autres produits chimiques) via le tegmentum ventral et le noyau accumbens), mais c'est clairement vrai. Alors que les phénoménologues ne gaspillaient que beaucoup de temps, ils gaspillent la terre et l'avenir de leur descendant. (shrink)

We employ a recently developed methodology -- called "structural refinement" -- to extract nested sequent systems for a sizable class of intuitionistic modal logics from their respective labelled sequent systems. This method can be seen as a means by which labelled sequent systems can be transformed into nested sequent systems through the introduction of propagation rules and the elimination of structural rules, followed by a notational translation. The nested systems we obtain incorporate propagation rules that are parameterized with formal (...) class='Hi'>grammars, and which encode certain frame conditions expressible as first-order Horn formulae that correspond to a subclass of the Scott-Lemmon axioms. We show that our nested systems are sound, cut-free complete, and admit hp-admissibility of typical structural rules. (shrink)

Biblical Hebrew, BH, could be seen as primarily a verbal language [1], with an average verse of the Hebrew Bible containing no less than three verbs and with the biggest part of its vocabulary representing morphological derivations from verbal roots, almost entirely triliteral, or triconsonantal, – the feature BH shares with all Semitic and a few other Afro- Asiatic languages. The unique peculiarity of this triconsonantal morphological pervasiveness did not completely escape the attention of previous generations of Western linguists, as (...) shows the following “methodological” warning opening a popular Hebrew grammar edited more than a century ago: «The roots, whatever may have been their original form, are in the Old Testament almost entirely triliteral, ... thus imposing upon the memory a very heavy strain. ... Every verb has to be learned separately; the verbs to go out, to go up, to go down are quite different, having nothing in common with one another and being quite unrelated to the verb to go.» This amusing résumé has the merit to recognize, even if under the guise of an earnestly banal pedagogical clueing in, two extraordinary fundamental linguistic phenomena common to all Semitic languages, the very objects of the present study. (shrink)

There are several strategies for exposing the defects of established moral discourse, one of which is critical argumentation. However, under certain specific historical circumstances, the apparent self-evidence of established moral discourse has gained such dominance, such a capacity of resistance or incorporation, such an ability to conceal its basic vulnerability that its validity simply seems beyond contestation. Notwithstanding the moral subject’s basic discontent, he or she remains unable to challenge the dominant discourse effectively by means of critical argument. Or, to (...) borrow a phrase from Michel Foucault, individuals find themselves faced with a certain rationality, a moral regime that dominates moral discourse to such an extent that they cannot offer any resistance without raising the suspicion of being unreasonable. They (that is, we) find ourselves confronted with a discourse quite unable to recognize its own deficiencies. Although we are forced to accept its basic claims, our chronic discontent nevertheless persists. That is, although we are forced to participate in this discourse, we remain basically ambivalent, and our attitude towards established morality contains both a Yes and a No. Then, all of a sudden, the basic vulnerability of the dominant regime dawns on us or is revealed to us – and this is the experience of laughter. (shrink)

If Clark and Dudrick have their way, gone will be the days of breezy writings on Nietzsche that recruit a phrase from here, a paragraph from there, and construct an interpretation from the resultant mélange. Clark and Dudrick advocate a meticulous, line-by-line study of Nietzsche’s text, with painstaking attention not only to the broader context of his claims, but even to the precise intent of the images and metaphors that he employs. Here, we find a level of textual scrutiny (...) and careful consideration of context that has been largely absent in Nietzsche scholarship. To get a flavor of the book, consider the fact that Clark and Dudrick spend no fewer than sixty-three pages on the preface and first four sections of .. (shrink)

Phrase structure trees have a hierarchical structure. In many subjects, most notably in {\bf taxonomy} such tree structures have been studied using ultrametrics. Here syntactical hierarchical phrase trees are subject to a similar analysis, which is much simpler as the branching structure is more readily discernible and switched. The occurrence of hierarchical structure elsewhere in linguistics is mentioned. The phrase tree can be represented by a matrix and the elements of the matrix can (...) be represented by triangles. The height at which branching occurs is not prescribed in previous syntactic models, but it is by using the ultrametric matrix. In other words the ultrametric approach gives a complete description of phrase trees, unlike previous approaches. The ambiguity of which branching height to choose, is resolved by postulating that branching occurs at the lowest height available. An ultrametric produces a measure of the complexity of sentences: presumably the complexity of sentences increases as a language is acquired so that this can be tested. All ultrametric triangles are equilateral or isosceles. Here it is shown that \={X} structure implies that there are no equilateral triangles. Restricting attention to simple syntax a minimum ultrametric distance between lexical categories is calculated. A matrix constructed from this ultrametric distance is shown to be different than the matrix obtained from features. It is shown that the definition of {\sc c-command} can be replaced by an equivalent ultrametric definition. The new definition invokes a minimum distance between nodes and this is more aesthetically satisfying than previous varieties of definitions. From the new definition of {\sc c-command} follows a new definition of of the central notion in syntax namely {\sc government}. (shrink)

This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that explicitly incorporates the (...) semantics of the associated logic, and such systems typically violate the subformula property to a high degree. By contrast, nested sequent calculi employ a simpler syntax and adhere to a strict reading of the subformula property, making such systems useful in the design of automated reasoning algorithms. However, the downside of the nested sequent paradigm is that a general theory concerning the automated construction of such calculi (as in the labelled setting) is essentially absent, meaning that the construction of nested systems and the confirmation of their properties is usually done on a case-by-case basis. The refinement method connects both paradigms in a fruitful way, by transforming labelled systems into nested (or, refined labelled) systems with the properties of the former preserved throughout the transformation process. To demonstrate the method of refinement and some of its applications, we consider grammar logics, first-order intuitionistic logics, and deontic STIT logics. The introduced refined labelled calculi will be used to provide the first proof-search algorithms for deontic STIT logics. Furthermore, we employ our refined labelled calculi for grammar logics to show that every logic in the class possesses the effective Lyndon interpolation property. (shrink)

Apollonius Dyscolus’ use of ambiguity in grammatical problem-solving has in recent years had the benefit of two scholarly studies. David Blank, in the course of his analysis of the Syntax as a whole, has described the broad functions which Apollonius assigns to ambiguity. Jean Lallot's 1988 paper, ‘Apollonius Dyscole et l'ambigüité linguistique: problemes et solutions’, is devoted exclusively to the treatment of linguistic ambiguity in Apollonius’ work. Yet it is to be feared that the flood of light thrown by these (...) scholars on what had been an unregarded corner of ancient grammar has shown up rather more than Apollonius would have cared to admit, both about the nature, and about the prospects for success, of the enterprise on which he was engaged. At the same time, certain structural features of ancient grammar, at least of the ancient grammar which Apollonius himself constructed, have come into sharper focus: features clear enough with the benefit of hindsight, but glimpsed, it appears, all too dimly by Apollonius himslf. It is now worryingly clear not only that ambiguity was ambiguous for Apollonius, but also that the ambiguity of ambiguity represented a genuine threat to the coherence and value of his work. In this paper I set out to justify both these claims. (shrink)

It is commonly assumed that images, whether in the world or in the head, do not have a privileged analysis into constituent parts. They are thought to lack the sort of syntactic structure necessary for representing complex contents and entering into sophisticated patterns of inference. I reject this assumption. “Image grammars” are models in computer vision that articulate systematic principles governing the form and content of images. These models are empirically credible and can be construed as literal (...) class='Hi'>grammars for images. Images can have rich syntactic structure, though of a markedly different form than sentences in language. (shrink)

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)

This work presents a post-positivist research framework to explain any surprising fact in the evolutionary path of a complex, dynamic and contingent social phenomenon. Primarily, it reconciles the ontological and epistemological assumptions of Critical Realism with the principles of American Pragmatism. Then, the research approach is presented: theoretical propositions about a social structure are translated into a set of grammar rules that acknowledges a pattern of sequences of events of either individual action or social interaction between actors within a (...) real social system. The result is a discrete mathematical model for a concrete category of social process based on these rules. Finally, data-grounded refinement of the theory is possible by the comparison between cases belonging to the same category, but differing about some contingent pattern of sequences of event outcomes. Consequently, their grammars differ in some pairs of context-sensitive rules that can explain this surprising fact, such that the derivation of this alternative historical trajectory of event outcomes becomes an extension to the early category of social process. In this sense, the proposed framework suggests there is a hierarchy of classes of grammars for middle-range explanations based upon the ontological assumption of the generative nature of social reality. (shrink)

Since its formal definition over sixty years ago, category theory has been increasingly recognized as having a foundational role in mathematics. It provides the conceptual lens to isolate and characterize the structures with importance and universality in mathematics. The notion of an adjunction (a pair of adjoint functors) has moved to center-stage as the principal lens. The central feature of an adjunction is what might be called “determination through universals” based on universal mapping properties. A recently developed “heteromorphic” theory about (...) adjoints suggests a conceptual structure, albeit abstract and atemporal, for how new relatively autonomous behavior can emerge within a system obeying certain laws. The focus here is on applications in the life sciences (e.g., selectionist mechanisms) and human sciences (e.g., the generative grammar view of language). (shrink)

This paper tries to determine the philosophical nature of language, its functions, structure and content. It also explains the concept of natural language, ordinary and ideal language i.e. how there is a need of artificial perfect logical language without errors and unclearness in that language. This paper further shows the logical form of language with its syntactical, semantical, innate and acquired criteria for the evaluation of the languages. It deals with the analysis of language to clear what is unclear, (...) to know what is unknown, to make definite what is vague. In this paper I used the method; logical method for interpretation and argumentation, analytical method for simplification, and critical method to investigate the real domain of language. This paper does not deal with ordinary functions of the language but it deals with the conceptual and modular functions of the language. The fundamental aim of this written up is to determine the analytical approach of Wittgenstein to sketch the ‘language as a tool to discuss the state of affairs or facts of the worlds that is also what philosophy does. This paper describes the contributions of rationalism and empiricism in the field of knowing the truths of language. (shrink)

Standard linguistic analysis of syntax uses the T-model. This model requires the ordering: D-structure > S-structure > LF, where D-structure is the sentences deep structure, S-structure is its surface structure, and LF is its logical form. Between each of these representations there is movement which alters the order of the constituent words; movement is achieved using the principles and parameters of syntactic theory. Psychological analysis of sentence production is usually either serial or connectionist. Psychological (...) serial models do not accommodate the T-model immediately so that here a new model called the P-model is introduced. The P-model is different from previous linguistic and psychological models. Here it is argued that the LF representation should be replaced by a variant of Frege'sA three qualities (sense, reference, and force), called the FregeA representation or F-representation. In the F-representation the order of elements is not necessarily the same as that in LF and it is suggested that the correct ordering is: F-representation > D-structure > S-structure. This ordering appears to lead to a more natural view of sentence production and processing. Within this framework movement originates as the outcome of emphasis applied to the sentence. The requirement that the F-representation precedes the D-structure needs a picture of the particular principles and parameters which pertain to movement of words between representations. In general this would imply that there is a preferred or optimal ordering of the symbolic string in the F-representation. The standard ordering is retained because the general way of producing such an optimal ordering is unclear. In this case it is possible to produce an analysis of movement between LF and D-structure similar to the usual analysis of movement between S-structure and LF. The necessity of analyzing corrupted data suggests that a maximal amount of information about a language's grammar and lexicon is stored. (shrink)

This paper is an example of how contextual information interacts with the interpretation of noun phrases (NPs) in discourse. When we encounter an NP escorted by the definite article or a proper name, the expectation is triggered that the speaker is referring to some referent x that the hearer can normally identify. Strawson and Russell have agreed that a referent must be associated with a definite description so that the assertion containing it can be said to be true. In the (...) case where a description does not refer to anything, the assertion is considered by Russell to be false, while Strawson says that the issue of truth or falsity does not arise. In this paper, we examine a case in which contextual information interacts with the interpretation of NPs in discourse and the hearer is not expected to identify a referent when hearing a proper name. In this case, the issue of truth or falsity does not arise, because the hearer does not identify the referent. In fact, s/he does not intend for the discourse to about a referent at all. These situations are primarily represented by sentences uttered during the course of a grammar lecture, in which the lecturer is explaining a rule of language and does not focus on external reality. The hearers are aware of this focus and do not process the NP (in general a proper name) to identify a specific referent. This discourse is of three types, which will be discussed at the end of this paper. -/- Keywords: reference; pragmeme; presupposition; fictional discourse; exemplification acts. (shrink)

Les noms sous-spécifiés, qui peuvent apparaitre dans une construction spécificationnelle, de la forme Leur ambition a été d’innover, sont par ailleurs souvent des prédicats régissant des arguments, dans une phrase élémentaire de la forme Ils ont eu l’ambition d’innover, où Nss est le prédicat accompagné d’un verbe support et de ses arguments N0 et N1. Nous avons étudié des noms entrant à la fois dans les deux constructions et avec le même sens, et trouvé trois cas de figure. Avec (...) des noms tels que ambition, et ont presque le même sens. Dans d’autres entrées, telles que souvenir et preuve, les deux constructions ne sont pas équivalentes : l’attribut phrastique de est absent de, tandis que l’argument N1 de peut apparaitre comme complément de nom du Nss sujet dans, et spécifie souvent le thème du propos contenu dans l’attribut phrastique de. Enfin, d’autres noms tels que embarras ne sont pas des Nss typiques car l’attribut phrastique de y joue un rôle causal ; il n’a pas le même contenu que N1. Ainsi, dans les types souvenir/preuve et embarras, est à analyser comme une combinaison de plusieurs phrases élémentaires. (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)

It might be that the phrase ‘local holism’ covers a range of explanatory possibilities spreading to consistencies of theories generally, that we can take something from Peacocke’s caution about delimiting and differentiating modes of support for abstracts to sort something in the varieties of tensions at work in settling contents of theories self-determined to be consistent (facing a barrage of neo-consistencies). The subject-matter becomes then a holism in its entirety in self-consistent self-representation underpinned by that recognition operating over items (...) formulated in a vocabulary supporting consistent representations and operations. In A Study of Concepts scenarios—described by me as ‘containers’— associate a type of primitive to a grammar worked on transitions paralleling a proposed familiar egocentric type of orientation’s handling of objects in a vicinity. The value of scenarios though is distanced from origination, it lies in the depiction of support for and delineation and record of separable coordinate valuations and conceptual transcribing. (shrink)

Investigation into the sequence structure of the genetic code by means of an informatic approach is a real success story. The features of human language are also the object of investigation within the realm of formal language theories. They focus on the common rules of a universal grammar that lies behind all languages and determine generation of syntactic structures. This universal grammar is a depiction of material reality, i.e., the hidden logical order of things and its relations determined by (...) natural laws. Therefore mathematics is viewed not only as an appropriate tool to investigate human language and genetic code structures through computer sciencebased formal language theory but is itself a depiction of material reality. This confusion between language as a scientific tool to describe observations/experiences within cognitive constructed models and formal language as a direct depiction of material reality occurs not only in current approaches but was the central focus of the philosophy of science debate in the twentieth century, with rather unexpected results. This article recalls these results and their implications for more recent mathematical approaches that also attempt to explain the evolution of human language. (shrink)

In this paper, we will motivate the application of specific rules of inference from the propositional calculus to natural language sentences. Specifically, we will analyse De Morgan’s laws, which pertain to the interaction of two central topics in syntactic research: negation and coordination. We will argue that the applicability of De Morgan’s laws to natural language structures can be derived from independently motivated operations of grammar and principles restricting the application of these operations. This has direct empirical consequences for the (...) hypothesised relations between natural language and logic. (shrink)

Linguistic representations are taken by some to be representations of something, specifically of Standard Linguistic Entities, such as phonemes, clauses, noun phrases etc. This perspective takes them to be intentional. Rey (2021) further argues that the SLEs themselves are inexistent. Here I argue that linguistic representations are simply structures, abstractions of brain states, and hence not intentional, and show how they nevertheless connect to the systems that use them.

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

PLEASE NOTE: This is the corrected 2nd eBook edition, 2021. ●●●●● _Critique of Impure Reason_ has now also been published in a printed edition. To reduce the otherwise high price of this scholarly, technical book of nearly 900 pages and make it more widely available beyond university libraries to individual readers, the non-profit publisher and the author have agreed to issue the printed edition at cost. ●●●●● The printed edition was released on September 1, 2021 and is now available through (...) all booksellers, including Barnes & Noble, Amazon, and brick-and-mortar bookstores under ISBN 978-0-578-88646-6. ●●●●● In light of the length of this book, readers who would like to have a more detailed description of the book's objectives and method may find it helpful to read the detailed and clearly written Wikipedia entry about this work: From the Wikipedia search page, use the search phrase "Critique of Impure Reason". At least at the time of this writing (11/29/2021), the Wikipedia entry is well-researched and accurate. ●●●●● In addition, a "Primer on Bartlett's CRITIQUE OF IMPURE REASON" has been made available by the author. It is available under its title through PhilPapers and other philosophy online archives. ●●●●● COMMENDATIONS OF THIS WORK, from the back cover of the published edition: ●●●●● “I admire its range of philosophical vision.” – Nicholas Rescher, Distinguished University Professor of Philosophy, University of Pittsburgh, author of more than 100 books. ●●●●● “Bartlett’s _Critique of Impure Reason_ is an impressive, bold, and ambitious work. Careful scholarship is balanced by original analyses that lead the reader to recognize the limits of meaning, knowledge, and conceptual possibility. The work addresses a host of traditional philosophical problems, among them the nature of space, time, causality, consciousness, the self, other minds, ontology, free will and determinism, and others. The book culminates in a fascinating and profound new understanding of relativity physics and quantum theory.” – Gerhard Preyer, Professor of Philosophy, Goethe-University, Frankfurt am Main, Germany, author of many books including _Concepts of Meaning_, _Beyond Semantics and Pragmatics_, _Intention and Practical Thought_, and _Contextualism in Philosophy_. ●●●●● “[This work’s] goal is of a unique and difficult species: Dr. Bartlett seeks to develop a formal logical calculus on the basis of transcendental philosophical arguments; in fact, he hopes that this calculus will be the formal expression of the transcendental foundation of knowledge.... I consider Dr. Bartlett’s work soundly conceived and executed with great skill.” – C. F. von Weizsäcker, philosopher and physicist, former Director, Max-Planck-Institute, Starnberg, Germany. ●●●●● “Bartlett has written an American “Prolegomena to All Future Metaphysics.” He aims rigorously to eliminate meaningless assertions, reach bedrock, and place philosophy on a firm foundation that will enable it, like science and mathematics, to produce lasting results that generations to come can build on. This is a great book, the fruit of a lifetime of research and reflection, and it deserves serious attention.” — Martin X. Moleski, former Professor, Canisius College, Buffalo, NY, studies of scientific method, the presuppositions of thought, and the self-referential nature of epistemology. ●●●●● “Bartlett has written a book on what might be called the underpinnings of philosophy. It has fascinating depth and breadth, and is all the more striking due to its unifying perspective based on the concepts of reference and self-reference.” – Don Perlis, Professor of Computer Science, University of Maryland, author of numerous publications on self-adjusting autonomous systems and philosophical issues concerning self-reference, mind, and consciousness. ●●●●● ●●●●● The _Critique of Impure Reason: Horizons of Possibility and Meaning_ comprises a major and important contribution to philosophy. Thanks to the generosity of its publisher, this massive 885-page volume has been published as a free open access eBook (3.75MB) as well as an open access printed edition. It inaugurates a revolutionary paradigm shift in philosophical thought by providing compelling and long-sought-for solutions to a wide range of philosophical problems. In the process, the work fundamentally transforms the way in which the concepts of reference, meaning, and possibility are understood. The book includes a Foreword by the celebrated German philosopher and physicist Carl Friedrich von Weizsäcker. ●●●●● In Kant’s _Critique of Pure Reason_ we find an analysis of the preconditions of experience and of knowledge. In contrast, but yet in parallel, the new _Critique_ focuses upon the ways—unfortunately very widespread and often unselfconsciously habitual—in which many of the concepts that we employ _conflict_ with the very preconditions of meaning and of knowledge. ●●●●● This is a book about the boundaries of frameworks and about the unrecognized conceptual confusions in which we become entangled when we attempt to transgress beyond the limits of the possible and meaningful. We tend either not to recognize or not to accept that we all-too-often attempt to trespass beyond the boundaries of the frameworks that make knowledge possible and the world meaningful. ●●●●● The _Critique of Impure Reason_ proposes a bold, ground-breaking, and startling thesis: that a great many of the major philosophical problems of the past can be solved through the recognition of a viciously deceptive form of thinking to which philosophers as well as non-philosophers commonly fall victim. For the first time, the book advances and justifies the criticism that a substantial number of the questions that have occupied philosophers fall into the category of “impure reason,” violating the very conditions of their possible meaningfulness. ●●●●● The purpose of the study is twofold: first, to enable us to recognize the boundaries of what is referentially forbidden—the limits beyond which reference becomes meaningless—and second, to avoid falling victims to a certain broad class of conceptual confusions that lie at the heart of many major philosophical problems. As a consequence, the boundaries of _possible meaning_ are determined. ●●●●● Bartlett, the author or editor of more than 20 books, is responsible for identifying this widespread and delusion-inducing variety of error, _metalogical projection_. It is a previously unrecognized and insidious form of erroneous thinking that undermines its own possibility of meaning. It comes about as a result of the pervasive human compulsion to seek to transcend the limits of possible reference and meaning. ●●●●● Based on original research and rigorous analysis combined with extensive scholarship, the _Critique of Impure Reason_ develops a self-validating method that makes it possible to recognize, correct, and eliminate this major and pervasive form of fallacious thinking. In so doing, the book provides at last provable and constructive solutions to a wide range of major philosophical problems. ●●●●● CONTENTS AT A GLANCE ▪▪▪▪▪ Preface ▪▪▪▪▪ Foreword by Carl Friedrich von Weizsäcker ▪▪▪▪▪ Acknowledgments ▪▪▪▪▪ Avant-propos: A philosopher’s rallying call ▪▪▪▪▪ Introduction ▪▪▪▪▪ A note to the reader ▪▪▪▪▪ A note on conventions ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART I ▪▪▪▪▪ ▪▪▪▪▪ WHY PHILOSOPHY HAS MADE NO PROGRESS AND HOW IT CAN ▪▪▪▪▪ 1 Philosophical-psychological prelude ▪▪▪▪▪ 2 Putting belief in its place: Its psychology and a needed polemic ▪▪▪▪▪ 3 Turning away from the linguistic turn: From theory of reference to metalogic of reference ▪▪▪▪▪ 4 The stepladder to maximum theoretical generality ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART II ▪▪▪▪▪ THE METALOGIC OF REFERENCE ▪▪▪▪▪ A New Approach to Deductive, Transcendental Philosophy ▪▪▪▪▪ 5 Reference, identity, and identification ▪▪▪▪▪ 6 Self-referential argument and the metalogic of reference ▪▪▪▪▪ 7 Possibility theory ▪▪▪▪▪ 8 Presupposition logic, reference, and identification ▪▪▪▪▪ 9 Transcendental argumentation and the metalogic of reference ▪▪▪▪▪ 10 Framework relativity ▪▪▪▪▪ 11 The metalogic of meaning ▪▪▪▪▪ 12 The problem of putative meaning and the logic of meaninglessness ▪▪▪▪▪ 13 Projection ▪▪▪▪▪ 14 Horizons ▪▪▪▪▪ 15 De-projection ▪▪▪▪▪ 16 Self-validation ▪▪▪▪▪ 17 Rationality: Rules of admissibility ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART III ▪▪▪▪▪ PHILOSOPHICAL APPLICATIONS OF THE METALOGIC OF REFERENCE ▪▪▪▪▪ Major Problems and Questions of Philosophy and the Philosophy of Science ▪▪▪▪▪ 18 Ontology and the metalogic of reference ▪▪▪▪▪ 19 Discovery or invention in general problem-solving, mathematics, and physics ▪▪▪▪▪ 20 The conceptually unreachable: “The far side” ▪▪▪▪▪ 21 The projections of the external world, things-in-themselves, other minds, realism, and idealism ▪▪▪▪▪ 22 The projections of time, space, and space-time ▪▪▪▪▪ 23 The projections of causality, determinism, and free will ▪▪▪▪▪ 24 Projections of the self and of solipsism ▪▪▪▪▪ 25 Non-relational, agentless reference and referential fields ▪▪▪▪▪ 26 Relativity physics as seen through the lens of the metalogic of reference ▪▪▪▪▪ 27 Quantum theory as seen through the lens of the metalogic of reference ▪▪▪▪▪ 28 Epistemological lessons learned from and applicable to relativity physics and quantum theory ▪▪▪▪▪ ▪▪▪▪▪ PART IV ▪▪▪▪▪ HORIZONS ▪▪▪▪▪ 29 Beyond belief ▪▪▪▪▪ 30 _Critique of Impure Reason_: Its results in retrospect ▪▪▪▪▪ ▪▪▪▪▪ SUPPLEMENT ▪▪▪▪▪ The Formal Structure of the Metalogic of Reference ▪▪▪▪▪ APPENDIX I ▪▪▪▪▪ The Concept of Horizon in the Work of Other Philosophers ▪▪▪▪▪ APPENDIX II ▪▪▪▪▪ Epistemological Intelligence ▪▪▪▪▪ References ▪▪▪▪▪ Index ▪▪▪▪▪ About the author. (shrink)

Semantics plays a role in grammar in at least three guises. (A) Linguists seek to account for speakers‘ knowledge of what linguistic expressions mean. This goal is typically achieved by assigning a model theoretic interpretation in a compositional fashion. For example, *No whale flies* is true if and only if the intersection of the sets of whales and fliers is empty in the model. (B) Linguists seek to account for the ability of speakers to make various inferences based on semantic (...) knowledge. For example, *No whale flies* entails *No blue whale flies* and *No whale flies high*. (C) The wellformedness of a variety of syntactic constructions depends on morpho-syntactic features with a semantic flavor. For example, *Under no circumstances would a whale fly* is grammatical, whereas *Under some circumstances would a whale fly* is not, corresponding to the downward vs. upward monotonic features of the preposed phrases. It is usually assumed that once a compositional model theoretic interpretation is assigned to all expressions, its fruits can be freely enjoyed by inferencing and syntax. What place might proof theory have in this picture? (shrink)

In recent decades, the analysis of phraseology has made use of the exploration of large corpora as a source of quantitative information about language. This paper intends to present the main lines of work in progress based on this empirical approach to linguistic analysis. In particular, we focus our attention on some problems relating to the morpho-syntactic annotation of corpora. The CORIS/CODIS corpus of contemporary written Italian, developed at CILTA – University of Bologna (Rossini Favretti 2000; Rossini Favretti, Tamburini, De (...) Santis in press), is a synchronic 100-million-word corpus and is being lemmatised and annotated with part-of-speech (POS) tags, in order to increase the quantity of information and improve data retrieval procedures (Tamburini 2000). The aim of POS tagging is to assign each lexical unit to the appropriate word class. Usually the set of tags is pre-established by the linguist, who uses his/her competence to identify the different word classes. The very first experiments we made revealed how the traditional part-of-speech distinctions in Italian (generally based on morphological and semantic criteria) are often inadequate to represent the syntactic features of words in context. It is worth noting that the uncertainties in categorisation contained in Italian grammars and dictionaries reflect a growing difficulty as they move from fundamental linguistic classes, such as nouns and verbs, to more complex classes, such as adverbs, pronouns, prepositions and conjunctions. This latter class, that groups together elements traditionally used to express connections between sentences, appears inadequate when describing cohesive relations in Italian. This phenomenon actually seems to involve other elements traditionally assigned to different classes, such as adverbs, pronouns and interjections. Recent studies proposed the class of ‘connectives’, grouping all words that, apart from their traditional word class, have the function of connecting phrases and contributing to textual cohesion. From this point of view, conjunctions can be considered as part of phrasal connectives, that can in turn be included in the wider category of textual connectives. The aim of this study is to identify elements that can be included in the class of phrasal connectives, using quantitative methods. According to Shannon and Weaver’s (1949) observation that words are linked by dependent probabilities, corroborated by Halliday’s (1991) argument that the grammatical “system” (in Firth’s sense of the term) is essentially probabilistic, quantitative data are introduced in order to provide evidence of relative frequencies. Section 2 presents a description of word-class categorisation from the point of view of grammars and dictionaries arguing that the traditional category of conjunctions is inadequate for capturing the notion of phrasal connective. Section 3 examines the notion of ‘connective’ and suggests a truth-function interpretation of connective behaviour. Section 4 describes the quantitative methods proposed for analysing the distributional properties of lexical units, and section 5 comments on the results obtained by applying such methods drawing some provisional conclusions. (shrink)

Quilty-Dunn et al.'s wide-ranging defense of the Language of Thought Hypothesis (LoTH) argues that vision traffics in abstract, structured representational formats. We agree: Vision, like language, is compositional – just as words compose into phrases, many visual representations contain discrete constituents that combine in systematic ways. Here, we amass evidence extending this proposal, and explore its implications for how vision interfaces with the rest of the mind.

This paper defends the view that common nouns have a dual semantic structure that includes extension-determining and non-extension-determining components. I argue that the non-extension-determining components are part of linguistic meaning because they play a key compositional role in certain constructions, especially in privative noun phrases such as "fake gun" and "counterfeit document". Furthermore, I show that if we modify the compositional interpretation rules in certain simple ways, this dual content account of noun phrase modification can be implemented in (...) a type-driven formal semantic framework. In addition, I also argue against traditional accounts of privative noun phrases which can be paired with the assumption that nouns do not have a dual semantic structure. At the most general level, this paper presents a proposal for how we can begin to integrate a psychologically realistic account of lexical semantics with a linguistically plausible compositional semantic framework. (shrink)