I am studying the Introduction to logic course from Stanford University and I begin learning about relational logic. However when I search on google for the terms there I end up often with results from websites that teach predicate logic. Is there a difference between the two types of logic ?

  • 2
    If these lecture notes from Stanford are about what you call "relational logic" then it is just another name for predicate calculus. There used to be something else called relational logic (or logic of relatives) developed by De Morgan and Peirce in 19th century (logic of intensional predicates in modern terms) but it is a rather niche subject today. – Conifold Jan 24 '17 at 18:54
  • @Conifold Indeed THAT is the course I am learning now. So I can consider that I am learning predicate logic right ? – yoyo_fun Jan 24 '17 at 19:00
  • No difference; see page 1. – Mauro ALLEGRANZA Jan 24 '17 at 19:54
  • @MauroALLEGRANZA Thanks for pointing out. – yoyo_fun Jan 24 '17 at 21:06

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.