Další formáty:
BibTeX
LaTeX
RIS
@proceedings{1067094, author = {Raclavský, Jiří}, booktitle = {Non-classical logic. Theory and applications}, keywords = {deduction; logical analysis; Transparent Intensional Logic}, language = {eng}, note = {(konf. abstrakt)}, title = {Is Transparent Intensional Logic a Logic?}, year = {2012} }
TY - CONF ID - 1067094 AU - Raclavský, Jiří PY - 2012 TI - Is Transparent Intensional Logic a Logic? N1 - (konf. abstrakt) KW - deduction KW - logical analysis KW - Transparent Intensional Logic N2 - 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. ER -
RACLAVSKÝ, Jiří. Is Transparent Intensional Logic a Logic? In \textit{Non-classical logic. Theory and applications}. 2012.
|