Order:
See also
Ivo Pezlar
Czech Academy of Sciences, Institute of Philosophy
  1.  40
    Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions.Ivo Pezlar - 2019 - In Igor Sedlár & Martin Blicha (eds.), The Logica Yearbook 2018. London: College Publications. pp. 197-210.
    We approach the topic of solution equivalence of propositional problems from the perspective of non-constructive procedural theory of problems based on Transparent Intensional Logic (TIL). The answer we put forward is that two solutions are equivalent if and only if they have equivalent solution concepts. Solution concepts can be understood as a generalization of the notion of proof objects from the Curry-Howard isomorphism.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  9
    Translating a Fragment of Natural Deduction System for Natural Language Into Modern Type Theory.Ivo Pezlar - 2019 - In Rainer Osswald, Christian Retoré & Peter Sutton (eds.), Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures. Stroudsburg, PA: Association for Computational Linguistics. pp. 10-18.
    In this paper, we investigate the possibility of translating a fragment of natural deduction system (NDS) for natural language semantics into modern type theory (MTT), originally suggested by Luo (2014). Our main goal will be to examine and translate the basic rules of NDS (namely, meta-rules, structural rules, identity rules, noun rules and rules for intersective and subsective adjectives) to MTT. Additionally, we will also consider some of their general features.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  14
    Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach.Ivo Pezlar - 2017 - Logic and Logical Philosophy 26 (4):473-508.
    In this paper we examine two approaches to the formal treatment of the notion of problem in the paradigm of algorithmic semantics. Namely, we will explore an approach based on Martin-Löf’s Constructive Type Theory, which can be seen as a direct continuation of Kolmogorov’s original calculus of problems, and an approach utilizing Tichý’s Transparent Intensional Logic, which can be viewed as a non-constructive attempt of interpreting Kolmogorov’s logic of problems. In the last section we propose Kolmogorov and CTT-inspired modifications to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  13
    On Two Notions of Computation in Transparent Intensional Logic.Ivo Pezlar - 2018 - Axiomathes 29 (2):189-205.
    In Transparent Intensional Logic we can recognize two distinct notions of computation that loosely correspond to term rewriting and term interpretation as known from lambda calculus. Our goal will be to further explore these two notions and examine some of their properties.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  14
    Prolegomena K Některým Příštím Teoriím Pojmu. [REVIEW]Ivo Pezlar - 2017 - Teorie Vědy / Theory of Science 39 (1):134-138.
    Recenze: Pavel Materna. Hovory o pojmu. Praha: Academia, 2016, 158 stran.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  34
    Proof-Theoretic Semantics, by Nissim Francez.Ivo Pezlar - 2017 - Mind 126 (501):299-304.
    Proof-Theoretic Semantics, by FrancezNissim. London: College Publications, 2015. Pp. xx + 415.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  39
    Towards a More General Concept of Inference.Ivo Pezlar - 2014 - Logica Universalis 8 (1):61-81.
    The main objective of this paper is to sketch unifying conceptual and formal framework for inference that is able to explain various proof techniques without implicitly changing the underlying notion of inference rules. We base this framework upon the so-called two-dimensional, i.e., deduction to deduction, account of inference introduced by Tichý in his seminal work The Foundation’s of Frege’s Logic (1988). Consequently, it will be argued that sequent calculus provides suitable basis for such general concept of inference and therefore should (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  24
    Tichý's Two-Dimensional Conception of Inference.Ivo Pezlar - 2013 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 20 (2):54-65.
    In this paper we revisit Pavel Tichý’s novel distinction between one-dimensional and two-dimensional conception of inference, which he presented in his book Foundations of Frege’s Logic (1988), and later in On Inference (1999), which was prepared from his manuscript by his co-author Jindra Tichý. We shall focus our inquiry not only on the motivation behind the introduction of this non-classical concept of inference, but also on further inspection of selected Tichý’s arguments, which we see as the most compelling or simply (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  9. Explicitní/implicitní přesvědčení a derivační systémy [Explicit/Implicit Belief and Derivation Systems].Jiri Raclavsky & Ivo Pezlar - 2019 - Filosoficky Casopis 67 (1): 89-120.
    The problem of hyperintensional contexts, and the problem of logical omniscience, shows the severe limitation of possible-worlds semantics which is employed also in standard epistemic logic. As a solution, we deploy here hyperintensional semantics according to which the meaning of an expression is an abstract structured algorithm, namely Tichý's construction. Constructions determine the denotata of expressions. Propositional attitudes are modelled as attitudes towards constructions of truth values. Such a model of belief is, of course, inferentially restrictive. We therefore also propose (...)
    Translate
     
     
    Export citation  
     
    Bookmark