It is a fundamental intuition about truth that the conditions under which a sentence is true are given by what the sentence asserts. My aim in this paper is to show that this intuition captures the concept of truth completely and correctly. This is conceptual deflationism, for it does not go beyond what is asserted by a sentence in order to define the truth status of that sentence. This paper, hence, is a defense of deflationism as a conceptual account of (...) truth. This defense is developed in four stages. In the first stage I present a distinction between two types of deflationism, conceptual and metaphysical. This is the central stage of the argument and its main conclusion is that conceptual deflationism when joined with the principle of bivalence is inconsistent with metaphysical deflationism, that is, conceptual deflationism together with bivalence entails a non-deflationary metaphysical account of truth. In the second and third stages of the argument I argue that the totality of the Tarskian biconditionals, when interpreted as definitional biconditionals, offers a description of the nature of truth. In the fourth, and final, stage of the argument I advance a positive case for conceptual deflationism. I explain how the revision theory of truth provides this sort of deflationism with its best evidence: a clear demonstration of its consistency and a compelling argument for its material adequacy. (shrink)

Minimalists about truth contend that traditional inflationary theories systematically fail to explain certain facts about truth, and that this failure licenses a ‘reversal of explanatory direction’. Once reversed, they purport that their own minimal theory adequately explains all of the facts involving truth. But minimalists’ main objection to inflationism seems to misfire, and the subsequent reversal of explanatory direction, if it can be made sense of, leaves minimalism in no better explanatory position; and even if the objection were serviceable and (...) the reversal legitimate, minimalists’ adequacy thesis is still implausible. (shrink)

The meanings of utterances and thoughts are commonly regarded in philosophical semantics as abstract objects, called «propositions», which account for how different utterances and thoughts can be synonymous and which constitute the primary truth-bearers. I argue that meanings are instead natural properties that play causal roles in the world, that the kind of «One over Many» thinking underlying the characterization of shared meanings as abstract objects is misguided and that utterances and thoughts having truth-values in virtue of their meanings does (...) not entail that meanings themselves are truth-bearers. (shrink)

Accountants preparing information are in a position to manipulate the view of economic reality presented in such information to interested parties. These manipulations can be regarded as morally reprehensible because they are not fair to users, they involve in an unjust exercise of power, and they tend to weaken the authority of accounting regulators. This paper develops a model for detecting earnings manipulators using financial statements’ ratios in a sample of Spanish listed companies. Our results provide evidence that accounting data (...) can be extremely useful in detecting manipulators. This approach can be used by a large category of users of accounting information among which we can cite stock exchange supervisors or investing professionals. (shrink)

In “Knowing How”, Jason Stanley and Timothy Williamson (2001) propose an intellectualist account of knowledge-how, according to which all knowledge-how is a type of propositional knowledge about ways to act. In this article, I examine this intellectualist account by applying it to the epistemology of language. I argue that (a) Stanley and Williamson mischaracterize the concept of knowledge-how in the epistemology of language, and (b) intellectualism about knowledge of language fails in its explanatory task. One lesson that can be drawn (...) from this case study is that Stanley and Williamson's intellectualism is limited in its explanatory scope and power insofar as it cannot explain the knowledge of language, which is usually conceived as knowledge-how and as non-propositional in character. Their intellectualist claim that all knowledge-how is knowledge-that should be withdrawn. (shrink)

This paper aims to describe and examine Alfred Tarski's famous semantic conception of truth as well as some of the critiques presented against it. The first part of this paper is divided into five segments: criteria imposed upon every adequate definition of truth are discussed in the first segment; the second is dedicated to Tarski’s Convention T; distinction between object language and metalanguage, as well as Tarski’s attitude toward formalized and colloquial languages, is described in the third segment; fourth segment (...) is devoted to Tarski’s definition of truth using the notion of “satisfaction”; the last segment is the evaluation of Tarski’s solution of paradoxes. In the second part of this paper the selected objections against Tarski’s conception are presented with emphasis on their diversity. (shrink)

