7 found
Order:
See also
  1.  9
    Nástin koncepce adaptivních logik [An Outline of the Concept of Adaptive Logics].Tomáš Ondráček & Jan Štěpánek - 2016 - Pro-Fil 17 (1):16-35.
    The aim of the paper 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 of the paper, 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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  14
    An Outline of the Concept of Adaptive Logics.Tomáš Ondráček & Jan Štěpánek - 2016 - Pro-Fil 17 (1):16.
    Následující text si klade za cíl představit koncepci adaptivních logik (dále AL), či lépe adaptivně logický přístup. Úvodní oddíl textu stručně pojednává o vzniku AL a o motivacích pro tento přístup. Druhý oddíl následně rozebírá specifika AL, především jejich nemonotónní charakter, interní a externí dynamiku, dále pak jejich strukturu, tedy rozlišení mezi upper limit logic a lower limit logic, a představuje pojetí dynamického důkazu. Třetí oddíl ilustruje vybrané aplikace AL ve třech oblastech – v tradiční, totiž při popisu vědy, v (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  5
    Dummettʼs Anti-Realism about Mathematical Statements.Jan Štěpánek - 2023 - Filosofie Dnes 14 (2).
    Just as the accuracy of scientific theories is best tested in extreme physical conditions, it is advisable to verify the accuracy of a recognized conception of language on its extreme parts. Mathematical statements meet this role, thanks to the notion of truth and proof. Michael Dummett’s anti-realism is an enterprise that has attempted on this basis to question the notion of the functioning of language-based primarily on the principle of bivalence, the truth-condition theory of meaning, and the notion that the (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4.  11
    Luca Incurvati, Conceptions of Set and the Foundations of Mathematics. Cambridge University Press, 2020, 238 s.Jan Štěpánek - 2021 - Pro-Fil 22 (1):53.
    Recenze knihy:Luca Incurvati, Conceptions of Set and the Foundations of Mathematics. Cambridge University Press, 2020, 238 s.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  4
    Tarského definice pojmu pravdy a její kritika.Jan Štěpánek - 2010 - Pro-Fil 11 (1):10-36.
    This paper aims to describe and examine Alfred Tarski's famous semantic conception of truth as well as some of the critiques presented against it. The first part of this paper is divided into five segments: criteria imposed upon every adequate definition of truth are discussed in the first segment; the second is dedicated to Tarski’s Convention T; distinction between object language and metalanguage, as well as Tarski’s attitude toward formalized and colloquial languages, is described in the third segment; fourth segment (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  9
    Epistemická logika. [REVIEW]Jan Štěpánek - 2015 - Studia Philosophica 62 (2):134-135.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  11
    Epistemická logika. [REVIEW]Jan Štěpánek - 2015 - Studia Philosophica 62 (2):134-135.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark