TY - JOUR

T1 - Validity, the Squeezing Argument and Alternative Semantic Systems

T2 - The Case of Aristotelian Syllogistic

AU - Andrade-Lotero, Edgar

AU - Novaes, Catarina Dutilh

PY - 2012/4

Y1 - 2012/4

N2 - We investigate the philosophical significance of the existence of different semantic systems with respect to which a given deductive system is sound and complete. Our case study will be Corcoran's deductive system D for Aristotelian syllogistic and some of the different semantic systems for syllogistic that have been proposed in the literature. We shall prove that they are not equivalent, in spite of D being sound and complete with respect to each of them. Beyond the specific case of syllogistic, the goal is to offer a general discussion of the relations between informal notions-in this case, an informal notion of deductive validity-and logical apparatuses such as deductive systems and (model-theoretic or other) semantic systems that aim at offering technical, formal accounts of informal notions. Specifically, we will be interested in Kreisel's famous 'squeezing argument'; we shall ask ourselves what a plurality of semantic systems (understood as classes of mathematical structures) may entail for the cogency of specific applications of the squeezing argument. More generally, the analysis brings to the fore the need for criteria of adequacy for semantic systems based on mathematical structures. Without such criteria, the idea that the gap between informal and technical accounts of validity can be bridged is put under pressure.

AB - We investigate the philosophical significance of the existence of different semantic systems with respect to which a given deductive system is sound and complete. Our case study will be Corcoran's deductive system D for Aristotelian syllogistic and some of the different semantic systems for syllogistic that have been proposed in the literature. We shall prove that they are not equivalent, in spite of D being sound and complete with respect to each of them. Beyond the specific case of syllogistic, the goal is to offer a general discussion of the relations between informal notions-in this case, an informal notion of deductive validity-and logical apparatuses such as deductive systems and (model-theoretic or other) semantic systems that aim at offering technical, formal accounts of informal notions. Specifically, we will be interested in Kreisel's famous 'squeezing argument'; we shall ask ourselves what a plurality of semantic systems (understood as classes of mathematical structures) may entail for the cogency of specific applications of the squeezing argument. More generally, the analysis brings to the fore the need for criteria of adequacy for semantic systems based on mathematical structures. Without such criteria, the idea that the gap between informal and technical accounts of validity can be bridged is put under pressure.

UR - http://www.scopus.com/inward/record.url?scp=84858214438&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84858214438&partnerID=8YFLogxK

U2 - 10.1007/s10992-010-9166-y

DO - 10.1007/s10992-010-9166-y

M3 - Article

AN - SCOPUS:84858214438

SN - 0022-3611

VL - 41

SP - 387

EP - 418

JO - Journal of Philosophical Logic

JF - Journal of Philosophical Logic

IS - 2

ER -