Lukács and Reflection Theory

Proof Theory of Reflection

The paper contains proof{theoretic investigations on extensions of Kripke{Platek set theory, KP, which accommodate rst order re ection. Ordinal analyses for such theories are obtained by devising cut elimination procedures for in nitary calculi of rami ed set theory with n re ection rules. This leads to consistency proofs for the theories KP+ n{re ection using a small amount of arithmetic (PRA)...

Models of Theological Reflection: Theory and Praxis

Proof Theory, Modal Logic and Reflection Principles

Sergei Artemov Reflection vs. co-Reflection in Intuitionistic Epistemic Logic. This is joint work with Tudor Protopopescu. We outline an intuitionistic view of knowledge which maintains the Brouwer-Heyting-Kolmogorov semantics and is consistent with Williamson’s suggestion that intuitionistic knowledge is the result of verification. On this view, co-Reflection F → KF is valid since it encodes a...

a comparison of teachers and supervisors, with respect to teacher efficacy and reflection

supervisors play an undeniable role in training teachers, before starting their professional experience by preparing them, at the initial years of their teaching by checking their work within the proper framework, and later on during their teaching by assessing their progress. but surprisingly, exploring their attributes, professional demands, and qualifications has remained a neglected theme i...

A Reflection on Research, Theory, Evidence-based Practice, and Quality Improvement