This HTML5 document contains 44 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n7http://localhost/temp/predkladatel/
n10http://linked.opendata.cz/resource/domain/vavai/projekt/
n6http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n11http://linked.opendata.cz/ontology/domain/vavai/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n16http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14210%2F00%3A00011279%21RIV08-GA0-14210___/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n14http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n15http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n8http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14210%2F00%3A00011279%21RIV08-GA0-14210___
rdf:type
n11:Vysledek skos:Concept
dcterms:description
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. 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í.
dcterms:title
Tichý's Five modes of forming constructions Tichý's Five modes of forming constructions Tichého Five modes of forming constructions
skos:prefLabel
Tichý's Five modes of forming constructions Tichý's Five modes of forming constructions Tichého Five modes of forming constructions
skos:notation
RIV/00216224:14210/00:00011279!RIV08-GA0-14210___
n3:strany
75-81
n3:aktivita
n15:P
n3:aktivity
P(GA401/97/0157)
n3:cisloPeriodika
1
n3:dodaniDat
n8:2008
n3:domaciTvurceVysledku
n6:9292837
n3:druhVysledku
n18:J
n3:duvernostUdaju
n4:S
n3:entitaPredkladatele
n16:predkladatel
n3:idSjednocenehoVysledku
729333
n3:idVysledku
RIV/00216224:14210/00:00011279
n3:jazykVysledku
n13:eng
n3:klicovaSlova
constructions; procedures; meaning; sense; Tichý; logical analysis of natural language
n3:klicoveSlovo
n14:sense n14:meaning n14:logical%20analysis%20of%20natural%20language n14:procedures n14:Tich%C3%BD n14:constructions
n3:kodStatuVydavatele
CZ - Česká republika
n3:kontrolniKodProRIV
[FF3F06AF3CA2]
n3:nazevZdroje
Sborník prací Filozofické fakulty brněnské univerzity
n3:obor
n17:AA
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:projekt
n10:GA401%2F97%2F0157
n3:rokUplatneniVysledku
n8:2000
n3:svazekPeriodika
B 46
n3:tvurceVysledku
Raclavský, Jiří
s:issn
0231-7664
s:numberOfPages
7
n7:organizacniJednotka
14210