Opendata, web and dolomites


Formal Truth in Epistemology

Total Cost €


EC-Contrib. €






Project "TREPISTEME" data sheet

The following table provides information about the project.


Organization address
postcode: BS8 1QU

contact info
title: n.a.
name: n.a.
surname: n.a.
function: n.a.
email: n.a.
telephone: n.a.
fax: n.a.

 Coordinator Country United Kingdom [UK]
 Project website
 Total cost 183˙454 €
 EC max contribution 183˙454 € (100%)
 Programme 1. H2020-EU.1.3.2. (Nurturing excellence by means of cross-border and cross-sector mobility)
 Code Call H2020-MSCA-IF-2015
 Funding Scheme MSCA-IF-EF-ST
 Starting year 2016
 Duration (year-month-day) from 2016-10-01   to  2018-09-30


Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    UNIVERSITY OF BRISTOL UK (BRISTOL) coordinator 183˙454.00


 Project objective

Understanding the notions of truth and knowledge has been at the root of the philosophical enterprise since the very beginning. It turns out that these notions are intimately related and that understanding truth requires understanding knowledge and vice versa. Constitutive questions concerning these notions, such as “Are there truths that cannot be known?” can only be understood, let alone answered, if we have a grasp of both notions. Epistemology, conceived as the study of human knowledge, should therefore simultaneously investigate the notion of truth. Surprisingly, very little research has been conducted from this perspective. Rather research on truth and research on knowledge has been mostly conducted independently. This project will approach the traditional epistemological question of the definition of knowledge from this integrated perspective, and attempt to bridge a gap between current research in epistemology and research on theories of truth. Formal tools and techniques have played an important role in the development of philosophy in the last century. More recently, there has been something like a renaissance of the use of formal methods in philosophy, and in particular in epistemology, with the rise of so-called formal epistemology. The project may be viewed as a contribution to this renaissance since it will make essential use of tools from philosophical and mathematical logic. The ultimate aim of the project is to provide a formal framework for truth and epistemic, or doxastic, notions such as knowledge and belief that is philosophically adequate from an epistemic and a truth theoretic point of view. A unifying framework for the notions of truth and knowledge will prove to be a powerful tool for philosophy, casting new light on several debates in epistemology. The project will therefore deepen and advance our understanding of two of the most central philosophical notions: truth and knowledge.


year authors and title journal last update
List of publications.
2018 Johannes Stern
Supervaluation-style Truth Without Supervaluations
published pages: , ISSN: 1573-0433, DOI:
Journal of Philosophical Logic 2019-05-28
2018 Johannes Stern
Penrose\'s New Argument and Paradox
published pages: , ISSN: , DOI:

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "TREPISTEME" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an  email ( and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "TREPISTEME" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.1.3.2.)

EPIC (2019)

Evolution of Planktonic Gastropod Calcification

Read More  

MIGPSC (2018)

Shaping the European Migration Policy: the role of the security industry

Read More  

NeoPur (2019)

New treatments and novel diagnostic tests for neonatal seizures based on purinergic signaling.

Read More