The Origin of Excluded Middle in the Extensional Bifurcation of Predicate

Abstract

x and y are at least weakly indiscernible if they are distinct with respect to two predicates F and G (FxGy or FyGx and not both) but for all z except x and y, Fz if and only if Gz.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Decidability of General Extensional Mereology.Hsing-Chien Tsai - 2013 - Studia Logica 101 (3):619-636.
Locke and the relativisation of identity.Bruce Langtry - 1975 - Philosophical Studies 27 (6):401 - 409.
Limits and Strengths of Predicate Logic (and its Alloy Implementation).Jan van Eijck - unknown
The geometry of weakly minimal types.Steven Buechler - 1985 - Journal of Symbolic Logic 50 (4):1044-1053.
The attitude of trust is basic.Paul Faulkner - 2015 - Analysis 75 (3):424-429.
A semantical investigation into leśniewski's axiom of his ontology.Mitio Takano - 1985 - Studia Logica 44 (1):71 - 77.
Logical Foundations of Local Gauge Symmetry and Symmetry Breaking.Yingrui Yang - 2022 - Journal of Human Cognition 6 (1):18-23.
An Open Problem In.David Miller - unknown
On Relatively Analytic and Borel Subsets.Arnold W. Miller - 2005 - Journal of Symbolic Logic 70 (1):346 - 352.
Interpolation theorems for intuitionistic predicate logic.G. Mints - 2001 - Annals of Pure and Applied Logic 113 (1-3):225-242.

Analytics

Added to PP
2024-10-06

Downloads
115 (#197,486)

6 months
85 (#80,761)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references