John MacFarlane defends a radical form of truth relativism that makes the truth of assertions relative not only to contexts of utterance but also to contexts of assessment, or perspectives. Making sense of assessment-sensitive truth is a matter of making sense of the normative commitments undertaken by speakers in using assessment sensitive sentences. This paper argues against the possibility of making sense of such a practice. Evans raised a challenge to the coherence of relative truth. A modification of the challenge (...) can be given against MacFarlane’s revised views on assertion. The main objection to the relativist is that rational and earnest speakers are not bound by assessment-relative standards of correctness. (shrink)

In this paper, I assess critically the recent debate on corrective duties across moral and legal philosophy. Two prominent positions have emerged: the Kantian rights-based view (holding that what triggers corrections is a failure to respect others' right to freedom) and the so-called continuity view (correcting means attempting to do what one was supposed to do before). Neither position, I try to show, offers a satisfactory explanation of the ground (why correct?) and content (how to correct?) of corrective duties. In (...) the final section, I suggest that it is probably better to restrict the label “corrective duties” to duties generated by interpersonal wronging. (shrink)

In this paper, I ask how – and whether – the rectification of injury at which corrective justice aims is possible, and by whom it must be performed. I split the injury up into components of harm and wrong, and consider their rectification separately. First, I show that pecuniary compensation for the harm is practically plausible, because money acts as a mediator between the damaged interest and other interests. I then argue that this is also a morally plausible approach, because (...) it does not claim too much for compensation: neither can all harms be compensated, nor can it be said when compensation is paid that the status quo ante has been restored. I argue that there is no conceptual reason for any particular agent paying this compensation. I then turn to the wrong, and reject three proposed methods of rectification. The first aims to rectify the wrong by rectifying the harm; the second deploys punitive damages; the third, punishment. After undermining each proposal, I argue that the wrong can only be rectified by a full apology, which I disaggregate into the admission of causal and moral responsibility, repudiation of the act, reform, and, in some cases, disgorgement and reparations, which I define as a good faith effort to share the burden of the victim’s harm. I argue, further, that only the injurer herself can make a full apology, and it is not something that can be coerced by other members of society. As such, whether rectification of the wrong can be a matter of corrective justice is left an open question. (shrink)

This paper develops Richard Wollheim’s claim that the proper appreciation of a picture involves not only enjoying a seeing-in experience but also abiding by a standard of correctness. While scholars have so far focused on what fixes the standard, thereby discussing the alternative between intentions and causal mechanisms, the paper focuses on what the standard does, that is, establishing which kinds, individuals, features and standpoints are relevant to the understanding of pictures. It is argued that, while standards concerning kinds, (...) individuals and features can be relevant also to ordinary perception, standards concerning standpoints are specific to pictorial experience. Drawing on all this, the paper proposes an ontology of depiction according to which a picture is constituted by both its visual appearance and its standard of correctness. (shrink)

The study aimed to identify the relationship between correcting the deviations in the measurement of performance and achieving the objectives of control and the performance of the job at the Islamic University in the Gaza Strip. To achieve the objectives of the research, the researchers used the descriptive analytical approach to collect information. The questionnaire consisted of (20) statements distributed to three categories of employees of the Islamic University (senior management, faculty members, their assistants and members of the administrative board). (...) A random sample of 314 employees was selected and 276 responses were retrieved with a recovery rate of 88.1%. The Statistical Analysis Program (SPSS) was used to enter, process, and analyze the data. The results of the study showed a positive relationship between correcting deviations in performance measurement and achieving the control objectives represented by the functional performance in the Islamic University from the point of view of the members (senior management, faculty and their assistants, and the administrative board), where the relative weight of all the paragraphs was (74.25%). The study recommended the need to ensure that the actual performance of the planned performance is matched and decisions are taken to correct the serious deviations and take the necessary measures in terms of retraining and change in regulations, wages and bonuses and punishment of the culprit, neglect and negligence by mistake. (shrink)

Metaethical absolutism is the view that moral concepts have non-relative satisfaction conditions that are constant across judges and their particular beliefs, attitudes, and cultural embedding. If it is correct, there is an important sense in which parties of moral disputes are concerned to get the same things right, such that their disputes can be settled by the facts. If it is not correct, as various forms of relativism and non-cognitivism imply, such coordination of concerns will be limited. The most influential (...) support for absolutism comes from an argument with two related premises. According to the first premise, moral thinking and moral discourse display a number of features that are characteristically found in paradigmatically absolutist domains, and only partly in uncontroversially non-absolutist domains. According to the second, the best way of making sense of these features is to assume that absolutism is correct. This paper defends the prospect of a non-ad hoc, non-absolutist, explanation of these "absolutist" features, thus calling into question the second premise. But instead of attempting to directly explain why the moral domain displays these features, it attends to how they are partially displayed by paradigmatically non-absolutists judgments about taste and likelihood. Based on this, it proposes independently motivated general accounts of attributions of agreement, disagreement, correctness and incorrectness that can explain both why absolutist domains display all "absolutist" features and why these non-absolutist domains display some. Based on these accounts, it provides preliminary reasons to think that these features of moral discourse can be given a non-absolutist explanation. (shrink)

The starting point of this paper is an argument to the conclusion that the definition of metaphysical possibility in terms of correct conceivability, conceivability informed by knowledge of relevant essences, found in Rosen (2006) is equivalent to a version of the essentialist definition of metaphysical necessity. This argument appears to show that correct conceivability is a notion of conceivability by name only and is therefore of no interest to epistemologists of modality. In this paper, I present the equivalence argument, explain (...) the idealizing assumptions involved in it and sketch a version of the conceivability approach which weakens these assumptions in order to show that the notion of correct conceivability can still play a specific limited role in the epistemology of modality. (shrink)

Right-wing intellectuals often invoke Nietzsche's concept of slave morality to underpin their criticism of 'political correctness' ('PC'). This interconnection of Nietzsche's slave morality and 'PC' criticism is correct, as a systematic analysis of their common elements shows, which leads to a new description of 'PC' criticism as a defense of privilege. In contrast to the right-wing Nietzschean 'PC' critique, the left-wing Nietzschean concept of a privilege-critical ‘political judgement' understands politics as a struggle for power, in which the space of (...) the political and related discourses are always already regulated and determine the conditions under which resources and privileges are distributed. Therefore, it is appropriate for an emancipatory position to critically question the established norms and to support political projects that aim to rewrite them. Because 'PC', as emancipative political judgement, dismantles privileges, its restricting of the privileged is not a side effect to be avoided but one of its reasonable core effects. Left-wing Nietzscheanism helps to avoid being surprised by right-wing aggression and to counter it vigorously by setting strict political norms. (shrink)

This paper tries to do three things. First, it tries to make it plausible that correct rules of reasoning do not always preserve justification: in other words, if you begin with a justified attitude, and reason correctly from that premise, it can nevertheless happen that you’ll nevertheless arrive at an unjustified attitude. Attempts to show that such cases in fact involve following an incorrect rule of reasoning cannot be vindicated. Second, it also argues that correct rules of reasoning do not (...) even correspond to permissions of “structural rationality”: it is not always structurally permissible to base an attitude on other attitudes from which it follows by correct reasoning. Third, from these observations it tries to build a somewhat positive account of the correctness of rules of reasoning as a more sui generis notion irreducible to either justification or structural rationality. This account vindicates an important unity of theoretical and practical reasoning as well as a qualified version of the thesis that deductive logic supplies correct rules of reasoning. (shrink)

Public discourse is increasingly characterized by a climate of intolerance, a culture of exclusion (cancel culture) and thinking in categories of political correctness. (German) language is systematically manipulated by public broadcasting in line with a gender political agenda. A more and more uncritical and ideologically coloured trend journalism is on the rise there. The Freedom and quality of science are also methodically undermined due to nonproven and populist claims. -/- Der Öffentliche Diskurs ist zunehmend geprägt von einem Klima der (...) Intoleranz, einer Kultur der Ausgrenzung (cancel culture) und einem Denken in Kategorien der political correctness. Die (deutsche) Sprache wird im Sinne einer genderpolitischen Agenda im Öffentlichen Rundfunk systematisch manipuliert. Ein zunehmend unkritischer und ideologisch gefärbter Tendenzjournalismus gewinnt dort an Terrain. Auch die Freiheit und die Qualität der Wissenschaft werden aufgrund unhaltbarer und populistischer Behauptungen methodisch untergraben. -/- . (shrink)

Communicative practices in online and social media sometimes seem to amplify political conflict, and result in significant harms to people who become the targets of collective outrage. Many complaints that have been made about political correctness in the past, we argue, amount to little more than a veiled expression of resentment over the increasing influence enjoyed by progressive activists. But some complaints about political correctness take on a different complexion, in light of the technologically-driven changes to our communicative (...) practices and political discourse. Given the ways in which they are entangled in these new forms of online communication, well-meaning attempts to police the norms of political correctness may end up contributing to individual wrongs, or to destructive social patterns. In this paper we examine these worries, situate them in a broader sociological context, and offer some tentative proposals about how they might be addressed. (shrink)

In fMRI research, the goal of correcting for multiple comparisons is to identify areas of activity that reflect true effects, and thus would be expected to replicate in future studies. Finding an appropriate balance between trying to minimize false positives (Type I error) while not being too stringent and omitting true effects (Type II error) can be challenging. Furthermore, the advantages and disadvantages of these types of errors may differ for different areas of study. In many areas of social neuroscience (...) that involve complex processes and considerable individual differences, such as the study of moral judgment, effects are typically smaller and statistical power weaker, leading to the suggestion that less stringent corrections that allow for more sensitivity may be beneficial, but also result in more false positives. Using moral judgment fMRI data, we evaluated four commonly used methods for multiple comparison correction implemented in SPM12 by examining which method produced the most precise overlap with results from a meta-analysis of relevant studies and with results from nonparametric permutation analyses. We found that voxel-wise thresholding with family-wise error correction based on Random Field Theory provides a more precise overlap (i.e., without omitting too few regions or encompassing too many additional regions) than either clusterwise thresholding, Bonferroni correction, or false discovery rate correction methods. (shrink)

In this paper I present reasons for us to accept the hypothesis that suspended judgment has correctness conditions, just like beliefs do. Roughly put, the idea is that suspended judgment about p is correct when both p and ¬p might be true in view of certain facts that characterize the subject’s situation. The reasons to accept that hypothesis are broadly theoretical ones: it adds unifying power to our epistemological theories, it delivers good and conservative consequences, and it allows us (...) to assess processes of reasoning involving attitudes of suspended judgment. (shrink)

This paper explores the sense in which correctness applies to belief-like imaginings. It begins by establishing that when we imagine, we ‘direct’ our imaginings at a certain imaginary world, taking the propositions we imagine to be assessed for truth in that world. It then examines the relation between belief-like imagining and positing truths in an imaginary world. Rejecting the claim that correctness, in the literal sense, is applicable to imaginings, it shows that the imaginer takes on, vis-à-vis the (...) imaginary world, the first-person perspective of a believer. Imaginings, it concludes, ‘mimic’ beliefs with respect to the property of being correct or incorrect by virtue of having true or false content. (shrink)

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the (...) nature of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of verification and validation ); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of proxy ) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of commutation ); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)

