Results for 'formal linguistics'

1000+ found
Order:
  1.  50
    Category theory, logic and formal linguistics: Some connections, old and new.Jean Gillibert & Christian Retoré - 2014 - Journal of Applied Logic 12 (1):1-13.
  2. The Theory of Life-world from the Perspective of Formal Linguistics.Hong Xia - 2006 - Modern Philosophy 4:47-52.
    Habermas absorb and integrate the achievements of contemporary philosophy of language, formed their own philosophy of language - in the form of pragmatics. This theory of speech acts by the meaning of the effectiveness of its intrinsic correlation between the demands of the analysis, pointed out the significance of speech acts only in the order presented in communicative action. Interpretation of speech acts in the ultimate source of the problem, Habermas introduces Husserl's "life-world" theory, and it was the transformation of (...)
     
    Export citation  
     
    Bookmark  
  3.  18
    Proceedings of the 17th West Coast Conference on Formal Linguistics.Kimary N. Shahin, Susan Blake & Eun-Sook Kim (eds.) - 1999 - CLSI.
    This is a compilation of papers presented at the Seventeenth Annual Meeting of the West Coast Conference on Formal Linguistics, held February 20-22, 1998 in Vancouver, Canada, hosted by the University of British Columbia Department of Linguistics. The conference drew a large number of participants, from around the world. The fifty papers in this volume address theoretical issues in Syntax, Phonology, the Syntax-Semantics and Syntax-Phonology interfaces, and Language Acquisition, and provide an exciting view of current theory in (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  14
    Modelling with Words: Learning, Fusion, and Reasoning Within a Formal Linguistic Representation Framework.Jonathan Lawry - 2003 - Springer Verlag.
    Modelling with Words is an emerging modelling methodology closely related to the paradigm of Computing with Words introduced by Lotfi Zadeh. This book is an authoritative collection of key contributions to the new concept of Modelling with Words. A wide range of issues in systems modelling and analysis is presented, extending from conceptual graphs and fuzzy quantifiers to humanist computing and self-organizing maps. Among the core issues investigated are - balancing predictive accuracy and high level transparency in learning - scaling (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  25
    Linguistics and the Formal Sciences: The Origins of Generative Grammar.Marcus Tomalin - 2006 - Cambridge University Press.
    The formal sciences, particularly mathematics, have had a profound influence on the development of linguistics. This insightful overview looks at techniques that were introduced in the fields of mathematics, logic and philosophy during the twentieth century, and explores their effect on the work of various linguists. In particular, it discusses the 'foundations crisis' that destabilised mathematics at the start of the twentieth century, the numerous related movements which sought to respond to this crisis, and how they influenced the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  6.  5
    New Perspectives in Logic and Formal Linguistics: Proceedings of the Vth Roma Workshop.V. Michele Abrusci & Claudia Casadio - 2002
  7. Proceedings of the Poster Session of the 29th Annual West Coast Conference on Formal Linguistics (WCCFL 29).Hiroki Nomoto - forthcoming - In Proceedings of the Poster Session of the 29th Annual West Coast Conference on Formal Linguistics (WCCFL 29).
    Dayal's (2004) theory of kind terms accounts for the definiteness and number marking patterns in kind terms in many languages. Brazilian Portuguese has been claimed to be a counter-example to her theory as it seems to allow bare ``singular'' kind terms, which are predicted to be impossible according to her theory. However, the empirical status of the relevant data has not been clear so far. This paper presents a new data point from Singlish and confirms the existence of bare ``singular'' (...)
     
    Export citation  
     
    Bookmark  
  8.  21
    Two Text Grammatical Models: A Contribution to Formal Linguistics and the Theory of Narrative.Teun A. Van Dijk, Jens Ihwe, János S. Petöfi & Hannes Rieser - 1972 - Foundations of Language 8 (4):499-545.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9. Super Linguistics: an introduction.Pritty Patel-Grosz, Salvador Mascarenhas, Emmanuel Chemla & Philippe Schlenker - 2023 - Linguistics and Philosophy Super Linguistics Special Issue.
    We argue that formal linguistic theory, properly extended, can provide a unifying framework for diverse phenomena beyond traditional linguistic objects. We display applications to pictorial meanings, visual narratives, music, dance, animal communication, and, more abstractly, to logical and non-logical concepts in the ‘language of thought’ and reasoning. In many of these cases, a careful analysis reveals that classic linguistic notions are pervasive across these domains, such as for instance the constituency (or grouping) core principle of syntax, the use of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  48
    Structural Linguistics And Formal Semantics.Jaro Slav Peregrin - unknown
    The beginning of this century hailed a new paradigm in linguistics, the paradigm brought about by de Saussure's Cours de Linguistique Generale and subsequently elaborated by Jakobson, Hjelmslev and other linguists. It seemed that the linguistics of this century was destined to be structuralistic. However, half of the century later a brand new paradigm was introduced by Chomsky's Syntactic Structures followed by Montague's formalization of semantics. This new turn has brought linguistics surprisingly close to mathematics and logic, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  63
    Structural Linguistics And Formal Semantics.Jaroslav Peregrin - unknown
    The beginning of this century hailed a new paradigm in linguistics, the paradigm brought about by de Saussure's Cours de Linguistique Genérále and subsequently elaborated by Jakobson, Hjelmslev and other linguists. It seemed that the linguistics of this century was destined to be structuralistic. However, half of the century later a brand new paradigm was introduced by Chomsky's Syntactic Structures followed by Montague's formalization of semantics. This new turn has brought linguistics surprisingly close to mathematics and logic, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  12. Changing notions of linguistic competence in the history of formal semantics.Barbara H. Partee - 2018 - In Derek Ball & Brian Rabern (eds.), The Science of Meaning: Essays on the Metatheory of Natural Language Semantics. Oxford: Oxford University Press. pp. 172-196.
    In the history of formal semantics, the successful joining of linguistic and philosophical work brought with it some difficult foundational questions concerning the nature of meaning and the nature of knowledge of language in the domain of semantics: questions in part about “what’s in the head” of a competent language-user. This paper, part of a project on the history of formal semantics, revisits the central issues of (Partee, 1979) in a historical context, as a clash between two traditions, (...)
     
    Export citation  
     
    Bookmark  
  13.  15
    Some Linguistic Puzzles Related to Formal Logic.Dennis Temple - 1976 - Dialectica 30 (2‐3):111-116.
    Summary“There are some types of reasoning which are acceptable in a given situation but not justifiable according to the rules of formal logic. This sort of reasoning seems to depend on a judgment about what the speaker knows along with an Assumption of Maximum Information, that if the speaker is serious he is making the logically strongest statement he knows to be true. Because such reasoning can be informally correct, formal logic should be understood as establishing rules not (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  1
    Bridging the Chasm Between Cognitive Representations and Formal Structures of Linguistic Meanings.Prakash Mondal - 2024 - Cognitive Science 48 (5):e13456.
    This paper aims to show that properties of cognitive/conceptual representations and formal‐logical structures of linguistic meaning can be inter‐translated, recast, transformed into one another, and so united together, even though cognitive/conceptual representations and formal‐logical structures of linguistic meaning are apparently distinct in ontology and divergent in their form or character. While cognitive/conceptual representations are ultimately rooted in sensory‐motor systems, formal‐logical structures of linguistic meaning are abstractions detached from and independent of the actualized world. This paper sketches out (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  10
    Foundations of the Formal Sciences Ii: Applications of Mathematical Logic in Philosophy and Linguistics.Benedikt Löwe, Wolfgang Malzkorn & Thoralf Räsch (eds.) - 2003 - Springer Verlag.
    "Foundations of the Formal Sciences" is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main goal is to reestablish the traditionally strong links between these areas of research that have been lost in the past decades. The second conference in the series had the subtitle "Applications of Mathematical Logic in Philosophy and Linguistics" and brought speakers from all parts of the Formal Sciences together to give a holistic view of how mathematical (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  48
    Formal properties of natural language and linguistic theories.C. Culy - 1996 - Linguistics and Philosophy 19 (6):599 - 617.
  17.  10
    Formal Proof or Linguistic Process? Beth and Hintikka on Kant’s Use of ‘Analytic’.Jeanne Peijnenburg - 1994 - Kant Studien 85 (2):160-178.
  18.  3
    Formal logic and linguistics.Ernesto Zierer - 1972 - The Hague,: Mouton.
  19.  27
    Philosophy of Language and Linguistics: Volume I: The Formal Turn; Volume II: The Philosophical Turn.Piotr Stalmaszczyk (ed.) - 2010 - De Gruyter.
    Introduction. PHilosophy of Language and Linguistics: The Formal Turn Piotr Stalmaszczyk Gottlob Frege, Philosophy of Language, and Predication Piotr Stalmaszczyk Philosophy, Linguistics and Semantic Interpretation Christian Bassac An Unresolved Issue: Nonsense in Natural Language and Non-Classical Logical and Semantic Systems Elzbieta Chrzanowska-Kluczewska Varieties of Context-Dependence Tadeusz Ciecierski The Logos of Semantic Structure Marie Du í, Bjørn Jespersen and Pavel Materna The Good Samaritan and the Hygienic Cook: A Cautionary Tale About Linguistic Data Chris Fox The Meaning of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  27
    Super Linguistics: an introduction.Pritty Patel-Grosz, Salvador Mascarenhas, Emmanuel Chemla & Philippe Schlenker - 2023 - Linguistics and Philosophy 46 (4):627-692.
    We argue that formal linguistic theory, properly extended, can provide a unifying framework for diverse phenomena beyond traditional linguistic objects. We display applications to pictorial meanings, visual narratives, music, dance, animal communication, and, more abstractly, to logical and non-logical concepts in the ‘language of thought’ and reasoning. In many of these cases, a careful analysis reveals that classic linguistic notions are pervasive across these domains, such as for instance the constituency (or grouping) core principle of syntax, the use of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  12
    Foundations of the Formal Sciences Ii: Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference Held in Bonn, November 10–13, 2000.Benedikt Löwe, Wolfgang Malzkom & Thoralf Räsch (eds.) - 2003 - Dordrecht, Netherland: Springer.
    "Foundations of the Formal Sciences" is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main goal is to reestablish the traditionally strong links between these areas of research that have been lost in the past decades. The second conference in the series had the subtitle "Applications of Mathematical Logic in Philosophy and Linguistics" and brought speakers from all parts of the Formal Sciences together to give a holistic view of how mathematical (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  17
    The Puzzling Chasm Between Cognitive Representations and Formal Structures of Linguistic Meanings.Prakash Mondal - 2022 - Cognitive Science 46 (9):e13200.
    Natural language meaning has properties of both (embodied) cognitive representations and formal/mathematical structures. But it is not clear how they actually relate to one another. This article argues that how properties of cognitive representations and formal/mathematical structures of natural language meaning can be united remains one of the puzzles in cognitive science. That is primarily because formal/mathematical structures of natural language meaning are abstract, logical, and truth‐conditional properties, whereas cognitive/conceptual representations are embodied and grounded in sensory‐motor systems. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23. The development of formal semantics in linguistic theory.Barbara H. Partee - 1996 - In Shalom Lappin (ed.), The handbook of contemporary semantic theory. Cambridge, Mass., USA: Blackwell Reference. pp. 11--38.
     
    Export citation  
     
    Bookmark   9 citations  
  24.  22
    Non‐Arbitrariness in Mapping Word Form to Meaning: Cross‐Linguistic Formal Markers of Word Concreteness.Jamie Reilly, Jinyi Hung & Chris Westbury - 2017 - Cognitive Science 41 (4):1071-1089.
    Arbitrary symbolism is a linguistic doctrine that predicts an orthogonal relationship between word forms and their corresponding meanings. Recent corpora analyses have demonstrated violations of arbitrary symbolism with respect to concreteness, a variable characterizing the sensorimotor salience of a word. In addition to qualitative semantic differences, abstract and concrete words are also marked by distinct morphophonological structures such as length and morphological complexity. Native English speakers show sensitivity to these markers in tasks such as auditory word recognition and naming. One (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  25. Foundations of The Formal Sciences II. Applications of Mathematical Logic in Philosophy and Linguistics [Trends in Logic].Benedikt Löwe, Wolfgang Malzkorn & Thoralf Räsch (eds.) - 2003 - Kluwer Academic Publishers.
  26.  8
    A Basis for a Formal Semantics of Linguistic Formulations of Science.Jose-Luis Falguera - 1997 - Poznan Studies in the Philosophy of the Sciences and the Humanities 61:255-276.
  27. Linguistic semantics: an introduction.John Lyons - 1995 - New York: Cambridge University Press.
    Linguistic Semantics: An Introduction is the successor to Sir John Lyons's important textbook Language, Meaning and Context (1981).While preserving the general structure of the earlier book, the author has substantially expanded its scope to introduce several topics that were not previously discussed, and to take account of new developments in linguistic semantics over the past decade. The resulting work is an invaluable guide to the subject, offering clarifications of its specialised terms and explaining its relationship to formal and philosophical (...)
    Direct download  
     
    Export citation  
     
    Bookmark   36 citations  
  28.  14
    Beginning Arabic. A Linguistic Approach: From Cultivated Cairene to Formal Arabic.Ernest T. Abdel-Massih, Sami A. Hanna & Naguib Greis - 1975 - Journal of the American Oriental Society 95 (2):356.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  29. Changing notions of linguistic competence in the history of formal semantics.Barbara H. Partee - 2018 - In Derek Ball & Brian Rabern (eds.), The Science of Meaning: Essays on the Metatheory of Natural Language Semantics. Oxford: Oxford University Press.
     
    Export citation  
     
    Bookmark  
  30.  87
    Formal semantics in modern type theories with coercive subtyping.Zhaohui Luo - 2012 - Linguistics and Philosophy 35 (6):491-513.
    In the formal semantics based on modern type theories, common nouns are interpreted as types, rather than as predicates of entities as in Montague’s semantics. This brings about important advantages in linguistic interpretations but also leads to a limitation of expressive power because there are fewer operations on types as compared with those on predicates. The theory of coercive subtyping adequately extends the modern type theories and, as shown in this paper, plays a very useful role in making type (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  31.  27
    Hebrew Computational Linguistics: A Bulletin for Formal, Computational, Applied Linguistics, and Modern Hebrew.Alan S. Kaye & Ora Scharzwald - 1982 - Journal of the American Oriental Society 102 (1):195.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  26
    Yoad Winter’s Elements of Formal Semantics, 2016, Edinburgh Advanced Textbooks in Linguistics : Paperback, pp. 258. ISBN 978 0 7486 4043 0.Edward L. Keenan - 2018 - Journal of Logic, Language and Information 27 (2):175-192.
    Elements of Formal Semantics has already been reviewed twice :42, 2016; Erlewine in Comput Linguist 42:837–839, 2017). As well, the website for the work is accompanied by evaluative quotes by noted scholars. All are very positive concerning its clarity and its utility as an introduction to formal semantics for natural language. As I agree with these evaluations my interest in reiterating them in slightly different words is limited. So my reviews of the content chapters will be accompanied by (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  4
    Studies in Formal Historical Linguistics.Rosane Rocher & Henry M. Hoenigswald - 1975 - Journal of the American Oriental Society 95 (3):544.
  34.  50
    Linguistic Knowledge and Unconscious Computations.Luigi Rizzi - 2016 - Rivista Internazionale di Filosofia e Psicologia 7 (3):338-349.
    : The open-ended character of natural languages calls for the hypothesis that humans are endowed with a recursive procedure generating sentences which are hierarchically organized. Structural relations such as c-command, expressed on hierarchical sentential representations, determine all sorts of formal and interpretive properties of sentences. The relevant computational principles are well beyond the reach of conscious introspection, so that studying such properties requires the formulation of precise formal hypotheses, and empirically testing them. This article illustrates all these aspects (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Linguistic experiments and ordinary language philosophy.Nat Hansen & Emmanuel Chemla - 2015 - Ratio 28 (4):422-445.
    J.L. Austin is regarded as having an especially acute ear for fine distinctions of meaning overlooked by other philosophers. Austin employs an informal experimental approach to gathering evidence in support of these fine distinctions in meaning, an approach that has become a standard technique for investigating meaning in both philosophy and linguistics. In this paper, we subject Austin's methods to formal experimental investigation. His methods produce mixed results: We find support for his most famous distinction, drawn on the (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  36.  4
    Elements of formal semantics: an introduction to the mathematical theory of meaning in natural language.Yoad Winter - 2016 - Edinburgh: Edinburgh University Press.
    In formal semantics, structure is treated as the essential ingredient in the creation of sentence meaning from individual word meaning. This book introduces some of the foundational concepts, principles and techniques in the formal semantics of natural language and outlines the mathematical principles that underlie linguistics meaning. Using English examples, Yoad Winter presents the most useful tools and concepts of formal semantics in an accessible style and includes a variety of practical exercises so that readers can (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  37. A formal treatment of the pragmatics of questions and attitudes.Maria Aloni - 2005 - Linguistics and Philosophy 28 (5):505 - 539.
    This article discusses pragmatic aspects of our interpretation of intensional constructions like questions and prepositional attitude reports. In the first part, it argues that our evaluation of these constructions may vary relative to the identification methods operative in the context of use. This insight is then given a precise formalization in a possible world semantics. In the second part, an account of actual evaluations of questions and attitudes is proposed in the framework of bi-directional optimality theory. Pragmatic meaning selections are (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  38. Formal analyticity.Zeynep Soysal - 2018 - Philosophical Studies 175 (11):2791-2811.
    In this paper, I introduce and defend a notion of analyticity for formal languages. I first uncover a crucial flaw in Timothy Williamson’s famous argument template against analyticity, when it is applied to sentences of formal mathematical languages. Williamson’s argument targets the popular idea that a necessary condition for analyticity is that whoever understands an analytic sentence assents to it. Williamson argues that for any given candidate analytic sentence, there can be people who understand that sentence and yet (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  39. Formal Semantics and Applied Mathematics: An Inferential Account.Ryan M. Nefdt - 2020 - Journal of Logic, Language and Information 29 (2):221-253.
    In this paper, I utilise the growing literature on scientific modelling to investigate the nature of formal semantics from the perspective of the philosophy of science. Specifically, I incorporate the inferential framework proposed by Bueno and Colyvan : 345–374, 2011) in the philosophy of applied mathematics to offer an account of how formal semantics explains and models its data. This view produces a picture of formal semantic models as involving an embedded process of inference and representation applying (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40. Formal Semantics: Origins, Issues, Early Impact.Barbara H. Partee - 2010 - The Baltic International Yearbook of Cognition, Logic and Communication 6 (1).
    Formal semantics is an approach to SEMANTICS1, the study of meaning, with roots in logic, the philosophy of language, and linguistics, and since the 1980’s a core area of linguistic theory. Characteristics of formal semantics to be treated in this article include the following: Formal semanticists treat meaning as mind-independent (though abstract), contrasting with the view of meanings as concepts “in the head” (see I-LANGUAGE AND E-LANGUAGE and MEANING EXTERNALISM AND INTERNALISM); formal semanticists distinguish semantics (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  41.  6
    Modeling, linguistic representations, and complex networks.Juan Bautista Bengoetxea - 2023 - Veritas: Revista de Filosofía y Teología 56:109-134.
    Resumen En el texto se expone un proceso de modelación basado en dos consideraciones (Sec. 2): que los modelos son autónomos y que sus metas directas son al menos tres: estar bien construidos, adecuarse al mundo empírico y ser capaces de realizar tareas subrogatorias. Para ello, se esbozan varios ingredientes fundamentales de la tarea modeladora en la lingüística basada en evidencias, así como los de un marco formal elegido para representar aquellos. La tercera sección está dedicada a aplicar el (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  28
    Linguistic Intuitions: Evidence and Method.Samuel Schindler, Anna Drożdżowicz & Karen Brøcker - 2020 - Oxford, UK: Oxford University Press.
    This book examines the evidential status and use of linguistic intuitions, a topic that has seen increased interest in recent years. Linguists use native speakers' intuitions - such as whether or not an utterance sounds acceptable - as evidence for theories about language, but this approach is not uncontroversial. The two parts of this volume draw on the most recent work in both philosophy and linguistics to explore the two major issues at the heart of the debate. Chapters in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43. Formal Semantics: Origins, Issues, Early Impact.Barbara H. Partee - 2011 - The Baltic International Yearbook of Cognition, Logic and Communication 6:13.
    Formal semantics and pragmatics as they have developed since the late 1960's have been shaped by fruitful interdisciplinary collaboration among linguists, philosophers, and logicians, among others, and in turn have had noticeable effects on developments in syntax, philosophy of language, computational linguistics, and cognitive science.In this paper I describe the environment in which formal semantics was born and took root, highlighting the differences in ways of thinking about natural language semantics in linguistics and in philosophy and (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  44.  42
    Linguistic Turns in Modern Philosophy.Michael Losonsky - 2006 - New York: Cambridge University Press.
    This book traces the linguistic turns in the history of modern philosophy and the development of the philosophy of language from Locke to Wittgenstein. It examines the contributions of canonical figures such as Leibniz, Mill, Frege, Russell, Wittgenstein, Austin, Quine, and Davidson, as well as those of Condillac, Humboldt, Chomsky, and Derrida. Michael Losonsky argues that the philosophy of language begins with Locke's Essay Concerning Human Understanding. He shows how the history of the philosophy of language in the modern period (...)
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  45.  13
    Notes on language games as a source of methods for studying the formal properties of linguistic events1.Harold Garfinkel - 2019 - European Journal of Social Theory 22 (2):148-174.
    One of three distinct approaches to his famous ‘Trust’ argument, this paper written by Garfinkel in 1960, and never before published, proposed a rethinking of rules, games and linguistic classifications in interactional terms consistent with Wittgenstein’s language games. Garfinkel had been working in collaboration with Parsons since 1958 to craft an approach to culture that would replace conceptual classification with the constitutive expectancies of interaction and systems of interaction. The argument challenged the work of cultural anthropologists influenced by zoology and (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  46. Formal semantics: an introduction.Ronnie Cann - 1993 - New York, NY, USA: Cambridge University Press.
    This accessible introduction to formal, and especially Montague, semantics within a linguistic framework, presupposes no previous background in logic, but takes students step-by-step from simple predicate/argument structures and their interpretation to Montague's intentional logic.
    Direct download  
     
    Export citation  
     
    Bookmark   21 citations  
  47. A Formal Model of Metaphor in Frame Semantics.Vasil Penchev - 2015 - In Proceedings of the 41st Annual Convention of the Society for the Study of Artificial Intelligence and the Simulation of Behaviour. New York: Curran Associates, Inc.. pp. 187-194.
    A formal model of metaphor is introduced. It models metaphor, first, as an interaction of “frames” according to the frame semantics, and then, as a wave function in Hilbert space. The practical way for a probability distribution and a corresponding wave function to be assigned to a given metaphor in a given language is considered. A series of formal definitions is deduced from this for: “representation”, “reality”, “language”, “ontology”, etc. All are based on Hilbert space. A few statements (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  48.  98
    Formal Ontology in Information Systems (FOIS).Barry Smith & Christopher Welty (eds.) - 2001 - ACM Press.
    Researchers in areas such as artificial intelligence, formal and computational linguistics, biomedical informatics, conceptual modeling, knowledge engineering and information retrieval have come to realise that a solid foundation for their research calls for serious work in ontology, understood as a general theory of the types of entities and relations that make up their respective domains of inquiry. In all these areas, attention is now being focused on the content of information rather than on just the formats and languages (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  49.  18
    Formalizing the Dynamics of Information.Martina Faller, Stefan C. Kaufmann, Marc Pauly & Center for the Study of Language and Information S.) - 2000 - Center for the Study of Language and Information Publications.
    The papers collected in this volume exemplify some of the trends in current approaches to logic, language and computation. Written by authors with varied academic backgrounds, the contributions are intended for an interdisciplinary audience. The first part of this volume addresses issues relevant for multi-agent systems: reasoning with incomplete information, reasoning about knowledge and beliefs, and reasoning about games. Proofs as formal objects form the subject of Part II. Topics covered include: contributions on logical frameworks, linear logic, and different (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  50.  27
    Mathematical Methods in Linguistics.Barbara Partee, Alice ter Meulen & Robert Wall - 1987 - Boston, MA, USA: Kluwer Academic Publishers.
    Elementary set theory accustoms the students to mathematical abstraction, includes the standard constructions of relations, functions, and orderings, and leads to a discussion of the various orders of infinity. The material on logic covers not only the standard statement logic and first-order predicate logic but includes an introduction to formal systems, axiomatization, and model theory. The section on algebra is presented with an emphasis on lattices as well as Boolean and Heyting algebras. Background for recent research in natural language (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
1 — 50 / 1000