‘DU bist Radio’ (DBR) is an award winning [DBR has been awarded with the “Catholic Media Award of the German Bishops Conference, Prädikat WERTvoll” (2011), the Suisse “Media Prize Aargau/Solothurn” (2010), the German “Alternative Media Award” (2009) and was nominated for the “Prix Europa” (2009)] monthly radio format that goes on air on three Swiss radio stations. The purpose of this program which was first broadcast in 2009 is the development of a new media format which—without applying any journalistic (or (...) other) filter and influence—conveys authenticity of expression amongst society’s most vulnerable fellow citizens such as patients, clients and the socially deprived. So-called marginal groups are encouraged to speak for themselves, as a possible paradigm case for encouraging the inclusion of patients’ and relatives’ “unfiltered” voices in general and in clinical ethics as well. Before handing over the microphone to the groups in focus, a team of journalists, educated in medical ethics, over a period of 4 days, teaches them on-site radio skills and craft. Once this task is completed and the actual production of the broadcast begins, the media crew does not exert any influence whatsoever on the content of the 1-h program. Thus, the final product is solely created and accounted for by the media-inexperienced participants, leading to unforeseen and often surprising results. It is discussed that the DBR approach of fostering authenticity of expression can serve as an enhancement to today’s respect and autonomy oriented field of medical ethics. (shrink)

Learning about feminism can be a revelation for many students. However, for others, it can be a confounding, troubling experience. These difficulties return as problems for the teacher: how to help...

In a recent article, David distinguishes between two interpretations of Tarski’s work on truth. The standard interpretation has it that Tarski gave us a definition of truth in-L within the meta-language; the non-standard interpretation, that Tarski did not give us a definition of true sentence in L, but rather a definition of truth, and Tarski does so for L within the metalanguage. The difference is crucial: for on the standard view, there are different concepts of truth, while in the alternative (...) interpretation there is just one concept. In this paper we will have a brief look at the distinction between these two interpretations and at the arguments David gives for each view. We will evaluate one of David’s arguments for the alternative view by looking at Tarski’s ‘On the concept of truth in formalized languages’, and his use of the term ‘extension’ therein, which, we shall find, yields no conclusive evidence for either position. Then we will look at how Tarski treats ‘satisfaction’, an essential concept for his definition of ‘true sentence’. It will be argued that, in light of how Tarski talks about ‘satisfaction’ in Sect. 4 of ‘CTF’ and his claims in the Postscript, the alternative view is more likely than the standard one. (shrink)

A central problem for any truthmaker theory is the problem of negative truths. In this paper, I develop a novel, piecemeal strategy for solving this problem. The strategy puts central focus on a truth-relevant notion of aboutness within a metaphysically modest version of truthmaker theory and uses key conceptual tools gained by taking a deeper look at the best attempts to solve the problem of intentionality. I begin this task by critically discussing past proposed solutions to P-NEG in light of (...) Russell’s debate with Demos. This reveals a central difficulty with addressing the problem, specifically that one cannot be committed to incompatibility facts in one’s account of negation and of the truth of negative truths. I then present an aboutness-based version of truthmaker theory. Utilising what I call the strict and full account of aboutness, I extract aboutness-based theories of truth and falsity. I use this machinery to present a promising new strategy for solving P-NEG which does not have the problems of alternative approaches. Finally, I present and respond to some potential objections. (shrink)