A Correction to this paper has been published: doi 10.1007/s40926-021-00177-x.

This note corrects an error in my paper 'Normalisation and Subformula Property for a System of Classical Logic with Tarski's Rule' (Archive for Mathematical Logic 61 (2022): 105-129, DOI 10.1007/s00153-021-00775-6): Theorem 2 is mistaken, and so is a corollary drawn from it as well as a corollary that was concluded by the same mistake. Luckily this does not affect the main result of the paper.

The article develops the concept of "political judgement" - a new, affirmative understanding of the phenomena which are criticized as "political correctness" by both right-wing and liberal commentators. To that end, it takes the right's claims, that "political correctness" is slave morality in Nietzsche's sense seriously and proposes a systematic reading of a right-nietzschean position. Connecting current "political-correctness"-critique and Nietzsche in this way allows for a deeper understanding of the right-wing rationality and the affective energy underlying the (...) critique. Through contrasting this right-nietzschean reading with its systematic opposite, a left-nietzschean position, the article shows that the essence of politics is to redesign norms which distribute privilege. What is critically labelled "political correctness" is, thus, better captured by the notion of "political judgment", because - given an interest in emancipation - such politics should not be demonized when they limit the freedom provided by undeserved privileges. (shrink)

Nominalists need some account of correctness for sentences committed to the existence of abstract objects. This paper proposes a new statement of such conditions specifically for properties. The account builds on an earlier proposal of mine, but avoids the counter-examples against the latter pointed out by Thomas Schindler, particularly, the sentence ‘There are inexpressible properties’. I argue that the new proposal is independently motivated and more faithful to the spirit of the kind of error-theoretic nominalism that the original proposal (...) was part of. Along the way, I also propose novel treatments of Arthur Pap’s and W.V.O. Quine’s notoriously hard-to-paraphrase sentences about abstracta. (shrink)

