Sentential Reflection

Abstract

We present two forms of “sentential reflection”, which are shown to be mutually interpretable with Z2 and ZFC, respectively.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,853

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

Elemental sentential reflection.Harvey Friedman - manuscript
Sentential constants in R and r⌝.Robert K. Meyer - 1986 - Studia Logica 45 (3):301 - 327.
On the degree of complexity of sentential logics.II. An example of the logic with semi-negation.Jacek Hawranek & Jan Zygmunt - 1984 - Studia Logica 43 (4):405 - 413.
Algebraic aspects of deduction theorems.Janusz Czelakowski - 1985 - Studia Logica 44 (4):369 - 387.
Locke's theory of reflection.Kevin Scharp - 2008 - British Journal for the History of Philosophy 16 (1):25 – 63.
Lessons on sentential meaning from mediaeval solutions to the liar paradox.Catarina Dutilh Novaes - 2009 - Philosophical Quarterly 59 (237):682-704.
On representing sentential connectives of Lesniewski's elementary Protothetic.Rafał Urbaniak - 2006 - Journal of Logic and Computation 16 (4):451-460.
Degrees of maximality of Łukasiewicz-like sentential calculi.Grzegorz Malinowski - 1977 - Studia Logica 36 (3):213 - 228.
That SCI has the interpolation property.Grzegorz Malinowski & Marek Michalczyk - 1982 - Studia Logica 41 (4):375 - 380.
Rational episodes: logic for the intermittently reasonable.Keith M. Parsons - 2009 - Amherst, N.Y.: Prometheus Books.
Modality as a metalinguistic predicate.Richard Otte - 1982 - Philosophical Studies 41 (2):153 - 159.
Sentential constants in systems near R.John Slaney - 1993 - Studia Logica 52 (3):443 - 455.
Adjoint interpretations of sentential calculi.Tomasz Fukmanowski - 1982 - Studia Logica 41 (4):359 - 374.
Truth via Sentential Quantification.Mark Textor - 2005 - Dialogue 44 (3):539-550.
Separating stationary reflection principles.Paul Larson - 2000 - Journal of Symbolic Logic 65 (1):247-258.

Analytics

Added to PP
2010-12-22

Downloads
184 (#106,974)

6 months
1 (#1,471,470)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references