- Submit
-
Browse
- 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
- More
Switch to: Citations
References in:
Vagueness, rationality and undecidability: A theory of why there is vagueness
Synthese 120 (3):345 - 374 (1999)
Add references
You must login to add references.
|
|
|
|
|
|
|
|
|
The premises that a four foot man is short and that a man one tenth of an inch taller than a short man is also short entail by universal instantiation and "modus ponens" that a seven foot man is short. The negation of the second premise seems to entail there are virtually no borderline cases of short men, While to deny the second premise and its negation conflicts with the principle of bivalence, If not excluded middle. But the paradox can (...) |
|
|
This work is in two parts. It began as a general investigation of vagueness in natural languages. The Sorites Paradox came to dominate the work however, and the second part of the book consists in an discussion ofthat puzzle and related problems. The first part contains a general discussion ofthe nature ofvagueness and its sources. I discuss various conceptions of vagueness in chapter 1 and outline some of the problems to do with the conception of vagueness as a linguistic phenomenon. (...) |
|
|
The standard theory of computation excludes computations whose completion requires an infinite number of steps. Malament-Hogarth spacetimes admit observers whose pasts contain entire future-directed, timelike half-curves of infinite proper length. We investigate the physical properties of these spacetimes and ask whether they and other spacetimes allow the observer to know the outcome of a computation with infinitely many steps. |
|
|
In his bestselling work of popular science, Sir Roger Penrose takes us on a fascinating roller-coaster ride through the basic principles of physics, cosmology, mathematics, and philosophy to show that human thinking can never be emulated by a machine. |
|
|
|
|
|
|
|
|
|
|
|
A true Turing machine requires an infinitely long paper tape. Thus a TM can be housed in the infinite world of Newtonian spacetime, but not necessarily in our world, because our world-at least according to our best spacetime theory, general relativity-may be finite. All the same, one can argue for the "existence" of a TM on the basis that there is no such housing problem in some other relativistic worlds that are similar to our world. But curiously enough-and this is (...) |
|
|
A true Turing machine (TM) requires an infinitely long paper tape. Thus a TM can be housed in the infinite world of Newtonian spacetime (the spacetime of common sense), but not necessarily in our world, because our world-at least according to our best spacetime theory, general relativity-may be finite. All the same, one can argue for the "existence" of a TM on the basis that there is no such housing problem in some other relativistic worlds that are similar ("close") to (...) |
|
|
|
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-5ff6c685cb-cc9fg uwo