Results for 'lambda grammar'

176 found
Order:
  1.  41
    Separating Syntax and Combinatorics in Categorial Grammar.Reinhard Muskens - 2007 - Research on Language and Computation 5 (3):267-285.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  79
    Language, Lambdas, and Logic.Reinhard Muskens - 2003 - In R. Oehrle & J. Kruijff (eds.), Resource Sensitivity, Binding, and Anaphora (Studies in Linguistics and Philosophy 80). Dordrecht: Kluwer Academic Publishers. pp. 23--54.
    The paper develops Lambda Grammars, a form of categorial grammar that, unlike other categorial formalisms, is non-directional. Linguistic signs are represented as sequences of lambda terms and are combined with the help of linear combinators.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  3. New Directions in Type-Theoretic Grammars.Reinhard Muskens - 2010 - Journal of Logic, Language and Information 19 (2):129-136.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  4. Lambda Grammars and the Syntax-Semantics Interface.Reinhard Muskens - 2001 - In Robert Van Rooij & Martin Stokhof (eds.), Proceedings of the Thirteenth Amsterdam Colloquium. Amsterdam: ILLC. pp. 150-155.
    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, (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  5.  71
    Static and Dynamic Vector Semantics for Lambda Calculus Models of Natural Language.Mehrnoosh Sadrzadeh & Reinhard Muskens - 2018 - Journal of Language Modelling 6 (2):319-351.
    Vector models of language are based on the contextual aspects of language, the distributions of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, compositional properties of words and how they compose to form sentences. In the truth conditional approach, the denotation of a sentence determines its truth conditions, which can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In the vector models, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Husserl on Meaning, Grammar, and the Structure of Content.Matteo Bianchin - 2018 - Husserl Studies 34 (2):101-121.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7.  30
    L'esordio del libro Lambda della Metafisica.Silvia Fazzo - 2008 - Rivista di Filosofia Neo-Scolastica 100 (2):159-181.
    The particular subject of this article is the very first sentence of Aristotle’s Metaphysics book Lambda: what does it really mean? I would stick to the most generous sense: (Aristotelian) theoria is about substance. Indeed, it has been often held that Lambda ignores the so-called focal meaning, and shows a remarkably rough stage of Aristotle’s conception of prime philosophy. By contrast, in this light, the very incipit of Lambda appears to testify Aristotle’s concern in an ontological foundation (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  8.  82
    Categorial Grammar and Discourse Representation Theory.Reinhard Muskens - 1994 - In Proceedings of COLING 94. Kyoto: pp. 508-514.
    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.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  9. The Art, Poetics, and Grammar of Technological Innovation as Practice, Process, and Performance.Coeckelbergh Mark - 2018 - AI and Society 33 (4):501-510.
    Usually technological innovation and artistic work are seen as very distinctive practices, and innovation of technologies is understood in terms of design and human intention. Moreover, thinking about technological innovation is usually categorized as “technical” and disconnected from thinking about culture and the social. Drawing on work by Dewey, Heidegger, Latour, and Wittgenstein and responding to academic discourses about craft and design, ethics and responsible innovation, transdisciplinarity, and participation, this essay questions these assumptions and examines what kind of knowledge and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Review of Fenstad's "Grammar, Geometry & Brain". [REVIEW]Erich Rast - 2014 - Studia Logica 102 (1):219-223.
    In this small book logician and mathematician Jens Erik Fenstad addresses some of the most important foundational questions of linguistics: What should a theory of meaning look like and how might we provide the missing link between meaning theory and our knowledge of how the brain works? The author’s answer is twofold. On the one hand, he suggests that logical semantics in the Montague tradition and other broadly conceived symbolic approaches do not suffice. On the other hand, he does not (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11.  81
    Strong Normalization of a Symmetric Lambda Calculus for Second-Order Classical Logic.Yoriyuki Yamagata - 2002 - Archive for Mathematical Logic 41 (1):91-99.
    Download  
     
    Export citation  
     
    Bookmark  
  12.  20
    The Concept of Color as a Grammar Problem in Wittgenstein's Perspective of Language.Luca Nogueira Igansi - 2019 - Philia 1 (1):121-139.
    This essay aims to provide conceptual tools for the understanding of Wittgenstein’s theory of color as a grammar problem instead of a phenomenological or purely scientific one. From an introduction of his understanding of meaning in his early and late life, his notion of grammar will be analyzed to understand his rebuttal of scientific and phenomenological discourse as a proper means for dealing with the problem of color through his critique of Goethe. Then Wittgenstein’s take on color will (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Meaning and Formal Semantics in Generative Grammar.Stephen Schiffer - 2015 - Erkenntnis 80 (1):61-87.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  14. XIV—Moral Non‐Cognitivism and the Grammar of Morality.Michael Blome‐Tillmann - 2009 - Proceedings of the Aristotelian Society 109 (1pt3):279-309.
    This paper investigates the linguistic basis for moral non-cognitivism, the view that sentences containing moral predicates do not have truth conditions. It offers a new argument against this view by pointing out that the view is incompatible with our best empirical theories about the grammatical encoding of illocutionary force potentials. Given that my arguments are based on very general assumptions about the relations between the grammar of natural languages and a sentence's illocutionary function, my arguments are broader in scope (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  92
    An Integrated Interpretation of Montague Grammar (Written for Meaning of Language, 2nd Edition, but Bears Little Resemblance to Forthcoming Chapter).Heidi Savage - manuscript
    This is what I hope is an illuminating, and to a certain degree, novel exposition of Montague Grammar. It is against many standard interpretations, and perhaps even against things Montague himself says at times. However, it makes more sense of how his various commitments fit together in a systematic way. Why, for instance, is it called "Montague Grammar" rather than "Montague Semantics," and what role does his commitment to Fregeanism plays in his conception of language. It is clear (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. Knowledge of Grammar and Concept Possession.Edison Barrios - 2012 - British Journal for the Philosophy of Science 63 (3):577-606.
    This article deals with the cognitive relationship between a speaker and her internal grammar. In particular, it takes issue with the view that such a relationship is one of belief or knowledge (I call this view the ‘Propositional Attitude View’, or PAV). I first argue that PAV entails that all ordinary speakers (tacitly) possess technical concepts belonging to syntactic theory, and second, that most ordinary speakers do not in fact possess such concepts. Thus, it is concluded that speakers do (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. ""Lambda Theory: Introduction of a Constant for" Nothing" Into Set Theory, a Model of Consistency and Most Noticeable Conclusions.Laurent Dubois - 2013 - Logique Et Analyse 56 (222):165-181.
    The purpose of this article is to present several immediate consequences of the introduction of a new constant called Lambda in order to represent the object ``nothing" or ``void" into a standard set theory. The use of Lambda will appear natural thanks to its role of condition of possibility of sets. On a conceptual level, the use of Lambda leads to a legitimation of the empty set and to a redefinition of the notion of set. It lets (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Categorial Grammar and Lexical-Functional Grammar.Reinhard Muskens - 2001 - In Miriam Butt & Tracey Holloway King (eds.), Proceedings of the LFG01 Conference, University of Hong Kong. Stanford, CA: CSLI Publications. pp. 259-279.
    This paper introduces λ-grammar, a form of categorial grammar that has much in common with LFG. Like other forms of categorial grammar, λ-grammars are multi-dimensional and their components are combined in a strictly parallel fashion. Grammatical representations are combined with the help of linear combinators, closed pure λ-terms in which each abstractor binds exactly one variable. Mathematically this is equivalent to employing linear logic, in use in LFG for semantic composition, but the method seems more practicable.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  19. Semiotic Grammar.William B. Mcgregor - 1997 - Oxford University Press UK.
    The label `semiotic grammar' captures a fundamental property of the grammars of human languages: not only is language a semiotic system in the familiar Saussurean sense, but its organizing system, its grammar, is also a semiotic system. This proposition, explicated in detail by William McGregor in this book, constitutes a new theory of grammar. Semiotic Grammar is `functional' rather than `formal' in its intellectual origins, approaches, and methods. It demonstrates, however, that neither a purely functional nor (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. The Grammar of Political Obligation.Thomas Fossen - 2014 - Politics, Philosophy and Economics 13 (3):215-236.
    This essay presents a new way of conceptualizing the problem of political obligation. On the traditional ‘normativist’ framing of the issue, the primary task for theory is to secure the content and justification of political obligations, providing practically applicable moral knowledge. This paper develops an alternative, ‘pragmatist’ framing of the issue, by rehabilitating a frequently misunderstood essay by Hanna Pitkin and by recasting her argument in terms of the ‘pragmatic turn’ in recent philosophy, as articulated by Robert Brandom. From this (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  21. Inference and Grammar: Intersectivity, Subsectivity, and Phases.Ulrich Reichard - 2013 - In Catrin S. Rhys, Pavel Iosad & Alison Henry (eds.), Microvariation, Minority Languages, Minimalism and Meaning: Proceedings of the Irish Network in Formal Linguistics. Cambridge Scholars Press. pp. 222-244.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  22. The Grammar of Philosophical Discourse.Wojciech Krysztofiak - 2012 - Semiotica 2012 (188):295-322.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. The Grammar of 'Meaning'.Lajos L. Brons - 2011 - In S. Watanabe (ed.), CARLS Series of Advanced Study of Logic and Sensibility, volume 4. Keio University Press.
    This paper analyzes some grammatical aspects of the English verb "to mean" and its nominalizations, and based on that, argues that meaning is something that people do rather than something that words have.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  24.  66
    A Prioridade Ontológica das Substâncias Imóveis segundo o livro Lambda da Metafísica de Aristóteles.Meline Costa Souza - 2018 - Archai: Revista de Estudos Sobre as Origens Do Pensamento Ocidental 22:65-97.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  25. Toward a Grammar of Bayesian Confirmation.Vincenzo Crupi, Roberto Festa & Carlo Buttasi - 2010 - In M. Suàrez, M. Dorato & M. Redéi (eds.), EPSA Epistemology and Methodology of Science: Launch of the European Philosophy of Science Association. Springer. pp. 73--93.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  26.  35
    Remnants of Words in Indian Grammar.Sanjit Chakraborty - 2018 - APA Asian and Asian-American Philosophers and Philosophies 18 (1):39-42.
    This paper in an elementary level expresses the inevitable relation between the word and meaning from the prominent Indian philosophical trends by giving stress on Vyakti-śakti-vāda and Jāti-śakti-vāda, the two contender doctrines. The first one puts emphasis on the semantic value of a predicate whereas the latter draws attention to the generic uses of nouns. The second part of the writing underpins Navya Nyāya and Kumārila’s positions on the word-meaning reliance and the debate initiate when we look back to the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. The Problem of the Rock and the Grammar of Consciousness.Lajos Brons - 2017 - Disputatio 9 (44):5-12.
    The “Problem of the Rock” (PoR) is a famous objection to Higher-Order (HO) theories of consciousness. According to PoR, the HO theorists’ claim that a mental state is conscious iff there is a higher-order mental state about it implies that a rock is also conscious iff there is a higher-order mental state about it. In this paper I show that this argument confuses two grammatically distinct attributions of consciousness, and that if the consequent equivocation fallacy is avoided, PoR is either (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28.  72
    Imagination and Convention: Distinguishing Grammar and Inference in Language. [REVIEW]Daniel W. Harris - 2017 - Philosophical Review 126 (4):554-558.
    Download  
     
    Export citation  
     
    Bookmark  
  29.  61
    Aesthetics is the Grammar of Desire.Jennifer A. McMahon - 2015 - Aesthetic Investigations 1 (1):156-164.
    This essay presents the nature of aesthetic judgment, the significance of aesthetic judgment and finally, the relevance of art to understanding aesthetic judgment.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  36
    Divine Simplicity and the Grammar of God-Talk: Comments on Hughes, Tapp, and Schärtl.S. J. Otto Muck - 2018 - European Journal for Philosophy of Religion 10 (2):89-104.
    Different opinions about the simplicity of God may be connected with different understandings of how abstract terms are used to name the properties which are affirmed of a being. If these terms are taken to signify parts of that being, this being is not a simple one. Thomas Aquinas, who attributes essence, existence and perfections to God, nevertheless thinks that these are not different parts of God. When essence, existence and perfections are attributed to God, they all denominate the same, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31.  87
    The Grammar of Belief.Michael McKinsey - 1998 - In William J. Rapaport & F. Orilia (eds.), Thought, Language, and Ontology, Essays in Memory of Hector-Neri Castaneda. Kluwer Academic Publishers.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  32. Ars Characteristica Kantiana: Ludwig Benedict Trede's Forgotten Necessary Grammar.Jan Westerhoff - 2003 - Kant-Studien 94 (3):333-351.
    This paper discusses a nowadays completely forgotten 18th century attempt of constructing an artificial universal language in a Kantian framework. I give a brief sketch of this language and then address the continuing philosophical significance of the project, focusing in particular on the notions of predication and the copula and on the problem of psychologism.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  33. The Grammar of Historiography.Jonathan Gorman - 2010 - Epistemology and Philosophy of Science 3:45-53.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34.  65
    Lambda 7. 1072 b 2-3.Silvia Fazzo - 2002 - Elenchos: Rivista di Studi Sul Pensiero Antico 23 (2):357-376.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  35.  25
    Review of Elizabeth H. Wolgast, The Grammar of Justice. [REVIEW]Edmund Byrne - 1991 - Noûs 25 (1):137-139.
    Book under review consists of a set of articles by Wolgast that contibute in various ways to her contention that human beings arrive at a theory of justice quasi-empirically insofar as a particular group encounters and seeks to surmount experiences of gross injustice. Via such experiences they develop a community-oriented sense of justice; but they do not thereby create a reliable basis for communitarian ethics.
    Download  
     
    Export citation  
     
    Bookmark  
  36. A Matéria (Hyle) no Livro Lambda da Metafísica.Marcelo Fonseca Ribeiro de Oliveira - 2014 - Inconfindentia 2 (3):1-12.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37. Media Parergon, Media Ergon: An Analytical Overview of the Grammar and Pragmatics of the Media Language.Rafael Duarte Oliveira Venancio - 2017 - SSRN Electronic Journal 2017:1-8.
    The present work has a central question: how a certain media distinguishes itself from the other communicational and linguistic apparatuses of the world. And with that, he turns on the big question of what each media practice would be. The hypothesis defended here is that each type of media, in its definition, is a language and not an apparatus. Using the concepts of Ludwig Wittgenstein, Jacques Derrida, Jean-François Lyotard and John R. Searle, the concepts of parergon and ergon are discussed. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38.  7
    Linguistic Argumentation and Logic: An Alternative Method Approach in Arabic Grammar.Solehah Yaacob - 2013 - Argument: Biannual Philosophical Journal 3 (2):405-428.
    Rozprawa podkreśla związek między językową argumentacją a logiką. Argumentacja językowa jest systemem językowym, który stosuje znaczenie wyrażeń ujętych w zdania do zarysowania pełnego znaczenia zdań, w nich bowiem konstytuują się zależności między wyrażeniami. Rzeczywiście, to powiązanie między wyrażeniami wzmacnia całościowe znaczenie począwszy od samych podstaw struktury zdania w logicznym powiązaniu idei. W nim znajduje się relacja między słowami a umysłem, zależna od logiki powiązanych ze sobą wypowiedzi. Aby podkreślić znaczenie przedstawionego wyżej sposobu myślenia, autorka zwraca się ku teorii wczesnej gramatyki (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39.  30
    On Language Adequacy.Urszula Wybraniec-Skardowska - 2015 - Studies in Logic, Grammar and Rhetoric 40 (1):257-292.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  40. Across-the-Board Binding Meets Verb Second.Anna Szabolcsi - 1990 - In M. Nespor & J. Mascaro (eds.), Grammar in progress. Foris.
    Right-node raising of anaphors and bound pronouns out of coordinations, as in "Every student likes, and every professor hates, himself / his neighbors" is judged more acceptable in German and Dutch than in English. Using combinatory categorial grammar, this paper ties the cross-linguistic difference to the fact that German and Dutch are V-2 languages, and V-2 necessitates a lifted category for verbs that automatically caters to the right-node raised duplicator. The same lifted category is optionally available in English, but (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41.  86
    Context Update for Lambdas and Vectors.Reinhard Muskens & Mehrnoosh Sadrzadeh - 2016 - In Maxime Amblard, Philippe de Groote, Sylvain Pogodalla & Christian Retoré (eds.), Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996--2016). Berlin Heidelberg: Springer. pp. 247--254.
    Vector models of language are based on the contextual aspects of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, the denotations of phrases, and their compositional properties. In the latter approach the denotation of a sentence determines its truth conditions and can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In this short paper, we develop a vector semantics for language based (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  42. Adjoints and Emergence: Applications of a New Theory of Adjoint Functors. [REVIEW]David Ellerman - 2007 - Axiomathes 17 (1):19-39.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  43.  53
    Aristoteles, Met. XII – eine Theologie?Erwin Sonderegger - 1996 - Méthexis:58–83.
    The aim of this article is to free Aristotle's Metaphysics, especially book XII (Lambda), frome some metaphysical and theological presuppositions by detecting their inappropriate conceptual framwork, which one was progressive, but now holds an obsolete position. Ousia, being (not substance, a much later concept, construed to solve other problems than Aristotle's), stand for a question, not for an answer. Book Lambda develops a highly speculative argument for this queston. The famous noesis noeseos says that empirical being and knowledge (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  44.  61
    "Real Places in Virtual Spaces".David Kolb - 2006 - Nordic Journal of Architectural Research 3:69-77.
    Despite what might seem to be the case, "Virtual" reality can be used to create fully "real" places with their own grammar and norms, where real events take place.
    Download  
     
    Export citation  
     
    Bookmark  
  45.  97
    Talking About Trees and Truth-Conditions.Reinhard Muskens - 2001 - Journal of Logic, Language and Information 10 (4):417-455.
    We present Logical Description Grammar (LDG), a model ofgrammar and the syntax-semantics interface based on descriptions inelementary logic. A description may simultaneously describe the syntacticstructure and the semantics of a natural language expression, i.e., thedescribing logic talks about the trees and about the truth-conditionsof the language described. Logical Description Grammars offer a naturalway of dealing with underspecification in natural language syntax andsemantics. If a logical description (up to isomorphism) has exactly onetree plus truth-conditions as a model, it completely specifies (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  46.  26
    Apollonius Dyscolus and the Ambiguity of Ambiguity.Catherine Atherton - 1995 - Classical Quarterly 45 (2):441-473.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Proofs Are Programs: 19th Century Logic and 21st Century Computing.Philip Wadler - manuscript
    As the 19th century drew to a close, logicians formalized an ideal notion of proof. They were driven by nothing other than an abiding interest in truth, and their proofs were as ethereal as the mind of God. Yet within decades these mathematical abstractions were realized by the hand of man, in the digital stored-program computer. How it came to be recognized that proofs and programs are the same thing is a story that spans a century, a chase with as (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48. The Philosophy of Generative Linguistics.Peter Ludlow - 2011 - Oxford University Press.
    Peter Ludlow presents the first book on the philosophy of generative linguistics, including both Chomsky's government and binding theory and his minimalist ...
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  49. Numerals and Quantifiers in X-Bar Syntax and Their Semantic Interpretation.Henk J. Verkuyl - 1981 - In Jeroen A. G. Groenendijk, Theo M. V. Janssen & Martin B. Stokhof (eds.), Formal Methods in the Study of Language Volume 2. U of Amsterdam. pp. 567-599.
    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).
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  50. What is an Attributive Adjective?Miles Rind & Lauren Tillinghast - 2008 - Philosophy 83 (1):77-88.
    Peter Geach’s distinction between logically predicative and logically attributive adjectives has gained a certain currency in philosophy. For all that, no satisfactory explanation of what an attributive adjective is has yet been provided. We argue that Geach’s discussion suggests two different ways of understanding the notion. According to one, an adjective is attributive just in case predications of it in combination with a noun fail to behave in inferences like a logical conjunction of two separate predications. According to the other, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 176