Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Philosophy of Logical Systems

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F20%3A00511418" target="_blank" >RIV/67985955:_____/20:00511418 - isvavai.cz</a>

  • Výsledek na webu

  • DOI - Digital Object Identifier

Alternativní jazyky

  • Jazyk výsledku

    angličtina

  • Název v původním jazyce

    Philosophy of Logical Systems

  • Popis výsledku v původním jazyce

    This book addresses the hasty development of modern logic, especially its introducing and embracing various kinds of artificial languages and moving from the study of natural languages to that of artificial ones. This shift seemed extremely helpful and managed to elevate logic to a new level of rigor and clarity. However, the change that logic underwent in this way was in no way insignificant, and it is also far from an insignificant matter to determine to what extent the “new logic” only engaged new and more powerful instruments to answer the questions posed by the “old” one, and to what extent it replaced these questions with new ones. Hence, this movement has generated brand new kinds of philosophical problems that have still not been dealt with systematically. Philosophy of Logical Systems addresses these new kinds of philosophical problems that are intertwined with the development of modern logic. Jaroslav Peregrin analyzes the rationale behind the introduction of the artificial languages of logic, classifies the various tools which were adopted to build such languages, gives an overview of the various kinds of languages introduced in the course of modern logic and the motifs of their employment, discusses what can actually be achieved by relocating the problems of logic from natural language into them, and reaches certain conclusions with respect to the possibilities and limitations of this formal “turn” of logic.

  • Název v anglickém jazyce

    Philosophy of Logical Systems

  • Popis výsledku anglicky

    This book addresses the hasty development of modern logic, especially its introducing and embracing various kinds of artificial languages and moving from the study of natural languages to that of artificial ones. This shift seemed extremely helpful and managed to elevate logic to a new level of rigor and clarity. However, the change that logic underwent in this way was in no way insignificant, and it is also far from an insignificant matter to determine to what extent the “new logic” only engaged new and more powerful instruments to answer the questions posed by the “old” one, and to what extent it replaced these questions with new ones. Hence, this movement has generated brand new kinds of philosophical problems that have still not been dealt with systematically. Philosophy of Logical Systems addresses these new kinds of philosophical problems that are intertwined with the development of modern logic. Jaroslav Peregrin analyzes the rationale behind the introduction of the artificial languages of logic, classifies the various tools which were adopted to build such languages, gives an overview of the various kinds of languages introduced in the course of modern logic and the motifs of their employment, discusses what can actually be achieved by relocating the problems of logic from natural language into them, and reaches certain conclusions with respect to the possibilities and limitations of this formal “turn” of logic.

Klasifikace

  • Druh

    B - Odborná kniha

  • CEP obor

  • OECD FORD obor

    60301 - Philosophy, History and Philosophy of science and technology

Návaznosti výsledku

  • Projekt

    <a href="/cs/project/GA17-15645S" target="_blank" >GA17-15645S: Logické modely usuzování a argumentace v přirozeném jazyce</a><br>

  • Návaznosti

    I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Ostatní

  • Rok uplatnění

    2020

  • Kód důvěrnosti údajů

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Údaje specifické pro druh výsledku

  • ISBN

    978-0-367-40563-2

  • Počet stran knihy

    197

  • Název nakladatele

    Routledge

  • Místo vydání

    New York

  • Kód UT WoS knihy