This paper addresses the question of how to educate toward democracy, which has as its defining trait the ability to self-correct. We draw on a study that investigated Deep Reflective Thinking (DRT) as a classroom method for cultivating collective doubt, which is essential for developing students’ capacity for self-correction in a community of inquiry.

Despite an enormous philosophical literature on models in science, surprisingly little has been written about data models and how they are constructed. In this paper, I examine the case of how paleodiversity data models are constructed from the fossil data. In particular, I show how paleontologists are using various model-based techniques to correct the data. Drawing on this research, I argue for the following related theses: first, the ‘purity’ of a data model is not a measure of its epistemic reliability. (...) Instead it is the fidelity of the data that matters. Second, the fidelity of a data model in capturing the signal of interest is a matter of degree. Third, the fidelity of a data model can be improved ‘vicariously’, such as through the use of post hoc model-based correction techniques. And, fourth, data models, like theoretical models, should be assessed as adequate for particular purposes. (shrink)

It has been argued that rationality consists in responding correctly to reasons. Recent defenses of the normativity of rationality assume that this implies that we always ought to be rational. However, this follows only if the reasons rationality requires us to correctly respond to are normative reasons. Recent meta-epistemological contributions have questioned whether epistemic reasons are normative. If they were right, then epistemic rationality wouldn’t provide us with normative reasons independently of wrong-kind reasons to be epistemically rational. This paper spells (...) out this neglected challenge for the normativity of epistemic rationality by connecting the two bodies of literature. Moreover, it generalizes this challenge to the rationality of desire, intention, and emotion. The upshot is that we can only answer the normative question about rationality if we debate about blame and accountability for holding different kinds of irrational attitudes, as well as about the sources of mental normativity. (shrink)

