Is Transparent Intensional Logic a Logic?

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F12%3A00061129" target="_blank" >RIV/00216224:14210/12:00061129 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Is Transparent Intensional Logic a Logic?
Popis výsledku v původním jazyce
The aim of the talk is to defend Tichý's logic as logic againt the suspeiction that Tichý's logic underestimates deduction, provides only logical analyses of expressions. First of all, detection of valid arguments, which are formulated in a language, needs logical analysis ascertaining which semantical entities, Tichý's so-called constructions, are involved. Entailment is defined as an extralinguistic affair relating those constructions. Validity of arguments, composed of propositional constructions, stems from properties of constructions. Such properties are displayed by derivation rules of Tichý's system of deduction.
Název v anglickém jazyce
Is Transparent Intensional Logic a Logic?
Popis výsledku anglicky
The aim of the talk is to defend Tichý's logic as logic againt the suspeiction that Tichý's logic underestimates deduction, provides only logical analyses of expressions. First of all, detection of valid arguments, which are formulated in a language, needs logical analysis ascertaining which semantical entities, Tichý's so-called constructions, are involved. Entailment is defined as an extralinguistic affair relating those constructions. Validity of arguments, composed of propositional constructions, stems from properties of constructions. Such properties are displayed by derivation rules of Tichý's system of deduction.

Rok uplatnění
2012
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ů

Podobné výsledky(10)