Model theory and foundations of logic

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F16%3A10319768" target="_blank" >RIV/00216208:11210/16:10319768 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Model theory and foundations of logic

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Model theory and foundations of logic

Popis výsledku anglicky

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.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

AA - Filosofie a náboženství

OECD FORD obor

—

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2016

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Acta Universitatis Carolinae. Philosophica et Historica

ISSN

0567-8293

e-ISSN

—

Svazek periodika

10

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

CZ - Česká republika

Počet stran výsledku

15

Strana od-do

7-21

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—