Everand Logo

Welcome to Everand!

  • Discover millions of ebooks, audiobooks, and so much more with a free trial

    Only $11.99/month after trial. Cancel anytime.

    Language in Action: Categories, Lambdas and Dynamic Logic
    Language in Action: Categories, Lambdas and Dynamic Logic
    Language in Action: Categories, Lambdas and Dynamic Logic
    Ebook336 pages6 hours

    Language in Action: Categories, Lambdas and Dynamic Logic

    By J. van Benthem

    ()

    Read preview

    About this ebook

    This monograph began life as a series of papers documenting five years of research into the logical foundations of Categorial Grammar, a grammatical paradigm which has close analogies with Lambda Calculus and Type Theory. The technical theory presented here stems from the interface between Logic and Linguistics and, in particular, the theory of generalized quantification. A categorical framework with lambda calculus-oriented semantics is a convenient vehicle for generalizing semantic insights (obtained in various corners of natural language) into one coherent theory.


    The book aims to demonstrate to fellow logicians that the resulting applied lambda calculus has intrinsic logical interest. In the final analysis, the idea is not just to `break the syntactic code' of natural languages but to understand the cognitive functioning of the human mind.

    LanguageEnglish
    PublisherElsevier Science
    Release dateFeb 12, 1991
    ISBN9780080934228
    Language in Action: Categories, Lambdas and Dynamic Logic
    Author

    J. van Benthem

    Johan van Benthem is Professor of Logic at the University of Amsterdam (Department of Mathematics and Computer Science) as well as at Stanford University (Bonsall visiting chair, Department of Philosophy). His research interests include modal and dynamic logic, type-theoretic semantics, and proof-theoretic grammars. Address: Department of Mathematics and Computer Science, University of Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands. E-mail: johan@fwi.uva.nl, johan@csli.stanford.edu

    Related to Language in Action

    Titles in the series (32)

    View More
    View More

    Related ebooks

    Data Modeling & Design For You

    View More
    View More

    Related podcast episodes

    Related articles

    • Article

      The Awards and Rewards of Grasping Infinity

      Sep 19, 2017

      Two mathematicians who made a breakthrough in understanding infinity were recently given a medal. Their work itself reflects an unbounded progress in explanations of reality.

      2 min read

    • Article

      The Bugs in Our Mindware: Many obstacles lie on the path to rational thought.

      May 7, 2015

      Three baseball umpires are talking about how they play the game. The first says, “I call ’em as they are.” The second, “I call ’em as I see ’em.” And the third says, “They ain’t nothin’ till I call ’em.” Most of the time all of us are like the first

      17 min read

    • Article

      Math’s Beautiful Monsters: How a destructive idea paved the way for modern math.

      Apr 3, 2014

      Much like its creator, Karl Weierstrass’ monster came from nowhere. After four years at university spent drinking and fencing, Weierstrass had left empty handed. He eventually took a teaching course and spent most of the 1850s as a schoolteacher in B

      10 min read

    • Article

      The Tutoring Revolution: How It Could Transform Education

      Mar 16, 2021

      Once a tool to help improve test scores, tutoring may now transform how education is delivered.

      11 min read

    • Article

      Why Mathematicians Should Stop Naming Things After Each Other

      Sep 2, 2020

      Any student of modern math must know what it feels like to drown in a well of telescoping terminology. For a high-profile example, let’s take the Calabi-Yau manifold, made famous by string theory. A Calabi-Yau manifold is a compact, complex Kähler ma

      6 min read

    • Article

      Why Computers Will Never Write Good Novels: The power of narrative flows only from the human brain.

      Feb 10, 2021

      You’ve been hoaxed. The hoax seems harmless enough. A few thousand AI researchers have claimed that computers can read and write literature. They’ve alleged that algorithms can unearth the secret formulas of fiction and film. That Bayesian software c

      12 min read

    • Article

      How to Build a Search Engine for Mathematics: The Surprising Power of Neil Sloane’s Encyclopedia of Integer Sequences.: The surprising power of Neil Sloane’s Encyclopedia of Integer Sequences.

      Oct 22, 2015

      On the average summer Saturday, the mathematician Neil Sloane woke up to a crisis. “There are always crises,” he said— albeit crises of the teapot tempest variety. One Saturday over breakfast, he faced an inbox message titled “edits from outer space.

      10 min read

    • Article

      The Math That Takes Newton Into the Quantum World

      Feb 28, 2019

      In my 50s, too old to become a real expert, I have finally fallen in love with algebraic geometry. As the name suggests, this is the study of geometry using algebra. Around 1637, René Descartes laid the groundwork for this subject by taking a plane,

      9 min read

    • Article

      What Counts as Science?: The arXiv preprint service is trying to answer an age-old question.

      Oct 27, 2016

      xxx.lanl.gov. The address was cryptic, with a tantalizing whiff of government secrets, or worse. The server itself was exactly the opposite. Government, yes—it was hosted by Los Alamos National Laboratory—but openly accessible in a way that, in those

      9 min read

    • Article

      Literature by the Numbers: Critical Reading Gets Even Better When You Use Your Computer.: Critical reading gets even better when you use your computer.

      Oct 10, 2013

      “Literature is the opposite of data,” wrote novelist Stephen Marche in the Los Angeles Times Review of Books in October 2012. He cited his favorite line from Shakespeare’s Macbeth: “Light thickens, and the crows make wing to the rooky wood.” Marche w

      9 min read

    • Article

      How Math’s Most Famous Proof Nearly Broke

      Dec 20, 2018

      Andrew Wiles gave a series of lectures cryptically titled “Modular Forms, Elliptic Curves, and Galois Representations” at a mathematics conference in Cambridge, England, in June 0f 1993. His argument was long and technical. Finally, 20 minutes into t

      8 min read

    • Article

      How Math’s Most Famous Proof Nearly Broke: Andrew Wiles thought he had a solution to an age-old puzzle. Until it began to unravel.

      May 28, 2015

      Andrew Wiles gave a series of lectures cryptically titled “Modular Forms, Elliptic Curves, and Galois Representations” at a mathematics conference in Cambridge, England, in June 0f 1993. His argument was long and technical. Finally, 20 minutes into t

      8 min read

    • Article

      A.I. Has Grown Up and Left Home: It matters only that we think, not how we think.

      Jan 22, 2015

      The history of Artificial Intelligence,” said my computer science professor on the first day of class, “is a history of failure.” This harsh judgment summed up 50 years of trying to get computers to think. Sure, they could crunch numbers a billion ti

      9 min read

    • Article

      The Book No One Read: Why Stanislaw Lem’s futurism deserves attention.

      Oct 2, 2014

      I remember well the first time my certainty of a bright future evaporated, when my confidence in the panacea of technological progress was shaken. It was in 2007, on a warm September evening in San Francisco, where I was relaxing in a cheap motel roo

      11 min read

    • Article

      Análisis De Patrones Como Herramienta De Diseño De Proyectos

      Nov 20, 2018

      David Dávalos Sánchez, Arq., MsC. Docente de Universidad de Las Américas La arquitectura es quizá, la más antigua de las manifestaciones humanas. La capacidad de modificar su entorno para “habitarlo” ha sido esencial en la supervivencia, desarrollo y

      4 min read

    • Article

      Researchers Gain New Understanding From Simple AI

      Apr 15, 2022

      In the last two years, artificial intelligence programs have reached a surprising level of linguistic fluency. The biggest and best of these are all based on an architecture invented in 2017 called the transformer. It serves as a kind of blueprint fo

      5 min read

    • Article

      Art The of Logical Thinking

      Jun 12, 2022

      Art The of Logical Thinking
      13 min read

    • Article

      No Easy Way To Mastery

      May 22, 2022

      No Easy Way To Mastery
      2 min read

    Related categories

    Reviews for Language in Action

    0 ratings

    0 ratings0 reviews

    What did you think?

    Tap to rate

    Review must be at least 10 words

      Book preview

      Language in Action - J. van Benthem

      Enjoying the preview?
      Page 1 of 1