Davide Fassio

The Knowability Paradox is a logical argument to the effect that, if there are truths not actually known, then there are unknowable truths. Recently, Alexander Paseau and Bernard Linsky have independently suggested a possible way to counter this argument by typing knowledge. In this article, we argue against their proposal that if one abstracts from other possible independent considerations supporting reasons for typing knowledge and considers the motivation for a type-theoretic approach with respect to the Knowability Paradox alone, there is no substantive philosophical motivation to type knowledge, except that of solving the paradox. Every attempt to independently justify the typing of knowledge is doomed to failure

A recent view in contemporary epistemology holds that practical reasoning is governed by an epistemic norm. Evidence for the existence of this norm is provided by the ways in which we assess our actions and reasoning on the basis of whether certain epistemic conditions are satisfied. Philosophers disagree on what this norm is—whether it is knowledge, justified belief or something else. Nobody however challenges the claim that practical reasoning is governed by such a norm. I argue that assuming the existence of an epistemic norm of practical reasoning is neither the only nor the best way to accommodate the available data. I introduce and defend an alternative account that avoids the assumption. According to this account, the relevant epistemic assessments of action and reasoning are instrumental assessments relative to the regulation conditions of a non-epistemic norm.

The overall objective of this dissertation is to provide an analysis of the standard of correctness of belief. According to this standard, a belief is correct if and only if the believed proposition is true. My analysis consists in the investigation of a set of aspects and properties of the correctness standard of belief. The main point argued in this dissertation is that the correctness standard of belief is a standard of conformity to the satisfaction conditions of a representational function constitutive of belief. Another relevant conclusionreached in my dissertation concerns the appropriate formulation of the standard in an ought-claim. I argued that the proper way of formulating the standard in an ought-claim is: "for any S, p: it ought to be the case that p, given that S believes that p"

In "The Limits of Science" N. Rescher introduces a logical argument known as the Knowability Paradox, according to which, if every true proposition is knowable, then every true proposition is known, i.e. if there are unknown truths, there are unknowable truths. Rescher argues that the Knowability Paradox, giving evidence to a limit of our knowledge (the existence of unknowable truths) could be used for arguing against perfected science. In this article we present two criticisms against Rescher's argument