Quantificational Accounts of Logical Consequence III. The Model-Theoretic Account: Quantificational Approach Triumphant? Cover Image

Quantificational Accounts of Logical Consequence III. The Model-Theoretic Account: Quantificational Approach Triumphant?
Quantificational Accounts of Logical Consequence III. The Model-Theoretic Account: Quantificational Approach Triumphant?

Author(s): Ladislav Koreň
Subject(s): Logic, Analytic Philosophy, Philosophy of Language
Published by: Filozofický ústav SAV
Keywords: Logical consequence; models; quantificational accounts; validity;

Summary/Abstract: This concluding study devoted to quantificational accounts of consequence and related logical properties deals with the model-theoretic account (MTA). In response to objections questioning its intuitive adequacy, it is argued that MTA does not aim to analyse “the” alleged intuitive notion of consequence, but aims to formally reconstruct one specific semantic account, according to which valid arguments preserve truth in virtue of their logico-semantic structure and irrespectively of particular semantic values of the non-logical vocabulary. So conceived, MTA is arguably superior to any other quantificational account, being based on a principled account of the semantic structure and the specific contribution of logical elements to it.

  • Issue Year: 21/2014
  • Issue No: 4
  • Page Range: 492-515
  • Page Count: 24
  • Language: English