972 research outputs found
Iterated reflection principles over full disquotational truth
Iterated reflection principles have been employed extensively to unfold
epistemic commitments that are incurred by accepting a mathematical theory.
Recently this has been applied to theories of truth. The idea is to start with
a collection of Tarski-biconditionals and arrive by finitely iterated
reflection at strong compositional truth theories. In the context of classical
logic it is incoherent to adopt an initial truth theory in which A and 'A is
true' are inter-derivable. In this article we show how in the context of a
weaker logic, which we call Basic De Morgan Logic, we can coherently start with
such a fully disquotational truth theory and arrive at a strong compositional
truth theory by applying a natural uniform reflection principle a finite number
of times
Stationary reflection principles and two cardinal tree properties
We study consequences of stationary and semi-stationary set reflection. We
show that the semi stationary reflection principle implies the Singular
Cardinal Hypothesis, the failure of weak square principle, etc. We also
consider two cardinal tree properties introduced recently by Weiss and prove
that they follow from stationary and semi stationary set reflection augmented
with a weak form of Martin's Axiom. We also show that there are some
differences between the two reflection principles which suggest that stationary
set reflection is analogous to supercompactness whereas semi-stationary set
reflection is analogous to strong compactness.Comment: 19 page
- …