Relevantlogicsprovideanalternativetoclassicalimplication that is capable of accounting for the relationship between the antecedent and the consequence of a valid implication. Relevant implication is usu- ally explained in terms of information required to assess a proposition. By doing so, relevant implication introduces a number of cognitively rel- evant aspects in the definition of logical operators. In this paper, we aim to take a closer look at the cognitive feature of relevant implication. For this purpose, we develop a cognitively-oriented interpretation of the semantics of relevant logics. In particular, we provide an interpretation of Routley-Meyer semantics in terms of conceptual spaces and we show that it meets the constraints of the algebraic semantics of relevant logic.
A cognitive view of relevant implication / Masolo, C; Porello, D. - STAMPA. - (2015), pp. 40-53. ( 3rd International Workshop on Artificial Intelligence and Cognition, AIC 2015 Turin 28-29 September).
A cognitive view of relevant implication
Porello D
2015-01-01
Abstract
Relevantlogicsprovideanalternativetoclassicalimplication that is capable of accounting for the relationship between the antecedent and the consequence of a valid implication. Relevant implication is usu- ally explained in terms of information required to assess a proposition. By doing so, relevant implication introduces a number of cognitively rel- evant aspects in the definition of logical operators. In this paper, we aim to take a closer look at the cognitive feature of relevant implication. For this purpose, we develop a cognitively-oriented interpretation of the semantics of relevant logics. In particular, we provide an interpretation of Routley-Meyer semantics in terms of conceptual spaces and we show that it meets the constraints of the algebraic semantics of relevant logic.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione



