Part IV: Logic

Introduction

In this part, we say a little about conceptual graphs as a kind of logic. We will take three basic concepts from logic and apply them to syllogisms.

Overview

Conceptual graphs are actually a kind of logic. Every conceptual graph can be translated into a formula in the predicate calculus.

In this chapter, we talk about three aspects of the logical nature of conceptual graphs.

  1. The first is negation; Every context can be negated by placing a small symbol, "" in front of the context.

  2. The second is the logical connective "and". Juxtaposed (but unconnected) conceptual graphs are connected by "and".

  3. The third aspect is how to say "or", given that the default interpretation of juxtaposed conceptual graphs is "and".

Finally, we apply some of these concepts to syllogisms.

Next

We start with negation.


Prev: 11.4 Scope rules
Up: Table of contents
Next: 12 Negation