Logical diagrams are known to have certain advantages over sentential notations for particular reasoning tasks: using a diagram may make logical consequences directly evident, when these consequences are “hidden” in an equivalently expressive sentential language. This phenomenon is known as a “free ride” or “observational advantage”. Where does this advantage come from, and why? We answer this question by distinguishing two general kinds of logical languages: occurrence-referential languages, in which sameness of reference (for sentential and predicate variables) is determined by the sameness of variable occurrence, and type-referential languages, in which sameness of variable type determines sameness of reference. We explain that it is the occurrence-referential nature of some languages that explains for their observational advantage over equivalently expressive type-referential languages.
Observational Advantages and Occurrence Referentiality / Francesco Bellucci; Jim Burton. - ELETTRONICO. - (2020), pp. 202-215. (Intervento presentato al convegno 11th International Conference, Diagrams 2020 tenutosi a Tallinn nel August 24–28, 2020) [10.1007/978-3-030-54249-8_16].
Observational Advantages and Occurrence Referentiality
Francesco Bellucci
;
2020
Abstract
Logical diagrams are known to have certain advantages over sentential notations for particular reasoning tasks: using a diagram may make logical consequences directly evident, when these consequences are “hidden” in an equivalently expressive sentential language. This phenomenon is known as a “free ride” or “observational advantage”. Where does this advantage come from, and why? We answer this question by distinguishing two general kinds of logical languages: occurrence-referential languages, in which sameness of reference (for sentential and predicate variables) is determined by the sameness of variable occurrence, and type-referential languages, in which sameness of variable type determines sameness of reference. We explain that it is the occurrence-referential nature of some languages that explains for their observational advantage over equivalently expressive type-referential languages.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
