Search results for 'Language and logic' (try it on Scholar)

1000+ found
Sort by:
  1. Johan van Benthem (forthcoming). Natural Language and Logic of Agency. Journal of Logic, Language and Information:1-16.score: 156.0
    This light piece reflects on analogies between two often disjoint streams of research: the logical semantics and pragmatics of natural language and dynamic logics of general information-driven agency. The two areas show significant overlap in themes and tools, and yet, the focus seems subtly different in each, defying a simple comparison. We discuss some unusual questions that emerge when the two are put side by side, without any pretense at covering the whole literature or at reaching definitive conclusions.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Richard Heck (ed.) (1997). Language, Thought, and Logic: Essays in Honour of Michael Dummett. Oxford University Press.score: 144.0
    In this exciting new collection, a distinguished international group of philosophers contribute new essays on central issues in philosophy of language and logic, in honor of Michael Dummett, one of the most influential philosophers of the late twentieth century. The essays are focused on areas particularly associated with Professor Dummett. Five are contributions to the philosophy of language, addressing in particular the nature of truth and meaning and the relation between language and thought. Two contributors discuss (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Edward Keenan & Denis Paperno (2010). Stanley Peters and Dag Westerståhl: Quantifiers in Language and Logic. [REVIEW] Linguistics and Philosophy 33 (6):513-549.score: 144.0
    Quantifiers in Language and Logic (QLL) is a major contribution to natural language semantics, specifically to quantification. It integrates the extensive recent work on quantifiers in logic and linguistics. It also presents new observations and results. QLL should help linguists understand the mathematical generalizations we can make about natural language quantification, and it should interest logicians by presenting an extensive array of quantifiers that lie beyond the pale of classical logic. Here we focus on (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Ernest LePore (2000). Meaning and Argument: An Introduction to Logic Through Language. Blackwell.score: 144.0
    Meaning and Argument shifts introductory logic from the traditional emphasis on proofs to the symbolization of arguments. Another distinctive feature of this book is that it shows how the need for expressive power and for drawing distinctions forces formal language development. This revised edition includes expanded sections, additional exercises, and an updated bibliography. Updated and revised edition includes extended sections, additional exercises, and an updated bibliography. Distinctive approach in that this text is a philosophical, rather than mathematical introduction (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Ahti-Veikko Pietarinen (2003). Logic, Language Games and Ludics. Acta Analytica 18 (30/31):89-123.score: 144.0
    Wittgenstein’s language games can be put into a wider service by virtue of elements they share with some contemporary opinions concerning logic and the semantics of computation. I will give two examples: manifestations of language games and their possible variations in logical studies, and their role in some of the recent developments in computer science. It turns out that the current paradigm of computation that Girard termed Ludics bears a striking resemblance to members of language games. (...)
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. Paolo Rossi (2000). Logic and the Art of Memory: The Quest for a Universal Language. University of Chicago Press.score: 144.0
    The mnemonic arts and the idea of a universal language that would capture the essence of all things were originally associated with cryptology, mysticism, and other occult practices. And it is commonly held that these enigmatic efforts were abandoned with the development of formal logic in the seventeenth century and the beginning of the modern era. In his distinguished book, Logic and the Art of Memory Italian philosopher and historian Paolo Rossi argues that this view is belied (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Norman Kretzmann & Eleonore Stump (eds.) (1988). Logic and the Philosophy of Language. Cambridge University Press.score: 144.0
    This is the first of a three-volume anthology intended as a companion to The Cambridge History of Later Medieval Philosophy. Volume 1 is concerned with the logic and the philosophy of language, and comprises fifteen important texts on questions of meaning and inference that formed the basis of Medieval philosophy. As far as is practicable, complete works or topically complete segments of larger works have been selected. The editors have provided a full introduction to the volume and detailed (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Kuno Lorenz (2009). Logic, Language, and Method on Polarities in Human Experience: Philosophical Papers. Walter De Gruyter.score: 144.0
    Preface -- Part I: Philosophical logic and philosophy of language -- Rules versus theorems : a new approach for mediation -- Between intuitionistic and two-valued logic -- On the relation between the partition of a whole into parts and the attribution of properties to an object -- Basic objectives of dialogic logic in historical perspective -- Pragmatic and semiotic prerequisites for predication : a dialogue model -- Pragmatics and semiotics : the peircean version of ontology and (...)
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Christopher Norris (2004). Language, Logic, and Epistemology: A Modal-Realist Approach. Palgrave Macmillan.score: 144.0
    Norris presents a series of closely linked chapters on recent developments in epistemology, philosophy of language, cognitive science, literary theory, musicology and other related fields. While to this extent adopting an interdisciplinary approach, Norris also very forcefully challenges the view that the academic "disciplines" as we know them are so many artificial constructs of recent date and with no further role than to prop up existing divisions of intellectual labour. He makes his case through some exceptionally acute revisionist readings (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. Marie McGinn (2006/2009). Elucidating the Tractatus: Wittgenstein's Early Philosophy of Logic and Language. Oxford University Press.score: 144.0
    Discussion of Wittgenstein's Tractatus is currently dominated by two opposing interpretations of the work: a metaphysical or realist reading and the 'resolute' reading of Diamond and Conant. Marie McGinn's principal aim in this book is to develop an alternative interpretative line, which rejects the idea, central to the metaphysical reading, that Wittgenstein sets out to ground the logic of our language in features of an independently constituted reality, but which allows that he aims to provide positive philosophical insights (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  11. Hidé Ishiguro (1990). Leibniz's Philosophy of Logic and Language. Cambridge University Press.score: 144.0
    This is the second edition of an important introduction to Leibniz's philosophy of logic and language first published in 1972. It takes issue with several traditional interpretations of Leibniz (by Russell amongst others) while revealing how Leibniz's thought is related to issues of great interest in current logical theory. For this new edition, the author has added new chapters on infinitesimals and conditionals as well as taking account of reviews of the first edition.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. Jerrold J. Katz (1986). Cogitations: A Study of the Cogito in Relation to the Philosophy of Logic and Language and a Study of Them in Relation to the Cogito. Oxford University Press.score: 144.0
    The cogito ergo sum of Descartes is one of the best-known--and simplest--of all philosophical formulations, but ever since it was first propounded it has defied any formal accounting of its validity. How is it that so simple and important an argument has caused such difficulty and such philosophical controversy? In this pioneering work, Jerrold Katz argues that the problem with the cogito lies where it is least suspected--in a deficiency in the theory of language and logic that Cartesian (...)
     
    My bibliography  
     
    Export citation  
  13. Shushan Cai (2007). Yu Yan, Luo Ji Yu Ren Zhi: Yu Yan Luo Ji He Yu Yan Zhe Xue Lun Ji = Language, Logic and Cognition: An Essay in Language, Logic and Philosophy. Qing Hua da Xue Chu Ban She.score: 138.0
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  14. D. A. T. Gasking (1996). Language, Logic, and Causation: Philosophical Writings of Douglas Gasking. Melbourne University Press.score: 138.0
  15. V. N. Jha (1986). Studies in Language, Logic, and Epistemology. Pratibha Prakashan.score: 138.0
     
    My bibliography  
     
    Export citation  
  16. C. Anthony Anderson (ed.) (1990). Propositional Attitudes: The Role of Content in Logic, Language, and Mind. Stanford: CSLI.score: 132.0
  17. Jaakko Hintikka (1973). Logic, Language-Games and Information: Kantian Themes in the Philosophy of Logic. Oxford,Clarendon Press.score: 126.0
    I LOGIC IN PHILOSOPHY— PHILOSOPHY OF LOGIC i. On the relation of logic to philosophy I n this book, the consequences of certain logical insights for ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  18. E. J. Ashworth (1974). Language and Logic in the Post-Medieval Period. Reidel.score: 126.0
    HISTORICAL INTRODUCTION Although many of the details of the development of logic in the Middle Ages remain to be filled in, it is well known that between ...
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  19. Lenore Langsdorf (1990). On the Uses of Language in Working and Idealized Logic. Argumentation 4 (3):259-268.score: 126.0
    The interpretation of discourse covers a continuum with two extremes: on the one hand, a text considered as an ideal, distant object, and on the other hand, a conversation regarded as a real, present event. On the basis of a distinction between relatively context-invariant propositions and relatively context-dependent statements, it is argued that statements in conversational discourse are easier to interpret than statements in texts, whereas only propositions in symbolic logic can be interpreted with exactitude. In the same way, (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  20. Rani Lill Anjum, Logic - a Map of Language?score: 120.0
    This is the trial lecture for Anjum's doctoral defence in 2005 at University of Tromsø.
    Direct download  
     
    My bibliography  
     
    Export citation  
  21. Daniele Mezzadri (2013). Language and Logic in Wittgenstein's Tractatus. Nordic Wittgenstein Review 2 (1):57-80.score: 120.0
    Name der Zeitschrift: Nordic Wittgenstein Review Jahrgang: 2 Heft: 1 Seiten: 57-80.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  22. R. M. Martin (1971). Logic, Language, and Metaphysics. New York,New York University Press.score: 120.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  23. Sam Cumming (ed.) (2013). Meaning and Argument: An Introduction to Logic Through Language. Wiley-Blackwell.score: 120.0
  24. Janusz Chmielewski (2009). Language and Logic in Ancient China: Collected Papers on the Chinese Language and Logic. Pan.score: 120.0
  25. Antony Flew (1951). Essays on Logic and Language. Oxford, Eng.Blackwell.score: 120.0
     
    My bibliography  
     
    Export citation  
  26. Antony Flew (1953). Logic and Language. New York, Philosophical Library.score: 120.0
    No categories
     
    My bibliography  
     
    Export citation  
  27. Antony Garrard Newton Flew (1953). Logic and Language (Second Series) Essays. Oxford, Blackwell.score: 120.0
    No categories
     
    My bibliography  
     
    Export citation  
  28. Bernard Felix Huppé (1956). Logic and Language. New York, Knopf.score: 120.0
    No categories
     
    My bibliography  
     
    Export citation  
  29. Douglas Patterson (2012). Alfred Tarski: Philosophy of Language and Logic. Palgrave Macmillan.score: 120.0
     
    My bibliography  
     
    Export citation  
  30. Roy W. Perrett (ed.) (2001). Logic and Philosophy of Language. Garland.score: 120.0
     
    My bibliography  
     
    Export citation  
  31. Milos Prazak (1963/1972). Language and Logic. Westport, Conn.,Greenwood Press.score: 120.0
     
    My bibliography  
     
    Export citation  
  32. Gilbert Ryle & Antony Flew (eds.) (1951/1978). Logic and Language (First Series): Essays. B. Blackwell.score: 120.0
  33. Fernand J. Vandamme (1976). Language and Logic: Some Essays on Their Interrelations. Communication and Cognition.score: 120.0
     
    My bibliography  
     
    Export citation  
  34. Rani Nelken & Chung-Chieh Shan (2006). A Modal Interpretation of the Logic of Interrogation. Journal of Logic, Language and Information 15 (3):251-271.score: 114.0
    We propose a novel interpretation of natural-language questions using a modal predicate logic of knowledge. Our approach brings standard model-theoretic and proof-theoretic techniques from modal logic to bear on questions. Using the former, we show that our interpretation preserves Groenendijk and Stokhof's answerhood relation, yet allows an extensional interpretation. Using the latter, we get a sound and complete proof procedure for the logic for free. Our approach is more expressive; for example, it easily treats complex questions (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  35. Nissim Francez (forthcoming). A Logic Inspired by Natural Language: Quantifiers As Subnectors. Journal of Philosophical Logic:1-20.score: 114.0
    Inspired by the grammar of natural language, the paper presents a variant of first-order logic, in which quantifiers are not sentential operators, but are used as subnectors (operators forming terms from formulas). A quantified term formed by a subnector is an argument of a predicate. The logic is defined by means of a meaning-conferring natural-deduction proof-system, according to the proof-theoretic semantics program. The harmony of the I/E-rules is shown. The paper then presents a translation, called the Frege (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. Andreas Schöter (1996). Evidential Bilattice Logic and Lexical Inference. Journal of Logic, Language and Information 5 (1):65-105.score: 114.0
    This paper presents an information-based logic that is applied to the analysis of entailment, implicature and presupposition in natural language. The logic is very fine-grained and is able to make distinctions that are outside the scope of classical logic. It is independently motivated by certain properties of natural human reasoning, namely partiality, paraconsistency, relevance, and defeasibility: once these are accounted for, the data on implicature and presupposition comes quite naturally.The logic is based on the family (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  37. Michael Gabbay (2011). A Proof-Theoretic Treatment of Λ-Reduction with Cut-Elimination: Λ-Calculus as a Logic Programming Language. Journal of Symbolic Logic 76 (2):673 - 699.score: 114.0
    We build on an existing a term-sequent logic for the λ-calculus. We formulate a general sequent system that fully integrates αβη-reductions between untyped λ-terms into first order logic. We prove a cut-elimination result and then offer an application of cut-elimination by giving a notion of uniform proof for λ-terms. We suggest how this allows us to view the calculus of untyped αβ-reductions as a logic programming language (as well as a functional programming language, as it (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  38. Frederick Ferré (1977). Language, Logic, and God. Greenwood Press.score: 114.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  39. Frederick Ferré (1961/1981). Language, Logic, & God. University of Chicago Press.score: 114.0
     
    My bibliography  
     
    Export citation  
  40. Theo M. V. Janssen (2013). Compositional Natural Language Semantics Using Independence Friendly Logic or Dependence Logic. Studia Logica 101 (2):453-466.score: 108.0
    Independence Friendly Logic, introduced by Hintikka, is a logic in which a quantifier can be marked for being independent of other quantifiers. Dependence logic, introduced by Väänänen, is a logic with the complementary approach: for a quantifier it can be indicated on which quantifiers it depends. These logics are claimed to be useful for many phenomena, for instance natural language semantics. In this contribution we will compare these two logics by investigating their application in a (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  41. Chung Hee Hwang & Lenhart K. Schubert (1993). Episodic Logic: A Comprehensive, Natural Representation for Language Understanding. [REVIEW] Minds and Machines 3 (4):381-419.score: 108.0
    A new comprehensive framework for narrative understanding has been developed. Its centerpiece is a new situational logic calledEpisodic Logic (EL), a knowledge and semantic representation well-adapted to the interpretive and inferential needs of general NLU. The most distinctive features of EL is its natural language-like expressiveness. It allows for generalized quantifiers, lambda abstraction, sentence and predicate modifiers, sentence and predicate reification, intensional predicates (corresponding to wanting, believing, making, etc.), unreliable generalizations, and perhaps most importantly, explicit situational variables (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  42. Heine Hansen, Jakob Leth Fink & Ana María Mora-Márquez (2012). Logic and Language in the Middle Ages. Brill.score: 108.0
    Collection of articles on medieval logic and semantics. Introduction by Sten Ebbesen and 24 contributions by scholars in the history of medieval theories of language. The papers in this volume treat several aspects of the history of theories of language from the 12th to the 14th century, aspects that have in a way or another been dealt with by Ebbesen himself.Festschrift in honor of Sten Ebessen in the occasion of his 65th birthday.
    Direct download  
     
    My bibliography  
     
    Export citation  
  43. H. G. Callaway (2008). Meaning Without Analyticity: Essays on Logic, Language and Meaning. Cambridge Scholars.score: 106.0
    Meaning without Analyticity draws upon the author’s essays and articles, over a period of 20 years, focused on language, logic and meaning. The book explores the prospect of a non-behavioristic theory of cognitive meaning which rejects the analytic-synthetic distinction, Quinean behaviorism, and the logical and social-intellectual excesses of extreme holism. Cast in clear, perspicuous language and oriented to scientific discussions, this book takes up the challenges of philosophical communication and evaluation implicit in the recent revival of the (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  44. A. Church (1949). Review: Alfred Jules Ayer, Language, Truth and Logic. [REVIEW] Journal of Symbolic Logic 14 (1):52-53.score: 102.0
    ... Review : Alfred Jules Ayer, Language , Truth and Logic . Alonzo Church . Source: J. Symbolic Logic Volume 14, Issue 1 (1949), 52-53. Reviewed Works: Alfred Jules Ayer, Language , Truth and Logic . Full-text: Access via JSTOR ..
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  45. Eli Dresner (1999). Quine's Philosophy of Language and Polish Logic. History and Philosophy of Logic 20 (2):79-96.score: 102.0
    The Polish logicians' propositional calculi, which consist in a distinct synthesis of the Fregean and Boolean approaches to logic, influenced W. V. Quine's early work in formal logic. This early formal work of Quine's, in turn, can be shown to serve as one of the sources of his holistic conception of natural language.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  46. Peter Pagin & Dag Westerståhl (1993). Predicate Logic with Flexibly Binding Operators and Natural Language Semantics. Journal of Logic, Language and Information 2 (2):89-128.score: 102.0
    A new formalism for predicate logic is introduced, with a non-standard method of binding variables, which allows a compositional formalization of certain anaphoric constructions, including donkey sentences and cross-sentential anaphora. A proof system in natural deduction format is provided, and the formalism is compared with other accounts of this type of anaphora, in particular Dynamic Predicate Logic.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  47. Max Black (1975). Caveats and Critiques: Philosophical Essays in Language, Logic, and Art. Cornell University Press.score: 102.0
    No categories
     
    My bibliography  
     
    Export citation  
  48. C. W. Kilmister (1967). Language, Logic, and Mathematics. New York, Barnes & Noble.score: 102.0
     
    My bibliography  
     
    Export citation  
  49. Volker Peckhaus (2008). Language And Logic In German Post-Hegelian Philosophy. The Baltic International Yearbook of Cognition, Logic and Communication 4 (1).score: 102.0
    Normal.dotm 0 0 1 102 513 Kansas State University 9 1 718 12.0 0 false 18 pt 18 pt 0 0 false false false /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Table Normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-parent:""; mso-padding-alt:0cm 5.4pt 0cm 5.4pt; mso-para-margin-top:0cm; mso-para-margin-right:0cm; mso-para-margin-bottom:10.0pt; mso-para-margin-left:0cm; line-height:115%; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Times New Roman"; mso-bidi-font-family:"Times New Roman";} The German debates concerning the need for a reform of logic in post-Hegelian times took place under the label “The logical question”, a label introduced by Friedrich Adolf (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  50. Ian Pratt-Hartmann (2003). A Two-Variable Fragment of English. Journal of Logic, Language and Information 12 (1):13-45.score: 100.0
    Controlled languages are regimented fragments of natural languagedesigned to make the processing of natural language more efficient andreliable. This paper defines a controlled language, E2V, whose principalgrammatical resources include determiners, relative clauses, reflexivesand pronouns. We provide a formal syntax and semantics for E2V, in whichanaphoric ambiguities are resolved in a linguistically natural way. Weshow that the expressive power of E2V is equal to that of thetwo-variable fragment of first-order logic. It follows that the problemof determining the satisfiability (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000