O'Reilly logo

The Birth of Model Theory by Calixto Badesa

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Chapter Two

The Theory of Relatives

2.1 INTRODUCTION

2.1.1 The study of the logic of relatives (or of relations) was begun by A. De Morgan in his 1859 paper “On the syllogism IV and on the logic of relations.” If Boole can be considered the founder of mathematical logic, De Morgan deserves acknowledgment as the first logician to appreciate the limitations of traditional logic and to recognize the importance to logic of the study of relations. De Morgan, for a number of reasons, did not establish the foundations of a theory of relations.According to Tarski ([1941], p. 73), the creator of the theory of binary relations is Peirce. Without denying his debt to De Morgan, whom he considered as “one of the best logicians that ever lived and unquestionably ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required