Anaphoric deflationism is a kind of prosententialist account of the use of “true.” It holds that “true” is an expressive operator and not a predicate. In particular, “is true” is explained as a “prosentence.” Prosentences are, for sentences, the equivalent of what pronouns are for nouns: As pronouns refer to previously introduced nouns, so prosentences like “that’s true” inherit their semantic content from previously introduced sentences. So, if Jim says, “The candidate is going to win the election,” and Bill replies (...) “that’s true,” the real meaning of Bill’s statement is “It is true that the candidate is going to win the election.” This kind of prosententialist deflationism around the use of “true,” especially in Robert Brandom’s version, is an explanation given in terms of anaphora. The prosentence is an anaphoric dependent of the sentence providing its content. Båve (Philosophical Studies, 145, 297-310. 2009) argued that the anaphoric account is not as general as prosententialists claim, and that the analogy between prosentences and pronouns is explanatorily idle because it does not do any real explanatory work. The two criticisms are connected: The lack of unity within the anaphoric theory can be used to show its poor explanatory value. The plurality of uses of “is true” exceeds the anaphoric account indeed. Therefore, prosententialism is just a superficial re-description and the real work is done by means of more general semantic terms, namely “semantic equivalence and consequence” between “p” and ““p” is true.” I analyze Båve’s arguments and highlight that he fails to acknowledge the importance of a pragmatic and expressive dimension explained by the anaphoric account, a dimension that semantic “equivalence” and “consequence” are not capable of explaining. I then show that the anaphoric account can actually explain semantic equivalence and consequence, and this is crucial because equivalence and consequence do not explain anaphoric dependence. This reverses the allegation of generality: The anaphoric account is more general. Again, the cases typically used to defend prosententialism, if correctly described, show a unitary structure: They are all versions of lazy anaphoric dependence. Therefore, the unifying principle performing the explanation here is lazy anaphora. (shrink)

Section 1 discerns ambiguity in the word “truth”, observing that the term is used most naturally in reference to truth-bearers rather than truth-makers. Focusing on truths-as-truth-bearers, then, it would appear that alethic realism conflicts with metaphysical realism as naturalistically construed. Section 2 discerns ambiguity in the purporting of truth (as in assertion), conjecturing that all expressions, not just those found in traditionally recognized opaque contexts, can be read intensionally (as well, perhaps, as extensionally). For instance, we would not generally want (...) to say that “The Matterhorn is 4,500 m high” expresses the same truth as “The Matterhorn is 14763.7795276 feet high” (or that it is true in the same range of utterance contexts), even though the two are extensionally equivalent. The reason is that they express different intensions. (shrink)

Ludwig Boltzmann is one of the foremost responsible for the development of modern atomism in thermodynamics. His proposition was revolutionary not only because it brought a new vision for Thermodynamics, merging a statistical approach with Newtonian physics, but also because he produced an entirely new perspective on the way of thinking about and describing physical phenomena. Boltzmann dared to flirt with constructivism and realism simultaneously, by hypothesizing the reality of atoms and claiming an inherent probabilistic nature related to many particles (...) systems. Boltzmann faced criticism from the positivists, who rejected the hypothesis of the atom as a matter of principle, and also from physicists, who rejected the idea of a classical bounded system that does not follow deterministic mechanical laws. We consider that Boltzmann thermodynamics has emerged as a systemic theory that deals with macroscopic bodies using collective variables; it was reformulated to a kinetic theory of gases, and subsequently to statistical mechanics. From the theoretical physical point of view, Boltzmann advocates an approach to thermodynamics based on mechanics and was one of the founders of statistical mechanics, together with ideas by Maxwell, Clausius and Gibbs. Subsequently, statistical mechanics has also influenced the development of quantum mechanics and information theory. Using an evolutionary epistemological perspective as a metaphor to describe the physical entities claimed in Boltzmann propositions, we interpret his work as a selected theory that gained attributes of reality and “survived” during a scientific-contextual competition to be more adapted, in the sense that it was able to better explain physical phenomena, and also generated “descendants”. (shrink)

Philip Kitcher has advanced an epistemology of science that purports to be naturalistic. For Kitcher, this entails that his epistemology of science must explain the correctness of belief-regulating norms while endorsing a realist notion of truth. This paper concerns whether or not Kitcher's epistemology of science is naturalistic on these terms. I find that it is not but that by supplementing the account we can secure its naturalistic standing.

