Most paradoxes of self-reference have a dual or ‘hypodox’. The Liar paradox (Lr = ‘Lr is false’) has the Truth-Teller (Tt = ‘Tt is true’). Russell’s paradox, which involves the set of sets that are not self-membered, has a dual involving the set of sets which are self-membered, etc. It is widely believed that these duals are not paradoxical or at least not as paradoxical as the paradoxes of which they are duals. In this paper, I argue that some paradox’s (...) duals or hypodoxes are as paradoxical as the paradoxes of which they are duals, and that they raise neglected and interestingly different problems. I first focus on Richard’s paradox (arguably the simplest case of a paradoxical dual), showing both that its dual is as paradoxical as Richard’s paradox itself, and that the classical, Richard-Poincaré solution to the latter does not generalize to the former in any obvious way. I then argue that my argument applies mutatis mutandis to other paradoxes of self-reference as well, the dual of the Liar (the Truth-Teller) proving paradoxical. (shrink)

In his new book, The Force of Law, Frederick Schauer maintains that law has no necessary properties, and that therefore jurisprudents should not assume that an inquiry into the nature of law has to be a search for such properties. I argue, however, that Schauer's attempt to show that legal anti-essentialism is a defensible position fails, because his one main argument is either irrelevant or else incomplete, depending on how one understands it, and because the other main argument is false.

Questions surrounding deep disagreement have gained significant attention in recent years. One of the central debates is metaphysical, focusing on the features that make a disagreement deep. Proposals for what makes disagreements deep include theories about hinge propositions and first epistemic principles. In this paper, I criticize this metaphysical discussion by arguing that it is methodologically flawed. Deep disagreement is a technical or semi-technical term, but the metaphysical discussion mistakenly treats it as a common-sense concept to be analyzed and captured (...) by our pre-theoretical intuitions. Since the literature on deep disagreement is subject to this fundamental confusion and deep disagreement is not a helpful umbrella term either, I propose eliminating the notion of deep disagreement from the philosophical discourse. Instead of analyzing the nature of deep disagreement, we should develop theories about different forms of disagreement, including disagreement about hinge propositions and disagreement about epistemic principles, and, in particular, a theory of rationally irresolvable disagreement. (shrink)

Formulations of Anselm’s ontological argument have been the subject of a number of recent studies. We examine these studies in light of Anselm’s text and (a) respond to criticisms that have surfaced in reaction to our earlier representations of the argument, (b) identify and defend a more refined representation of Anselm’s argument on the basis of new research, and (c) compare our representation of the argument, which analyzes that than which none greater can be conceived as a definite description, to (...) a representation that analyzes it as an arbitrary name. (shrink)

Meaningful work is an important ideal, but it seems hard to give an adequate account of meaningful work. In this article, I conduct a revisionary conceptual analysis of ‘meaningful work’, i.e. a conceptual analysis that aims at finding a better and more useful way to use this term. I argue for a distinction between cases where work itself is meaningful and cases where other sources of meaning are found at work. The term ‘meaningful work’ is most useful for the former (...) cases. I then argue for the reasons account of what makes work itself meaningful: work is meaningful if (and to the extent that) there are good reasons to do it. I compare this to established accounts of meaningful work, such as subjective meaningfulness, self-realization, alienation, the unity of conception and execution, autonomy, social contribution, and Veltman’s four-dimensional account. None of these capture the distinct concern that the concept ‘meaningful work’ should capture, or they do so less well than the reasons account. This also shows that work can be meaningful regardless of whether it is good in other respects, such as in inherent interest or opportunities for self-realization. (shrink)

Hájek (Erkenntnis 70(2):211–235, 2009) argues that probabilities cannot be the limits of relative frequencies in counterfactual infinite sequences. I argue for a different understanding of these limits, drawing on Norton’s (Philos Sci 79(2):207–232, 2012) distinction between approximations (inexact descriptions of a target) and idealizations (separate models that bear analogies to the target). Then, I adapt Hájek’s arguments to this new context. These arguments provide excellent reasons not to use hypothetical frequencies as idealizations, but no reason not to use them as (...) approximations. (shrink)

There are various background issues that need to be discussed whenever the topic of conversation turns to religion and atheism. In particular, there are questions about how these terms are to be used in the course of the conversation. While it is sometimes the case that all parties to a conversation about religion and atheism have agreed what they mean by ‘religion’ and ‘atheism’, it is often enough the case that such conversations go poorly because the parties mean different things (...) by ‘religion’ and ‘atheism’. In this paper, I discuss a range of questions about the meanings of ‘religion’ and ‘atheism’ that should be taken into account when we are asking global questions about ‘religion’ and ‘atheism’. (shrink)

This article proposes a new definition of information security, the ‘Appropriate Access’ definition. Apart from providing the basic criteria for a definition—correct demarcation and meaning concerning the state of security—it also aims at being a definition suitable for any information security perspective. As such, it bridges the conceptual divide between so-called ‘soft issues’ of information security and more technical issues. Because of this it is also suitable for various analytical purposes, such as analysing possible security breaches, or for studying conflicting (...) attitudes on security in an organization. The need for a new definition is demonstrated by pointing to a number of problems for the standard definition type of information security—the so-called CIA definition. Besides being too broad as well as too narrow, it cannot properly handle the soft issues of information security, nor recognize the contextual and normative nature of security. (shrink)

