Switch to: References

Add citations

You must login to add citations.
  1. A Problem with the Dependence of Informal Proofs on Formal Proofs.Fenner Tanswell - 2015 - Philosophia Mathematica 23 (3):295-310.
    Derivationists, those wishing to explain the correctness and rigour of informal proofs in terms of associated formal proofs, are generally held to be supported by the success of the project of translating informal proofs into computer-checkable formal counterparts. I argue, however, that this project is a false friend for the derivationists because there are too many different associated formal proofs for each informal proof, leading to a serious worry of overgeneration. I press this worry primarily against Azzouni's derivation-indicator account, but (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   38 citations  
  • Scientific Models and Political Theory: The Ideal Theory Debate Revisited.Ryan M. Nefdt - 2021 - Theoria 87 (6):1585-1608.
    Political philosophy has traditionally been defined as a normative discipline with a distinctively ideal component, largely informed by moral philosophy. In this paper, I investigate a prominent critique of ideal theory specifically with the goal of resituating the debate within a larger framework in the philosophy of science. I then mount a novel case for how ideal theory should be viewed in terms of scientific modelling. I close with a discussion of how this view can dissolve apparent paradoxes and provide (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Formal Semantics and Applied Mathematics: An Inferential Account.Ryan M. Nefdt - 2020 - Journal of Logic, Language and Information 29 (2):221-253.
    In this paper, I utilise the growing literature on scientific modelling to investigate the nature of formal semantics from the perspective of the philosophy of science. Specifically, I incorporate the inferential framework proposed by Bueno and Colyvan : 345–374, 2011) in the philosophy of applied mathematics to offer an account of how formal semantics explains and models its data. This view produces a picture of formal semantic models as involving an embedded process of inference and representation applying indirectly to linguistic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Towards a Transformative Epistemology of Technology Education.David Morrison‐Love - 2016 - Journal of Philosophy of Education 50 (4).
    Technology Education offers an authentic and invaluable range of skills, knowledge, capabilities, contexts and ways of thinking for learners in the 21st century. However, it is recognised that it occupies a comparatively less defined and more fragile curricular position than associated, but longer established, subjects such as Mathematics and Science. While recognising that no single factor lies behind such a condition, this paper draws upon thinking in the philosophy of technology, technology education and the ontology of artefacts to argue that (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Towards a Transformative Epistemology of Technology Education.David Morrison-Love - 2017 - Journal of Philosophy of Education 51 (1):23-37.
    Technology Education offers an authentic and invaluable range of skills, knowledge, capabilities, contexts and ways of thinking for learners in the 21st century. However, it is recognised that it occupies a comparatively less defined and more fragile curricular position than associated, but longer established, subjects such as Mathematics and Science. While recognising that no single factor lies behind such a condition, this paper draws upon thinking in the philosophy of technology, technology education and the ontology of artefacts to argue that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Towards a Transformative Epistemology of Technology Education.David Morrison-Love - 2017 - Journal of Philosophy of Education 51 (1):23-37.
    Technology Education offers an authentic and invaluable range of skills, knowledge, capabilities, contexts and ways of thinking for learners in the 21st century. However, it is recognised that it occupies a comparatively less defined and more fragile curricular position than associated, but longer established, subjects such as Mathematics and Science. While recognising that no single factor lies behind such a condition, this paper draws upon thinking in the philosophy of technology, technology education and the ontology of artefacts to argue that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Measuring the Agreement of Mathematical Peer Reviewers.Benedikt Löwe - forthcoming - Axiomathes:1-15.
    We investigate the possibility of arguing for or against the philosophical position that mathematics is an _epistemic exception_ on the basis of agreement data from the mathematical peer review process and argue that Cohen’s \(\kappa \), the standard agreement measure used for inter-rater agreement, is unable to detect epistemic exceptionality from peer review data.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Quantity evaluations in Yudja: judgements, language and cultural practice.Suzi Lima & Susan Rothstein - 2020 - Synthese 197 (9):3851-3873.
    In this paper we explore the interpretation of quantity expressions in Yudja, an indigenous language spoken in the Amazonian basin, showing that while the language allows reference to exact cardinalities, it does not generally allow reference to exact measure values. It does, however, allow non-exact comparison along continuous dimensions. We use this data to argue that the grammar of exact measurement is distinct from a grammar allowing the expression of exact cardinalities, and that the grammar of counting and the grammar (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • How to think about informal proofs.Brendan Larvor - 2012 - Synthese 187 (2):715-730.
    It is argued in this study that (i) progress in the philosophy of mathematical practice requires a general positive account of informal proof; (ii) the best candidate is to think of informal proofs as arguments that depend on their matter as well as their logical form; (iii) articulating the dependency of informal inferences on their content requires a redefinition of logic as the general study of inferential actions; (iv) it is a decisive advantage of this conception of logic that it (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  • From Euclidean geometry to knots and nets.Brendan Larvor - 2017 - Synthese:1-22.
    This paper assumes the success of arguments against the view that informal mathematical proofs secure rational conviction in virtue of their relations with corresponding formal derivations. This assumption entails a need for an alternative account of the logic of informal mathematical proofs. Following examination of case studies by Manders, De Toffoli and Giardino, Leitgeb, Feferman and others, this paper proposes a framework for analysing those informal proofs that appeal to the perception or modification of diagrams or to the inspection or (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • From Euclidean geometry to knots and nets.Brendan Larvor - 2019 - Synthese 196 (7):2715-2736.
    This paper assumes the success of arguments against the view that informal mathematical proofs secure rational conviction in virtue of their relations with corresponding formal derivations. This assumption entails a need for an alternative account of the logic of informal mathematical proofs. Following examination of case studies by Manders, De Toffoli and Giardino, Leitgeb, Feferman and others, this paper proposes a framework for analysing those informal proofs that appeal to the perception or modification of diagrams or to the inspection or (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Paving the cowpath in research within pure mathematics: A medium level model based on text driven variations.Karl Heuer & Deniz Sarikaya - 2023 - Studies in History and Philosophy of Science Part A 100 (C):39-46.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Understanding mathematical texts: a hermeneutical approach.Merlin Carl - 2022 - Synthese 200 (6):1–31.
    The work done so far on the understanding of mathematical (proof) texts focuses mostly on logical and heuristical aspects; a proof text is considered to be understood when the reader is able to justify inferential steps occurring in it, to defend it against objections, to give an account of the “main ideas”, to transfer the proof idea to other contexts etc. (see, e.g., Avigad in The philosophy of mathematical practice, Oxford University Press, Oxford, 2008). In contrast, there is a rich (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • O nouă filosofie a matematicii?Gabriel Târziu - 2012 - Symposion – A Journal of Humanities 10 (2):361-377.
    O tendinţă relativ nouă în filosofia contemporană a matematicii este reprezentată de nemulţumirea manifestată de un număr din ce în ce mai mare de filosofi faţă de viziunea tradiţională asupra matematicii ca având un statut special ce poate fi surprins doar cu ajutorul unei epistemologii speciale. Această nemulţumire i-a determinat pe mulţi să propună o nouă perspectivă asupra matematicii – una care ia în serios aspecte până acum neglijate de filosofia matematicii, precum latura sociologică, istorică şi empirică a cercetării matematice (...)
    Direct download  
     
    Export citation  
     
    Bookmark