The foundation of the Christian counselling movement -- Christian counselling in the UK -- The aims of Christian counselling -- Integrating psychological and biblical truth -- Sigmund Freud--the founding father of psychotherapy -- The individual psychology of Alfred Adler -- Abraham Maslow--the man with new age tendencies -- Carl Rogers--a man who believed in himself -- Albert Ellis--the aggressive atheist -- The Bible's verdict on psychological 'truth' -- The case against Larry Crabb -- Self-esteem: the secular foundation -- Self-esteem and (...) the Christian counselling movement -- Self-esteem dogma in the light of scripture. (shrink)

In 'Een handvol filosofen' staan de filosofen centraal die sinds de oprichting van de Vrije Universiteit in 1880 aan deze instelling verbonden zijn geweest. Het gaat hierbij niet alleen om de inhoud van hun werk, maar ook om de personen zelf. Er waren filosofiedocenten die zich met de universiteit identificeerden en zich volledig konden ontplooien. Er waren er echter ook voor wie dit niet gold, die geïsoleerd of in gewetensnood raakten. Veel filosofiestudenten waren actief betrokken bij wat er in hun (...) faculteit gebeurde. Zij namen initiatieven, protesteerden soms tegen de gang van zaken en kozen partij in conflictsituaties. Sinds het eind van de jaren zestig van de twintigste eeuw verloor de Vrije Universiteit geleidelijk haar christelijk karakter. Tegenwoordig werken alle stafleden vanuit hun eigen motivatie mee aan een hoofdzakelijk seculier geworden universiteit, die ruimte biedt voor religieuze en levensbeschouwelijke diversiteit. (shrink)

We study here extensions of the Artemov's logic of proofs in the language with quantifiers on proof variables. Since the provability operator □ A could be expressed in this language by the formula u[u]A, the corresponding logic naturally extends the well-known modal provability logic GL. Besides, the presence of quantifiers on proofs allows us to study some properties of provability not covered by the propositional logics.In this paper we study the arithmetical complexity of the provability logic with quantifiers on (...) proofs for a given arithmetical theory T and a class of proof predicates.In the last section we define Kripke style semantics for the logics corresponding to the standard Gödel proof predicate and its multiple conclusion version. (shrink)

One staple of living in our information society is having access to the web. Web-connected devices interpret our queries and retrieve information from the web in response. Today’s web devices even purport to answer our queries directly without requiring us to comb through search results in order to find the information we want. How do we know whether a web device is trustworthy? One way to know is to learn why the device is trustworthy by inspecting its inner workings, 156–170 (...) 1995; Humphreys 2004, Episteme, 6, 221–229 2009). But ordinary users of web devices cannot inspect their inner workings because of their scale, complexity, and the corporate secrecy which enshrouds both the procedures by which the devices operate and the companies that make them. Further piling on this predicament, authors have criticized web technology on the grounds that the invisibility of the web devices’ inner workings prevents users from critically assessing the procedures that produce a given output, in some cases, barring users from fulfilling their epistemic responsibilities, 343–355 2010; Miller and Record Episteme, 10, 117–134 2013). I consider four broad kinds of reasons which we can acquire without inspecting the inner workings of black-boxed technology: individual understanding, expert testimony, testing through experience, and social vetting; and show how each is a viable method of appraising black-boxed technology. By deploying these methods, we can remain responsible inquirers while nonetheless benefitting from today’s epistemic resources on the web. (shrink)