Order:
  1. On Relating Theories: Proof-Theoretical Reduction.Michael Toppel & Michael Rathjen - 2019 - In Peter Schuster, Deniz Sarikaya, Sara Negri & Stefania Centrone (eds.), Mathesis Universalis, Computability and Proof. Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  2.  1
    Applying Ramseyfication to Infrared Spectroscopy.Michael Toppel - forthcoming - Erkenntnis:1-17.
    The so-called Ramsey–Carnap approach, or Ramseyfication, has gone out of fashion in the philosophy of science. Advocates have tried to argue for a revival by writing methodological and metatheoretical studies of Ramseyfication. For this paper I have chosen a different approach; I will apply Ramseyfication to infrared spectroscopy—a method used in analytical chemistry—in order to logically analyse the relation between measurements and mathematical structures. My aim in doing so is to contribute to the debate about the Application Problem of Mathematics, (...)
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  2
    Buridan’s Secular Demarcation of Logic.Michael Toppel & Esther Ramharter - 2020 - Philosophia 49 (3):1267-1288.
    In his Tractatus de Consequentiis, the 14th century logician John Buridan states a theorem, which reads like a refutation of Aristotelian Syllogistics. Syllogistics in its usual form, indeed, faces problems when propositions about the divine persons are involved, and, in some cases, when past- or future-tense propositions occur. Buridan offers different ways of overcoming some of these obstacles. The first aim of this paper is to analyse these ways, the second aim is to draw some conclusions concerning Buridan’s understanding of (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark