Search results for 'mathematical truth' (try it on Scholar)

1000+ found
Sort by:
  1. Michael Jubien (1977). Ontology and Mathematical Truth. Noûs 11 (2):133-150.score: 180.0
    The main goal of this paper is to urge that the normal platonistic account of mathematical truth is unsatisfactory even if pure abstract entities are assumed to exist (in a non-Question-Begging way). It is argued that the task of delineating an interpretation of a formal mathematical theory among pure abstract entities is not one that can be accomplished. An important effect of this conclusion on the question of the ontological commitments of informal mathematical theories is discussed. (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Graham Priest (1983). An Anti-Realist Account of Mathematical Truth. Synthese 57 (1):49 - 65.score: 180.0
    The paper gives a semantics for naive (inconsistent) set theory in terms of substitutional quantification. Soundness is proved in an appendix. In the light of this construction, Several philosophical issues are discussed, Including mathematical necessity and the set theoretic paradoxes. Most importantly, It is argued, These semantics allow for a nominalist account of mathematical truth not committed to the existence of a domain of abstract entities.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Charles Sayward (2005). Steiner Versus Wittgenstein: Remarks on Differing Views of Mathematical Truth. Theoria 20 (3):347-352.score: 180.0
    Mark Steiner criticizes some remarks Wittgenstein makes about Gödel. Steiner takes Wittgenstein to be disputing a mathematical result. The paper argues that Wittgenstein does no such thing. The contrast between the realist and the demonstrativist concerning mathematical truth is examined. Wittgenstein is held to side with neither camp. Rather, his point is that a realist argument is inconclusive.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. David Fair (1984). Provability and Mathematical Truth. Synthese 61 (3):363 - 385.score: 180.0
    An insight, Central to platonism, That the objects of pure mathematics exist "in some sense" is probably essential to any adequate account of mathematical truth, Mathematical language, And the objectivity of the mathematical enterprise. Yet a platonistic ontology makes how we can come to know anything about mathematical objects and how we use them a dark mystery. In this paper I propose a framework for reconciling a representation-Relative provability theory of mathematical truth with (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  5. Imre Toth (2009). “Deus Fons Veritatis”: The Subject and its Freedom. The Ontic Foundation of Mathematical Truth. A Biographical-Theoretical Interview with Gaspare Polizzi. Iris 1 (1):29-80.score: 180.0
    “Deus fons veritatis”: the Subject and its Freedom. The Ontic Foundation of Mathematical Truth is the title of Gaspare Polizzi’s long biographical-theoretical interview with Imre Toth. The interview is divided into eight parts. The first part describes the historical and cultural context in which Toth was formed. A Jew by birth, during the Second World War Toth became a communist and a partisan, enduring prison, torture, and internment in a concentration camp from 1940 until 6 June 1944. In (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. La´Szlo´ E. Szabo´ (2003). Formal Systems as Physical Objects: A Physicalist Account of Mathematical Truth. International Studies in the Philosophy of Science 17 (2):117-125.score: 178.0
    This article is a brief formulation of a radical thesis. We start with the formalist doctrine that mathematical objects have no meanings; we have marks and rules governing how these marks can be combined. That's all. Then I go further by arguing that the signs of a formal system of mathematics should be considered as physical objects, and the formal operations as physical processes. The rules of the formal operations are or can be expressed in terms of the laws (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  7. Alan Weir, A Neo-Formalist Approach to Mathematical Truth.score: 174.0
    I outline a variant on the formalist approach to mathematics which rejects textbook formalism's highly counterintuitive denial that mathematical theorems express truths while still avoiding ontological commitment to a realm of abstract objects. The key idea is to distinguish the sense of a sentence from its explanatory truth conditions. I then look at various problems with the neo-formalist approach, in particular at the status of the notion of proof in a formal calculus and at problems which Gödelian results (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. László Szabó, A Physicalist Account of Mathematical Truth.score: 174.0
    Realists, Platonists and intuitionists jointly believe that mathematical concepts and propositions have meanings, and when we formalize the language of mathematics, these meanings are meant to be reflected in a more precise and more concise form. According to the formalist understanding of mathematics (at least, according to the radical version of formalism I am proposing here) the truth, on the contrary, is that a mathematical object has no meaning; we have marks and rules governing how these marks (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  9. László E. Szabó (2003). Formal Systems as Physical Objects: A Physicalist Account of Mathematical Truth. International Studies in the Philosophy of Science 17 (2):117 – 125.score: 174.0
    This article is a brief formulation of a radical thesis. We start with the formalist doctrine that mathematical objects have no meanings; we have marks and rules governing how these marks can be combined. That's all. Then I go further by arguing that the signs of a formal system of mathematics should be considered as physical objects, and the formal operations as physical processes. The rules of the formal operations are or can be expressed in terms of the laws (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. Bradley Armour‐Garb & James A. Woodbridge (2014). From Mathematical Fictionalism to Truth‐Theoretic Fictionalism. Philosophy and Phenomenological Research 88 (1):93-118.score: 168.0
    We argue that if Stephen Yablo (2005) is right that philosophers of mathematics ought to endorse a fictionalist view of number-talk, then there is a compelling reason for deflationists about truth to endorse a fictionalist view of truth-talk. More specifically, our claim will be that, for deflationists about truth, Yablo’s argument for mathematical fictionalism can be employed and mounted as an argument for truth-theoretic fictionalism.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  11. G. B. Keene (1956). Analytic Statements and Mathematical Truth. Analysis 16 (4):86 - 90.score: 164.0
    Mathematically, Truths have been said to be analytic. Leibniz tried to prove this in a way criticized by frege. The author states: "it is the purpose of this note to exhibit the full force of frege's criticism." frege also attempted to prove the same thing, But concludes the author, In his attempt, Has not "found universal acceptance among mathematical logicians." he finds the value in frege's analysis to be the fact of his attempt at proof and the need for (...)
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  12. Laszlo E. Szabo, How Can Physics Account for Mathematical Truth?score: 162.0
    If physicalism is true, everything is physical. In other words, everything supervenes on, or is necessitated by, the physical. Accordingly, if there are logical/mathematical facts, they must be necessitated by the physical facts of the world. In this paper, I will sketch the first steps of a physicalist philosophy of mathematics; that is, how physicalism can account for logical and mathematical facts. We will proceed as follows. First we will clarify what logical/mathematical facts actually are. Then, we (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  13. Phil Corkum (2012). Aristotle on Mathematical Truth. British Journal for the History of Philosophy 20 (6):1057-1076.score: 160.0
    Both literalism, the view that mathematical objects simply exist in the empirical world, and fictionalism, the view that mathematical objects do not exist but are rather harmless fictions, have been both ascribed to Aristotle. The ascription of literalism to Aristotle, however, commits Aristotle to the unattractive view that mathematics studies but a small fragment of the physical world; and there is evidence that Aristotle would deny the literalist position that mathematical objects are perceivable. The ascription of fictionalism (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  14. Virginia Klenk (1990). What Mathematical Truth Need Not Be. In J. Dunn & A. Gupta (eds.), Truth or Consequences. Kluwer. 197--208.score: 156.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. Paul Benacerraf (1973). Mathematical Truth. Journal of Philosophy 70 (19):661-679.score: 154.0
  16. Carl G. Hempel (1964). On the Nature of Mathematical Truth. In P. Benacerraf H. Putnam (ed.), Philosophy of Mathematics. Prentice-Hall. 366--81.score: 152.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. Hilary Putnam (1975). What is Mathematical Truth? In Mathematics, Matter and Method. Cambridge University Press. 60--78.score: 152.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  18. Robert Hanna (2010). Mathematical Truth Regained. In Mirja Hartimo (ed.), Phenomenology and Mathematics. Springer. 147--181.score: 152.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. Paul Benacerraf (2003). What Mathematical Truth Could Not Be--1. In Matthias Schirn (ed.), The Philosophy of Mathematics Today. Clarendon Press.score: 152.0
    No categories
     
    My bibliography  
     
    Export citation  
  20. Mark Balaguer (2001). A Theory of Mathematical Correctness and Mathematical Truth. Pacific Philosophical Quarterly 82 (2):87–114.score: 150.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  21. Richard Creath (1980). Benacerraf and Mathematical Truth. Philosophical Studies 37 (4):335 - 340.score: 150.0
  22. Gian-Carlo Rota (1991). The Concept of Mathematical Truth. Review of Metaphysics 44 (3):483 - 494.score: 150.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  23. Rene Descartes (1995). Divine Will and Mathematical Truth: Gassendi and Descartes on the Status of the Eternal Truths. In Roger Ariew & Marjorie Glicksman Grene (eds.), Descartes and His Contemporaries: Meditations, Objections, and Replies. University of Chicago Press. 145.score: 150.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. Thomas M. Norton-Smith (1991). A Note on Philip Kitcher's Analysis of Mathematical Truth. Notre Dame Journal of Formal Logic 33 (1):136-139.score: 150.0
  25. W. D. Hart (1987). Review: Paul Benacerraf, Mathematical Truth; Michael Jubien, Ontology and Mathematical Truth; Philip Kitcher, The Plight of the Platonist. [REVIEW] Journal of Symbolic Logic 52 (2):552-554.score: 150.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26. Charles A. Baylis (1946). Review: C. G. Hempel, On the Nature of Mathematical Truth. [REVIEW] Journal of Symbolic Logic 11 (3):100-100.score: 150.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  27. la´ Szlo´ E. Szabo´ (2003). Formal Systems as Physical Objects: A Physicalist Account of Mathematical Truth. International Studies in the Philosophy of Science 17 (2):117-125.score: 150.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  28. Otavio Bueno (2000). Empiricism, Mathematical Truth and Mathematical Knowledge. Poznan Studies in the Philosophy of the Sciences and the Humanities 71:219-242.score: 150.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  29. C. Liu (2000). Empiricism, Mathematical Truth and Mathematical Knowledge Commentary. Poznan Studies in the Philosophy of the Sciences and the Humanities 71:219-242.score: 150.0
     
    My bibliography  
     
    Export citation  
  30. Ann P. Lowry (1971). Whitehead and the Nature of Mathematical Truth. Process Studies 1 (2):114-123.score: 150.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  31. Penelope Maddy (1996). The Legacy of Mathematical Truth. In Adam Morton & Stephen P. Stich (eds.), Benacerraf and His Critics. Blackwell. 60--72.score: 150.0
    No categories
     
    My bibliography  
     
    Export citation  
  32. Elhanan Yakira (1990). What is a Mathematical Truth? In Spinoza and Leibniz. Studia Spinozana: An International and Interdisciplinary Series 6:73-101.score: 150.0
  33. Markus Pantsar (2009). Truth, Proof and Gödelian Arguments: A Defence of Tarskian Truth in Mathematics. Dissertation, University of Helsinkiscore: 146.0
    One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  34. P. B. Andrews (2002). An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer Academic Publishers.score: 138.0
    This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability. The last three chapters of the book provide an introduction to type theory (higher-order logic). It is shown how various mathematical concepts can be formalized in this very expressive formal language. This expressive notation (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  35. Jean-Yves Béziau (2011). Truth as a Mathematical Object. Principia 14 (1):31-46.score: 132.0
    Neste artigo, discutimos em que sentido a verdade é considerada como um objeto matemático na lógica proposicional. Depois de esclarecer como este conceito é usado na lógica clássica, através das noções de tabela de verdade, de função de verdade, de bivaloração, examinamos algumas generalizações desse conceito nas lógicas não clássicas: semânticas matriciais multi-valoradas com três ou quatro valores, semântica bivalente não veritativa, semânticas dos mundos possiveis de Kripke. DOI:10.5007/1808-1711.2010v14n1p31.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  36. Hartry Field (1998). Which Undecidable Mathematical Sentences Have Determinate Truth Values. In H. G. Dales & Gianluigi Oliveri (eds.), Truth in Mathematics. Oxford University Press, Usa. 291--310.score: 132.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  37. John Hayden Woods (1974). Proof & Truth: Mathematical Logic for Non-Mathematicians. Martin.score: 132.0
     
    My bibliography  
     
    Export citation  
  38. Emilia Anvarovna Taissina (2008). Philosophical Truth in Mathematical Terms and Literature Analogies. Proceedings of the Xxii World Congress of Philosophy 53:273-278.score: 126.0
    The article is based upon the following starting position. In this post-modern time, it seems that no scholar in Europe supports what is called “Enlightenment Project” with its naïve objectivism and Correspondence Theory of Truth1, - though not being really hostile, just strongly skeptical about it. No old-fasioned “classical” academical texts; only His Majesty Discourse as chain of interpretations and reinterpretations. What was called objectivity “proved to be” intersubjectivity; what was called Object (in Latin and German and Russian tradition) now (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  39. Michael Hymers (2003). The Dignity of a Rule: Wittgenstein, Mathematical Norms, and Truth. Dialogue 42 (03):419-446.score: 122.0
    Paul Boghossian (1996; 1998)argues that Wittgenstein suffered from a "confusion" (1996, 377) if he thought that he could treat propositions of logic and mathematics both as rules and as being true as a matter of convention. He also suggests that such "rule-prescriptivism" (377) about math and logic leads to a vicious regress (1998). Focusing on Wittgenstein's normativism about mathematics, I argue that neither of these claims is true.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  40. Melvin Fitting (1986). Notes on the Mathematical Aspects of Kripke's Theory of Truth. Notre Dame Journal of Formal Logic 27 (1):75-88.score: 120.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  41. Niels Egmont Christensen (1965). A Non-Truth-Functional Interpretation of Mathematical Logic. Analysis 25 (Suppl-3):129 - 132.score: 120.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  42. Jesús Padilla Gálvez (1993). Estudio Crítico: Truth, Vagueness and Paradox. An Essay on the Logic of Truth.Fixed Point Constructions in Various Theories of Mathematical Logic. Crítica: Revista Hispanoamericana de Filosofía 25 (73):83-108.score: 120.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  43. Comments on Charles Parsons (2012). Correct Provided the Mathematical Axioms of the Metalanguage Are True–and That Proviso Uses the Very Notion of Truth That Some People Claim Tarski Completely Explained for Us! Why Do I Say This? Well, Remember That Tarski's Criterion of Adequacy is That All the T-Sentences Must Be Theorems of the Metalanguage. If the Metalanguage is Incorrect and It Can Be Incorrect With. In Maria Baghramian (ed.), Reading Putnam. Routledge.score: 120.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  44. M. Yasuhara (1988). Review: Peter B. Andrews, An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. [REVIEW] Journal of Symbolic Logic 53 (1):312-314.score: 120.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  45. P. B. Andrews & Mitsuru Yasuhara (2003). REVIEWS-An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Bulletin of Symbolic Logic 9 (3):408.score: 120.0
    No categories
     
    My bibliography  
     
    Export citation  
  46. Sergio Galvan (2010). 12 The Emergence of the Intuition of Truth in Mathematical Thought. In Antonella Corradini & Timothy O'Connor (eds.), Emergence in Science and Philosophy. Routledge. 6--233.score: 120.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  47. Ian Mueller (2000). Mathematical Method and Philosophical Truth. Filozofski Vestnik 21 (1):131-155.score: 120.0
    No categories
     
    My bibliography  
     
    Export citation  
  48. Zbigniew Tworak (2010). On the Notion of Truth in Mathematical Intuitionism. Filozofia Nauki 18 (4):49.score: 120.0
     
    My bibliography  
     
    Export citation  
  49. Mitsuru Yasuhara (2003). Andrews Peter B.. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Applied Logic Series, Vol. 27. Kluwer Academic Publishers, Dordrecht, Boston, and London, 2002, Xviii+ 390 Pp. [REVIEW] Bulletin of Symbolic Logic 9 (3):408-408.score: 120.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  50. Andrea Cantini (1996). Logical Frameworks for Truth and Abstraction: An Axiomatic Study. Elsevier Science B.V..score: 114.0
    This English translation of the author's original work has been thoroughly revised, expanded and updated. The book covers logical systems known as type-free or self-referential . These traditionally arise from any discussion on logical and semantical paradoxes. This particular volume, however, is not concerned with paradoxes but with the investigation of type-free sytems to show that: (i) there are rich theories of self-application, involving both operations and truth which can serve as foundations for property theory and formal semantics; (ii) (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000