Syllogistic Relevance and Term Logic

Term Functor Logic is a term logic that recovers some important features of the traditional, Aristotelian logic; however, it turns out that it does not preserve all of the Aristotelian properties a valid inference should have insofar as the class of theorems of Term Functor Logic includes some infer...

Full description

Saved in:
Bibliographic Details
Published in:Journal of logic, language, and information language, and information, 2024-08, Vol.33 (2-3), p.89-105
Main Author: Castro-Manzano, J.-Martín
Format: Article
Language:English
Subjects:
Education
Information Systems Applications (incl.Internet)
Logic
Philosophy
Semantics
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Term Functor Logic is a term logic that recovers some important features of the traditional, Aristotelian logic; however, it turns out that it does not preserve all of the Aristotelian properties a valid inference should have insofar as the class of theorems of Term Functor Logic includes some inferences that may be considered irrelevant (e.g. ex falso , verum ad , and petitio principii ). By following an Aristotelian or syllogistic notion of relevance, in this contribution we adapt a tableaux method for Term Functor Logic in order to avoid irrelevance and we offer some sort of intuitive semantics in terms of traditional inferential situations (e.g. propter quid , quia , non causa ut causa , and non sequitur ).
ISSN:0925-8531
1572-9583
DOI:10.1007/s10849-024-09417-5