This article combines findings from cognitive psychology on the role of processing fluency in truth judgments with epistemological theory on justification of belief. We first review evidence that repeated exposure to a statement increases the subjective ease with which that statement is processed. This increased processing fluency, in turn, increases the probability that the statement is judged to be true. The basic question discussed here is whether the use of processing fluency as a cue to truth is epistemically justified. In (...) the present analysis, based on Bayes’ Theorem, we adopt the reliable-process account of justification presented by Goldman (1986) and show that fluency is a reliable cue to truth, under the assumption that the majority of statements one has been exposed to are true. In the final section, we broaden the scope of this analysis and discuss how processing fluency as a potentially universal cue to judged truth may contribute to cultural differences in commonsense beliefs. (shrink)

In a previous article appearing in _Philosophia, I claimed that metaphysical relativism (the world does not come presorted but rather symbol users impose taxonomies on it) does not entail truth relativism (statements are true only relative to a framework). Michael Lynch has said that the _argument I gave for this claim is defective. My argument uses the premise that truth relativism is inconsistent with the deflationary theory of truth. Lynch argues that this premise is false. However, I show that Lynch's (...) argument misconstrues the deflationary theory. As a result, my premise remains unrefuted. (shrink)

Tato stať je zamýšlena jako úvod do spojité problematiky explikace pravdivosti a sémantic-kých paradoxů, které onu explikaci pronásledují. Tyto paradoxy jsou viděny jako prostředek ukázání, že nedostatečně promyšlená explikace našeho pojmu pravdivosti (významu pravdi-vostního predikátu) je explikací nevyhovující. Poté jsou předvedeny rysy obou klasických přístupů, Russellovy teorie typů a Tarského hierarchie metajazyků. Nakonec jsou podány zá-kladní ideje hlavních názorových škol, které přišly poté.

Hilary Putnam's famous arguments criticizing Tarski's theory of truth are evaluated. It is argued that they do not succeed to undermine Tarski's approach. One of the arguments is based on the problematic idea of a false instance of T-schema. The other ignores various issues essential for Tarski's setting such as language-relativity of truth definition.

I argue that there is nothing about truth as such that prevents contradictions from being true. I argue this by considering the main standard accounts of truth, and showing that they are quite compatible with the existence of true contradictions. Indeed, in many cases, they are actually friendly to the idea.

I argue that there is nothing about truth as such that prevents contradictions from being true. I argue this by considering the main standard accounts of truth, and showing that they are quite compatible with the existence of true contradictions. Indeed, in many cases, they are actually friendly to the idea.

The aim of this paper is to look at what a parallel deflationist program might be in the theory of knowledge and examine its prospect. In what follows I will simplify matters slightly by focussing on empirical knowledge rather than knowledge in general, though most of what I have to say ought to be applicable, mutatis mutandis, to knowledge in general. Moreover,note that it is not my aim to offer a full defense of a particular deflationist theory of knowledge, which (...) would go well beyond the scope of this paper, but only to defend the utility of taking the deflationist program as regards the theory of knowledge seriously by showing that there is a plausible deflationist position available that is worthy of further scrutiny. (shrink)

The starting point of this paper is the idea that linguistic representation is the result of a global process: a process of interaction of a community of cognitive-linguistic agents, with one another and with the environment. I maintain that the study of truth, meaning and related notions should be addressed without losing perspective of this process, and I oppose the ‘static’ or ‘analytic’ approach, which is fundamentally based on our own knowledge of the conventional meaning of words and sentences, and (...) the ability of using them that we have as competent speakers. I argue that the analytic perspective is responsible for five recurring difficulties in truthmaker theory: (1) the lack of attention to the difference of explanatory role between the distinct notions proposed as primary truthbearer; (2) the adscription of purely extra-linguistic truthmakers to ‘synthetic truths’, ignoring the contribution of the linguistic factor; (3) the adscription of purely linguistic truthmakers to ‘logical’ and ‘analytic truths’, ignoring the contribution of the worldly factor; (4) the difficulties in the search for minimal truthmakers; (5) the problems in the treatment of ‘negative facts’ and of other ‘logically complex facts’. I do not provide an account of how to solve these difficulties, but I do show how the ‘process model’ helps to clear up confusion regarding them. (shrink)

