In this paper I offer an account of the meaning of must and can within the framework of possible worlds semantics. The paper consists of two parts: the first argues for a relative concept of modality underlying modal words like must and can in natural language. I give preliminary definitions of the meaning of these words which are formulated in terms of logical consequence and compatibility, respectively. The second part discusses one kind of insufficiency in the meaning definitions given in (...) the first part, which arise from the ex falso quodlibet paradox of logical consequence. In stepwise fashion, I make an attempt to avoid most of the consequences of this paradox for the meaning definitions of must and can. (shrink)

By playing a crucial role in settling open issues in the philosophical debate about logical consequence, logical evidence has become the holy grail of inquirers investigating the domain of logic. However, despite its indispensable role in this endeavor, logical evidence has retained an aura of mystery. Indeed, there seems to be a great disharmony in conceiving the correct nature and scope of logical evidence among philosophers. In this paper, I examine four widespread conceptions of logical evidence to argue that all (...) should be reconsidered. First, I argue that logical apriorists are more tolerant of logical evidence than empiricists. Second, I argue that evidence for logic should not be read out of natural language. Third, I argue that if logical intuitions are to count as logical evidence, then their evidential content must not be propositional. Finally, I argue that the empiricist proposal of treating experts' judgments as evidence suffers from the same problems as the rationalist conception. (shrink)

Most philosophers have largely downplayed any relevance of multiple meanings of the folk concept of truth in the empirical domain. However, confusions about what truth is have surged in political and everyday discourse. In order to resolve these confusions, we argue that we need a more accurate picture of how the term ‘true’ is in fact used. Our experimental studies reveal that the use of ‘true’ shows substantial variance within the empirical domain, indicating that ‘true’ is ambiguous between a correspondence (...) and a coherence reading. We then explore the consequences of these results for the project of re-engineering truth. (shrink)

Incoherence arguments are intended to demonstrate that some philosophical position should be rejected because it is fatally flawed. I review the kinds of fatal flaws targeted in incoherence arguments, and argue that such arguments are not conclusive against the position they target, but merely pose challenges that require greater imagination. Furthermore, I claim that apparently incoherent positions have an instrumental value in expanding the intellectual resources of philosophy.

My concern in what follows is to give a comparative report on some important lectures held at the Hegel-Kongreß 1981 in Stuttgart. In discussing the views of Quine, Hacking, Davidson, Putnam and Habermas I want to confront them with some details of Rorty's recent critique of our philosophical tradition. At last I try to give a tentative answer whether there is an end or a turning-point for current analytical philosophy.

This case study applies ethics theories and codes to the mainstream news media's response to the CBS News-National Guard forged documents fiasco of 2004. It finds that 177 newspaper editorials applied truth telling, accountability, independence, and stewardship principles in their criticism of CBS, but only in a limited way. While the editorials dealt well with the specific issues of the case, they missed an opportunity to discuss the broader ethical principles involved.

Jennifer Lackey has recently presented a new and lucid analysis of the notion ofjustified group belief, i.e. a set of individually necessary and jointly sufficient conditions for a group to justifiedly believe some proposition. In this paper, however, I argue that theanalysansshe proposes is too narrow: one of the conditions she takes to be necessary for justified group belief is not necessary. To substantiate this claim, I present a potential counterexample to Lackey's analysis where a group knows and thus justifiedly (...) believes some proposition but there is no single group member who actually believes that proposition. I close by defending the example against the objection that the group in question does notknowbut is at mostin a positionto know the target proposition. (shrink)

Relative overlap measures of coherence have recently been shown to have two devastating properties: according to the plain relative overlap measure, the degree of coherence of any set of propositions cannot be increased by adding further propositions, and according to the refined relative overlap measure, no set can be more coherent than its most coherent two-element subset. This result has been taken to rule out relative overlap as a foundation for a probabilistic explication of coherence. The present paper shows that (...) this view is premature: we propose a relative overlap measure that does not fall victim to the two properties. The guiding idea is to employ a well-established recipe for the construction of coherence measures and to adapt it to the idea of relative overlap. We show that this new measure keeps up with, or even outperforms, former overlap measures in a set of desiderata for coherence measures and a collection of popular test cases. This result re-establishes relative overlap as a candidate for a proper formalization of coherence. (shrink)