In this article, I argue that the kind of suffering that prisons impose upon people who are incarcerated disregards their uniqueness and fails to meet their basic needs in a manner which violates their dignity and worth as human beings. Hence, the prison, as an institution, cannot be morally justified. But since the imposition of this kind of suffering is an integral element of a prison’s central function, it follows that a 'Correctional Ethic' is effectively an oxymoron, not dissimilar to (...) an 'Ethic for Slave-masters'. (shrink)

During multiple testing, researchers often adjust their alpha level to control the familywise error rate for a statistical inference about a joint union alternative hypothesis (e.g., “H1,1 or H1,2”). However, in some cases, they do not make this inference. Instead, they make separate inferences about each of the individual hypotheses that comprise the joint hypothesis (e.g., H1,1 and H1,2). For example, a researcher might use a Bonferroni correction to adjust their alpha level from the conventional level of 0.050 to 0.025 (...) when testing H1,1 and H1,2, find a significant result for H1,1 (p < 0.025) and not for H1,2 (p > .0.025), and so claim support for H1,1 and not for H1,2. However, these separate individual inferences do not require an alpha adjustment. Only a statistical inference about the union alternative hypothesis “H1,1 or H1,2” requires an alpha adjustment because it is based on “at least one” significant result among the two tests, and so it refers to the familywise error rate. Hence, an inconsistent correction occurs when a researcher corrects their alpha level during multiple testing but does not make an inference about a union alternative hypothesis. In the present article, I discuss this inconsistent correction problem, including its reduction in statistical power for tests of individual hypotheses and its potential causes vis-à-vis error rate confusions and the alpha adjustment ritual. I also provide three illustrations of inconsistent corrections from recent psychology studies. I conclude that inconsistent corrections represent a symptom of statisticism, and I call for a more nuanced inference-based approach to multiple testing corrections. (shrink)

