rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Modal homotopy type theory
    sub title: the prospect of a new logic for philosophy
  name:
    name part: Corfield, David (David Neil)
    role:
      role term: creator
    role:
      role term: author.
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: enk
    date issued: 2020
    edition: First edition.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (x, 180 pages)
  abstract: In[KF1] 1914, in an essay entitled 'Logic as the Essence of Philosophy', Bertrand Russell promised to revolutionize philosophy by introducing there the 'new logic' of Frege and Peano: "The old logic put thought in fetters, while the new logic gives it wings." A century later, this book proposes a comparable revolution with a newly emerging logic, modal homotopy type theory. Russell's prediction turned out to be accurate. Frege's first-order logic, along with its extension to modal logic, is to be found throughout anglophone analytic philosophy. This book provides a considerable array of evidence for the claim that philosophers working in metaphysics, as well as those treating language, logic or mathematics, would be much better served with the new 'new logic'. It offers an introduction to this new logic, thoroughly motivated by intuitive explanations of the need for all of its component parts - the discipline of a type theory, the flexibility of type dependency, the more refined homotopic notion of identity and a powerful range of modalities. Innovative applications of the calculus are given, including analysis of the distinction between objects and events, an intrinsic treatment of structure and a conception of modality both as a form of general variation and as allowing constructions in modern geometry. In this way, we see how varied are the applications of this powerful new language--modal homotopy type theory.
  table of contents: Chapter 1: A Path to a New Logic -- Chapter 2: Dependent Types -- Chapter 3: Homotopy Types -- Chapter 4: Modal Types -- Chapter 5: Spatial Types -- Chapter 6: Conclusion -- Further Reading -- References -- Index.
  note: David Corfield.
  note: Includes bibliographical references and index.
  subject:
    topic: Homotopy theory
    topic: Philosophy
  subject:
    topic: Homotopie
    topic: Philosophie
  subject:
    topic: Applied
  subject:
    topic: MATHEMATICS
  subject:
    topic: Calculus
  subject:
    topic: Logic
  subject:
    topic: PHILOSOPHY
  classification: QA612.7 .C67 2020
  classification: 514/.24
  related item:
    identifier: (OCoLC)1114512538
  identifier: 9780192595034
  identifier: 0192595032
  identifier: 0198853408
  identifier: 9780198853404
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: YDX
    record creation date: 200207
    record change date: 20260319182128.1
    record identifier: in00005718495
    language of cataloging:
      language term: eng