Semantic networks were developed in cognitive science and artificial intelligence studies as graphical knowledge representation and inference tools emulating human thought processes. Formal analysis of the representation and inference capabilities of the networks modeled them as subsets of standard first-order logic (FOL), restricted in the operations allowed in order to ensure the tractability that seemed to characterize human reasoning capabilities. The graphical network representations were modeled as providing a visual language for the logic. Sub-sets of FOL targeted on knowledge representation (...) came to be called description logics, and research on these logics has focused on issues of tractability of subsets with differing representation capabilities, and on the implementation of practical inference systems achieving the best possible performance. Semantic network research has kept pace with these developments, providing visual languages for knowledge entry, editing, and presenting the results of inference, that translate unambiguously to the underlying description logics. This paper discusses the design issues for such semantic network formalisms, and illustrates them through detailed examples of significant generic knowledge structures analyzed in the literature, including determinables, contrast sets, genus/differentiae, taxonomies, faceted taxonomies, cluster concepts, family resemblances, graded concepts, frames, definitions, rules, rules with exceptions, essence and state assertions, opposites and contraries, relevance, and so on. Such examples provide important test material for any visual language formalism for logic. (shrink)

Inconsistencies between scientific theories have been studied, by and large, from the perspective of paraconsistent logic. This approach considered the formal properties of theories and the structure of inferences one can legitimately draw from theories. However, inconsistencies can be also analysed from the perspective of modelling practices, in particular how modelling practices may lead scientists to form opinions and attitudes that are different, but not necessarily inconsistent. In such cases, it is preferable to talk about disagreement, rather than inconsistency. Disagreement (...) may originate in, or concern, a number of epistemic, socio-political or psychological factors. In this paper, we offer an account of the ‘loci and reasons’ for disagreement at different stages of the scientific process. We then present a controversial episode in the health sciences: the studies on hypercholesterolemia. The causes and effects of high levels of cholesterol in blood have been long and hotly debated, to the point of deserving the name of ‘cholesterol wars’; the debate, to be sure, isn’t settled yet. In this contribution, we focus on some selected loci and reasons for disagreement that occurred between 1920 and 1994 in the studies on hypercholesterolemia. We hope that our analysis of ‘loci and reasons’ for disagreement may shed light on the cholesterol wars, and possibly on other episodes of scientific disagreement. (shrink)