Switch to: References

Add citations

You must login to add citations.
  1. Deductivism in the Philosophy of Mathematics.Alexander Paseau & Fabian Pregel - 2023 - Stanford Encyclopedia of Philosophy 2023.
    Deductivism says that a mathematical sentence s should be understood as expressing the claim that s deductively follows from appropriate axioms. For instance, deductivists might construe “2+2=4” as “the sentence ‘2+2=4’ deductively follows from the axioms of arithmetic”. Deductivism promises a number of benefits. It captures the fairly common idea that mathematics is about “what can be deduced from the axioms”; it avoids an ontology of abstract mathematical objects; and it maintains that our access to mathematical truths requires nothing beyond (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Menschen, maschinen und gödels theorem.Rosemarie Rheinwald - 1991 - Erkenntnis 34 (1):1 - 21.
    Mechanism is the thesis that men can be considered as machines, that there is no essential difference between minds and machines.John Lucas has argued that it is a consequence of Gödel's theorem that mechanism is false. Men cannot be considered as machines, because the intellectual capacities of men are superior to that of any machine. Lucas claims that we can do something that no machine can do-namely to produce as true the Gödel-formula of any given machine. But no machine can (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Think about the Consequences! Nominalism and the Argument from the Philosophy of Logic.Torsten Wilholt - 2006 - Dialectica 60 (2):115-133.
    Nominalism faces the task of explaining away the ontological commitments of applied mathematical statements. This paper reviews an argument from the philosophy of logic that focuses on this task and which has been used as an objection to certain specific formulations of nominalism. The argument as it is developed in this paper aims to show that nominalism in general does not have the epistemological advantages its defendants claim it has. I distinguish between two strategies that are available to the nominalist: (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations