Results for ' Language and logic'

958 found
Order:
  1. Charles Davis.Some Semantically Closed Languages - 1974 - In Edgar Morscher, Johannes Czermak & Paul Weingartner, Problems in logic and ontology. Graz: Akadem. Druck- u. Verlagsanst..
    No categories
     
    Export citation  
     
    Bookmark  
  2.  7
    A logical formalisation of false belief tasks.R. Velázquez-Quesada A. Institute for Logic Anthia Solaki Fernando, Computation Language, Netherlandsb Netherlands Organization for Applied Scientific Research, Media Studies Netherlandsc Information Science & Norway - forthcoming - Journal of Applied Non-Classical Logics:1-51.
    Theory of Mind (ToM), the cognitive capacity to attribute internal mental states to oneself and others, is a crucial component of social skills. Its formal study has become important, witness recent research on reasoning and information update by intelligent agents, and some proposals for its formal modelling have put forward settings based on Epistemic Logic (EL). Still, due to intrinsic idealisations, it is questionable whether EL can be used to model the high-order cognition of ‘real’ agents. This manuscript proposes (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  22
    The language of logic.Morton L. Schagrin - 1968 - New York,: Random House.
  4.  56
    Quantifiers in natural languages: Some logical problems II. [REVIEW]Jaakko Hintikka - 1977 - Linguistics and Philosophy 1 (2):153 - 172.
  5.  19
    The language of logic.Hans Freudenthal - 1966 - New York,: Elsevier Pub. Co..
  6.  5
    Black Mischief: Language, Life, Logic, Luck.David Berlinski - 1988 - Mariner Books.
    A protean look at the science establishment-as well as the personalities behind the scenes-in such fields as behavioral psychology, linguistics, and economics.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  60
    Samuel Guttenplan,The Languages of Logic: An Introduction to Formal Logic[REVIEW]Nimrod Bar-Am - 1999 - Pragmatics and Cognition 7 (1):239-242.
  8. The languages of logic: an introduction to formal logic.Samuel D. Guttenplan - 1997 - Malden, Mass.: Blackwell.
    With the same intellectual goals as the first edition, this innovative introductory logic textbook explores the relationship between natural language and logic, motivating the student to acquire skills and techniques of formal logic. This new and revised edition includes substantial additions which make the text even more useful to students and instructors alike. Central to these changes is an Appendix, 'How to Learn Logic', which takes the student through fourteen compact and sharply directed lessons with (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  56
    The languages of logic: an introduction.Samuel D. Guttenplan - 1987 - New York, NY, USA: Blackwell.
    "With the same intellectual goals as the first edition, this innovative introductory logic textbook explores the relationship between natural language and logic, motivating the student to acquire skills and techniques of formal logic. This new and revised edition includes substantial additions which make the text even more useful to students and instructors alike. Central to these changes is an Appendix, 'How to Learn Logic', which takes the student through fourteen compact and sharply directed lessons with (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10.  7
    Learning Language in Logic.James Cussens & Saso Dzeroski - 2000 - Springer Verlag.
    The two-volume set LNCS 1842/1843 constitutes the refereed proceedings of the 6th European Conference on Computer Vision, ECCV 2000, held in Dublin, Ireland in June/July 2000. The 116 revised full papers presented were carefully selected from a total of 266 submissions. The two volumes offer topical sections on recognitions and modelling; stereoscopic vision; texture and shading; shape; structure from motion; image features; active, real-time, and robot vision; segmentation and grouping; vision systems engineering and evaluation; calibration; medical image understanding; and visual (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Logical constants in quantifier languages.Dag Westerståhl - 1985 - Linguistics and Philosophy 8 (4):387 - 413.
  12.  54
    Overcoming “Overcoming Metaphysics Through Logical Analysis of Language” Through Logical Analysis of Language.Jaakko Hintikka - 1991 - Dialectica 45 (2‐3):203-218.
    SummaryCarnap tried to overcome metaphysics through a distinction between empirical and conceptual truths. The distinction has since been challenged, but not on the basis of a systematic logical analysis of language. It is suggested here that the logical theory of identifiability based on the author's interrogative model will provide the tools for such a systematic analysis. As an example of what the model can do, a criticism is offered of Quine's and Chomsky's implicit assumption that language learning is (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  6
    I. language, logic, encyclopedia.Catherine Wilson - 1992 - In Donald Rutherford, Leibniz's Metaphysics: A Historical and Comparative Study. Duke University Press. pp. 7-44.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  14. A Plea for Automated Language-to-Logical-Form Converters.Joseph S. Fulda - 2006 - RASK 24:87-102.
    This has been made available gratis by the publisher. -/- This piece gives the raison d'etre for the development of the converters mentioned in the title. Three reasons are given, one linguistic, one philosophical, and one practical. It is suggested that at least /two/ independent converters are needed. -/- This piece ties together the extended paper "Abstracts from Logical Form I/II," and the short piece providing the comprehensive theory alluded to in the abstract of that extended paper in "Pragmatics, Montague, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  21
    Deductive Logic in Natural Language.Douglas Cannon - 1999 - Peterborough, Canada: Broadview Press.
    This text offers an innovative approach to the teaching of logic, which is rigorous but entirely non-symbolic. By introducing students to deductive inferences in natural language, the book breaks new ground pedagogically. Cannon focuses on such topics as using a tableaux technique to assess inconsistency; using generative grammar; employing logical analyses of sentences; and dealing with quantifier expressions and syllogisms. An appendix covers truth-functional logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  14
    Do language models lack communicative intentions?Nuhu Osman Attah - 2025 - Synthese 205 (5):1-23.
    In some recent work, some psychologists, linguists, AI researchers, and philosophers (e.g., Shanahan, 2022; Bender & Koller, 2020; Montemayor, 2021; Bender et al., 2021) have argued that, despite producing convincing human-like linguistic output, large language models do not possess linguistic competence on the ground that they lack communicative intention. Among the proponents of this position, the notion of communicative intention is entertained as the liveliest candidate for a distinguishing characteristic of human cognition vis-a-vis LLMs and as such as at (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. Logical Conceptualization of Knowledge on the Notion of Language Communication.Urszula Wybraniec-Skardowska - 2017 - Studies in Logic, Grammar and Rhetoric 52 (1):247-269.
    The main objective of the paper is to provide a conceptual apparatus of a general logical theory of language communication. The aim of the paper is to outline a formal-logical theory of language in which the concepts of the phenomenon of language communication and language communication in general are defined and some conditions for their adequacy are formulated. The theory explicates the key notions of contemporary syntax, semantics, and pragmatics. The theory is formalized on two levels: (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18. The language of thought as a logically perfect language.Andrea Bianchi - 2020 - In Vincenzo Idone Cassone, Jenny Ponzo & Mattia Thibault, Languagescapes. Ancient and Artificial Languages in Today's Culture. pp. 159-168.
    Between the end of the nineteenth century and the first twenty years of the twentieth century, stimulated by the impetuous development of logical studies and taking inspiration from Leibniz's idea of a characteristica universalis, the three founding fathers of the analytic tradition in philosophy, i.e., Frege, Russell, and Wittgenstein, started to talk of a logically perfect language, as opposed to natural languages, all feeling that the latter were inadequate to their (different) philosophical purposes. In the second half of the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  19. Logic as an internal organisation of language.Boris Čulina - 2024 - Science and Philosophy 12 (1):62-71.
    Contemporary semantic description of logic is based on the ontology of all possible interpretations, an insufficiently clear metaphysical concept. In this article, logic is described as the internal organization of language. Logical concepts -- logical constants, logical truths, and logical consequence -- are defined using the internal syntactic and semantic structure of language. For a first-order language, it has been shown that its logical constants are connectives and a certain type of quantifiers for which the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20.  37
    The languages of relevant logic: a model-theoretic perspective.Guillermo Badia Hernandez - unknown
    A traditional aspect of model theory has been the interplay between formal languages and mathematical structures. This dissertation is concerned, in particular, with the relationship between the languages of relevant logic and Routley-Meyer models. One fundamental question is treated: what is the expressive power of relevant languages in the Routley-Meyer framework? In the case of finitary relevant propositional languages, two answers are provided. The first is that finitary propositional relevant languages are the fragments of first order logic preserved (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21. Ordinary Language Criticisms of Logical Positivism.Paul L. Franco - 2018 - Hopos: The Journal of the International Society for the History of Philosophy of Science 8 (1):157-190.
    In this paper, I fill out the received view of logical positivism within professional philosophy against which Thomas Kuhn’s Structure appeared. To do this, I look at the methodological dimensions of ordinary language criticisms of logical positivist analysis from P.F. Strawson and J.L. Austin. While no one would confuse Strawson and Austin for philosophers of science, I look to their criticisms given the general porousness of sub-disciplinary boundaries in mid-20th century philosophy, the prominence of ordinary language philosophy in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  2
    Logic of Religious Language.Santosh Chandra Sen Gupta - 1978 - Calcutta: Prajñā.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  25
    Functional logical semiotics of natural language.Joanna Odrowąż-Sypniewska - 2021 - Semiotica 2021 (240):5-22.
    In the first part of my paper I briefly present Jerzy Pelc’s functional approach to logical semiotics of natural language. This approach focuses on the use of natural language expressions and on its dependence on context and conversational situation. One of the important goals of this analysis is to appreciate the role of sentences in natural language and stress that it is by means of sentences that language fulfills its main roles. However, for Pelc almost any (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  53
    Logical Form in Natural Language.Gilbert Harman - 1986 - Philosophy and Phenomenological Research 47 (2):340-343.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  25.  48
    The logics of a universal language.Eduardo Alejandro Barrio & Edson Bezerra - 2024 - Asian Journal of Philosophy 3 (1):1-22.
    Semantic paradoxes pose a real threat to logics that attempt to be capable of expressing their own semantic concepts. Particularly, Curry paradoxes seem to show that many solutions must change our intuitive concepts of truth or validity or impose limits on certain inferences that are intuitively valid. In this way, the logic of a universal language would have serious problems. In this paper, we explore a different solution that tries to avoid both limitations as much as possible. Thus, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26. The Logicality of Language: Contextualism versus Semantic Minimalism.Guillermo Del Pinal - 2022 - Mind 131 (522):381-427.
    The logicality of language is the hypothesis that the language system has access to a ‘natural’ logic that can identify and filter out as unacceptable expressions that have trivial meanings—that is, that are true/false in all possible worlds or situations in which they are defined. This hypothesis helps explain otherwise puzzling patterns concerning the distribution of various functional terms and phrases. Despite its promise, logicality vastly over-generates unacceptability assignments. Most solutions to this problem rest on specific stipulations (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  27.  17
    “Logical Lantern”: Analogue of the Square of Opposition for Propositions in V.I. Markin’s Universal Language for Traditional Positive Syllogistic Theories.Oksana Cherkashina - 2024 - Logica Universalis 18 (1):35-47.
    In this paper is constructed an analogue of the square of opposition for propositions about relations between two non-empty sets. Unlike the classical square of opposition, the proposed scheme uses all logically possible syllogistic constants, formulated in V.I. Markin’s universal language for traditional positive syllogistic theories. This scheme can be called “Logical lantern”. The basic constants of this language are representing the five basic relations between two non-empty sets: equity, strict inclusion, reversed strict inclusion, intersection and exclusion (considered (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  63
    Logicality in natural language.Gil Sagi - 2024 - Philosophical Studies 181 (5):1067-1085.
    Is there a relation of logical consequence in natural language? Logicality, in the philosophical literature, has been conceived of as a restrictive phenomenon that is at odds with the unbridled richness and complexity of natural language. This article claims that there is a relation of logical consequence in natural language, and moreover, that it is the subject matter of the bulk of current theories of formal semantics. I employ the framework of _semantic constraints_ (Sagi in Log Anal (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  93
    From Logic to Language to Play a Plenary Address to the InterAmerican Congress.Richard Rorty - 1986 - Proceedings and Addresses of the American Philosophical Association 59 (5):747 - 753.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30. (2 other versions)The Logic of Language Change.Kolb David - 2006 - Proceedings of the Hegel Society of America 17:179-195.
    A discussion of the relation of dialectical transitions in Hegel's speculative logic to changes in categories and grammar in the empirical historical languages.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  29
    Logic or the psychology of language.Louis O. Kattsoff - 1955 - Philosophy and Phenomenological Research 16 (1):108-112.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  32. Logic, Language & Information: The Makings of a New Science?Johan van Benthem - forthcoming - Journal of Logic, Language, and Information.
  33. A logical processing of sentences to prevent some types of incoherences in natural language interfaces.Elisabeth Godbert - forthcoming - Communication and Cognition-Artificial Intelligence.
     
    Export citation  
     
    Bookmark  
  34. Logical Syntax of Language.Rudolf Carnap - 1937 - London,: Routledge. Edited by Amethe Smeaton.
    First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   112 citations  
  35. (1 other version)The logical problem of language acquisition.Fiona Cowie - 1997 - Synthese 111 (1):17-51.
    Arguments from the Logical Problem of Language Acquisition suggest that since linguistic experience provides few negative data that would falsify overgeneral grammatical hypotheses, innate knowledge of the principles of Universal Grammar must constrain learners hypothesis formulation. Although this argument indicates a need for domain-specific constraints, it does not support their innateness. Learning from mostly positive data proceeds unproblematically in virtually all domains. Since not every domain can plausibly be accorded its own special faculty, the probative value of the argument (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  36.  43
    Language as an Instrument for Dispute Resolution in Modern Justice.Anna K. Drabarz, Tomasz Kałużny & Stephen Terrett - 2017 - Studies in Logic, Grammar and Rhetoric 52 (1):41-56.
    The frustration in Polish society arising from excessive costs of conducting court proceedings and lengthy delays for dispute resolution has resulted in a genuine limitation in access to judicial justice for citizens. This paper argues that the answer to the dilemma between ensuring both justice and efficiency lies in language being a tool for the active participation of the parties in building mutual trust and shaping solutions in conflictual circumstances. How should the postulate of effective communication leading to dispute (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  96
    The Logical Problem of Language Acquisition: A Probabilistic Perspective.Anne S. Hsu & Nick Chater - 2010 - Cognitive Science 34 (6):972-1016.
    Natural language is full of patterns that appear to fit with general linguistic rules but are ungrammatical. There has been much debate over how children acquire these “linguistic restrictions,” and whether innate language knowledge is needed. Recently, it has been shown that restrictions in language can be learned asymptotically via probabilistic inference using the minimum description length (MDL) principle. Here, we extend the MDL approach to give a simple and practical methodology for estimating how much linguistic data (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  38.  26
    The logic languages of the TPTP world.Geoff Sutcliffe - 2023 - Logic Journal of the IGPL 31 (6):1153-1169.
    The Thousands of Problems for Theorem Provers (TPTP) World is a well-established infrastructure that supports research, development and deployment of automated theorem proving systems. This paper provides an overview of the logic languages of the TPTP World, from classical first-order form (FOF), through typed FOF, up to typed higher-order form, and beyond to non-classical forms. The logic languages are described in a non-technical way and are illustrated with examples using the TPTP language.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  70
    How much logic is built into natural language?Ed Keenan - unknown
    The Query is reasonable (First Order) Predicate Logic (PL:) is a ”Universal Grammar" for the languages of Elementary Arithmetic, Euclidean Geometry, Set Theory, Boolean Algebra, .... It defines their expressions, their semantic interpretations, and texts, called proofs, that syntactically characterize the boolean semantic entailment relation: P entails Q iff Q is true whenever P is.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  49
    Language Logicality: New Evidence in Favour of the Rescale Approach?Giada Coleschi - 2023 - Kriterion – Journal of Philosophy 37 (1):1-18.
    What is the relationship between syntax and logic? Is the former autonomous and independent of the latter? If it is not, what kind of logic syntax interfaces with? These questions are not unheard of, having been around for quite some time, along with different answers. In the generative tradition, for example, logic cannot provide a model for linguistic behaviour. Conversely, according to the logicality of language hypothesis logical considerations are relevant to syntactic formation and explain the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  8
    The Language of First-order Logic: Including the Program Tarski's World.Jon Barwise & John Etchemendy - 1990 - Stanford Univ Center for the Study.
    This book is intended, along with the computer program, to introduce the user to some of the most important concepts and tools of logic, including learning a new computer language.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  83
    Languages of Law: From Logics of Memory to Nomadic Masks.Peter Goodrich - 1990 - Cambridge University Press.
    An original and comprehensive study of the history, symbols and languages of the common law tradition.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  43.  11
    The Language of Ambiguity: Practices in Chinese Heritage Language classes.Agnes Weiyun He - 2001 - Discourse Studies 3 (1):75-96.
    This article explores communicative processes in Chinese involving Chinese American children in order to explain the notion of preference for ambiguity, a characteristic often invoked when describing the Chinese as a group. It also speculates on the impact this notion has on children's socialization. Preference for ambiguity can be defined as making ambiguous something that is otherwise clear-communicating ambiguously or conveying something that is ambiguous-communicating ambiguity. Treating ambiguity as an interaction-centered and activity-bound phenomenon rather than a purely semantic or logical (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  58
    Designing visual languages for description logics.Brian R. Gaines - 2009 - Journal of Logic, Language and Information 18 (2):217-250.
    Semantic networks were developed in cognitive science and artificial intelligence studies as graphical knowledge representation and inference tools emulating human thought processes. Formal analysis of the representation and inference capabilities of the networks modeled them as subsets of standard first-order logic (FOL), restricted in the operations allowed in order to ensure the tractability that seemed to characterize human reasoning capabilities. The graphical network representations were modeled as providing a visual language for the logic. Sub-sets of FOL targeted (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  45.  11
    Logical Analysis of Natural Language as an Organic Part of Logic.Pavel Materna - 2015 - Studia Philosophica 62 (2):74-85.
    There are two kinds of logical errors. Either you use a non-valid scheme of an argument or your analysis of the premises is mistaken. No extensional or intensional theory can solve the following problem connected with analyzing NL expressions: The Leibniz principle of substituting identical for identical contains the condition a = b. Extensional as well as intensional systems (at least if intensions are defined as functions from possible worlds) analyzing this condition as formulated in natural language are happy (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  23
    Logical paradoxes solution in semantically closed language.Vsevolod Ladov - 2017 - Epistemology and Philosophy of Science 52 (2):104-119.
    The author considers following question: is a consistent semantically closed language possible? The negative answer is the orthodox answer in the logic of the 20th century. It was presented in Russell's theory of types and Tarski's semantic theory of metalanguages. Nevertheless, contemporary logicians and philosophers of language return to this problem time and again, pointing to its relevance in various aspects. In particular, it is asserted that semantically closed language is a very important tool for expressing (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  28
    The Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0.Jon Barwise & John Etchemendy - 1993 - Center for the Study of Language and Information Publications.
    The Language of First-Order Logic is a complete introduction to first-order symbolic logic, consisting of a computer program and a text. The program, an aid to learning and using symbolic notation, allows one to construct symbolic sentences and possible worlds, and verify that a sentence is well formed. The truth or falsity of a sentence can be determined by playing a deductive game with the computer.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  48. Languages as evolving organisms – the solution to the logical problem of language evolution?Christina Behme - 2008 - Behavioral and Brain Sciences 31 (5):512-513.
    Christiansen & Chater (C&C) argue persuasively that Universal Grammar (UG) could not have arisen through evolutionary processes. I provide additional suggestions to strengthen the argument against UG evolution. Further, I suggest that C&C's solution to the logical problem of language evolution faces several problems. Widening the focus to mechanisms of general cognition and inclusion of animal communication research might overcome these problems.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49. Logic-Language-Ontology.Urszula B. Wybraniec-Skardowska - 2022 - Cham, Switzerland: Springer Nature, Birkhäuser, Studies in Universal Logic series.
    The book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  14
    Languaging in an Enlanguaged World.Stephen John Cowley & Rasmus Gahrn-Andersen - 2022 - Constructivist Foundations 18 (1):54-57.
    Like Kravchenko, we build on Maturana’s bio-logic and the view that language is the “outcome of the evolution of observers.” Yet, Kravchenko offers a narrow “linguistic” reading of Maturana. On our wider view, Kravchenko’s work is criticized for limiting use of “languaging” to aspects of observing that leave out how sensibility and activity inform human practices. Stephen Cowley & Rasmus Gahrn-Andersen.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 958