This paper argues that practical reasoning is a mental process which leads a person from a set of existent mental states to an intention. In Section 1, I defend this view against two other proposals according to which practical reasoning either concludes in an action itself or in a normative belief. Section 2 discusses the correctness of practical reasoning and explains how the correctness of instrumental reasoning can be explained by the logical relations that hold between the contents (...) of the mental states. In Section 3, I explore the correctness of normative practical reasoning. I conclude with the sceptical view that correct practical reasoning cannot require us to intend to do what we believe we ought to do. (shrink)

In the article Qualitative Attribution, Phenomenal Experience and Being, by Mark Pharoah, the following corrections have been made.

Stroud has argued for many years that skepticism is conditionally correct. We cannot, he claims, both undergo a Cartesian-style examination of the extent of our knowledge as well as avoid skepticism. One reason Stroud's position appears quite plausible is the so-called "totality condition" imposed for this kind of examination: as inquiring philosophers we are called upon to assess all of our knowledge, all at once. However, in this paper I argue that Stroud's apparent understanding of the totality condition is mistaken. (...) Evidently, Stroud thinks that honoring the totality condition amounts to imposing the strong requirement that we initially assume that we don't know anything about external reality. However, there is a weaker requirement available: that we initially not assume that we know anything about external reality. I argue i) that the weaker conception of the totality condition is most suitable for the kind of philosophical examination that Stroud seems to have in mind; and ii) that according to this same conception skepticism is not conditionally correct. (shrink)

It is widely maintained that doxastic norms that govern how people should believe can be explained by the truism that belief is governed by the correctness norm: believing p is correct if and only if p. This approach fails because it confuses two kinds of correctness norm: (1) It is correct for S to believe p if and only p; and (2) believing p is correct qua belief if and only if p. Only can (2) be said to (...) be a truism about belief, but it cannot ground doxastic norms. (shrink)

This paper is concerned with a propositional modal logic with operators for necessity, actuality and apriority. The logic is characterized by a class of relational structures defined according to ideas of epistemic two-dimensional semantics, and can therefore be seen as formalizing the relations between necessity, actuality and apriority according to epistemic two-dimensional semantics. We can ask whether this logic is correct, in the sense that its theorems are all and only the informally valid formulas. This paper gives outlines of two (...) arguments that jointly show that this is the case. The first is intended to show that the logic is informally sound, in the sense that all of its theorems are informally valid. The second is intended to show that it is informally complete, in the sense that all informal validities are among its theorems. In order to give these arguments, a number of independently interesting results concerning the logic are proven. In particular, the soundness and completeness of two proof systems with respect to the semantics is proven (Theorems 2.11 and 2.15), as well as a normal form theorem (Theorem 3.2), an elimination theorem for the actuality operator (Corollary 3.6), and the decidability of the logic (Corollary 3.7). It turns out that the logic invalidates a plausible principle concerning the interaction of apriority and necessity; consequently, a variant semantics is briefly explored on which this principle is valid. The paper concludes by assessing the implications of these results for epistemic two-dimensional semantics. (shrink)

