Results for 'formal linguistics'

1000+ found
Order:
  1. 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  
  2.  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  
  3.  5
    New Perspectives in Logic and Formal Linguistics: Proceedings of the Vth Roma Workshop.V. Michele Abrusci & Claudia Casadio - 2002
  4.  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.
  5.  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  
  6.  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  
  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 Anual West Coast Conference on Formal Linguistics (WCCFL 29). University of Arizona Linguistics Circle.
    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.  62
    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. 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  
  13. 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  
  14.  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  
  15.  3
    Formal logic and linguistics.Ernesto Zierer - 1972 - The Hague,: Mouton.
  16.  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  
  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.  93
    Group Theory and Computational Linguistics.Dymetman Marc - 1998 - Journal of Logic, Language and Information 7 (4):461-497.
    There is currently much interest in bringing together the tradition of categorial grammar, and especially the Lambek calculus, with the recent paradigm of linear logic to which it has strong ties. One active research area is designing non-commutative versions of linear logic (Abrusci, 1995; Retoré, 1993) which can be sensitive to word order while retaining the hypothetical reasoning capabilities of standard (commutative) linear logic (Dalrymple et al., 1995). Some connections between the Lambek calculus and computations in groups have long been (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  19.  48
    Formal properties of natural language and linguistic theories.C. Culy - 1996 - Linguistics and Philosophy 19 (6):599 - 617.
  20.  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  
  21.  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  
  22.  26
    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  
  23.  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.
  24. 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  
  25. 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  
  26.  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  
  27.  26
    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  
  28.  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  
  29. 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.
  30.  49
    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  
  31. 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 University Press.
     
    Export citation  
     
    Bookmark  
  32. Building Ontologies with Basic Formal Ontology.Robert Arp, Barry Smith & Andrew D. Spear - 2015 - Cambridge, MA: MIT Press.
    In the era of “big data,” science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   73 citations  
  33.  26
    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  
  34. 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  
  35.  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  
  36.  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   18 citations  
  37.  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  
  38.  8
    Linguistic Issues in Language Technology Vol 9: Perspectives on Semantic Representations for Textual Inference (Volume 9).Cleo Condoravdi, Valeria Correa Vaz De Paiva & Annie Else Zaenen - 2013 - Stanford, CA, USA: MIT Press.
    Linguistic Issues in Language Technology (LiLT) is an open-access journal that focuses on the relationships between linguistic insights and language technology. In conjunction with machine learning and statistical techniques, deeper and more sophisticated models of language and speech are needed to make significant progress in both existing and newly emerging areas of computational language analysis. The vast quantity of electronically accessible natural language data (text and speech, annotated and unannotated, formal and informal) provides unprecedented opportunities for data-intensive analysis of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  4
    Studies in Formal Historical Linguistics.Rosane Rocher & Henry M. Hoenigswald - 1975 - Journal of the American Oriental Society 95 (3):544.
  40. Formalization and the objects of logic.Georg Brun - 2008 - Erkenntnis 69 (1):1 - 30.
    There is a long-standing debate whether propositions, sentences, statements or utterances provide an answer to the question of what objects logical formulas stand for. Based on the traditional understanding of logic as a science of valid arguments, this question is firstly framed more exactly, making explicit that it calls not only for identifying some class of objects, but also for explaining their relationship to ordinary language utterances. It is then argued that there are strong arguments against the proposals commonly put (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  41. 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  
  42.  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  
  43. Linguistic politeness in social networks.Liping Tang - 2024 - Synthese 203 (6):1-24.
    From the viewpoint of information transaction models in linguistic pragmatics, expressions of linguistic politeness (LP) induce costs upon speakers. That speakers regularly “pay" such cost is what formal models of LP typically explain either by individual-level _strategic_ considerations (e.g., the speaker’s aim of avoiding a face-threat to the hearer) or community-level _conventional_ considerations (e.g., the use of LP as a relation-acknowledging device). Because these explanations are compatible, as each relates to the speaker and hearer’s social relation, we combine them (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  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  
  45. The formal approach to meaning: Formal semantics and its recent developments.Barbara Abbott - unknown
    Like Spanish moss on a live oak tree, the scientific study of meaning in language has expanded in the last 100 years, and continues to expand steadily. In this essay I want to chart some central themes in that expansion, including their histories and their important figures. Our attention will be directed toward what is called 'formal semantics', which is the adaptation to natural language of analytical techniques from logic.[1] The first, background, section of the paper will survey the (...)
     
    Export citation  
     
    Bookmark   3 citations  
  46. 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  
  47.  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  
  48.  16
    Situated Ideological Systems: A Formal Concept, a Computational Notation, some Applications.Antônio Carlos Rocha Costa - 2017 - Axiomathes 27 (1):15-78.
    This paper introduces a formal concept of ideology and ideological system. The formalization takes ideologies and ideological systems to be situated in agent societies. An ideological system is defined as a system of operations able to create, maintain, and extinguish the ideologies adopted by the social groups of agent societies. The concepts of group ideology, ideological contradiction, ideological dominance, and dominant ideology of an agent society, are defined. An ideology-based concept of social group is introduced. Relations between the proposed (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  8
    Situated Ideological Systems: A Formal Concept, a Computational Notation, some Applications.Antônio Rocha Costa - 2017 - Axiomathes 27 (1):15-78.
    This paper introduces a formal concept of ideology and ideological system. The formalization takes ideologies and ideological systems to be situated in agent societies. An ideological system is defined as a system of operations able to create, maintain, and extinguish the ideologies adopted by the social groups of agent societies. The concepts of group ideology, ideological contradiction, ideological dominance, and dominant ideology of an agent society, are defined. An ideology-based concept of social group is introduced. Relations between the proposed (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50. 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  
1 — 50 / 1000