FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4248032712> ?p ?o ?g. }

• W4248032712 endingPage "511" @default.
• W4248032712 startingPage "481" @default.
• W4248032712 abstract "§0. Introduction. Ask a beginning philosophy of mathematics student why we believe the theorems of mathematics and you are likely to hear, “because we have proofs!” The more sophisticated might add that those proofs are based on true axioms, and that our rules of inference preserve truth. The next question, naturally, is why we believe the axioms, and here the response will usually be that they are “obvious”, or “self-evident”, that to deny them is “to contradict oneself” or “to commit a crime against the intellect”. Again, the more sophisticated might prefer to say that the axioms are “laws of logic” or “implicit definitions” or “conceptual truths” or some such thing. Unfortunately, heartwarming answers along these lines are no longer tenable (if they ever were). On the one hand, assumptions once thought to be self-evident have turned out to be debatable, like the law of the excluded middle, or outright false, like the idea that every property determines a set. Conversely, the axiomatization of set theory has led to the consideration of axiom candidates that no one finds obvious, not even their staunchest supporters. In such cases, we find the methodology has more in common with the natural scientist's hypotheses formation and testing than the caricature of the mathematician writing down a few obvious truths and preceeding to draw logical consequences. The central problem in the philosophy of natural science is when and why the sorts of facts scientists cite as evidence really are evidence. The same is true in the case of mathematics. Historically, philosophers have given considerable attention to the question of when and why various forms of logical inference are truth-preserving. The companion question of when and why the assumption of various axioms is justified has received less attention, perhaps because versions of the “self-evidence” view live on, and perhaps because of a complacent if-thenism." @default.
• W4248032712 created "2022-05-12" @default.
• W4248032712 creator A5068361809 @default.
• W4248032712 date "1988-06-01" @default.
• W4248032712 modified "2023-10-14" @default.
• W4248032712 title "Believing the axioms. I" @default.
• W4248032712 cites W1415587708 @default.
• W4248032712 cites W142918962 @default.
• W4248032712 cites W1487175521 @default.
• W4248032712 cites W1515759392 @default.
• W4248032712 cites W1613162937 @default.
• W4248032712 cites W1947938105 @default.
• W4248032712 cites W1965874532 @default.
• W4248032712 cites W1968298868 @default.
• W4248032712 cites W1969555173 @default.
• W4248032712 cites W1970364998 @default.
• W4248032712 cites W1971801916 @default.
• W4248032712 cites W2004246700 @default.
• W4248032712 cites W2008744795 @default.
• W4248032712 cites W2015947180 @default.
• W4248032712 cites W2022040382 @default.
• W4248032712 cites W2049288284 @default.
• W4248032712 cites W2053454736 @default.
• W4248032712 cites W2073171092 @default.
• W4248032712 cites W2083782312 @default.
• W4248032712 cites W2092726141 @default.
• W4248032712 cites W2218778419 @default.
• W4248032712 cites W2317827185 @default.
• W4248032712 cites W2990587530 @default.
• W4248032712 cites W2991080719 @default.
• W4248032712 cites W3097854302 @default.
• W4248032712 cites W3183983724 @default.
• W4248032712 cites W4205815734 @default.
• W4248032712 cites W4213337468 @default.
• W4248032712 cites W4237881901 @default.
• W4248032712 cites W4240902839 @default.
• W4248032712 cites W4242685869 @default.
• W4248032712 cites W4244509532 @default.
• W4248032712 cites W4248784701 @default.
• W4248032712 cites W4252123471 @default.
• W4248032712 cites W4256195314 @default.
• W4248032712 cites W4594304 @default.
• W4248032712 cites W594182318 @default.
• W4248032712 cites W643668988 @default.
• W4248032712 cites W647055910 @default.
• W4248032712 cites W72370829 @default.
• W4248032712 cites W943508897 @default.
• W4248032712 doi "https://doi.org/10.1017/s0022481200028425" @default.
• W4248032712 hasPublicationYear "1988" @default.
• W4248032712 type Work @default.
• W4248032712 citedByCount "81" @default.
• W4248032712 countsByYear W42480327122013 @default.
• W4248032712 countsByYear W42480327122015 @default.
• W4248032712 countsByYear W42480327122016 @default.
• W4248032712 countsByYear W42480327122017 @default.
• W4248032712 countsByYear W42480327122018 @default.
• W4248032712 countsByYear W42480327122019 @default.
• W4248032712 countsByYear W42480327122020 @default.
• W4248032712 countsByYear W42480327122021 @default.
• W4248032712 countsByYear W42480327122022 @default.
• W4248032712 countsByYear W42480327122023 @default.
• W4248032712 crossrefType "journal-article" @default.
• W4248032712 hasAuthorship W4248032712A5068361809 @default.
• W4248032712 hasConcept C108710211 @default.
• W4248032712 hasConcept C110099512 @default.
• W4248032712 hasConcept C111472728 @default.
• W4248032712 hasConcept C138885662 @default.
• W4248032712 hasConcept C144237770 @default.
• W4248032712 hasConcept C153180980 @default.
• W4248032712 hasConcept C166957645 @default.
• W4248032712 hasConcept C167729594 @default.
• W4248032712 hasConcept C177264268 @default.
• W4248032712 hasConcept C189950617 @default.
• W4248032712 hasConcept C199360897 @default.
• W4248032712 hasConcept C2524010 @default.
• W4248032712 hasConcept C2776608160 @default.
• W4248032712 hasConcept C33923547 @default.
• W4248032712 hasConcept C41008148 @default.
• W4248032712 hasConcept C77088390 @default.
• W4248032712 hasConcept C95457728 @default.
• W4248032712 hasConceptScore W4248032712C108710211 @default.
• W4248032712 hasConceptScore W4248032712C110099512 @default.
• W4248032712 hasConceptScore W4248032712C111472728 @default.
• W4248032712 hasConceptScore W4248032712C138885662 @default.
• W4248032712 hasConceptScore W4248032712C144237770 @default.
• W4248032712 hasConceptScore W4248032712C153180980 @default.
• W4248032712 hasConceptScore W4248032712C166957645 @default.
• W4248032712 hasConceptScore W4248032712C167729594 @default.
• W4248032712 hasConceptScore W4248032712C177264268 @default.
• W4248032712 hasConceptScore W4248032712C189950617 @default.
• W4248032712 hasConceptScore W4248032712C199360897 @default.
• W4248032712 hasConceptScore W4248032712C2524010 @default.
• W4248032712 hasConceptScore W4248032712C2776608160 @default.
• W4248032712 hasConceptScore W4248032712C33923547 @default.
• W4248032712 hasConceptScore W4248032712C41008148 @default.
• W4248032712 hasConceptScore W4248032712C77088390 @default.
• W4248032712 hasConceptScore W4248032712C95457728 @default.
• W4248032712 hasIssue "2" @default.

• next