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ý. Logická analýza, určení toho, které tzv. konstrukce výrazy vyjadřují, je k určení platnosti úsudků formulovaných v přirozeném jazyce nezbytná. Vyplývání je definováno jako určitý vztah mezi konstrukcemi, tedy jako mimojazyková záležitost. Platnost úsudků (složených z konstrukcí) se odvíjí od vlastností příslušných konstrukcí. Tyto vlastnosti vyobrazují derivační pravidla Tichého systému dedukce.
- 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ý. Logická analýza, určení toho, které tzv. konstrukce výrazy vyjadřují, je k určení platnosti úsudků formulovaných v přirozeném jazyce nezbytná. Vyplývání je definováno jako určitý vztah mezi konstrukcemi, tedy jako mimojazyková záležitost. Platnost úsudků (složených z konstrukcí) se odvíjí od vlastností příslušných konstrukcí. Tyto vlastnosti vyobrazují derivační pravidla Tichého systému dedukce. (cs)
- It is sometimes objected that Tichý's logic is not logic because it underestimates deduction – providing only logical analysis of expressions. I argue that the opinion is wrong. First of all, detection of valid arguments (which are formulated in a language) needs logical analysis ascertaining which semantical entities, Tichý's 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
| - Je Tichého logika logikou? (O vztahu logické analýzy a dedukce)
- Je Tichého logika logikou? (O vztahu logické analýzy a dedukce) (cs)
- Is Tichý's logic a logic? On the relation of logical analysis and deduction (en)
|
skos:prefLabel
| - Je Tichého logika logikou? (O vztahu logické analýzy a dedukce)
- Je Tichého logika logikou? (O vztahu logické analýzy a dedukce) (cs)
- Is Tichý's logic a logic? On the relation of logical analysis and deduction (en)
|
skos:notation
| - RIV/00216224:14210/12:00059596!RIV13-MSM-14210___
|
http://linked.open...avai/predkladatel
| |
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| |
http://linked.open...iv/cisloPeriodika
| |
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:00059596
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - Tichý; transparent intensional logic; entailment; deduction; logical analysis (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...odStatuVydavatele
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...i/riv/nazevZdroje
| |
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...v/svazekPeriodika
| |
http://linked.open...iv/tvurceVysledku
| |
issn
| |
number of pages
| |
http://localhost/t...ganizacniJednotka
| |
is http://linked.open...avai/riv/vysledek
of | |