About: Deduction and logical analysis in Tichý's Logic     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
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
  • S
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
  • 129820
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
  • [4D165B35FB01]
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...UplatneniVysledku
http://linked.open...iv/tvurceVysledku
  • Raclavský, Jiří
http://localhost/t...ganizacniJednotka
  • 14210
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software