Update of Language Definition

Note that I have removed the factorization requirement from the definition of a language in Fundamental Knowledge Part 1;  so we will just have \mathcal{L}_{F,T,W}=F[T[W]].  This will remove some triviality in examples of fuzzy logic systems in the upcoming post.  The original motivation behind the factorization was that traditionally compound terms are considered formulas, but terms themselves are not considered formulas.  I don’t really see why we can’t let terms be formulas;  let us assume “substitutions” have already been made.

I have also removed the requirement that \varphi(\phi)=\varphi(\psi) for all \phi,\psi in a theory X where \varphi is a logic system.  Instead I have defined a logic system that satisfies this condition as a normal logic system.

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: