On Logic and more logic... through relationships

RELATIONAL LOGIC

Propositional Logic permits to understand relationships among individual (otherwise said, standalone) propositions, and provides the tools to convey logical conclusions on the basis of such relationships.

However, Propositional Logic is inadequate to entail that -for instance- if we consider that Antoine loves Chikako, then Chikako loves Antoine.

Relational Logic delivers the mechanisms and structures to resolve this issue, by:

·      Providing the appropriate linguistic utilization of variables and quantifiers

·      Subsequently allowing to represent information about multiple objects without enumerating those objects

·      And similarly permitting to express the existence of objects that satisfy specific conditions without determining which objects they are.

This lecture also covers the following topics:

·      Syntax and semantics

·      Evaluation and satisfaction including examples

·      Properties of Relational Logic sentences

·      Logical entailment for Relational Logic

·      Equivalence of Relational Logic and Propositional Logic and its decidability.

To download this lecture's presentation slides, click here.