Discrete Logic

Carlos Gershenson (carlos@jlagunez.iquimica.unam.mx)
Fri, 1 May 1998 14:23:18 +0200 (MET DST)

Boolean Logic is to Aristotelic Logic what Fuzzy logic is to... uhhh don't
know if theres something like that yet.

What am I trying to say? Boolean Logic is the mathematical representation
of aristotelic logic, when something can only be or true or false.
Fuzzy Logic is the mathematical representation of a more realistic logic,
which admits degrees of truthness. But there's no philosophic theory (as
far as I know) which could explain fuzzy logic in terms of silogisms.

But if we want the degree of truthness of something, we could do, as in
fuzzy logic, to use fuzzy sets. And every set would give a different
thruth, and overlapping them, we would get THE truth. But there's a
problem. In the universe, there are infinite number of sets for anything
we want to truthify. What can we do?

any suggestions...?

Carlos Gershenson

((( \
(( (( ))
(( ( ) )
( \________) )__
( ---________
( * /
( ___/
( /'''
(_______ ________/^^^
) /
) )