Davide Fassio

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.

Some philosophers have recently argued that whether a true belief amounts to knowledge in a specific circumstance depends on features of the subject’s practical situation that are unrelated to the truth of the subject’s belief, such as the costs for the subject of being wrong about whether the believed proposition is true. One of the best-known arguments used to support this view is that it best explains a number of paradigmatic cases, such as the well-known Bank Case, in which a difference in knowledge occurs in subjects differing exclusively with respect to their practical situation. I suggest an alternative explanation of such cases. My explanation has a disjunctive character: on the one hand, it accounts for cases in which the subject is aware of the costs of being wrong in a given situation in terms of the influence of psychological factors on her mechanisms of belief-formation and revision. On the other hand, it accounts for cases in which the subject is ignorant of the costs of being wrong in her situation by imposing a new condition on knowledge. This condition is that one knows that p only if one does not underestimate the importance of being right about whether p. I argue that my explanation has a number of advantages over other invariantist explanations: it accounts for all the relevant cases preserving the semantic significance of our ordinary intuitions, it is compatible with an intellectualist account of knowledge and it escapes several problems affecting competing views.

Deontic Doxastic Constitutivism is the view that beliefs are constitutively governed by deontic norms. This roughly means that a full account and understanding of the nature of these mental attitudes cannot be reached unless one appeals to some norm of this type. My aim in this article is to provide an objection to such a conception of the normativity of belief. I argue that if some deontic norm is constitutive of belief, then the addressees of such a norm are committed to a potentially infinite number of norms. Furthermore, if addressees are in the position to fulfill all such norms, they must also be able to hold a potentially infinite number of logically independent beliefs. Both these consequences are problematic if compared with limited human capacities to act and believe.

Nicholas Rescher, in The Limits of Science (1984), argued that: «perfected science is a mirage; complete knowledge a chimera». He reached the above conclusion from a logical argument known as Fitch’s Paradox of Knowability. The argument, starting from the assumption that every truth is knowable, proves that every truth is also actually known and, given that some true propositions are not actually known, it concludes, by modus tollens, that there are unknowable truths. Prima facie, this argument seems to seriously narrow our epistemic possibilities and to constitute a limit for knowledge (included scientific knowledge). Rescher’s above quoted conclusion follows the same sort of reasoning. Recently, Bernard Linsky exploited a possible way to block the argument employing a type-distinction of knowledge. If the Knowability paradox is blocked, then Rescher’s conclusion cannot be drawn. After an introduction to the paradox, we suggest, in our paper, a possible way of justifying a type-solution for it in the scientific field. A noteworthy point is that the effectiveness of this solution depends on the degree of reductionism adopted in science: the given solution is available only if we do not adopt a complete reductionism in science so that there is just one kind of scientific knowledge and, consequently, of scientific justification. Otherwise Rescher's argument still works.

ABSTRACT A belief is correct if and only if the believed proposition is true. Some philosophers argued that from this standard of correctness it is possible to derive the statement of a norm, a claim about what a subject ought to do. Many formulations of the standard in terms of an ‘ought’-claim have been suggested, but all resulted affected by some problem. My aim in this article is to suggest a new formulation of the standard in ‘ought’-terms based on an analysis of the relations occurring between the notions of correctness and ‘ought’. My suggested formulation is that, for any subject S and proposition p, according to the standard of correctness, given that S believes that p, it ought to be that p.

The Knowability Paradox is a logical argument that, starting from the plainly innocent assumption that every true proposition is knowable, reaches the strong conclusion that every true proposition is known; i.e. if there are unknown truths, there are unknowable truths. The paradox has been considered a problem for every theory assuming the Knowability Principle, according to which all truths are knowable and, in particular, for semantic anti-realist theories. A well known criticism to the Knowability Paradox is the so called restriction strategy. It bounds the scope of the universal quantification in (KP) to a set of formulas whose logical form avoids the paradoxical conclusion. Specifically, Tennant suggests to restrict the quantifier in (KP) to propositions whose knowledge is provably inconsistent. He calls them Anti-Cartesian propositions and distinguished them in three kinds. In this paper we will not be concerned with the soundness of the restriction proposal and the criticisms it has received. Rather, we are interested in analyzing the proposed distinction. We argue that Tennant’s distinction is problematic because it is not completely clear, it is not grounded on an adequate logical analysis, and it is incomplete. We suggest an alternative distinction, and we give some reasons for accepting it: it results logically grounded and more complete than Tennant’s one, inclusive of it and independent from non-epistemic notions.

The thesis includes six essays, each corresponding to a chapter, which have the target of widening the discussion on the limits of knowability through the consideration of some general problematics and the discussion of specific topics. The work is composed of two parts, each of three chapters. In the first part, the discussion is focused on a perspective proper of the philosophy of language. In particular, I consider the discussion on the limits of knowability from the point of view of the debate between semantic realism and antirealism. The second part of the thesis is focused on the discussion on the limits of knowability from a perspective more strictly epistemological and proper of the philosophy of science

Dispositionalist accounts of belief define beliefs in terms of specific sets of dispositions. In this article, I provide a blind-spot argument against these accounts. The core idea of the argument is that beliefs having the form [p and it is not manifestly believed that p] cannot be manifestly believed. This means that one cannot manifest such beliefs in one’s assertions, conscious thoughts, actions, behaviours, or any other type of activity. However, if beliefs are sets of dispositions, they must be manifestable in some way. Therefore, according to my argument, beliefs are not sets of dispositions. The argument is defended against some possible objections

A logical argument known as Fitch’s Paradox of Knowability, starting from the assumption that every truth is knowable, leads to the consequence that every truth is also actually known. Then, given the ordinary fact that some true propositions are not actually known, it concludes, by modus tollens, that there are unknowable truths. The main literature on the topic has been focusing on the threat the argument poses to the so called semantic anti-realist theories, which aim to epistemically characterize the notion of truth; according to those theories, every true proposition must be knowable. But the paradox seems to be a problem also for epistemology and philosophy of science: the conclusion of the paradox – the claim that there are unknowable truths – seems to seriously narrow our epistemic possibilities and to constitute a limit for knowledge. This fact contrasts with certain views in philosophy of science according to which every scientific truth is in principle knowable and, at least at an ideal level, a perfected, “all-embracing”, omniscient science is possible. The main strategies proposed in order to avoid the paradoxical conclusion, given their effectiveness, are able to address only semantic problems, not epistemological ones. However, recently Bernard Linsky (2008) proposed a solution to the paradox that seems to be effective also for the epistemological problems. In particular, he suggested a possible way to block the argument employing a type-distinction of knowledge. In the present paper, firstly, we introduce the paradox and the threat it represents for a certain views in epistemology and philosophy of science; secondly, we show Linsky’s solution; thirdly, we argue that this solution, in order to be effective, needs a certain kind of justification, and we suggest a way of justifying it in the scientific field; fourthly, we show that the effectiveness of our proposal depends on the degree of reductionism adopted in science: it is available only if we do not adopt a complete reductionism.