• česky
  • english
Přejít na obsah | Přejít na menu

Informační systém výzkumu, experimentálního vývoje a inovací
výzkum, vývoj a inovace podporované z veřejných prostředků ČR

    • Poskytovatelé podpory ve výzkumu, vývoji a inovacích (RPO)
    • Programy výzkumu, vývoje a inovací (RPG)
    • Subjekty ve výzkumu, vývoji a inovacích (RPR)
  • Veřejné soutěže ve výzkumu, vývoji a inovacích (VES)
  • Projekty výzkumu, vývoje a inovací (CEP)
  • Výzkumné záměry (CEZ)
  • Výsledky výzkumu, vývoje a inovací (RIV)

GAP401/10/1279 - Základy současné logické analýzy (2010-2012, GA0/GA)

Údaje o projektu
Identifikační kódGAP401/10/1279
Důvěrnost údajůS - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
Název v původním jazyceZáklady současné logické analýzy
PoskytovatelGA0 - Grantová agentura České republiky (GA ČR)
ProgramGA - Standardní projekty (1993-…)
Kategorie VaVZV - Základní výzkum
Hlavní oborAA - Filosofie a náboženství
Zahájení řešení1.1.2010
Ukončení řešení31.12.2012
Datum posledního uvolnění účelové podpory24.6.2011
Číslo smlouvyP401/10/1279
Poslední stav řešeníK - Končící víceletý projekt, tj. projekt, který byl řešen již v předcházejícím roce, příslušný rok sběru dat je posledním rokem účinnosti smlouvy resp. vykonatelnosti rozhodnutí o poskytnutí podpory
Finance projektu
Období201020112012celkem
Výše podpory ze státního rozpočtu588 tis. Kč588 tis. Kč588 tis. Kč1 764 tis. Kč
Celkové uznané náklady588 tis. Kč588 tis. Kč588 tis. Kč1 764 tis. Kč
Typskutečně čerpanéskutečně čerpanépřidělené
Druh soutěžeVS - Veřejná soutěž ve výzkumu a vývoji
Veřejná soutěž ve výzkumu, vývoji a inovacíchSGA02010GA-ST - Veřejná soutěž (GA0/GA)
Cíle řešení v původním jazyceBadatelská část projektu je zaměřena především na rozbor pojmově-metodologických základů moderních logických systémů a přezkoumání toho, jak přijímání odlišných východisek v rámci jednotlivých koncepcí logické analýzy ovlivňuje spektrum řešených problémů a limituje možnosti aplikace řešení, která jsou na nich založena. Systematický výzkum zaměřený na tyto otázky bude doplněn zkoumáním historických kořenů jednotlivých přístupů, zkoumáním normativních aspektů jazyka (jak jazyka přirozeného, tak umělých logických jazyků) a studiemi věnovanými řešení dílčích problémů logické analýzy. Vědecko organizační a publikační část projektu naváže na úspěšný projekt LOGICA zaměřený na dlouhodobou podporu začlenění domácího výzkumu v oblasti logiky do mezinárodní vědecké výměny a na stimulaci badatelského výzkumu v oblasti logiky v České republice.
Klíčová slova v anglickém jazycelogic; logical analysis; philosophical logic
Rok dodání údajů do CEP2012
Systémové označení dodávky datCEP12-GA0-GA-R/11:8
Datum dodání záznamu14.5.2013
Účastníci projektu
Počet příjemců1
Počet dalších účastníků projektu0
PříjemceFilosofický ústav AV ČR, v. v. i.
ŘešitelPhDr. Vladimír Svoboda, CSc. (státní příslušnost: CZ - Česká republika; tel.: 221 183 321)
Finance účastníků projektu
Poznámka: Finance účastníků projektu jsou sledovány od roku 2007
Výše podpory ze státního rozpočtu
Účastník201020112012
Filosofický ústav AV ČR, v. v. i.588 tis. Kč588 tis. Kč588 tis. Kč
Celkové uznané náklady
Účastník201020112012
Filosofický ústav AV ČR, v. v. i.588 tis. Kč588 tis. Kč588 tis. Kč
Výsledky projektu v RIV
Očekávané výsledky projektu
O - Ostatní výsledky nezařaditelné do žádného z výše uvedených druhů výsledku1
Počet výsledků v RIV10
Výsledek druhu DRIV/67985955:_____/11:00360069 - A Notion of Concept is either Superfluous or Procedural (2011)
Výsledek druhu MRIV/67985955:_____/11:00374796 - International Symposium LOGICA 2011 (2011)
Výsledek druhu DRIV/67985955:_____/11:00364687 - Logic as Based Incompability (2011)
Výsledek druhu ORIV/67985955:_____/11:00369523 - The Logica Yearbook 2010 (2011)
Výsledek druhu JRIV/67985955:_____/11:00363612 - Za etiku korektní (2011)
Výsledek druhu DRIV/67985955:_____/10:00350900 - Hare's Thesis and Philosophy of Logic(s) (2010)
Výsledek druhu DRIV/67985955:_____/10:00350960 - Inferentialism and Communication: Language and the Code Table Problem (2010)
Výsledek druhu MRIV/67985955:_____/10:00374797 - International Symposium LOGICA 2010 (2010)
Výsledek druhu JRIV/67985955:_____/10:00350926 - Logic and Natural selection (2010)
Výsledek druhu JRIV/67985955:_____/10:00347720 - Zamyšlení nad Fregovou definicí čísla (2010)
Tuto aplikaci pro Radu pro výzkum, vývoj a inovace provozuje Výpočetní a informační centrum Českého vysokého učení technického v Praze. Vyvíjí InfoScience Praha s.r.o.. Verze aplikace 1.6.15. Datové schéma ISVAV_WEB5_00306. Podpora uživatelů na e-mailové adrese podpora (zavináč) isvav (tečka) cz nebo telefonním čísle 224 234 797 (v pracovních dnech 8-16 hod.).