About: Tichý's Five modes of forming constructions     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
  • Stať Tichého Pět způsobů formování konstrukcí podává, vysvětluje a komentuje Tichého definice z [Tichý 1988]. Konstrukce je v (Tichým vybudované) Transparentní intenzionální logice (TIL) explikací fregovského smyslu, toho, díky čemu výrazům rozumíme. Konstrukce konstruují intenze (resp. extenze), jsou to přitom nemnožinové entity. Tímto je zachycen fakt, že např. pro jednu funkci existuje n funkčních předpisů (konstrukce jsou modifikací lambda termů). Identifikací (a rozčleněním druhů) konstrukcí se TIL zásadně odlišuje od jiných intenzionálních logik. Konstrukce nám umožňují lépe logicky analyzovat věty, a tudíž lépe podchytit vyplývání. (cs)
  • The topic of the article is Tichýs Five modes of Forming Constructions (from his monography Foundations of Freges logic) which define sc. constructions. I show and discuss how constructions are integrated in his transparent intensional logic intenzionální logice (TIL). Constructions are explications of Freges sense (Sinn) but for Tichý are meanings of language expressions. Constructions (as modified lambda terms) construct set-theoritical entities like extensions and intensions, however they themselves are not set-theoretical entities. This fixes the fact that for any set-theoretical mapping there is n different procedures which construct this mapping. So constructions can serve as meanings that are structured. This enables better logical analysis of natural language than any usual intensional logic.
  • The topic of the article is Tichýs Five modes of Forming Constructions (from his monography Foundations of Freges logic) which define sc. constructions. I show and discuss how constructions are integrated in his transparent intensional logic intenzionální logice (TIL). Constructions are explications of Freges sense (Sinn) but for Tichý are meanings of language expressions. Constructions (as modified lambda terms) construct set-theoritical entities like extensions and intensions, however they themselves are not set-theoretical entities. This fixes the fact that for any set-theoretical mapping there is n different procedures which construct this mapping. So constructions can serve as meanings that are structured. This enables better logical analysis of natural language than any usual intensional logic. (en)
Title
  • Tichého Five modes of forming constructions (cs)
  • Tichý's Five modes of forming constructions
  • Tichý's Five modes of forming constructions (en)
skos:prefLabel
  • Tichého Five modes of forming constructions (cs)
  • Tichý's Five modes of forming constructions
  • Tichý's Five modes of forming constructions (en)
skos:notation
  • RIV/00216224:14210/00:00011279!RIV08-GA0-14210___
http://linked.open.../vavai/riv/strany
  • 75-81
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(GA401/97/0157)
http://linked.open...iv/cisloPeriodika
  • 1
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
  • 729333
http://linked.open...ai/riv/idVysledku
  • RIV/00216224:14210/00:00011279
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • constructions; procedures; meaning; sense; Tichý; logical analysis of natural language (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...odStatuVydavatele
  • CZ - Česká republika
http://linked.open...ontrolniKodProRIV
  • [FF3F06AF3CA2]
http://linked.open...i/riv/nazevZdroje
  • Sborník prací Filozofické fakulty brněnské univerzity
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...vavai/riv/projekt
http://linked.open...UplatneniVysledku
http://linked.open...v/svazekPeriodika
  • B 46
http://linked.open...iv/tvurceVysledku
  • Raclavský, Jiří
issn
  • 0231-7664
number of pages
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, 24 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software