The line that reads “But this leaves open the question of why the Big Bang did not happen a billion years before now, such that we are also a billion years before now.5” should instead read “But this leaves open the question of why the Big Bang did not happen a billion years before it did, such that we are also a billion years before now.5” -/- Merriam, P. A Theory of the Big Bang in McTaggart’s Time. Axiomathes 32 (Suppl (...) 3), 685–696 (2022). doi 10.1007/s10516-022-09623-5. (shrink)

This paper compares several models of formalization. It articulates criteria of correct formalization and identifies their problems. All of the discussed criteria are so called “semantic” criteria, which refer to the interpretation of logical formulas. However, as will be shown, different versions of an implicitly applied or explicitly stated criterion of correctness depend on different understandings of “interpretation” in this context.

Veltman’s test semantics and developments thereof reject the canon about semantic contents and attitude ascriptions in favor of dynamic alternatives. According to these theories the semantic content of a sentence is not a proposition, but a context change potential (CCP). Similarly, beliefs are not taken to be relations between agents and propositions, but agents and CCPs. These deviations from the canon come at the cost of an elegant explanation about the correctness of belief. Standardly, it is taken that the (...) content of a belief is correct just in case the content of that belief is true. The proponent of the test semantics cannot appeal to this explanation since they hold that certain contents, namely epistemically modalized contents, do not express propositions, and are neither true nor false. After motivating the need for an account of the correctness of belief within the dynamic framework, I argue that the few extant accounts in the literature are unsatisfactory. A novel account is proposed that avoids the problems of competing views. (shrink)

In the 1980s and early 1990s, the normativity of meaning was thought to be more-or-less 'incontestable.' But in the last 25 years, many philosophers of mind and language have contested it in several seemingly different ways. This, however, is somewhat illusory. There is an unappreciated commonality among most anti-normativist arguments, and this commonality, I argue, poses a problem for anti-normativism. The result, however, is not a wholesale rejection of anti-normativism. Rather, an insight from the anti-normativist position can be harnessed to (...) reveal an unappreciated position in the normativity of meaning debate. (shrink)

It has been argued in relation to Old Babylonian mathematical procedure texts that their validity or correctness is self-evident. One “sees” that the procedure is correct without it having, or being accompanied by, any explicit arguments for the correctness of the procedure. Even when agreeing with this view, one might still ask about how is the correctness of a procedure articulated? In this work, we present an articulation of the correctness of ancient Egyptian and Old Babylonian (...) mathematical procedure texts – mathematical texts presenting the solution of problems. We endeavor to make explicit and explain how and why the procedures are reliable over and above the fact that their correctness is intuitive. (shrink)

In response to several articles on SERRC, I argue that the common pejorative use of the phrase “conspiracy theory” is the fundamental basis for the distinction between generalism and particularism. That is, generalism describes the “conventional wisdom” about conspiracy theories to which particularism is the corrective. Generalism is best understood as the idea that conspiracy theories ought to be dismissed (perhaps even ridiculed) because they are conspiracy theories--for that is the conventional wisdom (as Charles Pigden has maintained). This is not (...) merely to say, vaguely, that such theories have "epistemic defects." Given this definition, particularism, as the rejection of generalism, is true for any definition of "conspiracy theory" for which Watergate would have at one time counted as one--not just for a minimal definition. Rather than being dismissed based on features that apply to conspiracy theories generally (as generalism would have it), each conspiracy theory should be judged on a case-by-case basis according to its own particular merits and demerits. (shrink)

This paper looks at Alexander Guerrero’s epistemic case for ‘lottocracy’, or government by randomly selected citizen assemblies. It argues that Guerrero fails to show that citizen expertise is more likely to be elicited and brought to bear on democratic politics if we replace elections with random selection. However, randomly selected citizen assemblies can be valuable deliberative and participative additions to elected and appointed institutions even when citizens are not bearers of special knowledge or virtue individually or collectively.

