About: Foundations of logic in the light of new results of philosophy and science

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

About: Foundations of logic in the light of new results of philosophy and science 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=GA13-21076S
Description	The project concentrates on reconsidering the foundations of logic in the light of recent developments of both logic itself and the scientific disciplines dealing with language and reasoning. We will build on our previous research focused on the analysis of the fundamental concepts of logic and the nature of logical formalization; especially on our original explanation of logical theories as resulting from converging to a reflective equilibrium. We will also reflect on various recent attempts at reassessing traditional schisms, especially those between classical and non-classical logics, between logic and cognitive science, between model theory and proof theory, between informal and formal logic, and between mathematical and philosophical logic; and we will contribute to building bridges between logic and other scientific disciplines, especially psychology (but also evolution theory, sociology etc.). The research will be complemented by organization of annual international symposia. (en) Projekt se soustředí na prozkoumání základů logiky ve světle nedávného vývoje jak logiky samotné, tak vědeckých oborů, které se týkají jazyka a usuzování. Budeme stavět na našich předchozích výzkumech, které se soustředily na analýzu základních pojmů logiky a povahy logické formalizace; zvláště na našem původním výkladu logických teorií jakožto výsledku konvergování k reflektivnímu ekvilibriu. Zohledníme také různé nedávné pokusy o přehodnocování tradičních schizmat, zvláště těch mezi klasickou a neklasickými logikami, mezi logikou a kognitivní vědou, mezi teorií modelů a teorií důkazů, mezi neformální a formální logikou a mezi matematickou a filosofickou logikou; a také se pokusíme přispět k budování mostů mezi logikou a jinými vědeckými obory, zvláště psychologií (ale i evoluční teorií, sociologií atd.). Tento výzkum bude doplněn organizací výročních mezinárodních sympózií.
Title	Foundations of logic in the light of new results of philosophy and science (en) Základy logiky ve světle nových výsledků filosofie a vědy
skos:notation	GA13-21076S
http://linked.open...avai/cep/aktivita	Standard projects
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GA13-21076S/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GA13-21076S/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2015-04-23 (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	100769507
http://linked.open...ai/cep/hlavniObor	AA - Filosofie a náboženství
http://linked.open...vai/cep/kategorie	ZV - Základní výzkum
http://linked.open.../cep/klicovaSlova	logic, language, reasoning, logical analysis, logical formalization (en)
http://linked.open...ep/partnetrHlavni	Filosofický ústav AV ČR, v.v.i.
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	11 (xsd:int)
http://linked.open...enychVysledkuVRIV	11 (xsd:int)
http://linked.open...lneniVMinulemRoce	2014-03-31 (xsd:date)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/13-21076S
http://linked.open...iciPoslednihoRoku	2015
http://linked.open...atUdajeProjZameru	2015
http://linked.open.../vavai/cep/soutez	SGA0201300005
http://linked.open...usZobrazovaneFaze	DRRVB
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open...ep/ukonceniReseni	2016-12-31 (xsd:date)
http://linked.open...ep/zahajeniReseni	2013-02-01 (xsd:date)
http://linked.open...tniCyklusProjektu	ZBB
http://linked.open.../cep/klicoveSlovo	logic language logical analysis reasoning
is http://linked.open...vavai/riv/projekt of	Erotetic epistemic logic in private communication protocol Giving Expression to Rules : Grammar as an Activity in Later Wittgenstein Logic and the Pursuit of Meaning Logic and Reasoning International Symposium LOGICA 2013 International Symposium LOGICA 2014 Intensionalisation of Logical Operators Introduction to the Special Issue Epistemic Aspects of Many-Valued Logics Indicative and Subjunctive Conditionals. Epistemic vs. Ontic Approach Význam obecného výrazu ve Fregově pojetí Odkud se berou axiomy logiky?
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA13-21076S/2013/ico%3A67985955 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA13-21076S/2014/ico%3A67985955 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA13-21076S/2015/ico%3A67985955 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA13-21076S/2016/ico%3A67985955

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