Lógica: Ser é Pertencer

Refletindo um pouco a respeito de lógica cheguei a uma conclusão bem simples: ser é pertencer. Quando se diz:

Todos os homens são mortais. Sócrates é homem. Portando, Sócrates é mortal.

Esse silogismo, que é tão manjado na lógica como os algoritmos "Halo, World!" em programação, será usado para explicar minha conclusão. Na segunda proposição, Sócrates é homem, o verbo de ligação indica que o filósofo está inserido a um grupo conceitual que engloba todos os seres humanos. Se usarmos a teoria dos conjuntos para representar essa proposição ela poderia sem problemas tomar as seguintes formas:

• Sócrates pertence Homem
• Sócrates está contido Homem
• Homem contém Sócrates

Ou seja, Sócrates pertence a um conjunto chamado Homem; Sócratates está contido em um conjunto chamado Homem; O conjunto Homem contém um ser chamado Sócrates. É uma conclusão bem "lógica", eu sei, mas pode ser interessante para quem gosta do assunto, como eu. Na verdade, a algum tempo estou imaginando como seria um programa de cálculo de sentenças lógicas. Seria a base para um sistema de interpretação da linguagem natural e para construção autônoma de conhecimento artificial. Mas isso está ainda muito no mundo da concepção. Ou talvez eu esteja só viajando... Mais umas explicações... Num silogismo, cada sentença tem um significado:

1. A primeira sentença tem que possuir uma relação sugeito-predicado universal, afirmativa ou negativa;
2. A segunda sentença tem que possuir uma relação sugeito-prodicado particular, também afirmativa ou negativa;
3. A terceira é conclusão direta das duas anteriores.

Mais informações leia na wikipédia: http://pt.wikipedia.org/wiki/Silogismo