This paper will argue that some notion of coherence and/or explanatory coherence is essential to understanding epistemic justification and to clarifying the rational support that our beliefs or commitments lend to each other, and that the requisite notion of coherence cannot be fully explicated on the basis of logic and/or epistemology. Two candidates for explicating coherence will be examined: narrative coherence and the sort of coherence that obtains when gestalt closure is achieved. The paper will attempt to determine under what (...) conditions acceptance that is determined or guided by these sorts of coherence can be construed as rational acceptance. (shrink)

For any normative domain, we can theorize about what is good in that domain. Such theories include utilitarianism, a view about what is good morally. But there are many domains other than the moral; these include the prudential, the aesthetic, and the intellectual or epistemic. In this last domain, it is good to be knowledgeable and bad to ignore evidence, quite apart from the morality, prudence, and aesthetics of these things. This dissertation builds a theory that stands to the epistemic (...) domain as utilitarianism stands to the moral domain. It builds an epistemic value theory. (shrink)

The more we rely on digital assistants, online search engines, and AI systems to revise our system of beliefs and increase our body of knowledge, the less we are able to resort to some independent criterion, unrelated to further digital tools, in order to asses the epistemic reliability of the outputs delivered by them. This raises some important questions to epistemology in general and pressing questions to applied to epistemology in particular. In this paper, we propose an experimental method for (...) the assessment of GPT-3’s capacity to generate consistent and coherent sets of outputs. When several outputs to one and the same input are very repetitive they tend to be consistent with each other, that is they do not contradict each other. But consistency does not make the set of outputs as a whole more informative than the outputs considered individually. We argue that the less informative a set of outputs is, the less coherent it is. We establish a conceptual distinction between consistency and coherence in the light of what some epistemologists refer to as a coherence theories of truth and justification. While much attention has been given to GPT-3’s capacity to produce internally coherent individual outputs, we argue, instead, that more attention should be given to its capacity to produce consistent and coherent outputs generated on a single-input-multiple-outputs basis. (shrink)

It is characteristic of realists to separate ontology from epistemology and of idealists to mix the two things up. By ‘idealists’ here I am mainly referring to the British neo-Hegelians but the charge of mixing up ontology and epistemology can be made against at least one ‘subjective idealist’, namely Bishop Berkeley, as his wellknown dictum ‘esse ispercipi’ testifies. The objective idealists rejected the correspondence theory of truth and on the whole accepted a coherence theory. The qualification is needed here because (...) H. H. Joachim, in The Nature of Truth, found the coherence theory unable to deal with the problem of error. (shrink)

The paper identifies two major strands of truth theories, ontological and epistemological ones, and argues that both are of equal primacy and find their home within two-dimensional semantics. Contrary to received views, it argues further that epistemological truth theories operate on Lewisian possible worlds and ontological truth theories on Wittgensteinian possible worlds and that both are mediated by the so-called epistemic-ontic map the further specification of which is of utmost philosophical importance.

It is a pleasure for me to give this opening address to the Royal Institute of Philosophy Conference on ‘Explanation’ for two reasons. The first is that it is succeeded by exciting symposia and other papers concerned with various special aspects of the topic of explanation. The second is that the conference is being held in my old alma mater, the University of Glasgow, where I did my first degree. Especially due to C. A. Campbell and George Brown there was (...) in the Logic Department a big emphasis on absolute idealism, especially F. H. Bradley. My inclinations were to oppose this line of thought and to espouse the empiricism and realism of Russell, Broad and the like. Empiricism was represented in the department by D. R. Cousin, a modest man who published relatively little, but who was of quite extraordinary philosophical acumen and lucidity, and by Miss M. J. Levett, whose translation of Plato's Theaetetus formed an important part of the philosophy syllabus. (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)

In the Tractatus, Wittgenstein maintains that “The world is all that is the case.” Some philosophers have seen an advantage in introducing into a formal language either a constant which will represent the world, or an operator, e.g., ‘Max’, such that indicates that p gives a complete description of the actual world, of the world at some instant of time, or of a possible world. Such propositions are called world propositions, possible world propositions, or maximal propositions. For us, a maximal (...) proposition is a possible world proposition; it gives a complete description of one way the world might be. A maximal proposition p is not logically false, and for any proposition q, either p entails q or p entails not-q. (shrink)