@article {1173, title = {Quantificational Accounts of Logical Consequence I: From Aristotle to Bolzano}, journal = {Organon F}, volume = {21}, number = {1}, year = {2014}, pages = {22-44}, type = {State}, abstract = {So-called quantificational accounts explicate logical consequence or validity as truth-preservation in all cases, cases being construed as admissible substitutional variants or as admissible interpretations with respect to non-logical terms. In the present study, which is the first from three successive studies devoted to quantification accounts, I focus on the beginning of systematic theorizing of consequence in Aristotle{\textquoteleft}s work, which contains the rudiments of both modal and formal accounts of consequence. I argue, inter alia, that there is no evidence for the claim that Aristotle propounded a quantificational account, and that for a full-fledged quantificational approach in a modern style we need to turn to Bolzano{\textquoteright}s substitutional approach, whose motivation, structure and problems are explained in the second part of this study.}, keywords = {Aristotle, Bolzano, form, logical consequence, modality, validity}, url = {http://www.klemens.sav.sk/fiusav/doc/organon/2014/1/22-44.pdf}, author = {Kore{\v n}, Ladislav} }