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”

Nástin systému adaptivní logiky

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F15%3A00089214" target="_blank" >RIV/00216224:14210/15:00089214 - isvavai.cz</a>

  • Výsledek na webu

  • DOI - Digital Object Identifier

Alternativní jazyky

  • Jazyk výsledku

    čeština

  • Název v původním jazyce

    Nástin systému adaptivní logiky

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

    V dějinách není ojedinělé, že vědci pracují s teoriemi, které nejsou konzistentní. Například Antoine Lavoiser píše, že zkoumá plyn, který je vzduch a zároveň není vzduch. Přitom tyto nekonzistentní teorie nezabraňují vědcům, aby z nich odvozovali určité závěry a jiné odmítali. Takovéto postupy ale nelze v klasické logice zachytit. Možnost popisu naopak dává systém adaptivní logiky, jehož představení je cílem zamýšlené přednášky. V jejím rámci tedy budou vysvětleny základní rysy adaptivní logiky, jako je nemonotónnost, dynamika atd. Zároveň budou ukázány i některé možnosti jejího využití.

  • Název v anglickém jazyce

    Outline of Adaptive Logic

  • Popis výsledku anglicky

    The aim of the lecture is to introduce the concept of adaptive logics (AL) or rather adaptive logical approach. In the introduction, a motivation and an emergence of AL are briefly discussed. In the second part, specifics of AL are analysed – especially nonmonotonic character, internal and external dynamics, as well as the structure of AL, namely the distinction between upper limit logic and lower limit logic. In this part, the dynamic proof is also described. Applications of AL are presented in the third part. Three illustrations from three different branches of philosophy are presented.

Klasifikace

  • Druh

    O - Ostatní výsledky

  • CEP obor

    AA - Filosofie a náboženství

  • OECD FORD obor

Návaznosti výsledku

  • Projekt

  • Návaznosti

    S - Specificky vyzkum na vysokych skolach

Ostatní

  • Rok uplatnění

    2015

  • 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ů