We (relatively few) Western analytic philosophers who also work on classical Indian philosophy commonly encounter puzzlement or suspicion from our colleagues in Western philosophy because of our Indian interests. The ubiquity of these attitudes is itself revealing of Western conceptions of Indian philosophy, though their origins lie in cultural history often unknown to those who hold them. In the first part of this paper I relate a small but significant slice of that history before going on to distinguish and illustrate (...) three different Western conceptions of Indian philosophy associated with three different approaches to India: the magisterial, the exoticist and the curatorial. I argue that none of these three approaches gives us an adequate conception of Indian philosophy: the magisterial approach is overly dismissive, the exoticist approach misrepresents the analytical achievements of Indian philosophy, and the curatorial approach fails to take seriously Indian philosophy's concern with truth. I advocate instead a different Western approach to Indian philosophy, an approach suggested by the Indian philosophers' own discussions of the problem of truth. (shrink)

Philosophers such as Goodman, Scheffler and Glymour aim to answer the Paradox of the Ravens by distinguishing between confirmation simpliciter and selective confirmation. In the latter concept, the evidence both supports a hypothesis and undermines one of its "rivals". In this article, I argue that while selective confirmation does seem to be an important scientific notion, no attempt to formalise it thus far has managed to solve the Paradox of the Ravens.

This paper offers a discussion of metaphysical pluralism, alethic pluralism, and logical pluralism. According to the metaphysical pluralist, there are several ways of being. According to the alethic pluralist, there are several ways of being true, and according to the logical pluralist, there are several ways of being valid. Each of these three forms of pluralism will be considered on its own, but the ambition of the paper is to explore possible connections between them. My primary objective is to present (...) and develop a positive account according to which the different forms of pluralism are intimately related. I will proceed in two steps. First, I will investigate the connection between alethic pluralism and logical pluralism. I will argue that a certain version of alethic pluralism supports logical pluralism. Second, I will connect alethic pluralism and logical pluralism to metaphysical pluralism. I will suggest that the former two are at least partly founded on the latter. (shrink)

Artificial intelligence receives attention in media as well as in academe and business. In media coverage and reporting, AI is predominantly described in contrasted terms, either as the ultimate solution to all human problems or the ultimate threat to all human existence. In academe, the focus of computer scientists is on developing systems that function, whereas philosophy scholars theorize about the implications of this functionality for human life. In the interface between technology and philosophy there is, however, one imperative aspect (...) of AI yet to be articulated: how do intelligent systems make inferences? We use the overarching concept “Artificial Intelligent Behaviour” which would include both cognition/processing and judgment/behaviour. We argue that due to the complexity and opacity of artificial inference, one needs to initiate systematic empirical studies of artificial intelligent behavior similar to what has previously been done to study human cognition, judgment and decision making. This will provide valid knowledge, outside of what current computer science methods can offer, about the judgments and decisions made by intelligent systems. Moreover, outside academe—in the public as well as the private sector—expertise in epistemology, critical thinking and reasoning are crucial to ensure human oversight of the artificial intelligent judgments and decisions that are made, because only competent human insight into AI-inference processes will ensure accountability. Such insights require systematic studies of AI-behaviour founded on the natural sciences and philosophy, as well as the employment of methodologies from the cognitive and behavioral sciences. (shrink)

It is often thought that instances of the T-schema such as snow is white is true if and only if snow is white state correspondences between sentences andthe world, and that therefore such sentences play a crucial role in correspondence theories oftruth. I argue that this assumption trivializes the correspondence theory: even a disquotationaltheory of truth would be a correspondence theory on this conception. This discussionallows one to get clearer about what a correspondence theory does claim, and toward the end (...) of thepaper I discuss what a true correspondence theory of truth would involve. (shrink)

