Contents
410 found
Order:
1 — 50 / 410
Material to categorize
  1. Ancient Greek Mathematical Proofs and Metareasoning.Mario Bacelar Valente - 2024 - In Maria Zack & David Waszek (eds.), Research in History and Philosophy of Mathematics. Annals of the Canadian Society for History and Philosophy of Mathematics. pp. 15-33.
    We present an approach in which ancient Greek mathematical proofs by Hippocrates of Chios and Euclid are addressed as a form of (guided) intentional reasoning. Schematically, in a proof, we start with a sentence that works as a premise; this sentence is followed by another, the conclusion of what we might take to be an inferential step. That goes on until the last conclusion is reached. Guided by the text, we go through small inferential steps; in each one, we go (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. Frege’s Theory of Types.Bruno Bentzen - 2023 - Manuscrito 46 (4):2022-0063.
    It is often claimed that the theory of function levels proposed by Frege in Grundgesetze der Arithmetik anticipates the hierarchy of types that underlies Church’s simple theory of types. This claim roughly states that Frege presupposes a type of functions in the sense of simple type theory in the expository language of Grundgesetze. However, this view makes it hard to accommodate function names of two arguments and view functions as incomplete entities. I propose and defend an alternative interpretation of first-level (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. Scientific Platonism.Alexander Paseau - 2007 - In Mary Leng, Alexander Paseau & Michael Potter (eds.), Mathematical Knowledge. Oxford University Press. pp. 123-149.
    Does natural science give us reason to believe that mathematical statements are true? And does natural science give us reason to believe in some particular metaphysics of mathematics? These two questions should be firmly distinguished. My argument in this chapter is that a negative answer to the second question is compatible with an affirmative answer to the first. Loosely put, even if science settles the truth of mathematics, it does not settle its metaphysics.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  4. Fair equality of chances for prediction-based decisions.Michele Loi, Anders Herlitz & Hoda Heidari - forthcoming - Economics and Philosophy:1-24.
    This article presents a fairness principle for evaluating decision-making based on predictions: a decision rule is unfair when the individuals directly impacted by the decisions who are equal with respect to the features that justify inequalities in outcomes do not have the same statistical prospects of being benefited or harmed by them, irrespective of their socially salient morally arbitrary traits. The principle can be used to evaluate prediction-based decision-making from the point of view of a wide range of antecedently specified (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Reference Fixing and the Paradoxes.Mario Gomez-Torrente - forthcoming - In Mattia Petrolo & Giorgio Venturi (eds.), Paradoxes between Truth and Proof. Cham: Springer.
    I defend the hypothesis that the semantic paradoxes, the paradoxes about collections, and the sorites paradoxes, are all paradoxes of reference fixing: they show that certain conventionally adopted and otherwise functional reference-fixing principles cannot provide consistent assignments of reference to certain relevant expressions in paradoxical cases. I note that the hypothesis has interesting implications concerning the idea of a unified account of the semantic, collection and sorites paradoxes, as well as about the explanation of their “recalcitrance”. I also note that (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  6. Copernicus and Axiomatics.Alberto Bardi - 2023 - In B. Sriraman (ed.), Handbook of the History and Philosophy of Mathematical Practice.
    The debate about the foundations of mathematical sciences traces back to Greek antiquity, with Euclid and the foundations of geometry. Through the flux of history, the debate has appeared in several shapes, places, and cultural contexts. Remarkably, it is a locus where logic, philosophy, and mathematics meet. In mathematical astronomy, Nicolaus Copernicus’s axiomatic approach toward a heliocentric theory of the universe has prompted questions about foundations among historians who have studied Copernican axioms in their terminological and logical aspects but never (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. La «matemática situada» como propuesta de reflexión epistémica en clave histórico-social sobre la práctica matemática.Héctor Horacio Gerván - 2021 - Culturas Cientificas 2 (2):01-25.
    La presente investigación tiene como propósito general asumir un posicionamiento filosófico en clave histórico-social y de tipo anti-relativista para analizar el desarrollo histórico de la matemática, el cual aplicaremos a un caso en particular: la matemática del antiguo Egipto. Para ello se discutirán y criticarán, en primera instancia, determinadas posiciones filosóficas afines al cuasi-empirismo en matemática que, siendo relativistas, permitirán delinear nuestro propio posicionamiento en contraste: la existencia de una «matemática situada». Esta categoría filosófica tendrá como sustento teórico la noción (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  8. Euclides entre los árabes.Norma Ivonne Ortega Zarazúa - 2021 - Culturas Cientificas 2 (1):76-105.
    Es común escuchar que el mundo Occidental debe a los árabes el descubrimiento del álgebra. No obstante, el desarrollo de esta disciplina puede interpretarse como un crisol de distintas tradiciones científicas que fue posible gracias a la clasificación, traducción y crítica tanto de los clásicos como de las obras que los árabes obtuvieron de los pueblos que conquistaron. Entre estos trabajos se encontraba Los Elementos de Euclides. Los Elementos fueron cuidadosamente traducidos durante el califato de Al-Ma’mūn por el matemático Mohammed (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  9. Artistic Mediation in Mathematized Phenomenology.Robert Prentner & Shanna Dobson - manuscript
    Mathematics has a long track record of refining the concepts by which we make sense of the world. For example, mathematics allows one to speak about different senses of "sameness", depending on the larger context. Phenomenology is the name of a philosophical discipline that tries to systematically investigate the first-personal perspective on reality and how it is constituted. Together, mathematics and phenomenology seem to be a good fit to derive statements about our experience that are, at the same time, well-defined, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  10. Algunos tópicos de Lógica matemática y los Fundamentos de la matemática.Franklin Galindo - manuscript
    En este trabajo matemático-filosófico se estudian cuatro tópicos de la Lógica matemática: El método de construcción de modelos llamado Ultraproductos, la Propiedad de Interpolación de Craig, las Álgebras booleanas y los Órdenes parciales separativos. El objetivo principal del mismo es analizar la importancia que tienen dichos tópicos para el estudio de los fundamentos de la matemática, desde el punto de vista del platonismo matemático. Para cumplir con tal objetivo se trabajará en el ámbito de la Matemática, de la Metamatemática y (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  11. El Programa original de David Hilbert y el Problema de la Decibilidad.Franklin Galindo & Ricardo Da Silva - 2017 - Episteme NS: Revista Del Instituto de Filosofía de la Universidad Central de Venezuela 37 (1):1-23.
    En este artículo realizamos una reconstrucción del Programa original de Hilbert antes del surgimiento de los teoremas limitativos de la tercera década del siglo pasado. Para tal reconstrucción empezaremos por mostrar lo que Torretti llama los primeros titubeos formales de Hilbert, es decir, la defensa por el método axiomático como enfoque fundamentante. Seguidamente, mostraremos como estos titubeos formales se establecen como un verdadero programa de investigación lógico-matemático y como dentro de dicho programa la inquietud por la decidibilidad de los problemas (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  12. Resolving Frege’s Other Puzzle.Eric Snyder, Richard Samuels & Stewart Shapiro - 2022 - Philosophica Mathematica 30 (1):59-87.
    Number words seemingly function both as adjectives attributing cardinality properties to collections, as in Frege’s ‘Jupiter has four moons’, and as names referring to numbers, as in Frege’s ‘The number of Jupiter’s moons is four’. This leads to what Thomas Hofweber calls Frege’s Other Puzzle: How can number words function as modifiers and as singular terms if neither adjectives nor names can serve multiple semantic functions? Whereas most philosophers deny that one of these uses is genuine, we instead argue that (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  13. The Language Essence of Rational Cognition with some Philosophical Consequences.Boris Culina - 2021 - Tesis (Lima) 14 (19):631-656.
    The essential role of language in rational cognition is analysed. The approach is functional: only the results of the connection between language, reality, and thinking are considered. Scientific language is analysed as an extension and improvement of everyday language. The analysis gives a uniform view of language and rational cognition. The consequences for the nature of ontology, truth, logic, thinking, scientific theories, and mathematics are derived.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Математизирането на историята: число и битие.Vasil Penchev - 2013 - Sofia: BAS: ISSk (IPR).
    The book is a philosophical refection on the possibility of mathematical history. Are poosible models of historical phenomena so exact as those of physical ones? Mathematical models borrowed from quantum mechanics by the meditation of its interpretations are accomodated to history. The conjecture of many-variant history, alternative history, or counterfactual history is necessary for mathematical history. Conclusions about philosophy of history are inferred.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  15. Hale and Wright on the Metaontology of Neo-Fregeanism.Matti Eklund - 2016 - In Marcus Rossberg & Philip A. Ebert (eds.), Abstractionism.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   11 citations  
  16. Demostraciones «tópicamente puras» en la práctica matemática: un abordaje elucidatorio.Guillermo Nigro Puente - 2020 - Dissertation, Universidad de la República Uruguay
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  17. গণিত দর্শন Gonit Dorshon.Avijit Lahiri - manuscript
    This article, written in Bengali ('Gonit Dorshon' means `philosophy of mathematics' ), briefly reviews a few of the major points of view toward mathematics and the world of mathematical entities, and interprets the philosophy of mathematics as an interaction between these. The existence of these different points of view is indicative that mathematics, in spite of being of universal validity, can nevertheless accommodate alternatives. In particular, I review the alternative viewpoints of Platonism and Intuitionism and present the case that in (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  18. Maddy On The Multiverse.Claudio Ternullo - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Berlin: Springer Verlag. pp. 43-78.
    Penelope Maddy has recently addressed the set-theoretic multiverse, and expressed reservations on its status and merits ([Maddy, 2017]). The purpose of the paper is to examine her concerns, by using the interpretative framework of set-theoretic naturalism. I first distinguish three main forms of 'multiversism', and then I proceed to analyse Maddy's concerns. Among other things, I take into account salient aspects of multiverse-related mathematics , in particular, research programmes in set theory for which the use of the multiverse seems to (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  19. 关于在柴廷、维特根斯坦、霍夫施塔特、沃尔珀特、多里亚、达科斯塔、戈德尔、西尔、罗迪赫、贝托、弗洛伊德、贝托、弗洛伊德、莫亚尔-沙罗克和亚诺夫斯基.Michael Richard Starks - 2019 - Las Vegas, NV USA: Reality Press.
    人们普遍认为,不可能性、不完整性、不一致性、不可度、随机性、可预见性、悖论、不确定性和理性极限是完全不同的科学物理或数学问题,在常见。我认为,它们主要是标准的哲学问题(即语言游戏),这些问题大多在80 多年前由维特根斯坦解决。 -/- "在这种情况下,我们'想说'当然不是哲学,而是它的原材料。因此,例如,数学家倾向于对数学事实的客观性和现实性说的,不是数学哲学,而是哲学处理的东西。维特根斯坦 PI 234 -/- "哲学家们经常看到科学的方法,他们不可抗拒地试图以科学的方式提问和回答问题。这种倾向是形而上学的真正源泉,将哲学家带入完全的黑暗之中。 维特根斯坦 -/- 我简要地总结了现代两位最杰出的学生路德维希·维特根斯坦和约翰·西尔关于故意的逻辑结构(思想、语言、行为)的一些主要发现,作为我的起点Wittgenstein 的基本发现——所有真正的"哲学"问题都是相同的——关于在特定上下文中如何使用语言的困惑,因此所有解决方案都是一样的——研究如何在相关上下文中使用语言,使其真实性条件(满意度或 COS 条件)是明确的。基本问题是,人们可以说什么,但一个人不能意味着(状态明确COS)任何任意的话语和意义只有在非常具体的上下文中才可能。 -/- 在两种思想体系的现代视角(被推广为"思维快,思维慢")的框架内,我从维特根斯坦人的角度剖析了一些主要评论员关于这些问题的一些著作,并采用了一个新的表意向性和新的双系统命名法。 我表明,这是一个强大的启发式描述这些假定的科学,物理或数学问题的真实性质,这是真正最好的处理作为标准哲学问题,如何使用语言(语言游戏在维特根斯坦的术语)。 -/- 我的论点是,这里突出特征的意向表(理性、思想、思想、语言、个性等)或多或少地准确地描述了,或者至少作为启发式,我们思考和行为的方式,所以它包含不只是哲学和心理学,但其他一切(历史,文学,数学,政治等) 。特别要注意,我(以及西尔、维特根斯坦和其他人)认为,故意和理性包括有意识的审议语言系统2和无意识的自动预语言系统1行为或反射。 .
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  20. Deleuze and the conceptualizable character of mathematical theories.Simon B. Duffy - 2017 - In Nathalie Sinclair & Alf Coles Elizabeth de Freitas (ed.), What is a Mathematical Concept? Cambridge University Press.
    To make sense of what Gilles Deleuze understands by a mathematical concept requires unpacking what he considers to be the conceptualizable character of a mathematical theory. For Deleuze, the mathematical problems to which theories are solutions retain their relevance to the theories not only as the conditions that govern their development, but also insofar as they can contribute to determining the conceptualizable character of those theories. Deleuze presents two examples of mathematical problems that operate in this way, which he considers (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  21. Counting on Strong Composition as Identity to Settle the Special Composition Question.Joshua Spencer - 2017 - Erkenntnis 82 (4):857-872.
    Strong Composition as Identity is the thesis that necessarily, for any xs and any y, those xs compose y iff those xs are non-distributively identical to y. Some have argued against this view as follows: if some many things are non-distributively identical to one thing, then what’s true of the many must be true of the one. But since the many are many in number whereas the one is not, the many cannot be identical to the one. Hence is mistaken. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   6 citations  
  22. A process oriented definition of number.Rolfe David - manuscript
    In this paper Russell’s definition of number is criticized. Russell’s assertion that a number is a particular kind of set implies that number has the properties of a set. It is argued that this would imply that a number contains elements and that this does not conform to our intuitive notion of number. An alternative definition is presented in which number is not seen as an object, but rather as a process and is related to the act of counting and (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  23. The Idea of Infinity in its Physical and Spiritual Meanings.Graham Nicholson - manuscript
    Abstract -/- The concept of infinity is of ancient origins and has puzzled deep thinkers ever since up to the present day. Infinity remains somewhat of a mystery in a physical world in which our comprehension is largely framed around the concept of boundaries. This is partly because we live in a physical world that is governed by certain dimensions or limits – width, breadth, depth, mass, space, age and time. To our ordinary understanding, it is a seemingly finite world (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  24. A Note on Gabriel Uzquiano’s “Varieties of Indefinite Extensibility”.Simon Hewitt - unknown - Notre Dame Journal of Formal Logic 59 (3):455-459.
    It is argued that Gabriel Uzquiano's approach to set-theoretic indefinite extensibility is a version of in rebus structuralism, and therefore suffers from a vacuity problem.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  25. Review of Hintikka and Remes. The Method of Analysis (Reidel, 1974).John Corcoran - 1979 - MATHEMATICAL REVIEWS 58:3202-3.
    John Corcoran. 1979 Review of Hintikka and Remes. The Method of Analysis (Reidel, 1974). Mathematical Reviews 58 3202 #21388. -/- The “method of analysis” is a technique used by ancient Greek mathematicians (and perhaps by Descartes, Newton, and others) in connection with discovery of proofs of difficult theorems and in connection with discovery of constructions of elusive geometric figures. Although this method was originally applied in geometry, its later application to number played an important role in the early development of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  26. Philosophy of Mathematics.Alexander Paseau (ed.) - 2016 - New York: Routledge.
    Mathematics is everywhere and yet its objects are nowhere. There may be five apples on the table but the number five itself is not to be found in, on, beside or anywhere near the apples. So if not in space and time, where are numbers and other mathematical objects such as perfect circles and functions? And how do we humans discover facts about them, be it Pythagoras’ Theorem or Fermat’s Last Theorem? The metaphysical question of what numbers are and the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  27. Hobbes on Natural Philosophy as "True Physics" and Mixed Mathematics.Marcus P. Adams - 2016 - Studies in History and Philosophy of Science Part A 56:43-51.
    I offer an alternative account of the relationship of Hobbesian geometry to natural philosophy by arguing that mixed mathematics provided Hobbes with a model for thinking about it. In mixed mathematics, one may borrow causal principles from one science and use them in another science without there being a deductive relationship between those two sciences. Natural philosophy for Hobbes is mixed because an explanation may combine observations from experience (the ‘that’) with causal principles from geometry (the ‘why’). My argument shows (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  28. Editorial. Special Issue on Integral Biomathics: Life Sciences, Mathematics and Phenomenological Philosophy.Plamen L. Simeonov, Arran Gare, Seven M. Rosen & Denis Noble - 2015 - Progress in Biophysics and Molecular Biology 119 (3):208-218.
    The is the Editorial of the 2015 JPBMB Special Issue on Integral Biomathics: Life Sciences, Mathematics and Phenomenological Philosophy.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Integral Biomathics Reloaded: 2015.Plamen L. Simeonov & Ron Cottam - forthcoming - Journal Progress in Biophysics and Molecular Biology 119 (2).
    An updated survey of the research scope in Integral Biomathics.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  30. On the duality between existence and information.David Ellerman - manuscript
    Recent developments in pure mathematics and in mathematical logic have uncovered a fundamental duality between "existence" and "information." In logic, the duality is between the Boolean logic of subsets and the logic of quotient sets, equivalence relations, or partitions. The analogue to an element of a subset is the notion of a distinction of a partition, and that leads to a whole stream of dualities or analogies--including the development of new logical foundations for information theory parallel to Boole's development of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  31. Groundedness - Its Logic and Metaphysics.Jönne Kriener - 2014 - Dissertation, Birkbeck College, University of London
    In philosophical logic, a certain family of model constructions has received particular attention. Prominent examples are the cumulative hierarchy of well-founded sets, and Kripke's least fixed point models of grounded truth. I develop a general formal theory of groundedness and explain how the well-founded sets, Cantor's extended number-sequence and Kripke's concepts of semantic groundedness are all instances of the general concept, and how the general framework illuminates these cases. Then, I develop a new approach to a grounded theory of proper (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  32. Crunchy Methods in Practical Mathematics.Michael Wood - 2001 - Philosophy of Mathematics Education Journal 14.
    This paper focuses on the distinction between methods which are mathematically "clever", and those which are simply crude, typically repetitive and computer intensive, approaches for "crunching" out answers to problems. Examples of the latter include simulated probability distributions and resampling methods in statistics, and iterative methods for solving equations or optimisation problems. Most of these methods require software support, but this is easily provided by a PC. The paper argues that the crunchier methods often have substantial advantages from the perspectives (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  33. A Cognitive Approach to Benacerraf's Dilemma.Luke Jerzykiewicz - 2009 - Dissertation, University of Western Ontario
    One of the important challenges in the philosophy of mathematics is to account for the semantics of sentences that express mathematical propositions while simultaneously explaining our access to their contents. This is Benacerraf’s Dilemma. In this dissertation, I argue that cognitive science furnishes new tools by means of which we can make progress on this problem. The foundation of the solution, I argue, must be an ontologically realist, albeit non-platonist, conception of mathematical reality. The semantic portion of the problem can (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  34. Hermann von Helmholtz’s Mechanism: The Loss of Certainty: A Study on the Transition From Classical to Modern Philosophy of Nature.Gregor Schiemann - 2009 - Springer.
    Two seemingly contradictory tendencies have accompanied the development of the natural sciences in the past 150 years. On the one hand, the natural sciences have been instrumental in effecting a thoroughgoing transformation of social structures and have made a permanent impact on the conceptual world of human beings. This historical period has, on the other hand, also brought to light the merely hypothetical validity of scientific knowledge. As late as the middle of the 19th century the truth-pathos in the natural (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   6 citations  
  35. The philosophy of mathematics and the independent 'other'.Penelope Rush - unknown
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  36. The Limits of Human Mathematics.Nathan Salmon - 2001 - Noûs 35 (s15):93 - 117.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  37. Completions, Constructions, and Corollaries.Thomas Mormann - 2009 - In H. Pulte, G. Hanna & H.-J. Jahnke (eds.), Explanation and Proof in Mathematics: Philosophical and Educational Perspectives. Springer.
    According to Kant, pure intuition is an indispensable ingredient of mathematical proofs. Kant‘s thesis has been considered as obsolete since the advent of modern relational logic at the end of 19th century. Against this logicist orthodoxy Cassirer’s “critical idealism” insisted that formal logic alone could not make sense of the conceptual co-evolution of mathematical and scientific concepts. For Cassirer, idealizations, or, more precisely, idealizing completions, played a fundamental role in the formation of the mathematical and empirical concepts. The aim of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  38. The gödel paradox and Wittgenstein's reasons.Francesco Berto - 2009 - Philosophia Mathematica 17 (2):208-219.
    An interpretation of Wittgenstein’s much criticized remarks on Gödel’s First Incompleteness Theorem is provided in the light of paraconsistent arithmetic: in taking Gödel’s proof as a paradoxical derivation, Wittgenstein was drawing the consequences of his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. It is shown that the features of paraconsistent arithmetics match (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   8 citations  
  39. Sources for the Philosophy of Archytas. [REVIEW]Monte Ransome Johnson - 2008 - Ancient Philosophy 28 (1):173-199.
    A review of Carl Huffman's new edition of the fragments of Archytas of Tarentum. Praises the extensive commentary on four fragments, but argues that at least two dubious works not included in the edition ("On Law and Justice" and "On Wisdom") deserve further consideration and contain important information for the interpretation of Archytas. Provides a complete translation for the fragments of those works.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   5 citations  
Explanation in Mathematics
  1. Explanation in Descriptive Set Theory.Carolin Antos & Mark Colyvan - forthcoming - In K. Robertson & A. Wilson (eds.), Levels of Explanation. Oxford University Press.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. On the continuum fallacy: is temperature a continuous function?Aditya Jha, Douglas Campbell, Clemency Montelle & Phillip L. Wilson - 2023 - Foundations of Physics 53 (69):1-29.
    It is often argued that the indispensability of continuum models comes from their empirical adequacy despite their decoupling from the microscopic details of the modelled physical system. There is thus a commonly held misconception that temperature varying across a region of space or time can always be accurately represented as a continuous function. We discuss three inter-related cases of temperature modelling — in phase transitions, thermal boundary resistance and slip flows — and show that the continuum view is fallacious on (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. The epistemic significance of numerals.Jan Heylen - 2014 - Synthese 198 (Suppl 5):1019-1045.
    The central topic of this article is (the possibility of) de re knowledge about natural numbers and its relation with names for numbers. It is held by several prominent philosophers that (Peano) numerals are eligible for existential quantification in epistemic contexts (‘canonical’), whereas other names for natural numbers are not. In other words, (Peano) numerals are intimately linked with de re knowledge about natural numbers, whereas the other names for natural numbers are not. In this article I am looking for (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  4. Symmetry and Reformulation: On Intellectual Progress in Science and Mathematics.Josh Hunt - 2022 - Dissertation, University of Michigan
    Science and mathematics continually change in their tools, methods, and concepts. Many of these changes are not just modifications but progress---steps to be admired. But what constitutes progress? This dissertation addresses one central source of intellectual advancement in both disciplines: reformulating a problem-solving plan into a new, logically compatible one. For short, I call these cases of compatible problem-solving plans "reformulations." Two aspects of reformulations are puzzling. First, reformulating is often unnecessary. Given that we could already solve a problem using (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  5. Unrealistic Models in Mathematics.William D'Alessandro - 2022 - Philosophers’ Imprint.
    Models are indispensable tools of scientific inquiry, and one of their main uses is to improve our understanding of the phenomena they represent. How do models accomplish this? And what does this tell us about the nature of understanding? While much recent work has aimed at answering these questions, philosophers' focus has been squarely on models in empirical science. I aim to show that pure mathematics also deserves a seat at the table. I begin by presenting two cases: Cramér’s random (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  6. Naive cubical type theory.Bruno Bentzen - 2022 - Mathematical Structures in Computer Science:1-27.
    This article proposes a way of doing type theory informally, assuming a cubical style of reasoning. It can thus be viewed as a first step toward a cubical alternative to the program of informalization of type theory carried out in the homotopy type theory book for dependent type theory augmented with axioms for univalence and higher inductive types. We adopt a cartesian cubical type theory proposed by Angiuli, Brunerie, Coquand, Favonia, Harper, and Licata as the implicit foundation, confining our presentation (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  7. Mathematical and Non-causal Explanations: an Introduction.Daniel Kostić - 2019 - Perspectives on Science 1 (27):1-6.
    In the last couple of years, a few seemingly independent debates on scientific explanation have emerged, with several key questions that take different forms in different areas. For example, the questions what makes an explanation distinctly mathematical and are there any non-causal explanations in sciences (i.e., explanations that don’t cite causes in the explanans) sometimes take a form of the question of what makes mathematical models explanatory, especially whether highly idealized models in science can be explanatory and in virtue of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  8. Astronomy, Geometry, and Logic, Rev. 1c: An ontological proof of the natural principles that enable and sustain reality and mathematics.Michael Lucas Monterey & Michael Lucas-Monterey - manuscript
    The latest draft (posted 05/14/22) of this short, concise work of proof, theory, and metatheory provides summary meta-proofs and verification of the work and results presented in the Theory and Metatheory of Atemporal Primacy and Riemann, Metatheory, and Proof. In this version, several new and revised definitions of terms were added to subsection SS.1; and many corrected equations, theorems, metatheorems, proofs, and explanations are included in the main text. The body of the text is approximately 18 pages, with 3 sections; (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  9. Not So Distinctively Mathematical Explanations.Aditya Jha, Clemency Montelle, Douglas I. Campbell & Phillip Wilson - manuscript
    (Longer version - work in progress) Various accounts of distinctively mathematical explanations (DMEs) of complex systems have been proposed recently which bypass the contingent causal laws and appeal primarily to mathematical necessities constraining the system. These necessities are considered to be modally exalted in that they obtain with a greater necessity than the ordinary laws of nature (Lange 2016). This paper focuses on DMEs of the number of equilibrium positions of n-tuple pendulum systems and considers several different DMEs of these (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Unification and mathematical explanation in science.Sam Baron - 2021 - Synthese 199 (3-4):7339-7363.
    Mathematics clearly plays an important role in scientific explanation. Debate continues, however, over the kind of role that mathematics plays. I argue that if pure mathematical explananda and physical explananda are unified under a common explanation within science, then we have good reason to believe that mathematics is explanatory in its own right. The argument motivates the search for a new kind of scientific case study, a case in which pure mathematical facts and physical facts are explanatorily unified. I argue (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  11. In Education We Trust.Venkata Rayudu Posina - manuscript
    Beginning with an examination of the deep history of making things and thinking about making things made-up in our minds, I argue that the resultant declarative understanding of the procedural knowledge of abstracting theories and building models—the essence(s) of the practice of science—embodied in Conceptual Mathematics is worth learning beginning with high school, along with grammar and calculus. One of the many profound scientific insights introduced—in a manner accessible to total beginners—in Lawvere and Schanuel's Conceptual Mathematics textbook is: the way (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 410