The main research methodology of the philosophy of language is conceptual investigation and its main task is to clarify or disambiguate concepts. Undoubtedly, this is a basic consensus in the circles of the philosophy of language. However, with the development of the discipline, people have realized that the research of the philosophy of language should not stop at conceptual clarification or disambiguation, but it should tinker with or replace concepts and when necessary, create new concepts. These are the new developments (...) in the philosophy of language. Central to these developments is the research of conceptual engineering. What exactly is conceptual engineering? What practical values does it have? Centering around these questions, this paper presents an exploration of conceptual engineering itself with a view of revealing its essence and analyzing its practical implications. The basic tasks of conceptual engineering include conceptual design, implementation and evaluation. The practical value of conceptual engineering is that it pushes conceptual clarification or disambiguation toward conceptual construction. (shrink)

My primary goal in this paper is to defend the plausibility of Kripke’s thesis that there are contingent a priori truths, and to fill out some gaps in Kripke’s own account of these truths. But the strategy here adopted is, to the best of my knowledge, still unexplored and different from the one adopted both by Kripke himself and by his critics. I first argue that Kripke’s examples of such truths can only be legitimate if seen as introduced by performative (...) utterances sense). And, if this is so, we can apply the machinery of illocutionary act theory to these utterances to explain how one can have a priori knowledge of some contingent facts generated by the utterances themselves. I shall argue that the overall strategy can fill out two gaps in Kripke’s original account: first, we can explain the nature of the truth-makers of contingent a priori truths sense, broadly conceived) and, second, we can explain how contingent a priori knowledge can be transmitted from one speaker to another. (shrink)

In “Ontological realism: Methodology or misdirection?” I offered a detailed critique of the position referred to as “realism” taken by Barry Smith and Werner Ceusters. This position is claimed to serve as the basis for a “realist methodology” that they seek to impose on the development of scientific ontologies, particularly within the biomedical sciences. Here, in part responding to a reply to those criticisms by Smith and Ceusters, I return the focus to an examination of fundamental incoherencies in this realist (...) approach and propose an alternative that is amenable to much of what Smith and Ceusters hope to accomplish. And I sketch what I believe is needed to advance ontology theory and practice in the sciences. (shrink)

Greimann-Dirk_A-typology-of-conceptual-explications.

Anselm of Canterbury’s so-called ontological proofs in the Proslogion have puzzled philosophers for centuries. The famous description “something / that than which nothing greater can be conceived” is part and parcel of his argument. Most commentators have interpreted this description as a definition of God. We argue that this view, which we refer to as “definitionism”, is a misrepresentation. In addition to textual evidence, the key point of our argument is that taking the putative definition as what Anselm intended it (...) to be – namely a description of a content of faith – allows getting a clear view of the discursive status and argumentative structure of Proslogion 2–4, as well as making sense of an often neglected part of the argument. (shrink)

Advances in machine learning and the development of very large knowledge graphs have accompanied a proliferation of ontologies of many types and for many purposes. These ontologies are commonly developed independently, and as a result, it can be difficult to communicate about and between them. To address this difficulty of communication, ontologies and the communities they serve must agree on how their respective terminologies and formalizations relate to each other. The process of coming into accord and agreement is called “harmonization.” (...) The Ontology Summit 2021 examined the overall landscape of ontologies, the many kinds of ontology generation and harmonization, as well as the sustainability of ontologies. The Communiqué synthesizes and summarizes the findings of the summit as well as earlier summits on related issues. One of the major impediments to harmonization is the relatively poor quality of natural language definitions in many ontologies. The summit surveyed the state of the art in natural language definition development, based on lexicographic principles, as well as examples of ongoing projects that are explicitly dealing with harmonization and sustainability. (shrink)

Explication usually plays the role of the method of language revision. The paper sticks to the Carnapian project of explication and develops some of the formal requirements imposed on the explicatum. However, it departs from Carnap’s view when it comes to how to construe the simplicity condition. It is suggested that in some cases the simplicity condition, which in the Carnapian project plays the derived role with respect to the other three conditions—the similarity, exactness, and fruitfulness conditions—may be substantive for (...) the overall evaluation of explications. Based on a case study of three different explications of the H-D concept of confirmation :391–437, 1991; Erkenntnis 41:183–188, 1994; Gemes in Philos Sci 60:477–487, 1993; Erkenntnis 49:1–20, 1998; Sprenger in Philos Compass 6:497–508, 2011), we show that there are cases where competing explicata of a common explicandum satisfy the first three conditions equally well. In those cases, then, the simplicity condition is supposed to make the difference. However, instead of using Carnap’s construal of simplicity, we suggest a Principle of instrumental simplicity according to which, ceteris paribus, the simpler the explicatum is, the more likely is its ‘survival’ in competition with other explicata. Moreover, it is suggested that whereas the similarity, exactness and fruitfulness conditions are, in some sense, formal criteria, the simplicity condition is rather tested empirically. (shrink)

Arguments from analogy are pervasive in everyday reasoning, mathematics, philosophy, and science. Informal logic studies everyday argumentation in ordinary language. A branch of fuzzy logic, approximate reasoning, seeks to model facets of everyday reasoning with vague concepts in ill-defined situations. Ways of combining the results from these fields will be suggested by introducing a new argumentation scheme—a fuzzy analogical argument from classification—with the associated critical questions. This will be motivated by a case study of analogical reasoning in the virtual friendship (...) debate within information ethics. The virtual friendship debate is a disagreement over whether virtual friendships are genuine friendships. It will be argued that the debate could move away from its current impasse, caused by unproductive metaphysical and logical assumptions, if extant arguments are reinterpreted as fuzzy analogical arguments from classification, and subjected to a new set of critical questions which would replace the quest for facts of essence about friendship with an emphasis on empirical data, persuasion, and definitional power. (shrink)