AUC PHILOSOPHICA ET HISTORICA
AUC PHILOSOPHICA ET HISTORICA

AUC Philosophica et Historica (Acta Universitatis Carolinae Philosophica et Historica) is a multidisciplinary academic journal focused on the humanities with more than 50 years of tradition.

The journal is indexed in CEEOL, DOAJ, and EBSCO.

AUC PHILOSOPHICA ET HISTORICA, Vol 2015 No 1 (2015), 7–21

Model theory and foundations of logic

Pavel Arazim

DOI: https://doi.org/10.14712/24647055.2016.6
published online: 08. 08. 2016

abstract

Despite its popularity, model theory based on Tarski’s insights is in need of deeper philosophical reflection. A wide range of stances towards it was proposed, some seeing it as project based on fundamental misconceptions, some asserting it reveals the very essence of logic. I would like to balance these extreme views. Of particular importance will be its connection to the problem of logical constants. Identifying logical constatnts enables us to identify logical forms of statements and thus brings us close to demarcating logic. We will see that solving this issue in ways suggested by model theory has its considerable costs, while the gains are rather modest.

keywords: model-theory; completness; substitution; interpretation; representation


periodicity: 2 x per year
ISSN: 0567-8293
E-ISSN: 2464-7055

Download