19 found
Order:
Disambiguations
Thomas Schindler [18]Thomas F. Schindler [1]
See also
Thomas Schindler
University of Amsterdam
Thomas Schindler
Johns Hopkins University
  1.  78
    Disquotation and Infinite Conjunctions.Lavinia Picollo & Thomas Schindler - 2017 - Erkenntnis (5):1-30.
    One of the main logical functions of the truth predicate is to enable us to express so-called ‘infinite conjunctions’. Several authors claim that the truth predicate can serve this function only if it is fully disquotational, which leads to triviality in classical logic. As a consequence, many have concluded that classical logic should be rejected. The purpose of this paper is threefold. First, we consider two accounts available in the literature of what it means to express infinite conjunctions with a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  2.  56
    A Graph-Theoretic Analysis of the Semantic Paradoxes.Timo Beringer & Thomas Schindler - 2017 - Bulletin of Symbolic Logic 23 (4):442-492.
    We introduce a framework for a graph-theoretic analysis of the semantic paradoxes. Similar frameworks have been recently developed for infinitary propositional languages by Cook and Rabern, Rabern, and Macauley. Our focus, however, will be on the language of first-order arithmetic augmented with a primitive truth predicate. Using Leitgeb’s notion of semantic dependence, we assign reference graphs (rfgs) to the sentences of this language and define a notion of paradoxicality in terms of acceptable decorations of rfgs with truth values. It is (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  80
    Deflationism and the Function of Truth.Lavinia Picollo & Thomas Schindler - 2018 - Philosophical Perspectives 32 (1):326-351.
    Deflationists claim that the truth predicate was introduced into our language merely to full a certain logico-linguistic function. Oddly enough, the question what this function exactly consists in has received little attention. We argue that the best way of understanding the function of the truth predicate is as enabling us to mimic higher-order quantification in a first-order framework. Indeed, one can show that the full simple theory of types is reducible to disquotational principles of truth. Our analysis has important consequences (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  7
    Disquotation and Infinite Conjunctions.Thomas Schindler & Lavinia Picollo - 2018 - Erkenntnis 83 (5):899-928.
    One of the main logical functions of the truth predicate is to enable us to express so-called ‘infinite conjunctions’. Several authors claim that the truth predicate can serve this function only if it is fully disquotational, which leads to triviality in classical logic. As a consequence, many have concluded that classical logic should be rejected. The purpose of this paper is threefold. First, we consider two accounts available in the literature of what it means to express infinite conjunctions with a (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  5.  43
    Axioms for Grounded Truth.Thomas Schindler - 2014 - Review of Symbolic Logic 7 (1):73-83.
    We axiomatize Leitgeb's (2005) theory of truth and show that this theory proves all arithmetical sentences of the system of ramified analysis up to $\epsilon_0$. We also give alternative axiomatizations of Kripke's (1975) theory of truth (Strong Kleene and supervaluational version) and show that they are at least as strong as the Kripke-Feferman system KF and Cantini's VF, respectively.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  6.  38
    Some Notes on Truths and Comprehension.Thomas Schindler - 2018 - Journal of Philosophical Logic 47 (3):449-479.
    In this paper we study several translations that map models and formulae of the language of second-order arithmetic to models and formulae of the language of truth. These translations are useful because they allow us to exploit results from the extensive literature on arithmetic to study the notion of truth. Our purpose is to present these connections in a systematic way, generalize some well-known results in this area, and to provide a number of new results. Sections 3 and 4 contain (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  28
    A note on Horwich’s notion of grounding.Thomas Schindler - 2020 - Synthese 197 (5):2029-2038.
    Horwich proposes a solution to the liar paradox that relies on a particular notion of grounding—one that, unlike Kripke’s notion of grounding, does not invoke any “Tarski-style compositional principles”. In this short note, we will formalize Horwich’s construction and argue that his solution to the liar paradox does not justify certain generalizations about truth that he endorses. We argue that this situation is not resolved even if one appeals to the \-rule. In the final section, we briefly discuss how Horwich (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  8.  34
    A Disquotational Theory of Truth as Strong as Z 2 −.Thomas Schindler - 2015 - Journal of Philosophical Logic 44 (4):395-410.
    T-biconditionals have often been regarded as insufficient as axioms for truth. This verdict is based on Tarski’s observation that the typed T-sentences suffer from deductive weakness. As indicated by McGee, the situation might change radically if we consider type-free disquotational theories of truth. However, finding a well-motivated set of untyped T-biconditionals that is consistent and recursively enumerable has proven to be very difficult. Moreover, some authors ) have argued that any solution to the semantic paradoxes necessarily involves ‘inflationary’ means, thus (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  84
    Type-Free Truth.Thomas Schindler - 2015 - Dissertation, Ludwig Maximilians Universität München
    This book is a contribution to the flourishing field of formal and philosophical work on truth and the semantic paradoxes. Our aim is to present several theories of truth, to investigate some of their model-theoretic, recursion-theoretic and proof-theoretic aspects, and to evaluate their philosophical significance. In Part I we first outline some motivations for studying formal theories of truth, fix some terminology, provide some background on Tarski’s and Kripke’s theories of truth, and then discuss the prospects of classical type-free truth. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Living Professionalism: Reflections on the Practice of Medicine.Mona Ahmed, Amy Baernstein, Rick Boyte, Mark G. Brennan, Alison S. Clay, David J. Doukas, Denise Gibson, Andrew P. Jacques, Christian J. Krautkramer, Justin M. List, Sandra McNeal, Gwen L. Nichols, Bonnie Salomon, Thomas Schindler, Kathy Stepien & Norma E. Wagoner (eds.) - 2006 - Rowman & Littlefield Publishers.
    A collection of personal narratives and essays, Living Professionalism is designed to help medical students and residents understand and internalize various aspects of professionalism. These essays are meant for personal reflection and above all, for thoughtful discussion with mentors, with peers, with others throughout the health care provider community who care about acting professionally.
     
    Export citation  
     
    Bookmark  
  11. Reference Graphs and Semantic Paradox.Timo Beringer & Thomas Schindler - 2016 - In Adam Arazim & Michal Dancak (eds.), Logica Yearbook 2015. College Publications. pp. 1-15.
     
    Export citation  
     
    Bookmark   6 citations  
  12.  26
    Arithmetic with Fusions.Jeff Ketland & Thomas Schindler - 2016 - Logique Et Analyse 234:207-226.
    In this article, the relationship between second-order comprehension and unrestricted mereological fusion (over atoms) is clarified. An extension PAF of Peano arithmetic with a new binary mereological notion of “fusion”, and a scheme of unrestricted fusion, is introduced. It is shown that PAF interprets full second-order arithmetic, Z_2.
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  99
    Does Semantic Deflationism Entail Meta-Ontological Deflationism?Benjamin Marschall & Thomas Schindler - 2021 - Philosophical Quarterly 71 (1):99-119.
    Deflationary positions have been defended in many areas of philosophy. Most prominent are semantic deflationism about truth and reference, and meta-ontological deflationism, according to which existence has no deep nature and the standard neo-Quinean approach to ontology is misguided. Although both kinds of views have generated much discussion, surprisingly little attention has been paid to the question of how they relate to each other. Are they independent, is it advisable to hold them all at once, or do they even entail (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  14.  10
    Chesterton le colosse: force et faiblesse de son oeuvre.Thomas Schindler - 2007 - Pierre D'Angle 13:83-98.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  58
    Classes, Why and How.Thomas Schindler - 2019 - Philosophical Studies 176 (2):407-435.
    This paper presents a new approach to the class-theoretic paradoxes. In the first part of the paper, I will distinguish classes from sets, describe the function of class talk, and present several reasons for postulating type-free classes. This involves applications to the problem of unrestricted quantification, reduction of properties, natural language semantics, and the epistemology of mathematics. In the second part of the paper, I will present some axioms for type-free classes. My approach is loosely based on the Gödel–Russell idea (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  96
    Deflationary Theories of Properties and Their Ontology.Thomas Schindler - 2021 - Australasian Journal of Philosophy:1-16.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17. Ethics, the Social Dimension: Individualism and the Catholic Tradition.Thomas F. Schindler - 1989 - M. Glazier.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18. La Paradoja de Cantor.Thomas Schindler - 2014 - In Eduardo Barrio (ed.), Paradojas, Paradoxjas y más Paradojas. College Publications. pp. 199-212.
  19.  72
    The Proper Formulation of the Minimalist Theory of Truth.Thomas Schindler & Julian J. Schlöder - forthcoming - The Philosophical Quarterly.
    Minimalism about truth is one of the main contenders for our best theory of truth, but minimalists face the charge of being unable to properly state their theory. Donald Davidson incisively pointed out that minimalists must generalize over occurrences of the same expression placed in two different contexts, which is futile. In order to meet the challenge, Paul Horwich argues that one can nevertheless characterize the axioms of the minimalist theory. Sten Lindström and Tim Button have independently argued that Horwich’s (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark