Attributes | Values |
---|
rdf:type
| |
Description
| - Tichého logika bývá někdy znevažována proto, že prý podceňuje dedukci – že se věnuje pouze logické analýze. Argumentuji, že tento názor je mylný. Především je platnost jazykové podoby úsudku odvislá od platnosti úsudku jako takového, tedy určité množiny (Tichého) konstrukcí vyjádřených danými větami; zde je logická analýza nepostradatelná. Sama platnost úsudku jako takového se však odvíjí od vlastností příslušných konstrukcí. Tichého systém dedukce je pak systematickým způsobem, jak studovat vlastnosti konstrukcí.
- Tichého logika bývá někdy znevažována proto, že prý podceňuje dedukci – že se věnuje pouze logické analýze. Argumentuji, že tento názor je mylný. Především je platnost jazykové podoby úsudku odvislá od platnosti úsudku jako takového, tedy určité množiny (Tichého) konstrukcí vyjádřených danými větami; zde je logická analýza nepostradatelná. Sama platnost úsudku jako takového se však odvíjí od vlastností příslušných konstrukcí. Tichého systém dedukce je pak systematickým způsobem, jak studovat vlastnosti konstrukcí. (cs)
- 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. (en)
|
Title
| - Deduction and logical analysis in Tichý's Logic (en)
- Dedukce a logická analýza v Tichého logice
- Dedukce a logická analýza v Tichého logice (cs)
|
skos:prefLabel
| - Deduction and logical analysis in Tichý's Logic (en)
- Dedukce a logická analýza v Tichého logice
- Dedukce a logická analýza v Tichého logice (cs)
|
skos:notation
| - RIV/00216224:14210/12:00060214!RIV13-MSM-14210___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| |
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/00216224:14210/12:00060214
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - deduction; logical analysis; Transparent Intensional Logic (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| |
http://localhost/t...ganizacniJednotka
| |