Switch to: References

Citations of:

The concept of truth in formalized languages

In A. Tarski (ed.), Logic, Semantics, Metamathematics. Oxford University Press. pp. 152--278 (1936)

Add citations

You must login to add citations.
  1. Can We Make Sense of MacFarlane’s Relative Truth?Gariazzo Matías - 2017 - Manuscrito 40 (2):39-70.
    ABSTRACT John MacFarlane’s truth relativism makes use of two notions of propositional truth: a monadic assessment sensitive one taken to be our ordinary truth notion, and a non-monadic one that is meant to account for the assessment sensitivity of the former notion. Some authors contend that any theory introducing a technical non-monadic truth notion has to make sense of it by defining or characterizing it in terms of ordinary monadic truth. First, I give some reasons why the relativist should not (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Reply to Jeff Malpas: On Truth, Realism, Changing One's Mind About Davidson (Not Heidegger), and Related Topics.Christopher Norris - 2004 - International Journal of Philosophical Studies 12 (3):357 – 374.
    This essay responds to Jeff Malpas's foregoing article, itself written in response to my various publications over the past two decades concerning Donald Davidson's ideas about truth, meaning, and interpretation. It has to do mainly with our disagreement as regards the substantive content of Davidson's truth-based semantic approach in relation to the problematic legacy of logical empiricism, including Quine's incisive but no less problematical critique of that legacy. I also raise questions with respect to Malpas's coupling of Davidson with Heidegger, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Tarski, Truth, and Semantics.Richard G. Heck Jr - 1997 - Philosophical Review 106 (4):533 - 554.
    John Etchemendy has argued that it is but "a fortuitous accident" that Tarski's work on truth has any signifance at all for semantics. I argue, in response, that Etchemendy and others, such as Scott Soames and Hilary Putnam, have been misled by Tarski's emphasis on definitions of truth rather than theories of truth and that, once we appreciate how Tarski understood the relation between these, we can answer Etchemendy's implicit and explicit criticisms of neo-Davidsonian semantics.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Hilary Putnam’s Liberal Naturalism About Language Use, Reference, and Truth.Gary Ebbs - 2020 - The Monist 103 (4):357-369.
    Hilary Putnam observes that a typical competent English speaker who cannot tell an elm tree from a beech tree may nevertheless use the word “elm” to make assertions and ask questions about elm trees. Putnam also observes that scientists may be wrong about the phenomena they investigate, while still being able to use their words to identify and raise research questions about it. This prompts him to ask what “language use” means in these contexts. He proposes two closely related methods (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Reviving the Parameter Revolution in Semantics.Bryan Pickel, Brian Rabern & Josh Dever - 2018 - In Derek Ball & Brian Rabern (eds.), The Science of Meaning. Oxford: Oxford University Press. pp. 138-171.
    Montague and Kaplan began a revolution in semantics, which promised to explain how a univocal expression could make distinct truth-conditional contributions in its various occurrences. The idea was to treat context as a parameter at which a sentence is semantically evaluated. But the revolution has stalled. One salient problem comes from recurring demonstratives: "He is tall and he is not tall". For the sentence to be true at a context, each occurrence of the demonstrative must make a different truth-conditional contribution. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Mahdollisuus, välttämättömyys ja luodut ikuiset totuudet Descartesin filosofiassa.Forsman Jan - 2016 - In Ilkka Niiniluoto, Tuomas Tahko & Teemu Toppinen (eds.), Mahdollisuus. Helsinki: Philosophical Society of Finland. pp. 120-129.
    Tässä artikkelissa käsittelen Descartesin ikuisten totuuksien välttämättömyyteen liittyvää ongelmaa. Teoksessa Mietiskelyjä ensimmäisestä filosofiasta (1641–1642) Descartes nostaa esiin käsitteen ikuisista totuuksista, käyttäen esimerkkinään kolmiota. Kolmion muuttumattomaan ja ikuiseen luontoon kuuluu esimerkiksi, että sen kolme kulmaa ovat yhteenlaskettuna 180°. Se on totta kolmiosta, vaikka yhtään yksittäistä kolmiota ei olisi koskaan ollutkaan olemassa. Eräät ajattelemieni asioiden piirteet ovat siis Descartesin mukaan ajattelustani riippumattomia. Ikuisia totuuksia ovat ainakin matemaattiset ja geometriset tosiseikat sekä ristiriidan laki. Samoin Descartesin kuuluisa lause “ajattelen, siis olen” lukeutuu ikuisten totuuksien (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Varieties of Quotation.Herman Cappelen & Ernie Lepore - 1997 - Mind 106 (423):429-450.
    There are at least four varieties of quotation, including pure, direct, indirect and mixed. A theory of quotation, we argue, should give a unified account of these varieties of quotation. Mixed quotes such as 'Alice said that life is 'difficult to understand'', in which an utterance is directly and indirectly quoted concurrently, is an often overlooked variety of quotation. We show that the leading theories of pure, direct, and indirect quotation are unable to account for mixed quotation and therefore unable (...)
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • The intoxicating effects of conciliatory omniscience.David McElhoes - forthcoming - Philosophical Studies:1-17.
    The coherence of omniscience is sometimes challenged using self-referential sentences like, “No omniscient entity knows that which this very sentence expresses,” which suggest that there are truths which no omniscient entity knows. In this paper, I consider two strategies for addressing these challenges: The Common Strategy, which dismisses such self-referential sentences as meaningless, and The Conciliatory Strategy, which discounts them as quirky outliers with no impact on one’s status as being omniscient. I argue that neither strategy succeeds. The Common Strategy (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Is Classical Mathematics Appropriate for Theory of Computation?Farzad Didehvar - manuscript
    Throughout this paper, we are trying to show how and why our Mathematical frame-work seems inappropriate to solve problems in Theory of Computation. More exactly, the concept of turning back in time in paradoxes causes inconsistency in modeling of the concept of Time in some semantic situations. As we see in the first chapter, by introducing a version of “Unexpected Hanging Paradox”,first we attempt to open a new explanation for some paradoxes. In the second step, by applying this paradox, it (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Intentionality Lite or Analog Content?: A Response to Hutto and Satne.Gerard O’Brien & Jon Opie - 2015 - Philosophia 43 (3):723-729.
    In their target article, Hutto and Satne eloquently articulate the failings of most current attempts to naturalize mental content. Furthermore, we think they are correct in their insistence that the only way forward is by drawing a distinction between two kinds of intentionality, one of which is considerably weaker than—and should be deployed to explain—the propositional variety most philosophers take for granted. The problem is that their own rendering of this weaker form of intentionality—contentless intentionality—is too weak. What’s needed is (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Why Aristotle’s Sea-Battle Argument is Valid.Michael Groneberg - 2013 - History of Philosophy & Logical Analysis 16 (1):331-345.
    The paper tries to demonstrate the validity of Aristotle’s sea-battle argument, which is still considered as invalid by many authors. The first part presents the usual reconstruction of Aristotle’s argument and the reason for its rejection. It presents the late antique adoption of the argument as valid and strong by Ammonios and Boethius as well as its modern defence. In the second part, the elements that together assure the validity of the argument are combined and cast in the form of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Reason, Causation and Compatibility with the Phenomena.Basil Evangelidis - 2020 - Wilmington, Delaware, USA: Vernon Press.
    'Reason, Causation and Compatibility with the Phenomena' strives to give answers to the philosophical problem of the interplay between realism, explanation and experience. This book is a compilation of essays that recollect significant conceptions of rival terms such as determinism and freedom, reason and appearance, power and knowledge. This title discusses the progress made in epistemology and natural philosophy, especially the steps that led from the ancient theory of atomism to the modern quantum theory, and from mathematization to analytic philosophy. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Hard Road to Presentism.Jamin Asay & Sam Baron - 2014 - Pacific Philosophical Quarterly 95 (3):314-335.
    It is a common criticism of presentism – the view according to which only the present exists – that it errs against truthmaker theory. Recent attempts to resolve the truthmaker objection against presentism proceed by restricting truthmaker maximalism (the view that all truths have truthmakers), maintaining that propositions concerning the past are not made true by anything, but are true nonetheless. Support for this view is typically garnered from the case for negative existential propositions, which some philosophers contend are exceptions (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • One Hundred Years of Semantic Paradox.Leon Horsten - 2015 - Journal of Philosophical Logic (6):1-15.
    This article contains an overview of the main problems, themes and theories relating to the semantic paradoxes in the twentieth century. From this historical overview I tentatively draw some lessons about the way in which the field may evolve in the next decade.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Paradox of Gödel’s Numbering and the Philosophy of Modern Metamathematics.Djidjian Robert - 2017 - Wisdom 9 (2):18-28.
    Download  
     
    Export citation  
     
    Bookmark  
  • Consciousness, Content, and Metacognitive Judgments.David M. Rosenthal - 2000 - Consciousness and Cognition 9 (2):203-214.
    Because metacognition consists in our having mental access to our cognitive states and mental states are conscious only when we are conscious of them in some suitable way, metacognition and consciousness shed important theoretical light on one another. Thus, our having metacognitive access to information carried by states that are not conscious helps con?rm the hypothesis that a mental state.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Reference and Truth.Lavinia Picollo - 2020 - Journal of Philosophical Logic 49 (3):439-474.
    I apply the notions of alethic reference introduced in previous work in the construction of several classical semantic truth theories. Furthermore, I provide proof-theoretic versions of those notions and use them to formulate axiomatic disquotational truth systems over classical logic. Some of these systems are shown to be sound, proof-theoretically strong, and compare well to the most renowned systems in the literature.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Inheriting the World.Michel-Antoine Xhignesse - 2020 - Journal of Applied Logics 7 (2):163-70.
    A critical reflection on John Woods's new monograph, Truth in Fiction – Rethinking its Logic. I focus in particular on Woods’s world-inheritance thesis (what others have variously called ‘background,’ ‘the principle of minimal departure,’ and ‘the reality assumption,’ and which replaces Woods’s earlier ‘fill-conditions’) and its interplay with auctorial say-so, arguing that world-inheritance actually constrains auctorial say-so in ways Woods has not anticipated.
    Download  
     
    Export citation  
     
    Bookmark  
  • Donald Davidson.Ernest Lepore & Kirk Ludwig - 2004 - Midwest Studies in Philosophy 28 (1):309–333.
    This chapter reviews the major contributions of Donald Davidson to philosophy in the 20th century.
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • Truth, Paradox, and Ineffable Propositions.James R. Shaw - 2013 - Philosophy and Phenomenological Research 86 (1):64-104.
    I argue that on very weak assumptions about truth (in particular, that there are coherent norms governing the use of "true"), there is a proposition absolutely inexpressible with conventional language, or something very close. I argue for this claim "constructively": I use a variant of the Berry Paradox to reveal a particular thought for my readership to entertain that very strongly resists conventional expression. I gauge the severity of this expressive limitation within a taxonomy of expressive failures, and argue that (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • “Critical Thinking: An Approach That Synthesizes Analytic Philosophy”.Sanjit Chakraborty - 2017 - Indian Philosophical Quarterly 44 (1):67-78.
    This paper concentrates on the resurrection of the journey of analytic philosophy from the perspective of ‘critical thinking,’ a tool of proper thought and understanding. To define an era of philosophy as analytic seems indeed a difficult attempt. However, my attempt would be to look up a few positions from the monumental thoughts of Frege, Russell, Carnap, Wittgenstein, Quine, and Putnam on their ‘analysis’ minded outlooks that developed in different ways based on logic, scientific spirit, conceptual, language etc. Analytic philosophers (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Inferential Role and the Ideal of Deductive Logic.Thomas Hofweber - unknown - The Baltic International Yearbook of Cognition, Logic and Communication 5.
    Although there is a prima facie strong case for a close connection between the meaning and inferential role of certain expressions, this connection seems seriously threatened by the semantic and logical paradoxes which rely on these inferential roles. Some philosophers have drawn radical conclusions from the paradoxes for the theory of meaning in general, and for which sentences in our language are true. I criticize these overreactions, and instead propose to distinguish two conceptions of inferential role. This distinction is closely (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Formulating Deflationism.Arvid Båve - 2013 - Synthese 190 (15):3287-3305.
    I here argue for a particular formulation of truth-deflationism, namely, the propositionally quantified formula, (Q) “For all p, <p> is true iff p”. The main argument consists of an enumeration of the other (five) possible formulations and criticisms thereof. Notably, Horwich’s Minimal Theory is found objectionable in that it cannot be accepted by finite beings. Other formulations err in not providing non-questionbegging, sufficiently direct derivations of the T-schema instances. I end by defending (Q) against various objections. In particular, I argue (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Peirce's and James's Theories of Truth: A Critical Reformulation and Evaluation.Michael David Bybee - 1981 - Dissertation, University of Hawai'i
    This dissertation responds to the question, "To what extent can the pragmatist theories of truth of Peirce and James be defended against the major philosophical criticisms that have been used to dismiss them?" The answer to this depends to a great degree on the kind of formulation given these theories. Hence, one of the major goals of this dissertation is to express precisely and systematically Peirce's and James's theories of truth in such a way that only one of various possible (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Alfred Tarski and the “Concept of Truth in Formalized Languages”. A Running Commentary with Consideration of the Polish Original and the German Translation: Monika Gruber. Berlin: Springer, 2016. Xii + 187 Pp. €93.59 . ISBN 978-3-319-32614-6. [REVIEW]David Kashtan - 2019 - History and Philosophy of Logic 40 (3):303-305.
    Volume 40, Issue 3, August 2019, Page 303-305.
    Download  
     
    Export citation  
     
    Bookmark  
  • Implicit Complements: A Dilemma for Model Theoretic Semantics. [REVIEW]Brendan S. Gillon - 2012 - Linguistics and Philosophy 35 (4):313-359.
    I show that words with indefinite implicit complements occasion a dilemma for their model theory. There has been only two previous attempts to address this problem, one by Fodor and Fodor (1980) and one by Dowty (1981). Each requires that any word tolerating an implicit complement be treated as ambiguous between two different lexical entries and that a meaning postulate or lexical rule be given to constrain suitably the meanings of the various entries for the word. I show that the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Ordinary Truth in Tarski and Næss.Joseph Ulatowski - 2016 - In Adrian Kuzniar & Joanna Odrowąż-Sypniewska (eds.), Uncovering Facts and Values. Brill. pp. 67-90.
    Alfred Tarski seems to endorse a partial conception of truth, the T-schema, which he believes might be clarified by the application of empirical methods, specifically citing the experimental results of Arne Næss (1938a). The aim of this paper is to argue that Næss’ empirical work confirmed Tarski’s semantic conception of truth, among others. In the first part, I lay out the case for believing that Tarski’s T-schema, while not the formal and generalizable Convention-T, provides a partial account of truth that (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Pluralism and the Absence of Truth.Jeremy Wyatt - 2014 - Dissertation, University of Connecticut
    In this dissertation, I argue that we should be pluralists about truth and in turn, eliminativists about the property Truth. Traditional deflationists were right to suspect that there is no such property as Truth. Yet there is a plurality of pluralities of properties which enjoy defining features that Truth would have, were it to exist. So although, in this sense, truth is plural, Truth is non-existent. The resulting account of truth is indebted to deflationism as the provenance of the suspicion (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Toward a Theory of Concept Mastery: The Recognition View.Gabriel Oak Rabin - 2020 - Erkenntnis 85 (3):627-648.
    Agents can think using concepts they do not fully understand. This paper investigates the question “Under what conditions does a thinker fully understand, or have mastery of, a concept?” I lay out a gauntlet of problems and desiderata with which any theory of concept mastery must cope. I use these considerations to argue against three views of concept mastery, according to which mastery is a matter of holding certain beliefs, being disposed to make certain inferences, or having certain intuitions. None (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Disquotation, Conditionals, and the Liar.John Barker - 2009 - Polish Journal of Philosophy 3 (1):5-21.
    In this paper I respond to Jacquette’s criticisms, in (Jacquette, 2008), of my (Barker, 2008). In so doing, I argue that the Liar paradox is in fact a problem about the disquotational schema, and that nothing in Jacquette’s paper undermines this diagnosis.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Minimalism and Truth.John O'Leary-Hawthorne & Graham Oppy - 1997 - Noûs 31 (2):170-196.
    This paper canvasses the various dimensions along which theories of truth may disagree about the extent to which truth is minimal.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • 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. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Jump Liars and Jourdain’s Card Via the Relativized T-Scheme.Ming Hsiung - 2009 - Studia Logica 91 (2):239-271.
    A relativized version of Tarski's T-scheme is introduced as a new principle of the truth predicate. Under the relativized T-scheme, the paradoxical objects, such as the Liar sentence and Jourdain's card sequence, are found to have certain relative contradictoriness. That is, they are contradictory only in some frames in the sense that any valuation admissible for them in these frames will lead to a contradiction. It is proved that for any positive integer n, the n-jump liar sentence is contradictory in (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • The Birth of Semantics.Richard Kimberly Heck & Robert C. May - 2020 - Journal for the History of Analytical Philosophy 8 (6):1-31.
    We attempt here to trace the evolution of Frege’s thought about truth. What most frames the way we approach the problem is a recognition that hardly any of Frege’s most familiar claims about truth appear in his earliest work. We argue that Frege’s mature views about truth emerge from a fundamental re-thinking of the nature of logic instigated, in large part, by a sustained engagement with the work of George Boole and his followers, after the publication of Begriffsschrift and the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Tarski on the Necessity Reading of Convention T.Douglas Eden Patterson - 2006 - Synthese 151 (1):1-32.
    Tarski’s Convention T is often taken to claim that it is both sufficient and necessary for adequacy in a definition of truth that it imply instances of the T-schema where the embedded sentence translates the mentioned sentence. However, arguments against the necessity claim have recently appeared, and, furthermore, the necessity claim is actually not required for the indefinability results for which Tarski is justly famous; indeed, Tarski’s own presentation of the results in the later Undecidable Theories makes no mention of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Truth & Transcendence: Turning the Tables on the Liar Paradox.Gila Sher - 2017 - In Bradley Armour-Garb (ed.), Reflections on the Liar. Oxford: Oxford University Press. pp. 281-306.
    Confronting the Liar Paradox is commonly viewed as a prerequisite for developing a theory of truth. In this paper I turn the tables on this traditional conception of the relation between the two. The theorist of truth need not constrain his search for a “material” theory of truth, i.e., a theory of the philosophical nature of truth, by committing himself to one solution or another to the Liar Paradox. If he focuses on the nature of truth (leaving issues of formal (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Truth Via Satisfaction?Nicholas J. J. Smith - 2017 - In Pavel Arazim & Tomas Lavicka (eds.), The Logica Yearbook 2016. London: College Publications. pp. 273-287.
    One of Tarski’s stated aims was to give an explication of the classical conception of truth—truth as ‘saying it how it is’. Many subsequent commentators have felt that he achieved this aim. Tarski’s core idea of defining truth via satisfaction has now found its way into standard logic textbooks. This paper looks at such textbook definitions of truth in a model for standard first-order languages and argues that they fail from the point of view of explication of the classical notion (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Role of Concepts in Fixing Language.Sarah Sawyer - 2020 - Canadian Journal of Philosophy 50 (5):555-565.
    This is a contribution to the symposium on Herman Cappelen’s book Fixing Language. Cappelen proposes a metasemantic framework—the “Austerity Framework”—within which to understand the general phenomenon of conceptual engineering. The proposed framework is austere in the sense that it makes no reference to concepts. Conceptual engineering is then given a “worldly” construal according to which conceptual engineering is a process that operates on the world. I argue, contra Cappelen, that an adequate theory of conceptual engineering must make reference to concepts. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • A Cantorian Argument Against Frege's and Early Russell's Theories of Descriptions.Kevin C. Klement - 2009 - In Nicholas Griffin & Dale Jacquette (eds.), Russell Vs. Meinong: The Legacy of. Routledge.
    It would be an understatement to say that Russell was interested in Cantorian diagonal paradoxes. His discovery of the various versions of Russell’s paradox—the classes version, the predicates version, the propositional functions version—had a lasting effect on his views in philosophical logic. Similar Cantorian paradoxes regarding propositions—such as that discussed in §500 of The Principles of Mathematics—were surely among the reasons Russell eventually abandoned his ontology of propositions.1 However, Russell’s reasons for abandoning what he called “denoting concepts”, and his rejection (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • John Cook Wilson.Mathieu Marion - 2010 - Stanford Encyclopedia of Philosophy.
    John Cook Wilson (1849–1915) was Wykeham Professor of Logic at New College, Oxford and the founder of ‘Oxford Realism’, a philosophical movement that flourished at Oxford during the first decades of the 20th century. Although trained as a classicist and a mathematician, his most important contribution was to the theory of knowledge, where he argued that knowledge is factive and not definable in terms of belief, and he criticized ‘hybrid’ and ‘externalist’ accounts. He also argued for direct realism in perception, (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  • The Enhanced Indispensability Argument, the Circularity Problem, and the Interpretability Strategy.Jan Heylen & Lars Arthur Tump - forthcoming - Synthese:1-13.
    Within the context of the Quine–Putnam indispensability argument, one discussion about the status of mathematics is concerned with the ‘Enhanced Indispensability Argument’, which makes explicit in what way mathematics is supposed to be indispensable in science, namely explanatory. If there are genuine mathematical explanations of empirical phenomena, an argument for mathematical platonism could be extracted by using inference to the best explanation. The best explanation of the primeness of the life cycles of Periodical Cicadas is genuinely mathematical, according to Baker (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Does Semantic Relationism Solve Frege’s Puzzle?Bryan Pickel & Brian Rabern - 2017 - Journal of Philosophical Logic 46 (1):97-118.
    In a series of recent works, Kit Fine, 605–631, 2003, 2007) has sketched a novel solution to Frege’s puzzle. Radically departing from previous solutions, Fine argues that Frege’s puzzle forces us to reject compositionality. In this paper we first provide an explicit formalization of the relational semantics for first-order logic suggested, but only briefly sketched, by Fine. We then show why the relational semantics alone is technically inadequate, forcing Fine to enrich the syntax with a coordination schema. Given this enrichment, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Liar-Like Paradoxes and Metalanguage Features.Klaus Ladstaetter - 2013 - Southwest Philosophy Review 29 (1):61-70.
    In their (2008) article Liar-Like Paradox and Object Language Features C.S. Jenkins and Daniel Nolan (henceforth, JN) argue that it is possible to construct Liar-like paradox in a metalanguage even though its object language is not semantically closed. I do not take issue with this claim. I find fault though with the following points contained in JN’s article: First, that it is possible to construct Liar-like paradox in a metalanguage, even though this metalanguage is not semantically closed. Second, that the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Grounding Reichenbach’s Pragmatic Vindication of Induction.Michael J. Shaffer - 2017 - Polish Journal of Philosophy 11 (1):43-55.
    This paper has three interdependent aims. The first is to make Reichenbach’s views on induction and probabilities clearer, especially as they pertain to his pragmatic justification of induction. The second aim is to show how his view of pragmatic justification arises out of his commitment to extensional empiricism and moots the possibility of a non-pragmatic justification of induction. Finally, and most importantly, a formal decision-theoretic account of Reichenbach’s pragmatic justification is offered in terms both of the minimax principle and the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Frege and Semantics.Richard Heck - 2007 - Grazer Philosophische Studien 75 (1):27-63.
    In recent work on Frege, one of the most salient issues has been whether he was prepared to make serious use of semantical notions such as reference and truth. I argue here Frege did make very serious use of semantical concepts. I argue, first, that Frege had reason to be interested in the question how the axioms and rules of his formal theory might be justified and, second, that he explicitly commits himself to offering a justification that appeals to the (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • Apperceptive Patterning: Artefaction, Extensional Beliefs and Cognitive Scaffolding.Ekin Erkan - 2020 - Cosmos and History 16 (1):125-178.
    In “Psychopower and Ordinary Madness” my ambition, as it relates to Bernard Stiegler’s recent literature, was twofold: 1) critiquing Stiegler’s work on exosomatization and artefactual posthumanism—or, more specifically, nonhumanism—to problematize approaches to media archaeology that rely upon technical exteriorization; 2) challenging how Stiegler engages with Giuseppe Longo and Francis Bailly’s conception of negative entropy. These efforts were directed by a prevalent techno-cultural qualifier: the rise of Synthetic Intelligence (including neural nets, deep learning, predictive processing and Bayesian models of cognition). This (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Logicism, Ontology, and the Epistemology of Second-Order Logic.Richard Kimberly Heck - 2018 - In Ivette Fred-Rivera & Jessica Leach (eds.), Being Necessary: Themes of Ontology and Modality from the Work of Bob Hale. Oxford: Oxford University Press. pp. 140-169.
    In two recent papers, Bob Hale has attempted to free second-order logic of the 'staggering existential assumptions' with which Quine famously attempted to saddle it. I argue, first, that the ontological issue is at best secondary: the crucial issue about second-order logic, at least for a neo-logicist, is epistemological. I then argue that neither Crispin Wright's attempt to characterize a `neutralist' conception of quantification that is wholly independent of existential commitment, nor Hale's attempt to characterize the second-order domain in terms (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Physics Avoidance & Cooperative Semantics: Inferentialism and Mark Wilson’s Engagement with Naturalism Qua Applied Mathematics.Ekin Erkan - 2020 - Cosmos and History 16 (1):560-644.
    Mark Wilson argues that the standard categorizations of "Theory T thinking"— logic-centered conceptions of scientific organization (canonized via logical empiricists in the mid-twentieth century)—dampens the understanding and appreciation of those strategic subtleties working within science. By "Theory T thinking," we mean to describe the simplistic methodology in which mathematical science allegedly supplies ‘processes’ that parallel nature's own in a tidily isomorphic fashion, wherein "Theory T’s" feigned rigor and methodological dogmas advance inadequate discrimination that fails to distinguish between explanatory structures that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • On a Fallacy Attributed to Tarski.Mario Gómez-Torrente - 1998 - History and Philosophy of Logic 19 (4):227-234.
    The purpose of this paper is to examine some passages of Tarski?s paper ?On the concept of logical consequence? and to show that some recent readings of those passages are wrong. John Etchemendy has claimed that in those passages Tarski gave an argument purporting to show that the notion of logical consequence defined by him (as opposed to some pretheoretic notion of logical consequence) possesses certain modal properties. Etchemendy further claims that the argument he attributes to Tarski is fallacious. Some (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations