- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Switch to: References
Citations of:
Comments on the Foundations of Set Theory
Journal of Symbolic Logic 40 (3):459-460 (1975)
Add citations
You must login to add citations.
|
|
|
If mathematics is regarded as a science, then the philosophy of mathematics can be regarded as a branch of the philosophy of science, next to disciplines such as the philosophy of physics and the philosophy of biology. However, because of its subject matter, the philosophy of mathematics occupies a special place in the philosophy of science. Whereas the natural sciences investigate entities that are located in space and time, it is not at all obvious that this is also the case (...) |
|
|
This book is an exploration and defense of the coherence of classical theism’s doctrine of divine aseity in the face of the challenge posed by Platonism with respect to abstract objects. A synoptic work in analytic philosophy of religion, the book engages discussions in philosophy of mathematics, philosophy of language, metaphysics, and metaontology. It addresses absolute creationism, non-Platonic realism, fictionalism, neutralism, and alternative logics and semantics, among other topics. The book offers a helpful taxonomy of the wide range of options (...) |
|
|
The motivating question of this paper is: ‘How are our beliefs in the theorems of mathematics justified?’ This is distinguished from the question ‘How are our mathematical beliefs reliably true?’ We examine an influential answer, outlined by Russell, championed by Gödel, and developed by those searching for new axioms to settle undecidables, that our mathematical beliefs are justified by ‘intuitions’, as our scientific beliefs are justified by observations. On this view, axioms are analogous to laws of nature. They are postulated (...) |
|
|
In this article the problem of unification of mathematical theories is discussed. We argue, that specific problems arise here, which are quite different than the problems in the case of empirical sciences. In particular, the notion of unification depends on the philosophical standpoint. We give an analysis of the notion of unification from the point of view of formalism, Gödel's platonism and Quine's realism. In particular we show, that the concept of “having the same object of study” should be made (...) |
|
|
In this paper, I introduce and defend a notion of analyticity for formal languages. I first uncover a crucial flaw in Timothy Williamson’s famous argument template against analyticity, when it is applied to sentences of formal mathematical languages. Williamson’s argument targets the popular idea that a necessary condition for analyticity is that whoever understands an analytic sentence assents to it. Williamson argues that for any given candidate analytic sentence, there can be people who understand that sentence and yet who fail (...) |
|
|
Competent speakers of natural languages can borrow reference from one another. You can arrange for your utterances of ‘Kirksville’ to refer to the same thing as my utterances of ‘Kirksville’. We can then talk about the same thing when we discuss Kirksville. In cases like this, you borrow “ aboutness ” from me by borrowing reference. Now suppose I wish to initiate a line of reasoning applicable to any prime number. I might signal my intention by saying, “Let p be (...) |
|
|
|
|
|
The professional mathematician is a Platonist with regard to the existence of mathematical entities, but, if pressed to tell what kind of existence they have, he hides behind a formalist approach. In order to take both attitudes into account in a possibly serious way, the concept of suprasubjective existence is proposed. It involves intersubjective existence, plus a stress on objectivity devoid of actual objects. The idea is illustrated, following William Byers, by the phenomenon of the rainbow: it is not an (...) |
|
|
It is argued that mathematical statements are "a posteriori synthetic" statements of a very special sort, To be called "structure-Analytic" statements. They follow logically from the axioms defining the mathematical structure they are describing--Provided that these axioms are "consistent". Yet, Consistency of these axioms is an empirical claim: it may be "empirically verifiable" by existence of a finite model, Or may have the nature of an "empirically falsifiable hypothesis" that no contradiction can be derived from the axioms. |
|
|
|
|
|
This paper argues that mathematics is imbued with values reflecting its production from human imagination and dialogue. Epistemological, ontological, aesthetic and ethical values are specified, both overt and covert. Within the culture of mathematics, the overt values of truth, beauty, purity, universalism, objectivism, rationalism and utility are identified. In contrast, hidden within mathematics and its culture are the covert values of objectism and ethics, including the specific ethical values of separatism, openness, fairness and democracy. Some of these values emerge from (...) No categories |
|
|
In this paper I argue that Feferman's theorem does not signify the existence of skeptic-satisfying consistency proofs. However, my argument for this is much different than other arguments (most particularly Resnik's) for the same claim. The argument that I give arises form an analysis of the notion of 'expression', according to which the specific character of that notion is seen as varying from one context of application (of a result of arithmetic metamathematics) to another. |
|
|
In this paper I have considered various attempts to attribute significance to Gödel's second incompleteness theorem (G2 for short). Two of these attempts (Beth-Cohen and the position maintaining that G2 shows the failure of Hilbert's Program), I have argued, are false. Two others (an argument suggested by Beth, Cohen and ??? and Resnik's Interpretation), I argue, are groundless. |
|
|
Although many physicists have little interest in philosophical arguments about their subject, an analysis of debates about the paradoxes of quantum mechanics shows that their disagreements often depend upon assumptions about the relationship between theories and the real world. Some consider that physics is about building mathematical models which necessarily have limited domains of applicability, while others are searching for a final theory of everything, to which their favourite theory is supposed to be an approximation. We discuss some particular recent (...) |
|
|
A detailed list of postulates is formulated in an algebraic setting. These postulates are sufficient to entail the standard time evolution governed by the Schrödinger or Dirac equation. They are also necessary in a strong sense: Dropping any one of the postulates allows for other types of time evolution, as is demonstrated with examples. Some philosophical remarks hint on possible further investigations. |
|
|
"The definitive clarification of the nature of the infinite has become necessary, not merely for the special interests of the individual sciences, but rather for the honour of the human understanding itself. The infinite has always stirred the emotions of mankind more deeply than any other question; the infinite has stimulated and fertilized reason as few other ideas have ; but also the infinite, more than other notion, is in need of clarification." (David Hilbert 1925). |
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-l2pxr uwo