Debates about political correctness often proceed as if proponents see nothing to fear in erecting norms that inhibit expression on the one side, and opponents see nothing but misguided efforts to silence political enemies on the other.1 Both views are mistaken. Political correctness, as I argue, is an important attempt to advance the legitimate interests of certain groups in the public sphere. However, this type of norm comes with costs that mustn’t be neglected–sometimes in the form of conflict (...) with other values we hold dear, but often by creating an internal schism that threatens us with collective irrationality. Political correctness thus sets up dilemmas I wish to set out (but not, alas, resolve). The cliché is that political correctness tramples on rights to free-speech, as if the potential loss were merely expressive; the real issue is that in filtering public discourse, political correctness may defeat our own substantive aims. (shrink)

In the capital vices tradition, acedia was fought through perseverance and manual labor. In this paper, I argue that we can also fight acedia through practicing wonder and gratitude. I show this through an account of moral formation developed out of the insight of the virtues and vices traditions that character traits affect how we see things. In the first section, I use Robert Roberts’s account of emotions to explain a mechanism by which virtues and vices affect vision and thus (...) moral formation. Then, by looking at the capital vices tradition, I argue that restless boredom is a primary construal of the vice of acedia. Third, I explain wonder and gratitude through the work of G.K. Chesterton and Roberts, respectively. In light of their accounts, I explain how the construals of wonder and gratitude are contrary to the construal of acedia. Finally, I offer some practices that encourage gratitude and wonder. (shrink)

Both patched versions of the Bostrom/Kulczycki simulation argument contain serious objective errors, discovered while attempting to formalize them in predicate logic. The English glosses of both versions involve badly misleading meanings of vague magnitude terms, which their impressiveness benefits from. We fix the errors, prove optimal versions of the arguments, and argue that both are much less impressive than they originally appeared. Finally, we provide a guide for readers to evaluate the simulation argument for themselves, using well-justified settings of the (...) argument parameters that have simple, accurate statements in English, which are easier to understand and critique than the statements in the original paper. (shrink)

Microscopy allows us to observe objects we cannot see with our eyes alone. With a light microscope, we can distinguish objects at the scale of the wavelengths of visible light just under a micrometer. Around 1870 Ernst Abbe, who laid the foundation of modern optics, suggested that the resolution of a microscope would improve by using some yet-unknown radiation with shorter wavelengths than visible light, that is, below 390 nanometers (1 nm = 10−9 m). Electrons can have wavelengths near 1 (...) picometer (1 pm = 10−12 m) and should therefore allow atoms to be distinguished since they are typically at least a few hundred pm apart. In this oversimplified view, further decreasing the wavelength of the radiation should allow us to increase the resolution of electron microscopy even more. However, this can only be done by increasing the energy of the radiation, which would ultimately destroy the samples. Other factors also affect the resolution of electron microscopes, among them non-ideal imaging properties of electromagnetic lenses, which result in false images. It took more than half a century to understand and control these aberrations and separate objects less than 1 Ångstrom (1 Å = 10−10 m) apart. (shrink)

In this paper I make a number of points about “political correctness”. Although individually these arguments seem straightforward - and will hopefully be uncontroversial - put together in context they reveal the idea of a “politically correct”, left-wing dominated, media or intelligentsia in Western political culture to be a conservative bogeyman. The rhetoric of “political correctness” is in fact overwhelmingly a right-wing conservative one which itself is used mainly to silence dissenting political viewpoints. However, the same investigation also (...) suggests that a “politics of speech” is an inevitable fact of social life and that some sorts of censorship are likewise inevitable. The question of censorship is therefore revealed as not “Whether we should tolerate all sorts of speech?” but “Which sorts of speech should we tolerate?”. (shrink)

The article develops a correctness theory of truth (CTT) for semantic information. After the introduction, in section two, semantic information is shown to be translatable into propositional semantic information (i). In section three, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in section four, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + (...) A]. This completes the reduction of the truth of i to the correctness of A. In sections five and six, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates (in a Fregean sense) Q by verifying and validating it (in the computer science’s sense of “verification” and “validation”); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of “proxy”) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of “commutation”); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. The last section draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. (shrink)

Geoffrey Marnell presents philosophical arguments favoring grammatical descriptivism over grammatical prescriptivism. I argue that his explanation and defence of descriptivism reveal that his descriptivism is itself prescriptivist.