- 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
Invertible definitions
Notre Dame Journal of Formal Logic 28 (2):244-258 (1987)
Abstract
A concept of informational equivalence between relations is explicated to generalize some suggestions by Geach. It is shown that two relations are informationally equivalent if and only if each can be defined in terms of the other without the use of quantifiers. It is shown that there is a general method for listing the ./-place relations informationally equivalent to an arbitrary given /-place relation if and only if iAuthor's Profile
Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Abstraction Principles and the Classification of Second-Order Equivalence Relations.Sean C. Ebels-Duggan - 2019 - Notre Dame Journal of Formal Logic 60 (1):77-117.
On Polynomial-Time Relation Reducibility.Su Gao & Caleb Ziegler - 2017 - Notre Dame Journal of Formal Logic 58 (2):271-285.
On Generalization of Definitional Equivalence to Non-Disjoint Languages.Koen Lefever & Gergely Székely - 2019 - Journal of Philosophical Logic 48 (4):709-729.
The quantifier complexity of polynomial‐size iterated definitions in first‐order logic.Samuel R. Buss & Alan S. Johnson - 2010 - Mathematical Logic Quarterly 56 (6):573-590.
On Elementary Equivalence for Equality-free Logic.E. Casanovas, P. Dellunde & R. Jansana - 1996 - Notre Dame Journal of Formal Logic 37 (3):506-522.
On Some Applied First-Order Theories which Can Be Represented by Definitions.Vladimir Shalack - 2015 - Bulletin of the Section of Logic 44 (1/2):19-24.
Abductive Equivalence in First-order Logic.Katsumi Inoue & Chiaki Sakama - 2006 - Logic Journal of the IGPL 14 (2):333-346.
Equivalence of consequence relations: an order-theoretic and categorical perspective.Nikolaos Galatos & Constantine Tsinakis - 2009 - Journal of Symbolic Logic 74 (3):780-810.
An Order Analysis of Hyperfinite Borel Equivalence Relations.G. A. O. Su & Ming Xiao - forthcoming - Journal of Symbolic Logic:1-23.
Analytic equivalence relations and bi-embeddability.Sy-David Friedman & Luca Motto Ros - 2011 - Journal of Symbolic Logic 76 (1):243 - 266.
Analytics
Added to PP
2010-08-24
Downloads
78 (#736,658)
6 months
10 (#1,167,075)
2010-08-24
Downloads
78 (#736,658)
6 months
10 (#1,167,075)
Historical graph of downloads
Author's Profile
Citations of this work
Information, possible worlds and the cooptation of scepticism.Luciano Floridi - 2010 - Synthese 175 (1):63 - 88.
The Modal Logic of Agreement and Noncontingency.Lloyd Humberstone - 2002 - Notre Dame Journal of Formal Logic 43 (2):95-127.
Comparatives and the Reducibility of Relations.I. L. Humberstone - 2017 - Pacific Philosophical Quarterly 76 (2):117-141.
References found in this work
Universals and scientific realism.David Malet Armstrong - 1978 - New York: Cambridge University Press.
Russell's Logical atomism.Bertrand Russell - 1972 - London,: Fontana. Edited by David Pears & Bertrand Russell.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
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