Abstract

We present a semantics for certain Fuzzy Logics of vagueness by identifying the fuzzy truth value an agent gives to a proposition with the number of independent arguments that the agent can muster in favour of that proposition. Introduction In the literature the expression `Fuzzy Logic' is used in two separate ways (at least). One is where `truth values' are intended to stand for measures of belief (or condence, or certainty of some sort) and the expression `Fuzzy Logic' is taken as a synonym for the assumption that belief values are truth functional. That is, if w() denotes an agent's belief value (on the usual scale [0; 1]) for 2 SL, where SL is the set of sentences from a nite propositional language L built up using the connectives :; ^; _ (we shall consider implication later), then w satises w(:) = F: (w()); w( ^ ) = F^ (w(); w()); w( _ ) = F_ (w(); w()); (1) for some xed functions F: : [0; 1] ! [0; 1] and F^ ; F_ : [0; 1] 2 ! [0; 1]; where ; 2 SL. Two p...

Citations