14 found
Sort by:
See also:
Profile: Cezary Cieslinski (Warsaw University)
  1. Cezary Cieśliński (2013). Yablo Sequences in Truth Theories. In K. Lodaya (ed.), Logic and Its Applications, Lecture Notes in Computer Science LNCS 7750. Springer. 127--138.
    We investigate the properties of Yablo sentences and for- mulas in theories of truth. Questions concerning provability of Yablo sentences in various truth systems, their provable equivalence, and their equivalence to the statements of their own untruth are discussed and answered.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Cezary Cieśliński & Rafal Urbaniak (2013). Gödelizing the Yablo Sequence. Journal of Philosophical Logic 42 (5):679-695.
    We investigate what happens when ‘truth’ is replaced with ‘provability’ in Yablo’s paradox. By diagonalization, appropriate sequences of sentences can be constructed. Such sequences contain no sentence decided by the background consistent and sufficiently strong arithmetical theory. If the provability predicate satisfies the derivability conditions, each such sentence is provably equivalent to the consistency statement and to the Gödel sentence. Thus each two such sentences are provably equivalent to each other. The same holds for the arithmetization of the existential Yablo (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Cezary Cieśliński (2011). T-Equivalences for Positive Sentences. Review of Symbolic Logic 4 (2):319-325.
    Answering a question formulated by Halbach (2009), I show that a disquotational truth theory, which takes as axioms all positive substitutions of the sentential T-schema, together with all instances of induction in the language with the truth predicate, is conservative over its syntactical base.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Cezary Cieśliński (2010). Deflationary Truth and Pathologies. Journal of Philosophical Logic 39 (3):325 - 337.
    By a classical result of Kotlarski, Krajewski and Lachlan, pathological satisfaction classes can be constructed for countable, recursively saturated models of Peano arithmetic. In this paper we consider the question of whether the pathology can be eliminated; we ask in effect what generalities involving the notion of truth can be obtained in a deflationary truth theory (a theory of truth which is conservative over its base). It is shown that the answer depends on the notion of pathology we adopt. It (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Cezary Cieśliński (2010). Truth, Conservativeness, and Provability. Mind 119 (474):409-422.
    Conservativeness has been proposed as an important requirement for deflationary truth theories. This in turn gave rise to the so-called ‘conservativeness argument’ against deflationism: a theory of truth which is conservative over its base theory S cannot be adequate, because it cannot prove that all theorems of S are true. In this paper we show that the problems confronting the deflationist are in fact more basic: even the observation that logic is true is beyond his reach. This seems to conflict (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  6. Cezary Cieśliński (2010). Willard Van Orman Quine o prawdzie i analityczności. Przegląd Filozoficzny 68 (4):233-247.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  7. Cezary Cieśliński (2009). Deflacyjna koncepcja prawdy. Wybrane zagadnienia logiczne. Wydawnictwo Naukowe Semper.
  8. Cezary Cieśliński (2008). Dyskwotacyjna koncepcja prawdy i problem generalizacji. Filozofia Nauki 3.
    The paper contains a discussion of a basic difficulty encountered by adherents of the disquotational conception of truth. The problem is that the disquotational theory seems to weak to prove many important truth-theoretical generalizations, like e.g. "All substitutions of the law of excluded middle are true". Various ways of saving the disquotationalist from this objection are analyzed and deemed unsatisfactory.
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. Cezary Cieśliński (2007). Deflationism, Conservativeness and Maximality. Journal of Philosophical Logic 36 (6):695 - 705.
    We discuss two desirable properties of deflationary truth theories: conservativeness and maximality. Joining them together, we obtain a notion of a maximal conservative truth theory - a theory which is conservative over its base, but can't be enlarged any further without losing its conservative character. There are indeed such theories; we show however that none of them is axiomatizable, and moreover, that there will be in fact continuum many theories of this sort. It turns out in effect that the deflationist (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  10. Cezary Cieśliński (2005). Dlaczego prawda jest (nie)definiowalna. Filozofia Nauki 1.
    The aim of this paper is to consider the question about the reasons of the indefinability of truth. We note at the start that a formula with one free variable can function as a truth predicate for a given set of sentences in two different (although related) senses: relative to a model and relative to a theory. By methods due to Alfred Tarski it can be shown that some sets of sentences are too large to admit a truth predicate (in (...)
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  11. Cezary Cieśliński (2003). Löb's Theorem in a Set Theoretical Setting. Studia Logica 75 (3):319 - 326.
    We present a semantic proof of Löb's theorem for theories T containing ZF. Without using the diagonalization lemma, we construct a sentence AUT T, which says intuitively that the predicate autological with respect to T (i.e. applying to itself in every model of T) is itself autological with respect to T. In effect, the sentence AUT T states I follow semantically from T. Then we show that this sentence indeed follows from T and therefore is true.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  12. Cezary Cieśliński (2001). Arytmetyka i intensjonalność. Filozofia Nauki 4.
    The paper consists of two pats. The first part contains a critical review of "Gödel theorems, possible worlds and intensionality" by W. Krysztofiak. Krysztofiak argues that Gödel's incompleteness theorem and, in particular, the technique of aritmetization of syntax, gives rise to intensionality and intentionality in arithmetic. The author tries to show that these claims are mistaken and based on a simple misunderstanding of the incompleteness theorem and its proof. In the second part the author explains the traditional use (in the (...)
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  13. Cezary Cieśliński (1994). Uwagi na temat tezy Quine'a o niezdeterminowaniu przekładu. Studia Semiotyczne 19:139-148.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  14. Cezary Cieśliński (1993). Semantyka warunków prawdziwości i problem ekstensjonalności. Filozofia Nauki 1.
    In this essay the problem which logically equivalent sentences present to a Tarski-style truth conditional semantics is disscused. The difficulty is that we can obtain deviant theorems which follow by logic alone from our truth theory. After criticizing E.LePore's and B.Loewer's solution, an alternative way of dealing with this problem is presented, making use of the notion of a canonically proved T-theorem.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation