A Logical Foundation for Rational Emotive Behaviour Therapy

  • Yatin Saraiya


Rational emotive behaviour therapy (REBT) depends on the implications A ⊃ B and B ⊃ C where A is an activating event, B is a belief and C is an emotional consequence. We use this idea to present a logical theory for REBT, and show how it can be used to create a computer program that can be used as a therapist’s aid.


Logic Questionnaire Computer Program 


Compliance with Ethical Standards

Ethical Approval

This paper has no human subjects, so it violates no ethical standards for dealing with human subjects.

Conflict of interest

There are no conflicts of interest on the part of the author.


  1. Ellis, A., & Dryden, W. (2007). The practice of rational emotive behavior therapy (2nd ed.). Springer.Google Scholar
  2. Enderton, H. (2001). A mathematical introduction to logic (2nd ed.). Academic Press.Google Scholar
  3. Garey, M. R., & Johnson, D. S. (1979). Computers and intractability: A guide to the theory of NP-completeness. W. H. Freeman and Co.Google Scholar

Copyright information

© Springer Science+Business Media, LLC 2017

Authors and Affiliations

  1. 1.Palo AltoUSA

Personalised recommendations