Monthly Archives: August 2010
Welcome! And a peek ahead.
Unfortunately, I don’t have any wonderful posts all ready for
our launch. At the moment, I’m the only administrator at Scientopia,
and I’ve been so busy working on just getting the site up and running
that I haven’t had any time to actually finish any posts.
But there’s stuff in progress! I’m working on two different series
of posts.
First, in my request for topics back at SB, a ton of you were interested
in topology. I’ve written about topology before, but it was four years ago
when GM/BM first moved to ScienceBlogs. So most of you guys probably
never got to read it. I’ll be taking those posts, updating them, and
reposting them.
The other series is on fuzzy logic. I really love logic – in particular,
I love what I call atypical logics – that is, logics that do something
different from basic propositional or predicate logic. Fuzzy logic is
particularly fun – it’s built around the fundamental idea of
vagueness. That is, what happens to concepts like “tallness”, where
there are some people who are clearly tall, and there are others
who are kind-of tall, and still others who clearly aren’t tall.
And yet, there’s absolutely no strict dividing line between those. But
capturing those in logic is difficult!
And, of course, if you’re doing fuzzy logic, you really need fuzzy set theory
underneath it. After all, in normal set theory, a predicate defines
a set. But if a predicate is completely true for some values, and it’s
only partly true for others, then what does a set mean? What does
membership mean?
We’ll find out soon!