- 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: References
Citations of:
E-Type Pronouns and varepsilon -Terms
Canadian Journal of Philosophy 16 (1):27-38 (1986)
Add citations
You must login to add citations.
|
|
|
Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker decidability conditions for terms they produce various superintuitionistic intermediate logics. In this thesis, I argue that there are important philosophical lessons to be learned from these results. To make the case, I begin with a historical discussion situating the development of Hilbert’s operators in relation to his evolving program in the (...) |
|
|
Routley?s Formula says, for instance, that if it is believed there is a man then there is something which is believed to be a man. In this paper I defend the formula; first directly, but then by looking at work by Gensler and Hintikka against it, and at the original work of Routley, Meyer and Goddard for it. The argument ultimately reduces to a central point about the extensionality of objects in Routley, Meyer and Goddard?s intensional system, i.e. in its (...) |
|
|
Over the last two decades, semantic theory has been marked by a continuing shift from a static view of meaning to a dynamic one. The increasing interest in extending semantic analysis from isolated sentences to larger units of discourse has fostered the intensive study of anaphora and coreference, and this has engendered a shift from viewing meaning as truth conditions to viewing it as the potential to change the "informational context". |
|
|
This paper starts by criticising some olderaccounts of conditionals based on the so-called `Ramsey Test', and ends by proposing their replacement, in part with a material account, in part with a probabilistic account using epsilon terms. The combined replacement is in fact closer to Ramsey's ideas. But there is also a resemblance between the latter and a more recent account of conditionals, which relates some of them to causality. The comparison provides a basis for assessment of the proposed replacement. |
|
|
|
|
|
The epsilon calculus improves upon the predicate calculus by systematically providing complete individual terms. Recent research has shown that epsilon terms are therefore the “logically proper names” Russell was not able to formalize, but their use improves upon Russell’s theory of descriptions not just in that way. This paper details relevant formal aspects of the epsilon calculus before tracing its extensive application not just to the theory of descriptions, but also to more general problems with anaphoric reference. It ends by (...) |
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-6f9648bdd6-9f52p uwo