About: Epistemic logics and reasoning about knowledge

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

About: Epistemic logics and reasoning about knowledge Goto Sponge NotDistinct Permalink

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

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=GA401/04/1199
Description	In the sixties of the last century the term epistemics logics has become used for formal investigations of epistemic concepts of knowledge and belief. In modern epistemology there is a tradition that a theory of knowledge is reconstructed as a. kind of modal logic. Epistemic logic is then understood as a formal modal logic with special epistemic axioms. Underlying modal logic is about both modalities of possibility and necessity that have been studied since ancient times. But interpretations vary. Thus, our main goal in this project is l. To study logical tools which were developed during main periods of epistemic research on the base of different philosophical principles; 2. To analyse new concepts that are necessary for understanding actual epistemic activities; 3. To find answers to controversial questions of unity and difference of knowledge items together with their formal logical structure. On the base of such a study we want to develop a systematic approach to logic of knowledge and (en) V šedesátých letech minulého století se termín epistemické logiky začal užívat pro výzkum epistemických pojmů znalosti a přesvědčení či domněnek. V moderní epistemologii je obvyklé, že teorie znalostí je rekostruována jako jistý druh modální logiky. Epistemická logika je pak chápána jako formální modální logika se speciálními epistemickými axiomy. Modální logika, která tvoří formální zázemí se týká jak modality možnosti, tak modality nutnosti, byla zkoumána už dávno. Avšak interpretace jsou různé. Proto naším hlavním cílem v navrhovaném projektuje l. Studovat logické prostředky, které byly vytvářeny v různých obdobích epistemických zkoumání na základě různých filozofických principů; 2. Analyzovat nové koncepty nezbytné pro porozumění aktuálním epistemickým aktivitám; 3. Nalézat odpovědi na kontroverzní otázky po jednotě a rozdílech ve znalostech a jejich logické struktuře. Na podkladě takových zkoumání chceme budovat systematický přístup k logice znalostí a k otázkám relevantním porozumění
Title	Epistemic logics and reasoning about knowledge (en) Epistemické logiky a usuzování o znalostech
skos:notation	GA401/04/1199
http://linked.open...avai/cep/aktivita	Standard projects
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GA401%2F04%2F1199/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GA401%2F04%2F1199/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2007-10-16 (xsd:date)
http://linked.open...i/cep/druhSouteze	VS - Veřejná soutěž ve výzkumu a vývoji
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	2318621
http://linked.open...ai/cep/hlavniObor	AA - Filosofie a náboženství
http://linked.open...hodnoceniProjektu	U - Uspěl podle zadání, tj. byly splněny cíle a jeho předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory
http://linked.open...vai/cep/kategorie	ZV - Základní výzkum
http://linked.open.../cep/klicovaSlova	Neuvedeno. (en)
http://linked.open...ep/partnetrHlavni	Filozofická fakulta
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	0 (xsd:int)
http://linked.open.../pocetVysledkuRIV	0 (xsd:int)
http://linked.open...enychVysledkuVRIV	0 (xsd:int)
http://linked.open...okUkonceniPodpory	2006
http://linked.open...okZahajeniPodpory	2004
http://linked.open...iciPoslednihoRoku	2006
http://linked.open...atUdajeProjZameru	2007
http://linked.open.../vavai/cep/soutez	SGA02004GA-ST
http://linked.open...usZobrazovaneFaze	DUU
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open.../cep/vedlejsiObor	AB - Dějiny
http://linked.open...jektu+dodavatelem	Various approaches to epistemic logics and knowledge based reasoning were examined. (en) Byly prozkoumány různé přístupy k epistemickým logikám z pohledu obecných znalostních přístupů. (cs)
http://linked.open...tniCyklusProjektu	ZBKU
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA401%2F04%2F1199/2007/orjk%3A11210 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA401%2F04%2F1199/2004/orjk%3A11210 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA401%2F04%2F1199/2005/orjk%3A11210 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA401%2F04%2F1199/2006/orjk%3A11210

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, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software