Davidson’s 1974 argument denying the possibility of incommensurable conceptual schemes is widely interpreted as entailing a denial of metaphysical pluralism. Speakers may group objects differently or have different beliefs about the world, but there is just one world. I argue there is tension arising from three aspects of Davidson’s philosophy: the 1974 argument against conceptual schemes; Davidson’s more recent emphasis on primitive triangulation as a necessary condition for thought and language; and Davidson’s semantic approach to metaphysics, what he calls ‘the (...) method of truth in metaphysics’. After elucidating the tension, I argue the tension can be resolved while preserving at least two major tenets of Davidson’s philosophy: conceptual schemes do not carve an uninterpreted reality into different worlds and truth is objective and non-epistemic. I argue Davidson is implicitly committed to a plurality of worlds. (shrink)

The concern of this paper is not with the truth of any particular realist or anti-realist view, but rather with determining what it is to be a realist or anti-realist in the first place. While much skepticism has been voiced in recent years about the viability of such a project, my goal is to articulate interesting and informative conditions whereby any view in any domain of experience can count as either a realist or an anti-realist position.

The correspondence theory of truth is often thought to be supported by the intuition that if a proposition (sentence, belief) is true, then something makes it true. I argue that this appearance is illusory and is sustained only by a conflation of two distinct notions of truthmaking, existential and non-existential. Once the conflation is exposed, I maintain, deflationism is seen to be adequate for accommodating truthmaking intuitions.

The question of whether the idealized models of theoretical economics are explanatory has been the subject of intense philosophical debate. It is sometimes presupposed that either a model provides the actual explanation or it does not provide an explanation at all. Yet, two sets of issues are relevant to the evaluation of model-based explanation: what conditions should a model satisfy in order to count as explanatory and does the model satisfy those conditions. My aim in this paper is to unpack (...) this distinction and show that separating the first set of issues from the second is crucial to an accurate diagnosis of the distinctive challenges that economic models pose. Along the way I sketch a view of model-based explanation in economics that focuses on the role that non-empirical and empirical strategies play in increasing confidence in the adequacy of a given model-based explanation. (shrink)

According to Fogelin’s account of deep disagreements, disputes caused by a clash in framework propositions are necessarily rationally irresolvable. Fogelin’s thesis is a claim about real-life, and not purely hypothetical, arguments: there are such disagreements, and they are incapable of rational resolution. Surprisingly then, few attempts have been made to find such disputes in order to test Fogelin’s thesis. This paper aims to rectify that failure. Firstly, it clarifies Fogelin’s concept of deep disagreement and shows there are several different breeds (...) of such disagreements. Thus, to fully assess Fogelin’s thesis, it will be necessary to seek out cases of each breed to evaluate their rational irresolvability. Secondly, it begins this task by looking at a significant debate within the logical literature over the truth of contradictions. We demonstrate that, while the debate exemplifies a breed of deep disagreement, the parties involved can supply one another with rationally compelling reasons. (shrink)

The Problem of Doxastic Shift may be stated as a dilemma: on the one hand, the distribution of nominal complements of the form `the ψ that p’ strongly suggests that `that’-clauses cannot be univocally assigned propositionaldenotations; on the other hand, facts about quantification strongly suggest that `that’-clauses must be assigned univocal denotations. I argue that the Problem may be solved by defining the extension of a proposition to be a set of facts or, more generally, conditions. Given this, the logical (...) operation of descriptive predication can be introduced in a way that resolves the dilemma withoutsacrificing the singular term analysis of `that’-clauses. (shrink)

