Selected Mathematical Works: Symbolic Logic + The Game of Logic + Feeding the Mind: by Charles Lutwidge Dodgson, alias Lewis Carroll. Lewis Carroll
Чтение книги онлайн.

Читать онлайн книгу Selected Mathematical Works: Symbolic Logic + The Game of Logic + Feeding the Mind: by Charles Lutwidge Dodgson, alias Lewis Carroll - Lewis Carroll страница 14

СКАЧАТЬ Diagram representing all x are y Some xy′ exist = Some x are y′ = Some y′ are x Diagram representing x y exists All x are y′ Diagram representing all x are y prime Some x′y exist = Some x′ are y = Some y are x′ Diagram representing x y exists All x′ are y Diagram representing all x prime are y Some x′y′ exist = Some x′ are y′ = Some y′ are x′ Diagram representing x prime y prime exists All x′ are y′ Diagram representing all x prime are y prime No xy exist = No x are y = No y are x Diagram representing x y does not exist All y are x Diagram representing all y are x No xy′ exist = No x are y′ = No y′ are x Diagram representing x y prime does not exist All y are x′ Diagram representing all y are x prime No x′y exist = No x′ are y = No y are x′ Diagram representing x prime y does not exist All y′ are x Diagram representing all y prime are x No x′y′ exist = No x′ are y′ = No y′ are x′ Diagram representing x prime y prime does not exist All y′ are x′ Diagram representing all y prime are x prime Some x are y, and some are y′ Diagram representing x exists with and without y Some y are x and some are x′ Diagram representing y exists with and without x Some x′ are y, and some are y′ Diagram representing x prime exists with and without y Some y′ are x and some are x′ Diagram representing y prime exists with and without x

      

       INTERPRETATION OF BILITERAL DIAGRAM WHEN MARKED WITH COUNTERS.

      Table of Contents

      The Diagram is supposed to be set before us, with certain Counters placed upon it; and the problem is to find out what Proposition, or Propositions, the Counters represent.

      As the process is simply the reverse of that discussed in the previous Chapter, we can avail ourselves of the results there obtained, as far as they go.

Diagram representing x y exists

      First, let us suppose that we find a Red Counter placed in the North-West Cell.

      We know that this represents each of the Trio of equivalent Propositions

      “Some xy exist” = “Some x are y” = “Some y are x”.

      Similarly we may interpret a Red Counter, when placed in the North-East, or South-West, or South-East Cell.

Diagram representing x y does not exist

      Next, let us suppose that we find a Grey Counter placed in the North-West Cell.

      We know that this represents each of the Trio of equivalent Propositions

      “No xy exist” = “No x are y” = “No y are x”.

      Similarly we may interpret a Grey Counter, when placed in the North-East, or South-West, or South-East Cell.

Diagram representing x exists

      Next, let us suppose that we find a Red Counter placed on the partition which divides the North Half.

      We know that this represents the Proposition “Some x exist.”

      Similarly we may interpret a Red Counter, when placed on the partition which divides the South, or West, or East Half.

      __________________________________

СКАЧАТЬ