About: Potřebnost konstrukcí pro logickou analýzu přirozeného jazyka

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Potřebnost konstrukcí pro logickou analýzu přirozeného jazyka 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)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	For controlling logical entailment and for adequate logical semantics of natural language not only intensional entities are needed. It is shown that in the case of analyses of propositional attitudes there are necesseary more fine-grained entities: hyperintensional entities. A suitable candidate for such kind of entites are (rather than Cresswells ordered tuples) Tichýs constructions (there are not constructions of intuicionists) as tehey are defined in his Transparent intensional logic. (en) Úkolem logiky je zkoumat podmínky vyplývání, zajistit korektnost úsudků. Již Frege, zakladatel moderní logiky, zjistil, že pro tento úkol je zapotřebí určitá analýza vět, které jsou premisami či závěrem. Jedním z cílů logiky je jednoduchost a přehlednost těchto analýz. Proto prostředky na zajištění vyplývání, totiž různé logické systémy, bývají formální, abstrahují od obsahové stránky, zobecňují nad konkrétní odlišnosti. V průběhu statě si ukážeme, že pro analýzu vět vcházejících v úsudky, klasifikují některé logické systémy příliš hrubě, neroztřídí věty podle všech relevantních odlišností, že jsou tedy potřeba systémy, které nám umožní jemnější analýzu. Hlavními důvody pro to, abychom přistoupili na pečlivější, a tedy méně jednoduchý, logický systém, jsou protipříklady, které poukazují, že ten či onen, případ úsudku nejde jednodušším systémem zanalyzovat, prokázat korektnost vyplývání. K tomuto slouží i to, co bychom mohli nazvat ryze filosofickými argumenty. Načrtneme si nyní jistý postup, který ved Úkolem logiky je zkoumat podmínky vyplývání, zajistit korektnost úsudků. Již Frege, zakladatel moderní logiky, zjistil, že pro tento úkol je zapotřebí určitá analýza vět, které jsou premisami či závěrem. Jedním z cílů logiky je jednoduchost a přehlednost těchto analýz. Proto prostředky na zajištění vyplývání, totiž různé logické systémy, bývají formální, abstrahují od obsahové stránky, zobecňují nad konkrétní odlišnosti. V průběhu statě si ukážeme, že pro analýzu vět vcházejících v úsudky, klasifikují některé logické systémy příliš hrubě, neroztřídí věty podle všech relevantních odlišností, že jsou tedy potřeba systémy, které nám umožní jemnější analýzu. Hlavními důvody pro to, abychom přistoupili na pečlivější, a tedy méně jednoduchý, logický systém, jsou protipříklady, které poukazují, že ten či onen, případ úsudku nejde jednodušším systémem zanalyzovat, prokázat korektnost vyplývání. K tomuto slouží i to, co bychom mohli nazvat ryze filosofickými argumenty. Načrtneme si nyní jistý postup, který ved (cs)
Title	Potřebnost konstrukcí pro logickou analýzu přirozeného jazyka Potřebnost konstrukcí pro logickou analýzu přirozeného jazyka (cs) The Need Of Constructions For The Logical Analysis Of Natural Language (en)
skos:prefLabel	Potřebnost konstrukcí pro logickou analýzu přirozeného jazyka Potřebnost konstrukcí pro logickou analýzu přirozeného jazyka (cs) The Need Of Constructions For The Logical Analysis Of Natural Language (en)
skos:notation	RIV/00216224:14210/00:00011275!RIV08-GA0-14210___
http://linked.open.../vavai/riv/strany	1-12
http://linked.open...avai/riv/aktivita	P
http://linked.open...avai/riv/aktivity	P(GA401/97/0157)
http://linked.open...iv/cisloPeriodika	1
http://linked.open...vai/riv/dodaniDat	2008
http://linked.open...aciTvurceVysledku	Raclavský, Jiří
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Masarykova univerzita / Filozofická fakulta
http://linked.open...dnocenehoVysledku	722383
http://linked.open...ai/riv/idVysledku	RIV/00216224:14210/00:00011275
http://linked.open...riv/jazykVysledku	cze - čeština
http://linked.open.../riv/klicovaSlova	logical analysis of natural language; propositional attitudes; procedures; constructions; meaning (en)
http://linked.open.../riv/klicoveSlovo	procedures logical analysis of natural language meaning constructions propositional attitudes
http://linked.open...odStatuVydavatele	CZ - Česká republika
http://linked.open...ontrolniKodProRIV	[E735BA28EFD9]
http://linked.open...i/riv/nazevZdroje	Pro-Fil
http://linked.open...in/vavai/riv/obor	AA
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...vavai/riv/projekt	A reconstruction of the philosophical logic
http://linked.open...UplatneniVysledku	2000
http://linked.open...v/svazekPeriodika	1
http://linked.open...iv/tvurceVysledku	Raclavský, Jiří
issn	1212-9097
number of pages	13 (xsd:int)
http://localhost/t...ganizacniJednotka	14210

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

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