Given the plethora of competing logical theories of validity available, it’s understandable that there has been a marked increase in interest in logical epistemology within the literature. If we are to choose between these logical theories, we require a good understanding of the suitable criteria we ought to judge according to. However, so far there’s been a lack of appreciation of how logical practice could support an epistemology of logic. This paper aims to correct that error, by arguing for a (...) practice-based approach to logical epistemology. By looking at the types of evidence logicians actually appeal to in attempting to support their theories, we can provide a more detailed and realistic picture of logical epistemology. To demonstrate the fruitfulness of a practice-based approach, we look to a particular case of logical argumentation—the dialetheist’s arguments based upon the self-referential paradoxes—and show that the evidence appealed to support a particular theory of logical epistemology, logical abductivism. (shrink)

A common strategy amongst realists grants relativism at the level of language or thought but denies it at the level of fact. Their point is that even if our concept of an object is relative to a conceptual scheme, it doesn't follow that objects themselves are relative to conceptual schemes. This is a sensible point. But in this paper I present a simple argument for the conclusion that it is false. According to what I call the T-argument, relativism about content (...) entails a relativism about fact. (shrink)

The philosophy of information (PI) is a new area of research with its own field of investigation and methodology. This article, based on the Herbert A. Simon Lecture of Computing and Philosophy I gave at Carnegie Mellon University in 2001, analyses the eighteen principal open problems in PI. Section 1 introduces the analysis by outlining Herbert Simon's approach to PI. Section 2 discusses some methodological considerations about what counts as a good philosophical problem. The discussion centers on Hilbert's famous analysis (...) of the central problems in mathematics. The rest of the article is devoted to the eighteen problems. These are organized into five sections: problems in the analysis of the concept of information, in semantics, in the study of intelligence, in the relation between information and nature, and in the investigation of values. (shrink)

This paper aims to renew the “deflationary” interpretation of Ramsey’s theory of truth, with respect to his declared “pragmatist tendency,” which was not completely developed due to his premature death. This aim is not only historical-philosophical, but also exquisitely theoretical, since the mediation of pragmatism allowed Ramsey to achieve an original synthesis among different philosophical instances. In order to show this, I pay attention to the debate between Ramsey and some spokespeople of the leading British philosophical traditions at the beginning (...) of the twentieth century (especially Neo-idealism, Neo-empiricism, and Oxford Realism), through which it will stand out how Ramsey’s logical analysis of the truth predicate was embedded within a wider theoretical context, involving a pragmatic theory of knowledge and even a “general psychological theory.” Indeed, the truth of a belief will be defined in relation to mental factors, in so far as they involve a successful disposition to behave. (shrink)

A situated agent is one which operates within an environment. In most cases, the environment in which the agent exists will be more complex than the agent itself. This means that an agent, human or artificial, which wishes to carry out non-trivial operations in its environment must use techniques which allow an unbounded world to be represented within a cognitively bounded agent. We present a brief description of some important theories within the fields of epistemology and metaphysics. We then discuss (...) ways in which philosophical problems of scepticism are related to the problems faced by knowledge representation. We suggest that some of the methods that philosophers have developed to address the problems of epistemology may be relevant to the problems of representing knowledge within artificial agents. (shrink)

Surprisingly, modified versions of the confirmation theory (Carnap and Hempel) and truth approximation theory (Popper) turn out to be smoothly sythesizable. The glue between the two appears to be the instrumentalist methodology, rather than that of the falsificationalist. The instrumentalist methodology, used in the separate, comparative evaluation of theories in terms of their successes and problems (hence, even if already falsified), provides in theory and practice the straight road to short-term empirical progress in science ( à la Laudan). It is (...) also argued that such progress is also functional for all kinds of truth approximation: observational, referential, and theoretical. This sheds new light on the long-term dynamics of science and hence on the relation between the main epistemological positions, viz., instrumentalism (Toulmin, Laudan), constructive empiricism (Van Fraassen), referential realism (Hacking, Cartwright), and theory realism of a non-essentialist nature (constructive realism à la Popper). Readership: Open minded philosophers and scientists. The book explains and justifies the scientist's intuition that the debate among philosophers about instrumentalism and realism has almost no practical consequences. (shrink)